* [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) * * [misc]simplify: iters left: 5 (84 enodes) * * [misc]simplify: iters left: 4 (277 enodes) * * [misc]simplify: iters left: 3 (401 enodes) * [exit]simplify: Simplified to (fma 1314174534371215466459037696 333.75 (fma 5.5 1439474789212538429291115400277262336 -524049462893751750438462482680487001249263/66192)) * * [misc]progress: iteration 1 / 4 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1) * * * * [misc]progress: [ 2 / 4 ] rewriting at (2) * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2) * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1) * * * * [misc]progress: [ 2 / 4 ] generating series at (2) * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2) * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 2 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 3 / 70 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (64 enodes) * * [misc]simplify: iters left: 4 (220 enodes) * * [misc]simplify: iters left: 3 (253 enodes) * * [misc]simplify: iters left: 2 (291 enodes) * * [misc]simplify: iters left: 1 (325 enodes) * [exit]simplify: Simplified to (* (cbrt (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) (cbrt (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) * [misc]simplify: Simplified (2 1 1) to (λ () (+ (fma (* (cbrt (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) (cbrt (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) (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 / 70 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (61 enodes) * * [misc]simplify: iters left: 4 (224 enodes) * * [misc]simplify: iters left: 3 (264 enodes) * * [misc]simplify: iters left: 2 (286 enodes) * * [misc]simplify: iters left: 1 (296 enodes) * [exit]simplify: Simplified to (sqrt (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) * [misc]simplify: Simplified (2 1 1) to (λ () (+ (fma (sqrt (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (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 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 6 / 70 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (80 enodes) * * [misc]simplify: iters left: 4 (242 enodes) * * [misc]simplify: iters left: 3 (367 enodes) * [exit]simplify: Simplified to (exp (fma 5.5 1439474789212538429291115400277262336 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) * [misc]simplify: Simplified (2 1 1) to (λ () (+ (log (exp (fma 5.5 1439474789212538429291115400277262336 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (/ 77617 (* 2 33096)))) * * * * [misc]progress: [ 7 / 70 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (78 enodes) * * [misc]simplify: iters left: 4 (260 enodes) * * [misc]simplify: iters left: 3 (435 enodes) * [exit]simplify: Simplified to (exp (fma 1314174534371215466459037696 333.75 (fma 1439474789212538429291115400277262336 5.5 -7917111779274712207494296632228773890))) * [misc]simplify: Simplified (2 1 1) to (λ () (+ (log (exp (fma 1314174534371215466459037696 333.75 (fma 1439474789212538429291115400277262336 5.5 -7917111779274712207494296632228773890)))) (/ 77617 (* 2 33096)))) * * * * [misc]progress: [ 8 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 9 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 10 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 11 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 12 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 13 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 14 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 15 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 16 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 17 / 70 ] simplifiying candidate # * [enter]simplify: Simplifying (* 333.75 (pow 33096 6)) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (7 enodes) * [exit]simplify: Simplified to (* 1314174534371215466459037696 333.75) * [misc]simplify: Simplified (2 1 1) to (λ () (+ (+ (* 1314174534371215466459037696 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 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 19 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 20 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 21 / 70 ] simplifiying candidate # * [enter]simplify: Simplifying (* (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))))) * * [misc]simplify: iters left: 6 (29 enodes) * * [misc]simplify: iters left: 5 (74 enodes) * * [misc]simplify: iters left: 4 (243 enodes) * * [misc]simplify: iters left: 3 (345 enodes) * * [misc]simplify: iters left: 2 (465 enodes) * [exit]simplify: Simplified to (* (cbrt (fma 1439474789212538429291115400277262336 5.5 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) (cbrt (fma 1439474789212538429291115400277262336 5.5 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) * [misc]simplify: Simplified (2 1) to (λ () (fma (* (cbrt (fma 1439474789212538429291115400277262336 5.5 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) (cbrt (fma 1439474789212538429291115400277262336 5.5 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (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: [ 22 / 70 ] simplifiying candidate # * [enter]simplify: Simplifying (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)))) * * [misc]simplify: iters left: 6 (28 enodes) * * [misc]simplify: iters left: 5 (73 enodes) * * [misc]simplify: iters left: 4 (241 enodes) * * [misc]simplify: iters left: 3 (345 enodes) * * [misc]simplify: iters left: 2 (478 enodes) * [exit]simplify: Simplified to (sqrt (fma 333.75 1314174534371215466459037696 (fma 1439474789212538429291115400277262336 5.5 -7917111779274712207494296632228773890))) * [misc]simplify: Simplified (2 1) to (λ () (fma (sqrt (fma 333.75 1314174534371215466459037696 (fma 1439474789212538429291115400277262336 5.5 -7917111779274712207494296632228773890))) (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: [ 23 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 24 / 70 ] simplifiying candidate # * [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)))) (exp (/ 77617 (* 2 33096)))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (95 enodes) * * [misc]simplify: iters left: 4 (269 enodes) * [exit]simplify: Simplified to (exp (+ (fma 5.5 1439474789212538429291115400277262336 77617/66192) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) * [misc]simplify: Simplified (2 1) to (λ () (log (exp (+ (fma 5.5 1439474789212538429291115400277262336 77617/66192) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))) * * * * [misc]progress: [ 25 / 70 ] simplifiying candidate # * [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)))) (exp (/ 77617 (* 2 33096)))) * * [misc]simplify: iters left: 6 (34 enodes) * * [misc]simplify: iters left: 5 (92 enodes) * * [misc]simplify: iters left: 4 (289 enodes) * * [misc]simplify: iters left: 3 (486 enodes) * [exit]simplify: Simplified to (exp (+ (fma 1439474789212538429291115400277262336 5.5 77617/66192) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) * [misc]simplify: Simplified (2 1) to (λ () (log (exp (+ (fma 1439474789212538429291115400277262336 5.5 77617/66192) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) * * * * [misc]progress: [ 26 / 70 ] simplifiying candidate # * [enter]simplify: Simplifying (* (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)))) (exp (/ 77617 (* 2 33096)))) * * [misc]simplify: iters left: 6 (33 enodes) * * [misc]simplify: iters left: 5 (90 enodes) * * [misc]simplify: iters left: 4 (286 enodes) * * [misc]simplify: iters left: 3 (482 enodes) * [exit]simplify: Simplified to (exp (+ (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1439474789212538429291115400277262336 5.5 77617/66192))) * [misc]simplify: Simplified (2 1) to (λ () (log (exp (+ (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1439474789212538429291115400277262336 5.5 77617/66192))))) * * * * [misc]progress: [ 27 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 28 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 29 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 30 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 31 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 32 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 33 / 70 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (+ (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)) (* 2 33096)) (* (+ (* (+ (* 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)) * * [misc]simplify: iters left: 6 (40 enodes) * * [misc]simplify: iters left: 5 (119 enodes) * * [misc]simplify: iters left: 4 (473 enodes) * [exit]simplify: Simplified to (+ (+ (* (* 66192 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) (* (* (* 5.5 1439474789212538429291115400277262336) (* 5.5 1439474789212538429291115400277262336)) (* (* 5.5 1439474789212538429291115400277262336) 66192))) (fma 77617 (* (* 5.5 1439474789212538429291115400277262336) (- (* 5.5 1439474789212538429291115400277262336) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) (* (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) 77617))) * [misc]simplify: Simplified (2 1) to (λ () (/ (+ (+ (* (* 66192 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) (* (* (* 5.5 1439474789212538429291115400277262336) (* 5.5 1439474789212538429291115400277262336)) (* (* 5.5 1439474789212538429291115400277262336) 66192))) (fma 77617 (* (* 5.5 1439474789212538429291115400277262336) (- (* 5.5 1439474789212538429291115400277262336) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) (* (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) 77617))) (* (+ (* (+ (* 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))))) (* 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)))) (- (* (* 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))))) (* 2 33096)) * * [misc]simplify: iters left: 6 (34 enodes) * * [misc]simplify: iters left: 5 (103 enodes) * * [misc]simplify: iters left: 4 (393 enodes) * [exit]simplify: Simplified to (fma 66192 (* (* 1439474789212538429291115400277262336 5.5) (- (* 1439474789212538429291115400277262336 5.5) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) (* 66192 (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) * [misc]simplify: Simplified (2 2) to (λ () (/ (+ (+ (* (* 66192 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) (* (* (* 5.5 1439474789212538429291115400277262336) (* 5.5 1439474789212538429291115400277262336)) (* (* 5.5 1439474789212538429291115400277262336) 66192))) (fma 77617 (* (* 5.5 1439474789212538429291115400277262336) (- (* 5.5 1439474789212538429291115400277262336) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) (* (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) 77617))) (fma 66192 (* (* 1439474789212538429291115400277262336 5.5) (- (* 1439474789212538429291115400277262336 5.5) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) (* 66192 (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))))) * * * * [misc]progress: [ 34 / 70 ] simplifiying candidate # * [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)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (* 2 33096)) (* (- (+ (* 333.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)) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (103 enodes) * * [misc]simplify: iters left: 4 (404 enodes) * [exit]simplify: Simplified to (fma (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) 66192 (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) 77617 (* 5.5 -111727714714309595266288504023320270733312))) * [misc]simplify: Simplified (2 1) to (λ () (/ (fma (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) 66192 (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) 77617 (* 5.5 -111727714714309595266288504023320270733312))) (* (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (* 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))) (* 2 33096)) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (79 enodes) * * [misc]simplify: iters left: 4 (279 enodes) * * [misc]simplify: iters left: 3 (424 enodes) * [exit]simplify: Simplified to (+ (* -95281715247556343711637510575152548544512 5.5) (fma 86987840779099494155856623173632 333.75 -524049462893751750438462482680487001326880)) * [misc]simplify: Simplified (2 2) to (λ () (/ (fma (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) 66192 (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) 77617 (* 5.5 -111727714714309595266288504023320270733312))) (+ (* -95281715247556343711637510575152548544512 5.5) (fma 86987840779099494155856623173632 333.75 -524049462893751750438462482680487001326880)))) * * * * [misc]progress: [ 35 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 36 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 37 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 38 / 70 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (84 enodes) * * [misc]simplify: iters left: 4 (277 enodes) * * [misc]simplify: iters left: 3 (401 enodes) * [exit]simplify: Simplified to (fma 1314174534371215466459037696 333.75 (fma 5.5 1439474789212538429291115400277262336 -524049462893751750438462482680487001249263/66192)) * [misc]simplify: Simplified (2 2) to (λ () (* 1 (fma 1314174534371215466459037696 333.75 (fma 5.5 1439474789212538429291115400277262336 -524049462893751750438462482680487001249263/66192)))) * * * * [misc]progress: [ 39 / 70 ] simplifiying candidate # * [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 (62 enodes) * * [misc]simplify: iters left: 4 (217 enodes) * * [misc]simplify: iters left: 3 (252 enodes) * * [misc]simplify: iters left: 2 (271 enodes) * * [misc]simplify: iters left: 1 (281 enodes) * [exit]simplify: Simplified to (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) * [misc]simplify: Simplified (2 1) to (λ () (+ (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (+ (* 5.5 (pow 33096 8)) (/ 77617 (* 2 33096))))) * * * * [misc]progress: [ 40 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 41 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 42 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 43 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 44 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 45 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 46 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 47 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 48 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 49 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 50 / 70 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (pow 33096 8)) * * [misc]simplify: iters left: 2 (4 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to (cbrt 1439474789212538429291115400277262336) * [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)))) (cbrt 1439474789212538429291115400277262336))) (/ 77617 (* 2 33096)))) * * * * [misc]progress: [ 51 / 70 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (pow 33096 8)) * * [misc]simplify: iters left: 2 (4 enodes) * * [misc]simplify: iters left: 1 (6 enodes) * [exit]simplify: Simplified to 1199781142214086656 * [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))) 1199781142214086656)) (/ 77617 (* 2 33096)))) * * * * [misc]progress: [ 52 / 70 ] simplifiying candidate # * [enter]simplify: Simplifying (pow 33096 8) * * [misc]simplify: iters left: 1 (3 enodes) * [exit]simplify: Simplified to 1439474789212538429291115400277262336 * [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) 1439474789212538429291115400277262336)) (/ 77617 (* 2 33096)))) * * * * [misc]progress: [ 53 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 54 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 55 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 56 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 57 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 58 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 59 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 60 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 61 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 62 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 63 / 70 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (pow 33096 6)) * * [misc]simplify: iters left: 2 (4 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to (cbrt 1314174534371215466459037696) * [misc]simplify: Simplified (2 1 1 1 2) to (λ () (+ (+ (+ (* (* 333.75 (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) (cbrt 1314174534371215466459037696)) (* (* 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: [ 64 / 70 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (pow 33096 6)) * * [misc]simplify: iters left: 2 (4 enodes) * * [misc]simplify: iters left: 1 (6 enodes) * [exit]simplify: Simplified to 36251545268736 * [misc]simplify: Simplified (2 1 1 1 2) to (λ () (+ (+ (+ (* (* 333.75 (sqrt (pow 33096 6))) 36251545268736) (* (* 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: [ 65 / 70 ] simplifiying candidate # * [enter]simplify: Simplifying (pow 33096 6) * * [misc]simplify: iters left: 1 (3 enodes) * [exit]simplify: Simplified to 1314174534371215466459037696 * [misc]simplify: Simplified (2 1 1 1 2) to (λ () (+ (+ (+ (* (* 333.75 1) 1314174534371215466459037696) (* (* 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: [ 66 / 70 ] simplifiying candidate # * * * * [misc]progress: [ 67 / 70 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (84 enodes) * * [misc]simplify: iters left: 4 (277 enodes) * * [misc]simplify: iters left: 3 (401 enodes) * [exit]simplify: Simplified to (fma 1314174534371215466459037696 333.75 (fma 5.5 1439474789212538429291115400277262336 -524049462893751750438462482680487001249263/66192)) * [misc]simplify: Simplified (2) to (λ () (fma 1314174534371215466459037696 333.75 (fma 5.5 1439474789212538429291115400277262336 -524049462893751750438462482680487001249263/66192))) * * * * [misc]progress: [ 68 / 70 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (84 enodes) * * [misc]simplify: iters left: 4 (277 enodes) * * [misc]simplify: iters left: 3 (401 enodes) * [exit]simplify: Simplified to (fma 1314174534371215466459037696 333.75 (fma 5.5 1439474789212538429291115400277262336 -524049462893751750438462482680487001249263/66192)) * [misc]simplify: Simplified (2) to (λ () (fma 1314174534371215466459037696 333.75 (fma 5.5 1439474789212538429291115400277262336 -524049462893751750438462482680487001249263/66192))) * * * * [misc]progress: [ 69 / 70 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (84 enodes) * * [misc]simplify: iters left: 4 (277 enodes) * * [misc]simplify: iters left: 3 (401 enodes) * [exit]simplify: Simplified to (fma 1314174534371215466459037696 333.75 (fma 5.5 1439474789212538429291115400277262336 -524049462893751750438462482680487001249263/66192)) * [misc]simplify: Simplified (2) to (λ () (fma 1314174534371215466459037696 333.75 (fma 5.5 1439474789212538429291115400277262336 -524049462893751750438462482680487001249263/66192))) * * * * [misc]progress: [ 70 / 70 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (84 enodes) * * [misc]simplify: iters left: 4 (277 enodes) * * [misc]simplify: iters left: 3 (401 enodes) * [exit]simplify: Simplified to (fma 1314174534371215466459037696 333.75 (fma 5.5 1439474789212538429291115400277262336 -524049462893751750438462482680487001249263/66192)) * [misc]simplify: Simplified (2) to (λ () (fma 1314174534371215466459037696 333.75 (fma 5.5 1439474789212538429291115400277262336 -524049462893751750438462482680487001249263/66192))) * * * [misc]progress: adding candidates to table * * [misc]progress: iteration 2 / 4 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [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 2) * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 2) * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2 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 2) * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 2) * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2 1) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 62 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (79 enodes) * * [misc]simplify: iters left: 4 (281 enodes) * [exit]simplify: Simplified to (fma 5.5 (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) * [misc]simplify: Simplified (2 1 1 1) to (λ () (+ (/ (+ (fma 5.5 (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) (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 (20 enodes) * * [misc]simplify: iters left: 4 (59 enodes) * * [misc]simplify: iters left: 3 (201 enodes) * * [misc]simplify: iters left: 2 (454 enodes) * [exit]simplify: Simplified to 0 * [misc]simplify: Simplified (2 1 1 2) to (λ () (+ (/ (+ (fma 5.5 (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) 0) (- (+ (* 333.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 # * * * * [misc]progress: [ 3 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 4 / 62 ] simplifiying candidate # * [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 (62 enodes) * * [misc]simplify: iters left: 4 (217 enodes) * * [misc]simplify: iters left: 3 (252 enodes) * * [misc]simplify: iters left: 2 (271 enodes) * * [misc]simplify: iters left: 1 (281 enodes) * [exit]simplify: Simplified to (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) * [misc]simplify: Simplified (2 1 1 1) to (λ () (+ (/ (fma (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (+ (* 333.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 # * [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) * * [misc]simplify: iters left: 5 (88 enodes) * * [misc]simplify: iters left: 4 (328 enodes) * [exit]simplify: Simplified to (exp (- (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (* 5.5 2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5))) * [misc]simplify: Simplified (2 1 1 1) to (λ () (+ (/ (log (exp (- (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (* 5.5 2072087668778481942361612104703059945972513386907210959776023202964176896) 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: [ 6 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 7 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 8 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 9 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 10 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 11 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 12 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 13 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 14 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 15 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 16 / 62 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (243 enodes) * * [misc]simplify: iters left: 3 (317 enodes) * * [misc]simplify: iters left: 2 (377 enodes) * * [misc]simplify: iters left: 1 (456 enodes) * [exit]simplify: Simplified to (fma 1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) * [misc]simplify: Simplified (2 1 1 1) to (λ () (+ (/ (* (fma 1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (- (+ (* 333.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) * * [misc]simplify: iters left: 5 (73 enodes) * * [misc]simplify: iters left: 4 (254 enodes) * * [misc]simplify: iters left: 3 (328 enodes) * * [misc]simplify: iters left: 2 (409 enodes) * [exit]simplify: Simplified to (fma 5.5 -1439474789212538429291115400277262336 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) * [misc]simplify: Simplified (2 1 1 2) to (λ () (+ (/ (* (fma 1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (fma 5.5 -1439474789212538429291115400277262336 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) (- (+ (* 333.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 # * [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) * * [misc]simplify: iters left: 5 (64 enodes) * * [misc]simplify: iters left: 4 (244 enodes) * * [misc]simplify: iters left: 3 (440 enodes) * [exit]simplify: Simplified to (* (* 1314174534371215466459037696 333.75) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) * [misc]simplify: Simplified (2 1 1 1) to (λ () (+ (/ (+ (* (* 1314174534371215466459037696 333.75) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (- (* (+ (* 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 # * [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) * * [misc]simplify: iters left: 5 (71 enodes) * * [misc]simplify: iters left: 4 (288 enodes) * [exit]simplify: Simplified to (* (* 333.75 1314174534371215466459037696) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) * [misc]simplify: Simplified (2 1 1 1) to (λ () (+ (/ (+ (* (* 333.75 1314174534371215466459037696) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) (- (* (* (* 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 # * * * * [misc]progress: [ 20 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 21 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 22 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 23 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 24 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 25 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 26 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 27 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 28 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 29 / 62 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (pow 33096 8)) * * [misc]simplify: iters left: 2 (4 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to (cbrt 1439474789212538429291115400277262336) * [misc]simplify: Simplified (2 1 2 2 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 (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 1439474789212538429291115400277262336)))) (/ 77617 (* 2 33096)))) * * * * [misc]progress: [ 30 / 62 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (pow 33096 8)) * * [misc]simplify: iters left: 2 (4 enodes) * * [misc]simplify: iters left: 1 (6 enodes) * [exit]simplify: Simplified to 1199781142214086656 * [misc]simplify: Simplified (2 1 2 2 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 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 5.5 (sqrt (pow 33096 8))) 1199781142214086656))) (/ 77617 (* 2 33096)))) * * * * [misc]progress: [ 31 / 62 ] simplifiying candidate # * [enter]simplify: Simplifying (pow 33096 8) * * [misc]simplify: iters left: 1 (3 enodes) * [exit]simplify: Simplified to 1439474789212538429291115400277262336 * [misc]simplify: Simplified (2 1 2 2 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 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 5.5 1) 1439474789212538429291115400277262336))) (/ 77617 (* 2 33096)))) * * * * [misc]progress: [ 32 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 33 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 34 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 35 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 36 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 37 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 38 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 39 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 40 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 41 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 42 / 62 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (pow 33096 8)) * * [misc]simplify: iters left: 2 (4 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to (cbrt 1439474789212538429291115400277262336) * [misc]simplify: Simplified (2 1 1 2 2 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 (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8)))) (cbrt 1439474789212538429291115400277262336)))) (- (+ (* 333.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 # * [enter]simplify: Simplifying (sqrt (pow 33096 8)) * * [misc]simplify: iters left: 2 (4 enodes) * * [misc]simplify: iters left: 1 (6 enodes) * [exit]simplify: Simplified to 1199781142214086656 * [misc]simplify: Simplified (2 1 1 2 2 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 (sqrt (pow 33096 8))) 1199781142214086656))) (- (+ (* 333.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 # * [enter]simplify: Simplifying (pow 33096 8) * * [misc]simplify: iters left: 1 (3 enodes) * [exit]simplify: Simplified to 1439474789212538429291115400277262336 * [misc]simplify: Simplified (2 1 1 2 2 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 1) 1439474789212538429291115400277262336))) (- (+ (* 333.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 # * * * * [misc]progress: [ 46 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 47 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 48 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 49 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 50 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 51 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 52 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 53 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 54 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 55 / 62 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (pow 33096 8)) * * [misc]simplify: iters left: 2 (4 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to (cbrt 1439474789212538429291115400277262336) * [misc]simplify: Simplified (2 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 (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 1439474789212538429291115400277262336)) (* 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 # * [enter]simplify: Simplifying (sqrt (pow 33096 8)) * * [misc]simplify: iters left: 2 (4 enodes) * * [misc]simplify: iters left: 1 (6 enodes) * [exit]simplify: Simplified to 1199781142214086656 * [misc]simplify: Simplified (2 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 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* (* 5.5 (sqrt (pow 33096 8))) 1199781142214086656) (* 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 # * [enter]simplify: Simplifying (pow 33096 8) * * [misc]simplify: iters left: 1 (3 enodes) * [exit]simplify: Simplified to 1439474789212538429291115400277262336 * [misc]simplify: Simplified (2 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 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* (* 5.5 1) 1439474789212538429291115400277262336) (* 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 # * * * * [misc]progress: [ 59 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 60 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 61 / 62 ] simplifiying candidate # * * * * [misc]progress: [ 62 / 62 ] simplifiying candidate # * * * [misc]progress: adding candidates to table * * [misc]progress: iteration 3 / 4 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [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) * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 1 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) * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 1 1) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 98 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (79 enodes) * * [misc]simplify: iters left: 4 (281 enodes) * [exit]simplify: Simplified to (fma 5.5 (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ () (+ (/ (exp (log (+ (fma 5.5 (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) (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 (20 enodes) * * [misc]simplify: iters left: 4 (59 enodes) * * [misc]simplify: iters left: 3 (201 enodes) * * [misc]simplify: iters left: 2 (454 enodes) * [exit]simplify: Simplified to 0 * [misc]simplify: Simplified (2 1 1 1 1 2) to (λ () (+ (/ (exp (log (+ (fma 5.5 (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) 0))) (- (+ (* 333.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 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 3 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 4 / 98 ] simplifiying candidate # * [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 (62 enodes) * * [misc]simplify: iters left: 4 (217 enodes) * * [misc]simplify: iters left: 3 (252 enodes) * * [misc]simplify: iters left: 2 (271 enodes) * * [misc]simplify: iters left: 1 (281 enodes) * [exit]simplify: Simplified to (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ () (+ (/ (exp (log (fma (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (+ (* 333.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 / 98 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (88 enodes) * * [misc]simplify: iters left: 4 (328 enodes) * [exit]simplify: Simplified to (exp (- (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (* 5.5 2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5))) * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ () (+ (/ (exp (log (log (exp (- (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (* 5.5 2072087668778481942361612104703059945972513386907210959776023202964176896) 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: [ 6 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 7 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 8 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 9 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 10 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 11 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 12 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 13 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 14 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 15 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 16 / 98 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (243 enodes) * * [misc]simplify: iters left: 3 (317 enodes) * * [misc]simplify: iters left: 2 (377 enodes) * * [misc]simplify: iters left: 1 (456 enodes) * [exit]simplify: Simplified to (fma 1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ () (+ (/ (exp (log (* (fma 1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (- (+ (* 333.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) * * [misc]simplify: iters left: 5 (73 enodes) * * [misc]simplify: iters left: 4 (254 enodes) * * [misc]simplify: iters left: 3 (328 enodes) * * [misc]simplify: iters left: 2 (409 enodes) * [exit]simplify: Simplified to (fma 5.5 -1439474789212538429291115400277262336 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) * [misc]simplify: Simplified (2 1 1 1 1 2) to (λ () (+ (/ (exp (log (* (fma 1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (fma 5.5 -1439474789212538429291115400277262336 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (- (+ (* 333.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 / 98 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (64 enodes) * * [misc]simplify: iters left: 4 (244 enodes) * * [misc]simplify: iters left: 3 (440 enodes) * [exit]simplify: Simplified to (* (* 1314174534371215466459037696 333.75) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ () (+ (/ (exp (log (+ (* (* 1314174534371215466459037696 333.75) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (- (* (+ (* 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 / 98 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (71 enodes) * * [misc]simplify: iters left: 4 (288 enodes) * [exit]simplify: Simplified to (* (* 333.75 1314174534371215466459037696) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ () (+ (/ (exp (log (+ (* (* 333.75 1314174534371215466459037696) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) (- (* (* (* 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 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 20 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 21 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 22 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 23 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (exp 1) * * [misc]simplify: iters left: 1 (2 enodes) * [exit]simplify: Simplified to E * [misc]simplify: Simplified (2 1 1 1) to (λ () (+ (/ (pow E (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: [ 24 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (* (cbrt (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)))))) (cbrt (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)))))))) * * [misc]simplify: iters left: 6 (33 enodes) * * [misc]simplify: iters left: 5 (93 enodes) * * [misc]simplify: iters left: 4 (334 enodes) * [exit]simplify: Simplified to (exp (* (cbrt (log (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))) (cbrt (log (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))))) * [misc]simplify: Simplified (2 1 1 1) to (λ () (+ (/ (pow (exp (* (cbrt (log (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))) (cbrt (log (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))))) (cbrt (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: [ 25 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (sqrt (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))))))) * * [misc]simplify: iters left: 6 (32 enodes) * * [misc]simplify: iters left: 5 (89 enodes) * * [misc]simplify: iters left: 4 (338 enodes) * [exit]simplify: Simplified to (exp (sqrt (log (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) 5.5))))) * [misc]simplify: Simplified (2 1 1 1) to (λ () (+ (/ (pow (exp (sqrt (log (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) 5.5))))) (sqrt (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: [ 26 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (exp 1) * * [misc]simplify: iters left: 1 (2 enodes) * [exit]simplify: Simplified to E * [misc]simplify: Simplified (2 1 1 1) to (λ () (+ (/ (pow E (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: [ 27 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (log (* (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)))))))) * * [misc]simplify: iters left: 6 (33 enodes) * * [misc]simplify: iters left: 5 (93 enodes) * * [misc]simplify: iters left: 4 (334 enodes) * [exit]simplify: Simplified to (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))) * [misc]simplify: Simplified (2 1 1 1) to (λ () (+ (/ (* (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))) (exp (log (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: [ 28 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (log (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))))))) * * [misc]simplify: iters left: 6 (32 enodes) * * [misc]simplify: iters left: 5 (89 enodes) * * [misc]simplify: iters left: 4 (337 enodes) * [exit]simplify: Simplified to (sqrt (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) 5.5))) * [misc]simplify: Simplified (2 1 1 1) to (λ () (+ (/ (* (sqrt (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) 5.5))) (exp (log (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: [ 29 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (log 1)) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to 1 * [misc]simplify: Simplified (2 1 1 1) to (λ () (+ (/ (* 1 (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: [ 30 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (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))))) * * [misc]simplify: iters left: 6 (29 enodes) * * [misc]simplify: iters left: 5 (74 enodes) * * [misc]simplify: iters left: 4 (243 enodes) * * [misc]simplify: iters left: 3 (345 enodes) * * [misc]simplify: iters left: 2 (462 enodes) * [exit]simplify: Simplified to (fma 1439474789212538429291115400277262336 5.5 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) * [misc]simplify: Simplified (2 1 1 1) to (λ () (+ (/ (* (fma 1439474789212538429291115400277262336 5.5 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) (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)))))) (- (+ (* 333.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 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (log (- (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)))) * * [misc]simplify: iters left: 6 (34 enodes) * * [misc]simplify: iters left: 5 (98 enodes) * * [misc]simplify: iters left: 4 (390 enodes) * [exit]simplify: Simplified to (fma (* (* (- 5.5) (* 5.5 2072087668778481942361612104703059945972513386907210959776023202964176896)) (* 5.5 (* 5.5 2072087668778481942361612104703059945972513386907210959776023202964176896))) (* 5.5 (* 5.5 2072087668778481942361612104703059945972513386907210959776023202964176896)) (pow (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) 3)) * [misc]simplify: Simplified (2 1 1 1) to (λ () (+ (/ (/ (fma (* (* (- 5.5) (* 5.5 2072087668778481942361612104703059945972513386907210959776023202964176896)) (* 5.5 (* 5.5 2072087668778481942361612104703059945972513386907210959776023202964176896))) (* 5.5 (* 5.5 2072087668778481942361612104703059945972513386907210959776023202964176896)) (pow (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) 3)) (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)))) (* (+ (* 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: [ 32 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (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)))) (* (+ (* 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))))))) * * [misc]simplify: iters left: 6 (33 enodes) * * [misc]simplify: iters left: 5 (99 enodes) * * [misc]simplify: iters left: 4 (401 enodes) * [exit]simplify: Simplified to (fma (* (* 5.5 1439474789212538429291115400277262336) (* 5.5 1439474789212538429291115400277262336)) (* (* 2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (- 5.5)) (pow (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) 4)) * [misc]simplify: Simplified (2 1 1 1) to (λ () (+ (/ (/ (fma (* (* 5.5 1439474789212538429291115400277262336) (* 5.5 1439474789212538429291115400277262336)) (* (* 2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (- 5.5)) (pow (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) 4)) (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: [ 33 / 98 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (69 enodes) * * [misc]simplify: iters left: 4 (268 enodes) * [exit]simplify: Simplified to (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) * [misc]simplify: Simplified (2 1 1 1) to (λ () (+ (/ (- (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (* 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 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 35 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 36 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 37 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 38 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 39 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 40 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 41 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 42 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (/ (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))))) (cbrt (/ (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)))))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (96 enodes) * * [misc]simplify: iters left: 4 (368 enodes) * [exit]simplify: Simplified to (* (cbrt (/ (fma 1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) 1)) (cbrt (/ (fma 1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) 1))) * [misc]simplify: Simplified (2 1) to (λ () (fma (* (cbrt (/ (fma 1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) 1)) (cbrt (/ (fma 1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) 1))) (cbrt (/ (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: [ 43 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (/ (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))))) * * [misc]simplify: iters left: 6 (34 enodes) * * [misc]simplify: iters left: 5 (95 enodes) * * [misc]simplify: iters left: 4 (372 enodes) * [exit]simplify: Simplified to (sqrt (/ (fma 1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) 1)) * [misc]simplify: Simplified (2 1) to (λ () (fma (sqrt (/ (fma 1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) 1)) (sqrt (/ (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: [ 44 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (exp (log (* (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))) (* 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)))))) * * [misc]simplify: iters left: 6 (37 enodes) * * [misc]simplify: iters left: 5 (100 enodes) * * [misc]simplify: iters left: 4 (390 enodes) * [exit]simplify: Simplified to (* (/ (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (cbrt (fma -1439474789212538429291115400277262336 5.5 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (/ (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (cbrt (fma -1439474789212538429291115400277262336 5.5 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))) * [misc]simplify: Simplified (2 1) to (λ () (fma (* (/ (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (cbrt (fma -1439474789212538429291115400277262336 5.5 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (/ (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (cbrt (fma -1439474789212538429291115400277262336 5.5 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))) (/ (exp (log (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))) (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096)))) * * * * [misc]progress: [ 45 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (exp (log (* (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)))))))) (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))))) * * [misc]simplify: iters left: 6 (36 enodes) * * [misc]simplify: iters left: 5 (98 enodes) * * [misc]simplify: iters left: 4 (378 enodes) * [exit]simplify: Simplified to (/ (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))) (sqrt (fma 5.5 -1439474789212538429291115400277262336 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) * [misc]simplify: Simplified (2 1) to (λ () (fma (/ (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))) (sqrt (fma 5.5 -1439474789212538429291115400277262336 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (/ (exp (log (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))))))) (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: [ 46 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (exp (log (* (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)))))))) 1) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (97 enodes) * * [misc]simplify: iters left: 4 (348 enodes) * [exit]simplify: Simplified to (* (cbrt (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5)))) (cbrt (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5))))) * [misc]simplify: Simplified (2 1) to (λ () (fma (* (cbrt (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5)))) (cbrt (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5))))) (/ (exp (log (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: [ 47 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (exp (log (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))))))) (* (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)))))) * * [misc]simplify: iters left: 6 (36 enodes) * * [misc]simplify: iters left: 5 (98 enodes) * * [misc]simplify: iters left: 4 (371 enodes) * [exit]simplify: Simplified to (/ (sqrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (* (cbrt (fma -1439474789212538429291115400277262336 5.5 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) (cbrt (fma -1439474789212538429291115400277262336 5.5 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))) * [misc]simplify: Simplified (2 1) to (λ () (fma (/ (sqrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (* (cbrt (fma -1439474789212538429291115400277262336 5.5 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) (cbrt (fma -1439474789212538429291115400277262336 5.5 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))) (/ (exp (log (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))))))) (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: [ 48 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (exp (log (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))) (* 5.5 (pow 33096 8))))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (96 enodes) * * [misc]simplify: iters left: 4 (359 enodes) * [exit]simplify: Simplified to (/ (sqrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (sqrt (fma 5.5 -1439474789212538429291115400277262336 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) * [misc]simplify: Simplified (2 1) to (λ () (fma (/ (sqrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (sqrt (fma 5.5 -1439474789212538429291115400277262336 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (/ (exp (log (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))) (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096)))) * * * * [misc]progress: [ 49 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (exp (log (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))))))) 1) * * [misc]simplify: iters left: 6 (34 enodes) * * [misc]simplify: iters left: 5 (93 enodes) * * [misc]simplify: iters left: 4 (339 enodes) * [exit]simplify: Simplified to (sqrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) * [misc]simplify: Simplified (2 1) to (λ () (fma (sqrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (/ (exp (log (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: [ 50 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (exp (log 1)) (* (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)))))) * * [misc]simplify: iters left: 6 (33 enodes) * * [misc]simplify: iters left: 5 (83 enodes) * * [misc]simplify: iters left: 4 (219 enodes) * * [misc]simplify: iters left: 3 (425 enodes) * [exit]simplify: Simplified to (/ (/ 1 (cbrt (fma -1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma -1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) * [misc]simplify: Simplified (2 1) to (λ () (fma (/ (/ 1 (cbrt (fma -1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma -1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (/ (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)))))) (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: [ 51 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (exp (log 1)) (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))))) * * [misc]simplify: iters left: 6 (32 enodes) * * [misc]simplify: iters left: 5 (80 enodes) * * [misc]simplify: iters left: 4 (217 enodes) * * [misc]simplify: iters left: 3 (320 enodes) * * [misc]simplify: iters left: 2 (398 enodes) * * [misc]simplify: iters left: 1 (483 enodes) * [exit]simplify: Simplified to (/ 1 (sqrt (fma 1314174534371215466459037696 333.75 (fma 5.5 -1439474789212538429291115400277262336 -7917111779274712207494296632228773890)))) * [misc]simplify: Simplified (2 1) to (λ () (fma (/ 1 (sqrt (fma 1314174534371215466459037696 333.75 (fma 5.5 -1439474789212538429291115400277262336 -7917111779274712207494296632228773890)))) (/ (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)))))) (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: [ 52 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (exp (log 1)) 1) * * [misc]simplify: iters left: 4 (4 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * [exit]simplify: Simplified to 1 * [misc]simplify: Simplified (2 1) to (λ () (fma 1 (/ (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: [ 53 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (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))))) (* (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)))))) * * [misc]simplify: iters left: 6 (33 enodes) * * [misc]simplify: iters left: 5 (82 enodes) * * [misc]simplify: iters left: 4 (283 enodes) * [exit]simplify: Simplified to (/ (/ (fma 1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (cbrt (fma 5.5 -1439474789212538429291115400277262336 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 -1439474789212538429291115400277262336 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) * [misc]simplify: Simplified (2 1) to (λ () (fma (/ (/ (fma 1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (cbrt (fma 5.5 -1439474789212538429291115400277262336 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 -1439474789212538429291115400277262336 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (/ (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))))) (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: [ 54 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (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))))) (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))))) * * [misc]simplify: iters left: 6 (32 enodes) * * [misc]simplify: iters left: 5 (80 enodes) * * [misc]simplify: iters left: 4 (283 enodes) * * [misc]simplify: iters left: 3 (344 enodes) * * [misc]simplify: iters left: 2 (427 enodes) * [exit]simplify: Simplified to (/ (fma 5.5 1439474789212538429291115400277262336 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) (sqrt (fma 5.5 -1439474789212538429291115400277262336 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) * [misc]simplify: Simplified (2 1) to (λ () (fma (/ (fma 5.5 1439474789212538429291115400277262336 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) (sqrt (fma 5.5 -1439474789212538429291115400277262336 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (/ (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))))) (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: [ 55 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (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))))) 1) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (76 enodes) * * [misc]simplify: iters left: 4 (261 enodes) * * [misc]simplify: iters left: 3 (315 enodes) * * [misc]simplify: iters left: 2 (376 enodes) * * [misc]simplify: iters left: 1 (404 enodes) * [exit]simplify: Simplified to (fma 333.75 1314174534371215466459037696 (fma 1439474789212538429291115400277262336 5.5 -7917111779274712207494296632228773890)) * [misc]simplify: Simplified (2 1) to (λ () (fma (fma 333.75 1314174534371215466459037696 (fma 1439474789212538429291115400277262336 5.5 -7917111779274712207494296632228773890)) (/ (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))))) (- (+ (* 333.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 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (* (cbrt (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))))))) (cbrt (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)))))))) (* (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)))))) * * [misc]simplify: iters left: 6 (37 enodes) * * [misc]simplify: iters left: 5 (102 enodes) * * [misc]simplify: iters left: 4 (396 enodes) * [exit]simplify: Simplified to (* (/ (cbrt (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) 5.5))) (cbrt (fma 5.5 -1439474789212538429291115400277262336 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (/ (cbrt (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) 5.5))) (cbrt (fma 5.5 -1439474789212538429291115400277262336 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) * [misc]simplify: Simplified (2 1) to (λ () (fma (* (/ (cbrt (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) 5.5))) (cbrt (fma 5.5 -1439474789212538429291115400277262336 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (/ (cbrt (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) 5.5))) (cbrt (fma 5.5 -1439474789212538429291115400277262336 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (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))))))) (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: [ 57 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (* (cbrt (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))))))) (cbrt (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)))))))) (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))))) * * [misc]simplify: iters left: 6 (36 enodes) * * [misc]simplify: iters left: 5 (98 enodes) * * [misc]simplify: iters left: 4 (377 enodes) * [exit]simplify: Simplified to (/ (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))) (sqrt (fma 5.5 -1439474789212538429291115400277262336 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) * [misc]simplify: Simplified (2 1) to (λ () (fma (/ (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))) (sqrt (fma 5.5 -1439474789212538429291115400277262336 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (/ (cbrt (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))))))) (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: [ 58 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (* (cbrt (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))))))) (cbrt (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)))))))) 1) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (96 enodes) * * [misc]simplify: iters left: 4 (352 enodes) * [exit]simplify: Simplified to (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) * [misc]simplify: Simplified (2 1) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (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: [ 59 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqrt (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))))))) (* (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)))))) * * [misc]simplify: iters left: 6 (36 enodes) * * [misc]simplify: iters left: 5 (98 enodes) * * [misc]simplify: iters left: 4 (375 enodes) * [exit]simplify: Simplified to (/ (sqrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (* (cbrt (fma -1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) (cbrt (fma -1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) * [misc]simplify: Simplified (2 1) to (λ () (fma (/ (sqrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (* (cbrt (fma -1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) (cbrt (fma -1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (sqrt (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))))))) (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: [ 60 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqrt (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))))))) (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))))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (96 enodes) * * [misc]simplify: iters left: 4 (363 enodes) * [exit]simplify: Simplified to (/ (sqrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (sqrt (fma -1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) * [misc]simplify: Simplified (2 1) to (λ () (fma (/ (sqrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (sqrt (fma -1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (/ (sqrt (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))))))) (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: [ 61 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqrt (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))))))) 1) * * [misc]simplify: iters left: 6 (34 enodes) * * [misc]simplify: iters left: 5 (93 enodes) * * [misc]simplify: iters left: 4 (341 enodes) * [exit]simplify: Simplified to (sqrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) * [misc]simplify: Simplified (2 1) to (λ () (fma (sqrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (/ (sqrt (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: [ 62 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 (* (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)))))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (79 enodes) * * [misc]simplify: iters left: 4 (256 enodes) * * [misc]simplify: iters left: 3 (487 enodes) * [exit]simplify: Simplified to (/ (/ 1 (cbrt (fma 1314174534371215466459037696 333.75 (fma -1439474789212538429291115400277262336 5.5 -7917111779274712207494296632228773890)))) (cbrt (fma 1314174534371215466459037696 333.75 (fma -1439474789212538429291115400277262336 5.5 -7917111779274712207494296632228773890)))) * [misc]simplify: Simplified (2 1) to (λ () (fma (/ (/ 1 (cbrt (fma 1314174534371215466459037696 333.75 (fma -1439474789212538429291115400277262336 5.5 -7917111779274712207494296632228773890)))) (cbrt (fma 1314174534371215466459037696 333.75 (fma -1439474789212538429291115400277262336 5.5 -7917111779274712207494296632228773890)))) (/ (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)))))) (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: [ 63 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 (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))))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (77 enodes) * * [misc]simplify: iters left: 4 (251 enodes) * * [misc]simplify: iters left: 3 (439 enodes) * [exit]simplify: Simplified to (/ 1 (sqrt (fma 333.75 1314174534371215466459037696 (fma -1439474789212538429291115400277262336 5.5 -7917111779274712207494296632228773890)))) * [misc]simplify: Simplified (2 1) to (λ () (fma (/ 1 (sqrt (fma 333.75 1314174534371215466459037696 (fma -1439474789212538429291115400277262336 5.5 -7917111779274712207494296632228773890)))) (/ (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)))))) (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: [ 64 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 1) * * [misc]simplify: iters left: 2 (2 enodes) * * [misc]simplify: iters left: 1 (4 enodes) * [exit]simplify: Simplified to 1 * [misc]simplify: Simplified (2 1) to (λ () (fma 1 (/ (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: [ 65 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 66 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (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)))))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (89 enodes) * * [misc]simplify: iters left: 4 (332 enodes) * [exit]simplify: Simplified to (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) * [misc]simplify: Simplified (2 1) to (λ () (fma (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) (/ 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: [ 67 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (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)))))) (- (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))) * * [misc]simplify: iters left: 6 (36 enodes) * * [misc]simplify: iters left: 5 (103 enodes) * * [misc]simplify: iters left: 4 (409 enodes) * [exit]simplify: Simplified to (/ (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) (fma (* (* 1439474789212538429291115400277262336 5.5) (* 1439474789212538429291115400277262336 5.5)) (* -1439474789212538429291115400277262336 5.5) (pow (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) 3))) * [misc]simplify: Simplified (2 1) to (λ () (fma (/ (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) (fma (* (* 1439474789212538429291115400277262336 5.5) (* 1439474789212538429291115400277262336 5.5)) (* -1439474789212538429291115400277262336 5.5) (pow (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) 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: [ 68 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (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))) (+ (* 333.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 (32 enodes) * * [misc]simplify: iters left: 5 (89 enodes) * * [misc]simplify: iters left: 4 (350 enodes) * [exit]simplify: Simplified to 1 * [misc]simplify: Simplified (2 1) to (λ () (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: [ 69 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (* (exp (/ (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))))) (exp (/ 77617 (* 2 33096)))) * * [misc]simplify: iters left: 6 (39 enodes) * * [misc]simplify: iters left: 5 (107 enodes) * * [misc]simplify: iters left: 4 (395 enodes) * [exit]simplify: Simplified to (exp (+ (/ (fma 5.5 1439474789212538429291115400277262336 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) 1) 77617/66192)) * [misc]simplify: Simplified (2 1) to (λ () (log (exp (+ (/ (fma 5.5 1439474789212538429291115400277262336 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) 1) 77617/66192)))) * * * * [misc]progress: [ 70 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 71 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 72 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 73 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 74 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 75 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 76 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (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)))))) (* 2 33096)) (* (- (+ (* 333.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)) * * [misc]simplify: iters left: 6 (37 enodes) * * [misc]simplify: iters left: 5 (105 enodes) * * [misc]simplify: iters left: 4 (417 enodes) * [exit]simplify: Simplified to (fma (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) 66192 (fma 77617 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (* 5.5 -111727714714309595266288504023320270733312))) * [misc]simplify: Simplified (2 1) to (λ () (/ (fma (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) 66192 (fma 77617 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (* 5.5 -111727714714309595266288504023320270733312))) (* (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (* 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))) (* 2 33096)) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (79 enodes) * * [misc]simplify: iters left: 4 (279 enodes) * * [misc]simplify: iters left: 3 (424 enodes) * [exit]simplify: Simplified to (+ (* -95281715247556343711637510575152548544512 5.5) (fma 86987840779099494155856623173632 333.75 -524049462893751750438462482680487001326880)) * [misc]simplify: Simplified (2 2) to (λ () (/ (fma (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) 66192 (fma 77617 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (* 5.5 -111727714714309595266288504023320270733312))) (+ (* -95281715247556343711637510575152548544512 5.5) (fma 86987840779099494155856623173632 333.75 -524049462893751750438462482680487001326880)))) * * * * [misc]progress: [ 77 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 78 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 79 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 80 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (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]simplify: iters left: 6 (37 enodes) * * [misc]simplify: iters left: 5 (103 enodes) * * [misc]simplify: iters left: 4 (390 enodes) * [exit]simplify: Simplified to (+ 77617/66192 (/ (fma 5.5 1439474789212538429291115400277262336 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) 1)) * [misc]simplify: Simplified (2 2) to (λ () (* 1 (+ 77617/66192 (/ (fma 5.5 1439474789212538429291115400277262336 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) 1)))) * * * * [misc]progress: [ 81 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 82 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 83 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 84 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 85 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 86 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 87 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 88 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 89 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 90 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 91 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (pow 33096 6)) * * [misc]simplify: iters left: 2 (4 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to (cbrt 1314174534371215466459037696) * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ () (+ (/ (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 (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) (cbrt 1314174534371215466459037696)) (* (* 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: [ 92 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (pow 33096 6)) * * [misc]simplify: iters left: 2 (4 enodes) * * [misc]simplify: iters left: 1 (6 enodes) * [exit]simplify: Simplified to 36251545268736 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ () (+ (/ (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 (sqrt (pow 33096 6))) 36251545268736) (* (* 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: [ 93 / 98 ] simplifiying candidate # * [enter]simplify: Simplifying (pow 33096 6) * * [misc]simplify: iters left: 1 (3 enodes) * [exit]simplify: Simplified to 1314174534371215466459037696 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ () (+ (/ (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 1) 1314174534371215466459037696) (* (* 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: [ 94 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 95 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 96 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 97 / 98 ] simplifiying candidate # * * * * [misc]progress: [ 98 / 98 ] simplifiying candidate # * * * [misc]progress: adding candidates to table * * [misc]progress: iteration 4 / 4 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 2 1) * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 1 1 1 1) * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1 1) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 2 1) * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 1 1 1 1) * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1 1) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 2 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 3 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 4 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 5 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 6 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 7 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 8 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 9 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 10 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 11 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 12 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 13 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 14 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 15 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 16 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 17 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 18 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 19 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 20 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 21 / 63 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (79 enodes) * * [misc]simplify: iters left: 4 (281 enodes) * [exit]simplify: Simplified to (fma 5.5 (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) * [misc]simplify: Simplified (2 2 1 1 1 1 1) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (exp (log (+ (fma 5.5 (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) (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 (20 enodes) * * [misc]simplify: iters left: 4 (59 enodes) * * [misc]simplify: iters left: 3 (201 enodes) * * [misc]simplify: iters left: 2 (454 enodes) * [exit]simplify: Simplified to 0 * [misc]simplify: Simplified (2 2 1 1 1 1 2) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (exp (log (+ (fma 5.5 (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))) 0)))) (- (+ (* 333.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 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 23 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 24 / 63 ] simplifiying candidate # * [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 (62 enodes) * * [misc]simplify: iters left: 4 (217 enodes) * * [misc]simplify: iters left: 3 (252 enodes) * * [misc]simplify: iters left: 2 (271 enodes) * * [misc]simplify: iters left: 1 (281 enodes) * [exit]simplify: Simplified to (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) * [misc]simplify: Simplified (2 2 1 1 1 1 1) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (exp (log (fma (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (+ (* 333.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: [ 25 / 63 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (88 enodes) * * [misc]simplify: iters left: 4 (328 enodes) * [exit]simplify: Simplified to (exp (- (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (* 5.5 2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5))) * [misc]simplify: Simplified (2 2 1 1 1 1 1) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (exp (log (log (exp (- (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (* 5.5 2072087668778481942361612104703059945972513386907210959776023202964176896) 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: [ 26 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 27 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 28 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 29 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 30 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 31 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 32 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 33 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 34 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 35 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 36 / 63 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (243 enodes) * * [misc]simplify: iters left: 3 (317 enodes) * * [misc]simplify: iters left: 2 (377 enodes) * * [misc]simplify: iters left: 1 (456 enodes) * [exit]simplify: Simplified to (fma 1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) * [misc]simplify: Simplified (2 2 1 1 1 1 1) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (exp (log (* (fma 1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (- (+ (* 333.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) * * [misc]simplify: iters left: 5 (73 enodes) * * [misc]simplify: iters left: 4 (254 enodes) * * [misc]simplify: iters left: 3 (328 enodes) * * [misc]simplify: iters left: 2 (409 enodes) * [exit]simplify: Simplified to (fma 5.5 -1439474789212538429291115400277262336 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) * [misc]simplify: Simplified (2 2 1 1 1 1 2) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (exp (log (* (fma 1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (fma 5.5 -1439474789212538429291115400277262336 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))))) (- (+ (* 333.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 / 63 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (64 enodes) * * [misc]simplify: iters left: 4 (244 enodes) * * [misc]simplify: iters left: 3 (440 enodes) * [exit]simplify: Simplified to (* (* 1314174534371215466459037696 333.75) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) * [misc]simplify: Simplified (2 2 1 1 1 1 1) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (exp (log (+ (* (* 1314174534371215466459037696 333.75) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (- (* (+ (* 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: [ 38 / 63 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (71 enodes) * * [misc]simplify: iters left: 4 (288 enodes) * [exit]simplify: Simplified to (* (* 333.75 1314174534371215466459037696) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) * [misc]simplify: Simplified (2 2 1 1 1 1 1) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (exp (log (+ (* (* 333.75 1314174534371215466459037696) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) (- (* (* (* 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: [ 39 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 40 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 41 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 42 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 43 / 63 ] simplifiying candidate # * [enter]simplify: Simplifying (exp 1) * * [misc]simplify: iters left: 1 (2 enodes) * [exit]simplify: Simplified to E * [misc]simplify: Simplified (2 2 1 1 1) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (pow E (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: [ 44 / 63 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (* (cbrt (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)))))) (cbrt (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)))))))) * * [misc]simplify: iters left: 6 (33 enodes) * * [misc]simplify: iters left: 5 (93 enodes) * * [misc]simplify: iters left: 4 (334 enodes) * [exit]simplify: Simplified to (exp (* (cbrt (log (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))) (cbrt (log (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))))) * [misc]simplify: Simplified (2 2 1 1 1) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (pow (exp (* (cbrt (log (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))) (cbrt (log (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))))) (cbrt (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: [ 45 / 63 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (sqrt (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))))))) * * [misc]simplify: iters left: 6 (32 enodes) * * [misc]simplify: iters left: 5 (89 enodes) * * [misc]simplify: iters left: 4 (338 enodes) * [exit]simplify: Simplified to (exp (sqrt (log (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) 5.5))))) * [misc]simplify: Simplified (2 2 1 1 1) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (pow (exp (sqrt (log (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) 5.5))))) (sqrt (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: [ 46 / 63 ] simplifiying candidate # * [enter]simplify: Simplifying (exp 1) * * [misc]simplify: iters left: 1 (2 enodes) * [exit]simplify: Simplified to E * [misc]simplify: Simplified (2 2 1 1 1) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (pow E (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: [ 47 / 63 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (log (* (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)))))))) * * [misc]simplify: iters left: 6 (33 enodes) * * [misc]simplify: iters left: 5 (93 enodes) * * [misc]simplify: iters left: 4 (334 enodes) * [exit]simplify: Simplified to (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))) * [misc]simplify: Simplified (2 2 1 1 1) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (* (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))) (exp (log (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: [ 48 / 63 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (log (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))))))) * * [misc]simplify: iters left: 6 (32 enodes) * * [misc]simplify: iters left: 5 (89 enodes) * * [misc]simplify: iters left: 4 (337 enodes) * [exit]simplify: Simplified to (sqrt (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) 5.5))) * [misc]simplify: Simplified (2 2 1 1 1) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (* (sqrt (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) 5.5))) (exp (log (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: [ 49 / 63 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (log 1)) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to 1 * [misc]simplify: Simplified (2 2 1 1 1) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (* 1 (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 / 63 ] simplifiying candidate # * [enter]simplify: Simplifying (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))))) * * [misc]simplify: iters left: 6 (29 enodes) * * [misc]simplify: iters left: 5 (74 enodes) * * [misc]simplify: iters left: 4 (243 enodes) * * [misc]simplify: iters left: 3 (345 enodes) * * [misc]simplify: iters left: 2 (462 enodes) * [exit]simplify: Simplified to (fma 1439474789212538429291115400277262336 5.5 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) * [misc]simplify: Simplified (2 2 1 1 1) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (* (fma 1439474789212538429291115400277262336 5.5 (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) (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))))))) (- (+ (* 333.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 / 63 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (log (- (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)))) * * [misc]simplify: iters left: 6 (34 enodes) * * [misc]simplify: iters left: 5 (98 enodes) * * [misc]simplify: iters left: 4 (390 enodes) * [exit]simplify: Simplified to (fma (* (* (- 5.5) (* 5.5 2072087668778481942361612104703059945972513386907210959776023202964176896)) (* 5.5 (* 5.5 2072087668778481942361612104703059945972513386907210959776023202964176896))) (* 5.5 (* 5.5 2072087668778481942361612104703059945972513386907210959776023202964176896)) (pow (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) 3)) * [misc]simplify: Simplified (2 2 1 1 1) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (/ (fma (* (* (- 5.5) (* 5.5 2072087668778481942361612104703059945972513386907210959776023202964176896)) (* 5.5 (* 5.5 2072087668778481942361612104703059945972513386907210959776023202964176896))) (* 5.5 (* 5.5 2072087668778481942361612104703059945972513386907210959776023202964176896)) (pow (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) 3)) (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)))) (* (+ (* 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: [ 52 / 63 ] simplifiying candidate # * [enter]simplify: Simplifying (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)))) (* (+ (* 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))))))) * * [misc]simplify: iters left: 6 (33 enodes) * * [misc]simplify: iters left: 5 (99 enodes) * * [misc]simplify: iters left: 4 (401 enodes) * [exit]simplify: Simplified to (fma (* (* 5.5 1439474789212538429291115400277262336) (* 5.5 1439474789212538429291115400277262336)) (* (* 2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (- 5.5)) (pow (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) 4)) * [misc]simplify: Simplified (2 2 1 1 1) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (/ (fma (* (* 5.5 1439474789212538429291115400277262336) (* 5.5 1439474789212538429291115400277262336)) (* (* 2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (- 5.5)) (pow (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) 4)) (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: [ 53 / 63 ] simplifiying candidate # * [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) * * [misc]simplify: iters left: 5 (69 enodes) * * [misc]simplify: iters left: 4 (268 enodes) * [exit]simplify: Simplified to (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) * [misc]simplify: Simplified (2 2 1 1 1) to (λ () (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (- (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (* 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 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 55 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 56 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 57 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 58 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 59 / 63 ] simplifiying candidate # * * * * [misc]progress: [ 60 / 63 ] simplifiying candidate # * [enter]simplify: Simplifying (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (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]simplify: iters left: 6 (47 enodes) * * [misc]simplify: iters left: 5 (121 enodes) * * [misc]simplify: iters left: 4 (373 enodes) * [exit]simplify: Simplified to (fma (/ (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (fma -1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) (* (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) 77617/66192) * [misc]simplify: Simplified (2) to (λ () (fma (/ (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (fma -1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) (* (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) 77617/66192)) * * * * [misc]progress: [ 61 / 63 ] simplifiying candidate # * [enter]simplify: Simplifying (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (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]simplify: iters left: 6 (47 enodes) * * [misc]simplify: iters left: 5 (121 enodes) * * [misc]simplify: iters left: 4 (373 enodes) * [exit]simplify: Simplified to (fma (/ (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (fma -1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) (* (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) 77617/66192) * [misc]simplify: Simplified (2) to (λ () (fma (/ (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (fma -1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) (* (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) 77617/66192)) * * * * [misc]progress: [ 62 / 63 ] simplifiying candidate # * [enter]simplify: Simplifying (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (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]simplify: iters left: 6 (47 enodes) * * [misc]simplify: iters left: 5 (121 enodes) * * [misc]simplify: iters left: 4 (373 enodes) * [exit]simplify: Simplified to (fma (/ (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (fma -1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) (* (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) 77617/66192) * [misc]simplify: Simplified (2) to (λ () (fma (/ (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (fma -1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) (* (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) 77617/66192)) * * * * [misc]progress: [ 63 / 63 ] simplifiying candidate # * [enter]simplify: Simplifying (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (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]simplify: iters left: 6 (47 enodes) * * [misc]simplify: iters left: 5 (121 enodes) * * [misc]simplify: iters left: 4 (373 enodes) * [exit]simplify: Simplified to (fma (/ (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (fma -1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) (* (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) 77617/66192) * [misc]simplify: Simplified (2) to (λ () (fma (/ (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (fma -1439474789212538429291115400277262336 5.5 (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))) (* (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) 5.5 (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) 77617/66192)) * * * [misc]progress: adding candidates to table * [misc]progress: [Phase 3 of 3] Extracting. * [enter]simplify: Simplifying (fma (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (* (* (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* -2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))) (exp (log (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]simplify: iters left: 6 (54 enodes) * * [misc]simplify: iters left: 5 (74 enodes) * * [misc]simplify: iters left: 4 (77 enodes) * * [misc]simplify: iters left: 3 (79 enodes) * * [misc]simplify: iters left: 2 (80 enodes) * [exit]simplify: Simplified to (fma (* (cbrt (fma 5.5 (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890))))) (/ (cbrt (* (exp (log (cbrt (- (* (+ (* 333.75 1314174534371215466459037696) -7917111779274712207494296632228773890) (+ (* 333.75 1314174534371215466459037696) -7917111779274712207494296632228773890)) (* (* 5.5 1439474789212538429291115400277262336) (* 5.5 1439474789212538429291115400277262336)))))) (* (cbrt (fma 5.5 (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (cbrt (fma 5.5 (* 5.5 -2072087668778481942361612104703059945972513386907210959776023202964176896) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890))))))) (- (+ (* 333.75 1314174534371215466459037696) -7917111779274712207494296632228773890) (* 5.5 1439474789212538429291115400277262336))) 77617/66192) * * * * [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