0.269 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.013 * * * [progress]: [2/2] Setting up program.
0.014 * [progress]: [Phase 2 of 3] Improving.
0.015 * [simplify]: Simplifying:
  (+ (* x (* x x)) (* x x))
0.015 * * [simplify]: Extracting # 0 : cost  0
0.015 * * [simplify]: Extracting # 1 : cost  0
0.015 * * [simplify]: Extracting # 2 : cost  0
0.015 * * [simplify]: Extracting # 3 : cost  0
0.015 * * [simplify]: Extracting # 4 : cost  0
0.015 * * [simplify]: iteration  0 :  4  enodes  (cost  9 )
0.016 * * [simplify]: Extracting # 0 : cost  0
0.016 * * [simplify]: Extracting # 1 : cost  0
0.016 * * [simplify]: Extracting # 2 : cost  0
0.016 * * [simplify]: Extracting # 3 : cost  0
0.016 * * [simplify]: iteration  1 :  14  enodes  (cost  7 )
0.019 * * [simplify]: Extracting # 0 : cost  0
0.019 * * [simplify]: Extracting # 1 : cost  0
0.019 * * [simplify]: Extracting # 2 : cost  0
0.020 * * [simplify]: Extracting # 3 : cost  0
0.020 * * [simplify]: iteration  2 :  30  enodes  (cost  6 )
0.025 * * [simplify]: Extracting # 0 : cost  0
0.026 * * [simplify]: Extracting # 1 : cost  0
0.026 * * [simplify]: Extracting # 2 : cost  0
0.026 * * [simplify]: Extracting # 3 : cost  0
0.026 * * [simplify]: iteration  3 :  46  enodes  (cost  6 )
0.036 * * [simplify]: Extracting # 0 : cost  0
0.036 * * [simplify]: Extracting # 1 : cost  0
0.036 * * [simplify]: Extracting # 2 : cost  0
0.036 * * [simplify]: Extracting # 3 : cost  0
0.037 * * [simplify]: Extracting # 4 : cost  0
0.037 * * [simplify]: iteration  4 :  72  enodes  (cost  6 )
0.062 * * [simplify]: Extracting # 0 : cost  0
0.062 * * [simplify]: Extracting # 1 : cost  0
0.062 * * [simplify]: Extracting # 2 : cost  0
0.062 * * [simplify]: Extracting # 3 : cost  0
0.062 * * [simplify]: iteration  5 :  125  enodes  (cost  6 )
0.088 * * [simplify]: Extracting # 0 : cost  0
0.089 * * [simplify]: Extracting # 1 : cost  0
0.089 * * [simplify]: Extracting # 2 : cost  0
0.089 * * [simplify]: Extracting # 3 : cost  0
0.089 * * [simplify]: iteration  6 :  217  enodes  (cost  6 )
0.248 * * [simplify]: Extracting # 0 : cost  0
0.249 * * [simplify]: Extracting # 1 : cost  0
0.250 * * [simplify]: Extracting # 2 : cost  0
0.251 * * [simplify]: Extracting # 3 : cost  0
0.251 * * [simplify]: iteration  7 :  555  enodes  (cost  6 )
1.846 * * [simplify]: Extracting # 0 : cost  0
1.850 * * [simplify]: Extracting # 1 : cost  0
1.852 * * [simplify]: Extracting # 2 : cost  0
1.854 * * [simplify]: Extracting # 3 : cost  0
1.857 * * [simplify]: Extracting # 4 : cost  0
1.859 * * [simplify]: iteration  8 :  2208  enodes  (cost  6 )
3.445 * * [simplify]: Extracting # 0 : cost  0
3.451 * * [simplify]: Extracting # 1 : cost  0
3.456 * * [simplify]: Extracting # 2 : cost  0
3.465 * * [simplify]: Extracting # 3 : cost  0
3.470 * * [simplify]: iteration done:  5000  enodes  (cost  6 )
3.470 * [simplify]: Simplified to:
  (fma x x (pow x 3))
