12.977 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.088 * * * [progress]: [2/2] Setting up program. 0.094 * [progress]: [Phase 2 of 3] Improving. 0.094 * [simplify]: Simplifying: (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0))) 0.094 * * [simplify]: iteration 0: 31 enodes 0.140 * * [simplify]: iteration 1: 81 enodes 0.176 * * [simplify]: iteration 2: 262 enodes 0.302 * * [simplify]: iteration 3: 1003 enodes 1.647 * * [simplify]: iteration 4: 4284 enodes 2.671 * * [simplify]: iteration complete: 5000 enodes 2.671 * * [simplify]: Extracting #0: cost 1 inf + 0 2.672 * * [simplify]: Extracting #1: cost 163 inf + 0 2.680 * * [simplify]: Extracting #2: cost 698 inf + 45 2.696 * * [simplify]: Extracting #3: cost 703 inf + 16157 2.718 * * [simplify]: Extracting #4: cost 549 inf + 83237 2.797 * * [simplify]: Extracting #5: cost 213 inf + 315489 2.944 * * [simplify]: Extracting #6: cost 36 inf + 419961 3.135 * * [simplify]: Extracting #7: cost 0 inf + 439277 3.292 * [simplify]: Simplified to: (fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0)))) 3.299 * * [progress]: iteration 1 / 4 3.299 * * * [progress]: picking best candidate 3.305 * * * * [pick]: Picked # 3.306 * * * [progress]: localizing error 3.372 * * * [progress]: generating rewritten candidates 3.372 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 3.372 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 3) 3.373 * * * * [progress]: [ 3 / 3 ] rewriting at (2 3 3) 3.374 * * * [progress]: generating series expansions 3.374 * * * * [progress]: [ 1 / 3 ] generating series at (2) 3.374 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 3) 3.374 * * * * [progress]: [ 3 / 3 ] generating series at (2 3 3) 3.374 * * * [progress]: simplifying candidates 3.375 * [simplify]: Simplifying: (expm1 (fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))))) (log1p (fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))))) (* (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0))))) (log (fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))))) (exp (fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))))) (* (cbrt (fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))))) (cbrt (fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0)))))) (cbrt (fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))))) (* (* (fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0)))) (fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))))) (fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))))) (sqrt (fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))))) (sqrt (fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))))) (expm1 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (log1p (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* (pow 33096.0 4.0) -121.0) (log (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (exp (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* (cbrt (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (cbrt (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0))))) (cbrt (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* (* (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0))) (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (sqrt (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (sqrt (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (expm1 (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))) (log1p (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))) (* (pow 33096.0 8.0) 5.5) (log (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))) (exp (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))) (* (cbrt (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))) (cbrt (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0)))) (cbrt (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))) (* (* (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0)) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))) (sqrt (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))) (sqrt (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))) (fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0)))) (fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0)))) (fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0)))) 3.377 * * [simplify]: iteration 0: 55 enodes 3.394 * * [simplify]: iteration 1: 91 enodes 3.410 * * [simplify]: iteration 2: 226 enodes 3.521 * * [simplify]: iteration 3: 990 enodes 3.846 * * [simplify]: iteration complete: 5000 enodes 3.846 * * [simplify]: Extracting #0: cost 28 inf + 0 3.847 * * [simplify]: Extracting #1: cost 255 inf + 0 3.854 * * [simplify]: Extracting #2: cost 1267 inf + 292 3.881 * * [simplify]: Extracting #3: cost 2152 inf + 5718 3.931 * * [simplify]: Extracting #4: cost 1708 inf + 232835 4.179 * * [simplify]: Extracting #5: cost 593 inf + 1250788 4.549 * * [simplify]: Extracting #6: cost 8 inf + 1914942 4.894 * * [simplify]: Extracting #7: cost 0 inf + 1918460 5.334 * * [simplify]: Extracting #8: cost 0 inf + 1918261 5.736 * [simplify]: Simplified to: (expm1 (fma (* 77617.0 77617.0) (fma 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0)) (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0))))) (log1p (fma (* 77617.0 77617.0) (fma 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0)) (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0))))) (* (* 77617.0 77617.0) (fma 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0)) (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0)))) (log (fma (* 77617.0 77617.0) (fma 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0)) (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0))))) (exp (fma (* 77617.0 77617.0) (fma 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0)) (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0))))) (* (cbrt (fma (* 77617.0 77617.0) (fma 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0)) (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0))))) (cbrt (fma (* 77617.0 77617.0) (fma 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0)) (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0)))))) (cbrt (fma (* 77617.0 77617.0) (fma 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0)) (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0))))) (* (fma (* 77617.0 77617.0) (fma 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0)) (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0)))) (* (fma (* 77617.0 77617.0) (fma 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0)) (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0)))) (fma (* 77617.0 77617.0) (fma 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0)) (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0)))))) (sqrt (fma (* 77617.0 77617.0) (fma 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0)) (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0))))) (sqrt (fma (* 77617.0 77617.0) (fma 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0)) (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0))))) (expm1 (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (log1p (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0) (log (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (exp (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (* (cbrt (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (cbrt (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0)))) (cbrt (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (* (* (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0)) (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (sqrt (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (sqrt (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (expm1 (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0))) (log1p (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0))) (* 5.5 (pow 33096.0 8.0)) (log (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0))) (exp (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0))) (* (cbrt (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0))) (cbrt (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0)))) (cbrt (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0))) (* (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0)) (* (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0)) (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0)))) (sqrt (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0))) (sqrt (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0))) (fma (* 77617.0 77617.0) (fma 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0)) (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0)))) (fma (* 77617.0 77617.0) (fma 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0)) (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0)))) (fma (* 77617.0 77617.0) (fma 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0)) (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))) (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 2.0) 33096.0)))) 5.742 * * * [progress]: adding candidates to table 5.989 * [progress]: [Phase 3 of 3] Extracting. 6.001 * [simplify]: Simplifying: (fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0)))) 6.002 * * [simplify]: iteration 0: 25 enodes 6.008 * * [simplify]: iteration 1: 26 enodes 6.012 * * [simplify]: iteration complete: 26 enodes 6.012 * * [simplify]: Extracting #0: cost 1 inf + 0 6.012 * * [simplify]: Extracting #1: cost 4 inf + 0 6.012 * * [simplify]: Extracting #2: cost 11 inf + 0 6.012 * * [simplify]: Extracting #3: cost 17 inf + 3 6.012 * * [simplify]: Extracting #4: cost 15 inf + 302 6.012 * * [simplify]: Extracting #5: cost 8 inf + 642 6.012 * * [simplify]: Extracting #6: cost 4 inf + 1710 6.013 * * [simplify]: Extracting #7: cost 2 inf + 2717 6.013 * * [simplify]: Extracting #8: cost 0 inf + 4490 6.014 * [simplify]: Simplified to: (fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0)))) 10.924 * [regime-testing]: Baseline error score: 58.1196713237015 10.942 * [regime-testing]: Oracle error score: 58.1196713237015 10.942 * [regime-testing]: End program error score: 58.1196713237015