14.125 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.146 * * * [progress]: [2/2] Setting up program.
0.159 * [progress]: [Phase 2 of 3] Improving.
0.159 * [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.159 * * [simplify]: iteration 0: 31 enodes
0.178 * * [simplify]: iteration 1: 81 enodes
0.292 * * [simplify]: iteration 2: 257 enodes
0.564 * * [simplify]: iteration 3: 924 enodes
2.249 * * [simplify]: iteration 4: 3234 enodes
4.063 * * [simplify]: iteration complete: 5000 enodes
4.063 * * [simplify]: Extracting #0: cost 1 inf + 0
4.064 * * [simplify]: Extracting #1: cost 188 inf + 0
4.072 * * [simplify]: Extracting #2: cost 477 inf + 1479
4.093 * * [simplify]: Extracting #3: cost 421 inf + 34286
4.153 * * [simplify]: Extracting #4: cost 271 inf + 113120
4.242 * * [simplify]: Extracting #5: cost 155 inf + 164861
4.402 * * [simplify]: Extracting #6: cost 7 inf + 263548
4.618 * * [simplify]: Extracting #7: cost 0 inf + 267678
4.800 * [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)))))
4.815 * * [progress]: iteration 1 / 4
4.815 * * * [progress]: picking best candidate
4.827 * * * * [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))))))>
4.827 * * * [progress]: localizing error
4.908 * * * [progress]: generating rewritten candidates
4.908 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
4.908 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 3)
4.909 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 3)
4.910 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3)
4.911 * * * [progress]: generating series expansions
4.912 * * * * [progress]: [ 1 / 4 ] generating series at (2)
4.912 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 3)
4.912 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 3)
4.912 * * * * [progress]: [ 4 / 4 ] generating series at (2 3)
4.912 * * * [progress]: simplifying candidates
4.913 * [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)))))
4.916 * * [simplify]: iteration 0: 65 enodes
4.945 * * [simplify]: iteration 1: 104 enodes
4.988 * * [simplify]: iteration 2: 241 enodes
5.199 * * [simplify]: iteration 3: 1012 enodes
5.998 * * [simplify]: iteration complete: 5006 enodes
5.998 * * [simplify]: Extracting #0: cost 37 inf + 0
5.999 * * [simplify]: Extracting #1: cost 272 inf + 0
6.006 * * [simplify]: Extracting #2: cost 1364 inf + 46
6.022 * * [simplify]: Extracting #3: cost 2185 inf + 3919
6.047 * * [simplify]: Extracting #4: cost 2019 inf + 54579
6.161 * * [simplify]: Extracting #5: cost 1220 inf + 611928
6.467 * * [simplify]: Extracting #6: cost 156 inf + 1656625
6.853 * * [simplify]: Extracting #7: cost 0 inf + 1813245
7.241 * [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))))
7.250 * * * [progress]: adding candidates to table
7.768 * [progress]: [Phase 3 of 3] Extracting.
7.776 * [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)))))
7.777 * * [simplify]: iteration 0: 25 enodes
7.781 * * [simplify]: iteration 1: 28 enodes
7.784 * * [simplify]: iteration complete: 28 enodes
7.784 * * [simplify]: Extracting #0: cost 1 inf + 0
7.784 * * [simplify]: Extracting #1: cost 4 inf + 0
7.784 * * [simplify]: Extracting #2: cost 7 inf + 1
7.784 * * [simplify]: Extracting #3: cost 14 inf + 2
7.787 * * [simplify]: Extracting #4: cost 15 inf + 218
7.787 * * [simplify]: Extracting #5: cost 15 inf + 262
7.787 * * [simplify]: Extracting #6: cost 8 inf + 813
7.788 * * [simplify]: Extracting #7: cost 4 inf + 2326
7.788 * * [simplify]: Extracting #8: cost 2 inf + 3373
7.789 * * [simplify]: Extracting #9: cost 0 inf + 5146
7.789 * [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.486 * [regime-testing]: Baseline error score: 58.06274169396678
14.504 * [regime-testing]: Oracle error score: 58.06274169396678
14.504 * [regime-testing]: End program error score: 58.06274169396678