(set-option :verbose true)
(declare-const x Real)
(assert (= (/ x (/ (+ x 1.0))) 2.0))
(debug graph)
(check-sat)
(get-model)
-------------------------
0 ==> true
1 ==> false
2 ==> x
3 ==> $2 + 1.0
4 ==> $2 * $3
5 ==> 2.0
6 ==> $4 = $5
7 ==> assert $6
delta_sat with absolute precision 0.0000686635030560101
19 iterations of propagation
1 decisions
  75 narrowing of a value interval
  42 narrowing of a constraint interval
x = [0.999977,1.000012]