17.058 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.111 * * * [progress]: [2/2] Setting up program. 0.117 * [progress]: [Phase 2 of 3] Improving. 0.117 * [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.117 * * [simplify]: iteration 0: 31 enodes 0.125 * * [simplify]: iteration 1: 81 enodes 0.156 * * [simplify]: iteration 2: 262 enodes 0.304 * * [simplify]: iteration 3: 1003 enodes 1.746 * * [simplify]: iteration 4: 4284 enodes 2.923 * * [simplify]: iteration complete: 5000 enodes 2.924 * * [simplify]: Extracting #0: cost 1 inf + 0 2.924 * * [simplify]: Extracting #1: cost 163 inf + 0 2.928 * * [simplify]: Extracting #2: cost 698 inf + 45 2.936 * * [simplify]: Extracting #3: cost 703 inf + 16157 2.964 * * [simplify]: Extracting #4: cost 549 inf + 83237 3.068 * * [simplify]: Extracting #5: cost 213 inf + 315489 3.207 * * [simplify]: Extracting #6: cost 36 inf + 419961 3.325 * * [simplify]: Extracting #7: cost 0 inf + 439277 3.461 * [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.468 * * [progress]: iteration 1 / 4 3.469 * * * [progress]: picking best candidate 3.475 * * * * [pick]: Picked # 3.475 * * * [progress]: localizing error 3.512 * * * [progress]: generating rewritten candidates 3.513 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 3.513 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 3) 3.514 * * * * [progress]: [ 3 / 3 ] rewriting at (2 3 3) 3.515 * * * [progress]: generating series expansions 3.515 * * * * [progress]: [ 1 / 3 ] generating series at (2) 3.515 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 3) 3.515 * * * * [progress]: [ 3 / 3 ] generating series at (2 3 3) 3.515 * * * [progress]: simplifying candidates 3.516 * [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.518 * * [simplify]: iteration 0: 55 enodes 3.536 * * [simplify]: iteration 1: 91 enodes 3.576 * * [simplify]: iteration 2: 226 enodes 3.662 * * [simplify]: iteration 3: 990 enodes 3.997 * * [simplify]: iteration complete: 5000 enodes 3.997 * * [simplify]: Extracting #0: cost 28 inf + 0 3.998 * * [simplify]: Extracting #1: cost 255 inf + 0 4.001 * * [simplify]: Extracting #2: cost 1267 inf + 292 4.009 * * [simplify]: Extracting #3: cost 2152 inf + 5718 4.046 * * [simplify]: Extracting #4: cost 1708 inf + 232835 4.286 * * [simplify]: Extracting #5: cost 593 inf + 1250788 4.625 * * [simplify]: Extracting #6: cost 8 inf + 1914942 4.998 * * [simplify]: Extracting #7: cost 0 inf + 1918460 5.372 * * [simplify]: Extracting #8: cost 0 inf + 1918261 5.704 * [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.709 * * * [progress]: adding candidates to table 6.000 * [progress]: [Phase 3 of 3] Extracting. 6.006 * [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.006 * * [simplify]: iteration 0: 25 enodes 6.008 * * [simplify]: iteration 1: 26 enodes 6.011 * * [simplify]: iteration complete: 26 enodes 6.011 * * [simplify]: Extracting #0: cost 1 inf + 0 6.011 * * [simplify]: Extracting #1: cost 4 inf + 0 6.011 * * [simplify]: Extracting #2: cost 11 inf + 0 6.011 * * [simplify]: Extracting #3: cost 17 inf + 3 6.011 * * [simplify]: Extracting #4: cost 15 inf + 302 6.011 * * [simplify]: Extracting #5: cost 8 inf + 642 6.011 * * [simplify]: Extracting #6: cost 4 inf + 1710 6.012 * * [simplify]: Extracting #7: cost 2 inf + 2717 6.012 * * [simplify]: Extracting #8: cost 0 inf + 4490 6.012 * [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.543 * [regime-testing]: Baseline error score: 58.1196713237015 10.552 * [regime-testing]: Oracle error score: 58.1196713237015 10.552 * [regime-testing]: End program error score: 58.1196713237015