0.555 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.145 * * * [progress]: [2/2] Setting up program.
0.161 * [progress]: [Phase 2 of 3] Improving.
0.161 * [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.162 * * [simplify]: iteration 0: 44 enodes
0.173 * * [simplify]: iteration 1: 132 enodes
0.206 * * [simplify]: iteration 2: 547 enodes
0.788 * * [simplify]: iteration 3: 2740 enodes
1.847 * * [simplify]: iteration complete: 5001 enodes
1.847 * * [simplify]: Extracting #0: cost 1 inf + 0
1.847 * * [simplify]: Extracting #1: cost 8 inf + 0
1.848 * * [simplify]: Extracting #2: cost 267 inf + 1
1.854 * * [simplify]: Extracting #3: cost 1368 inf + 8
1.865 * * [simplify]: Extracting #4: cost 1638 inf + 458
1.871 * * [simplify]: Extracting #5: cost 1085 inf + 11576
1.878 * * [simplify]: Extracting #6: cost 193 inf + 31637
1.884 * * [simplify]: Extracting #7: cost 5 inf + 28871
1.890 * * [simplify]: Extracting #8: cost 0 inf + 27718
1.896 * * [simplify]: Extracting #9: cost 0 inf + 27652
1.910 * [simplify]: Simplified to:
  (* (/ (+ (* (pow x 4) (+ (+ (* (pow x 6) 0.0001789971) (* 0.0005064034 (pow x 4))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (pow x 6)) 1.0))) (+ (* (* x x) 0.7715471019) (+ (+ (* (pow x 4) (+ (* x (* x 0.0694555761)) 0.2909738639)) 1.0) (* (pow (* x x) 4) (+ (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))) 0.0140005442))))) x)
1.930 * * [progress]: iteration 1 / 4
1.930 * * * [progress]: picking best candidate