7.166 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.115 * * * [progress]: [2/2] Setting up program.
0.132 * [progress]: [Phase 2 of 3] Improving.
0.133 * [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.133 * * [simplify]: Extracting # 0 : cost  1  inf +  0
0.133 * * [simplify]: Extracting # 1 : cost  3  inf +  0
0.133 * * [simplify]: Extracting # 2 : cost  7  inf +  0
0.134 * * [simplify]: Extracting # 3 : cost  12  inf +  1
0.134 * * [simplify]: Extracting # 4 : cost  13  inf +  46
0.134 * * [simplify]: Extracting # 5 : cost  11  inf +  384
0.134 * * [simplify]: Extracting # 6 : cost  9  inf +  851
0.134 * * [simplify]: Extracting # 7 : cost  12  inf +  1104
0.134 * * [simplify]: Extracting # 8 : cost  13  inf +  1357
0.135 * * [simplify]: Extracting # 9 : cost  10  inf +  1864
0.135 * * [simplify]: Extracting # 10 : cost  8  inf +  1947
0.135 * * [simplify]: Extracting # 11 : cost  6  inf +  2564
0.136 * * [simplify]: Extracting # 12 : cost  5  inf +  3310
0.136 * * [simplify]: Extracting # 13 : cost  3  inf +  4924
0.137 * * [simplify]: Extracting # 14 : cost  2  inf +  5832
0.138 * * [simplify]: Extracting # 15 : cost  0  inf +  8353
0.140 * * [simplify]: iteration  0 :  31  enodes  (cost  1321 )
0.154 * * [simplify]: Extracting # 0 : cost  0  inf +  8353
0.156 * * [simplify]: Extracting # 1 : cost  16  inf +  8288
0.159 * * [simplify]: Extracting # 2 : cost  6  inf +  13222
0.162 * * [simplify]: Extracting # 3 : cost  7  inf +  13087
0.165 * * [simplify]: Extracting # 4 : cost  3  inf +  13400
0.168 * * [simplify]: Extracting # 5 : cost  0  inf +  13948
0.171 * * [simplify]: iteration  1 :  81  enodes  (cost  1256 )
0.206 * * [simplify]: Extracting # 0 : cost  0  inf +  13948
0.211 * * [simplify]: Extracting # 1 : cost  60  inf +  12795
0.218 * * [simplify]: Extracting # 2 : cost  6  inf +  35097
0.228 * * [simplify]: Extracting # 3 : cost  2  inf +  35116
0.238 * * [simplify]: Extracting # 4 : cost  0  inf +  35622
0.249 * * [simplify]: iteration  2 :  262  enodes  (cost  1206 )
0.399 * * [simplify]: Extracting # 0 : cost  0  inf +  35622
0.420 * * [simplify]: Extracting # 1 : cost  149  inf +  26876
0.446 * * [simplify]: Extracting # 2 : cost  12  inf +  94172
0.470 * * [simplify]: Extracting # 3 : cost  5  inf +  94785
0.508 * * [simplify]: Extracting # 4 : cost  0  inf +  96015
0.529 * * [simplify]: Extracting # 5 : cost  0  inf +  95856
0.549 * * [simplify]: iteration  3 :  1003  enodes  (cost  1156 )
1.888 * * [simplify]: Extracting # 0 : cost  0  inf +  95856
1.952 * * [simplify]: Extracting # 1 : cost  601  inf +  64267
2.068 * * [simplify]: Extracting # 2 : cost  12  inf +  443938
2.187 * * [simplify]: Extracting # 3 : cost  4  inf +  442406
2.290 * * [simplify]: Extracting # 4 : cost  0  inf +  442545
2.406 * * [simplify]: iteration  4 :  4284  enodes  (cost  1156 )
3.522 * * [simplify]: Extracting # 0 : cost  0  inf +  442545
3.689 * * [simplify]: Extracting # 1 : cost  0  inf +  439666
3.806 * * [simplify]: Extracting # 2 : cost  0  inf +  439641
3.924 * * [simplify]: iteration done:  5000  enodes  (cost  1156 )
3.924 * [simplify]: Simplified to:
  (fma (* 77617.0 77617.0) (- (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) -2.0)) (pow 33096.0 6.0)) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
