(set-option :verbose true)
(declare-const x Real)
(assert (= (cos x) 0.0))
(check-sat)
(get-model)
(assert (<= 10.0 x))
(debug graph)
(check-sat)
(get-model)
-------------------------
delta_sat with absolute precision 0.0000000000000010718754395722283
6 iterations of propagation
3 decisions
  12 narrowing of a value interval
  11 narrowing of a constraint interval
x = [1.570796,1.570797]u[4.712388,4.712389]u[7.853981,7.853982]
0 ==> true
1 ==> false
2 ==> x
3 ==> (cos $2)
4 ==> 0.0
5 ==> $3 = $4
6 ==> assert $5
7 ==> 10.0
8 ==> $7 <= $2
9 ==> assert $8
delta_sat with absolute precision 0.000000000000016662005255406476
4 iterations of propagation
1 decisions
  13 narrowing of a value interval
  12 narrowing of a constraint interval
x = [10.995574,10.995575]u[14.137166,14.137167]u[17.278759,17.278760]u[20.420352,20.420353]u[23.561944,23.561945]u[26.703537,26.703538]u[29.845130,29.845131]u[32.986722,32.986723]u[36.128315,36.128316]u[39.269908,39.269909]u[42.411500,42.411501]u[45.553093,45.553094]u[48.694686,48.694687]u[51.836278,51.836279]u[54.977871,54.977872]u[58.119464,58.119465]u[61.261056,61.261057]u[64.402649,64.402650]u[67.544242,67.544243]u[70.685834,70.685835]u[73.827427,73.827428]u[76.969020,76.969021]u[80.110612,80.110613]u[83.252205,83.252206]u[86.393797,86.393798]u[89.535390,89.535391]u[92.676983,92.676984]u[95.818575,95.818576]u[98.960168,98.960169]