15.743 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.023 * [simplify]: Simplifying:
  (* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
0.023 * * [simplify]: Extracting # 0 : cost  0
0.023 * * [simplify]: Extracting # 1 : cost  0
0.023 * * [simplify]: Extracting # 2 : cost  0
0.023 * * [simplify]: Extracting # 3 : cost  0
0.023 * * [simplify]: Extracting # 4 : cost  0
0.023 * * [simplify]: Extracting # 5 : cost  0
0.023 * * [simplify]: Extracting # 6 : cost  0
0.023 * * [simplify]: Extracting # 7 : cost  0
0.023 * * [simplify]: Extracting # 8 : cost  0
0.023 * * [simplify]: Extracting # 9 : cost  0
0.023 * * [simplify]: Extracting # 10 : cost  0
0.023 * * [simplify]: Extracting # 11 : cost  0
0.023 * * [simplify]: iteration  0 :  16  enodes  (cost  19 )
0.026 * * [simplify]: Extracting # 0 : cost  0
0.026 * * [simplify]: Extracting # 1 : cost  0
0.026 * * [simplify]: Extracting # 2 : cost  0
0.026 * * [simplify]: iteration  1 :  31  enodes  (cost  19 )
0.032 * * [simplify]: Extracting # 0 : cost  0
0.032 * * [simplify]: Extracting # 1 : cost  0
0.032 * * [simplify]: Extracting # 2 : cost  0
0.032 * * [simplify]: iteration  2 :  59  enodes  (cost  16 )
0.042 * * [simplify]: Extracting # 0 : cost  0
0.042 * * [simplify]: Extracting # 1 : cost  0
0.042 * * [simplify]: Extracting # 2 : cost  0
0.042 * * [simplify]: iteration  3 :  87  enodes  (cost  16 )
0.072 * * [simplify]: Extracting # 0 : cost  0
0.073 * * [simplify]: Extracting # 1 : cost  0
0.073 * * [simplify]: Extracting # 2 : cost  0
0.073 * * [simplify]: iteration  4 :  112  enodes  (cost  16 )
0.109 * * [simplify]: Extracting # 0 : cost  0
0.110 * * [simplify]: Extracting # 1 : cost  0
0.110 * * [simplify]: Extracting # 2 : cost  0
0.110 * * [simplify]: iteration  5 :  126  enodes  (cost  16 )
0.150 * * [simplify]: Extracting # 0 : cost  0
0.150 * * [simplify]: Extracting # 1 : cost  0
0.151 * * [simplify]: Extracting # 2 : cost  0
0.151 * * [simplify]: iteration  6 :  142  enodes  (cost  16 )
0.190 * * [simplify]: Extracting # 0 : cost  0
0.191 * * [simplify]: Extracting # 1 : cost  0
0.191 * * [simplify]: Extracting # 2 : cost  0
0.191 * * [simplify]: iteration  7 :  181  enodes  (cost  16 )
0.242 * * [simplify]: Extracting # 0 : cost  0
0.242 * * [simplify]: Extracting # 1 : cost  0
0.242 * * [simplify]: Extracting # 2 : cost  0
0.243 * * [simplify]: Extracting # 3 : cost  0
0.243 * * [simplify]: iteration  8 :  245  enodes  (cost  16 )
0.327 * * [simplify]: Extracting # 0 : cost  0
0.328 * * [simplify]: Extracting # 1 : cost  0
0.328 * * [simplify]: Extracting # 2 : cost  0
0.329 * * [simplify]: iteration  9 :  273  enodes  (cost  16 )
0.446 * * [simplify]: Extracting # 0 : cost  0
0.447 * * [simplify]: Extracting # 1 : cost  0
0.447 * * [simplify]: Extracting # 2 : cost  0
0.448 * * [simplify]: Extracting # 3 : cost  0
0.449 * * [simplify]: Extracting # 4 : cost  0
0.449 * * [simplify]: iteration  10 :  346  enodes  (cost  16 )
0.631 * * [simplify]: Extracting # 0 : cost  0
0.632 * * [simplify]: Extracting # 1 : cost  0
0.632 * * [simplify]: Extracting # 2 : cost  0
0.633 * * [simplify]: iteration  11 :  542  enodes  (cost  16 )
0.944 * * [simplify]: Extracting # 0 : cost  0
0.945 * * [simplify]: Extracting # 1 : cost  0
0.945 * * [simplify]: Extracting # 2 : cost  0
0.946 * * [simplify]: Extracting # 3 : cost  0
0.946 * * [simplify]: iteration  12 :  794  enodes  (cost  16 )
1.760 * * [simplify]: Extracting # 0 : cost  0
1.761 * * [simplify]: Extracting # 1 : cost  0
1.762 * * [simplify]: Extracting # 2 : cost  0
1.763 * * [simplify]: iteration  13 :  1100  enodes  (cost  16 )
2.454 * * [simplify]: Extracting # 0 : cost  0
2.456 * * [simplify]: Extracting # 1 : cost  0
2.456 * * [simplify]: Extracting # 2 : cost  0
2.457 * * [simplify]: Extracting # 3 : cost  0
2.458 * * [simplify]: iteration  14 :  1404  enodes  (cost  16 )
3.319 * * [simplify]: Extracting # 0 : cost  0
3.321 * * [simplify]: Extracting # 1 : cost  0
3.322 * * [simplify]: Extracting # 2 : cost  0
3.323 * * [simplify]: iteration  15 :  1637  enodes  (cost  16 )
5.234 * * [simplify]: Extracting # 0 : cost  0
5.235 * * [simplify]: Extracting # 1 : cost  0
5.237 * * [simplify]: Extracting # 2 : cost  0
5.237 * * [simplify]: iteration  16 :  1979  enodes  (cost  16 )
7.408 * * [simplify]: Extracting # 0 : cost  0
7.411 * * [simplify]: Extracting # 1 : cost  0
7.414 * * [simplify]: Extracting # 2 : cost  0
7.421 * * [simplify]: iteration  17 :  2694  enodes  (cost  16 )
10.516 * * [simplify]: Extracting # 0 : cost  0
10.521 * * [simplify]: Extracting # 1 : cost  0
10.525 * * [simplify]: Extracting # 2 : cost  0
10.529 * * [simplify]: iteration  18 :  3412  enodes  (cost  16 )
15.088 * * [simplify]: Extracting # 0 : cost  0
15.094 * * [simplify]: Extracting # 1 : cost  0
15.098 * * [simplify]: Extracting # 2 : cost  0
15.102 * * [simplify]: iteration  19 :  4433  enodes  (cost  16 )
19.789 * * [simplify]: Extracting # 0 : cost  0
19.792 * * [simplify]: Extracting # 1 : cost  0
19.794 * * [simplify]: Extracting # 2 : cost  0
19.795 * * [simplify]: iteration  20 :  4990  enodes  (cost  16 )
20.436 * * [simplify]: Extracting # 0 : cost  0
20.440 * * [simplify]: iteration done:  5000  enodes  (cost  16 )
20.440 * [simplify]: Simplified to:
  (* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) 0.70711)
