14.011 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.144 * * * [progress]: [2/2] Setting up program.
0.155 * [progress]: [Phase 2 of 3] Improving.
0.156 * [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.156 * * [simplify]: iteration 0: 31 enodes
0.215 * * [simplify]: iteration 1: 81 enodes
0.274 * * [simplify]: iteration 2: 257 enodes
0.545 * * [simplify]: iteration 3: 924 enodes
2.311 * * [simplify]: iteration 4: 3234 enodes
4.181 * * [simplify]: iteration complete: 5000 enodes
4.182 * * [simplify]: Extracting #0: cost 1 inf + 0
4.182 * * [simplify]: Extracting #1: cost 188 inf + 0
4.193 * * [simplify]: Extracting #2: cost 477 inf + 1479
4.217 * * [simplify]: Extracting #3: cost 421 inf + 34286
4.299 * * [simplify]: Extracting #4: cost 271 inf + 113120
4.407 * * [simplify]: Extracting #5: cost 155 inf + 164861
4.610 * * [simplify]: Extracting #6: cost 7 inf + 263548
4.824 * * [simplify]: Extracting #7: cost 0 inf + 267678
5.033 * [simplify]: Simplified to:
  (fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))))
5.047 * * [progress]: iteration 1 / 4
5.047 * * * [progress]: picking best candidate
5.060 * * * * [pick]: Picked  #<alt (λ () (fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))))>
5.060 * * * [progress]: localizing error
5.133 * * * [progress]: generating rewritten candidates
5.133 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
5.134 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 3)
5.135 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 3)
5.135 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3)
5.137 * * * [progress]: generating series expansions
5.137 * * * * [progress]: [ 1 / 4 ] generating series at (2)
5.137 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 3)
5.137 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 3)
5.137 * * * * [progress]: [ 4 / 4 ] generating series at (2 3)
5.137 * * * [progress]: simplifying candidates
5.139 * [simplify]: Simplifying:
  (expm1 (fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))))
  (log1p (fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))))
  (* (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0)
  (log (fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))))
  (exp (fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))))
  (* (cbrt (fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))))) (cbrt (fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))))))
  (cbrt (fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))))
  (* (* (fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))) (fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))))) (fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))))
  (sqrt (fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))))
  (sqrt (fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 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))))
  (* -121.0 (pow 33096.0 4.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 (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))
  (log1p (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))
  (* (pow 33096.0 6.0) 333.75)
  (log (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))
  (exp (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))
  (* (cbrt (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))) (cbrt (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))))
  (cbrt (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))
  (* (* (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))
  (sqrt (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))
  (sqrt (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))
  (expm1 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))))
  (log1p (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))))
  (* 5.5 (pow 33096.0 8.0))
  (log (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))))
  (exp (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))))
  (* (cbrt (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))) (cbrt (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))))
  (cbrt (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))))
  (* (* (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))) (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))) (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))))
  (sqrt (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))))
  (sqrt (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))))
  (fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))))
  (fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))))
  (fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))))
  (fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))))
