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

-------------------------
0 ==> true
1 ==> false
2 ==> x
3 ==> $2^2
4 ==> $2*-2.0 + $3 + 1.0
5 ==> 0.0
6 ==> $4 = $5
7 ==> assert $6
delta_sat with absolute precision 0.0008222038171634694
317 iterations of propagation
6 decisions
  647 narrowing of a value interval
  641 narrowing of a constraint interval
x = [0.993701,0.994095]