20.446 * * [progress]: iteration 1 / 4
20.446 * * * [progress]: picking best candidate
20.458 * * * * [pick]: Picked  #<alt (λ (x) (* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) 0.70711))>
20.458 * * * [progress]: localizing error
20.482 * * * [progress]: generating rewritten candidates
20.482 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
20.492 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 2)
20.495 * * * [progress]: generating series expansions
20.495 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
20.495 * [backup-simplify]: Simplify (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) into (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
20.495 * [approximate]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) in (x) around 0
20.495 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) in x
20.495 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x
20.497 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753)
20.497 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
20.497 * [taylor]: Taking taylor expansion of 0.27061 in x
20.497 * [backup-simplify]: Simplify 0.27061 into 0.27061
20.497 * [taylor]: Taking taylor expansion of x in x
20.497 * [backup-simplify]: Simplify 0 into 0
20.497 * [backup-simplify]: Simplify 1 into 1
20.497 * [taylor]: Taking taylor expansion of 2.30753 in x
20.497 * [backup-simplify]: Simplify 2.30753 into 2.30753
20.497 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 x 0.99229) x 1.0) in x
20.497 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 x 0.99229) x) 1.0)
20.497 * [taylor]: Taking taylor expansion of (* (fma 0.04481 x 0.99229) x) in x
20.497 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x
20.497 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229)
20.497 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
20.497 * [taylor]: Taking taylor expansion of 0.04481 in x
20.497 * [backup-simplify]: Simplify 0.04481 into 0.04481
20.497 * [taylor]: Taking taylor expansion of x in x
20.497 * [backup-simplify]: Simplify 0 into 0
20.497 * [backup-simplify]: Simplify 1 into 1
20.497 * [taylor]: Taking taylor expansion of 0.99229 in x
20.497 * [backup-simplify]: Simplify 0.99229 into 0.99229
20.497 * [taylor]: Taking taylor expansion of x in x
20.497 * [backup-simplify]: Simplify 0 into 0
20.498 * [backup-simplify]: Simplify 1 into 1
20.498 * [taylor]: Taking taylor expansion of 1.0 in x
20.498 * [backup-simplify]: Simplify 1.0 into 1.0
20.498 * [backup-simplify]: Simplify (* 0.27061 0) into 0
20.498 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753
20.499 * [backup-simplify]: Simplify (* 0.04481 0) into 0
20.499 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229
20.499 * [backup-simplify]: Simplify (* 0.99229 0) into 0
20.499 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.500 * [backup-simplify]: Simplify (/ 2.30753 1.0) into 2.30753
20.500 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) in x
20.500 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x
20.500 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753)
20.500 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
20.500 * [taylor]: Taking taylor expansion of 0.27061 in x
20.500 * [backup-simplify]: Simplify 0.27061 into 0.27061
20.500 * [taylor]: Taking taylor expansion of x in x
20.500 * [backup-simplify]: Simplify 0 into 0
20.500 * [backup-simplify]: Simplify 1 into 1
20.500 * [taylor]: Taking taylor expansion of 2.30753 in x
20.500 * [backup-simplify]: Simplify 2.30753 into 2.30753
20.500 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 x 0.99229) x 1.0) in x
20.500 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 x 0.99229) x) 1.0)
20.500 * [taylor]: Taking taylor expansion of (* (fma 0.04481 x 0.99229) x) in x
20.500 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x
20.500 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229)
20.500 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
20.500 * [taylor]: Taking taylor expansion of 0.04481 in x
20.500 * [backup-simplify]: Simplify 0.04481 into 0.04481
20.500 * [taylor]: Taking taylor expansion of x in x
20.500 * [backup-simplify]: Simplify 0 into 0
20.500 * [backup-simplify]: Simplify 1 into 1
20.500 * [taylor]: Taking taylor expansion of 0.99229 in x
20.500 * [backup-simplify]: Simplify 0.99229 into 0.99229
20.500 * [taylor]: Taking taylor expansion of x in x
20.500 * [backup-simplify]: Simplify 0 into 0
20.500 * [backup-simplify]: Simplify 1 into 1
20.500 * [taylor]: Taking taylor expansion of 1.0 in x
20.500 * [backup-simplify]: Simplify 1.0 into 1.0
20.501 * [backup-simplify]: Simplify (* 0.27061 0) into 0
20.501 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753
20.501 * [backup-simplify]: Simplify (* 0.04481 0) into 0
20.501 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229
20.502 * [backup-simplify]: Simplify (* 0.99229 0) into 0
20.502 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.502 * [backup-simplify]: Simplify (/ 2.30753 1.0) into 2.30753
20.502 * [backup-simplify]: Simplify 2.30753 into 2.30753
20.503 * [backup-simplify]: Simplify (+ (* 0.27061 1) (* 0 0)) into 0.27061
20.503 * [backup-simplify]: Simplify (+ 0.27061 0) into 0.27061
20.504 * [backup-simplify]: Simplify (+ (* 0.04481 1) (* 0 0)) into 0.04481
20.505 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481
20.505 * [backup-simplify]: Simplify (+ (* 0.99229 1) (* 0.04481 0)) into 0.99229
20.506 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229
20.507 * [backup-simplify]: Simplify (- (/ 0.27061 1.0) (+ (* 2.30753 (/ 0.99229 1.0)))) into (- 2.0191289436999997)
20.508 * [backup-simplify]: Simplify (- 2.0191289436999997) into (- 2.0191289436999997)
20.508 * [backup-simplify]: Simplify (+ (* 0.27061 0) (+ (* 0 1) (* 0 0))) into 0
20.508 * [backup-simplify]: Simplify (+ 0 0) into 0
20.509 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0 1) (* 0 0))) into 0
20.509 * [backup-simplify]: Simplify (+ 0 0) into 0
20.511 * [backup-simplify]: Simplify (+ (* 0.99229 0) (+ (* 0.04481 1) (* 0 0))) into 0.04481
20.511 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481
20.514 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 2.30753 (/ 0.04481 1.0)) (* (- 2.0191289436999997) (/ 0.99229 1.0)))) into 1.900161040244073
20.514 * [backup-simplify]: Simplify 1.900161040244073 into 1.900161040244073