3.931 * * [progress]: iteration 1 / 4
3.931 * * * [progress]: picking best candidate
3.937 * * * * [pick]: Picked  #<alt (λ () (+ (+ (+ (* 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))))>
3.937 * * * [progress]: localizing error
3.978 * * * [progress]: generating rewritten candidates
3.978 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
5.618 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
5.635 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
5.653 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 1 1)
5.733 * * * [progress]: generating series expansions
5.733 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
5.733 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
5.733 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
5.733 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 1 1)
5.733 * * * [progress]: simplifying candidates
5.736 * [simplify]: Simplifying:
  (expm1 (+ (+ (* 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))))
  (log1p (+ (+ (* 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))))
  (* (* (exp (* 333.75 (pow 33096.0 6.0))) (exp (* (* 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)))) (exp (* 5.5 (pow 33096.0 8.0))))
  (* (exp (+ (* 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)))) (exp (* 5.5 (pow 33096.0 8.0))))
  (log (+ (+ (* 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))))
  (exp (+ (+ (* 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))))
  (* (cbrt (+ (+ (* 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)))) (cbrt (+ (+ (* 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)))))
  (cbrt (+ (+ (* 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))))
  (* (* (+ (+ (* 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))) (+ (+ (* 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)))) (+ (+ (* 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))))
  (sqrt (+ (+ (* 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))))
  (sqrt (+ (+ (* 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))))
  (+ (pow (+ (* 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))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (+ (* (+ (* 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))) (+ (* 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)) (* 5.5 (pow 33096.0 8.0))) (* (+ (* 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)))))
  (- (* (+ (* 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))) (+ (* 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)) (* 5.5 (pow 33096.0 8.0))))
  (- (+ (* 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 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)))
  (expm1 (* 5.5 (pow 33096.0 8.0)))
  (log1p (* 5.5 (pow 33096.0 8.0)))
  (+ (log 5.5) (* (log 33096.0) 8.0))
  (+ (log 5.5) (* (log 33096.0) 8.0))
  (+ (log 5.5) (log (pow 33096.0 8.0)))
  (log (* 5.5 (pow 33096.0 8.0)))
  (exp (* 5.5 (pow 33096.0 8.0)))
  (* (* (* 5.5 5.5) 5.5) (* (* (pow 33096.0 8.0) (pow 33096.0 8.0)) (pow 33096.0 8.0)))
  (* (cbrt (* 5.5 (pow 33096.0 8.0))) (cbrt (* 5.5 (pow 33096.0 8.0))))
  (cbrt (* 5.5 (pow 33096.0 8.0)))
  (* (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* 5.5 (pow 33096.0 8.0)))
  (sqrt (* 5.5 (pow 33096.0 8.0)))
  (sqrt (* 5.5 (pow 33096.0 8.0)))
  (* (sqrt 5.5) (pow (sqrt 33096.0) 8.0))
  (* (sqrt 5.5) (pow (sqrt 33096.0) 8.0))
  (* (sqrt 5.5) (sqrt (pow 33096.0 8.0)))
  (* (sqrt 5.5) (sqrt (pow 33096.0 8.0)))
  (* (sqrt 5.5) (pow 33096.0 (/ 8.0 2)))
  (* (sqrt 5.5) (pow 33096.0 (/ 8.0 2)))
  (* 5.5 (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0))
  (* 5.5 (pow (sqrt 33096.0) 8.0))
  (* 5.5 (pow 1 8.0))
  (* 5.5 (* (cbrt (pow 33096.0 8.0)) (cbrt (pow 33096.0 8.0))))
  (* 5.5 (sqrt (pow 33096.0 8.0)))
  (* 5.5 1)
  (* 5.5 (pow 33096.0 (/ 8.0 2)))
  (* (cbrt 5.5) (pow 33096.0 8.0))
  (* (sqrt 5.5) (pow 33096.0 8.0))
  (* 5.5 (pow 33096.0 8.0))
  (expm1 (* 333.75 (pow 33096.0 6.0)))
  (log1p (* 333.75 (pow 33096.0 6.0)))
  (+ (log 333.75) (* (log 33096.0) 6.0))
  (+ (log 333.75) (* (log 33096.0) 6.0))
  (+ (log 333.75) (log (pow 33096.0 6.0)))
  (log (* 333.75 (pow 33096.0 6.0)))
  (exp (* 333.75 (pow 33096.0 6.0)))
  (* (* (* 333.75 333.75) 333.75) (* (* (pow 33096.0 6.0) (pow 33096.0 6.0)) (pow 33096.0 6.0)))
  (* (cbrt (* 333.75 (pow 33096.0 6.0))) (cbrt (* 333.75 (pow 33096.0 6.0))))
  (cbrt (* 333.75 (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)))
  (sqrt (* 333.75 (pow 33096.0 6.0)))
  (sqrt (* 333.75 (pow 33096.0 6.0)))
  (* (sqrt 333.75) (pow (sqrt 33096.0) 6.0))
  (* (sqrt 333.75) (pow (sqrt 33096.0) 6.0))
  (* (sqrt 333.75) (sqrt (pow 33096.0 6.0)))
  (* (sqrt 333.75) (sqrt (pow 33096.0 6.0)))
  (* (sqrt 333.75) (pow 33096.0 (/ 6.0 2)))
  (* (sqrt 333.75) (pow 33096.0 (/ 6.0 2)))
  (* 333.75 (pow (* (cbrt 33096.0) (cbrt 33096.0)) 6.0))
  (* 333.75 (pow (sqrt 33096.0) 6.0))
  (* 333.75 (pow 1 6.0))
  (* 333.75 (* (cbrt (pow 33096.0 6.0)) (cbrt (pow 33096.0 6.0))))
  (* 333.75 (sqrt (pow 33096.0 6.0)))
  (* 333.75 1)
  (* 333.75 (pow 33096.0 (/ 6.0 2)))
  (* (cbrt 333.75) (pow 33096.0 6.0))
  (* (sqrt 333.75) (pow 33096.0 6.0))
  (* 333.75 (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))))
  (* (exp (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0))) (/ 1 (exp (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)))))
  (- (* (* (* 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)))
  (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) 0)
  (+ (+ (+ (* 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)))
  (+ (+ (+ (* 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)))
  (+ (+ (+ (* 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)))
  (+ (+ (+ (* 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)))
5.739 * * [simplify]: Extracting # 0 : cost  79  inf +  0
5.739 * * [simplify]: Extracting # 1 : cost  136  inf +  0
5.740 * * [simplify]: Extracting # 2 : cost  154  inf +  197
5.740 * * [simplify]: Extracting # 3 : cost  131  inf +  4045
5.741 * * [simplify]: Extracting # 4 : cost  85  inf +  15084
5.743 * * [simplify]: Extracting # 5 : cost  43  inf +  31201
5.745 * * [simplify]: Extracting # 6 : cost  32  inf +  36442
5.746 * * [simplify]: Extracting # 7 : cost  29  inf +  36908
5.749 * * [simplify]: Extracting # 8 : cost  25  inf +  40387
5.751 * * [simplify]: Extracting # 9 : cost  22  inf +  43392
5.755 * * [simplify]: Extracting # 10 : cost  6  inf +  62906
5.760 * * [simplify]: Extracting # 11 : cost  1  inf +  69597
5.765 * * [simplify]: Extracting # 12 : cost  0  inf +  70957
5.771 * * [simplify]: iteration  0 :  171  enodes  (cost  52668 )
5.853 * * [simplify]: Extracting # 0 : cost  0  inf +  70957
5.868 * * [simplify]: Extracting # 1 : cost  95  inf +  60509
5.889 * * [simplify]: Extracting # 2 : cost  12  inf +  101785
5.908 * * [simplify]: Extracting # 3 : cost  3  inf +  103025
5.921 * * [simplify]: Extracting # 4 : cost  0  inf +  103770
5.932 * * [simplify]: iteration  1 :  446  enodes  (cost  48718 )
6.154 * * [simplify]: Extracting # 0 : cost  0  inf +  103770
6.177 * * [simplify]: Extracting # 1 : cost  494  inf +  89283
6.255 * * [simplify]: Extracting # 2 : cost  23  inf +  313192
6.324 * * [simplify]: Extracting # 3 : cost  4  inf +  316161
6.411 * * [simplify]: Extracting # 4 : cost  0  inf +  315565
6.476 * * [simplify]: Extracting # 5 : cost  0  inf +  313320
6.530 * * [simplify]: Extracting # 6 : cost  0  inf +  312560
6.585 * * [simplify]: Extracting # 7 : cost  0  inf +  312520
6.669 * * [simplify]: iteration  2 :  1913  enodes  (cost  46768 )
7.460 * * [simplify]: Extracting # 0 : cost  0  inf +  312520
7.558 * * [simplify]: Extracting # 1 : cost  928  inf +  283694
7.724 * * [simplify]: Extracting # 2 : cost  147  inf +  678469
7.879 * * [simplify]: Extracting # 3 : cost  47  inf +  703075
8.027 * * [simplify]: Extracting # 4 : cost  0  inf +  727911
8.235 * * [simplify]: iteration done:  5001  enodes  (cost  46588 )
8.236 * [simplify]: Simplified to:
  (expm1 (fma 5.5 (pow 33096.0 8.0) (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0)))))
  (log1p (fma 5.5 (pow 33096.0 8.0) (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0)))))
  (exp (fma 5.5 (pow 33096.0 8.0) (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0)))))
  (exp (fma 5.5 (pow 33096.0 8.0) (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0)))))
  (log (fma 5.5 (pow 33096.0 8.0) (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0)))))
  (exp (fma 5.5 (pow 33096.0 8.0) (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0)))))
  (* (cbrt (fma 5.5 (pow 33096.0 8.0) (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0))))) (cbrt (fma 5.5 (pow 33096.0 8.0) (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0))))))
  (cbrt (fma 5.5 (pow 33096.0 8.0) (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0)))))
  (* (* (fma 5.5 (pow 33096.0 8.0) (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0)))) (fma 5.5 (pow 33096.0 8.0) (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0))))) (fma 5.5 (pow 33096.0 8.0) (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0)))))
  (sqrt (fma 5.5 (pow 33096.0 8.0) (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0)))))
  (sqrt (fma 5.5 (pow 33096.0 8.0) (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0)))))
  (fma (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0))) (* (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0))) (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0)))) (* (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* 5.5 (pow 33096.0 8.0))))
  (fma (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0))) (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0))) (* (- (* 5.5 (pow 33096.0 8.0)) (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0)))) (* 5.5 (pow 33096.0 8.0))))
  (- (* (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0))) (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0)))) (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))))
  (- (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 333.75 (pow 33096.0 6.0))) (* 5.5 (pow 33096.0 8.0)))
  (fma (+ (fma -121.0 (pow 33096.0 4.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (* 77617.0 77617.0) (* 5.5 (pow 33096.0 8.0)))
  (expm1 (* 5.5 (pow 33096.0 8.0)))
  (log1p (* 5.5 (pow 33096.0 8.0)))
  (fma (log 33096.0) 8.0 (log 5.5))
  (fma (log 33096.0) 8.0 (log 5.5))
  (fma (log 33096.0) 8.0 (log 5.5))
  (fma (log 33096.0) 8.0 (log 5.5))
  (exp (* 5.5 (pow 33096.0 8.0)))
  (* (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* 5.5 (pow 33096.0 8.0)))
  (* (cbrt (* 5.5 (pow 33096.0 8.0))) (cbrt (* 5.5 (pow 33096.0 8.0))))
  (cbrt (* 5.5 (pow 33096.0 8.0)))
  (* (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* 5.5 (pow 33096.0 8.0)))
  (sqrt (* 5.5 (pow 33096.0 8.0)))
  (sqrt (* 5.5 (pow 33096.0 8.0)))
  (* (sqrt 5.5) (pow (sqrt 33096.0) 8.0))
  (* (sqrt 5.5) (pow (sqrt 33096.0) 8.0))
  (* (sqrt 5.5) (sqrt (pow 33096.0 8.0)))
  (* (sqrt 5.5) (sqrt (pow 33096.0 8.0)))
  (* (sqrt 5.5) (pow 33096.0 (/ 8.0 2)))
  (* (sqrt 5.5) (pow 33096.0 (/ 8.0 2)))
  (* 5.5 (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0))
  (* 5.5 (pow (sqrt 33096.0) 8.0))
  5.5
  (* 5.5 (* (cbrt (pow 33096.0 8.0)) (cbrt (pow 33096.0 8.0))))
  (* 5.5 (sqrt (pow 33096.0 8.0)))
  5.5
  (* 5.5 (pow 33096.0 (/ 8.0 2)))
  (* (cbrt 5.5) (pow 33096.0 8.0))
  (* (sqrt 5.5) (pow 33096.0 8.0))
  (* 5.5 (pow 33096.0 8.0))
  (expm1 (* 333.75 (pow 33096.0 6.0)))
  (log1p (* 333.75 (pow 33096.0 6.0)))
  (fma 6.0 (log 33096.0) (log 333.75))
  (fma 6.0 (log 33096.0) (log 333.75))
  (fma 6.0 (log 33096.0) (log 333.75))
  (fma 6.0 (log 33096.0) (log 333.75))
  (exp (* 333.75 (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)))
  (* (cbrt (* 333.75 (pow 33096.0 6.0))) (cbrt (* 333.75 (pow 33096.0 6.0))))
  (cbrt (* 333.75 (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)))
  (sqrt (* 333.75 (pow 33096.0 6.0)))
  (sqrt (* 333.75 (pow 33096.0 6.0)))
  (* (sqrt 333.75) (pow (sqrt 33096.0) 6.0))
  (* (sqrt 333.75) (pow (sqrt 33096.0) 6.0))
  (* (sqrt 333.75) (sqrt (pow 33096.0 6.0)))
  (* (sqrt 333.75) (sqrt (pow 33096.0 6.0)))
  (* (sqrt 333.75) (pow 33096.0 (/ 6.0 2)))
  (* (sqrt 333.75) (pow 33096.0 (/ 6.0 2)))
  (* 333.75 (pow (* (cbrt 33096.0) (cbrt 33096.0)) 6.0))
  (* 333.75 (pow (sqrt 33096.0) 6.0))
  333.75
  (* 333.75 (* (cbrt (pow 33096.0 6.0)) (cbrt (pow 33096.0 6.0))))
  (* 333.75 (sqrt (pow 33096.0 6.0)))
  333.75
  (* 333.75 (pow 33096.0 (/ 6.0 2)))
  (* (cbrt 333.75) (pow 33096.0 6.0))
  (* (sqrt 333.75) (pow 33096.0 6.0))
  (* 333.75 (pow 33096.0 6.0))
  (expm1 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (pow 33096.0 6.0)))
  (log1p (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (pow 33096.0 6.0)))
  (exp (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (pow 33096.0 6.0)))
  (exp (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (pow 33096.0 6.0)))
  (log (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (pow 33096.0 6.0)))
  (exp (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (pow 33096.0 6.0)))
  (* (cbrt (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (pow 33096.0 6.0))) (cbrt (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (pow 33096.0 6.0))))
  (cbrt (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (pow 33096.0 6.0)))
  (* (* (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (pow 33096.0 6.0)) (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (pow 33096.0 6.0))) (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (pow 33096.0 6.0)))
  (sqrt (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (pow 33096.0 6.0)))
  (sqrt (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (pow 33096.0 6.0)))
  (- (* (* (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0)))) (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0)))) (* (pow 33096.0 6.0) (* (pow 33096.0 6.0) (pow 33096.0 6.0))))
  (fma (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (fma (pow 33096.0 6.0) (pow 33096.0 6.0) (* (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (pow 33096.0 6.0))))
  (* (+ (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (pow 33096.0 6.0)) (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (pow 33096.0 6.0)))
  (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (pow 33096.0 6.0))
  (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0)))
  (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))
  (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))
  (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))
  (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))
