* [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 (71 enodes) * * [misc]simplify: iters left: 4 (216 enodes) * [exit]simplify: Simplified to (fma (* 77617 77617) (+ (fma (* (* 33096 33096) (* 11 77617)) 77617 (fma -121 (pow 33096 4) -2)) (- (pow 33096 6))) (fma (pow 33096 6) 333.75 (fma (pow 33096 8) 5.5 (/ (/ 77617 2) 33096)))) * * [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 (54 enodes) * * [misc]simplify: iters left: 4 (166 enodes) * [exit]simplify: Simplified to (* (cbrt (fma (+ (fma -121 (pow 33096 4) -2) (fma 11 (* (* 33096 33096) (* 77617 77617)) (- (pow 33096 6)))) (* 77617 77617) (* (pow 33096 6) 333.75))) (cbrt (fma (+ (fma -121 (pow 33096 4) -2) (fma 11 (* (* 33096 33096) (* 77617 77617)) (- (pow 33096 6)))) (* 77617 77617) (* (pow 33096 6) 333.75)))) * [misc]simplify: Simplified (2 1 1) to (λ () (+ (fma (* (cbrt (fma (+ (fma -121 (pow 33096 4) -2) (fma 11 (* (* 33096 33096) (* 77617 77617)) (- (pow 33096 6)))) (* 77617 77617) (* (pow 33096 6) 333.75))) (cbrt (fma (+ (fma -121 (pow 33096 4) -2) (fma 11 (* (* 33096 33096) (* 77617 77617)) (- (pow 33096 6)))) (* 77617 77617) (* (pow 33096 6) 333.75)))) (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 (53 enodes) * * [misc]simplify: iters left: 4 (165 enodes) * [exit]simplify: Simplified to (sqrt (fma (fma (* 33096 33096) (* (* 11 77617) 77617) (+ (fma -121 (pow 33096 4) -2) (- (pow 33096 6)))) (* 77617 77617) (* (pow 33096 6) 333.75))) * [misc]simplify: Simplified (2 1 1) to (λ () (+ (fma (sqrt (fma (fma (* 33096 33096) (* (* 11 77617) 77617) (+ (fma -121 (pow 33096 4) -2) (- (pow 33096 6)))) (* 77617 77617) (* (pow 33096 6) 333.75))) (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 (71 enodes) * * [misc]simplify: iters left: 4 (199 enodes) * [exit]simplify: Simplified to (* (pow (exp (* 77617 77617)) (+ (- (pow 33096 6)) (fma (* 77617 77617) (* 33096 (* 11 33096)) (fma -121 (pow 33096 4) -2)))) (* (pow (exp 333.75) (pow 33096 6)) (pow (exp 5.5) (pow 33096 8)))) * [misc]simplify: Simplified (2 1 1) to (λ () (+ (log (* (pow (exp (* 77617 77617)) (+ (- (pow 33096 6)) (fma (* 77617 77617) (* 33096 (* 11 33096)) (fma -121 (pow 33096 4) -2)))) (* (pow (exp 333.75) (pow 33096 6)) (pow (exp 5.5) (pow 33096 8))))) (/ 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 (68 enodes) * * [misc]simplify: iters left: 4 (207 enodes) * [exit]simplify: Simplified to (exp (fma (* 77617 77617) (fma (* 33096 33096) (* 77617 (* 11 77617)) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) * [misc]simplify: Simplified (2 1 1) to (λ () (+ (log (exp (fma (* 77617 77617) (fma (* 33096 33096) (* 77617 (* 11 77617)) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5))))) (/ 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 (6 enodes) * [exit]simplify: Simplified to (* (pow 33096 6) 333.75) * [misc]simplify: Simplified (2 1 1) to (λ () (+ (+ (* (pow 33096 6) 333.75) (+ (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096)))) * * * * [misc]progress: [ 18 / 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 (63 enodes) * * [misc]simplify: iters left: 4 (192 enodes) * [exit]simplify: Simplified to (* (cbrt (fma (* 77617 77617) (fma (* 77617 (* 11 77617)) (* 33096 33096) (+ (fma -121 (pow 33096 4) -2) (- (pow 33096 6)))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) 5.5)))) (cbrt (fma (* 77617 77617) (fma (* 77617 (* 11 77617)) (* 33096 33096) (+ (fma -121 (pow 33096 4) -2) (- (pow 33096 6)))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) 5.5))))) * [misc]simplify: Simplified (2 1) to (λ () (fma (* (cbrt (fma (* 77617 77617) (fma (* 77617 (* 11 77617)) (* 33096 33096) (+ (fma -121 (pow 33096 4) -2) (- (pow 33096 6)))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) 5.5)))) (cbrt (fma (* 77617 77617) (fma (* 77617 (* 11 77617)) (* 33096 33096) (+ (fma -121 (pow 33096 4) -2) (- (pow 33096 6)))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) 5.5))))) (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 (62 enodes) * * [misc]simplify: iters left: 4 (191 enodes) * [exit]simplify: Simplified to (sqrt (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (fma -121 (pow 33096 4) -2) (- (pow 33096 6)))) (* 77617 77617) (fma 333.75 (pow 33096 6) (* (pow 33096 8) 5.5)))) * [misc]simplify: Simplified (2 1) to (λ () (fma (sqrt (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (fma -121 (pow 33096 4) -2) (- (pow 33096 6)))) (* 77617 77617) (fma 333.75 (pow 33096 6) (* (pow 33096 8) 5.5)))) (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 (82 enodes) * * [misc]simplify: iters left: 4 (226 enodes) * [exit]simplify: Simplified to (* (pow (exp (* 77617 77617)) (+ (- (pow 33096 6)) (fma 11 (* (* 77617 77617) (* 33096 33096)) (fma -121 (pow 33096 4) -2)))) (* (* (pow (exp 333.75) (pow 33096 6)) (pow (exp 5.5) (pow 33096 8))) (exp (/ (/ 77617 2) 33096)))) * [misc]simplify: Simplified (2 1) to (λ () (log (* (pow (exp (* 77617 77617)) (+ (- (pow 33096 6)) (fma 11 (* (* 77617 77617) (* 33096 33096)) (fma -121 (pow 33096 4) -2)))) (* (* (pow (exp 333.75) (pow 33096 6)) (pow (exp 5.5) (pow 33096 8))) (exp (/ (/ 77617 2) 33096)))))) * * * * [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 (79 enodes) * * [misc]simplify: iters left: 4 (232 enodes) * [exit]simplify: Simplified to (exp (+ (fma (fma (* (* 11 77617) 77617) (* 33096 33096) (- (pow 33096 6))) (* 77617 77617) (* (fma -121 (pow 33096 4) -2) (* 77617 77617))) (+ (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)) (/ (/ 77617 2) 33096)))) * [misc]simplify: Simplified (2 1) to (λ () (log (exp (+ (fma (fma (* (* 11 77617) 77617) (* 33096 33096) (- (pow 33096 6))) (* 77617 77617) (* (fma -121 (pow 33096 4) -2) (* 77617 77617))) (+ (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)) (/ (/ 77617 2) 33096)))))) * * * * [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 (76 enodes) * * [misc]simplify: iters left: 4 (226 enodes) * [exit]simplify: Simplified to (exp (+ (fma (* 77617 77617) (fma (* (* 11 77617) 77617) (* 33096 33096) (- (pow 33096 6))) (* (* 77617 77617) (fma -121 (pow 33096 4) -2))) (+ (* (pow 33096 6) 333.75) (fma (pow 33096 8) 5.5 (/ (/ 77617 2) 33096))))) * [misc]simplify: Simplified (2 1) to (λ () (log (exp (+ (fma (* 77617 77617) (fma (* (* 11 77617) 77617) (* 33096 33096) (- (pow 33096 6))) (* (* 77617 77617) (fma -121 (pow 33096 4) -2))) (+ (* (pow 33096 6) 333.75) (fma (pow 33096 8) 5.5 (/ (/ 77617 2) 33096))))))) * * * * [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 (108 enodes) * * [misc]simplify: iters left: 4 (405 enodes) * [exit]simplify: Simplified to (fma (- (* (pow 33096 8) (* (pow 33096 8) (* 5.5 5.5))) (* (fma (+ (fma (* (* 77617 77617) (* 33096 11)) 33096 (- (pow 33096 6))) (fma -121 (pow 33096 4) -2)) (* 77617 77617) (* (pow 33096 6) 333.75)) (- (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (fma (fma (* (* 77617 77617) (* 33096 11)) 33096 (- (pow 33096 6))) (* 77617 77617) (* (fma -121 (pow 33096 4) -2) (* 77617 77617)))))) 77617 (fma (pow (fma (+ (fma (* (* 77617 77617) (* 33096 11)) 33096 (- (pow 33096 6))) (fma -121 (pow 33096 4) -2)) (* 77617 77617) (* (pow 33096 6) 333.75)) 3) (* 2 33096) (* (* (* 2 33096) (pow 5.5 3)) (pow (pow 33096 8) 3)))) * [misc]simplify: Simplified (2 1) to (λ () (/ (fma (- (* (pow 33096 8) (* (pow 33096 8) (* 5.5 5.5))) (* (fma (+ (fma (* (* 77617 77617) (* 33096 11)) 33096 (- (pow 33096 6))) (fma -121 (pow 33096 4) -2)) (* 77617 77617) (* (pow 33096 6) 333.75)) (- (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (fma (fma (* (* 77617 77617) (* 33096 11)) 33096 (- (pow 33096 6))) (* 77617 77617) (* (fma -121 (pow 33096 4) -2) (* 77617 77617)))))) 77617 (fma (pow (fma (+ (fma (* (* 77617 77617) (* 33096 11)) 33096 (- (pow 33096 6))) (fma -121 (pow 33096 4) -2)) (* 77617 77617) (* (pow 33096 6) 333.75)) 3) (* 2 33096) (* (* (* 2 33096) (pow 5.5 3)) (pow (pow 33096 8) 3)))) (* (+ (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (* 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 (91 enodes) * * [misc]simplify: iters left: 4 (333 enodes) * [exit]simplify: Simplified to (fma (* (fma (+ (fma (* (* 33096 33096) (* 77617 77617)) 11 (fma -121 (pow 33096 4) -2)) (- (pow 33096 6))) (* 77617 77617) (* (pow 33096 6) 333.75)) (fma (+ (fma (* (* 33096 33096) (* 77617 77617)) 11 (fma -121 (pow 33096 4) -2)) (- (pow 33096 6))) (* 77617 77617) (* (pow 33096 6) 333.75))) (* 2 33096) (* (* (* 2 33096) (* (pow 33096 8) 5.5)) (- (- (* (pow 33096 8) 5.5) (* (pow 33096 6) 333.75)) (fma (fma 11 (* (* 33096 33096) (* 77617 77617)) (- (pow 33096 6))) (* 77617 77617) (* (* 77617 77617) (fma -121 (pow 33096 4) -2)))))) * [misc]simplify: Simplified (2 2) to (λ () (/ (fma (- (* (pow 33096 8) (* (pow 33096 8) (* 5.5 5.5))) (* (fma (+ (fma (* (* 77617 77617) (* 33096 11)) 33096 (- (pow 33096 6))) (fma -121 (pow 33096 4) -2)) (* 77617 77617) (* (pow 33096 6) 333.75)) (- (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (fma (fma (* (* 77617 77617) (* 33096 11)) 33096 (- (pow 33096 6))) (* 77617 77617) (* (fma -121 (pow 33096 4) -2) (* 77617 77617)))))) 77617 (fma (pow (fma (+ (fma (* (* 77617 77617) (* 33096 11)) 33096 (- (pow 33096 6))) (fma -121 (pow 33096 4) -2)) (* 77617 77617) (* (pow 33096 6) 333.75)) 3) (* 2 33096) (* (* (* 2 33096) (pow 5.5 3)) (pow (pow 33096 8) 3)))) (fma (* (fma (+ (fma (* (* 33096 33096) (* 77617 77617)) 11 (fma -121 (pow 33096 4) -2)) (- (pow 33096 6))) (* 77617 77617) (* (pow 33096 6) 333.75)) (fma (+ (fma (* (* 33096 33096) (* 77617 77617)) 11 (fma -121 (pow 33096 4) -2)) (- (pow 33096 6))) (* 77617 77617) (* (pow 33096 6) 333.75))) (* 2 33096) (* (* (* 2 33096) (* (pow 33096 8) 5.5)) (- (- (* (pow 33096 8) 5.5) (* (pow 33096 6) 333.75)) (fma (fma 11 (* (* 33096 33096) (* 77617 77617)) (- (pow 33096 6))) (* 77617 77617) (* (* 77617 77617) (fma -121 (pow 33096 4) -2)))))))) * * * * [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 (92 enodes) * * [misc]simplify: iters left: 4 (350 enodes) * [exit]simplify: Simplified to (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) * [misc]simplify: Simplified (2 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (* 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 (69 enodes) * * [misc]simplify: iters left: 4 (222 enodes) * [exit]simplify: Simplified to (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))) * [misc]simplify: Simplified (2 2) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [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 (71 enodes) * * [misc]simplify: iters left: 4 (216 enodes) * [exit]simplify: Simplified to (fma (* 77617 77617) (+ (fma (* (* 33096 33096) (* 11 77617)) 77617 (fma -121 (pow 33096 4) -2)) (- (pow 33096 6))) (fma (pow 33096 6) 333.75 (fma (pow 33096 8) 5.5 (/ (/ 77617 2) 33096)))) * [misc]simplify: Simplified (2 2) to (λ () (* 1 (fma (* 77617 77617) (+ (fma (* (* 33096 33096) (* 11 77617)) 77617 (fma -121 (pow 33096 4) -2)) (- (pow 33096 6))) (fma (pow 33096 6) 333.75 (fma (pow 33096 8) 5.5 (/ (/ 77617 2) 33096)))))) * * * * [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 (52 enodes) * * [misc]simplify: iters left: 4 (164 enodes) * [exit]simplify: Simplified to (fma (fma (* (* 33096 11) 33096) (* 77617 77617) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (* (pow 33096 6) 333.75)) * [misc]simplify: Simplified (2 1) to (λ () (+ (fma (fma (* (* 33096 11) 33096) (* 77617 77617) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (* (pow 33096 6) 333.75)) (+ (* 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) * [exit]simplify: Simplified to (cbrt (pow 33096 8)) * [misc]simplify: Simplified (2 1 2 2) to (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 5.5 (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8)))) (cbrt (pow 33096 8)))) (/ 77617 (* 2 33096)))) * * * * [misc]progress: [ 51 / 70 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (pow 33096 8)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (sqrt (pow 33096 8)) * [misc]simplify: Simplified (2 1 2 2) to (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 5.5 (sqrt (pow 33096 8))) (sqrt (pow 33096 8)))) (/ 77617 (* 2 33096)))) * * * * [misc]progress: [ 52 / 70 ] simplifiying candidate # * [enter]simplify: Simplifying (pow 33096 8) * * [misc]simplify: iters left: 1 (3 enodes) * [exit]simplify: Simplified to (pow 33096 8) * [misc]simplify: Simplified (2 1 2 2) to (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 5.5 1) (pow 33096 8))) (/ 77617 (* 2 33096)))) * * * * [misc]progress: [ 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) * [exit]simplify: Simplified to (cbrt (pow 33096 6)) * [misc]simplify: Simplified (2 1 1 1 2) to (λ () (+ (+ (+ (* (* 333.75 (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) (cbrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))) * * * * [misc]progress: [ 64 / 70 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (pow 33096 6)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (sqrt (pow 33096 6)) * [misc]simplify: Simplified (2 1 1 1 2) to (λ () (+ (+ (+ (* (* 333.75 (sqrt (pow 33096 6))) (sqrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))) * * * * [misc]progress: [ 65 / 70 ] simplifiying candidate # * [enter]simplify: Simplifying (pow 33096 6) * * [misc]simplify: iters left: 1 (3 enodes) * [exit]simplify: Simplified to (pow 33096 6) * [misc]simplify: Simplified (2 1 1 1 2) to (λ () (+ (+ (+ (* (* 333.75 1) (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))) * * * * [misc]progress: [ 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 (71 enodes) * * [misc]simplify: iters left: 4 (216 enodes) * [exit]simplify: Simplified to (fma (* 77617 77617) (+ (fma (* (* 33096 33096) (* 11 77617)) 77617 (fma -121 (pow 33096 4) -2)) (- (pow 33096 6))) (fma (pow 33096 6) 333.75 (fma (pow 33096 8) 5.5 (/ (/ 77617 2) 33096)))) * [misc]simplify: Simplified (2) to (λ () (fma (* 77617 77617) (+ (fma (* (* 33096 33096) (* 11 77617)) 77617 (fma -121 (pow 33096 4) -2)) (- (pow 33096 6))) (fma (pow 33096 6) 333.75 (fma (pow 33096 8) 5.5 (/ (/ 77617 2) 33096))))) * * * * [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 (71 enodes) * * [misc]simplify: iters left: 4 (216 enodes) * [exit]simplify: Simplified to (fma (* 77617 77617) (+ (fma (* (* 33096 33096) (* 11 77617)) 77617 (fma -121 (pow 33096 4) -2)) (- (pow 33096 6))) (fma (pow 33096 6) 333.75 (fma (pow 33096 8) 5.5 (/ (/ 77617 2) 33096)))) * [misc]simplify: Simplified (2) to (λ () (fma (* 77617 77617) (+ (fma (* (* 33096 33096) (* 11 77617)) 77617 (fma -121 (pow 33096 4) -2)) (- (pow 33096 6))) (fma (pow 33096 6) 333.75 (fma (pow 33096 8) 5.5 (/ (/ 77617 2) 33096))))) * * * * [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 (71 enodes) * * [misc]simplify: iters left: 4 (216 enodes) * [exit]simplify: Simplified to (fma (* 77617 77617) (+ (fma (* (* 33096 33096) (* 11 77617)) 77617 (fma -121 (pow 33096 4) -2)) (- (pow 33096 6))) (fma (pow 33096 6) 333.75 (fma (pow 33096 8) 5.5 (/ (/ 77617 2) 33096)))) * [misc]simplify: Simplified (2) to (λ () (fma (* 77617 77617) (+ (fma (* (* 33096 33096) (* 11 77617)) 77617 (fma -121 (pow 33096 4) -2)) (- (pow 33096 6))) (fma (pow 33096 6) 333.75 (fma (pow 33096 8) 5.5 (/ (/ 77617 2) 33096))))) * * * * [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 (71 enodes) * * [misc]simplify: iters left: 4 (216 enodes) * [exit]simplify: Simplified to (fma (* 77617 77617) (+ (fma (* (* 33096 33096) (* 11 77617)) 77617 (fma -121 (pow 33096 4) -2)) (- (pow 33096 6))) (fma (pow 33096 6) 333.75 (fma (pow 33096 8) 5.5 (/ (/ 77617 2) 33096)))) * [misc]simplify: Simplified (2) to (λ () (fma (* 77617 77617) (+ (fma (* (* 33096 33096) (* 11 77617)) 77617 (fma -121 (pow 33096 4) -2)) (- (pow 33096 6))) (fma (pow 33096 6) 333.75 (fma (pow 33096 8) 5.5 (/ (/ 77617 2) 33096))))) * * * [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 2) * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2 3 2) * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 3 3) * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 2 1 3) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2) * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2 3 2) * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 3 3) * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 2 1 3) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 2 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 3 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 4 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 5 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 6 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 7 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 8 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 9 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 10 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 11 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 12 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 13 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 14 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 15 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 16 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 17 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 18 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 19 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 20 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) * * [misc]simplify: iters left: 4 (5 enodes) * [exit]simplify: Simplified to (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) * [misc]simplify: Simplified (2 2 2 3 2 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) (* (cbrt (pow 33096 8)) 5.5))))))) * * * * [misc]progress: [ 21 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (pow 33096 8)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (sqrt (pow 33096 8)) * [misc]simplify: Simplified (2 2 2 3 2 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (sqrt (pow 33096 8)) (* (sqrt (pow 33096 8)) 5.5))))))) * * * * [misc]progress: [ 22 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 23 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 24 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 25 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 26 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 27 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 28 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 29 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 30 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 31 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 32 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 33 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) * * [misc]simplify: iters left: 4 (5 enodes) * [exit]simplify: Simplified to (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) * [misc]simplify: Simplified (2 1 1 2 3 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) (* (cbrt (pow 33096 8)) 5.5))))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 34 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (pow 33096 8)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (sqrt (pow 33096 8)) * [misc]simplify: Simplified (2 1 1 2 3 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (sqrt (pow 33096 8)) (* (sqrt (pow 33096 8)) 5.5))))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 35 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 36 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 37 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 38 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 39 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (6 enodes) * [exit]simplify: Simplified to (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) * [misc]simplify: Simplified (2 2 2 1 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 40 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (- (pow 33096 6))) * * [misc]simplify: iters left: 4 (5 enodes) * [exit]simplify: Simplified to (sqrt (- (pow 33096 6))) * [misc]simplify: Simplified (2 2 2 1 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (sqrt (- (pow 33096 6))) (sqrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 41 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 42 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 43 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (9 enodes) * [exit]simplify: Simplified to (- (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) * [misc]simplify: Simplified (2 2 2 1 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (- (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) (cbrt (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 44 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (- (sqrt (pow 33096 6))) * * [misc]simplify: iters left: 4 (5 enodes) * [exit]simplify: Simplified to (- (sqrt (pow 33096 6))) * [misc]simplify: Simplified (2 2 2 1 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (- (sqrt (pow 33096 6))) (sqrt (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 45 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (- 1) * * [misc]simplify: iters left: 2 (2 enodes) * * [misc]simplify: iters left: 1 (4 enodes) * [exit]simplify: Simplified to (- 1) * [misc]simplify: Simplified (2 2 2 1 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (- 1) (pow 33096 6) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 46 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6))) * * [misc]simplify: iters left: 4 (5 enodes) * [exit]simplify: Simplified to (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6))) * [misc]simplify: Simplified (2 2 2 1 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6))) (- (cbrt (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 47 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (pow 33096 6)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (sqrt (pow 33096 6)) * [misc]simplify: Simplified (2 2 2 1 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (sqrt (pow 33096 6)) (- (sqrt (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 48 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 49 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* (/ 1 (exp (pow 33096 6))) (exp (fma -121 (pow 33096 4) -2))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (35 enodes) * * [misc]simplify: iters left: 3 (75 enodes) * * [misc]simplify: iters left: 2 (112 enodes) * * [misc]simplify: iters left: 1 (151 enodes) * [exit]simplify: Simplified to (exp (fma (pow 33096 4) -121 (- -2 (pow 33096 6)))) * [misc]simplify: Simplified (2 2 2 1 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (log (exp (fma (pow 33096 4) -121 (- -2 (pow 33096 6)))))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 50 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* (exp (- (pow 33096 6))) (exp (fma -121 (pow 33096 4) -2))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (20 enodes) * * [misc]simplify: iters left: 4 (35 enodes) * * [misc]simplify: iters left: 3 (62 enodes) * * [misc]simplify: iters left: 2 (111 enodes) * * [misc]simplify: iters left: 1 (160 enodes) * [exit]simplify: Simplified to (exp (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) * [misc]simplify: Simplified (2 2 2 1 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (log (exp (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 51 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 52 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 53 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 54 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 55 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 56 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 57 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 58 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 59 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 60 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2)) * * [misc]simplify: iters left: 5 (10 enodes) * * [misc]simplify: iters left: 4 (13 enodes) * * [misc]simplify: iters left: 3 (20 enodes) * * [misc]simplify: iters left: 2 (33 enodes) * * [misc]simplify: iters left: 1 (37 enodes) * [exit]simplify: Simplified to (fma -121 (pow 33096 4) (- -2 (pow 33096 6))) * [misc]simplify: Simplified (2 2 2 1 3 2) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (* 1 (fma -121 (pow 33096 4) (- -2 (pow 33096 6))))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 61 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2)) * * [misc]simplify: iters left: 5 (10 enodes) * * [misc]simplify: iters left: 4 (13 enodes) * * [misc]simplify: iters left: 3 (20 enodes) * * [misc]simplify: iters left: 2 (33 enodes) * * [misc]simplify: iters left: 1 (37 enodes) * [exit]simplify: Simplified to (fma -121 (pow 33096 4) (- -2 (pow 33096 6))) * [misc]simplify: Simplified (2 2 2 1 3 2) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (* 1 (fma -121 (pow 33096 4) (- -2 (pow 33096 6))))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 62 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 63 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 64 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 65 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5))))) * * [misc]simplify: iters left: 6 (40 enodes) * * [misc]simplify: iters left: 5 (74 enodes) * * [misc]simplify: iters left: 4 (173 enodes) * [exit]simplify: Simplified to (/ (fma (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))) (* (* 33096 2) (fma (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (* 77617 77617) (fma 5.5 (pow 33096 8) (* (pow 33096 6) 333.75)))) (* (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))) 77617)) (* (* 33096 2) (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))))) * [misc]simplify: Simplified (2) to (λ () (/ (fma (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))) (* (* 33096 2) (fma (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (* 77617 77617) (fma 5.5 (pow 33096 8) (* (pow 33096 6) 333.75)))) (* (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))) 77617)) (* (* 33096 2) (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75)))))) * * * * [misc]progress: [ 66 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5))))) * * [misc]simplify: iters left: 6 (40 enodes) * * [misc]simplify: iters left: 5 (74 enodes) * * [misc]simplify: iters left: 4 (173 enodes) * [exit]simplify: Simplified to (/ (fma (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))) (* (* 33096 2) (fma (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (* 77617 77617) (fma 5.5 (pow 33096 8) (* (pow 33096 6) 333.75)))) (* (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))) 77617)) (* (* 33096 2) (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))))) * [misc]simplify: Simplified (2) to (λ () (/ (fma (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))) (* (* 33096 2) (fma (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (* 77617 77617) (fma 5.5 (pow 33096 8) (* (pow 33096 6) 333.75)))) (* (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))) 77617)) (* (* 33096 2) (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75)))))) * * * * [misc]progress: [ 67 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5))))) * * [misc]simplify: iters left: 6 (40 enodes) * * [misc]simplify: iters left: 5 (74 enodes) * * [misc]simplify: iters left: 4 (173 enodes) * [exit]simplify: Simplified to (/ (fma (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))) (* (* 33096 2) (fma (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (* 77617 77617) (fma 5.5 (pow 33096 8) (* (pow 33096 6) 333.75)))) (* (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))) 77617)) (* (* 33096 2) (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))))) * [misc]simplify: Simplified (2) to (λ () (/ (fma (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))) (* (* 33096 2) (fma (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (* 77617 77617) (fma 5.5 (pow 33096 8) (* (pow 33096 6) 333.75)))) (* (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))) 77617)) (* (* 33096 2) (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75)))))) * * * * [misc]progress: [ 68 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5))))) * * [misc]simplify: iters left: 6 (40 enodes) * * [misc]simplify: iters left: 5 (74 enodes) * * [misc]simplify: iters left: 4 (173 enodes) * [exit]simplify: Simplified to (/ (fma (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))) (* (* 33096 2) (fma (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (* 77617 77617) (fma 5.5 (pow 33096 8) (* (pow 33096 6) 333.75)))) (* (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))) 77617)) (* (* 33096 2) (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))))) * [misc]simplify: Simplified (2) to (λ () (/ (fma (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))) (* (* 33096 2) (fma (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (* 77617 77617) (fma 5.5 (pow 33096 8) (* (pow 33096 6) 333.75)))) (* (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75))) 77617)) (* (* 33096 2) (fma (* 77617 77617) (fma (* (* 11 33096) 33096) (* 77617 77617) (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) (fma 5.5 (- (pow 33096 8)) (* (pow 33096 6) 333.75)))))) * * * [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 2) * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2 3 2) * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 3 3) * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 3 2 2 3) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2) * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2 3 2) * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 3 3) * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 3 2 2 3) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 2 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 3 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 4 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 5 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 6 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 7 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 8 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 9 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 10 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 11 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 12 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 13 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 14 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 15 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 16 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 17 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 18 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 19 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 20 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) * * [misc]simplify: iters left: 4 (5 enodes) * [exit]simplify: Simplified to (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) * [misc]simplify: Simplified (2 2 2 3 2 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) (* (cbrt (pow 33096 8)) 5.5))))))) * * * * [misc]progress: [ 21 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (pow 33096 8)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (sqrt (pow 33096 8)) * [misc]simplify: Simplified (2 2 2 3 2 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (sqrt (pow 33096 8)) (* (sqrt (pow 33096 8)) 5.5))))))) * * * * [misc]progress: [ 22 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 23 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 24 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 25 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 26 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 27 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 28 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 29 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 30 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 31 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 32 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 33 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) * * [misc]simplify: iters left: 4 (5 enodes) * [exit]simplify: Simplified to (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) * [misc]simplify: Simplified (2 1 1 2 3 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) (* (cbrt (pow 33096 8)) 5.5))))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 34 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (pow 33096 8)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (sqrt (pow 33096 8)) * [misc]simplify: Simplified (2 1 1 2 3 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (sqrt (pow 33096 8)) (* (sqrt (pow 33096 8)) 5.5))))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 35 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 36 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 37 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 38 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 39 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (6 enodes) * [exit]simplify: Simplified to (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) * [misc]simplify: Simplified (2 1 3 2 2 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 40 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (- (pow 33096 6))) * * [misc]simplify: iters left: 4 (5 enodes) * [exit]simplify: Simplified to (sqrt (- (pow 33096 6))) * [misc]simplify: Simplified (2 1 3 2 2 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (fma (sqrt (- (pow 33096 6))) (sqrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 41 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 42 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 43 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (9 enodes) * [exit]simplify: Simplified to (- (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) * [misc]simplify: Simplified (2 1 3 2 2 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (fma (- (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) (cbrt (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 44 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (- (sqrt (pow 33096 6))) * * [misc]simplify: iters left: 4 (5 enodes) * [exit]simplify: Simplified to (- (sqrt (pow 33096 6))) * [misc]simplify: Simplified (2 1 3 2 2 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (fma (- (sqrt (pow 33096 6))) (sqrt (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 45 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (- 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 3 2 2 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (fma (- 1) (pow 33096 6) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 46 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6))) * * [misc]simplify: iters left: 4 (5 enodes) * [exit]simplify: Simplified to (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6))) * [misc]simplify: Simplified (2 1 3 2 2 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (fma (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6))) (- (cbrt (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 47 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (pow 33096 6)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (sqrt (pow 33096 6)) * [misc]simplify: Simplified (2 1 3 2 2 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (fma (sqrt (pow 33096 6)) (- (sqrt (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 48 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 49 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* (/ 1 (exp (pow 33096 6))) (exp (fma -121 (pow 33096 4) -2))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (35 enodes) * * [misc]simplify: iters left: 3 (75 enodes) * * [misc]simplify: iters left: 2 (112 enodes) * * [misc]simplify: iters left: 1 (151 enodes) * [exit]simplify: Simplified to (exp (fma (pow 33096 4) -121 (- -2 (pow 33096 6)))) * [misc]simplify: Simplified (2 1 3 2 2 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (log (exp (fma (pow 33096 4) -121 (- -2 (pow 33096 6)))))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 50 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* (exp (- (pow 33096 6))) (exp (fma -121 (pow 33096 4) -2))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (20 enodes) * * [misc]simplify: iters left: 4 (35 enodes) * * [misc]simplify: iters left: 3 (62 enodes) * * [misc]simplify: iters left: 2 (111 enodes) * * [misc]simplify: iters left: 1 (160 enodes) * [exit]simplify: Simplified to (exp (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))) * [misc]simplify: Simplified (2 1 3 2 2 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (log (exp (fma -121 (pow 33096 4) (- -2 (pow 33096 6)))))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 51 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 52 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 53 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 54 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 55 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 56 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 57 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 58 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 59 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 60 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2)) * * [misc]simplify: iters left: 5 (10 enodes) * * [misc]simplify: iters left: 4 (13 enodes) * * [misc]simplify: iters left: 3 (20 enodes) * * [misc]simplify: iters left: 2 (33 enodes) * * [misc]simplify: iters left: 1 (37 enodes) * [exit]simplify: Simplified to (fma -121 (pow 33096 4) (- -2 (pow 33096 6))) * [misc]simplify: Simplified (2 1 3 2 2 3 2) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (* 1 (fma -121 (pow 33096 4) (- -2 (pow 33096 6))))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 61 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2)) * * [misc]simplify: iters left: 5 (10 enodes) * * [misc]simplify: iters left: 4 (13 enodes) * * [misc]simplify: iters left: 3 (20 enodes) * * [misc]simplify: iters left: 2 (33 enodes) * * [misc]simplify: iters left: 1 (37 enodes) * [exit]simplify: Simplified to (fma -121 (pow 33096 4) (- -2 (pow 33096 6))) * [misc]simplify: Simplified (2 1 3 2 2 3 2) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (* 1 (fma -121 (pow 33096 4) (- -2 (pow 33096 6))))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 62 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 63 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 64 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 65 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (6 enodes) * [exit]simplify: Simplified to (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) * [misc]simplify: Simplified (2 2 2 1 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 66 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (6 enodes) * [exit]simplify: Simplified to (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) * [misc]simplify: Simplified (2 2 2 1 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 67 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (6 enodes) * [exit]simplify: Simplified to (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) * [misc]simplify: Simplified (2 2 2 1 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 68 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (6 enodes) * [exit]simplify: Simplified to (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) * [misc]simplify: Simplified (2 2 2 1 3 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5)))))) * * * [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 1 2) * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2 3 2 1 2) * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 2 3 2 1 1 2) * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 2 3 2 1 1 1) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2) * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2 3 2 1 2) * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 2 3 2 1 1 2) * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 2 3 2 1 1 1) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 2 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 3 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 4 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 5 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 6 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 7 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 8 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 9 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 10 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 11 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 12 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 13 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 14 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 15 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 16 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 17 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 18 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 19 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 20 / 53 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) * * [misc]simplify: iters left: 4 (5 enodes) * [exit]simplify: Simplified to (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) * [misc]simplify: Simplified (2 2 2 3 2 1 2 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (cbrt (* (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5)) (* (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) (* (cbrt (pow 33096 8)) 5.5))))))))) * * * * [misc]progress: [ 21 / 53 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (pow 33096 8)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (sqrt (pow 33096 8)) * [misc]simplify: Simplified (2 2 2 3 2 1 2 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (cbrt (* (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5)) (* (sqrt (pow 33096 8)) (* (sqrt (pow 33096 8)) 5.5))))))))) * * * * [misc]progress: [ 22 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 23 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 24 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 25 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 26 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 27 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 28 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 29 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 30 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 31 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 32 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 33 / 53 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) * * [misc]simplify: iters left: 4 (5 enodes) * [exit]simplify: Simplified to (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) * [misc]simplify: Simplified (2 2 2 3 2 1 1 2 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (cbrt (* (* (* (pow 33096 8) 5.5) (* (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) (* (cbrt (pow 33096 8)) 5.5))) (* (pow 33096 8) 5.5)))))))) * * * * [misc]progress: [ 34 / 53 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (pow 33096 8)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (sqrt (pow 33096 8)) * [misc]simplify: Simplified (2 2 2 3 2 1 1 2 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (cbrt (* (* (* (pow 33096 8) 5.5) (* (sqrt (pow 33096 8)) (* (sqrt (pow 33096 8)) 5.5))) (* (pow 33096 8) 5.5)))))))) * * * * [misc]progress: [ 35 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 36 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 37 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 38 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 39 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 40 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 41 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 42 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 43 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 44 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 45 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 46 / 53 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) * * [misc]simplify: iters left: 4 (5 enodes) * [exit]simplify: Simplified to (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) * [misc]simplify: Simplified (2 2 2 3 2 1 1 1 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (cbrt (* (* (* (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))) (* (cbrt (pow 33096 8)) 5.5)) (* (pow 33096 8) 5.5)) (* (pow 33096 8) 5.5)))))))) * * * * [misc]progress: [ 47 / 53 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (pow 33096 8)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (sqrt (pow 33096 8)) * [misc]simplify: Simplified (2 2 2 3 2 1 1 1 1) to (λ () (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (cbrt (* (* (* (sqrt (pow 33096 8)) (* (sqrt (pow 33096 8)) 5.5)) (* (pow 33096 8) 5.5)) (* (pow 33096 8) 5.5)))))))) * * * * [misc]progress: [ 48 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 49 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 50 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 51 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 52 / 53 ] simplifiying candidate # * * * * [misc]progress: [ 53 / 53 ] simplifiying candidate # * * * [misc]progress: adding candidates to table * [misc]progress: [Phase 3 of 3] Extracting. * [enter]simplify: Simplifying (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* 77617 (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (- (pow 33096 6)) (fma -121 (pow 33096 4) -2))) (fma 333.75 (pow 33096 6) (* (pow 33096 8) (- 5.5)))))) (* (* 33096 2) (fma (fma (* 77617 77617) (* 33096 (* 33096 11)) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (cbrt (* (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5)) (* (pow 33096 8) 5.5))))))) * * [misc]simplify: iters left: 6 (46 enodes) * * [misc]simplify: iters left: 5 (59 enodes) * * [misc]simplify: iters left: 4 (62 enodes) * [exit]simplify: Simplified to (/ (fma (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (fma -121 (pow 33096 4) -2) (- (pow 33096 6)))) (fma 333.75 (pow 33096 6) (* (- 5.5) (pow 33096 8)))) (fma (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (fma -121 (pow 33096 4) -2) (- (pow 33096 6)))) (* 77617 77617) (fma (pow 33096 6) 333.75 (* (pow 33096 8) 5.5)))) (* 33096 2) (* (fma (* 77617 77617) (fma (* 77617 77617) (* (* 33096 33096) 11) (+ (fma -121 (pow 33096 4) -2) (- (pow 33096 6)))) (fma 333.75 (pow 33096 6) (* (- 5.5) (pow 33096 8)))) 77617)) (* (* 33096 2) (fma (fma (* 77617 77617) (* (* 11 33096) 33096) (fma (* (cbrt (- (pow 33096 6))) (cbrt (- (pow 33096 6)))) (cbrt (- (pow 33096 6))) (fma -121 (pow 33096 4) -2))) (* 77617 77617) (- (* (pow 33096 6) 333.75) (cbrt (* (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5)) (* (pow 33096 8) 5.5))))))) * * * * [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