5.141 * * [simplify]: iteration 0: 65 enodes
5.170 * * [simplify]: iteration 1: 104 enodes
5.215 * * [simplify]: iteration 2: 241 enodes
5.412 * * [simplify]: iteration 3: 1012 enodes
6.667 * * [simplify]: iteration complete: 5006 enodes
6.667 * * [simplify]: Extracting #0: cost 37 inf + 0
6.668 * * [simplify]: Extracting #1: cost 272 inf + 0
6.675 * * [simplify]: Extracting #2: cost 1364 inf + 46
6.691 * * [simplify]: Extracting #3: cost 2185 inf + 3919
6.727 * * [simplify]: Extracting #4: cost 2019 inf + 54579
6.818 * * [simplify]: Extracting #5: cost 1220 inf + 611928
7.151 * * [simplify]: Extracting #6: cost 156 inf + 1656625
7.583 * * [simplify]: Extracting #7: cost 0 inf + 1813245
8.018 * [simplify]: Simplified to:
  (expm1 (fma (fma (* (* 33096.0 77617.0) (* 33096.0 77617.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 77617.0) (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)))))
  (log1p (fma (fma (* (* 33096.0 77617.0) (* 33096.0 77617.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 77617.0) (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)))))
  (* (fma (* (* 33096.0 77617.0) (* 33096.0 77617.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 77617.0))
  (log (fma (fma (* (* 33096.0 77617.0) (* 33096.0 77617.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 77617.0) (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)))))
  (exp (fma (fma (* (* 33096.0 77617.0) (* 33096.0 77617.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 77617.0) (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)))))
  (* (cbrt (fma (fma (* (* 33096.0 77617.0) (* 33096.0 77617.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 77617.0) (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0))))) (cbrt (fma (fma (* (* 33096.0 77617.0) (* 33096.0 77617.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 77617.0) (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0))))))
  (cbrt (fma (fma (* (* 33096.0 77617.0) (* 33096.0 77617.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 77617.0) (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)))))
  (* (fma (fma (* (* 33096.0 77617.0) (* 33096.0 77617.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 77617.0) (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)))) (* (fma (fma (* (* 33096.0 77617.0) (* 33096.0 77617.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 77617.0) (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)))) (fma (fma (* (* 33096.0 77617.0) (* 33096.0 77617.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 77617.0) (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0))))))
  (sqrt (fma (fma (* (* 33096.0 77617.0) (* 33096.0 77617.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 77617.0) (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)))))
  (sqrt (fma (fma (* (* 33096.0 77617.0) (* 33096.0 77617.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 77617.0) (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 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 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)))
  (log1p (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)))
  (* 333.75 (pow 33096.0 6.0))
  (log (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)))
  (exp (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)))
  (* (cbrt (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0))) (cbrt (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0))))
  (cbrt (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)))
  (* (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)) (* (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0))))
  (sqrt (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)))
  (sqrt (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)))
  (expm1 (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0))))
  (log1p (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0))))
  (* (pow 33096.0 8.0) 5.5)
  (log (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0))))
  (exp (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0))))
  (* (cbrt (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)))) (cbrt (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)))))
  (cbrt (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0))))
  (* (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0))) (* (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0))) (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0)))))
  (sqrt (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0))))
  (sqrt (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0))))
  (fma (fma (* (* 33096.0 77617.0) (* 33096.0 77617.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 77617.0) (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0))))
  (fma (fma (* (* 33096.0 77617.0) (* 33096.0 77617.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 77617.0) (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0))))
  (fma (fma (* (* 33096.0 77617.0) (* 33096.0 77617.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 77617.0) (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0))))
  (fma (fma (* (* 33096.0 77617.0) (* 33096.0 77617.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 77617.0) (fma 5.5 (pow 33096.0 8.0) (fma 333.75 (pow 33096.0 6.0) (/ (/ 77617.0 33096.0) 2.0))))
8.028 * * * [progress]: adding candidates to table
8.596 * [progress]: [Phase 3 of 3] Extracting.
8.607 * [simplify]: Simplifying:
  (fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))))
8.607 * * [simplify]: iteration 0: 25 enodes
8.611 * * [simplify]: iteration 1: 28 enodes
8.615 * * [simplify]: iteration complete: 28 enodes
8.616 * * [simplify]: Extracting #0: cost 1 inf + 0
8.616 * * [simplify]: Extracting #1: cost 4 inf + 0
8.616 * * [simplify]: Extracting #2: cost 7 inf + 1
8.616 * * [simplify]: Extracting #3: cost 14 inf + 2
8.616 * * [simplify]: Extracting #4: cost 15 inf + 218
8.616 * * [simplify]: Extracting #5: cost 15 inf + 262
8.616 * * [simplify]: Extracting #6: cost 8 inf + 813
8.617 * * [simplify]: Extracting #7: cost 4 inf + 2326
8.617 * * [simplify]: Extracting #8: cost 2 inf + 3373
8.618 * * [simplify]: Extracting #9: cost 0 inf + 5146
8.619 * [simplify]: Simplified to:
  (fma (* 77617.0 (fma (* (* 33096.0 77617.0) (* 33096.0 77617.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 2.0 33096.0)))))
14.821 * [regime-testing]: Baseline error score: 58.06274169396678
14.838 * [regime-testing]: Oracle error score: 58.06274169396678
14.839 * [regime-testing]: End program error score: 58.06274169396678