3.473 * * [progress]: iteration 1 / 4
3.473 * * * [progress]: picking best candidate
3.475 * * * * [pick]: Picked  #<alt (λ (x) (fma x x (pow x 3)))>
3.475 * * * [progress]: localizing error
3.480 * * * [progress]: generating rewritten candidates
3.480 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.480 * * * [progress]: generating series expansions
3.480 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.481 * [backup-simplify]: Simplify (fma x x (pow x 3)) into (fma x x (pow x 3))
3.481 * [approximate]: Taking taylor expansion of (fma x x (pow x 3)) in (x) around 0
3.481 * [taylor]: Taking taylor expansion of (fma x x (pow x 3)) in x
3.482 * [taylor]: Rewrote expression to (+ (* x x) (pow x 3))
3.482 * [taylor]: Taking taylor expansion of (* x x) in x
3.482 * [taylor]: Taking taylor expansion of x in x
3.482 * [backup-simplify]: Simplify 0 into 0
3.482 * [backup-simplify]: Simplify 1 into 1
3.482 * [taylor]: Taking taylor expansion of x in x
3.482 * [backup-simplify]: Simplify 0 into 0
3.482 * [backup-simplify]: Simplify 1 into 1
3.482 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.482 * [taylor]: Taking taylor expansion of x in x
3.482 * [backup-simplify]: Simplify 0 into 0
3.482 * [backup-simplify]: Simplify 1 into 1
3.482 * [taylor]: Taking taylor expansion of (fma x x (pow x 3)) in x
3.483 * [taylor]: Rewrote expression to (+ (* x x) (pow x 3))
3.483 * [taylor]: Taking taylor expansion of (* x x) in x
3.483 * [taylor]: Taking taylor expansion of x in x
3.483 * [backup-simplify]: Simplify 0 into 0
3.483 * [backup-simplify]: Simplify 1 into 1
3.483 * [taylor]: Taking taylor expansion of x in x
3.483 * [backup-simplify]: Simplify 0 into 0
3.483 * [backup-simplify]: Simplify 1 into 1
3.483 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.483 * [taylor]: Taking taylor expansion of x in x
3.483 * [backup-simplify]: Simplify 0 into 0
3.483 * [backup-simplify]: Simplify 1 into 1
3.483 * [backup-simplify]: Simplify (* 0 0) into 0
3.484 * [backup-simplify]: Simplify (+ 0 0) into 0
3.484 * [backup-simplify]: Simplify 0 into 0
3.484 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
3.484 * [backup-simplify]: Simplify (+ 0 0) into 0
3.484 * [backup-simplify]: Simplify 0 into 0
3.485 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
3.485 * [backup-simplify]: Simplify (+ 1 0) into 1
3.485 * [backup-simplify]: Simplify 1 into 1
3.486 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
3.486 * [backup-simplify]: Simplify (* 1 1) into 1
3.486 * [backup-simplify]: Simplify (* 1 1) into 1
3.487 * [backup-simplify]: Simplify (+ 0 1) into 1
3.487 * [backup-simplify]: Simplify 1 into 1
3.487 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.488 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.488 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.488 * [backup-simplify]: Simplify (+ 0 0) into 0
3.488 * [backup-simplify]: Simplify 0 into 0
3.489 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
3.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.490 * [backup-simplify]: Simplify (+ 0 0) into 0
3.490 * [backup-simplify]: Simplify 0 into 0
3.491 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
3.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.493 * [backup-simplify]: Simplify (+ 0 0) into 0
3.493 * [backup-simplify]: Simplify 0 into 0
3.494 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
3.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.495 * [backup-simplify]: Simplify (+ 0 0) into 0
3.495 * [backup-simplify]: Simplify 0 into 0
3.496 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
3.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.498 * [backup-simplify]: Simplify (+ 0 0) into 0
3.498 * [backup-simplify]: Simplify 0 into 0
3.499 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))))) into 0
3.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.501 * [backup-simplify]: Simplify (+ 0 0) into 0
3.501 * [backup-simplify]: Simplify 0 into 0