(set-option :verbose true)
(declare-const x Real)
(assert (= (* x x) 2.0))
(debug graph)
(check-sat)
(get-model)

-------------------------
0 ==> true
1 ==> false
2 ==> x
3 ==> $2^2
4 ==> 2.0
5 ==> $3 = $4
6 ==> assert $5
delta_sat with absolute precision 0.0000000000000004440892098500626
2 iterations of propagation
0 decisions
  7 narrowing of a value interval
  7 narrowing of a constraint interval
x = [-1.414214,-1.414213]u[1.414213,1.414214]