6.146 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.101 * * * [progress]: [2/2] Setting up program.
0.112 * [progress]: [Phase 2 of 3] Improving.
0.113 * [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.113 * * [simplify]: iteration 0: 31 enodes
0.128 * * [simplify]: iteration 1: 81 enodes
0.157 * * [simplify]: iteration 2: 262 enodes
0.358 * * [simplify]: iteration 3: 1003 enodes
1.731 * * [simplify]: iteration 4: 4284 enodes
2.861 * * [simplify]: iteration complete: 5000 enodes
2.861 * * [simplify]: Extracting #0: cost 1 inf + 0
2.862 * * [simplify]: Extracting #1: cost 163 inf + 0
2.866 * * [simplify]: Extracting #2: cost 698 inf + 7
2.872 * * [simplify]: Extracting #3: cost 703 inf + 662
2.881 * * [simplify]: Extracting #4: cost 549 inf + 3138
2.898 * * [simplify]: Extracting #5: cost 213 inf + 10207
2.909 * * [simplify]: Extracting #6: cost 36 inf + 13234
2.915 * * [simplify]: Extracting #7: cost 0 inf + 13640
2.926 * [simplify]: Simplified to:
  (fma (* 77617.0 77617.0) (fma (* 77617.0 77617.0) (* (* 33096.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))))
2.933 * * [progress]: iteration 1 / 4
2.933 * * * [progress]: picking best candidate
2.939 * * * * [pick]: Picked  #<alt (λ () (fma (* 77617.0 77617.0) (fma (* 77617.0 77617.0) (* (* 33096.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)))))>
2.939 * * * [progress]: localizing error
3.015 * * * [progress]: generating rewritten candidates
3.016 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
3.016 * * * * [progress]: [ 2 / 3 ] rewriting at (2 3 3)
3.017 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 3)
3.018 * * * [progress]: generating series expansions
3.018 * * * * [progress]: [ 1 / 3 ] generating series at (2)
3.018 * * * * [progress]: [ 2 / 3 ] generating series at (2 3 3)
3.018 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 3)
3.018 * * * [progress]: simplifying candidates
3.019 * [simplify]: Simplifying:
  (expm1 (fma (* 77617.0 77617.0) (fma (* 77617.0 77617.0) (* (* 33096.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 77617.0) (* (* 33096.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 77617.0) (* (* 33096.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 77617.0) (* (* 33096.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 77617.0) (* (* 33096.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 77617.0) (* (* 33096.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 77617.0) (* (* 33096.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 77617.0) (* (* 33096.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 77617.0) (* (* 33096.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 77617.0) (* (* 33096.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 77617.0) (* (* 33096.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 77617.0) (* (* 33096.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 77617.0) (* (* 33096.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 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)))
  (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))))
  (fma (* 77617.0 77617.0) (fma (* 77617.0 77617.0) (* (* 33096.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 77617.0) (* (* 33096.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 77617.0) (* (* 33096.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.021 * * [simplify]: iteration 0: 55 enodes
3.039 * * [simplify]: iteration 1: 87 enodes
3.070 * * [simplify]: iteration 2: 214 enodes
3.170 * * [simplify]: iteration 3: 960 enodes
3.569 * * [simplify]: iteration complete: 5001 enodes
3.569 * * [simplify]: Extracting #0: cost 28 inf + 0
3.570 * * [simplify]: Extracting #1: cost 262 inf + 0
3.573 * * [simplify]: Extracting #2: cost 1293 inf + 35
3.580 * * [simplify]: Extracting #3: cost 2164 inf + 260
3.982 * * [simplify]: Extracting #4: cost 1691 inf + 7580
3.998 * * [simplify]: Extracting #5: cost 454 inf + 60228
4.012 * * [simplify]: Extracting #6: cost 2 inf + 87445
4.026 * * [simplify]: Extracting #7: cost 0 inf + 87471
4.040 * [simplify]: Simplified to:
  (expm1 (fma (* 77617.0 77617.0) (fma 77617.0 (* (* 77617.0 33096.0) (* 11.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 33096.0) 2.0)))))
  (log1p (fma (* 77617.0 77617.0) (fma 77617.0 (* (* 77617.0 33096.0) (* 11.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 33096.0) 2.0)))))
  (* (* 77617.0 77617.0) (fma 77617.0 (* (* 77617.0 33096.0) (* 11.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 77617.0 (* (* 77617.0 33096.0) (* 11.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 33096.0) 2.0)))))
  (exp (fma (* 77617.0 77617.0) (fma 77617.0 (* (* 77617.0 33096.0) (* 11.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 33096.0) 2.0)))))
  (* (cbrt (fma (* 77617.0 77617.0) (fma 77617.0 (* (* 77617.0 33096.0) (* 11.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 33096.0) 2.0))))) (cbrt (fma (* 77617.0 77617.0) (fma 77617.0 (* (* 77617.0 33096.0) (* 11.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 33096.0) 2.0))))))
  (cbrt (fma (* 77617.0 77617.0) (fma 77617.0 (* (* 77617.0 33096.0) (* 11.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 33096.0) 2.0)))))
  (pow (fma (* 77617.0 77617.0) (fma 77617.0 (* (* 77617.0 33096.0) (* 11.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 33096.0) 2.0)))) 3)
  (sqrt (fma (* 77617.0 77617.0) (fma 77617.0 (* (* 77617.0 33096.0) (* 11.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 33096.0) 2.0)))))
  (sqrt (fma (* 77617.0 77617.0) (fma 77617.0 (* (* 77617.0 33096.0) (* 11.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 33096.0) 2.0)))))
  (expm1 (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 33096.0) 2.0)))
  (log1p (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 33096.0) 2.0)))
  (* 5.5 (pow 33096.0 8.0))
  (log (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 33096.0) 2.0)))
  (exp (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 33096.0) 2.0)))
  (* (cbrt (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 33096.0) 2.0))) (cbrt (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 33096.0) 2.0))))
  (cbrt (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 33096.0) 2.0)))
  (pow (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 33096.0) 2.0)) 3)
  (sqrt (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 33096.0) 2.0)))
  (sqrt (fma 5.5 (pow 33096.0 8.0) (/ (/ 77617.0 33096.0) 2.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)))
  (pow (- (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0)) 3)
  (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)))
  (fma (* 77617.0 77617.0) (fma 77617.0 (* (* 77617.0 33096.0) (* 11.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 33096.0) 2.0))))
  (fma (* 77617.0 77617.0) (fma 77617.0 (* (* 77617.0 33096.0) (* 11.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 33096.0) 2.0))))
  (fma (* 77617.0 77617.0) (fma 77617.0 (* (* 77617.0 33096.0) (* 11.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 33096.0) 2.0))))
