* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
* * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 256 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (31 enodes)
* [exit]simplify:  Simplified to (+ (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (+ (* 5.5 (pow 33096 8)) (/ 77617 (* 2 33096))))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
* * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1)
* * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2 2 1 1)
* * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
* * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1)
* * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2 2 1 1)
* * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 66 ] simplifiying candidate #<alt (λ () (+ (log1p (expm1 (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 2 / 66 ] simplifiying candidate #<alt (λ () (+ (expm1 (log1p (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 3 / 66 ] simplifiying candidate #<alt (λ () (+ (fma (* (cbrt (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (cbrt (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))))) (cbrt (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (cbrt (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (cbrt (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))))
* * [misc]simplify:  iters left: 6 (24 enodes)
* [exit]simplify:  Simplified to (* (cbrt (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2))))) (cbrt (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2))))))
* [misc]simplify:  Simplified (2 1 1) to (λ () (+ (fma (* (cbrt (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2))))) (cbrt (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))))) (cbrt (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 4 / 66 ] simplifiying candidate #<alt (λ () (+ (fma (sqrt (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqrt (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (sqrt (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))))
* * [misc]simplify:  iters left: 6 (23 enodes)
* [exit]simplify:  Simplified to (sqrt (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))))
* [misc]simplify:  Simplified (2 1 1) to (λ () (+ (fma (sqrt (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2))))) (sqrt (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 5 / 66 ] simplifiying candidate #<alt (λ () (+ (fma 1 (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 6 / 66 ] simplifiying candidate #<alt (λ () (+ (log (* (* (exp (* 333.75 (pow 33096 6))) (exp (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (exp (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (* (exp (* 333.75 (pow 33096 6))) (exp (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (exp (* 5.5 (pow 33096 8))))
* * [misc]simplify:  iters left: 6 (30 enodes)
* [exit]simplify:  Simplified to (* (pow (exp 5.5) (pow 33096 8)) (* (pow (exp (* 77617 77617)) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* -121 (pow 33096 4)) -2))) (pow (exp 333.75) (pow 33096 6))))
* [misc]simplify:  Simplified (2 1 1) to (λ () (+ (log (* (pow (exp 5.5) (pow 33096 8)) (* (pow (exp (* 77617 77617)) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* -121 (pow 33096 4)) -2))) (pow (exp 333.75) (pow 33096 6))))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 7 / 66 ] simplifiying candidate #<alt (λ () (+ (log (* (exp (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (exp (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (exp (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (exp (* 5.5 (pow 33096 8))))
* * [misc]simplify:  iters left: 6 (29 enodes)
* [exit]simplify:  Simplified to (exp (+ (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (* 5.5 (pow 33096 8))))
* [misc]simplify:  Simplified (2 1 1) to (λ () (+ (log (exp (+ (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 8 / 66 ] simplifiying candidate #<alt (λ () (+ (pow (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) 1) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 9 / 66 ] simplifiying candidate #<alt (λ () (+ (exp (log (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 10 / 66 ] simplifiying candidate #<alt (λ () (+ (log (exp (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 11 / 66 ] simplifiying candidate #<alt (λ () (+ (* (* (cbrt (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (cbrt (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (cbrt (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 12 / 66 ] simplifiying candidate #<alt (λ () (+ (cbrt (* (* (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 13 / 66 ] simplifiying candidate #<alt (λ () (+ (* (sqrt (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (sqrt (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 14 / 66 ] simplifiying candidate #<alt (λ () (+ (/ (+ (pow (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) 3) (pow (* 5.5 (pow 33096 8)) 3)) (+ (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 15 / 66 ] simplifiying candidate #<alt (λ () (+ (* 1 (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 16 / 66 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 17 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (* 333.75 (pow 33096 6)) (+ (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* 333.75 (pow 33096 6))
* * [misc]simplify:  iters left: 3 (5 enodes)
* * [misc]simplify:  iters left: 2 (99 enodes)
* [exit]simplify:  Simplified to (* (pow 33096 6) 333.75)
* [misc]simplify:  Simplified (2 1 1) to (λ () (+ (+ (* (pow 33096 6) 333.75) (+ (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 18 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (* 5.5 (pow 33096 8)) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 19 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (log1p (expm1 (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 20 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (expm1 (log1p (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 21 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (pow (* 333.75 (pow 33096 6)) 1) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 22 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (exp (log (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 23 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (log (exp (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 24 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* (* (cbrt (* 333.75 (pow 33096 6))) (cbrt (* 333.75 (pow 33096 6)))) (cbrt (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 25 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (cbrt (* (* (* 333.75 (pow 33096 6)) (* 333.75 (pow 33096 6))) (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 26 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* (sqrt (* 333.75 (pow 33096 6))) (sqrt (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 27 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 1 (* 333.75 (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 28 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* (* 333.75 (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) (cbrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (cbrt (pow 33096 6))
* * [misc]simplify:  iters left: 2 (4 enodes)
* * [misc]simplify:  iters left: 1 (77 enodes)
* [exit]simplify:  Simplified to (pow 33096 (* 6 1/3))
* [misc]simplify:  Simplified (2 1 1 1 2) to (λ () (+ (+ (+ (* (* 333.75 (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) (pow 33096 (* 6 1/3))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 29 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* (* 333.75 (sqrt (pow 33096 6))) (sqrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (sqrt (pow 33096 6))
* * [misc]simplify:  iters left: 2 (4 enodes)
* * [misc]simplify:  iters left: 1 (79 enodes)
* [exit]simplify:  Simplified to (sqrt (pow 33096 6))
* [misc]simplify:  Simplified (2 1 1 1 2) to (λ () (+ (+ (+ (* (* 333.75 (sqrt (pow 33096 6))) (sqrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 30 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* (* 333.75 1) (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (pow 33096 6)
* * [misc]simplify:  iters left: 1 (3 enodes)
* [exit]simplify:  Simplified to (pow 33096 6)
* [misc]simplify:  Simplified (2 1 1 1 2) to (λ () (+ (+ (+ (* (* 333.75 1) (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 31 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 32 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (log1p (expm1 (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 33 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (expm1 (log1p (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 34 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* 11 (* 77617 77617))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (81 enodes)
* [exit]simplify:  Simplified to (* 11 (* 77617 77617))
* [misc]simplify:  Simplified (2 1 1 2 2 1 1 1) to (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 35 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (log (* (exp (* (* 11 (* 77617 77617)) (* 33096 33096))) (/ 1 (exp (pow 33096 6))))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (exp (* (* 11 (* 77617 77617)) (* 33096 33096))) (/ 1 (exp (pow 33096 6))))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (288 enodes)
* [exit]simplify:  Simplified to (/ (pow (exp (* 33096 33096)) (* 11 (* 77617 77617))) (exp (pow 33096 6)))
* [misc]simplify:  Simplified (2 1 1 2 2 1 1 1) to (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (log (/ (pow (exp (* 33096 33096)) (* 11 (* 77617 77617))) (exp (pow 33096 6)))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 36 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (log (* (exp (* (* 11 (* 77617 77617)) (* 33096 33096))) (exp (- (pow 33096 6))))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (exp (* (* 11 (* 77617 77617)) (* 33096 33096))) (exp (- (pow 33096 6))))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (264 enodes)
* [exit]simplify:  Simplified to (exp (fma (* (* 77617 11) (* 77617 33096)) 33096 (pow 33096 6)))
* [misc]simplify:  Simplified (2 1 1 2 2 1 1 1) to (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (log (exp (fma (* (* 77617 11) (* 77617 33096)) 33096 (pow 33096 6)))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 37 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (pow (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) 1) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 38 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (exp (log (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 39 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (log (exp (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 40 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (* (* (cbrt (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6)))) (cbrt (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))) (cbrt (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 41 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (cbrt (* (* (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6)))) (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 42 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (* (sqrt (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6)))) (sqrt (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 43 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (/ (+ (pow (* (* 11 (* 77617 77617)) (* 33096 33096)) 3) (pow (- (pow 33096 6)) 3)) (+ (* (* (* 11 (* 77617 77617)) (* 33096 33096)) (* (* 11 (* 77617 77617)) (* 33096 33096))) (- (* (- (pow 33096 6)) (- (pow 33096 6))) (* (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6)))))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 44 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (- (* (* 11 (* 77617 77617)) (* 33096 33096)) (pow 33096 6)) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (pow 33096 6)
* * [misc]simplify:  iters left: 1 (3 enodes)
* [exit]simplify:  Simplified to (pow 33096 6)
* [misc]simplify:  Simplified (2 1 1 2 2 1 1 2) to (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (- (* (* 11 (* 77617 77617)) (* 33096 33096)) (pow 33096 6)) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 45 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (* 1 (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6)))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 46 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (/ (- (* (* (* 11 (* 77617 77617)) (* 33096 33096)) (* (* 11 (* 77617 77617)) (* 33096 33096))) (* (- (pow 33096 6)) (- (pow 33096 6)))) (- (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6)))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 47 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (- (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) 0) (pow 33096 6)) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (pow 33096 6)
* * [misc]simplify:  iters left: 1 (3 enodes)
* [exit]simplify:  Simplified to (pow 33096 6)
* [misc]simplify:  Simplified (2 1 1 2 2 1 1 2) to (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (- (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) 0) (pow 33096 6)) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 48 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (- (* (* 11 (* 77617 77617)) (* 33096 33096)) (pow 33096 6)) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (pow 33096 6)
* * [misc]simplify:  iters left: 1 (3 enodes)
* [exit]simplify:  Simplified to (pow 33096 6)
* [misc]simplify:  Simplified (2 1 1 2 2 1 1 2) to (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (- (* (* 11 (* 77617 77617)) (* 33096 33096)) (pow 33096 6)) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 49 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (- (pow 33096 6)) (* (* 11 (* 77617 77617)) (* 33096 33096))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 50 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (log1p (expm1 (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 51 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (expm1 (log1p (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 52 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (pow (* 5.5 (pow 33096 8)) 1)) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 53 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (exp (log (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 54 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (log (exp (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 55 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* (cbrt (* 5.5 (pow 33096 8))) (cbrt (* 5.5 (pow 33096 8)))) (cbrt (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 56 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (cbrt (* (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 57 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (sqrt (* 5.5 (pow 33096 8))) (sqrt (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 58 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 1 (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 59 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 5.5 (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8)))) (cbrt (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (cbrt (pow 33096 8))
* * [misc]simplify:  iters left: 2 (4 enodes)
* * [misc]simplify:  iters left: 1 (77 enodes)
* [exit]simplify:  Simplified to (pow 33096 (* 8 1/3))
* [misc]simplify:  Simplified (2 1 2 2) to (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 5.5 (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8)))) (pow 33096 (* 8 1/3)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 60 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 5.5 (sqrt (pow 33096 8))) (sqrt (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (sqrt (pow 33096 8))
* * [misc]simplify:  iters left: 2 (4 enodes)
* * [misc]simplify:  iters left: 1 (79 enodes)
* [exit]simplify:  Simplified to (sqrt (pow 33096 8))
* [misc]simplify:  Simplified (2 1 2 2) to (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 5.5 (sqrt (pow 33096 8))) (sqrt (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 61 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 5.5 1) (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (pow 33096 8)
* * [misc]simplify:  iters left: 1 (3 enodes)
* [exit]simplify:  Simplified to (pow 33096 8)
* [misc]simplify:  Simplified (2 1 2 2) to (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 5.5 1) (pow 33096 8))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 62 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (pow 33096 8) 5.5)) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 63 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (31 enodes)
* [exit]simplify:  Simplified to (+ (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (+ (* 5.5 (pow 33096 8)) (/ 77617 (* 2 33096))))
* [misc]simplify:  Simplified (2) to (λ () (+ (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (+ (* 5.5 (pow 33096 8)) (/ 77617 (* 2 33096)))))
* * * * [misc]progress:  [ 64 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (31 enodes)
* [exit]simplify:  Simplified to (+ (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (+ (* 5.5 (pow 33096 8)) (/ 77617 (* 2 33096))))
* [misc]simplify:  Simplified (2) to (λ () (+ (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (+ (* 5.5 (pow 33096 8)) (/ 77617 (* 2 33096)))))
* * * * [misc]progress:  [ 65 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (31 enodes)
* [exit]simplify:  Simplified to (+ (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (+ (* 5.5 (pow 33096 8)) (/ 77617 (* 2 33096))))
* [misc]simplify:  Simplified (2) to (λ () (+ (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (+ (* 5.5 (pow 33096 8)) (/ 77617 (* 2 33096)))))
* * * * [misc]progress:  [ 66 / 66 ] simplifiying candidate #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (31 enodes)
* [exit]simplify:  Simplified to (+ (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (+ (* 5.5 (pow 33096 8)) (/ 77617 (* 2 33096))))
* [misc]simplify:  Simplified (2) to (λ () (+ (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (+ (* 5.5 (pow 33096 8)) (/ 77617 (* 2 33096)))))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
* * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2 1 1)
* * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 2 1)
* * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
* * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2 1 1)
* * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 2 1)
* * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 1 1)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (+ (fma (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (fma (- (* 5.5 (pow 33096 8))) (* 5.5 (pow 33096 8)) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (fma (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))
* * [misc]simplify:  iters left: 6 (29 enodes)
* [exit]simplify:  Simplified to (fma (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (* (- (* 5.5 (pow 33096 8))) (* 5.5 (pow 33096 8))))
* [misc]simplify:  Simplified (2 1 1 1) to (λ () (+ (/ (+ (fma (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (* (- (* 5.5 (pow 33096 8))) (* 5.5 (pow 33096 8)))) (fma (- (* 5.5 (pow 33096 8))) (* 5.5 (pow 33096 8)) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* [enter]simplify:  Simplifying (fma (- (* 5.5 (pow 33096 8))) (* 5.5 (pow 33096 8)) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (171 enodes)
* [exit]simplify:  Simplified to (fma (* (- 5.5) (pow 33096 8)) (* (pow 33096 8) 5.5) (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5)))
* [misc]simplify:  Simplified (2 1 1 2) to (λ () (+ (/ (+ (fma (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (* (- (* 5.5 (pow 33096 8))) (* 5.5 (pow 33096 8)))) (fma (* (- 5.5) (pow 33096 8)) (* (pow 33096 8) 5.5) (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 2 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (log1p (expm1 (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 3 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 4 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (fma (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))
* * [misc]simplify:  iters left: 6 (22 enodes)
* * [misc]simplify:  iters left: 5 (499 enodes)
* [exit]simplify:  Simplified to (fma (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (pow 33096 6)) (fma (pow 33096 4) -121 -2)) (* 333.75 (pow 33096 6)))
* [misc]simplify:  Simplified (2 1 1 1) to (λ () (+ (/ (fma (fma (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (pow 33096 6)) (fma (pow 33096 4) -121 -2)) (* 333.75 (pow 33096 6))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 5 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (log (/ (exp (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))))) (exp (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (/ (exp (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))))) (exp (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))
* * [misc]simplify:  iters left: 6 (31 enodes)
* [exit]simplify:  Simplified to (exp (- (* (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* (* 11 77617) 77617) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* (* 11 77617) 77617) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2))))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))
* [misc]simplify:  Simplified (2 1 1 1) to (λ () (+ (/ (log (exp (- (* (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* (* 11 77617) 77617) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* (* 11 77617) 77617) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2))))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 6 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (pow (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) 1) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 7 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (exp (log (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 8 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (log (exp (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 9 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (* (* (cbrt (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (cbrt (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (cbrt (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 10 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (cbrt (* (* (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 11 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (* (sqrt (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (sqrt (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 12 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (/ (- (pow (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) 3) (pow (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) 3)) (+ (* (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))))) (+ (* (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (* (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 13 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (+ (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 14 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (* 1 (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 15 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (/ (- (* (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))))) (* (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (+ (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 16 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (* (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))
* * [misc]simplify:  iters left: 6 (27 enodes)
* [exit]simplify:  Simplified to (+ (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* (* 11 77617) 77617) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (* 5.5 (pow 33096 8)))
* [misc]simplify:  Simplified (2 1 1 1) to (λ () (+ (/ (* (+ (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* (* 11 77617) 77617) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (* 5.5 (pow 33096 8))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* [enter]simplify:  Simplifying (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))
* * [misc]simplify:  iters left: 6 (27 enodes)
* [exit]simplify:  Simplified to (- (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (* 5.5 (pow 33096 8)))
* [misc]simplify:  Simplified (2 1 1 2) to (λ () (+ (/ (* (+ (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* (* 11 77617) 77617) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (* 5.5 (pow 33096 8))) (- (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 17 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (+ (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 333.75 (pow 33096 6))) (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 333.75 (pow 33096 6)))
* * [misc]simplify:  iters left: 6 (23 enodes)
* [exit]simplify:  Simplified to (* (* (pow 33096 6) 333.75) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))))
* [misc]simplify:  Simplified (2 1 1 1) to (λ () (+ (/ (+ (* (* (pow 33096 6) 333.75) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2))))) (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 18 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (+ (* (* 333.75 (pow 33096 6)) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (- (* (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (* 333.75 (pow 33096 6)) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))))
* * [misc]simplify:  iters left: 6 (23 enodes)
* [exit]simplify:  Simplified to (* (* (pow 33096 6) 333.75) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))))
* [misc]simplify:  Simplified (2 1 1 1) to (λ () (+ (/ (+ (* (* (pow 33096 6) 333.75) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2))))) (- (* (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 19 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (+ (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 20 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (log1p (expm1 (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 21 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (expm1 (log1p (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 22 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (pow (* 333.75 (pow 33096 6)) 1) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 23 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (exp (log (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 24 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (log (exp (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 25 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* (* (cbrt (* 333.75 (pow 33096 6))) (cbrt (* 333.75 (pow 33096 6)))) (cbrt (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 26 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (cbrt (* (* (* 333.75 (pow 33096 6)) (* 333.75 (pow 33096 6))) (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 27 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* (sqrt (* 333.75 (pow 33096 6))) (sqrt (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 28 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 1 (* 333.75 (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 29 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* (* 333.75 (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) (cbrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (cbrt (pow 33096 6))
* * [misc]simplify:  iters left: 2 (4 enodes)
* * [misc]simplify:  iters left: 1 (77 enodes)
* [exit]simplify:  Simplified to (pow 33096 (* 6 1/3))
* [misc]simplify:  Simplified (2 1 2 1 1 2) to (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* (* 333.75 (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) (pow 33096 (* 6 1/3))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 30 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* (* 333.75 (sqrt (pow 33096 6))) (sqrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (sqrt (pow 33096 6))
* * [misc]simplify:  iters left: 2 (4 enodes)
* * [misc]simplify:  iters left: 1 (79 enodes)
* [exit]simplify:  Simplified to (sqrt (pow 33096 6))
* [misc]simplify:  Simplified (2 1 2 1 1 2) to (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* (* 333.75 (sqrt (pow 33096 6))) (sqrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 31 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* (* 333.75 1) (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (pow 33096 6)
* * [misc]simplify:  iters left: 1 (3 enodes)
* [exit]simplify:  Simplified to (pow 33096 6)
* [misc]simplify:  Simplified (2 1 2 1 1 2) to (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* (* 333.75 1) (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 32 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 33 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (log1p (expm1 (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 34 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (expm1 (log1p (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 35 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (pow (* 333.75 (pow 33096 6)) 1) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 36 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (exp (log (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 37 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (log (exp (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 38 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* (* (cbrt (* 333.75 (pow 33096 6))) (cbrt (* 333.75 (pow 33096 6)))) (cbrt (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 39 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (cbrt (* (* (* 333.75 (pow 33096 6)) (* 333.75 (pow 33096 6))) (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 40 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* (sqrt (* 333.75 (pow 33096 6))) (sqrt (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 41 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 1 (* 333.75 (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 42 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* (* 333.75 (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) (cbrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (cbrt (pow 33096 6))
* * [misc]simplify:  iters left: 2 (4 enodes)
* * [misc]simplify:  iters left: 1 (77 enodes)
* [exit]simplify:  Simplified to (pow 33096 (* 6 1/3))
* [misc]simplify:  Simplified (2 1 1 1 2 1 2) to (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* (* 333.75 (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) (pow 33096 (* 6 1/3))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 43 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* (* 333.75 (sqrt (pow 33096 6))) (sqrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (sqrt (pow 33096 6))
* * [misc]simplify:  iters left: 2 (4 enodes)
* * [misc]simplify:  iters left: 1 (79 enodes)
* [exit]simplify:  Simplified to (sqrt (pow 33096 6))
* [misc]simplify:  Simplified (2 1 1 1 2 1 2) to (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* (* 333.75 (sqrt (pow 33096 6))) (sqrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 44 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* (* 333.75 1) (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (pow 33096 6)
* * [misc]simplify:  iters left: 1 (3 enodes)
* [exit]simplify:  Simplified to (pow 33096 6)
* [misc]simplify:  Simplified (2 1 1 1 2 1 2) to (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* (* 333.75 1) (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 45 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 46 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (log1p (expm1 (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 47 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (expm1 (log1p (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 48 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (pow (* 333.75 (pow 33096 6)) 1) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 49 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (exp (log (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 50 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (log (exp (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 51 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* (* (cbrt (* 333.75 (pow 33096 6))) (cbrt (* 333.75 (pow 33096 6)))) (cbrt (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 52 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (cbrt (* (* (* 333.75 (pow 33096 6)) (* 333.75 (pow 33096 6))) (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 53 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* (sqrt (* 333.75 (pow 33096 6))) (sqrt (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 54 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 1 (* 333.75 (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 55 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* (* 333.75 (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) (cbrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (cbrt (pow 33096 6))
* * [misc]simplify:  iters left: 2 (4 enodes)
* * [misc]simplify:  iters left: 1 (77 enodes)
* [exit]simplify:  Simplified to (pow 33096 (* 6 1/3))
* [misc]simplify:  Simplified (2 1 1 1 1 1 2) to (λ () (+ (/ (- (* (+ (* (* 333.75 (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) (pow 33096 (* 6 1/3))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 56 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* (* 333.75 (sqrt (pow 33096 6))) (sqrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (sqrt (pow 33096 6))
* * [misc]simplify:  iters left: 2 (4 enodes)
* * [misc]simplify:  iters left: 1 (79 enodes)
* [exit]simplify:  Simplified to (sqrt (pow 33096 6))
* [misc]simplify:  Simplified (2 1 1 1 1 1 2) to (λ () (+ (/ (- (* (+ (* (* 333.75 (sqrt (pow 33096 6))) (sqrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 57 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* (* 333.75 1) (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (pow 33096 6)
* * [misc]simplify:  iters left: 1 (3 enodes)
* [exit]simplify:  Simplified to (pow 33096 6)
* [misc]simplify:  Simplified (2 1 1 1 1 1 2) to (λ () (+ (/ (- (* (+ (* (* 333.75 1) (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 58 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 59 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 60 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 61 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 62 / 62 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 3 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 1 1)
* * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1)
* * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 1 1)
* * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 1 1 2 1)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 1 1)
* * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1)
* * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 1 1)
* * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 1 1 2 1)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (+ (fma (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (fma (- (* 5.5 (pow 33096 8))) (* 5.5 (pow 33096 8)) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (fma (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))
* * [misc]simplify:  iters left: 6 (29 enodes)
* [exit]simplify:  Simplified to (fma (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (* (- (* 5.5 (pow 33096 8))) (* 5.5 (pow 33096 8))))
* [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ () (+ (/ (expm1 (log1p (+ (fma (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (* (- (* 5.5 (pow 33096 8))) (* 5.5 (pow 33096 8)))) (fma (- (* 5.5 (pow 33096 8))) (* 5.5 (pow 33096 8)) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* [enter]simplify:  Simplifying (fma (- (* 5.5 (pow 33096 8))) (* 5.5 (pow 33096 8)) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (171 enodes)
* [exit]simplify:  Simplified to (fma (* (- 5.5) (pow 33096 8)) (* (pow 33096 8) 5.5) (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5)))
* [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ () (+ (/ (expm1 (log1p (+ (fma (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (* (- (* 5.5 (pow 33096 8))) (* 5.5 (pow 33096 8)))) (fma (* (- 5.5) (pow 33096 8)) (* (pow 33096 8) 5.5) (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 2 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (log1p (expm1 (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 3 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 4 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (fma (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))
* * [misc]simplify:  iters left: 6 (22 enodes)
* * [misc]simplify:  iters left: 5 (499 enodes)
* [exit]simplify:  Simplified to (fma (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (pow 33096 6)) (fma (pow 33096 4) -121 -2)) (* 333.75 (pow 33096 6)))
* [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ () (+ (/ (expm1 (log1p (fma (fma (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (pow 33096 6)) (fma (pow 33096 4) -121 -2)) (* 333.75 (pow 33096 6))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 5 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (log (/ (exp (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))))) (exp (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (/ (exp (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))))) (exp (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))
* * [misc]simplify:  iters left: 6 (31 enodes)
* [exit]simplify:  Simplified to (exp (- (* (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* (* 11 77617) 77617) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* (* 11 77617) 77617) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2))))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))
* [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ () (+ (/ (expm1 (log1p (log (exp (- (* (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* (* 11 77617) 77617) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* (* 11 77617) 77617) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2))))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 6 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (pow (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) 1))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 7 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (exp (log (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 8 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (log (exp (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 9 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (* (* (cbrt (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (cbrt (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (cbrt (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 10 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (cbrt (* (* (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 11 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (* (sqrt (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (sqrt (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 12 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (/ (- (pow (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) 3) (pow (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) 3)) (+ (* (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))))) (+ (* (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (* (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 13 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (+ (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 14 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (* 1 (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 15 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (/ (- (* (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))))) (* (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (+ (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 16 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (* (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))
* * [misc]simplify:  iters left: 6 (27 enodes)
* [exit]simplify:  Simplified to (+ (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* (* 11 77617) 77617) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (* 5.5 (pow 33096 8)))
* [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ () (+ (/ (expm1 (log1p (* (+ (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* (* 11 77617) 77617) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (* 5.5 (pow 33096 8))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* [enter]simplify:  Simplifying (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))
* * [misc]simplify:  iters left: 6 (27 enodes)
* [exit]simplify:  Simplified to (- (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (* 5.5 (pow 33096 8)))
* [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ () (+ (/ (expm1 (log1p (* (+ (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* (* 11 77617) 77617) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (* 5.5 (pow 33096 8))) (- (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 17 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (+ (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 333.75 (pow 33096 6))) (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 333.75 (pow 33096 6)))
* * [misc]simplify:  iters left: 6 (23 enodes)
* [exit]simplify:  Simplified to (* (* (pow 33096 6) 333.75) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))))
* [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ () (+ (/ (expm1 (log1p (+ (* (* (pow 33096 6) 333.75) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2))))) (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 18 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (+ (* (* 333.75 (pow 33096 6)) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (- (* (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (* 333.75 (pow 33096 6)) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))))
* * [misc]simplify:  iters left: 6 (23 enodes)
* [exit]simplify:  Simplified to (* (* (pow 33096 6) 333.75) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))))
* [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ () (+ (/ (expm1 (log1p (+ (* (* (pow 33096 6) 333.75) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2))))) (- (* (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 19 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (+ (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 20 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (- (exp (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) 1) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 21 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (log1p (expm1 (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 22 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 23 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))))
* * [misc]simplify:  iters left: 6 (23 enodes)
* [exit]simplify:  Simplified to (* (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))))
* [misc]simplify:  Simplified (2 1 1 1) to (λ () (+ (/ (- (* (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2)))) (fma 333.75 (pow 33096 6) (* (* 77617 77617) (+ (fma (* 11 (* 77617 77617)) (* 33096 33096) (- (pow 33096 6))) (+ (* (pow 33096 4) -121) -2))))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 24 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (pow (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) 1) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 25 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (exp (log (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 26 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (log (exp (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 27 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (* (* (cbrt (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))))) (cbrt (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))))) (cbrt (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 28 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (cbrt (* (* (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))))) (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 29 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (* (sqrt (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))))) (sqrt (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 30 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (* 1 (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 31 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (log1p (expm1 (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 32 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (expm1 (log1p (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 33 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (pow (* 333.75 (pow 33096 6)) 1) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 34 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (exp (log (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 35 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (log (exp (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 36 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* (* (cbrt (* 333.75 (pow 33096 6))) (cbrt (* 333.75 (pow 33096 6)))) (cbrt (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 37 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (cbrt (* (* (* 333.75 (pow 33096 6)) (* 333.75 (pow 33096 6))) (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 38 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* (sqrt (* 333.75 (pow 33096 6))) (sqrt (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 39 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 1 (* 333.75 (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 40 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* (* 333.75 (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) (cbrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (cbrt (pow 33096 6))
* * [misc]simplify:  iters left: 2 (4 enodes)
* * [misc]simplify:  iters left: 1 (77 enodes)
* [exit]simplify:  Simplified to (pow 33096 (* 6 1/3))
* [misc]simplify:  Simplified (2 1 2 1 1 2) to (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* (* 333.75 (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) (pow 33096 (* 6 1/3))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 41 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* (* 333.75 (sqrt (pow 33096 6))) (sqrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (sqrt (pow 33096 6))
* * [misc]simplify:  iters left: 2 (4 enodes)
* * [misc]simplify:  iters left: 1 (79 enodes)
* [exit]simplify:  Simplified to (sqrt (pow 33096 6))
* [misc]simplify:  Simplified (2 1 2 1 1 2) to (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* (* 333.75 (sqrt (pow 33096 6))) (sqrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 42 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* (* 333.75 1) (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (pow 33096 6)
* * [misc]simplify:  iters left: 1 (3 enodes)
* [exit]simplify:  Simplified to (pow 33096 6)
* [misc]simplify:  Simplified (2 1 2 1 1 2) to (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* (* 333.75 1) (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 43 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 44 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (log1p (expm1 (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 45 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (expm1 (log1p (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 46 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (pow (* 333.75 (pow 33096 6)) 1) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 47 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (exp (log (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 48 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (log (exp (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 49 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* (* (cbrt (* 333.75 (pow 33096 6))) (cbrt (* 333.75 (pow 33096 6)))) (cbrt (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 50 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (cbrt (* (* (* 333.75 (pow 33096 6)) (* 333.75 (pow 33096 6))) (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 51 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* (sqrt (* 333.75 (pow 33096 6))) (sqrt (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 52 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 1 (* 333.75 (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 53 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* (* 333.75 (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) (cbrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (cbrt (pow 33096 6))
* * [misc]simplify:  iters left: 2 (4 enodes)
* * [misc]simplify:  iters left: 1 (77 enodes)
* [exit]simplify:  Simplified to (pow 33096 (* 6 1/3))
* [misc]simplify:  Simplified (2 1 1 1 1 1 2 1 2) to (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* (* 333.75 (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) (pow 33096 (* 6 1/3))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 54 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* (* 333.75 (sqrt (pow 33096 6))) (sqrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (sqrt (pow 33096 6))
* * [misc]simplify:  iters left: 2 (4 enodes)
* * [misc]simplify:  iters left: 1 (79 enodes)
* [exit]simplify:  Simplified to (sqrt (pow 33096 6))
* [misc]simplify:  Simplified (2 1 1 1 1 1 2 1 2) to (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* (* 333.75 (sqrt (pow 33096 6))) (sqrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 55 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* (* 333.75 1) (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (pow 33096 6)
* * [misc]simplify:  iters left: 1 (3 enodes)
* [exit]simplify:  Simplified to (pow 33096 6)
* [misc]simplify:  Simplified (2 1 1 1 1 1 2 1 2) to (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* (* 333.75 1) (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))
* * * * [misc]progress:  [ 56 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 57 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 58 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 59 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 60 / 60 ] simplifiying candidate #<alt (λ () (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* [enter]simplify:  Simplifying (+ (/ (expm1 (log1p (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (37 enodes)
* * [misc]simplify:  iters left: 5 (49 enodes)
* [exit]simplify:  Simplified to (+ (/ (expm1 (log1p (- (* (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) (+ -2 (+ (+ (- (pow 33096 6)) (* (* 11 (* 77617 77617)) (* 33096 33096))) (* (pow 33096 4) -121))))) (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) (+ -2 (+ (+ (- (pow 33096 6)) (* (* 11 (* 77617 77617)) (* 33096 33096))) (* (pow 33096 4) -121)))))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))))) (- (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) (+ -2 (+ (+ (- (pow 33096 6)) (* (* 11 (* 77617 77617)) (* 33096 33096))) (* (pow 33096 4) -121))))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096)))
* * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
* * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8000 points with exact outputs