2.023 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.049 * * * [progress]: [2/2] Setting up program.
0.054 * [progress]: [Phase 2 of 3] Improving.
0.054 * [simplify]: Simplifying:
  (* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
0.054 * * [simplify]: Extracting # 0 : cost  0
0.055 * * [simplify]: Extracting # 1 : cost  0
0.055 * * [simplify]: Extracting # 2 : cost  0
0.055 * * [simplify]: Extracting # 3 : cost  0
0.055 * * [simplify]: Extracting # 4 : cost  0
0.055 * * [simplify]: Extracting # 5 : cost  0
0.055 * * [simplify]: Extracting # 6 : cost  0
0.055 * * [simplify]: Extracting # 7 : cost  0
0.055 * * [simplify]: Extracting # 8 : cost  0
0.055 * * [simplify]: Extracting # 9 : cost  0
0.055 * * [simplify]: Extracting # 10 : cost  0
0.055 * * [simplify]: Extracting # 11 : cost  0
0.055 * * [simplify]: iteration  0 :  16  enodes  (cost  19 )
0.060 * * [simplify]: Extracting # 0 : cost  0
0.061 * * [simplify]: Extracting # 1 : cost  0
0.061 * * [simplify]: Extracting # 2 : cost  0
0.061 * * [simplify]: iteration  1 :  31  enodes  (cost  19 )
0.072 * * [simplify]: Extracting # 0 : cost  0
0.072 * * [simplify]: Extracting # 1 : cost  0
0.072 * * [simplify]: Extracting # 2 : cost  0
0.073 * * [simplify]: iteration  2 :  59  enodes  (cost  16 )
0.092 * * [simplify]: Extracting # 0 : cost  0
0.093 * * [simplify]: Extracting # 1 : cost  0
0.093 * * [simplify]: Extracting # 2 : cost  0
0.093 * * [simplify]: iteration  3 :  87  enodes  (cost  16 )
0.120 * * [simplify]: Extracting # 0 : cost  0
0.120 * * [simplify]: Extracting # 1 : cost  0
0.121 * * [simplify]: Extracting # 2 : cost  0
0.121 * * [simplify]: iteration  4 :  112  enodes  (cost  16 )
0.156 * * [simplify]: Extracting # 0 : cost  0
0.156 * * [simplify]: Extracting # 1 : cost  0
0.156 * * [simplify]: Extracting # 2 : cost  0
0.157 * * [simplify]: iteration  5 :  126  enodes  (cost  16 )
0.207 * * [simplify]: Extracting # 0 : cost  0
0.207 * * [simplify]: Extracting # 1 : cost  0
0.207 * * [simplify]: Extracting # 2 : cost  0
0.208 * * [simplify]: iteration  6 :  142  enodes  (cost  16 )
0.240 * * [simplify]: Extracting # 0 : cost  0
0.240 * * [simplify]: Extracting # 1 : cost  0
0.240 * * [simplify]: Extracting # 2 : cost  0
0.240 * * [simplify]: iteration  7 :  181  enodes  (cost  16 )
0.284 * * [simplify]: Extracting # 0 : cost  0
0.284 * * [simplify]: Extracting # 1 : cost  0
0.284 * * [simplify]: Extracting # 2 : cost  0
0.284 * * [simplify]: Extracting # 3 : cost  0
0.285 * * [simplify]: iteration  8 :  245  enodes  (cost  16 )
0.341 * * [simplify]: Extracting # 0 : cost  0
0.341 * * [simplify]: Extracting # 1 : cost  0
0.341 * * [simplify]: Extracting # 2 : cost  0
0.342 * * [simplify]: iteration  9 :  273  enodes  (cost  16 )
0.424 * * [simplify]: Extracting # 0 : cost  0
0.425 * * [simplify]: Extracting # 1 : cost  0
0.425 * * [simplify]: Extracting # 2 : cost  0
0.426 * * [simplify]: Extracting # 3 : cost  0
0.426 * * [simplify]: Extracting # 4 : cost  0
0.427 * * [simplify]: iteration  10 :  346  enodes  (cost  16 )
0.565 * * [simplify]: Extracting # 0 : cost  0
0.566 * * [simplify]: Extracting # 1 : cost  0
0.566 * * [simplify]: Extracting # 2 : cost  0
0.566 * * [simplify]: iteration  11 :  542  enodes  (cost  16 )
0.861 * * [simplify]: Extracting # 0 : cost  0
0.862 * * [simplify]: Extracting # 1 : cost  0
0.863 * * [simplify]: Extracting # 2 : cost  0
0.864 * * [simplify]: Extracting # 3 : cost  0
0.865 * * [simplify]: iteration  12 :  794  enodes  (cost  16 )
1.855 * * [simplify]: Extracting # 0 : cost  0
1.858 * * [simplify]: Extracting # 1 : cost  0
1.859 * * [simplify]: Extracting # 2 : cost  0
1.860 * * [simplify]: iteration  13 :  1100  enodes  (cost  16 )
2.617 * * [simplify]: Extracting # 0 : cost  0
2.619 * * [simplify]: Extracting # 1 : cost  0
2.620 * * [simplify]: Extracting # 2 : cost  0
2.621 * * [simplify]: Extracting # 3 : cost  0
2.622 * * [simplify]: iteration  14 :  1404  enodes  (cost  16 )
3.641 * * [simplify]: Extracting # 0 : cost  0
3.642 * * [simplify]: Extracting # 1 : cost  0
3.643 * * [simplify]: Extracting # 2 : cost  0
3.644 * * [simplify]: iteration  15 :  1637  enodes  (cost  16 )
5.511 * * [simplify]: Extracting # 0 : cost  0
5.514 * * [simplify]: Extracting # 1 : cost  0
5.516 * * [simplify]: Extracting # 2 : cost  0
5.518 * * [simplify]: iteration  16 :  1979  enodes  (cost  16 )
7.639 * * [simplify]: Extracting # 0 : cost  0
7.640 * * [simplify]: Extracting # 1 : cost  0
7.642 * * [simplify]: Extracting # 2 : cost  0
7.644 * * [simplify]: iteration  17 :  2694  enodes  (cost  16 )
10.647 * * [simplify]: Extracting # 0 : cost  0
10.651 * * [simplify]: Extracting # 1 : cost  0
10.654 * * [simplify]: Extracting # 2 : cost  0
10.657 * * [simplify]: iteration  18 :  3412  enodes  (cost  16 )
15.225 * * [simplify]: Extracting # 0 : cost  0
15.231 * * [simplify]: Extracting # 1 : cost  0
15.233 * * [simplify]: Extracting # 2 : cost  0
15.235 * * [simplify]: iteration  19 :  4433  enodes  (cost  16 )
19.714 * * [simplify]: Extracting # 0 : cost  0
19.731 * * [simplify]: Extracting # 1 : cost  0
19.735 * * [simplify]: Extracting # 2 : cost  0
19.739 * * [simplify]: iteration  20 :  4990  enodes  (cost  16 )
20.381 * * [simplify]: Extracting # 0 : cost  0
20.385 * * [simplify]: iteration done:  5000  enodes  (cost  16 )
20.385 * [simplify]: Simplified to:
  (* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) 0.70711)
