5.070 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.086 * * * [progress]: [2/2] Setting up program.
0.095 * [progress]: [Phase 2 of 3] Improving.
0.095 * [simplify]: Simplifying:
  (* (/ (+ (+ (+ (+ (+ 1.0 (* 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 (* 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 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
0.095 * * [simplify]: iteration 0: 44 enodes
0.133 * * [simplify]: iteration 1: 132 enodes
0.184 * * [simplify]: iteration 2: 608 enodes
1.053 * * [simplify]: iteration 3: 3489 enodes
2.153 * * [simplify]: iteration complete: 5000 enodes
2.154 * * [simplify]: Extracting #0: cost 1 inf + 0
2.154 * * [simplify]: Extracting #1: cost 8 inf + 0
2.154 * * [simplify]: Extracting #2: cost 232 inf + 1
2.163 * * [simplify]: Extracting #3: cost 621 inf + 329
2.174 * * [simplify]: Extracting #4: cost 325 inf + 5313
2.184 * * [simplify]: Extracting #5: cost 56 inf + 9414
2.196 * * [simplify]: Extracting #6: cost 0 inf + 9525
2.206 * * [simplify]: Extracting #7: cost 0 inf + 9434
2.221 * [simplify]: Simplified to:
  (* (/ (+ (* (pow (* x x) 4) (fma (* x x) 0.0001789971 0.0005064034)) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma 0.1049934947 (* x x) 1.0)))) (fma (* 2.0 0.0001789971) (pow (* x x) 6) (fma (pow (* x x) 4) (+ 0.0140005442 (* 0.0008327945 (* x x))) (fma (pow x 6) 0.0694555761 (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))) x)
2.242 * * [progress]: iteration 1 / 4
2.242 * * * [progress]: picking best candidate