158.799 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.165 * * * [progress]: [2/2] Setting up program.
0.172 * [progress]: [Phase 2 of 3] Improving.
0.172 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (* (/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x))>
0.172 * [simplify]: Simplifying:
  (* (/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
0.173 * * [simplify]: iteration 0: 44 enodes
0.182 * * [simplify]: iteration 1: 134 enodes
0.249 * * [simplify]: iteration 2: 569 enodes
0.810 * * [simplify]: iteration 3: 2612 enodes
1.599 * * [simplify]: iteration complete: 5000 enodes
1.599 * * [simplify]: Extracting #0: cost 1 inf + 0
1.599 * * [simplify]: Extracting #1: cost 7 inf + 0
1.600 * * [simplify]: Extracting #2: cost 173 inf + 1
1.604 * * [simplify]: Extracting #3: cost 421 inf + 1036
1.641 * * [simplify]: Extracting #4: cost 251 inf + 37522
1.767 * * [simplify]: Extracting #5: cost 25 inf + 98636
1.898 * * [simplify]: Extracting #6: cost 0 inf + 108011
2.052 * * [simplify]: Extracting #7: cost 0 inf + 107831
2.253 * [simplify]: Simplified to:
  (* (/ (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) 0.0001789971) 0.0005064034) (fma (* (* x x) (* x x)) (fma (* x x) 0.0072644182 0.0424060604) (fma 0.1049934947 (* x x) 1))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) 0.0140005442 (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) 0.0008327945 (* (* (* x x) (* x x)) (* 2 0.0001789971))) (fma (* (* x x) (* x x)) (fma 0.0694555761 (* x x) 0.2909738639) (fma (* x x) 0.7715471019 1))))) x)
2.263 * * [progress]: iteration 1 / 4
2.263 * * * [progress]: picking best candidate
2.279 * * * * [pick]: Picked  #<alt (λ (x) (* (/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x))>
2.279 * * * [progress]: localizing error
2.455 * * * [progress]: generating rewritten candidates
2.455 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)