8.250 * * * [progress]: adding candidates to table
8.970 * * [progress]: iteration 2 / 4
8.970 * * * [progress]: picking best candidate
8.976 * * * * [pick]: Picked  #<alt (λ () (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))))>
8.976 * * * [progress]: localizing error
9.025 * * * [progress]: generating rewritten candidates
9.025 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
9.026 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 2)
9.052 * * * * [progress]: [ 3 / 3 ] rewriting at (2 3 3)
9.056 * * * [progress]: generating series expansions
9.056 * * * * [progress]: [ 1 / 3 ] generating series at (2)
9.056 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 2)
9.056 * * * * [progress]: [ 3 / 3 ] generating series at (2 3 3)
9.056 * * * [progress]: simplifying candidates
9.058 * [simplify]: Simplifying:
  (expm1 (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))))
  (log1p (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))))
  (* (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0)
  (log (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))))
  (exp (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))))
  (* (cbrt (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))) (cbrt (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))))
  (cbrt (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))))
  (* (* (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))) (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))) (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))))
  (sqrt (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))))
  (sqrt (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))))
  (fma (pow (* (cbrt 33096.0) (cbrt 33096.0)) 6.0) (pow (cbrt 33096.0) 6.0) (- (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))))))
  (fma (- (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)))))
  (fma (pow (* (cbrt 33096.0) (cbrt 33096.0)) 6.0) (pow (cbrt 33096.0) 6.0) (- (* (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)))))
  (fma (- (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0))))
  (fma (pow (* (cbrt 33096.0) (cbrt 33096.0)) 6.0) (pow (cbrt 33096.0) 6.0) (- (* (fma -121.0 (pow 33096.0 4.0) -2.0) 1)))
  (fma (- (fma -121.0 (pow 33096.0 4.0) -2.0)) 1 (* (fma -121.0 (pow 33096.0 4.0) -2.0) 1))
  (fma (pow (sqrt 33096.0) 6.0) (pow (sqrt 33096.0) 6.0) (- (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))))))
  (fma (- (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)))))
  (fma (pow (sqrt 33096.0) 6.0) (pow (sqrt 33096.0) 6.0) (- (* (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)))))
  (fma (- (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0))))
  (fma (pow (sqrt 33096.0) 6.0) (pow (sqrt 33096.0) 6.0) (- (* (fma -121.0 (pow 33096.0 4.0) -2.0) 1)))
  (fma (- (fma -121.0 (pow 33096.0 4.0) -2.0)) 1 (* (fma -121.0 (pow 33096.0 4.0) -2.0) 1))
  (fma (pow 1 6.0) (pow 33096.0 6.0) (- (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))))))
  (fma (- (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)))))
  (fma (pow 1 6.0) (pow 33096.0 6.0) (- (* (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)))))
  (fma (- (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0))))
  (fma (pow 1 6.0) (pow 33096.0 6.0) (- (* (fma -121.0 (pow 33096.0 4.0) -2.0) 1)))
  (fma (- (fma -121.0 (pow 33096.0 4.0) -2.0)) 1 (* (fma -121.0 (pow 33096.0 4.0) -2.0) 1))
  (fma (* (cbrt (pow 33096.0 6.0)) (cbrt (pow 33096.0 6.0))) (cbrt (pow 33096.0 6.0)) (- (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))))))
  (fma (- (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)))))
  (fma (* (cbrt (pow 33096.0 6.0)) (cbrt (pow 33096.0 6.0))) (cbrt (pow 33096.0 6.0)) (- (* (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)))))
  (fma (- (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0))))
  (fma (* (cbrt (pow 33096.0 6.0)) (cbrt (pow 33096.0 6.0))) (cbrt (pow 33096.0 6.0)) (- (* (fma -121.0 (pow 33096.0 4.0) -2.0) 1)))
  (fma (- (fma -121.0 (pow 33096.0 4.0) -2.0)) 1 (* (fma -121.0 (pow 33096.0 4.0) -2.0) 1))
  (fma (sqrt (pow 33096.0 6.0)) (sqrt (pow 33096.0 6.0)) (- (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))))))
  (fma (- (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)))))
  (fma (sqrt (pow 33096.0 6.0)) (sqrt (pow 33096.0 6.0)) (- (* (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)))))
  (fma (- (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0))))
  (fma (sqrt (pow 33096.0 6.0)) (sqrt (pow 33096.0 6.0)) (- (* (fma -121.0 (pow 33096.0 4.0) -2.0) 1)))
  (fma (- (fma -121.0 (pow 33096.0 4.0) -2.0)) 1 (* (fma -121.0 (pow 33096.0 4.0) -2.0) 1))
  (fma 1 (pow 33096.0 6.0) (- (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))))))
  (fma (- (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)))))
  (fma 1 (pow 33096.0 6.0) (- (* (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)))))
  (fma (- (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0))))
  (fma 1 (pow 33096.0 6.0) (- (* (fma -121.0 (pow 33096.0 4.0) -2.0) 1)))
  (fma (- (fma -121.0 (pow 33096.0 4.0) -2.0)) 1 (* (fma -121.0 (pow 33096.0 4.0) -2.0) 1))
  (fma (pow 33096.0 (/ 6.0 2)) (pow 33096.0 (/ 6.0 2)) (- (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))))))
  (fma (- (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (cbrt (fma -121.0 (pow 33096.0 4.0) -2.0)))))
  (fma (pow 33096.0 (/ 6.0 2)) (pow 33096.0 (/ 6.0 2)) (- (* (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)))))
  (fma (- (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0))) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0))))
  (fma (pow 33096.0 (/ 6.0 2)) (pow 33096.0 (/ 6.0 2)) (- (* (fma -121.0 (pow 33096.0 4.0) -2.0) 1)))
  (fma (- (fma -121.0 (pow 33096.0 4.0) -2.0)) 1 (* (fma -121.0 (pow 33096.0 4.0) -2.0) 1))
  (expm1 (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (log1p (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (- (fma -121.0 (pow 33096.0 4.0) -2.0))
  (- (fma -121.0 (pow 33096.0 4.0) -2.0))
  (- (fma -121.0 (pow 33096.0 4.0) -2.0))
  (- (fma -121.0 (pow 33096.0 4.0) -2.0))
  (- (fma -121.0 (pow 33096.0 4.0) -2.0))
  (- (fma -121.0 (pow 33096.0 4.0) -2.0))
  (- (fma -121.0 (pow 33096.0 4.0) -2.0))
  (/ (exp (pow 33096.0 6.0)) (exp (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (log (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (exp (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (* (cbrt (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))) (cbrt (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))))
  (cbrt (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (* (* (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (sqrt (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (sqrt (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (- (pow (pow 33096.0 6.0) 3) (pow (fma -121.0 (pow 33096.0 4.0) -2.0) 3))
  (+ (* (pow 33096.0 6.0) (pow 33096.0 6.0)) (+ (* (fma -121.0 (pow 33096.0 4.0) -2.0) (fma -121.0 (pow 33096.0 4.0) -2.0)) (* (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))))
  (- (fma -121.0 (pow 33096.0 4.0) -2.0))
  (- (* (pow 33096.0 6.0) (pow 33096.0 6.0)) (* (fma -121.0 (pow 33096.0 4.0) -2.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (+ (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))
  (+ (pow (sqrt 33096.0) 6.0) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (- (pow (sqrt 33096.0) 6.0) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (+ (sqrt (pow 33096.0 6.0)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (- (sqrt (pow 33096.0 6.0)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (+ (pow 33096.0 (/ 6.0 2)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (- (pow 33096.0 (/ 6.0 2)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))
  (- (pow 33096.0 6.0) (* -121.0 (pow 33096.0 4.0)))
  (- (fma -121.0 (pow 33096.0 4.0) -2.0))
  (expm1 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))
  (log1p (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))
  (* 5.5 (pow 33096.0 8.0))
  (log (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))
  (exp (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))
  (* (cbrt (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))) (cbrt (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))
  (cbrt (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))
  (* (* (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))) (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))) (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))
  (sqrt (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))
  (sqrt (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))
  (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))
  (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))
  (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))
9.062 * * [simplify]: Extracting # 0 : cost  65  inf +  0
9.062 * * [simplify]: Extracting # 1 : cost  103  inf +  0
9.062 * * [simplify]: Extracting # 2 : cost  116  inf +  3
9.063 * * [simplify]: Extracting # 3 : cost  109  inf +  465
9.063 * * [simplify]: Extracting # 4 : cost  99  inf +  3600
9.064 * * [simplify]: Extracting # 5 : cost  73  inf +  14755
9.067 * * [simplify]: Extracting # 6 : cost  42  inf +  29289
9.070 * * [simplify]: Extracting # 7 : cost  19  inf +  45784
9.075 * * [simplify]: Extracting # 8 : cost  11  inf +  50247
9.081 * * [simplify]: Extracting # 9 : cost  1  inf +  61175
9.087 * * [simplify]: Extracting # 10 : cost  0  inf +  62436
9.093 * * [simplify]: iteration  0 :  127  enodes  (cost  61805 )
9.139 * * [simplify]: Extracting # 0 : cost  0  inf +  62436
9.147 * * [simplify]: Extracting # 1 : cost  31  inf +  51502
9.154 * * [simplify]: Extracting # 2 : cost  9  inf +  58692
9.161 * * [simplify]: Extracting # 3 : cost  4  inf +  59112
9.168 * * [simplify]: Extracting # 4 : cost  0  inf +  60561
9.176 * * [simplify]: iteration  1 :  261  enodes  (cost  58636 )
9.260 * * [simplify]: Extracting # 0 : cost  0  inf +  60561
9.272 * * [simplify]: Extracting # 1 : cost  235  inf +  52032
9.291 * * [simplify]: Extracting # 2 : cost  11  inf +  148868
9.312 * * [simplify]: Extracting # 3 : cost  3  inf +  150021
9.336 * * [simplify]: Extracting # 4 : cost  0  inf +  151020
9.364 * * [simplify]: iteration  2 :  901  enodes  (cost  55215 )
9.935 * * [simplify]: Extracting # 0 : cost  0  inf +  151020
10.004 * * [simplify]: Extracting # 1 : cost  1864  inf +  111739
10.097 * * [simplify]: Extracting # 2 : cost  71  inf +  884921
10.209 * * [simplify]: Extracting # 3 : cost  23  inf +  895956
10.308 * * [simplify]: Extracting # 4 : cost  0  inf +  907120
10.436 * * [simplify]: iteration done:  5000  enodes  (cost  48180 )
10.437 * [simplify]: Simplified to:
  (expm1 (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))))
  (log1p (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))))
  (* (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0)
  (log (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))))
  (exp (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))))
  (* (cbrt (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))) (cbrt (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))))
  (cbrt (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))))
  (* (* (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))) (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))) (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))))
  (sqrt (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))))
  (sqrt (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))))
  (- (* (pow (* (cbrt 33096.0) (cbrt 33096.0)) 6.0) (pow (cbrt 33096.0) 6.0)) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (* (pow (* (cbrt 33096.0) (cbrt 33096.0)) 6.0) (pow (cbrt 33096.0) 6.0)) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (* (pow (* (cbrt 33096.0) (cbrt 33096.0)) 6.0) (pow (cbrt 33096.0) 6.0)) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (* (pow (sqrt 33096.0) 6.0) (pow (sqrt 33096.0) 6.0)) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (* (pow (sqrt 33096.0) 6.0) (pow (sqrt 33096.0) 6.0)) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (* (pow (sqrt 33096.0) 6.0) (pow (sqrt 33096.0) 6.0)) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (* (* (cbrt (pow 33096.0 6.0)) (cbrt (pow 33096.0 6.0))) (cbrt (pow 33096.0 6.0))) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (* (* (cbrt (pow 33096.0 6.0)) (cbrt (pow 33096.0 6.0))) (cbrt (pow 33096.0 6.0))) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (* (* (cbrt (pow 33096.0 6.0)) (cbrt (pow 33096.0 6.0))) (cbrt (pow 33096.0 6.0))) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))
  0
  (expm1 (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (log1p (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (- (fma -121.0 (pow 33096.0 4.0) -2.0))
  (- (fma -121.0 (pow 33096.0 4.0) -2.0))
  (- (fma -121.0 (pow 33096.0 4.0) -2.0))
  (- (fma -121.0 (pow 33096.0 4.0) -2.0))
  (- (fma -121.0 (pow 33096.0 4.0) -2.0))
  (- (fma -121.0 (pow 33096.0 4.0) -2.0))
  (- (fma -121.0 (pow 33096.0 4.0) -2.0))
  (exp (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (log (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (exp (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (* (cbrt (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))) (cbrt (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))))
  (cbrt (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (* (* (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (sqrt (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (sqrt (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (- (* (pow 33096.0 6.0) (* (pow 33096.0 6.0) (pow 33096.0 6.0))) (* (* (fma -121.0 (pow 33096.0 4.0) -2.0) (fma -121.0 (pow 33096.0 4.0) -2.0)) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (fma (pow 33096.0 6.0) (pow 33096.0 6.0) (* (fma -121.0 (pow 33096.0 4.0) -2.0) (+ (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))))
  (- (fma -121.0 (pow 33096.0 4.0) -2.0))
  (- (* (pow 33096.0 6.0) (pow 33096.0 6.0)) (* (fma -121.0 (pow 33096.0 4.0) -2.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (+ (fma -121.0 (pow 33096.0 4.0) -2.0) (pow 33096.0 6.0))
  (+ (pow (sqrt 33096.0) 6.0) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (- (pow (sqrt 33096.0) 6.0) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (+ (sqrt (pow 33096.0 6.0)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (- (sqrt (pow 33096.0 6.0)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (+ (pow 33096.0 (/ 6.0 2)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (- (pow 33096.0 (/ 6.0 2)) (sqrt (fma -121.0 (pow 33096.0 4.0) -2.0)))
  (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))
  (- (pow 33096.0 6.0) (* -121.0 (pow 33096.0 4.0)))
  (- (fma -121.0 (pow 33096.0 4.0) -2.0))
  (expm1 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))
  (log1p (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))
  (* 5.5 (pow 33096.0 8.0))
  (log (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))
  (exp (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))
  (* (cbrt (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))) (cbrt (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))
  (cbrt (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))
  (* (* (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))) (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))) (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))
  (sqrt (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))
  (sqrt (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0))))
  (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))
  (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))
  (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))
10.450 * * * [progress]: adding candidates to table
11.018 * [progress]: [Phase 3 of 3] Extracting.
11.030 * [simplify]: Simplifying:
  (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))
11.030 * * [simplify]: Extracting # 0 : cost  1  inf +  0
11.030 * * [simplify]: Extracting # 1 : cost  4  inf +  0
11.030 * * [simplify]: Extracting # 2 : cost  7  inf +  1
11.030 * * [simplify]: Extracting # 3 : cost  13  inf +  2
11.030 * * [simplify]: Extracting # 4 : cost  14  inf +  217
11.030 * * [simplify]: Extracting # 5 : cost  17  inf +  219
11.030 * * [simplify]: Extracting # 6 : cost  11  inf +  681
11.031 * * [simplify]: Extracting # 7 : cost  9  inf +  724
11.031 * * [simplify]: Extracting # 8 : cost  5  inf +  1808
11.031 * * [simplify]: Extracting # 9 : cost  1  inf +  4179
11.032 * * [simplify]: Extracting # 10 : cost  0  inf +  5360
11.032 * * [simplify]: iteration  0 :  26  enodes  (cost  1181 )
11.037 * * [simplify]: Extracting # 0 : cost  0  inf +  5360
11.038 * * [simplify]: iteration  1 :  30  enodes  (cost  1181 )
11.042 * * [simplify]: Extracting # 0 : cost  0  inf +  5360
11.043 * * [simplify]: iteration done:  30  enodes  (cost  1181 )
11.043 * [simplify]: Simplified to:
  (fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))
15.397 * [regime-testing]: Baseline error score: 58.06274169396678
15.405 * [regime-testing]: Oracle error score: 58.06274169396678
15.405 * [regime-testing]: End program error score: 58.06274169396678