(set-option :verbose true)
(declare-const x Real)
(assert (<= (arccos x) 0.2))
(assert (<= 0.1 (arccos x)))
(debug graph)
(check-sat)
(get-model)

(declare-const y Real)
(assert (<= (arccos y) 11.0))
(assert (<= 10.0 (arccos y)))
(debug stack)
(check-sat)
(get-model)
-------------------------
0 ==> true
1 ==> false
2 ==> x
3 ==> (arccos $2)
4 ==> 0.2
5 ==> $3 <= $4
6 ==> assert $5
7 ==> 0.1
8 ==> $7 <= $3
9 ==> assert $8
delta_sat with absolute precision 0.0000000000000005551115123125783
2 iterations of propagation
0 decisions
  11 narrowing of a value interval
  12 narrowing of a constraint interval
x = [0.980066,0.995005]
error: at position (12, 8): Expected: "graph"
   |
12 | (debug stack)
   |        ^ Expected: "graph"
   |
unsat
2 iterations of propagation
0 decisions
  14 narrowing of a value interval
  22 narrowing of a constraint interval
No model