4.040 * * * [progress]: adding candidates to table
4.354 * [progress]: [Phase 3 of 3] Extracting.
4.367 * [simplify]: Simplifying:
  (fma (* 77617.0 77617.0) (fma (* 77617.0 77617.0) (* (* 33096.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))))
4.367 * * [simplify]: iteration 0: 25 enodes
4.371 * * [simplify]: iteration 1: 26 enodes
4.375 * * [simplify]: iteration complete: 26 enodes
4.375 * * [simplify]: Extracting #0: cost 1 inf + 0
4.375 * * [simplify]: Extracting #1: cost 4 inf + 0
4.375 * * [simplify]: Extracting #2: cost 10 inf + 0
4.375 * * [simplify]: Extracting #3: cost 18 inf + 2
4.376 * * [simplify]: Extracting #4: cost 14 inf + 21
4.376 * * [simplify]: Extracting #5: cost 8 inf + 31
4.376 * * [simplify]: Extracting #6: cost 4 inf + 54
4.376 * * [simplify]: Extracting #7: cost 2 inf + 83
4.376 * * [simplify]: Extracting #8: cost 0 inf + 136
4.376 * [simplify]: Simplified to:
  (fma (* 77617.0 77617.0) (fma (* 77617.0 77617.0) (* (* 33096.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))))
8.636 * [regime-testing]: Baseline error score: 58.1196713237015
8.651 * [regime-testing]: Oracle error score: 58.1196713237015
8.651 * [regime-testing]: End program error score: 58.1196713237015