29.875 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.112 * * * [progress]: [2/2] Setting up program.
0.122 * [progress]: [Phase 2 of 3] Improving.
0.123 * [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.123 * * [simplify]: Extracting # 0 : cost  0
0.123 * * [simplify]: Extracting # 1 : cost  0
0.123 * * [simplify]: Extracting # 2 : cost  0
0.123 * * [simplify]: Extracting # 3 : cost  0
0.123 * * [simplify]: Extracting # 4 : cost  0
0.123 * * [simplify]: Extracting # 5 : cost  0
0.123 * * [simplify]: Extracting # 6 : cost  0
0.123 * * [simplify]: Extracting # 7 : cost  0
0.123 * * [simplify]: Extracting # 8 : cost  0
0.124 * * [simplify]: Extracting # 9 : cost  0
0.124 * * [simplify]: Extracting # 10 : cost  0
0.124 * * [simplify]: Extracting # 11 : cost  0
0.124 * * [simplify]: Extracting # 12 : cost  0
0.124 * * [simplify]: Extracting # 13 : cost  0
0.124 * * [simplify]: Extracting # 14 : cost  0
0.124 * * [simplify]: Extracting # 15 : cost  0
0.124 * * [simplify]: iteration  0 :  31  enodes  (cost  44 )
0.166 * * [simplify]: Extracting # 0 : cost  0
0.166 * * [simplify]: Extracting # 1 : cost  0
0.166 * * [simplify]: Extracting # 2 : cost  0
0.166 * * [simplify]: Extracting # 3 : cost  0
0.166 * * [simplify]: Extracting # 4 : cost  0
0.167 * * [simplify]: Extracting # 5 : cost  0
0.167 * * [simplify]: iteration  1 :  125  enodes  (cost  42 )
0.364 * * [simplify]: Extracting # 0 : cost  0
0.365 * * [simplify]: Extracting # 1 : cost  0
0.366 * * [simplify]: Extracting # 2 : cost  0
0.367 * * [simplify]: Extracting # 3 : cost  0
0.368 * * [simplify]: Extracting # 4 : cost  0
0.369 * * [simplify]: Extracting # 5 : cost  0
0.370 * * [simplify]: iteration  2 :  992  enodes  (cost  40 )
2.314 * * [simplify]: Extracting # 0 : cost  0
2.320 * * [simplify]: Extracting # 1 : cost  0
2.327 * * [simplify]: Extracting # 2 : cost  0
2.334 * * [simplify]: Extracting # 3 : cost  0
2.341 * * [simplify]: Extracting # 4 : cost  0
2.352 * * [simplify]: Extracting # 5 : cost  0
2.361 * * [simplify]: iteration done:  5001  enodes  (cost  39 )
2.361 * [simplify]: Simplified to:
  (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
2.366 * * [progress]: iteration 1 / 4
2.366 * * * [progress]: picking best candidate
2.373 * * * * [pick]: Picked  #<alt (λ () (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))>
2.374 * * * [progress]: localizing error
2.417 * * * [progress]: generating rewritten candidates
2.417 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
2.418 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3)
2.419 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 3)
2.419 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1 2)
2.541 * * * [progress]: generating series expansions
2.541 * * * * [progress]: [ 1 / 4 ] generating series at (2)
2.541 * * * * [progress]: [ 2 / 4 ] generating series at (2 3)
2.541 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 3)
2.541 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 1 2)
2.541 * * * [progress]: simplifying candidates
2.544 * [simplify]: Simplifying:
  (expm1 (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (log1p (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (* (pow 33096.0 6.0) 333.75)
  (log (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (exp (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (* (cbrt (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))) (cbrt (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))))
  (cbrt (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (* (* (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))) (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (sqrt (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (sqrt (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (expm1 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (log1p (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0))
  (log (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (exp (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (* (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (expm1 (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (log1p (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (* (pow 33096.0 8.0) 5.5)
  (log (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (exp (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (* (cbrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (cbrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (cbrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (* (* (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (sqrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (sqrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (* (pow (cbrt 33096.0) 6.0) (pow (* (cbrt 33096.0) (cbrt 33096.0)) 6.0))))
  (fma (- (pow (cbrt 33096.0) 6.0)) (pow (* (cbrt 33096.0) (cbrt 33096.0)) 6.0) (* (pow (cbrt 33096.0) 6.0) (pow (* (cbrt 33096.0) (cbrt 33096.0)) 6.0)))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (* (pow (sqrt 33096.0) 6.0) (pow (sqrt 33096.0) 6.0))))
  (fma (- (pow (sqrt 33096.0) 6.0)) (pow (sqrt 33096.0) 6.0) (* (pow (sqrt 33096.0) 6.0) (pow (sqrt 33096.0) 6.0)))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (* (pow 33096.0 6.0) (pow 1 6.0))))
  (fma (- (pow 33096.0 6.0)) (pow 1 6.0) (* (pow 33096.0 6.0) (pow 1 6.0)))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (* (cbrt (pow 33096.0 6.0)) (* (cbrt (pow 33096.0 6.0)) (cbrt (pow 33096.0 6.0))))))
  (fma (- (cbrt (pow 33096.0 6.0))) (* (cbrt (pow 33096.0 6.0)) (cbrt (pow 33096.0 6.0))) (* (cbrt (pow 33096.0 6.0)) (* (cbrt (pow 33096.0 6.0)) (cbrt (pow 33096.0 6.0)))))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (* (sqrt (pow 33096.0 6.0)) (sqrt (pow 33096.0 6.0)))))
  (fma (- (sqrt (pow 33096.0 6.0))) (sqrt (pow 33096.0 6.0)) (* (sqrt (pow 33096.0 6.0)) (sqrt (pow 33096.0 6.0))))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (* (pow 33096.0 6.0) 1)))
  (fma (- (pow 33096.0 6.0)) 1 (* (pow 33096.0 6.0) 1))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (* (pow 33096.0 (/ 6.0 2)) (pow 33096.0 (/ 6.0 2)))))
  (fma (- (pow 33096.0 (/ 6.0 2))) (pow 33096.0 (/ 6.0 2)) (* (pow 33096.0 (/ 6.0 2)) (pow 33096.0 (/ 6.0 2))))
  (expm1 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (log1p (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow 33096.0 6.0))
  (/ (exp (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0))) (exp (pow 33096.0 6.0)))
  (log (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (exp (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (* (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) 3) (pow (pow 33096.0 6.0) 3))
  (+ (* (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0))) (+ (* (pow 33096.0 6.0) (pow 33096.0 6.0)) (* (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (- (pow 33096.0 6.0))
  (- (* (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0))) (* (pow 33096.0 6.0) (pow 33096.0 6.0)))
  (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))
  (- (pow 33096.0 6.0))
  (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
2.548 * * [simplify]: Extracting # 0 : cost  0
2.549 * * [simplify]: Extracting # 1 : cost  0
2.549 * * [simplify]: Extracting # 2 : cost  0
2.549 * * [simplify]: Extracting # 3 : cost  0
2.550 * * [simplify]: Extracting # 4 : cost  0
2.550 * * [simplify]: Extracting # 5 : cost  0
2.550 * * [simplify]: Extracting # 6 : cost  0
2.551 * * [simplify]: Extracting # 7 : cost  0
2.551 * * [simplify]: Extracting # 8 : cost  0
2.551 * * [simplify]: Extracting # 9 : cost  0
2.552 * * [simplify]: Extracting # 10 : cost  0
2.552 * * [simplify]: iteration  0 :  127  enodes  (cost  1793 )
2.868 * * [simplify]: Extracting # 0 : cost  0
2.869 * * [simplify]: Extracting # 1 : cost  0
2.870 * * [simplify]: Extracting # 2 : cost  0
2.872 * * [simplify]: Extracting # 3 : cost  0
2.873 * * [simplify]: Extracting # 4 : cost  0
2.874 * * [simplify]: Extracting # 5 : cost  0
2.875 * * [simplify]: iteration  1 :  959  enodes  (cost  1683 )
4.574 * * [simplify]: Extracting # 0 : cost  0
4.578 * * [simplify]: Extracting # 1 : cost  0
4.584 * * [simplify]: Extracting # 2 : cost  0
4.591 * * [simplify]: Extracting # 3 : cost  0
4.604 * * [simplify]: Extracting # 4 : cost  0
4.615 * * [simplify]: Extracting # 5 : cost  0
4.626 * * [simplify]: Extracting # 6 : cost  0
4.636 * * [simplify]: iteration done:  5000  enodes  (cost  1481 )
4.638 * [simplify]: Simplified to:
  (expm1 (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (log1p (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (* (pow 33096.0 6.0) 333.75)
  (log (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (exp (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (* (cbrt (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))) (cbrt (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))))
  (cbrt (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (pow (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) 3)
  (sqrt (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (sqrt (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (expm1 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (log1p (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0))
  (log (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (exp (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (expm1 (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (log1p (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (* (pow 33096.0 8.0) 5.5)
  (log (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (exp (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (* (cbrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (cbrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (cbrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (pow (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))) 3)
  (sqrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (sqrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (* (pow (cbrt 33096.0) 6.0) (pow (* (cbrt 33096.0) (cbrt 33096.0)) 6.0))))
  (* (pow (* (cbrt 33096.0) (cbrt 33096.0)) 6.0) (+ (- (pow (cbrt 33096.0) 6.0)) (pow (cbrt 33096.0) 6.0)))
  (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow (sqrt 33096.0) (* 2 6.0)))
  (+ (- (pow (sqrt 33096.0) (* 2 6.0))) (pow (sqrt 33096.0) (* 2 6.0)))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (pow 33096.0 6.0)))
  (+ (pow 33096.0 6.0) (- (pow 33096.0 6.0)))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (pow 33096.0 6.0)))
  (+ (pow 33096.0 6.0) (- (pow 33096.0 6.0)))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (pow 33096.0 6.0)))
  (+ (pow 33096.0 6.0) (- (pow 33096.0 6.0)))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (pow 33096.0 6.0)))
  (+ (pow 33096.0 6.0) (- (pow 33096.0 6.0)))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (pow 33096.0 6.0)))
  (+ (pow 33096.0 6.0) (- (pow 33096.0 6.0)))
  (expm1 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (log1p (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow 33096.0 6.0))
  (exp (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (log (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (exp (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (pow (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (pow 33096.0 6.0))) 3)
  (sqrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) 3) (pow (pow 33096.0 6.0) 3))
  (+ (* (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (pow 33096.0 6.0))) (pow 33096.0 (* 2 6.0)))
  (- (pow 33096.0 6.0))
  (- (* (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0))) (pow 33096.0 (* 2 6.0)))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (pow 33096.0 6.0))
  (- (pow 33096.0 6.0))
  (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
4.639 * * * [progress]: adding candidates to table
4.932 * * [progress]: iteration 2 / 4
4.932 * * * [progress]: picking best candidate
4.939 * * * * [pick]: Picked  #<alt (λ () (+ (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))>
4.939 * * * [progress]: localizing error
4.998 * * * [progress]: generating rewritten candidates
4.998 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
5.017 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
5.017 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 3)
5.018 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
5.111 * * * [progress]: generating series expansions
5.111 * * * * [progress]: [ 1 / 4 ] generating series at (2)
5.111 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
5.111 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 3)
5.111 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
5.111 * * * [progress]: simplifying candidates
5.113 * [simplify]: Simplifying:
  (expm1 (+ (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (log1p (+ (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (* (exp (* (pow 33096.0 6.0) 333.75)) (exp (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (log (+ (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (exp (+ (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (* (cbrt (+ (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))) (cbrt (+ (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))))
  (cbrt (+ (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (* (* (+ (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (+ (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))) (+ (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (sqrt (+ (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (sqrt (+ (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3))
  (+ (* (* (pow 33096.0 6.0) 333.75) (* (pow 33096.0 6.0) 333.75)) (- (* (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (* (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))))
  (- (* (* (pow 33096.0 6.0) 333.75) (* (pow 33096.0 6.0) 333.75)) (* (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (- (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (+ (* (pow 33096.0 6.0) 333.75) (* (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0)))
  (expm1 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (log1p (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0))
  (log (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (exp (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (* (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (expm1 (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (log1p (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (* (pow 33096.0 8.0) 5.5)
  (log (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (exp (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (* (cbrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (cbrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (cbrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (* (* (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (sqrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (sqrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (* (pow (cbrt 33096.0) 6.0) (pow (* (cbrt 33096.0) (cbrt 33096.0)) 6.0))))
  (fma (- (pow (cbrt 33096.0) 6.0)) (pow (* (cbrt 33096.0) (cbrt 33096.0)) 6.0) (* (pow (cbrt 33096.0) 6.0) (pow (* (cbrt 33096.0) (cbrt 33096.0)) 6.0)))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (* (pow (sqrt 33096.0) 6.0) (pow (sqrt 33096.0) 6.0))))
  (fma (- (pow (sqrt 33096.0) 6.0)) (pow (sqrt 33096.0) 6.0) (* (pow (sqrt 33096.0) 6.0) (pow (sqrt 33096.0) 6.0)))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (* (pow 33096.0 6.0) (pow 1 6.0))))
  (fma (- (pow 33096.0 6.0)) (pow 1 6.0) (* (pow 33096.0 6.0) (pow 1 6.0)))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (* (cbrt (pow 33096.0 6.0)) (* (cbrt (pow 33096.0 6.0)) (cbrt (pow 33096.0 6.0))))))
  (fma (- (cbrt (pow 33096.0 6.0))) (* (cbrt (pow 33096.0 6.0)) (cbrt (pow 33096.0 6.0))) (* (cbrt (pow 33096.0 6.0)) (* (cbrt (pow 33096.0 6.0)) (cbrt (pow 33096.0 6.0)))))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (* (sqrt (pow 33096.0 6.0)) (sqrt (pow 33096.0 6.0)))))
  (fma (- (sqrt (pow 33096.0 6.0))) (sqrt (pow 33096.0 6.0)) (* (sqrt (pow 33096.0 6.0)) (sqrt (pow 33096.0 6.0))))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (* (pow 33096.0 6.0) 1)))
  (fma (- (pow 33096.0 6.0)) 1 (* (pow 33096.0 6.0) 1))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (* (pow 33096.0 (/ 6.0 2)) (pow 33096.0 (/ 6.0 2)))))
  (fma (- (pow 33096.0 (/ 6.0 2))) (pow 33096.0 (/ 6.0 2)) (* (pow 33096.0 (/ 6.0 2)) (pow 33096.0 (/ 6.0 2))))
  (expm1 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (log1p (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow 33096.0 6.0))
  (/ (exp (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0))) (exp (pow 33096.0 6.0)))
  (log (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (exp (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (* (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) 3) (pow (pow 33096.0 6.0) 3))
  (+ (* (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0))) (+ (* (pow 33096.0 6.0) (pow 33096.0 6.0)) (* (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (- (pow 33096.0 6.0))
  (- (* (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0))) (* (pow 33096.0 6.0) (pow 33096.0 6.0)))
  (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))
  (- (pow 33096.0 6.0))
  (* (pow 33096.0 6.0) 333.75)
  (* (pow 33096.0 6.0) 333.75)
  (* (pow 33096.0 6.0) 333.75)
  (* (pow 33096.0 6.0) 333.75)
5.118 * * [simplify]: Extracting # 0 : cost  0
5.118 * * [simplify]: Extracting # 1 : cost  0
5.118 * * [simplify]: Extracting # 2 : cost  0
5.118 * * [simplify]: Extracting # 3 : cost  0
5.119 * * [simplify]: Extracting # 4 : cost  0
5.119 * * [simplify]: Extracting # 5 : cost  0
5.119 * * [simplify]: Extracting # 6 : cost  0
5.120 * * [simplify]: Extracting # 7 : cost  0
5.120 * * [simplify]: Extracting # 8 : cost  0
5.120 * * [simplify]: Extracting # 9 : cost  0
5.120 * * [simplify]: iteration  0 :  139  enodes  (cost  2023 )
5.469 * * [simplify]: Extracting # 0 : cost  0
5.472 * * [simplify]: Extracting # 1 : cost  0
5.473 * * [simplify]: Extracting # 2 : cost  0
5.475 * * [simplify]: Extracting # 3 : cost  0
5.476 * * [simplify]: Extracting # 4 : cost  0
5.477 * * [simplify]: Extracting # 5 : cost  0
5.479 * * [simplify]: iteration  1 :  1188  enodes  (cost  1791 )
7.591 * * [simplify]: Extracting # 0 : cost  0
7.602 * * [simplify]: Extracting # 1 : cost  0
7.616 * * [simplify]: Extracting # 2 : cost  0
7.628 * * [simplify]: Extracting # 3 : cost  0
7.638 * * [simplify]: Extracting # 4 : cost  0
7.649 * * [simplify]: Extracting # 5 : cost  0
7.661 * * [simplify]: iteration done:  5000  enodes  (cost  1656 )
7.662 * [simplify]: Simplified to:
  (expm1 (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (log1p (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (exp (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (log (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (exp (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (* (cbrt (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))) (cbrt (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))))
  (cbrt (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (pow (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) 3)
  (sqrt (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (sqrt (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3))
  (fma (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (- (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (* (pow 33096.0 6.0) 333.75)) (* (pow 33096.0 (* 2 6.0)) (* 333.75 333.75)))
  (- (* (pow 33096.0 (* 2 6.0)) (* 333.75 333.75)) (* (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (- (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (fma (pow 33096.0 6.0) 333.75 (* (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0)))
  (expm1 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (log1p (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0))
  (log (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (exp (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (expm1 (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (log1p (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (* (pow 33096.0 8.0) 5.5)
  (log (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (exp (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (* (cbrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (cbrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (cbrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (pow (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))) 3)
  (sqrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (sqrt (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (- (* (pow (cbrt 33096.0) 6.0) (pow (* (cbrt 33096.0) (cbrt 33096.0)) 6.0))))
  (* (pow (* (cbrt 33096.0) (cbrt 33096.0)) 6.0) (+ (- (pow (cbrt 33096.0) 6.0)) (pow (cbrt 33096.0) 6.0)))
  (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow (sqrt 33096.0) (* 2 6.0)))
  (+ (pow (sqrt 33096.0) (* 2 6.0)) (- (pow (sqrt 33096.0) (* 2 6.0))))
  (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))
  (+ (pow 33096.0 6.0) (- (pow 33096.0 6.0)))
  (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))
  (+ (pow 33096.0 6.0) (- (pow 33096.0 6.0)))
  (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))
  (+ (pow 33096.0 6.0) (- (pow 33096.0 6.0)))
  (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))
  (+ (pow 33096.0 6.0) (- (pow 33096.0 6.0)))
  (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))
  (+ (pow 33096.0 6.0) (- (pow 33096.0 6.0)))
  (expm1 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (log1p (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow 33096.0 6.0))
  (exp (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (log (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (exp (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (pow (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) 3)
  (sqrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) 3) (pow (pow 33096.0 6.0) 3))
  (+ (* (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (pow 33096.0 6.0))) (pow 33096.0 (* 2 6.0)))
  (- (pow 33096.0 6.0))
  (fma (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 (* 2 6.0))))
  (fma (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0) (pow 33096.0 6.0))
  (- (pow 33096.0 6.0))
  (* (pow 33096.0 6.0) 333.75)
  (* (pow 33096.0 6.0) 333.75)
  (* (pow 33096.0 6.0) 333.75)
  (* (pow 33096.0 6.0) 333.75)
7.663 * * * [progress]: adding candidates to table
8.100 * * [progress]: iteration 3 / 4
8.100 * * * [progress]: picking best candidate
8.115 * * * * [pick]: Picked  #<alt (λ () (/ (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)) (fma (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (- (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (* (pow 33096.0 6.0) 333.75)) (* (pow 33096.0 (* 2 6.0)) (* 333.75 333.75)))))>
8.116 * * * [progress]: localizing error
8.201 * * * [progress]: generating rewritten candidates
8.201 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
8.236 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
8.236 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
8.237 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
8.239 * * * [progress]: generating series expansions
8.239 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
8.239 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
8.239 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
8.239 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
8.239 * * * [progress]: simplifying candidates
8.242 * [simplify]: Simplifying:
  (expm1 (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (log1p (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (* (exp (pow (* (pow 33096.0 6.0) 333.75) 3)) (exp (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (log (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (exp (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (* (cbrt (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3))) (cbrt (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3))))
  (cbrt (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (* (* (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)) (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3))) (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (sqrt (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (sqrt (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (+ (* (* (pow 33096.0 6.0) 333.75) (* (pow 33096.0 6.0) 333.75)) (- (* (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (* (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))))
  (+ (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (+ (pow (pow (* (pow 33096.0 6.0) 333.75) 3) 3) (pow (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3) 3))
  (+ (* (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (* (pow 33096.0 6.0) 333.75) 3)) (- (* (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)) (* (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3))))
  (- (* (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (* (pow 33096.0 6.0) 333.75) 3)) (* (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (- (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3))
  (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3))
  (expm1 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (log1p (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0))
  (log (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (exp (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (* (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (expm1 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (log1p (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0))
  (log (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (exp (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (* (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (expm1 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (log1p (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0))
  (log (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (exp (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (* (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (/ (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)) (fma (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (- (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (* (pow 33096.0 6.0) 333.75)) (* (pow 33096.0 (* 2 6.0)) (* 333.75 333.75))))
  (/ (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)) (fma (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (- (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (* (pow 33096.0 6.0) 333.75)) (* (pow 33096.0 (* 2 6.0)) (* 333.75 333.75))))
  (/ (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)) (fma (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (- (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (* (pow 33096.0 6.0) 333.75)) (* (pow 33096.0 (* 2 6.0)) (* 333.75 333.75))))
  (/ (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)) (fma (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (- (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (* (pow 33096.0 6.0) 333.75)) (* (pow 33096.0 (* 2 6.0)) (* 333.75 333.75))))
8.248 * * [simplify]: Extracting # 0 : cost  0
8.248 * * [simplify]: Extracting # 1 : cost  0
8.248 * * [simplify]: Extracting # 2 : cost  0
8.248 * * [simplify]: Extracting # 3 : cost  0
8.249 * * [simplify]: Extracting # 4 : cost  0
8.249 * * [simplify]: Extracting # 5 : cost  0
8.249 * * [simplify]: Extracting # 6 : cost  0
8.249 * * [simplify]: Extracting # 7 : cost  0
8.249 * * [simplify]: Extracting # 8 : cost  0
8.250 * * [simplify]: Extracting # 9 : cost  0
8.250 * * [simplify]: Extracting # 10 : cost  0
8.250 * * [simplify]: Extracting # 11 : cost  0
8.250 * * [simplify]: iteration  0 :  75  enodes  (cost  2955 )
8.715 * * [simplify]: Extracting # 0 : cost  0
8.718 * * [simplify]: Extracting # 1 : cost  0
8.720 * * [simplify]: Extracting # 2 : cost  0
8.722 * * [simplify]: Extracting # 3 : cost  0
8.724 * * [simplify]: Extracting # 4 : cost  0
8.725 * * [simplify]: Extracting # 5 : cost  0
8.727 * * [simplify]: iteration  1 :  709  enodes  (cost  2629 )
10.015 * * [simplify]: Extracting # 0 : cost  0
10.027 * * [simplify]: Extracting # 1 : cost  0
10.040 * * [simplify]: Extracting # 2 : cost  0
10.053 * * [simplify]: Extracting # 3 : cost  0
10.066 * * [simplify]: Extracting # 4 : cost  0
10.078 * * [simplify]: Extracting # 5 : cost  0
10.090 * * [simplify]: Extracting # 6 : cost  0
10.102 * * [simplify]: iteration done:  5000  enodes  (cost  2538 )
10.104 * [simplify]: Simplified to:
  (expm1 (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (log1p (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (exp (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (log (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (exp (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (* (cbrt (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3))) (cbrt (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3))))
  (cbrt (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (pow (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)) 3)
  (sqrt (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (sqrt (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (fma (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (- (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (* (pow 33096.0 6.0) 333.75)) (* (pow 33096.0 (* 2 6.0)) (* 333.75 333.75)))
  (fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (+ (pow (pow (* (pow 33096.0 6.0) 333.75) 3) 3) (pow (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3) 3))
  (fma (- (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3) (pow (* (pow 33096.0 6.0) 333.75) 3)) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3) (pow (* (pow 33096.0 6.0) 333.75) (* 2 3)))
  (- (pow (* (pow 33096.0 6.0) 333.75) (* 2 3)) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (* 2 3)))
  (- (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3))
  (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3))
  (expm1 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (log1p (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0))
  (log (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (exp (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (expm1 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (log1p (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0))
  (log (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (exp (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (expm1 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (log1p (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0))
  (log (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (exp (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (/ (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)) (fma (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (- (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (* (pow 33096.0 6.0) 333.75)) (* (pow 33096.0 (* 2 6.0)) (* 333.75 333.75))))
  (/ (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)) (fma (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (- (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (* (pow 33096.0 6.0) 333.75)) (* (pow 33096.0 (* 2 6.0)) (* 333.75 333.75))))
  (/ (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)) (fma (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (- (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (* (pow 33096.0 6.0) 333.75)) (* (pow 33096.0 (* 2 6.0)) (* 333.75 333.75))))
  (/ (+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)) (fma (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (- (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (* (pow 33096.0 6.0) 333.75)) (* (pow 33096.0 (* 2 6.0)) (* 333.75 333.75))))
10.105 * * * [progress]: adding candidates to table
10.729 * * [progress]: iteration 4 / 4
10.729 * * * [progress]: picking best candidate
10.745 * * * * [pick]: Picked  #<alt (λ () (/ (fma (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)) (fma (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (- (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (* (pow 33096.0 6.0) 333.75)) (* (pow 33096.0 (* 2 6.0)) (* 333.75 333.75)))))>
10.745 * * * [progress]: localizing error
10.825 * * * [progress]: generating rewritten candidates
10.825 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
10.825 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
10.826 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
10.826 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 3 1)
10.827 * * * [progress]: generating series expansions
10.827 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
10.827 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
10.827 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
10.827 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 3 1)
10.827 * * * [progress]: simplifying candidates
10.828 * [simplify]: Simplifying:
  (expm1 (fma (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (log1p (fma (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (* (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)))
  (log (fma (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (exp (fma (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (* (cbrt (fma (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3))) (cbrt (fma (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3))))
  (cbrt (fma (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (* (* (fma (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)) (fma (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3))) (fma (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (sqrt (fma (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (sqrt (fma (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)))
  (expm1 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (log1p (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0))
  (log (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (exp (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (* (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (expm1 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (log1p (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0))
  (log (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (exp (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (* (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (expm1 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (log1p (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0))
  (log (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (exp (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (cbrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (* (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
10.830 * * [simplify]: Extracting # 0 : cost  0
10.830 * * [simplify]: Extracting # 1 : cost  0
10.830 * * [simplify]: Extracting # 2 : cost  0
10.830 * * [simplify]: Extracting # 3 : cost  0
10.831 * * [simplify]: Extracting # 4 : cost  0
10.831 * * [simplify]: Extracting # 5 : cost  0
10.831 * * [simplify]: Extracting # 6 : cost  0
10.831 * * [simplify]: Extracting # 7 : cost  0
10.831 * * [simplify]: Extracting # 8 : cost  0
10.831 * * [simplify]: Extracting # 9 : cost  0
10.831 * * [simplify]: Extracting # 10 : cost  0
10.831 * * [simplify]: Extracting # 11 : cost  0
10.831 * * [simplify]: Extracting # 12 : cost  0
10.831 * * [simplify]: iteration  0 :  52  enodes  (cost  2023 )
10.852 * * [simplify]: Extracting # 0 : cost  0
10.853 * * [simplify]: Extracting # 1 : cost  0
10.853 * * [simplify]: Extracting # 2 : cost  0
10.853 * * [simplify]: Extracting # 3 : cost  0
10.854 * * [simplify]: Extracting # 4 : cost  0
10.854 * * [simplify]: Extracting # 5 : cost  0
10.855 * * [simplify]: iteration  1 :  190  enodes  (cost  1701 )
11.740 * * [simplify]: Extracting # 0 : cost  0
11.746 * * [simplify]: Extracting # 1 : cost  0
11.752 * * [simplify]: Extracting # 2 : cost  0
11.757 * * [simplify]: Extracting # 3 : cost  0
11.763 * * [simplify]: Extracting # 4 : cost  0
11.769 * * [simplify]: Extracting # 5 : cost  0
11.775 * * [simplify]: iteration  2 :  2984  enodes  (cost  1585 )
13.796 * * [simplify]: Extracting # 0 : cost  0
13.807 * * [simplify]: Extracting # 1 : cost  0
13.817 * * [simplify]: Extracting # 2 : cost  0
13.830 * * [simplify]: Extracting # 3 : cost  0
13.840 * * [simplify]: Extracting # 4 : cost  0
13.851 * * [simplify]: iteration done:  5000  enodes  (cost  1542 )
13.852 * [simplify]: Simplified to:
  (expm1 (+ (pow (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3) (pow (* (pow 33096.0 6.0) 333.75) 3)))
  (log1p (+ (pow (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3) (pow (* (pow 33096.0 6.0) 333.75) 3)))
  (pow (* (pow 33096.0 6.0) 333.75) 3)
  (log (+ (pow (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3) (pow (* (pow 33096.0 6.0) 333.75) 3)))
  (exp (+ (pow (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3) (pow (* (pow 33096.0 6.0) 333.75) 3)))
  (* (cbrt (+ (pow (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3) (pow (* (pow 33096.0 6.0) 333.75) 3))) (cbrt (+ (pow (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3) (pow (* (pow 33096.0 6.0) 333.75) 3))))
  (cbrt (+ (pow (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3) (pow (* (pow 33096.0 6.0) 333.75) 3)))
  (pow (+ (pow (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3) (pow (* (pow 33096.0 6.0) 333.75) 3)) 3)
  (hypot (pow (* (pow 33096.0 6.0) 333.75) 3/2) (pow (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3/2))
  (hypot (pow (* (pow 33096.0 6.0) 333.75) 3/2) (pow (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3/2))
  (expm1 (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (log1p (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.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 (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (exp (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (cbrt (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (cbrt (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (cbrt (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (pow (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)
  (sqrt (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (expm1 (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (log1p (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.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 (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (exp (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (cbrt (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (cbrt (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (cbrt (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (pow (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)
  (sqrt (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (expm1 (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (log1p (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.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 (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (exp (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (* (cbrt (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))) (cbrt (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))
  (cbrt (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (pow (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)
  (sqrt (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (sqrt (fma (- (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)) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
13.853 * * * [progress]: adding candidates to table
14.435 * [progress]: [Phase 3 of 3] Extracting.
14.443 * [simplify]: Simplifying:
  (/ (fma (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)) (fma (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (- (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (* (pow 33096.0 6.0) 333.75)) (* (pow 33096.0 (* 2 6.0)) (* 333.75 333.75))))
14.443 * * [simplify]: Extracting # 0 : cost  0
14.443 * * [simplify]: Extracting # 1 : cost  0
14.443 * * [simplify]: Extracting # 2 : cost  0
14.443 * * [simplify]: Extracting # 3 : cost  0
14.443 * * [simplify]: Extracting # 4 : cost  0
14.443 * * [simplify]: Extracting # 5 : cost  0
14.443 * * [simplify]: Extracting # 6 : cost  0
14.443 * * [simplify]: Extracting # 7 : cost  0
14.443 * * [simplify]: Extracting # 8 : cost  0
14.443 * * [simplify]: Extracting # 9 : cost  0
14.443 * * [simplify]: Extracting # 10 : cost  0
14.444 * * [simplify]: Extracting # 11 : cost  0
14.444 * * [simplify]: Extracting # 12 : cost  0
14.444 * * [simplify]: iteration  0 :  39  enodes  (cost  140 )
14.448 * * [simplify]: Extracting # 0 : cost  0
14.448 * * [simplify]: Extracting # 1 : cost  0
14.448 * * [simplify]: Extracting # 2 : cost  0
14.448 * * [simplify]: iteration  1 :  47  enodes  (cost  136 )
14.453 * * [simplify]: Extracting # 0 : cost  0
14.453 * * [simplify]: iteration done:  47  enodes  (cost  136 )
14.454 * [simplify]: Simplified to:
  (/ (fma (pow (* (pow 33096.0 6.0) 333.75) 3/2) (pow (* (pow 33096.0 6.0) 333.75) 3/2) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3)) (fma (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (- (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) (* (pow 33096.0 6.0) 333.75)) (* (pow 33096.0 (* 2 6.0)) (* 333.75 333.75))))
18.558 * [regime-testing]: End program error score: 58.127034293309954