20.391 * * [progress]: iteration 1 / 4
20.391 * * * [progress]: picking best candidate
20.396 * * * * [pick]: Picked  #<alt (λ (x) (* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) 0.70711))>
20.396 * * * [progress]: localizing error
20.412 * * * [progress]: generating rewritten candidates
20.412 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
20.417 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
20.417 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
20.515 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
20.558 * * * [progress]: generating series expansions
20.558 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
20.558 * [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.559 * [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.559 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) in x
20.559 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x
20.559 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753)
20.559 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
20.559 * [taylor]: Taking taylor expansion of 0.27061 in x
20.559 * [backup-simplify]: Simplify 0.27061 into 0.27061
20.559 * [taylor]: Taking taylor expansion of x in x
20.559 * [backup-simplify]: Simplify 0 into 0
20.559 * [backup-simplify]: Simplify 1 into 1
20.559 * [taylor]: Taking taylor expansion of 2.30753 in x
20.559 * [backup-simplify]: Simplify 2.30753 into 2.30753
20.559 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 x 0.99229) x 1.0) in x
20.559 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 x 0.99229) x) 1.0)
20.559 * [taylor]: Taking taylor expansion of (* (fma 0.04481 x 0.99229) x) in x
20.559 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x
20.559 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229)
20.559 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
20.560 * [taylor]: Taking taylor expansion of 0.04481 in x
20.560 * [backup-simplify]: Simplify 0.04481 into 0.04481
20.560 * [taylor]: Taking taylor expansion of x in x
20.560 * [backup-simplify]: Simplify 0 into 0
20.560 * [backup-simplify]: Simplify 1 into 1
20.560 * [taylor]: Taking taylor expansion of 0.99229 in x
20.560 * [backup-simplify]: Simplify 0.99229 into 0.99229
20.560 * [taylor]: Taking taylor expansion of x in x
20.560 * [backup-simplify]: Simplify 0 into 0
20.560 * [backup-simplify]: Simplify 1 into 1
20.560 * [taylor]: Taking taylor expansion of 1.0 in x
20.560 * [backup-simplify]: Simplify 1.0 into 1.0
20.561 * [backup-simplify]: Simplify (* 0.27061 0) into 0
20.561 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753
20.561 * [backup-simplify]: Simplify (* 0.04481 0) into 0
20.562 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229
20.562 * [backup-simplify]: Simplify (* 0.99229 0) into 0
20.563 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.563 * [backup-simplify]: Simplify (/ 2.30753 1.0) into 2.30753
20.563 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) in x
20.563 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x
20.563 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753)
20.563 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
20.563 * [taylor]: Taking taylor expansion of 0.27061 in x
20.563 * [backup-simplify]: Simplify 0.27061 into 0.27061
20.563 * [taylor]: Taking taylor expansion of x in x
20.564 * [backup-simplify]: Simplify 0 into 0
20.564 * [backup-simplify]: Simplify 1 into 1
20.564 * [taylor]: Taking taylor expansion of 2.30753 in x
20.564 * [backup-simplify]: Simplify 2.30753 into 2.30753
20.564 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 x 0.99229) x 1.0) in x
20.564 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 x 0.99229) x) 1.0)
20.564 * [taylor]: Taking taylor expansion of (* (fma 0.04481 x 0.99229) x) in x
20.564 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x
20.564 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229)
20.564 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
20.564 * [taylor]: Taking taylor expansion of 0.04481 in x
20.564 * [backup-simplify]: Simplify 0.04481 into 0.04481
20.564 * [taylor]: Taking taylor expansion of x in x
20.564 * [backup-simplify]: Simplify 0 into 0
20.564 * [backup-simplify]: Simplify 1 into 1
20.564 * [taylor]: Taking taylor expansion of 0.99229 in x
20.564 * [backup-simplify]: Simplify 0.99229 into 0.99229
20.564 * [taylor]: Taking taylor expansion of x in x
20.564 * [backup-simplify]: Simplify 0 into 0
20.564 * [backup-simplify]: Simplify 1 into 1
20.564 * [taylor]: Taking taylor expansion of 1.0 in x
20.564 * [backup-simplify]: Simplify 1.0 into 1.0
20.565 * [backup-simplify]: Simplify (* 0.27061 0) into 0
20.565 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753
20.566 * [backup-simplify]: Simplify (* 0.04481 0) into 0
20.566 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229
20.566 * [backup-simplify]: Simplify (* 0.99229 0) into 0
20.567 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.568 * [backup-simplify]: Simplify (/ 2.30753 1.0) into 2.30753
20.568 * [backup-simplify]: Simplify 2.30753 into 2.30753
20.569 * [backup-simplify]: Simplify (+ (* 0.27061 1) (* 0 0)) into 0.27061
20.569 * [backup-simplify]: Simplify (+ 0.27061 0) into 0.27061
20.570 * [backup-simplify]: Simplify (+ (* 0.04481 1) (* 0 0)) into 0.04481
20.570 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481
20.571 * [backup-simplify]: Simplify (+ (* 0.99229 1) (* 0.04481 0)) into 0.99229
20.571 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229
20.573 * [backup-simplify]: Simplify (- (/ 0.27061 1.0) (+ (* 2.30753 (/ 0.99229 1.0)))) into (- 2.0191289436999997)
20.573 * [backup-simplify]: Simplify (- 2.0191289436999997) into (- 2.0191289436999997)
20.574 * [backup-simplify]: Simplify (+ (* 0.27061 0) (+ (* 0 1) (* 0 0))) into 0
20.574 * [backup-simplify]: Simplify (+ 0 0) into 0
20.575 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0 1) (* 0 0))) into 0
20.575 * [backup-simplify]: Simplify (+ 0 0) into 0
20.577 * [backup-simplify]: Simplify (+ (* 0.99229 0) (+ (* 0.04481 1) (* 0 0))) into 0.04481
20.577 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481
20.581 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 2.30753 (/ 0.04481 1.0)) (* (- 2.0191289436999997) (/ 0.99229 1.0)))) into 1.900161040244073
20.581 * [backup-simplify]: Simplify 1.900161040244073 into 1.900161040244073