* [misc]progress: [Phase 1 of 3] Setting up. * * * [misc]progress: [1/2] Preparing points * * * [misc]progress: [2/2] Setting up program. * [enter]simplify: Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (58 enodes) * * [misc]simplify: iters left: 4 (102 enodes) * * [misc]simplify: iters left: 3 (197 enodes) * * [misc]simplify: iters left: 2 (350 enodes) * [exit]simplify: Simplified to (+ (+ (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096))) (* (pow 33096 8) 5.5)) (* (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (+ -2 (* 11 (* (* 33096 77617) (* 33096 77617))))) (sqr 77617))) * [misc]progress: [Phase 2 of 3] Improving. * * [misc]progress: iteration 1 / 3 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1) * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) * * * * [misc]progress: [ 3 / 4 ] generating series at (2) * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2) * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1) * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) * * * * [misc]progress: [ 3 / 4 ] rewriting at (2) * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (58 enodes) * * [misc]simplify: iters left: 4 (102 enodes) * * [misc]simplify: iters left: 3 (197 enodes) * * [misc]simplify: iters left: 2 (350 enodes) * [exit]simplify: Simplified to (+ (+ (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096))) (* (pow 33096 8) 5.5)) (* (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (+ -2 (* 11 (* (* 33096 77617) (* 33096 77617))))) (sqr 77617))) * * * * [misc]progress: [ 2 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (58 enodes) * * [misc]simplify: iters left: 4 (102 enodes) * * [misc]simplify: iters left: 3 (197 enodes) * * [misc]simplify: iters left: 2 (350 enodes) * [exit]simplify: Simplified to (+ (+ (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096))) (* (pow 33096 8) 5.5)) (* (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (+ -2 (* 11 (* (* 33096 77617) (* 33096 77617))))) (sqr 77617))) * * * * [misc]progress: [ 3 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (58 enodes) * * [misc]simplify: iters left: 4 (102 enodes) * * [misc]simplify: iters left: 3 (197 enodes) * * [misc]simplify: iters left: 2 (350 enodes) * [exit]simplify: Simplified to (+ (+ (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096))) (* (pow 33096 8) 5.5)) (* (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (+ -2 (* 11 (* (* 33096 77617) (* 33096 77617))))) (sqr 77617))) * * * * [misc]progress: [ 4 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (58 enodes) * * [misc]simplify: iters left: 4 (102 enodes) * * [misc]simplify: iters left: 3 (197 enodes) * * [misc]simplify: iters left: 2 (350 enodes) * [exit]simplify: Simplified to (+ (+ (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096))) (* (pow 33096 8) 5.5)) (* (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (+ -2 (* 11 (* (* 33096 77617) (* 33096 77617))))) (sqr 77617))) * * * * [misc]progress: [ 5 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (58 enodes) * * [misc]simplify: iters left: 4 (102 enodes) * * [misc]simplify: iters left: 3 (197 enodes) * * [misc]simplify: iters left: 2 (350 enodes) * [exit]simplify: Simplified to (+ (+ (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096))) (* (pow 33096 8) 5.5)) (* (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (+ -2 (* 11 (* (* 33096 77617) (* 33096 77617))))) (sqr 77617))) * * * * [misc]progress: [ 6 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (58 enodes) * * [misc]simplify: iters left: 4 (102 enodes) * * [misc]simplify: iters left: 3 (197 enodes) * * [misc]simplify: iters left: 2 (350 enodes) * [exit]simplify: Simplified to (+ (+ (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096))) (* (pow 33096 8) 5.5)) (* (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (+ -2 (* 11 (* (* 33096 77617) (* 33096 77617))))) (sqr 77617))) * * * * [misc]progress: [ 7 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (58 enodes) * * [misc]simplify: iters left: 4 (102 enodes) * * [misc]simplify: iters left: 3 (197 enodes) * * [misc]simplify: iters left: 2 (350 enodes) * [exit]simplify: Simplified to (+ (+ (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096))) (* (pow 33096 8) 5.5)) (* (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (+ -2 (* 11 (* (* 33096 77617) (* 33096 77617))))) (sqr 77617))) * * * * [misc]progress: [ 8 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (58 enodes) * * [misc]simplify: iters left: 4 (102 enodes) * * [misc]simplify: iters left: 3 (197 enodes) * * [misc]simplify: iters left: 2 (350 enodes) * [exit]simplify: Simplified to (+ (+ (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096))) (* (pow 33096 8) 5.5)) (* (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (+ -2 (* 11 (* (* 33096 77617) (* 33096 77617))))) (sqr 77617))) * * * * [misc]progress: [ 9 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (58 enodes) * * [misc]simplify: iters left: 4 (102 enodes) * * [misc]simplify: iters left: 3 (197 enodes) * * [misc]simplify: iters left: 2 (350 enodes) * [exit]simplify: Simplified to (+ (+ (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096))) (* (pow 33096 8) 5.5)) (* (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (+ -2 (* 11 (* (* 33096 77617) (* 33096 77617))))) (sqr 77617))) * * * * [misc]progress: [ 10 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (58 enodes) * * [misc]simplify: iters left: 4 (102 enodes) * * [misc]simplify: iters left: 3 (197 enodes) * * [misc]simplify: iters left: 2 (350 enodes) * [exit]simplify: Simplified to (+ (+ (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096))) (* (pow 33096 8) 5.5)) (* (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (+ -2 (* 11 (* (* 33096 77617) (* 33096 77617))))) (sqr 77617))) * * * * [misc]progress: [ 11 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (58 enodes) * * [misc]simplify: iters left: 4 (102 enodes) * * [misc]simplify: iters left: 3 (197 enodes) * * [misc]simplify: iters left: 2 (350 enodes) * [exit]simplify: Simplified to (+ (+ (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096))) (* (pow 33096 8) 5.5)) (* (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (+ -2 (* 11 (* (* 33096 77617) (* 33096 77617))))) (sqr 77617))) * * * * [misc]progress: [ 12 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (58 enodes) * * [misc]simplify: iters left: 4 (102 enodes) * * [misc]simplify: iters left: 3 (197 enodes) * * [misc]simplify: iters left: 2 (350 enodes) * [exit]simplify: Simplified to (+ (+ (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096))) (* (pow 33096 8) 5.5)) (* (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (+ -2 (* 11 (* (* 33096 77617) (* 33096 77617))))) (sqr 77617))) * * * * [misc]progress: [ 13 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (exp (* 333.75 (pow 33096 6))) (exp (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (60 enodes) * * [misc]simplify: iters left: 4 (112 enodes) * * [misc]simplify: iters left: 3 (241 enodes) * [exit]simplify: Simplified to (* (pow (exp (sqr 77617)) (+ (+ (+ (* (pow 33096 4) -121) (- (pow 33096 6))) -2) (* 11 (* (sqr 33096) (sqr 77617))))) (* (pow (exp 5.5) (pow 33096 8)) (pow (exp 333.75) (pow 33096 6)))) * [exit]simplify: Simplified to (* (pow (exp (sqr 77617)) (+ (+ (+ (* (pow 33096 4) -121) (- (pow 33096 6))) -2) (* 11 (* (sqr 33096) (sqr 77617))))) (* (pow (exp 5.5) (pow 33096 8)) (pow (exp 333.75) (pow 33096 6)))) * * * * [misc]progress: [ 14 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (* (exp (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (57 enodes) * * [misc]simplify: iters left: 4 (117 enodes) * * [misc]simplify: iters left: 3 (252 enodes) * [exit]simplify: Simplified to (* (pow (exp (sqr 77617)) (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (* 11 (* (sqr 77617) (sqr 33096))))) (* (pow (exp -2) (sqr 77617)) (* (pow (exp 5.5) (pow 33096 8)) (pow (exp 333.75) (pow 33096 6))))) * [exit]simplify: Simplified to (* (pow (exp (sqr 77617)) (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (* 11 (* (sqr 77617) (sqr 33096))))) (* (pow (exp -2) (sqr 77617)) (* (pow (exp 5.5) (pow 33096 8)) (pow (exp 333.75) (pow 33096 6))))) * * * * [misc]progress: [ 15 / 60 ] simplifiying candidate # * * * * [misc]progress: [ 16 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (log (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (50 enodes) * * [misc]simplify: iters left: 4 (90 enodes) * * [misc]simplify: iters left: 3 (170 enodes) * * [misc]simplify: iters left: 2 (317 enodes) * [exit]simplify: Simplified to (log (+ (+ (+ (+ (* (* -2 77617) 77617) (* 333.75 (pow 33096 6))) (* (* 77617 (* 11 77617)) (* (* 33096 77617) (* 33096 77617)))) (* (sqr 77617) (+ (- (pow 33096 6)) (* (pow 33096 4) -121)))) (* (pow 33096 8) 5.5))) * [exit]simplify: Simplified to (log (+ (+ (+ (+ (* (* -2 77617) 77617) (* 333.75 (pow 33096 6))) (* (* 77617 (* 11 77617)) (* (* 33096 77617) (* 33096 77617)))) (* (sqr 77617) (+ (- (pow 33096 6)) (* (pow 33096 4) -121)))) (* (pow 33096 8) 5.5))) * * * * [misc]progress: [ 17 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (53 enodes) * * [misc]simplify: iters left: 4 (102 enodes) * * [misc]simplify: iters left: 3 (217 enodes) * * [misc]simplify: iters left: 2 (422 enodes) * [exit]simplify: Simplified to (exp (+ (+ (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))) (+ (+ (- (* (pow 33096 6) (sqr 77617))) (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617)))) (* (+ (* (pow 33096 4) -121) -2) (sqr 77617))))) * [exit]simplify: Simplified to (exp (+ (+ (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))) (+ (+ (- (* (pow 33096 6) (sqr 77617))) (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617)))) (* (+ (* (pow 33096 4) -121) -2) (sqr 77617))))) * * * * [misc]progress: [ 18 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (50 enodes) * * [misc]simplify: iters left: 4 (90 enodes) * * [misc]simplify: iters left: 3 (170 enodes) * * [misc]simplify: iters left: 2 (317 enodes) * [exit]simplify: Simplified to (cbrt (+ (+ (+ (+ (* (* -2 77617) 77617) (* 333.75 (pow 33096 6))) (* (* 77617 (* 11 77617)) (* (* 33096 77617) (* 33096 77617)))) (* (sqr 77617) (+ (- (pow 33096 6)) (* (pow 33096 4) -121)))) (* (pow 33096 8) 5.5))) * [exit]simplify: Simplified to (cbrt (+ (+ (+ (+ (* (* -2 77617) 77617) (* 333.75 (pow 33096 6))) (* (* 77617 (* 11 77617)) (* (* 33096 77617) (* 33096 77617)))) (* (sqr 77617) (+ (- (pow 33096 6)) (* (pow 33096 4) -121)))) (* (pow 33096 8) 5.5))) * * * * [misc]progress: [ 19 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (52 enodes) * * [misc]simplify: iters left: 4 (106 enodes) * * [misc]simplify: iters left: 3 (293 enodes) * [exit]simplify: Simplified to (cube (+ (+ (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))) (* (+ (+ -2 (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) (* (* (sqr 77617) (sqr 33096)) 11)) (sqr 77617)))) * [exit]simplify: Simplified to (cube (+ (+ (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))) (* (+ (+ -2 (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) (* (* (sqr 77617) (sqr 33096)) 11)) (sqr 77617)))) * * * * [misc]progress: [ 20 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (50 enodes) * * [misc]simplify: iters left: 4 (90 enodes) * * [misc]simplify: iters left: 3 (170 enodes) * * [misc]simplify: iters left: 2 (317 enodes) * [exit]simplify: Simplified to (sqrt (+ (+ (+ (+ (* (* -2 77617) 77617) (* 333.75 (pow 33096 6))) (* (* 77617 (* 11 77617)) (* (* 33096 77617) (* 33096 77617)))) (* (sqr 77617) (+ (- (pow 33096 6)) (* (pow 33096 4) -121)))) (* (pow 33096 8) 5.5))) * [exit]simplify: Simplified to (sqrt (+ (+ (+ (+ (* (* -2 77617) 77617) (* 333.75 (pow 33096 6))) (* (* 77617 (* 11 77617)) (* (* 33096 77617) (* 33096 77617)))) (* (sqr 77617) (+ (- (pow 33096 6)) (* (pow 33096 4) -121)))) (* (pow 33096 8) 5.5))) * * * * [misc]progress: [ 21 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (pow (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) 3) (pow (* 5.5 (pow 33096 8)) 3)) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (53 enodes) * * [misc]simplify: iters left: 4 (98 enodes) * * [misc]simplify: iters left: 3 (195 enodes) * * [misc]simplify: iters left: 2 (422 enodes) * [exit]simplify: Simplified to (+ (cube (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* -2 77617) 77617)) (* (* (* 33096 77617) (* 33096 77617)) (* (sqr 77617) 11))) (* (sqr 77617) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) (cube (* (pow 33096 8) 5.5))) * [exit]simplify: Simplified to (+ (cube (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* -2 77617) 77617)) (* (* (* 33096 77617) (* 33096 77617)) (* (sqr 77617) 11))) (* (sqr 77617) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) (cube (* (pow 33096 8) 5.5))) * [enter]simplify: Simplifying (+ (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (- (sqr (* 5.5 (pow 33096 8))) (* (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (61 enodes) * * [misc]simplify: iters left: 4 (117 enodes) * * [misc]simplify: iters left: 3 (301 enodes) * [exit]simplify: Simplified to (+ (* (* (pow 33096 8) 5.5) (- (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))) (* (+ (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2) (* (* (sqr 33096) (* 11 77617)) 77617)) (sqr 77617)))) (sqr (+ (* 333.75 (pow 33096 6)) (* (+ (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2) (* (* (sqr 33096) (* 11 77617)) 77617)) (sqr 77617))))) * [exit]simplify: Simplified to (+ (* (* (pow 33096 8) 5.5) (- (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))) (* (+ (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2) (* (* (sqr 33096) (* 11 77617)) 77617)) (sqr 77617)))) (sqr (+ (* 333.75 (pow 33096 6)) (* (+ (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2) (* (* (sqr 33096) (* 11 77617)) 77617)) (sqr 77617))))) * * * * [misc]progress: [ 22 / 60 ] simplifiying candidate # * * * * [misc]progress: [ 23 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) * * [misc]simplify: iters left: 6 (29 enodes) * * [misc]simplify: iters left: 5 (57 enodes) * * [misc]simplify: iters left: 4 (114 enodes) * * [misc]simplify: iters left: 3 (292 enodes) * [exit]simplify: Simplified to (* (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (+ (* (* (sqr 77617) (sqr 33096)) (* (sqr 77617) 11)) (* (- (pow 33096 6)) (sqr 77617))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))) (+ (+ (+ (* (* (sqr 77617) (sqr 33096)) (* (sqr 77617) 11)) (* (- (pow 33096 6)) (sqr 77617))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))) * [exit]simplify: Simplified to (* (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (+ (* (* (sqr 77617) (sqr 33096)) (* (sqr 77617) 11)) (* (- (pow 33096 6)) (sqr 77617))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))) (+ (+ (+ (* (* (sqr 77617) (sqr 33096)) (* (sqr 77617) 11)) (* (- (pow 33096 6)) (sqr 77617))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))) * [enter]simplify: Simplifying (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 6 (27 enodes) * * [misc]simplify: iters left: 5 (49 enodes) * * [misc]simplify: iters left: 4 (87 enodes) * * [misc]simplify: iters left: 3 (174 enodes) * * [misc]simplify: iters left: 2 (377 enodes) * [exit]simplify: Simplified to (+ (+ (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)) (+ (* (* (* 33096 77617) (* 33096 77617)) (* (sqr 77617) 11)) (- (* (sqr 77617) (pow 33096 6))))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) * [exit]simplify: Simplified to (+ (+ (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)) (+ (* (* (* 33096 77617) (* 33096 77617)) (* (sqr 77617) 11)) (- (* (sqr 77617) (pow 33096 6))))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) * * * * [misc]progress: [ 24 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)) (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 6 (24 enodes) * * [misc]simplify: iters left: 5 (43 enodes) * * [misc]simplify: iters left: 4 (80 enodes) * * [misc]simplify: iters left: 3 (160 enodes) * * [misc]simplify: iters left: 2 (329 enodes) * [exit]simplify: Simplified to (+ (* (+ (* (pow 33096 4) -121) (- (pow 33096 6))) (* 77617 77617)) (+ (+ (* 5.5 (pow 33096 8)) (* 77617 (* -2 77617))) (* (* (* 77617 33096) (* 77617 33096)) (* 77617 (* 11 77617))))) * [exit]simplify: Simplified to (+ (* (+ (* (pow 33096 4) -121) (- (pow 33096 6))) (* 77617 77617)) (+ (+ (* 5.5 (pow 33096 8)) (* 77617 (* -2 77617))) (* (* (* 77617 33096) (* 77617 33096)) (* 77617 (* 11 77617))))) * * * * [misc]progress: [ 25 / 60 ] simplifiying candidate # * * * * [misc]progress: [ 26 / 60 ] simplifiying candidate # * * * * [misc]progress: [ 27 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (log (* 333.75 (pow 33096 6))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * * [misc]simplify: iters left: 2 (13 enodes) * * [misc]simplify: iters left: 1 (14 enodes) * [exit]simplify: Simplified to (+ (log 333.75) (* (log 33096) 6)) * [exit]simplify: Simplified to (+ (log 333.75) (* (log 33096) 6)) * * * * [misc]progress: [ 28 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (* 333.75 (pow 33096 6))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * [exit]simplify: Simplified to (pow (exp 333.75) (pow 33096 6)) * [exit]simplify: Simplified to (pow (exp 333.75) (pow 33096 6)) * * * * [misc]progress: [ 29 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (* 333.75 (pow 33096 6))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * [exit]simplify: Simplified to (cbrt (* 333.75 (pow 33096 6))) * [exit]simplify: Simplified to (cbrt (* 333.75 (pow 33096 6))) * * * * [misc]progress: [ 30 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (* 333.75 (pow 33096 6))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (22 enodes) * * [misc]simplify: iters left: 1 (33 enodes) * [exit]simplify: Simplified to (cube (* 333.75 (pow 33096 6))) * [exit]simplify: Simplified to (cube (* 333.75 (pow 33096 6))) * * * * [misc]progress: [ 31 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (* 333.75 (pow 33096 6))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * [exit]simplify: Simplified to (sqrt (* 333.75 (pow 33096 6))) * [exit]simplify: Simplified to (sqrt (* 333.75 (pow 33096 6))) * * * * [misc]progress: [ 32 / 60 ] simplifiying candidate # * * * * [misc]progress: [ 33 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (* 333.75 1) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to 333.75 * [exit]simplify: Simplified to 333.75 * * * * [misc]progress: [ 34 / 60 ] simplifiying candidate # * * * * [misc]progress: [ 35 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (* (exp (* 333.75 (pow 33096 6))) (exp (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (71 enodes) * * [misc]simplify: iters left: 4 (128 enodes) * * [misc]simplify: iters left: 3 (256 enodes) * [exit]simplify: Simplified to (* (* (exp (/ 77617 (+ 33096 33096))) (* (pow (exp 5.5) (pow 33096 8)) (pow (exp 333.75) (pow 33096 6)))) (exp (+ (+ (* (* -2 77617) 77617) (* (* 77617 (* 77617 11)) (* (sqr 33096) (sqr 77617)))) (* (+ (* (pow 33096 4) -121) (- (pow 33096 6))) (sqr 77617))))) * [exit]simplify: Simplified to (* (* (exp (/ 77617 (+ 33096 33096))) (* (pow (exp 5.5) (pow 33096 8)) (pow (exp 333.75) (pow 33096 6)))) (exp (+ (+ (* (* -2 77617) 77617) (* (* 77617 (* 77617 11)) (* (sqr 33096) (sqr 77617)))) (* (+ (* (pow 33096 4) -121) (- (pow 33096 6))) (sqr 77617))))) * * * * [misc]progress: [ 36 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (exp (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (68 enodes) * * [misc]simplify: iters left: 4 (133 enodes) * * [misc]simplify: iters left: 3 (259 enodes) * [exit]simplify: Simplified to (* (* (exp (+ (* (pow 33096 8) 5.5) (/ 77617 (+ 33096 33096)))) (pow (exp 333.75) (pow 33096 6))) (exp (+ (+ (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617))) (* (* -2 77617) 77617)) (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617))))) * [exit]simplify: Simplified to (* (* (exp (+ (* (pow 33096 8) 5.5) (/ 77617 (+ 33096 33096)))) (pow (exp 333.75) (pow 33096 6))) (exp (+ (+ (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617))) (* (* -2 77617) 77617)) (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617))))) * * * * [misc]progress: [ 37 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (* (exp (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (65 enodes) * * [misc]simplify: iters left: 4 (122 enodes) * * [misc]simplify: iters left: 3 (244 enodes) * * [misc]simplify: iters left: 2 (485 enodes) * [exit]simplify: Simplified to (* (exp (+ (* (pow 33096 8) 5.5) (/ 77617 (+ 33096 33096)))) (* (* (pow (exp 333.75) (pow 33096 6)) (pow (exp -2) (sqr 77617))) (pow (exp (sqr 77617)) (+ (* 11 (* (* 33096 77617) (* 33096 77617))) (+ (- (pow 33096 6)) (* (pow 33096 4) -121)))))) * [exit]simplify: Simplified to (* (exp (+ (* (pow 33096 8) 5.5) (/ 77617 (+ 33096 33096)))) (* (* (pow (exp 333.75) (pow 33096 6)) (pow (exp -2) (sqr 77617))) (pow (exp (sqr 77617)) (+ (* 11 (* (* 33096 77617) (* 33096 77617))) (+ (- (pow 33096 6)) (* (pow 33096 4) -121)))))) * * * * [misc]progress: [ 38 / 60 ] simplifiying candidate # * * * * [misc]progress: [ 39 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (log (+ (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))) * * [misc]simplify: iters left: 6 (32 enodes) * * [misc]simplify: iters left: 5 (59 enodes) * * [misc]simplify: iters left: 4 (103 enodes) * * [misc]simplify: iters left: 3 (199 enodes) * * [misc]simplify: iters left: 2 (357 enodes) * [exit]simplify: Simplified to (log (+ (+ (* (pow 33096 8) 5.5) (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096)))) (+ (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)) (+ (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617))) (- (* (pow 33096 6) (sqr 77617))))))) * [exit]simplify: Simplified to (log (+ (+ (* (pow 33096 8) 5.5) (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096)))) (+ (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)) (+ (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617))) (- (* (pow 33096 6) (sqr 77617))))))) * * * * [misc]progress: [ 40 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (+ (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))) * * [misc]simplify: iters left: 6 (32 enodes) * * [misc]simplify: iters left: 5 (62 enodes) * * [misc]simplify: iters left: 4 (113 enodes) * * [misc]simplify: iters left: 3 (221 enodes) * * [misc]simplify: iters left: 2 (478 enodes) * [exit]simplify: Simplified to (exp (+ (+ (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617)) (+ (+ (* (pow 33096 8) 5.5) (* 77617 (* -2 77617))) (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617))))) (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096))))) * [exit]simplify: Simplified to (exp (+ (+ (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617)) (+ (+ (* (pow 33096 8) 5.5) (* 77617 (* -2 77617))) (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617))))) (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096))))) * * * * [misc]progress: [ 41 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (+ (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))) * * [misc]simplify: iters left: 6 (32 enodes) * * [misc]simplify: iters left: 5 (59 enodes) * * [misc]simplify: iters left: 4 (103 enodes) * * [misc]simplify: iters left: 3 (199 enodes) * * [misc]simplify: iters left: 2 (357 enodes) * [exit]simplify: Simplified to (cbrt (+ (+ (* (pow 33096 8) 5.5) (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096)))) (+ (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)) (+ (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617))) (- (* (pow 33096 6) (sqr 77617))))))) * [exit]simplify: Simplified to (cbrt (+ (+ (* (pow 33096 8) 5.5) (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096)))) (+ (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)) (+ (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617))) (- (* (pow 33096 6) (sqr 77617))))))) * * * * [misc]progress: [ 42 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (+ (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))) * * [misc]simplify: iters left: 6 (32 enodes) * * [misc]simplify: iters left: 5 (61 enodes) * * [misc]simplify: iters left: 4 (115 enodes) * * [misc]simplify: iters left: 3 (295 enodes) * [exit]simplify: Simplified to (cube (+ (+ (* (pow 33096 8) 5.5) (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096)))) (+ (+ (- (* (pow 33096 6) (sqr 77617))) (* (* (sqr 77617) (sqr 33096)) (* 77617 (* 11 77617)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))))) * [exit]simplify: Simplified to (cube (+ (+ (* (pow 33096 8) 5.5) (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096)))) (+ (+ (- (* (pow 33096 6) (sqr 77617))) (* (* (sqr 77617) (sqr 33096)) (* 77617 (* 11 77617)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))))) * * * * [misc]progress: [ 43 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (+ (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))) * * [misc]simplify: iters left: 6 (32 enodes) * * [misc]simplify: iters left: 5 (59 enodes) * * [misc]simplify: iters left: 4 (103 enodes) * * [misc]simplify: iters left: 3 (199 enodes) * * [misc]simplify: iters left: 2 (357 enodes) * [exit]simplify: Simplified to (sqrt (+ (+ (* (pow 33096 8) 5.5) (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096)))) (+ (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)) (+ (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617))) (- (* (pow 33096 6) (sqr 77617))))))) * [exit]simplify: Simplified to (sqrt (+ (+ (* (pow 33096 8) 5.5) (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096)))) (+ (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)) (+ (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617))) (- (* (pow 33096 6) (sqr 77617))))))) * * * * [misc]progress: [ 44 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (+ (pow (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) 3) (pow (* 5.5 (pow 33096 8)) 3)) (* 2 33096)) (* (+ (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (- (sqr (* 5.5 (pow 33096 8))) (* (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (79 enodes) * * [misc]simplify: iters left: 4 (156 enodes) * * [misc]simplify: iters left: 3 (408 enodes) * [exit]simplify: Simplified to (+ (* (+ (cube (+ (* 333.75 (pow 33096 6)) (+ (+ (* (* (* 33096 77617) (* 33096 77617)) (* 77617 (* 11 77617))) (* (sqr 77617) (- (pow 33096 6)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))))) (cube (* (pow 33096 8) 5.5))) (+ 33096 33096)) (* 77617 (- (sqr (* (pow 33096 8) 5.5)) (* (- (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))) (+ (+ (* (* (* 33096 77617) (* 33096 77617)) (* 77617 (* 11 77617))) (* (sqr 77617) (- (pow 33096 6)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))) (+ (* 333.75 (pow 33096 6)) (+ (+ (* (* (* 33096 77617) (* 33096 77617)) (* 77617 (* 11 77617))) (* (sqr 77617) (- (pow 33096 6)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))))))) * [exit]simplify: Simplified to (+ (* (+ (cube (+ (* 333.75 (pow 33096 6)) (+ (+ (* (* (* 33096 77617) (* 33096 77617)) (* 77617 (* 11 77617))) (* (sqr 77617) (- (pow 33096 6)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))))) (cube (* (pow 33096 8) 5.5))) (+ 33096 33096)) (* 77617 (- (sqr (* (pow 33096 8) 5.5)) (* (- (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))) (+ (+ (* (* (* 33096 77617) (* 33096 77617)) (* 77617 (* 11 77617))) (* (sqr 77617) (- (pow 33096 6)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))) (+ (* 333.75 (pow 33096 6)) (+ (+ (* (* (* 33096 77617) (* 33096 77617)) (* 77617 (* 11 77617))) (* (sqr 77617) (- (pow 33096 6)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))))))) * [enter]simplify: Simplifying (* (+ (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (- (sqr (* 5.5 (pow 33096 8))) (* (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (68 enodes) * * [misc]simplify: iters left: 4 (131 enodes) * * [misc]simplify: iters left: 3 (323 enodes) * [exit]simplify: Simplified to (* (- (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5)) (* (- (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))) (+ (+ (* (* -2 77617) 77617) (* (* (* 11 77617) 77617) (* (sqr 77617) (sqr 33096)))) (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617)))) (+ (+ (* 333.75 (pow 33096 6)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (* (* (* 11 77617) 77617) (sqr 33096))))))) (+ 33096 33096)) * [exit]simplify: Simplified to (* (- (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5)) (* (- (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))) (+ (+ (* (* -2 77617) 77617) (* (* (* 11 77617) 77617) (* (sqr 77617) (sqr 33096)))) (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617)))) (+ (+ (* 333.75 (pow 33096 6)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (* (* (* 11 77617) 77617) (sqr 33096))))))) (+ 33096 33096)) * * * * [misc]progress: [ 45 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (* 2 33096)) (* (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (70 enodes) * * [misc]simplify: iters left: 4 (144 enodes) * * [misc]simplify: iters left: 3 (385 enodes) * [exit]simplify: Simplified to (+ (* (* (+ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* (sqr 77617) 11) (* (sqr 77617) (sqr 33096)))) (* (sqr 77617) (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2))) (- (+ (+ (* (- (pow 33096 6)) (sqr 77617)) (* (* (sqr 77617) 11) (* (sqr 77617) (sqr 33096)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))))) (+ 33096 33096)) (* 77617 (- (+ (+ (* (- (pow 33096 6)) (sqr 77617)) (* (* (sqr 77617) 11) (* (sqr 77617) (sqr 33096)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))))) * [exit]simplify: Simplified to (+ (* (* (+ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* (sqr 77617) 11) (* (sqr 77617) (sqr 33096)))) (* (sqr 77617) (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2))) (- (+ (+ (* (- (pow 33096 6)) (sqr 77617)) (* (* (sqr 77617) 11) (* (sqr 77617) (sqr 33096)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))))) (+ 33096 33096)) (* 77617 (- (+ (+ (* (- (pow 33096 6)) (sqr 77617)) (* (* (sqr 77617) 11) (* (sqr 77617) (sqr 33096)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))))) * [enter]simplify: Simplifying (* (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (56 enodes) * * [misc]simplify: iters left: 4 (101 enodes) * * [misc]simplify: iters left: 3 (213 enodes) * * [misc]simplify: iters left: 2 (477 enodes) * [exit]simplify: Simplified to (* (+ 33096 33096) (+ (* (+ (+ (- (pow 33096 6)) -2) (* (* (* 33096 77617) (* 33096 77617)) 11)) (sqr 77617)) (- (* (* (pow 33096 4) (* 77617 -121)) 77617) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))))) * [exit]simplify: Simplified to (* (+ 33096 33096) (+ (* (+ (+ (- (pow 33096 6)) -2) (* (* (* 33096 77617) (* 33096 77617)) 11)) (sqr 77617)) (- (* (* (pow 33096 4) (* 77617 -121)) 77617) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))))) * * * * [misc]progress: [ 46 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (pow (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) 3) (pow (/ 77617 (* 2 33096)) 3)) * * [misc]simplify: iters left: 6 (34 enodes) * * [misc]simplify: iters left: 5 (63 enodes) * * [misc]simplify: iters left: 4 (113 enodes) * * [misc]simplify: iters left: 3 (246 enodes) * [exit]simplify: Simplified to (+ (cube (/ 77617 (+ 33096 33096))) (cube (+ (+ (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))) (+ (+ (* (sqr 77617) (- (pow 33096 6))) (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))))) * [exit]simplify: Simplified to (+ (cube (/ 77617 (+ 33096 33096))) (cube (+ (+ (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))) (+ (+ (* (sqr 77617) (- (pow 33096 6))) (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))))) * [enter]simplify: Simplifying (+ (sqr (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (- (sqr (/ 77617 (* 2 33096))) (* (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (71 enodes) * * [misc]simplify: iters left: 4 (166 enodes) * * [misc]simplify: iters left: 3 (434 enodes) * [exit]simplify: Simplified to (- (* (/ 77617 (+ 33096 33096)) (/ 77617 (+ 33096 33096))) (* (+ (+ (+ (* (* 77617 (* 11 77617)) (* (* 33096 77617) (* 33096 77617))) (* (sqr 77617) (- (pow 33096 6)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (+ (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))) (- (/ 77617 (+ 33096 33096)) (+ (+ (+ (* (* 77617 (* 11 77617)) (* (* 33096 77617) (* 33096 77617))) (* (sqr 77617) (- (pow 33096 6)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (+ (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))))))) * [exit]simplify: Simplified to (- (* (/ 77617 (+ 33096 33096)) (/ 77617 (+ 33096 33096))) (* (+ (+ (+ (* (* 77617 (* 11 77617)) (* (* 33096 77617) (* 33096 77617))) (* (sqr 77617) (- (pow 33096 6)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (+ (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))) (- (/ 77617 (+ 33096 33096)) (+ (+ (+ (* (* 77617 (* 11 77617)) (* (* 33096 77617) (* 33096 77617))) (* (sqr 77617) (- (pow 33096 6)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (+ (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))))))) * * * * [misc]progress: [ 47 / 60 ] simplifiying candidate # * * * * [misc]progress: [ 48 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (- (sqr (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (sqr (/ 77617 (* 2 33096)))) * * [misc]simplify: iters left: 6 (33 enodes) * * [misc]simplify: iters left: 5 (66 enodes) * * [misc]simplify: iters left: 4 (141 enodes) * * [misc]simplify: iters left: 3 (355 enodes) * [exit]simplify: Simplified to (* (+ (+ (+ (* (* (* 11 77617) 77617) (* (* 33096 77617) (* 33096 77617))) (* 77617 (* -2 77617))) (* (sqr 77617) (+ (- (pow 33096 6)) (* (pow 33096 4) -121)))) (+ (* 333.75 (pow 33096 6)) (- (* (pow 33096 8) 5.5) (/ 77617 (+ 33096 33096))))) (+ (+ (/ 77617 (+ 33096 33096)) (+ (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))) (+ (+ (* (* (* 11 77617) 77617) (* (* 33096 77617) (* 33096 77617))) (* 77617 (* -2 77617))) (* (sqr 77617) (+ (- (pow 33096 6)) (* (pow 33096 4) -121)))))) * [exit]simplify: Simplified to (* (+ (+ (+ (* (* (* 11 77617) 77617) (* (* 33096 77617) (* 33096 77617))) (* 77617 (* -2 77617))) (* (sqr 77617) (+ (- (pow 33096 6)) (* (pow 33096 4) -121)))) (+ (* 333.75 (pow 33096 6)) (- (* (pow 33096 8) 5.5) (/ 77617 (+ 33096 33096))))) (+ (+ (/ 77617 (+ 33096 33096)) (+ (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))) (+ (+ (* (* (* 11 77617) 77617) (* (* 33096 77617) (* 33096 77617))) (* 77617 (* -2 77617))) (* (sqr 77617) (+ (- (pow 33096 6)) (* (pow 33096 4) -121)))))) * [enter]simplify: Simplifying (- (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (57 enodes) * * [misc]simplify: iters left: 4 (101 enodes) * * [misc]simplify: iters left: 3 (196 enodes) * * [misc]simplify: iters left: 2 (348 enodes) * [exit]simplify: Simplified to (+ (+ (- (* (pow 33096 8) 5.5) (/ 77617 (+ 33096 33096))) (* 333.75 (pow 33096 6))) (+ (+ (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617))) (- (* (pow 33096 6) (sqr 77617)))) (* (+ (* (pow 33096 4) -121) -2) (sqr 77617)))) * [exit]simplify: Simplified to (+ (+ (- (* (pow 33096 8) 5.5) (/ 77617 (+ 33096 33096))) (* 333.75 (pow 33096 6))) (+ (+ (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617))) (- (* (pow 33096 6) (sqr 77617)))) (* (+ (* (pow 33096 4) -121) -2) (sqr 77617)))) * * * * [misc]progress: [ 49 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (58 enodes) * * [misc]simplify: iters left: 4 (102 enodes) * * [misc]simplify: iters left: 3 (197 enodes) * * [misc]simplify: iters left: 2 (350 enodes) * [exit]simplify: Simplified to (+ (+ (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096))) (* (pow 33096 8) 5.5)) (* (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (+ -2 (* 11 (* (* 33096 77617) (* 33096 77617))))) (sqr 77617))) * [exit]simplify: Simplified to (+ (+ (+ (* 333.75 (pow 33096 6)) (/ 77617 (+ 33096 33096))) (* (pow 33096 8) 5.5)) (* (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (+ -2 (* 11 (* (* 33096 77617) (* 33096 77617))))) (sqr 77617))) * * * * [misc]progress: [ 50 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* 5.5 (pow 33096 8)) (/ 77617 (* 2 33096))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * [exit]simplify: Simplified to (+ (/ 77617 (+ 33096 33096)) (* 5.5 (pow 33096 8))) * [exit]simplify: Simplified to (+ (/ 77617 (+ 33096 33096)) (* 5.5 (pow 33096 8))) * * * * [misc]progress: [ 51 / 60 ] simplifiying candidate # * * * * [misc]progress: [ 52 / 60 ] simplifiying candidate # * * * * [misc]progress: [ 53 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (log (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * * [misc]simplify: iters left: 2 (13 enodes) * * [misc]simplify: iters left: 1 (14 enodes) * [exit]simplify: Simplified to (+ (log 5.5) (* (log 33096) 8)) * [exit]simplify: Simplified to (+ (log 5.5) (* (log 33096) 8)) * * * * [misc]progress: [ 54 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * [exit]simplify: Simplified to (pow (exp 5.5) (pow 33096 8)) * [exit]simplify: Simplified to (pow (exp 5.5) (pow 33096 8)) * * * * [misc]progress: [ 55 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * [exit]simplify: Simplified to (cbrt (* 5.5 (pow 33096 8))) * [exit]simplify: Simplified to (cbrt (* 5.5 (pow 33096 8))) * * * * [misc]progress: [ 56 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (22 enodes) * * [misc]simplify: iters left: 1 (33 enodes) * [exit]simplify: Simplified to (cube (* 5.5 (pow 33096 8))) * [exit]simplify: Simplified to (cube (* 5.5 (pow 33096 8))) * * * * [misc]progress: [ 57 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * [exit]simplify: Simplified to (sqrt (* 5.5 (pow 33096 8))) * [exit]simplify: Simplified to (sqrt (* 5.5 (pow 33096 8))) * * * * [misc]progress: [ 58 / 60 ] simplifiying candidate # * * * * [misc]progress: [ 59 / 60 ] simplifiying candidate # * [enter]simplify: Simplifying (* 5.5 1) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to 5.5 * [exit]simplify: Simplified to 5.5 * * * * [misc]progress: [ 60 / 60 ] simplifiying candidate # * * * [misc]progress: adding candidates to table * * [misc]progress: iteration 2 / 3 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) * * * * [misc]progress: [ 2 / 4 ] generating series at (2) * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2 2) * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2 1) * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) * * * * [misc]progress: [ 2 / 4 ] rewriting at (2) * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2 2) * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2 1) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (140 enodes) * * [misc]simplify: iters left: 3 (356 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ (* (pow 33096 4) -121) -2) (+ (* (* (* 11 77617) (* 33096 77617)) 33096) (- (pow 33096 6)))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 2 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (140 enodes) * * [misc]simplify: iters left: 3 (356 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ (* (pow 33096 4) -121) -2) (+ (* (* (* 11 77617) (* 33096 77617)) 33096) (- (pow 33096 6)))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 3 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (140 enodes) * * [misc]simplify: iters left: 3 (356 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ (* (pow 33096 4) -121) -2) (+ (* (* (* 11 77617) (* 33096 77617)) 33096) (- (pow 33096 6)))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 4 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (140 enodes) * * [misc]simplify: iters left: 3 (356 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ (* (pow 33096 4) -121) -2) (+ (* (* (* 11 77617) (* 33096 77617)) 33096) (- (pow 33096 6)))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 5 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (140 enodes) * * [misc]simplify: iters left: 3 (356 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ (* (pow 33096 4) -121) -2) (+ (* (* (* 11 77617) (* 33096 77617)) 33096) (- (pow 33096 6)))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 6 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (140 enodes) * * [misc]simplify: iters left: 3 (356 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ (* (pow 33096 4) -121) -2) (+ (* (* (* 11 77617) (* 33096 77617)) 33096) (- (pow 33096 6)))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 7 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (140 enodes) * * [misc]simplify: iters left: 3 (356 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ (* (pow 33096 4) -121) -2) (+ (* (* (* 11 77617) (* 33096 77617)) 33096) (- (pow 33096 6)))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 8 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (140 enodes) * * [misc]simplify: iters left: 3 (356 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ (* (pow 33096 4) -121) -2) (+ (* (* (* 11 77617) (* 33096 77617)) 33096) (- (pow 33096 6)))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 9 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (140 enodes) * * [misc]simplify: iters left: 3 (356 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ (* (pow 33096 4) -121) -2) (+ (* (* (* 11 77617) (* 33096 77617)) 33096) (- (pow 33096 6)))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 10 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (140 enodes) * * [misc]simplify: iters left: 3 (356 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ (* (pow 33096 4) -121) -2) (+ (* (* (* 11 77617) (* 33096 77617)) 33096) (- (pow 33096 6)))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 11 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (140 enodes) * * [misc]simplify: iters left: 3 (356 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ (* (pow 33096 4) -121) -2) (+ (* (* (* 11 77617) (* 33096 77617)) 33096) (- (pow 33096 6)))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 12 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (140 enodes) * * [misc]simplify: iters left: 3 (356 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ (* (pow 33096 4) -121) -2) (+ (* (* (* 11 77617) (* 33096 77617)) 33096) (- (pow 33096 6)))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 13 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (exp (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))))) (exp (sqr (* 5.5 (pow 33096 8))))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (58 enodes) * * [misc]simplify: iters left: 4 (115 enodes) * * [misc]simplify: iters left: 3 (273 enodes) * [exit]simplify: Simplified to (exp (* (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (+ (* (* 77617 (* 11 77617)) (* (* 33096 77617) (* 33096 77617))) (* 77617 (* -2 77617))) (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617)))) (+ (* (+ -2 (* (* (* 33096 77617) (* 33096 77617)) 11)) (sqr 77617)) (+ (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617)) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))))) * [exit]simplify: Simplified to (exp (* (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (+ (* (* 77617 (* 11 77617)) (* (* 33096 77617) (* 33096 77617))) (* 77617 (* -2 77617))) (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617)))) (+ (* (+ -2 (* (* (* 33096 77617) (* 33096 77617)) 11)) (sqr 77617)) (+ (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617)) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 14 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 15 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (log (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8))))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (58 enodes) * * [misc]simplify: iters left: 4 (118 enodes) * * [misc]simplify: iters left: 3 (296 enodes) * [exit]simplify: Simplified to (log (* (+ (+ (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) (+ (+ (+ (- (* (pow 33096 6) (sqr 77617))) (* (* (* 11 77617) 77617) (* (* 33096 77617) (* 33096 77617)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) * [exit]simplify: Simplified to (log (* (+ (+ (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) (+ (+ (+ (- (* (pow 33096 6) (sqr 77617))) (* (* (* 11 77617) 77617) (* (* 33096 77617) (* 33096 77617)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) * * * * [misc]progress: [ 16 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8))))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (61 enodes) * * [misc]simplify: iters left: 4 (126 enodes) * * [misc]simplify: iters left: 3 (316 enodes) * [exit]simplify: Simplified to (exp (* (+ (+ (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* 11 (* (* 33096 77617) (* 33096 77617))) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617)) (+ (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617))) (* (* -2 77617) 77617)))))) * [exit]simplify: Simplified to (exp (* (+ (+ (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* 11 (* (* 33096 77617) (* 33096 77617))) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617)) (+ (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617))) (* (* -2 77617) 77617)))))) * * * * [misc]progress: [ 17 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8))))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (58 enodes) * * [misc]simplify: iters left: 4 (115 enodes) * * [misc]simplify: iters left: 3 (283 enodes) * [exit]simplify: Simplified to (cbrt (* (+ (+ (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) (+ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))))) * [exit]simplify: Simplified to (cbrt (* (+ (+ (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) (+ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))))) * * * * [misc]progress: [ 18 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8))))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (60 enodes) * * [misc]simplify: iters left: 4 (125 enodes) * * [misc]simplify: iters left: 3 (327 enodes) * [exit]simplify: Simplified to (cube (- (sqr (+ (+ (* 333.75 (pow 33096 6)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (* (* (* 33096 77617) (* 33096 77617)) 11))))) (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5)))) * [exit]simplify: Simplified to (cube (- (sqr (+ (+ (* 333.75 (pow 33096 6)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (* (* (* 33096 77617) (* 33096 77617)) 11))))) (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5)))) * * * * [misc]progress: [ 19 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8))))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (58 enodes) * * [misc]simplify: iters left: 4 (115 enodes) * * [misc]simplify: iters left: 3 (283 enodes) * [exit]simplify: Simplified to (sqrt (* (+ (+ (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) (+ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))))) * [exit]simplify: Simplified to (sqrt (* (+ (+ (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) (+ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))))) * * * * [misc]progress: [ 20 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (- (pow (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) 3) (pow (sqr (* 5.5 (pow 33096 8))) 3)) * * [misc]simplify: iters left: 6 (32 enodes) * * [misc]simplify: iters left: 5 (59 enodes) * * [misc]simplify: iters left: 4 (118 enodes) * * [misc]simplify: iters left: 3 (287 enodes) * [exit]simplify: Simplified to (* (+ (cube (+ (* 333.75 (pow 33096 6)) (* (+ (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2) (* 11 (* (* 33096 77617) (* 33096 77617)))) (sqr 77617)))) (cube (* (pow 33096 8) 5.5))) (- (cube (+ (* 333.75 (pow 33096 6)) (* (+ (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2) (* 11 (* (* 33096 77617) (* 33096 77617)))) (sqr 77617)))) (cube (* (pow 33096 8) 5.5)))) * [exit]simplify: Simplified to (* (+ (cube (+ (* 333.75 (pow 33096 6)) (* (+ (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2) (* 11 (* (* 33096 77617) (* 33096 77617)))) (sqr 77617)))) (cube (* (pow 33096 8) 5.5))) (- (cube (+ (* 333.75 (pow 33096 6)) (* (+ (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2) (* 11 (* (* 33096 77617) (* 33096 77617)))) (sqr 77617)))) (cube (* (pow 33096 8) 5.5)))) * [enter]simplify: Simplifying (+ (sqr (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))))) (+ (sqr (sqr (* 5.5 (pow 33096 8)))) (* (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))))) * * [misc]simplify: iters left: 6 (33 enodes) * * [misc]simplify: iters left: 5 (64 enodes) * * [misc]simplify: iters left: 4 (124 enodes) * * [misc]simplify: iters left: 3 (334 enodes) * [exit]simplify: Simplified to (+ (* (+ (sqr (* (pow 33096 8) 5.5)) (sqr (+ (* 333.75 (pow 33096 6)) (+ (+ (* (* (sqr 77617) (sqr 33096)) (* 77617 (* 11 77617))) (* (sqr 77617) (- (pow 33096 6)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))))) (sqr (* (pow 33096 8) 5.5))) (sqr (sqr (+ (* 333.75 (pow 33096 6)) (+ (+ (* (* (sqr 77617) (sqr 33096)) (* 77617 (* 11 77617))) (* (sqr 77617) (- (pow 33096 6)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))))))) * [exit]simplify: Simplified to (+ (* (+ (sqr (* (pow 33096 8) 5.5)) (sqr (+ (* 333.75 (pow 33096 6)) (+ (+ (* (* (sqr 77617) (sqr 33096)) (* 77617 (* 11 77617))) (* (sqr 77617) (- (pow 33096 6)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))))) (sqr (* (pow 33096 8) 5.5))) (sqr (sqr (+ (* 333.75 (pow 33096 6)) (+ (+ (* (* (sqr 77617) (sqr 33096)) (* 77617 (* 11 77617))) (* (sqr 77617) (- (pow 33096 6)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))))))) * * * * [misc]progress: [ 21 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (- (sqr (* 5.5 (pow 33096 8)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (12 enodes) * * [misc]simplify: iters left: 4 (15 enodes) * * [misc]simplify: iters left: 3 (32 enodes) * * [misc]simplify: iters left: 2 (54 enodes) * * [misc]simplify: iters left: 1 (74 enodes) * [exit]simplify: Simplified to (* (* (* 5.5 5.5) (pow 33096 8)) (- (pow 33096 8))) * [exit]simplify: Simplified to (* (* (* 5.5 5.5) (pow 33096 8)) (- (pow 33096 8))) * * * * [misc]progress: [ 22 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 23 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (- (sqr (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))))) (sqr (sqr (* 5.5 (pow 33096 8))))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (61 enodes) * * [misc]simplify: iters left: 4 (119 enodes) * * [misc]simplify: iters left: 3 (330 enodes) * [exit]simplify: Simplified to (- (sqr (sqr (+ (* 333.75 (pow 33096 6)) (+ (+ (* (* 77617 (* 11 77617)) (* (sqr 77617) (sqr 33096))) (* (- (pow 33096 6)) (sqr 77617))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))))) (* (sqr (* (pow 33096 8) 5.5)) (sqr (* (pow 33096 8) 5.5)))) * [exit]simplify: Simplified to (- (sqr (sqr (+ (* 333.75 (pow 33096 6)) (+ (+ (* (* 77617 (* 11 77617)) (* (sqr 77617) (sqr 33096))) (* (- (pow 33096 6)) (sqr 77617))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))))) (* (sqr (* (pow 33096 8) 5.5)) (sqr (* (pow 33096 8) 5.5)))) * [enter]simplify: Simplifying (+ (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) * * [misc]simplify: iters left: 6 (29 enodes) * * [misc]simplify: iters left: 5 (55 enodes) * * [misc]simplify: iters left: 4 (103 enodes) * * [misc]simplify: iters left: 3 (246 enodes) * [exit]simplify: Simplified to (+ (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5)) (sqr (+ (+ (* 333.75 (pow 33096 6)) (* (* (sqr 77617) 11) (* (sqr 77617) (sqr 33096)))) (* (sqr 77617) (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2))))) * [exit]simplify: Simplified to (+ (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5)) (sqr (+ (+ (* 333.75 (pow 33096 6)) (* (* (sqr 77617) 11) (* (sqr 77617) (sqr 33096)))) (* (sqr 77617) (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2))))) * * * * [misc]progress: [ 24 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 6 (27 enodes) * * [misc]simplify: iters left: 5 (49 enodes) * * [misc]simplify: iters left: 4 (89 enodes) * * [misc]simplify: iters left: 3 (178 enodes) * * [misc]simplify: iters left: 2 (375 enodes) * [exit]simplify: Simplified to (+ (+ (* (pow 33096 8) 5.5) (+ (* (* (* 33096 77617) (* 33096 77617)) (* (sqr 77617) 11)) (- (* (pow 33096 6) (sqr 77617))))) (+ (* (+ (* (pow 33096 4) -121) -2) (sqr 77617)) (* 333.75 (pow 33096 6)))) * [exit]simplify: Simplified to (+ (+ (* (pow 33096 8) 5.5) (+ (* (* (* 33096 77617) (* 33096 77617)) (* (sqr 77617) 11)) (- (* (pow 33096 6) (sqr 77617))))) (+ (* (+ (* (pow 33096 4) -121) -2) (sqr 77617)) (* 333.75 (pow 33096 6)))) * [enter]simplify: Simplifying (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 6 (27 enodes) * * [misc]simplify: iters left: 5 (49 enodes) * * [misc]simplify: iters left: 4 (87 enodes) * * [misc]simplify: iters left: 3 (174 enodes) * * [misc]simplify: iters left: 2 (377 enodes) * [exit]simplify: Simplified to (+ (+ (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)) (+ (* (* (* 33096 77617) (* 33096 77617)) (* (sqr 77617) 11)) (- (* (sqr 77617) (pow 33096 6))))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) * [exit]simplify: Simplified to (+ (+ (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)) (+ (* (* (* 33096 77617) (* 33096 77617)) (* (sqr 77617) 11)) (- (* (sqr 77617) (pow 33096 6))))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) * * * * [misc]progress: [ 25 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) * * [misc]simplify: iters left: 6 (29 enodes) * * [misc]simplify: iters left: 5 (57 enodes) * * [misc]simplify: iters left: 4 (114 enodes) * * [misc]simplify: iters left: 3 (292 enodes) * [exit]simplify: Simplified to (* (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (+ (* (* (sqr 77617) (sqr 33096)) (* (sqr 77617) 11)) (* (- (pow 33096 6)) (sqr 77617))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))) (+ (+ (+ (* (* (sqr 77617) (sqr 33096)) (* (sqr 77617) 11)) (* (- (pow 33096 6)) (sqr 77617))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))) * [exit]simplify: Simplified to (* (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (+ (* (* (sqr 77617) (sqr 33096)) (* (sqr 77617) 11)) (* (- (pow 33096 6)) (sqr 77617))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))) (+ (+ (+ (* (* (sqr 77617) (sqr 33096)) (* (sqr 77617) 11)) (* (- (pow 33096 6)) (sqr 77617))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))) * * * * [misc]progress: [ 26 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (* (exp (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (exp (/ 77617 (* 2 33096)))) * * [misc]simplify: iters left: 6 (37 enodes) * * [misc]simplify: iters left: 5 (76 enodes) * * [misc]simplify: iters left: 4 (147 enodes) * * [misc]simplify: iters left: 3 (358 enodes) * [exit]simplify: Simplified to (exp (+ (/ 77617 (+ 33096 33096)) (/ (+ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* 77617 (* -2 77617))) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) 1))) * [exit]simplify: Simplified to (exp (+ (/ 77617 (+ 33096 33096)) (/ (+ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* 77617 (* -2 77617))) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) 1))) * * * * [misc]progress: [ 27 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 28 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (log (+ (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096)))) * * [misc]simplify: iters left: 6 (36 enodes) * * [misc]simplify: iters left: 5 (73 enodes) * * [misc]simplify: iters left: 4 (141 enodes) * * [misc]simplify: iters left: 3 (358 enodes) * [exit]simplify: Simplified to (log (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ -2 (* (* (sqr 33096) (* 11 77617)) 77617)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096)))) * [exit]simplify: Simplified to (log (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ -2 (* (* (sqr 33096) (* 11 77617)) 77617)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096)))) * * * * [misc]progress: [ 29 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (+ (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096)))) * * [misc]simplify: iters left: 6 (36 enodes) * * [misc]simplify: iters left: 5 (76 enodes) * * [misc]simplify: iters left: 4 (148 enodes) * * [misc]simplify: iters left: 3 (352 enodes) * [exit]simplify: Simplified to (exp (+ (/ (+ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* 77617 (* -2 77617))) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) 1) (/ 77617 (+ 33096 33096)))) * [exit]simplify: Simplified to (exp (+ (/ (+ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* 77617 (* -2 77617))) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) 1) (/ 77617 (+ 33096 33096)))) * * * * [misc]progress: [ 30 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (+ (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096)))) * * [misc]simplify: iters left: 6 (36 enodes) * * [misc]simplify: iters left: 5 (73 enodes) * * [misc]simplify: iters left: 4 (141 enodes) * * [misc]simplify: iters left: 3 (358 enodes) * [exit]simplify: Simplified to (cbrt (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ -2 (* (* (sqr 33096) (* 11 77617)) 77617)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096)))) * [exit]simplify: Simplified to (cbrt (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ -2 (* (* (sqr 33096) (* 11 77617)) 77617)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096)))) * * * * [misc]progress: [ 31 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (+ (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096)))) * * [misc]simplify: iters left: 6 (36 enodes) * * [misc]simplify: iters left: 5 (75 enodes) * * [misc]simplify: iters left: 4 (153 enodes) * * [misc]simplify: iters left: 3 (410 enodes) * [exit]simplify: Simplified to (cube (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (+ -2 (* (* (* 33096 77617) (* 33096 77617)) 11))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096)))) * [exit]simplify: Simplified to (cube (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (+ -2 (* (* (* 33096 77617) (* 33096 77617)) 11))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096)))) * * * * [misc]progress: [ 32 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (+ (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096)))) * * [misc]simplify: iters left: 6 (36 enodes) * * [misc]simplify: iters left: 5 (73 enodes) * * [misc]simplify: iters left: 4 (141 enodes) * * [misc]simplify: iters left: 3 (358 enodes) * [exit]simplify: Simplified to (sqrt (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ -2 (* (* (sqr 33096) (* 11 77617)) 77617)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096)))) * [exit]simplify: Simplified to (sqrt (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ -2 (* (* (sqr 33096) (* 11 77617)) 77617)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096)))) * * * * [misc]progress: [ 33 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (* 2 33096)) (* (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (70 enodes) * * [misc]simplify: iters left: 4 (144 enodes) * * [misc]simplify: iters left: 3 (385 enodes) * [exit]simplify: Simplified to (+ (* (* (+ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* (sqr 77617) 11) (* (sqr 77617) (sqr 33096)))) (* (sqr 77617) (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2))) (- (+ (+ (* (- (pow 33096 6)) (sqr 77617)) (* (* (sqr 77617) 11) (* (sqr 77617) (sqr 33096)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))))) (+ 33096 33096)) (* 77617 (- (+ (+ (* (- (pow 33096 6)) (sqr 77617)) (* (* (sqr 77617) 11) (* (sqr 77617) (sqr 33096)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))))) * [exit]simplify: Simplified to (+ (* (* (+ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* (sqr 77617) 11) (* (sqr 77617) (sqr 33096)))) (* (sqr 77617) (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2))) (- (+ (+ (* (- (pow 33096 6)) (sqr 77617)) (* (* (sqr 77617) 11) (* (sqr 77617) (sqr 33096)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))))) (+ 33096 33096)) (* 77617 (- (+ (+ (* (- (pow 33096 6)) (sqr 77617)) (* (* (sqr 77617) 11) (* (sqr 77617) (sqr 33096)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))))) * [enter]simplify: Simplifying (* (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 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 (56 enodes) * * [misc]simplify: iters left: 4 (101 enodes) * * [misc]simplify: iters left: 3 (213 enodes) * * [misc]simplify: iters left: 2 (477 enodes) * [exit]simplify: Simplified to (* (+ 33096 33096) (+ (* (+ (+ (- (pow 33096 6)) -2) (* (* (* 33096 77617) (* 33096 77617)) 11)) (sqr 77617)) (- (* (* (pow 33096 4) (* 77617 -121)) 77617) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))))) * [exit]simplify: Simplified to (* (+ 33096 33096) (+ (* (+ (+ (- (pow 33096 6)) -2) (* (* (* 33096 77617) (* 33096 77617)) 11)) (sqr 77617)) (- (* (* (pow 33096 4) (* 77617 -121)) 77617) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))))) * * * * [misc]progress: [ 34 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (pow (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) 3) (pow (/ 77617 (* 2 33096)) 3)) * * [misc]simplify: iters left: 6 (38 enodes) * * [misc]simplify: iters left: 5 (77 enodes) * * [misc]simplify: iters left: 4 (154 enodes) * * [misc]simplify: iters left: 3 (397 enodes) * [exit]simplify: Simplified to (+ (cube (/ (+ (+ (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617)) (+ (* 77617 (* -2 77617)) (* (* (* 11 77617) 77617) (* (sqr 77617) (sqr 33096))))) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1)) (cube (/ 77617 (+ 33096 33096)))) * [exit]simplify: Simplified to (+ (cube (/ (+ (+ (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617)) (+ (* 77617 (* -2 77617)) (* (* (* 11 77617) 77617) (* (sqr 77617) (sqr 33096))))) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1)) (cube (/ 77617 (+ 33096 33096)))) * [enter]simplify: Simplifying (+ (sqr (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (- (sqr (/ 77617 (* 2 33096))) (* (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))) * * [misc]simplify: iters left: 6 (39 enodes) * * [misc]simplify: iters left: 5 (90 enodes) * * [misc]simplify: iters left: 4 (198 enodes) * [exit]simplify: Simplified to (+ (* (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ -2 (* 11 (* (sqr 77617) (sqr 33096)))) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) (sqr 77617))) 1) (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ -2 (* 11 (* (sqr 77617) (sqr 33096)))) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) (sqr 77617))) 1)) (* (/ 77617 (+ 33096 33096)) (- (/ 77617 (+ 33096 33096)) (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ -2 (* 11 (* (sqr 77617) (sqr 33096)))) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) (sqr 77617))) 1)))) * [exit]simplify: Simplified to (+ (* (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ -2 (* 11 (* (sqr 77617) (sqr 33096)))) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) (sqr 77617))) 1) (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ -2 (* 11 (* (sqr 77617) (sqr 33096)))) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) (sqr 77617))) 1)) (* (/ 77617 (+ 33096 33096)) (- (/ 77617 (+ 33096 33096)) (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ -2 (* 11 (* (sqr 77617) (sqr 33096)))) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) (sqr 77617))) 1)))) * * * * [misc]progress: [ 35 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 36 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (- (sqr (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (sqr (/ 77617 (* 2 33096)))) * * [misc]simplify: iters left: 6 (37 enodes) * * [misc]simplify: iters left: 5 (83 enodes) * * [misc]simplify: iters left: 4 (175 enodes) * * [misc]simplify: iters left: 3 (438 enodes) * [exit]simplify: Simplified to (- (* (/ (+ (+ (* (sqr 77617) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) (+ (* (* 77617 (* 11 77617)) (* (sqr 77617) (sqr 33096))) (* (sqr 77617) -2))) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ (+ (+ (* (sqr 77617) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) (+ (* (* 77617 (* 11 77617)) (* (sqr 77617) (sqr 33096))) (* (sqr 77617) -2))) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1)) (sqr (/ 77617 (+ 33096 33096)))) * [exit]simplify: Simplified to (- (* (/ (+ (+ (* (sqr 77617) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) (+ (* (* 77617 (* 11 77617)) (* (sqr 77617) (sqr 33096))) (* (sqr 77617) -2))) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ (+ (+ (* (sqr 77617) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) (+ (* (* 77617 (* 11 77617)) (* (sqr 77617) (sqr 33096))) (* (sqr 77617) -2))) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1)) (sqr (/ 77617 (+ 33096 33096)))) * [enter]simplify: Simplifying (- (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (71 enodes) * * [misc]simplify: iters left: 4 (137 enodes) * * [misc]simplify: iters left: 3 (352 enodes) * [exit]simplify: Simplified to (- (/ (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096))) * [exit]simplify: Simplified to (- (/ (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 37 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (140 enodes) * * [misc]simplify: iters left: 3 (356 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ (* (pow 33096 4) -121) -2) (+ (* (* (* 11 77617) (* 33096 77617)) 33096) (- (pow 33096 6)))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096))) * [exit]simplify: Simplified to (+ (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (+ (+ (* (pow 33096 4) -121) -2) (+ (* (* (* 11 77617) (* 33096 77617)) 33096) (- (pow 33096 6)))) (sqr 77617))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 38 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (- (/ (sqr (* 5.5 (pow 33096 8))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))) * * [misc]simplify: iters left: 6 (33 enodes) * * [misc]simplify: iters left: 5 (63 enodes) * * [misc]simplify: iters left: 4 (104 enodes) * * [misc]simplify: iters left: 3 (199 enodes) * * [misc]simplify: iters left: 2 (364 enodes) * [exit]simplify: Simplified to (- (/ (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (- (+ (+ (* (- (sqr 77617)) (pow 33096 6)) (* (sqr (* 77617 33096)) (* (sqr 77617) 11))) (* (+ (* (pow 33096 4) -121) -2) (sqr 77617))) (- (* 5.5 (pow 33096 8)) (* 333.75 (pow 33096 6))))) (/ 77617 (+ 33096 33096))) * [exit]simplify: Simplified to (- (/ (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (- (+ (+ (* (- (sqr 77617)) (pow 33096 6)) (* (sqr (* 77617 33096)) (* (sqr 77617) 11))) (* (+ (* (pow 33096 4) -121) -2) (sqr 77617))) (- (* 5.5 (pow 33096 8)) (* 333.75 (pow 33096 6))))) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 39 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 40 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 41 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (log (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * * [misc]simplify: iters left: 2 (13 enodes) * * [misc]simplify: iters left: 1 (14 enodes) * [exit]simplify: Simplified to (+ (log 5.5) (* (log 33096) 8)) * [exit]simplify: Simplified to (+ (log 5.5) (* (log 33096) 8)) * * * * [misc]progress: [ 42 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * [exit]simplify: Simplified to (pow (exp 5.5) (pow 33096 8)) * [exit]simplify: Simplified to (pow (exp 5.5) (pow 33096 8)) * * * * [misc]progress: [ 43 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * [exit]simplify: Simplified to (cbrt (* 5.5 (pow 33096 8))) * [exit]simplify: Simplified to (cbrt (* 5.5 (pow 33096 8))) * * * * [misc]progress: [ 44 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (22 enodes) * * [misc]simplify: iters left: 1 (33 enodes) * [exit]simplify: Simplified to (cube (* 5.5 (pow 33096 8))) * [exit]simplify: Simplified to (cube (* 5.5 (pow 33096 8))) * * * * [misc]progress: [ 45 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * [exit]simplify: Simplified to (sqrt (* 5.5 (pow 33096 8))) * [exit]simplify: Simplified to (sqrt (* 5.5 (pow 33096 8))) * * * * [misc]progress: [ 46 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 47 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (* 5.5 1) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to 5.5 * [exit]simplify: Simplified to 5.5 * * * * [misc]progress: [ 48 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 49 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 50 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (log (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * * [misc]simplify: iters left: 2 (13 enodes) * * [misc]simplify: iters left: 1 (14 enodes) * [exit]simplify: Simplified to (+ (log 5.5) (* (log 33096) 8)) * [exit]simplify: Simplified to (+ (log 5.5) (* (log 33096) 8)) * * * * [misc]progress: [ 51 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * [exit]simplify: Simplified to (pow (exp 5.5) (pow 33096 8)) * [exit]simplify: Simplified to (pow (exp 5.5) (pow 33096 8)) * * * * [misc]progress: [ 52 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * [exit]simplify: Simplified to (cbrt (* 5.5 (pow 33096 8))) * [exit]simplify: Simplified to (cbrt (* 5.5 (pow 33096 8))) * * * * [misc]progress: [ 53 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (22 enodes) * * [misc]simplify: iters left: 1 (33 enodes) * [exit]simplify: Simplified to (cube (* 5.5 (pow 33096 8))) * [exit]simplify: Simplified to (cube (* 5.5 (pow 33096 8))) * * * * [misc]progress: [ 54 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * [exit]simplify: Simplified to (sqrt (* 5.5 (pow 33096 8))) * [exit]simplify: Simplified to (sqrt (* 5.5 (pow 33096 8))) * * * * [misc]progress: [ 55 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 56 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (* 5.5 1) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to 5.5 * [exit]simplify: Simplified to 5.5 * * * * [misc]progress: [ 57 / 57 ] simplifiying candidate # * * * [misc]progress: adding candidates to table * * [misc]progress: iteration 3 / 3 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 1 1) * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 1 1) * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1 2 2) * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 1 2 1) * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 1 1) * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 1 1) * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1 2 2) * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 1 2 1) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (sqr (/ 77617 (* 2 33096)))) (- (/ (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) * * [misc]simplify: iters left: 6 (53 enodes) * * [misc]simplify: iters left: 5 (109 enodes) * * [misc]simplify: iters left: 4 (241 enodes) * [exit]simplify: Simplified to (/ (* (- (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096))) (+ (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) (- (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* (sqr 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* (sqr 77617) (sqr 77617)) (* (* 11 33096) 33096)) (* (sqr 77617) (- (pow 33096 6)))))) 1) (/ 77617 (+ 33096 33096)))) * * * * [misc]progress: [ 2 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (sqr (/ 77617 (* 2 33096)))) (- (/ (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) * * [misc]simplify: iters left: 6 (53 enodes) * * [misc]simplify: iters left: 5 (109 enodes) * * [misc]simplify: iters left: 4 (241 enodes) * [exit]simplify: Simplified to (/ (* (- (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096))) (+ (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) (- (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* (sqr 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* (sqr 77617) (sqr 77617)) (* (* 11 33096) 33096)) (* (sqr 77617) (- (pow 33096 6)))))) 1) (/ 77617 (+ 33096 33096)))) * * * * [misc]progress: [ 3 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (sqr (/ 77617 (* 2 33096)))) (- (/ (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) * * [misc]simplify: iters left: 6 (53 enodes) * * [misc]simplify: iters left: 5 (109 enodes) * * [misc]simplify: iters left: 4 (241 enodes) * [exit]simplify: Simplified to (/ (* (- (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096))) (+ (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) (- (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* (sqr 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* (sqr 77617) (sqr 77617)) (* (* 11 33096) 33096)) (* (sqr 77617) (- (pow 33096 6)))))) 1) (/ 77617 (+ 33096 33096)))) * * * * [misc]progress: [ 4 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (sqr (/ 77617 (* 2 33096)))) (- (/ (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) * * [misc]simplify: iters left: 6 (53 enodes) * * [misc]simplify: iters left: 5 (109 enodes) * * [misc]simplify: iters left: 4 (241 enodes) * [exit]simplify: Simplified to (/ (* (- (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096))) (+ (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) (- (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* (sqr 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* (sqr 77617) (sqr 77617)) (* (* 11 33096) 33096)) (* (sqr 77617) (- (pow 33096 6)))))) 1) (/ 77617 (+ 33096 33096)))) * * * * [misc]progress: [ 5 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (sqr (/ 77617 (* 2 33096)))) (- (/ (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) * * [misc]simplify: iters left: 6 (53 enodes) * * [misc]simplify: iters left: 5 (109 enodes) * * [misc]simplify: iters left: 4 (241 enodes) * [exit]simplify: Simplified to (/ (* (- (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096))) (+ (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) (- (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* (sqr 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* (sqr 77617) (sqr 77617)) (* (* 11 33096) 33096)) (* (sqr 77617) (- (pow 33096 6)))))) 1) (/ 77617 (+ 33096 33096)))) * * * * [misc]progress: [ 6 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (sqr (/ 77617 (* 2 33096)))) (- (/ (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) * * [misc]simplify: iters left: 6 (53 enodes) * * [misc]simplify: iters left: 5 (109 enodes) * * [misc]simplify: iters left: 4 (241 enodes) * [exit]simplify: Simplified to (/ (* (- (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096))) (+ (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) (- (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* (sqr 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* (sqr 77617) (sqr 77617)) (* (* 11 33096) 33096)) (* (sqr 77617) (- (pow 33096 6)))))) 1) (/ 77617 (+ 33096 33096)))) * * * * [misc]progress: [ 7 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (sqr (/ 77617 (* 2 33096)))) (- (/ (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) * * [misc]simplify: iters left: 6 (53 enodes) * * [misc]simplify: iters left: 5 (109 enodes) * * [misc]simplify: iters left: 4 (241 enodes) * [exit]simplify: Simplified to (/ (* (- (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096))) (+ (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) (- (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* (sqr 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* (sqr 77617) (sqr 77617)) (* (* 11 33096) 33096)) (* (sqr 77617) (- (pow 33096 6)))))) 1) (/ 77617 (+ 33096 33096)))) * * * * [misc]progress: [ 8 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (sqr (/ 77617 (* 2 33096)))) (- (/ (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) * * [misc]simplify: iters left: 6 (53 enodes) * * [misc]simplify: iters left: 5 (109 enodes) * * [misc]simplify: iters left: 4 (241 enodes) * [exit]simplify: Simplified to (/ (* (- (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096))) (+ (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) (- (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* (sqr 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* (sqr 77617) (sqr 77617)) (* (* 11 33096) 33096)) (* (sqr 77617) (- (pow 33096 6)))))) 1) (/ 77617 (+ 33096 33096)))) * * * * [misc]progress: [ 9 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (sqr (/ 77617 (* 2 33096)))) (- (/ (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) * * [misc]simplify: iters left: 6 (53 enodes) * * [misc]simplify: iters left: 5 (109 enodes) * * [misc]simplify: iters left: 4 (241 enodes) * [exit]simplify: Simplified to (/ (* (- (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096))) (+ (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) (- (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* (sqr 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* (sqr 77617) (sqr 77617)) (* (* 11 33096) 33096)) (* (sqr 77617) (- (pow 33096 6)))))) 1) (/ 77617 (+ 33096 33096)))) * * * * [misc]progress: [ 10 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (sqr (/ 77617 (* 2 33096)))) (- (/ (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) * * [misc]simplify: iters left: 6 (53 enodes) * * [misc]simplify: iters left: 5 (109 enodes) * * [misc]simplify: iters left: 4 (241 enodes) * [exit]simplify: Simplified to (/ (* (- (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096))) (+ (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) (- (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* (sqr 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* (sqr 77617) (sqr 77617)) (* (* 11 33096) 33096)) (* (sqr 77617) (- (pow 33096 6)))))) 1) (/ 77617 (+ 33096 33096)))) * * * * [misc]progress: [ 11 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (sqr (/ 77617 (* 2 33096)))) (- (/ (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) * * [misc]simplify: iters left: 6 (53 enodes) * * [misc]simplify: iters left: 5 (109 enodes) * * [misc]simplify: iters left: 4 (241 enodes) * [exit]simplify: Simplified to (/ (* (- (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096))) (+ (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) (- (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* (sqr 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* (sqr 77617) (sqr 77617)) (* (* 11 33096) 33096)) (* (sqr 77617) (- (pow 33096 6)))))) 1) (/ 77617 (+ 33096 33096)))) * * * * [misc]progress: [ 12 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (sqr (/ (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (sqr (/ 77617 (* 2 33096)))) (- (/ (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) * * [misc]simplify: iters left: 6 (53 enodes) * * [misc]simplify: iters left: 5 (109 enodes) * * [misc]simplify: iters left: 4 (241 enodes) * [exit]simplify: Simplified to (/ (* (- (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096))) (+ (/ (+ (* (+ (+ (* (sqr 77617) (* (* 11 33096) 33096)) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))) -2) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) 1) (/ 77617 (+ 33096 33096)))) (- (/ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* (sqr 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* (sqr 77617) (sqr 77617)) (* (* 11 33096) 33096)) (* (sqr 77617) (- (pow 33096 6)))))) 1) (/ 77617 (+ 33096 33096)))) * * * * [misc]progress: [ 13 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (exp (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))))) (exp (sqr (* 5.5 (pow 33096 8))))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (58 enodes) * * [misc]simplify: iters left: 4 (115 enodes) * * [misc]simplify: iters left: 3 (273 enodes) * [exit]simplify: Simplified to (exp (* (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (+ (* (* 77617 (* 11 77617)) (* (* 33096 77617) (* 33096 77617))) (* 77617 (* -2 77617))) (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617)))) (+ (* (+ -2 (* (* (* 33096 77617) (* 33096 77617)) 11)) (sqr 77617)) (+ (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617)) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))))) * [exit]simplify: Simplified to (exp (* (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (+ (* (* 77617 (* 11 77617)) (* (* 33096 77617) (* 33096 77617))) (* 77617 (* -2 77617))) (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617)))) (+ (* (+ -2 (* (* (* 33096 77617) (* 33096 77617)) 11)) (sqr 77617)) (+ (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617)) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))))) * * * * [misc]progress: [ 14 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 15 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (log (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8))))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (58 enodes) * * [misc]simplify: iters left: 4 (118 enodes) * * [misc]simplify: iters left: 3 (296 enodes) * [exit]simplify: Simplified to (log (* (+ (+ (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) (+ (+ (+ (- (* (pow 33096 6) (sqr 77617))) (* (* (* 11 77617) 77617) (* (* 33096 77617) (* 33096 77617)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) * [exit]simplify: Simplified to (log (* (+ (+ (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) (+ (+ (+ (- (* (pow 33096 6) (sqr 77617))) (* (* (* 11 77617) 77617) (* (* 33096 77617) (* 33096 77617)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) * * * * [misc]progress: [ 16 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8))))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (61 enodes) * * [misc]simplify: iters left: 4 (126 enodes) * * [misc]simplify: iters left: 3 (316 enodes) * [exit]simplify: Simplified to (exp (* (+ (+ (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* 11 (* (* 33096 77617) (* 33096 77617))) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617)) (+ (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617))) (* (* -2 77617) 77617)))))) * [exit]simplify: Simplified to (exp (* (+ (+ (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* 11 (* (* 33096 77617) (* 33096 77617))) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (sqr 77617)) (+ (* (* (sqr 77617) 11) (* (* 33096 77617) (* 33096 77617))) (* (* -2 77617) 77617)))))) * * * * [misc]progress: [ 17 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8))))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (58 enodes) * * [misc]simplify: iters left: 4 (115 enodes) * * [misc]simplify: iters left: 3 (283 enodes) * [exit]simplify: Simplified to (cbrt (* (+ (+ (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) (+ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))))) * [exit]simplify: Simplified to (cbrt (* (+ (+ (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) (+ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))))) * * * * [misc]progress: [ 18 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8))))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (60 enodes) * * [misc]simplify: iters left: 4 (125 enodes) * * [misc]simplify: iters left: 3 (327 enodes) * [exit]simplify: Simplified to (cube (- (sqr (+ (+ (* 333.75 (pow 33096 6)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (* (* (* 33096 77617) (* 33096 77617)) 11))))) (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5)))) * [exit]simplify: Simplified to (cube (- (sqr (+ (+ (* 333.75 (pow 33096 6)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) (* (* (* 33096 77617) (* 33096 77617)) 11))))) (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5)))) * * * * [misc]progress: [ 19 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8))))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (58 enodes) * * [misc]simplify: iters left: 4 (115 enodes) * * [misc]simplify: iters left: 3 (283 enodes) * [exit]simplify: Simplified to (sqrt (* (+ (+ (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) (+ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))))) * [exit]simplify: Simplified to (sqrt (* (+ (+ (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))) (+ (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (* (* -2 77617) 77617)) (* (sqr 77617) (+ (* (* (* 33096 77617) (* 33096 77617)) 11) (+ (- (pow 33096 6)) (* (pow 33096 4) -121))))))) * * * * [misc]progress: [ 20 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (- (pow (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) 3) (pow (sqr (* 5.5 (pow 33096 8))) 3)) * * [misc]simplify: iters left: 6 (32 enodes) * * [misc]simplify: iters left: 5 (59 enodes) * * [misc]simplify: iters left: 4 (118 enodes) * * [misc]simplify: iters left: 3 (287 enodes) * [exit]simplify: Simplified to (* (+ (cube (+ (* 333.75 (pow 33096 6)) (* (+ (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2) (* 11 (* (* 33096 77617) (* 33096 77617)))) (sqr 77617)))) (cube (* (pow 33096 8) 5.5))) (- (cube (+ (* 333.75 (pow 33096 6)) (* (+ (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2) (* 11 (* (* 33096 77617) (* 33096 77617)))) (sqr 77617)))) (cube (* (pow 33096 8) 5.5)))) * [exit]simplify: Simplified to (* (+ (cube (+ (* 333.75 (pow 33096 6)) (* (+ (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2) (* 11 (* (* 33096 77617) (* 33096 77617)))) (sqr 77617)))) (cube (* (pow 33096 8) 5.5))) (- (cube (+ (* 333.75 (pow 33096 6)) (* (+ (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2) (* 11 (* (* 33096 77617) (* 33096 77617)))) (sqr 77617)))) (cube (* (pow 33096 8) 5.5)))) * [enter]simplify: Simplifying (+ (sqr (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))))) (+ (sqr (sqr (* 5.5 (pow 33096 8)))) (* (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))))) * * [misc]simplify: iters left: 6 (33 enodes) * * [misc]simplify: iters left: 5 (64 enodes) * * [misc]simplify: iters left: 4 (124 enodes) * * [misc]simplify: iters left: 3 (334 enodes) * [exit]simplify: Simplified to (+ (* (+ (sqr (* (pow 33096 8) 5.5)) (sqr (+ (* 333.75 (pow 33096 6)) (+ (+ (* (* (sqr 77617) (sqr 33096)) (* 77617 (* 11 77617))) (* (sqr 77617) (- (pow 33096 6)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))))) (sqr (* (pow 33096 8) 5.5))) (sqr (sqr (+ (* 333.75 (pow 33096 6)) (+ (+ (* (* (sqr 77617) (sqr 33096)) (* 77617 (* 11 77617))) (* (sqr 77617) (- (pow 33096 6)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))))))) * [exit]simplify: Simplified to (+ (* (+ (sqr (* (pow 33096 8) 5.5)) (sqr (+ (* 333.75 (pow 33096 6)) (+ (+ (* (* (sqr 77617) (sqr 33096)) (* 77617 (* 11 77617))) (* (sqr 77617) (- (pow 33096 6)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))))) (sqr (* (pow 33096 8) 5.5))) (sqr (sqr (+ (* 333.75 (pow 33096 6)) (+ (+ (* (* (sqr 77617) (sqr 33096)) (* 77617 (* 11 77617))) (* (sqr 77617) (- (pow 33096 6)))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))))))) * * * * [misc]progress: [ 21 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (- (sqr (* 5.5 (pow 33096 8)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (12 enodes) * * [misc]simplify: iters left: 4 (15 enodes) * * [misc]simplify: iters left: 3 (32 enodes) * * [misc]simplify: iters left: 2 (54 enodes) * * [misc]simplify: iters left: 1 (74 enodes) * [exit]simplify: Simplified to (* (* (* 5.5 5.5) (pow 33096 8)) (- (pow 33096 8))) * [exit]simplify: Simplified to (* (* (* 5.5 5.5) (pow 33096 8)) (- (pow 33096 8))) * * * * [misc]progress: [ 22 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 23 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (- (sqr (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))))) (sqr (sqr (* 5.5 (pow 33096 8))))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (61 enodes) * * [misc]simplify: iters left: 4 (119 enodes) * * [misc]simplify: iters left: 3 (330 enodes) * [exit]simplify: Simplified to (- (sqr (sqr (+ (* 333.75 (pow 33096 6)) (+ (+ (* (* 77617 (* 11 77617)) (* (sqr 77617) (sqr 33096))) (* (- (pow 33096 6)) (sqr 77617))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))))) (* (sqr (* (pow 33096 8) 5.5)) (sqr (* (pow 33096 8) 5.5)))) * [exit]simplify: Simplified to (- (sqr (sqr (+ (* 333.75 (pow 33096 6)) (+ (+ (* (* 77617 (* 11 77617)) (* (sqr 77617) (sqr 33096))) (* (- (pow 33096 6)) (sqr 77617))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))))) (* (sqr (* (pow 33096 8) 5.5)) (sqr (* (pow 33096 8) 5.5)))) * [enter]simplify: Simplifying (+ (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) * * [misc]simplify: iters left: 6 (29 enodes) * * [misc]simplify: iters left: 5 (55 enodes) * * [misc]simplify: iters left: 4 (103 enodes) * * [misc]simplify: iters left: 3 (246 enodes) * [exit]simplify: Simplified to (+ (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5)) (sqr (+ (+ (* 333.75 (pow 33096 6)) (* (* (sqr 77617) 11) (* (sqr 77617) (sqr 33096)))) (* (sqr 77617) (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2))))) * [exit]simplify: Simplified to (+ (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5)) (sqr (+ (+ (* 333.75 (pow 33096 6)) (* (* (sqr 77617) 11) (* (sqr 77617) (sqr 33096)))) (* (sqr 77617) (+ (+ (- (pow 33096 6)) (* (pow 33096 4) -121)) -2))))) * * * * [misc]progress: [ 24 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 6 (27 enodes) * * [misc]simplify: iters left: 5 (49 enodes) * * [misc]simplify: iters left: 4 (89 enodes) * * [misc]simplify: iters left: 3 (178 enodes) * * [misc]simplify: iters left: 2 (375 enodes) * [exit]simplify: Simplified to (+ (+ (* (pow 33096 8) 5.5) (+ (* (* (* 33096 77617) (* 33096 77617)) (* (sqr 77617) 11)) (- (* (pow 33096 6) (sqr 77617))))) (+ (* (+ (* (pow 33096 4) -121) -2) (sqr 77617)) (* 333.75 (pow 33096 6)))) * [exit]simplify: Simplified to (+ (+ (* (pow 33096 8) 5.5) (+ (* (* (* 33096 77617) (* 33096 77617)) (* (sqr 77617) 11)) (- (* (pow 33096 6) (sqr 77617))))) (+ (* (+ (* (pow 33096 4) -121) -2) (sqr 77617)) (* 333.75 (pow 33096 6)))) * [enter]simplify: Simplifying (- (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 6 (27 enodes) * * [misc]simplify: iters left: 5 (49 enodes) * * [misc]simplify: iters left: 4 (87 enodes) * * [misc]simplify: iters left: 3 (174 enodes) * * [misc]simplify: iters left: 2 (377 enodes) * [exit]simplify: Simplified to (+ (+ (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)) (+ (* (* (* 33096 77617) (* 33096 77617)) (* (sqr 77617) 11)) (- (* (sqr 77617) (pow 33096 6))))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) * [exit]simplify: Simplified to (+ (+ (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)) (+ (* (* (* 33096 77617) (* 33096 77617)) (* (sqr 77617) 11)) (- (* (sqr 77617) (pow 33096 6))))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) * * * * [misc]progress: [ 25 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (- (sqr (+ (* 333.75 (pow 33096 6)) (* (sqr 77617) (+ (+ (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (sqr (* 5.5 (pow 33096 8)))) * * [misc]simplify: iters left: 6 (29 enodes) * * [misc]simplify: iters left: 5 (57 enodes) * * [misc]simplify: iters left: 4 (114 enodes) * * [misc]simplify: iters left: 3 (292 enodes) * [exit]simplify: Simplified to (* (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (+ (* (* (sqr 77617) (sqr 33096)) (* (sqr 77617) 11)) (* (- (pow 33096 6)) (sqr 77617))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))) (+ (+ (+ (* (* (sqr 77617) (sqr 33096)) (* (sqr 77617) 11)) (* (- (pow 33096 6)) (sqr 77617))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))) * [exit]simplify: Simplified to (* (+ (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (+ (* (* (sqr 77617) (sqr 33096)) (* (sqr 77617) 11)) (* (- (pow 33096 6)) (sqr 77617))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2)))) (+ (+ (+ (* (* (sqr 77617) (sqr 33096)) (* (sqr 77617) 11)) (* (- (pow 33096 6)) (sqr 77617))) (* (sqr 77617) (+ (* (pow 33096 4) -121) -2))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))) * * * * [misc]progress: [ 26 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* (exp (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617))) (* (exp (* 333.75 (pow 33096 6))) (exp (* (pow 33096 8) 5.5)))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (54 enodes) * * [misc]simplify: iters left: 4 (95 enodes) * * [misc]simplify: iters left: 3 (209 enodes) * * [misc]simplify: iters left: 2 (487 enodes) * [exit]simplify: Simplified to (exp (+ (+ (* (+ -2 (* -121 (pow 33096 4))) (sqr 77617)) (+ (- (* (sqr 77617) (pow 33096 6))) (* (* (sqr 77617) (sqr 77617)) (* 11 (sqr 33096))))) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))) * [exit]simplify: Simplified to (exp (+ (+ (* (+ -2 (* -121 (pow 33096 4))) (sqr 77617)) (+ (- (* (sqr 77617) (pow 33096 6))) (* (* (sqr 77617) (sqr 77617)) (* 11 (sqr 33096))))) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))) * * * * [misc]progress: [ 27 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* (exp (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617))) (exp (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))) * * [misc]simplify: iters left: 6 (29 enodes) * * [misc]simplify: iters left: 5 (51 enodes) * * [misc]simplify: iters left: 4 (102 enodes) * * [misc]simplify: iters left: 3 (221 enodes) * [exit]simplify: Simplified to (* (* (* (pow (exp 5.5) (pow 33096 8)) (pow (exp 333.75) (pow 33096 6))) (pow (exp (sqr 77617)) (+ -2 (* -121 (pow 33096 4))))) (pow (exp (sqr 77617)) (+ (- (pow 33096 6)) (* (sqr 33096) (* (* 77617 11) 77617))))) * [exit]simplify: Simplified to (* (* (* (pow (exp 5.5) (pow 33096 8)) (pow (exp 333.75) (pow 33096 6))) (pow (exp (sqr 77617)) (+ -2 (* -121 (pow 33096 4))))) (pow (exp (sqr 77617)) (+ (- (pow 33096 6)) (* (sqr 33096) (* (* 77617 11) 77617))))) * * * * [misc]progress: [ 28 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 29 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (log (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))) * * [misc]simplify: iters left: 6 (28 enodes) * * [misc]simplify: iters left: 5 (44 enodes) * * [misc]simplify: iters left: 4 (75 enodes) * * [misc]simplify: iters left: 3 (158 enodes) * * [misc]simplify: iters left: 2 (277 enodes) * * [misc]simplify: iters left: 1 (481 enodes) * [exit]simplify: Simplified to (log (+ (+ (+ (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (* (sqr 77617) (* -121 (pow 33096 4)))) (+ (* (sqr 77617) (+ (- (pow 33096 6)) -2)) (* (* 11 (sqr 77617)) (* (sqr 77617) (sqr 33096)))))) * [exit]simplify: Simplified to (log (+ (+ (+ (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (* (sqr 77617) (* -121 (pow 33096 4)))) (+ (* (sqr 77617) (+ (- (pow 33096 6)) -2)) (* (* 11 (sqr 77617)) (* (sqr 77617) (sqr 33096)))))) * * * * [misc]progress: [ 30 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))) * * [misc]simplify: iters left: 6 (28 enodes) * * [misc]simplify: iters left: 5 (47 enodes) * * [misc]simplify: iters left: 4 (87 enodes) * * [misc]simplify: iters left: 3 (209 enodes) * * [misc]simplify: iters left: 2 (488 enodes) * [exit]simplify: Simplified to (* (* (* (pow (exp 333.75) (pow 33096 6)) (pow (exp 5.5) (pow 33096 8))) (pow (exp (sqr 77617)) (+ -2 (* -121 (pow 33096 4))))) (exp (+ (* (* (sqr 77617) (sqr 77617)) (* 33096 (* 33096 11))) (- (* (sqr 77617) (pow 33096 6)))))) * [exit]simplify: Simplified to (* (* (* (pow (exp 333.75) (pow 33096 6)) (pow (exp 5.5) (pow 33096 8))) (pow (exp (sqr 77617)) (+ -2 (* -121 (pow 33096 4))))) (exp (+ (* (* (sqr 77617) (sqr 77617)) (* 33096 (* 33096 11))) (- (* (sqr 77617) (pow 33096 6)))))) * * * * [misc]progress: [ 31 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))) * * [misc]simplify: iters left: 6 (28 enodes) * * [misc]simplify: iters left: 5 (44 enodes) * * [misc]simplify: iters left: 4 (75 enodes) * * [misc]simplify: iters left: 3 (158 enodes) * * [misc]simplify: iters left: 2 (277 enodes) * * [misc]simplify: iters left: 1 (481 enodes) * [exit]simplify: Simplified to (cbrt (+ (+ (+ (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (* (sqr 77617) (* -121 (pow 33096 4)))) (+ (* (sqr 77617) (+ (- (pow 33096 6)) -2)) (* (* 11 (sqr 77617)) (* (sqr 77617) (sqr 33096)))))) * [exit]simplify: Simplified to (cbrt (+ (+ (+ (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (* (sqr 77617) (* -121 (pow 33096 4)))) (+ (* (sqr 77617) (+ (- (pow 33096 6)) -2)) (* (* 11 (sqr 77617)) (* (sqr 77617) (sqr 33096)))))) * * * * [misc]progress: [ 32 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))) * * [misc]simplify: iters left: 6 (28 enodes) * * [misc]simplify: iters left: 5 (46 enodes) * * [misc]simplify: iters left: 4 (91 enodes) * * [misc]simplify: iters left: 3 (271 enodes) * [exit]simplify: Simplified to (cube (+ (+ (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (+ (* (+ -2 (* -121 (pow 33096 4))) (sqr 77617)) (+ (* (* (sqr 77617) (sqr 77617)) (* 11 (sqr 33096))) (- (* (sqr 77617) (pow 33096 6))))))) * [exit]simplify: Simplified to (cube (+ (+ (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (+ (* (+ -2 (* -121 (pow 33096 4))) (sqr 77617)) (+ (* (* (sqr 77617) (sqr 77617)) (* 11 (sqr 33096))) (- (* (sqr 77617) (pow 33096 6))))))) * * * * [misc]progress: [ 33 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))) * * [misc]simplify: iters left: 6 (28 enodes) * * [misc]simplify: iters left: 5 (44 enodes) * * [misc]simplify: iters left: 4 (75 enodes) * * [misc]simplify: iters left: 3 (158 enodes) * * [misc]simplify: iters left: 2 (277 enodes) * * [misc]simplify: iters left: 1 (481 enodes) * [exit]simplify: Simplified to (sqrt (+ (+ (+ (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (* (sqr 77617) (* -121 (pow 33096 4)))) (+ (* (sqr 77617) (+ (- (pow 33096 6)) -2)) (* (* 11 (sqr 77617)) (* (sqr 77617) (sqr 33096)))))) * [exit]simplify: Simplified to (sqrt (+ (+ (+ (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (* (sqr 77617) (* -121 (pow 33096 4)))) (+ (* (sqr 77617) (+ (- (pow 33096 6)) -2)) (* (* 11 (sqr 77617)) (* (sqr 77617) (sqr 33096)))))) * * * * [misc]progress: [ 34 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ (* (+ (pow -2 3) (pow (* (pow 33096 4) -121) 3)) (+ (sqr (* (* (sqr 33096) 11) (sqr 77617))) (- (sqr (- (pow 33096 6))) (* (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))))) (* (+ (sqr -2) (- (sqr (* (pow 33096 4) -121)) (* -2 (* (pow 33096 4) -121)))) (+ (pow (* (* (sqr 33096) 11) (sqr 77617)) 3) (pow (- (pow 33096 6)) 3)))) (sqr 77617)) (+ (sqr (* 333.75 (pow 33096 6))) (- (sqr (* (pow 33096 8) 5.5)) (* (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) (* (* (+ (sqr -2) (- (sqr (* (pow 33096 4) -121)) (* -2 (* (pow 33096 4) -121)))) (+ (sqr (* (* (sqr 33096) 11) (sqr 77617))) (- (sqr (- (pow 33096 6))) (* (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))))) (+ (pow (* 333.75 (pow 33096 6)) 3) (pow (* (pow 33096 8) 5.5) 3)))) * * [misc]simplify: iters left: 6 (54 enodes) * * [misc]simplify: iters left: 5 (145 enodes) * * [misc]simplify: iters left: 4 (371 enodes) * [exit]simplify: Simplified to (+ (* (* (+ (cube (* 5.5 (pow 33096 8))) (cube (* (pow 33096 6) 333.75))) (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -121 -2) (pow 33096 4)) (* -2 -2)))) (- (* (pow 33096 6) (pow 33096 6)) (* (* (* (* 33096 33096) (* 77617 11)) 77617) (- (- (pow 33096 6)) (* (* (* 33096 33096) (* 77617 11)) 77617))))) (* (+ (* (* (* 77617 77617) (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -121 -2) (pow 33096 4)) (* -2 -2)))) (+ (cube (- (pow 33096 6))) (cube (* (* (* 33096 33096) (* 77617 11)) 77617)))) (* (* (* 77617 77617) (+ (cube (* (pow 33096 4) -121)) (cube -2))) (- (* (pow 33096 6) (pow 33096 6)) (* (* (* (* 33096 33096) (* 77617 11)) 77617) (- (- (pow 33096 6)) (* (* (* 33096 33096) (* 77617 11)) 77617)))))) (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* (* (pow 33096 6) 333.75) (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)))))) * [exit]simplify: Simplified to (+ (* (* (+ (cube (* 5.5 (pow 33096 8))) (cube (* (pow 33096 6) 333.75))) (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -121 -2) (pow 33096 4)) (* -2 -2)))) (- (* (pow 33096 6) (pow 33096 6)) (* (* (* (* 33096 33096) (* 77617 11)) 77617) (- (- (pow 33096 6)) (* (* (* 33096 33096) (* 77617 11)) 77617))))) (* (+ (* (* (* 77617 77617) (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -121 -2) (pow 33096 4)) (* -2 -2)))) (+ (cube (- (pow 33096 6))) (cube (* (* (* 33096 33096) (* 77617 11)) 77617)))) (* (* (* 77617 77617) (+ (cube (* (pow 33096 4) -121)) (cube -2))) (- (* (pow 33096 6) (pow 33096 6)) (* (* (* (* 33096 33096) (* 77617 11)) 77617) (- (- (pow 33096 6)) (* (* (* 33096 33096) (* 77617 11)) 77617)))))) (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* (* (pow 33096 6) 333.75) (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)))))) * [enter]simplify: Simplifying (* (* (+ (sqr -2) (- (sqr (* (pow 33096 4) -121)) (* -2 (* (pow 33096 4) -121)))) (+ (sqr (* (* (sqr 33096) 11) (sqr 77617))) (- (sqr (- (pow 33096 6))) (* (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))))) (+ (sqr (* 333.75 (pow 33096 6))) (- (sqr (* (pow 33096 8) 5.5)) (* (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) * * [misc]simplify: iters left: 6 (38 enodes) * * [misc]simplify: iters left: 5 (96 enodes) * * [misc]simplify: iters left: 4 (205 enodes) * [exit]simplify: Simplified to (* (* (- (sqr (* (pow 33096 4) -121)) (- (* (* -121 -2) (pow 33096 4)) (* -2 -2))) (+ (sqr (* 333.75 (pow 33096 6))) (* (* 5.5 (pow 33096 8)) (- (* 5.5 (pow 33096 8)) (* 333.75 (pow 33096 6)))))) (- (* (pow 33096 6) (pow 33096 6)) (* (* (sqr 77617) (* (sqr 33096) 11)) (- (- (pow 33096 6)) (* (sqr 77617) (* (sqr 33096) 11)))))) * [exit]simplify: Simplified to (* (* (- (sqr (* (pow 33096 4) -121)) (- (* (* -121 -2) (pow 33096 4)) (* -2 -2))) (+ (sqr (* 333.75 (pow 33096 6))) (* (* 5.5 (pow 33096 8)) (- (* 5.5 (pow 33096 8)) (* 333.75 (pow 33096 6)))))) (- (* (pow 33096 6) (pow 33096 6)) (* (* (sqr 77617) (* (sqr 33096) 11)) (- (- (pow 33096 6)) (* (sqr 77617) (* (sqr 33096) 11)))))) * * * * [misc]progress: [ 35 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ (* (+ (pow -2 3) (pow (* (pow 33096 4) -121) 3)) (+ (sqr (* (* (sqr 33096) 11) (sqr 77617))) (- (sqr (- (pow 33096 6))) (* (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))))) (* (+ (sqr -2) (- (sqr (* (pow 33096 4) -121)) (* -2 (* (pow 33096 4) -121)))) (+ (pow (* (* (sqr 33096) 11) (sqr 77617)) 3) (pow (- (pow 33096 6)) 3)))) (sqr 77617)) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) (* (* (+ (sqr -2) (- (sqr (* (pow 33096 4) -121)) (* -2 (* (pow 33096 4) -121)))) (+ (sqr (* (* (sqr 33096) 11) (sqr 77617))) (- (sqr (- (pow 33096 6))) (* (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))))) (- (sqr (* 333.75 (pow 33096 6))) (sqr (* (pow 33096 8) 5.5))))) * * [misc]simplify: iters left: 6 (50 enodes) * * [misc]simplify: iters left: 5 (123 enodes) * * [misc]simplify: iters left: 4 (280 enodes) * [exit]simplify: Simplified to (+ (* (+ (* (+ (cube (* (pow 33096 4) -121)) (cube -2)) (- (* (pow 33096 6) (pow 33096 6)) (* (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (- (pow 33096 6)) (* (* 11 (* 77617 77617)) (* 33096 33096)))))) (* (+ (cube (- (pow 33096 6))) (cube (* (* 11 (* 77617 77617)) (* 33096 33096)))) (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -2 -121) (pow 33096 4)) (* -2 -2))))) (* (* 77617 77617) (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))))) (* (* (* (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -2 -121) (pow 33096 4)) (* -2 -2)))) (- (* (pow 33096 6) (pow 33096 6)) (* (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (- (pow 33096 6)) (* (* 11 (* 77617 77617)) (* 33096 33096))))))) * [exit]simplify: Simplified to (+ (* (+ (* (+ (cube (* (pow 33096 4) -121)) (cube -2)) (- (* (pow 33096 6) (pow 33096 6)) (* (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (- (pow 33096 6)) (* (* 11 (* 77617 77617)) (* 33096 33096)))))) (* (+ (cube (- (pow 33096 6))) (cube (* (* 11 (* 77617 77617)) (* 33096 33096)))) (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -2 -121) (pow 33096 4)) (* -2 -2))))) (* (* 77617 77617) (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))))) (* (* (* (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -2 -121) (pow 33096 4)) (* -2 -2)))) (- (* (pow 33096 6) (pow 33096 6)) (* (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (- (pow 33096 6)) (* (* 11 (* 77617 77617)) (* 33096 33096))))))) * [enter]simplify: Simplifying (* (* (+ (sqr -2) (- (sqr (* (pow 33096 4) -121)) (* -2 (* (pow 33096 4) -121)))) (+ (sqr (* (* (sqr 33096) 11) (sqr 77617))) (- (sqr (- (pow 33096 6))) (* (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) * * [misc]simplify: iters left: 6 (34 enodes) * * [misc]simplify: iters left: 5 (74 enodes) * * [misc]simplify: iters left: 4 (145 enodes) * * [misc]simplify: iters left: 3 (279 enodes) * [exit]simplify: Simplified to (* (* (- (sqr (* (pow 33096 4) -121)) (- (* (pow 33096 4) (* -2 -121)) (* -2 -2))) (- (* 333.75 (pow 33096 6)) (* 5.5 (pow 33096 8)))) (+ (- (sqr (pow 33096 6)) (* (* (pow 33096 6) (sqr 33096)) (* (* 11 77617) (- 77617)))) (sqr (* 77617 (* (* 33096 11) (* 33096 77617)))))) * [exit]simplify: Simplified to (* (* (- (sqr (* (pow 33096 4) -121)) (- (* (pow 33096 4) (* -2 -121)) (* -2 -2))) (- (* 333.75 (pow 33096 6)) (* 5.5 (pow 33096 8)))) (+ (- (sqr (pow 33096 6)) (* (* (pow 33096 6) (sqr 33096)) (* (* 11 77617) (- 77617)))) (sqr (* 77617 (* (* 33096 11) (* 33096 77617)))))) * * * * [misc]progress: [ 36 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ (* (+ (pow -2 3) (pow (* (pow 33096 4) -121) 3)) (- (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (* (+ (sqr -2) (- (sqr (* (pow 33096 4) -121)) (* -2 (* (pow 33096 4) -121)))) (- (sqr (* (* (sqr 33096) 11) (sqr 77617))) (sqr (- (pow 33096 6)))))) (sqr 77617)) (+ (sqr (* 333.75 (pow 33096 6))) (- (sqr (* (pow 33096 8) 5.5)) (* (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) (* (* (+ (sqr -2) (- (sqr (* (pow 33096 4) -121)) (* -2 (* (pow 33096 4) -121)))) (- (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (+ (pow (* 333.75 (pow 33096 6)) 3) (pow (* (pow 33096 8) 5.5) 3)))) * * [misc]simplify: iters left: 6 (50 enodes) * * [misc]simplify: iters left: 5 (114 enodes) * * [misc]simplify: iters left: 4 (254 enodes) * [exit]simplify: Simplified to (+ (* (+ (* (* (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -2 -121) (pow 33096 4)) (* -2 -2))) (+ (pow 33096 6) (* (* (* 77617 77617) (* 33096 33096)) 11))) (- (* (* (* 77617 77617) (* 33096 33096)) 11) (pow 33096 6))) (* (+ (cube (* (pow 33096 4) -121)) (cube -2)) (- (* (* (* 77617 77617) (* 33096 33096)) 11) (- (pow 33096 6))))) (+ (* (* (* 77617 77617) (* (pow 33096 8) 5.5)) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))) (* (* (* 77617 77617) (sqr 333.75)) (* (pow 33096 6) (pow 33096 6))))) (* (* (- (* (* (* 77617 77617) (* 33096 33096)) 11) (- (pow 33096 6))) (+ (cube (* (pow 33096 8) 5.5)) (cube (* 333.75 (pow 33096 6))))) (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -2 -121) (pow 33096 4)) (* -2 -2))))) * [exit]simplify: Simplified to (+ (* (+ (* (* (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -2 -121) (pow 33096 4)) (* -2 -2))) (+ (pow 33096 6) (* (* (* 77617 77617) (* 33096 33096)) 11))) (- (* (* (* 77617 77617) (* 33096 33096)) 11) (pow 33096 6))) (* (+ (cube (* (pow 33096 4) -121)) (cube -2)) (- (* (* (* 77617 77617) (* 33096 33096)) 11) (- (pow 33096 6))))) (+ (* (* (* 77617 77617) (* (pow 33096 8) 5.5)) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))) (* (* (* 77617 77617) (sqr 333.75)) (* (pow 33096 6) (pow 33096 6))))) (* (* (- (* (* (* 77617 77617) (* 33096 33096)) 11) (- (pow 33096 6))) (+ (cube (* (pow 33096 8) 5.5)) (cube (* 333.75 (pow 33096 6))))) (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -2 -121) (pow 33096 4)) (* -2 -2))))) * [enter]simplify: Simplifying (* (* (+ (sqr -2) (- (sqr (* (pow 33096 4) -121)) (* -2 (* (pow 33096 4) -121)))) (- (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (+ (sqr (* 333.75 (pow 33096 6))) (- (sqr (* (pow 33096 8) 5.5)) (* (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) * * [misc]simplify: iters left: 6 (34 enodes) * * [misc]simplify: iters left: 5 (74 enodes) * * [misc]simplify: iters left: 4 (142 enodes) * * [misc]simplify: iters left: 3 (323 enodes) * [exit]simplify: Simplified to (* (+ (sqr (* 333.75 (pow 33096 6))) (* (* (pow 33096 8) 5.5) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))))) (* (- (sqr (* (pow 33096 4) -121)) (- (* (pow 33096 4) (* -2 -121)) (* -2 -2))) (- (* 77617 (* (sqr 33096) (* 11 77617))) (- (pow 33096 6))))) * [exit]simplify: Simplified to (* (+ (sqr (* 333.75 (pow 33096 6))) (* (* (pow 33096 8) 5.5) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))))) (* (- (sqr (* (pow 33096 4) -121)) (- (* (pow 33096 4) (* -2 -121)) (* -2 -2))) (- (* 77617 (* (sqr 33096) (* 11 77617))) (- (pow 33096 6))))) * * * * [misc]progress: [ 37 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ (* (+ (pow -2 3) (pow (* (pow 33096 4) -121) 3)) (- (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (* (+ (sqr -2) (- (sqr (* (pow 33096 4) -121)) (* -2 (* (pow 33096 4) -121)))) (- (sqr (* (* (sqr 33096) 11) (sqr 77617))) (sqr (- (pow 33096 6)))))) (sqr 77617)) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) (* (* (+ (sqr -2) (- (sqr (* (pow 33096 4) -121)) (* -2 (* (pow 33096 4) -121)))) (- (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (- (sqr (* 333.75 (pow 33096 6))) (sqr (* (pow 33096 8) 5.5))))) * * [misc]simplify: iters left: 6 (46 enodes) * * [misc]simplify: iters left: 5 (92 enodes) * * [misc]simplify: iters left: 4 (182 enodes) * * [misc]simplify: iters left: 3 (403 enodes) * [exit]simplify: Simplified to (+ (+ (* (* (* (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))) (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -121 -2) (pow 33096 4)) (* -2 -2)))) (- (* (* 33096 (* 11 33096)) (* 77617 77617)) (- (pow 33096 6)))) (* (* (+ (cube (* (pow 33096 4) -121)) (cube -2)) (- (* (* 33096 (* 11 33096)) (* 77617 77617)) (- (pow 33096 6)))) (* (* 77617 77617) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) (* (* (* (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -121 -2) (pow 33096 4)) (* -2 -2))) (+ (pow 33096 6) (* (* 33096 (* 11 33096)) (* 77617 77617)))) (- (* (* 33096 (* 11 33096)) (* 77617 77617)) (pow 33096 6))) (* (* 77617 77617) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) * [exit]simplify: Simplified to (+ (+ (* (* (* (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))) (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -121 -2) (pow 33096 4)) (* -2 -2)))) (- (* (* 33096 (* 11 33096)) (* 77617 77617)) (- (pow 33096 6)))) (* (* (+ (cube (* (pow 33096 4) -121)) (cube -2)) (- (* (* 33096 (* 11 33096)) (* 77617 77617)) (- (pow 33096 6)))) (* (* 77617 77617) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) (* (* (* (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -121 -2) (pow 33096 4)) (* -2 -2))) (+ (pow 33096 6) (* (* 33096 (* 11 33096)) (* 77617 77617)))) (- (* (* 33096 (* 11 33096)) (* 77617 77617)) (pow 33096 6))) (* (* 77617 77617) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) * [enter]simplify: Simplifying (* (* (+ (sqr -2) (- (sqr (* (pow 33096 4) -121)) (* -2 (* (pow 33096 4) -121)))) (- (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (51 enodes) * * [misc]simplify: iters left: 4 (79 enodes) * * [misc]simplify: iters left: 3 (142 enodes) * * [misc]simplify: iters left: 2 (210 enodes) * * [misc]simplify: iters left: 1 (285 enodes) * [exit]simplify: Simplified to (* (- (* 333.75 (pow 33096 6)) (* 5.5 (pow 33096 8))) (* (- (sqr (* (pow 33096 4) -121)) (- (* (pow 33096 4) (* -2 -121)) (* -2 -2))) (- (* 11 (* (* 33096 77617) (* 33096 77617))) (- (pow 33096 6))))) * [exit]simplify: Simplified to (* (- (* 333.75 (pow 33096 6)) (* 5.5 (pow 33096 8))) (* (- (sqr (* (pow 33096 4) -121)) (- (* (pow 33096 4) (* -2 -121)) (* -2 -2))) (- (* 11 (* (* 33096 77617) (* 33096 77617))) (- (pow 33096 6))))) * * * * [misc]progress: [ 38 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ (* (- (sqr -2) (sqr (* (pow 33096 4) -121))) (+ (sqr (* (* (sqr 33096) 11) (sqr 77617))) (- (sqr (- (pow 33096 6))) (* (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))))) (* (- -2 (* (pow 33096 4) -121)) (+ (pow (* (* (sqr 33096) 11) (sqr 77617)) 3) (pow (- (pow 33096 6)) 3)))) (sqr 77617)) (+ (sqr (* 333.75 (pow 33096 6))) (- (sqr (* (pow 33096 8) 5.5)) (* (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) (* (* (- -2 (* (pow 33096 4) -121)) (+ (sqr (* (* (sqr 33096) 11) (sqr 77617))) (- (sqr (- (pow 33096 6))) (* (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))))) (+ (pow (* 333.75 (pow 33096 6)) 3) (pow (* (pow 33096 8) 5.5) 3)))) * * [misc]simplify: iters left: 6 (50 enodes) * * [misc]simplify: iters left: 5 (135 enodes) * * [misc]simplify: iters left: 4 (276 enodes) * [exit]simplify: Simplified to (+ (* (+ (* (+ (* (* (pow 33096 6) (pow 33096 6)) (- (pow 33096 6))) (cube (* (sqr 77617) (* (* 11 33096) 33096)))) (- -2 (* (pow 33096 4) -121))) (* (- (* (pow 33096 6) (pow 33096 6)) (* (* (sqr 77617) (* (* 11 33096) 33096)) (- (- (pow 33096 6)) (* (sqr 77617) (* (* 11 33096) 33096))))) (* (- -2 (* (pow 33096 4) -121)) (+ -2 (* (pow 33096 4) -121))))) (+ (* (* (sqr 77617) (* (pow 33096 8) 5.5)) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))) (* (* (sqr 77617) (sqr 333.75)) (* (pow 33096 6) (pow 33096 6))))) (* (* (+ (cube (* (pow 33096 8) 5.5)) (cube (* 333.75 (pow 33096 6)))) (- -2 (* (pow 33096 4) -121))) (- (* (pow 33096 6) (pow 33096 6)) (* (* (sqr 77617) (* (* 11 33096) 33096)) (- (- (pow 33096 6)) (* (sqr 77617) (* (* 11 33096) 33096))))))) * [exit]simplify: Simplified to (+ (* (+ (* (+ (* (* (pow 33096 6) (pow 33096 6)) (- (pow 33096 6))) (cube (* (sqr 77617) (* (* 11 33096) 33096)))) (- -2 (* (pow 33096 4) -121))) (* (- (* (pow 33096 6) (pow 33096 6)) (* (* (sqr 77617) (* (* 11 33096) 33096)) (- (- (pow 33096 6)) (* (sqr 77617) (* (* 11 33096) 33096))))) (* (- -2 (* (pow 33096 4) -121)) (+ -2 (* (pow 33096 4) -121))))) (+ (* (* (sqr 77617) (* (pow 33096 8) 5.5)) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))) (* (* (sqr 77617) (sqr 333.75)) (* (pow 33096 6) (pow 33096 6))))) (* (* (+ (cube (* (pow 33096 8) 5.5)) (cube (* 333.75 (pow 33096 6)))) (- -2 (* (pow 33096 4) -121))) (- (* (pow 33096 6) (pow 33096 6)) (* (* (sqr 77617) (* (* 11 33096) 33096)) (- (- (pow 33096 6)) (* (sqr 77617) (* (* 11 33096) 33096))))))) * [enter]simplify: Simplifying (* (* (- -2 (* (pow 33096 4) -121)) (+ (sqr (* (* (sqr 33096) 11) (sqr 77617))) (- (sqr (- (pow 33096 6))) (* (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))))) (+ (sqr (* 333.75 (pow 33096 6))) (- (sqr (* (pow 33096 8) 5.5)) (* (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) * * [misc]simplify: iters left: 6 (34 enodes) * * [misc]simplify: iters left: 5 (82 enodes) * * [misc]simplify: iters left: 4 (162 enodes) * * [misc]simplify: iters left: 3 (367 enodes) * [exit]simplify: Simplified to (* (+ (sqr (* 333.75 (pow 33096 6))) (* (* (pow 33096 8) 5.5) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))))) (+ (* (* (- -2 (* -121 (pow 33096 4))) (- (pow 33096 6))) (- (- (pow 33096 6)) (* (* (* 77617 11) (sqr 33096)) 77617))) (* (- -2 (* -121 (pow 33096 4))) (sqr (* (* (* 77617 11) (sqr 33096)) 77617))))) * [exit]simplify: Simplified to (* (+ (sqr (* 333.75 (pow 33096 6))) (* (* (pow 33096 8) 5.5) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))))) (+ (* (* (- -2 (* -121 (pow 33096 4))) (- (pow 33096 6))) (- (- (pow 33096 6)) (* (* (* 77617 11) (sqr 33096)) 77617))) (* (- -2 (* -121 (pow 33096 4))) (sqr (* (* (* 77617 11) (sqr 33096)) 77617))))) * * * * [misc]progress: [ 39 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ (* (- (sqr -2) (sqr (* (pow 33096 4) -121))) (+ (sqr (* (* (sqr 33096) 11) (sqr 77617))) (- (sqr (- (pow 33096 6))) (* (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))))) (* (- -2 (* (pow 33096 4) -121)) (+ (pow (* (* (sqr 33096) 11) (sqr 77617)) 3) (pow (- (pow 33096 6)) 3)))) (sqr 77617)) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) (* (* (- -2 (* (pow 33096 4) -121)) (+ (sqr (* (* (sqr 33096) 11) (sqr 77617))) (- (sqr (- (pow 33096 6))) (* (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))))) (- (sqr (* 333.75 (pow 33096 6))) (sqr (* (pow 33096 8) 5.5))))) * * [misc]simplify: iters left: 6 (46 enodes) * * [misc]simplify: iters left: 5 (113 enodes) * * [misc]simplify: iters left: 4 (194 enodes) * * [misc]simplify: iters left: 3 (466 enodes) * [exit]simplify: Simplified to (+ (+ (* (* (* (+ (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) (- -2 (* (pow 33096 4) -121))) (+ (- (* (pow 33096 6) (pow 33096 6)) (* (* (pow 33096 6) (sqr 33096)) (* (- 11) (sqr 77617)))) (sqr (* (sqr 77617) (* 33096 (* 11 33096)))))) (* (* (* (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (sqr 77617)) (- -2 (* (pow 33096 4) -121))) (+ (* (- (pow 33096 6)) (* (pow 33096 6) (pow 33096 6))) (cube (* (sqr 77617) (* 33096 (* 11 33096))))))) (* (* (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (sqr 77617)) (* (+ (- (* (pow 33096 6) (pow 33096 6)) (* (* (pow 33096 6) (sqr 33096)) (* (- 11) (sqr 77617)))) (sqr (* (sqr 77617) (* 33096 (* 11 33096))))) (- (* -2 -2) (sqr (* (pow 33096 4) -121)))))) * [exit]simplify: Simplified to (+ (+ (* (* (* (+ (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) (- -2 (* (pow 33096 4) -121))) (+ (- (* (pow 33096 6) (pow 33096 6)) (* (* (pow 33096 6) (sqr 33096)) (* (- 11) (sqr 77617)))) (sqr (* (sqr 77617) (* 33096 (* 11 33096)))))) (* (* (* (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (sqr 77617)) (- -2 (* (pow 33096 4) -121))) (+ (* (- (pow 33096 6)) (* (pow 33096 6) (pow 33096 6))) (cube (* (sqr 77617) (* 33096 (* 11 33096))))))) (* (* (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (sqr 77617)) (* (+ (- (* (pow 33096 6) (pow 33096 6)) (* (* (pow 33096 6) (sqr 33096)) (* (- 11) (sqr 77617)))) (sqr (* (sqr 77617) (* 33096 (* 11 33096))))) (- (* -2 -2) (sqr (* (pow 33096 4) -121)))))) * [enter]simplify: Simplifying (* (* (- -2 (* (pow 33096 4) -121)) (+ (sqr (* (* (sqr 33096) 11) (sqr 77617))) (- (sqr (- (pow 33096 6))) (* (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (60 enodes) * * [misc]simplify: iters left: 4 (98 enodes) * * [misc]simplify: iters left: 3 (179 enodes) * * [misc]simplify: iters left: 2 (362 enodes) * [exit]simplify: Simplified to (* (* (- -2 (* -121 (pow 33096 4))) (- (* 333.75 (pow 33096 6)) (* 5.5 (pow 33096 8)))) (+ (sqr (* 77617 (* (sqr 33096) (* 77617 11)))) (- (* (pow 33096 6) (pow 33096 6)) (* (* (sqr 33096) (- 11)) (* (sqr 77617) (pow 33096 6)))))) * [exit]simplify: Simplified to (* (* (- -2 (* -121 (pow 33096 4))) (- (* 333.75 (pow 33096 6)) (* 5.5 (pow 33096 8)))) (+ (sqr (* 77617 (* (sqr 33096) (* 77617 11)))) (- (* (pow 33096 6) (pow 33096 6)) (* (* (sqr 33096) (- 11)) (* (sqr 77617) (pow 33096 6)))))) * * * * [misc]progress: [ 40 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ (* (- (sqr -2) (sqr (* (pow 33096 4) -121))) (- (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (* (- -2 (* (pow 33096 4) -121)) (- (sqr (* (* (sqr 33096) 11) (sqr 77617))) (sqr (- (pow 33096 6)))))) (sqr 77617)) (+ (sqr (* 333.75 (pow 33096 6))) (- (sqr (* (pow 33096 8) 5.5)) (* (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) (* (* (- -2 (* (pow 33096 4) -121)) (- (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (+ (pow (* 333.75 (pow 33096 6)) 3) (pow (* (pow 33096 8) 5.5) 3)))) * * [misc]simplify: iters left: 6 (46 enodes) * * [misc]simplify: iters left: 5 (104 enodes) * * [misc]simplify: iters left: 4 (211 enodes) * [exit]simplify: Simplified to (+ (* (+ (* (* (sqr 77617) (* 5.5 (pow 33096 8))) (- (* 5.5 (pow 33096 8)) (* 333.75 (pow 33096 6)))) (* (* (sqr 77617) (sqr 333.75)) (sqr (pow 33096 6)))) (* (- -2 (* (pow 33096 4) -121)) (+ (* (+ -2 (* (pow 33096 4) -121)) (- (* (sqr 77617) (* 33096 (* 11 33096))) (- (pow 33096 6)))) (- (sqr (* (sqr 77617) (* 33096 (* 11 33096)))) (sqr (pow 33096 6)))))) (* (+ (cube (* 333.75 (pow 33096 6))) (cube (* 5.5 (pow 33096 8)))) (* (- -2 (* (pow 33096 4) -121)) (- (* (sqr 77617) (* 33096 (* 11 33096))) (- (pow 33096 6)))))) * [exit]simplify: Simplified to (+ (* (+ (* (* (sqr 77617) (* 5.5 (pow 33096 8))) (- (* 5.5 (pow 33096 8)) (* 333.75 (pow 33096 6)))) (* (* (sqr 77617) (sqr 333.75)) (sqr (pow 33096 6)))) (* (- -2 (* (pow 33096 4) -121)) (+ (* (+ -2 (* (pow 33096 4) -121)) (- (* (sqr 77617) (* 33096 (* 11 33096))) (- (pow 33096 6)))) (- (sqr (* (sqr 77617) (* 33096 (* 11 33096)))) (sqr (pow 33096 6)))))) (* (+ (cube (* 333.75 (pow 33096 6))) (cube (* 5.5 (pow 33096 8)))) (* (- -2 (* (pow 33096 4) -121)) (- (* (sqr 77617) (* 33096 (* 11 33096))) (- (pow 33096 6)))))) * [enter]simplify: Simplifying (* (* (- -2 (* (pow 33096 4) -121)) (- (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (+ (sqr (* 333.75 (pow 33096 6))) (- (sqr (* (pow 33096 8) 5.5)) (* (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (60 enodes) * * [misc]simplify: iters left: 4 (108 enodes) * * [misc]simplify: iters left: 3 (194 enodes) * * [misc]simplify: iters left: 2 (306 enodes) * * [misc]simplify: iters left: 1 (389 enodes) * [exit]simplify: Simplified to (* (+ (* (* 5.5 (pow 33096 8)) (- (* 5.5 (pow 33096 8)) (* 333.75 (pow 33096 6)))) (* (* 333.75 (pow 33096 6)) (* 333.75 (pow 33096 6)))) (* (- -2 (* -121 (pow 33096 4))) (- (* (* (* 77617 33096) (* 77617 33096)) 11) (- (pow 33096 6))))) * [exit]simplify: Simplified to (* (+ (* (* 5.5 (pow 33096 8)) (- (* 5.5 (pow 33096 8)) (* 333.75 (pow 33096 6)))) (* (* 333.75 (pow 33096 6)) (* 333.75 (pow 33096 6)))) (* (- -2 (* -121 (pow 33096 4))) (- (* (* (* 77617 33096) (* 77617 33096)) 11) (- (pow 33096 6))))) * * * * [misc]progress: [ 41 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ (* (- (sqr -2) (sqr (* (pow 33096 4) -121))) (- (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (* (- -2 (* (pow 33096 4) -121)) (- (sqr (* (* (sqr 33096) 11) (sqr 77617))) (sqr (- (pow 33096 6)))))) (sqr 77617)) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) (* (* (- -2 (* (pow 33096 4) -121)) (- (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (- (sqr (* 333.75 (pow 33096 6))) (sqr (* (pow 33096 8) 5.5))))) * * [misc]simplify: iters left: 6 (41 enodes) * * [misc]simplify: iters left: 5 (81 enodes) * * [misc]simplify: iters left: 4 (137 enodes) * * [misc]simplify: iters left: 3 (282 enodes) * [exit]simplify: Simplified to (+ (+ (* (- -2 (* (pow 33096 4) -121)) (* (- (* (sqr 77617) (* 11 (sqr 33096))) (- (pow 33096 6))) (- (* (* 333.75 (pow 33096 6)) (* 333.75 (pow 33096 6))) (sqr (* 5.5 (pow 33096 8)))))) (* (* (* (sqr 77617) (- (* 333.75 (pow 33096 6)) (* 5.5 (pow 33096 8)))) (* (- -2 (* (pow 33096 4) -121)) (+ -2 (* (pow 33096 4) -121)))) (- (* (sqr 77617) (* 11 (sqr 33096))) (- (pow 33096 6))))) (* (* (* (sqr 77617) (- (* 333.75 (pow 33096 6)) (* 5.5 (pow 33096 8)))) (- -2 (* (pow 33096 4) -121))) (* (+ (* (sqr 77617) (* 11 (sqr 33096))) (pow 33096 6)) (- (* (sqr 77617) (* 11 (sqr 33096))) (pow 33096 6))))) * [exit]simplify: Simplified to (+ (+ (* (- -2 (* (pow 33096 4) -121)) (* (- (* (sqr 77617) (* 11 (sqr 33096))) (- (pow 33096 6))) (- (* (* 333.75 (pow 33096 6)) (* 333.75 (pow 33096 6))) (sqr (* 5.5 (pow 33096 8)))))) (* (* (* (sqr 77617) (- (* 333.75 (pow 33096 6)) (* 5.5 (pow 33096 8)))) (* (- -2 (* (pow 33096 4) -121)) (+ -2 (* (pow 33096 4) -121)))) (- (* (sqr 77617) (* 11 (sqr 33096))) (- (pow 33096 6))))) (* (* (* (sqr 77617) (- (* 333.75 (pow 33096 6)) (* 5.5 (pow 33096 8)))) (- -2 (* (pow 33096 4) -121))) (* (+ (* (sqr 77617) (* 11 (sqr 33096))) (pow 33096 6)) (- (* (sqr 77617) (* 11 (sqr 33096))) (pow 33096 6))))) * [enter]simplify: Simplifying (* (* (- -2 (* (pow 33096 4) -121)) (- (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) * * [misc]simplify: iters left: 6 (26 enodes) * * [misc]simplify: iters left: 5 (37 enodes) * * [misc]simplify: iters left: 4 (46 enodes) * * [misc]simplify: iters left: 3 (66 enodes) * * [misc]simplify: iters left: 2 (73 enodes) * * [misc]simplify: iters left: 1 (91 enodes) * [exit]simplify: Simplified to (* (- (* (* (* 33096 11) (* 77617 33096)) 77617) (- (pow 33096 6))) (* (- -2 (* -121 (pow 33096 4))) (- (* 333.75 (pow 33096 6)) (* 5.5 (pow 33096 8))))) * [exit]simplify: Simplified to (* (- (* (* (* 33096 11) (* 77617 33096)) 77617) (- (pow 33096 6))) (* (- -2 (* -121 (pow 33096 4))) (- (* 333.75 (pow 33096 6)) (* 5.5 (pow 33096 8))))) * * * * [misc]progress: [ 42 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ (pow (+ -2 (* (pow 33096 4) -121)) 3) (pow (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6))) 3)) (sqr 77617)) (+ (sqr (* 333.75 (pow 33096 6))) (- (sqr (* (pow 33096 8) 5.5)) (* (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) (* (+ (sqr (+ -2 (* (pow 33096 4) -121))) (- (sqr (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (* (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))))) (+ (pow (* 333.75 (pow 33096 6)) 3) (pow (* (pow 33096 8) 5.5) 3)))) * * [misc]simplify: iters left: 6 (44 enodes) * * [misc]simplify: iters left: 5 (102 enodes) * * [misc]simplify: iters left: 4 (243 enodes) * [exit]simplify: Simplified to (+ (* (+ (* (* (sqr 77617) (* (pow 33096 8) 5.5)) (- (* (pow 33096 8) 5.5) (* (pow 33096 6) 333.75))) (* (sqr 77617) (sqr (* (pow 33096 6) 333.75)))) (+ (cube (+ (- (pow 33096 6)) (* (sqr 77617) (* 11 (sqr 33096))))) (cube (+ -2 (* -121 (pow 33096 4)))))) (+ (* (* (+ (cube (* (pow 33096 6) 333.75)) (cube (* (pow 33096 8) 5.5))) (+ (- (pow 33096 6)) (* (sqr 77617) (* 11 (sqr 33096))))) (+ (- (pow 33096 6)) (- (* (sqr 77617) (* 11 (sqr 33096))) (+ -2 (* -121 (pow 33096 4)))))) (* (+ (cube (* (pow 33096 6) 333.75)) (cube (* (pow 33096 8) 5.5))) (sqr (+ -2 (* -121 (pow 33096 4))))))) * [exit]simplify: Simplified to (+ (* (+ (* (* (sqr 77617) (* (pow 33096 8) 5.5)) (- (* (pow 33096 8) 5.5) (* (pow 33096 6) 333.75))) (* (sqr 77617) (sqr (* (pow 33096 6) 333.75)))) (+ (cube (+ (- (pow 33096 6)) (* (sqr 77617) (* 11 (sqr 33096))))) (cube (+ -2 (* -121 (pow 33096 4)))))) (+ (* (* (+ (cube (* (pow 33096 6) 333.75)) (cube (* (pow 33096 8) 5.5))) (+ (- (pow 33096 6)) (* (sqr 77617) (* 11 (sqr 33096))))) (+ (- (pow 33096 6)) (- (* (sqr 77617) (* 11 (sqr 33096))) (+ -2 (* -121 (pow 33096 4)))))) (* (+ (cube (* (pow 33096 6) 333.75)) (cube (* (pow 33096 8) 5.5))) (sqr (+ -2 (* -121 (pow 33096 4))))))) * [enter]simplify: Simplifying (* (+ (sqr (+ -2 (* (pow 33096 4) -121))) (- (sqr (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (* (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))))) (+ (sqr (* 333.75 (pow 33096 6))) (- (sqr (* (pow 33096 8) 5.5)) (* (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) * * [misc]simplify: iters left: 6 (34 enodes) * * [misc]simplify: iters left: 5 (76 enodes) * * [misc]simplify: iters left: 4 (186 enodes) * * [misc]simplify: iters left: 3 (496 enodes) * [exit]simplify: Simplified to (* (+ (sqr (* 333.75 (pow 33096 6))) (* (* (pow 33096 8) 5.5) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))))) (- (+ (sqr (+ -2 (* -121 (pow 33096 4)))) (* (+ (* (* 77617 (* 11 77617)) (sqr 33096)) (- (pow 33096 6))) (+ (* (* 77617 (* 11 77617)) (sqr 33096)) (- (pow 33096 6))))) (* (+ -2 (* -121 (pow 33096 4))) (+ (* (* 77617 (* 11 77617)) (sqr 33096)) (- (pow 33096 6)))))) * [exit]simplify: Simplified to (* (+ (sqr (* 333.75 (pow 33096 6))) (* (* (pow 33096 8) 5.5) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))))) (- (+ (sqr (+ -2 (* -121 (pow 33096 4)))) (* (+ (* (* 77617 (* 11 77617)) (sqr 33096)) (- (pow 33096 6))) (+ (* (* 77617 (* 11 77617)) (sqr 33096)) (- (pow 33096 6))))) (* (+ -2 (* -121 (pow 33096 4))) (+ (* (* 77617 (* 11 77617)) (sqr 33096)) (- (pow 33096 6)))))) * * * * [misc]progress: [ 43 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (+ (pow (+ -2 (* (pow 33096 4) -121)) 3) (pow (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6))) 3)) (sqr 77617)) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) (* (+ (sqr (+ -2 (* (pow 33096 4) -121))) (- (sqr (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (* (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))))) (- (sqr (* 333.75 (pow 33096 6))) (sqr (* (pow 33096 8) 5.5))))) * * [misc]simplify: iters left: 6 (40 enodes) * * [misc]simplify: iters left: 5 (80 enodes) * * [misc]simplify: iters left: 4 (171 enodes) * [exit]simplify: Simplified to (+ (* (+ (cube (+ (- (pow 33096 6)) (* (sqr 77617) (* 11 (sqr 33096))))) (cube (+ -2 (* -121 (pow 33096 4))))) (* (sqr 77617) (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))))) (+ (* (* (* (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) (+ (- (pow 33096 6)) (* (sqr 77617) (* 11 (sqr 33096))))) (+ (* (sqr 77617) (* 11 (sqr 33096))) (- (- (pow 33096 6)) (+ -2 (* -121 (pow 33096 4)))))) (* (* (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) (sqr (+ -2 (* -121 (pow 33096 4))))))) * [exit]simplify: Simplified to (+ (* (+ (cube (+ (- (pow 33096 6)) (* (sqr 77617) (* 11 (sqr 33096))))) (cube (+ -2 (* -121 (pow 33096 4))))) (* (sqr 77617) (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))))) (+ (* (* (* (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) (+ (- (pow 33096 6)) (* (sqr 77617) (* 11 (sqr 33096))))) (+ (* (sqr 77617) (* 11 (sqr 33096))) (- (- (pow 33096 6)) (+ -2 (* -121 (pow 33096 4)))))) (* (* (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) (sqr (+ -2 (* -121 (pow 33096 4))))))) * [enter]simplify: Simplifying (* (+ (sqr (+ -2 (* (pow 33096 4) -121))) (- (sqr (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (* (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (53 enodes) * * [misc]simplify: iters left: 4 (126 enodes) * * [misc]simplify: iters left: 3 (336 enodes) * [exit]simplify: Simplified to (+ (* (+ -2 (* -121 (pow 33096 4))) (* (+ -2 (* -121 (pow 33096 4))) (- (* 333.75 (pow 33096 6)) (* 5.5 (pow 33096 8))))) (* (* (- (* 333.75 (pow 33096 6)) (* 5.5 (pow 33096 8))) (+ (* (* (* 77617 77617) (* 33096 11)) 33096) (- (pow 33096 6)))) (- (+ (* (* (* 77617 77617) (* 33096 11)) 33096) (- (- (pow 33096 6)) -2)) (* -121 (pow 33096 4))))) * [exit]simplify: Simplified to (+ (* (+ -2 (* -121 (pow 33096 4))) (* (+ -2 (* -121 (pow 33096 4))) (- (* 333.75 (pow 33096 6)) (* 5.5 (pow 33096 8))))) (* (* (- (* 333.75 (pow 33096 6)) (* 5.5 (pow 33096 8))) (+ (* (* (* 77617 77617) (* 33096 11)) 33096) (- (pow 33096 6)))) (- (+ (* (* (* 77617 77617) (* 33096 11)) 33096) (- (- (pow 33096 6)) -2)) (* -121 (pow 33096 4))))) * * * * [misc]progress: [ 44 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (- (sqr (+ -2 (* (pow 33096 4) -121))) (sqr (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6))))) (sqr 77617)) (+ (sqr (* 333.75 (pow 33096 6))) (- (sqr (* (pow 33096 8) 5.5)) (* (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) (* (- (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (+ (pow (* 333.75 (pow 33096 6)) 3) (pow (* (pow 33096 8) 5.5) 3)))) * * [misc]simplify: iters left: 6 (40 enodes) * * [misc]simplify: iters left: 5 (91 enodes) * * [misc]simplify: iters left: 4 (201 enodes) * [exit]simplify: Simplified to (+ (* (- (sqr (+ -2 (* -121 (pow 33096 4)))) (* (+ (* (* (* 77617 77617) (* 33096 11)) 33096) (- (pow 33096 6))) (+ (* (* (* 77617 77617) (* 33096 11)) 33096) (- (pow 33096 6))))) (+ (* (* (* 77617 77617) (* 5.5 (pow 33096 8))) (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75))) (* (* (* 77617 77617) (sqr 333.75)) (sqr (pow 33096 6))))) (* (+ (cube (* (pow 33096 6) 333.75)) (cube (* 5.5 (pow 33096 8)))) (- (- (+ -2 (* -121 (pow 33096 4))) (* (* (* 77617 77617) (* 33096 11)) 33096)) (- (pow 33096 6))))) * [exit]simplify: Simplified to (+ (* (- (sqr (+ -2 (* -121 (pow 33096 4)))) (* (+ (* (* (* 77617 77617) (* 33096 11)) 33096) (- (pow 33096 6))) (+ (* (* (* 77617 77617) (* 33096 11)) 33096) (- (pow 33096 6))))) (+ (* (* (* 77617 77617) (* 5.5 (pow 33096 8))) (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75))) (* (* (* 77617 77617) (sqr 333.75)) (sqr (pow 33096 6))))) (* (+ (cube (* (pow 33096 6) 333.75)) (cube (* 5.5 (pow 33096 8)))) (- (- (+ -2 (* -121 (pow 33096 4))) (* (* (* 77617 77617) (* 33096 11)) 33096)) (- (pow 33096 6))))) * [enter]simplify: Simplifying (* (- (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (+ (sqr (* 333.75 (pow 33096 6))) (- (sqr (* (pow 33096 8) 5.5)) (* (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (64 enodes) * * [misc]simplify: iters left: 4 (117 enodes) * * [misc]simplify: iters left: 3 (207 enodes) * * [misc]simplify: iters left: 2 (341 enodes) * [exit]simplify: Simplified to (* (+ (* (* 5.5 (pow 33096 8)) (- (* 5.5 (pow 33096 8)) (* 333.75 (pow 33096 6)))) (* (* 333.75 (pow 33096 6)) (* 333.75 (pow 33096 6)))) (+ (* -121 (pow 33096 4)) (- (- -2 (- (pow 33096 6))) (* (* (* 77617 33096) (* 33096 11)) 77617)))) * [exit]simplify: Simplified to (* (+ (* (* 5.5 (pow 33096 8)) (- (* 5.5 (pow 33096 8)) (* 333.75 (pow 33096 6)))) (* (* 333.75 (pow 33096 6)) (* 333.75 (pow 33096 6)))) (+ (* -121 (pow 33096 4)) (- (- -2 (- (pow 33096 6))) (* (* (* 77617 33096) (* 33096 11)) 77617)))) * * * * [misc]progress: [ 45 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (- (sqr (+ -2 (* (pow 33096 4) -121))) (sqr (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6))))) (sqr 77617)) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) (* (- (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (- (sqr (* 333.75 (pow 33096 6))) (sqr (* (pow 33096 8) 5.5))))) * * [misc]simplify: iters left: 6 (35 enodes) * * [misc]simplify: iters left: 5 (68 enodes) * * [misc]simplify: iters left: 4 (135 enodes) * * [misc]simplify: iters left: 3 (385 enodes) * [exit]simplify: Simplified to (+ (* (- (sqr (* (pow 33096 6) 333.75)) (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5))) (+ -2 (- (- (* -121 (pow 33096 4)) (- (pow 33096 6))) (* (* (sqr 33096) (* 11 77617)) 77617)))) (* (* (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5))) (- (sqr (+ -2 (* -121 (pow 33096 4)))) (* (+ (* (* (sqr 33096) (* 11 77617)) 77617) (- (pow 33096 6))) (+ (* (* (sqr 33096) (* 11 77617)) 77617) (- (pow 33096 6))))))) * [exit]simplify: Simplified to (+ (* (- (sqr (* (pow 33096 6) 333.75)) (* (* (pow 33096 8) 5.5) (* (pow 33096 8) 5.5))) (+ -2 (- (- (* -121 (pow 33096 4)) (- (pow 33096 6))) (* (* (sqr 33096) (* 11 77617)) 77617)))) (* (* (* 77617 77617) (- (* (pow 33096 6) 333.75) (* (pow 33096 8) 5.5))) (- (sqr (+ -2 (* -121 (pow 33096 4)))) (* (+ (* (* (sqr 33096) (* 11 77617)) 77617) (- (pow 33096 6))) (+ (* (* (sqr 33096) (* 11 77617)) 77617) (- (pow 33096 6))))))) * [enter]simplify: Simplifying (* (- (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (- (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) * * [misc]simplify: iters left: 6 (26 enodes) * * [misc]simplify: iters left: 5 (41 enodes) * * [misc]simplify: iters left: 4 (63 enodes) * * [misc]simplify: iters left: 3 (85 enodes) * * [misc]simplify: iters left: 2 (100 enodes) * * [misc]simplify: iters left: 1 (116 enodes) * [exit]simplify: Simplified to (* (- -2 (+ (- (- (pow 33096 6)) (* -121 (pow 33096 4))) (* (* (sqr 33096) 77617) (* 77617 11)))) (- (* 333.75 (pow 33096 6)) (* 5.5 (pow 33096 8)))) * [exit]simplify: Simplified to (* (- -2 (+ (- (- (pow 33096 6)) (* -121 (pow 33096 4))) (* (* (sqr 33096) 77617) (* 77617 11)))) (- (* 333.75 (pow 33096 6)) (* 5.5 (pow 33096 8)))) * * * * [misc]progress: [ 46 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (pow (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) 3) (pow (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) 3)) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (47 enodes) * * [misc]simplify: iters left: 4 (83 enodes) * * [misc]simplify: iters left: 3 (198 enodes) * [exit]simplify: Simplified to (+ (cube (+ (* (+ -2 (* -121 (pow 33096 4))) (sqr 77617)) (+ (- (* (pow 33096 6) (sqr 77617))) (* (* (sqr 77617) (sqr 77617)) (* (* 33096 11) 33096))))) (cube (+ (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))))) * [exit]simplify: Simplified to (+ (cube (+ (* (+ -2 (* -121 (pow 33096 4))) (sqr 77617)) (+ (- (* (pow 33096 6) (sqr 77617))) (* (* (sqr 77617) (sqr 77617)) (* (* 33096 11) 33096))))) (cube (+ (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))))) * [enter]simplify: Simplifying (+ (sqr (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617))) (- (sqr (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) (* (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (61 enodes) * * [misc]simplify: iters left: 4 (140 enodes) * * [misc]simplify: iters left: 3 (459 enodes) * [exit]simplify: Simplified to (+ (- (* (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) (* (* (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (sqr 77617)) (+ (- (pow 33096 6)) (+ (+ -2 (* -121 (pow 33096 4))) (* (* (sqr 33096) (* 77617 11)) 77617))))) (* (* (+ (- (pow 33096 6)) (+ (+ -2 (* -121 (pow 33096 4))) (* (* (sqr 33096) (* 77617 11)) 77617))) (sqr 77617)) (* (+ (- (pow 33096 6)) (+ (+ -2 (* -121 (pow 33096 4))) (* (* (sqr 33096) (* 77617 11)) 77617))) (sqr 77617)))) * [exit]simplify: Simplified to (+ (- (* (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) (* (* (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (sqr 77617)) (+ (- (pow 33096 6)) (+ (+ -2 (* -121 (pow 33096 4))) (* (* (sqr 33096) (* 77617 11)) 77617))))) (* (* (+ (- (pow 33096 6)) (+ (+ -2 (* -121 (pow 33096 4))) (* (* (sqr 33096) (* 77617 11)) 77617))) (sqr 77617)) (* (+ (- (pow 33096 6)) (+ (+ -2 (* -121 (pow 33096 4))) (* (* (sqr 33096) (* 77617 11)) 77617))) (sqr 77617)))) * * * * [misc]progress: [ 47 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 48 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (- (sqr (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617))) (sqr (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))) * * [misc]simplify: iters left: 6 (29 enodes) * * [misc]simplify: iters left: 5 (51 enodes) * * [misc]simplify: iters left: 4 (99 enodes) * * [misc]simplify: iters left: 3 (279 enodes) * [exit]simplify: Simplified to (- (* (+ (* (+ -2 (* -121 (pow 33096 4))) (sqr 77617)) (+ (* (sqr 77617) (- (pow 33096 6))) (* (* (sqr 77617) (sqr 33096)) (* 11 (sqr 77617))))) (+ (* (+ -2 (* -121 (pow 33096 4))) (sqr 77617)) (+ (* (sqr 77617) (- (pow 33096 6))) (* (* (sqr 77617) (sqr 33096)) (* 11 (sqr 77617)))))) (* (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))) * [exit]simplify: Simplified to (- (* (+ (* (+ -2 (* -121 (pow 33096 4))) (sqr 77617)) (+ (* (sqr 77617) (- (pow 33096 6))) (* (* (sqr 77617) (sqr 33096)) (* 11 (sqr 77617))))) (+ (* (+ -2 (* -121 (pow 33096 4))) (sqr 77617)) (+ (* (sqr 77617) (- (pow 33096 6))) (* (* (sqr 77617) (sqr 33096)) (* 11 (sqr 77617)))))) (* (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5)))) * [enter]simplify: Simplifying (- (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (+ (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))) * * [misc]simplify: iters left: 6 (27 enodes) * * [misc]simplify: iters left: 5 (43 enodes) * * [misc]simplify: iters left: 4 (71 enodes) * * [misc]simplify: iters left: 3 (154 enodes) * * [misc]simplify: iters left: 2 (275 enodes) * * [misc]simplify: iters left: 1 (497 enodes) * [exit]simplify: Simplified to (+ (- (* (* (* 77617 33096) (* 77617 33096)) (* (* 77617 11) 77617)) (+ (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75))) (* (sqr 77617) (+ (+ (- (pow 33096 6)) -2) (* -121 (pow 33096 4))))) * [exit]simplify: Simplified to (+ (- (* (* (* 77617 33096) (* 77617 33096)) (* (* 77617 11) 77617)) (+ (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75))) (* (sqr 77617) (+ (+ (- (pow 33096 6)) -2) (* -121 (pow 33096 4))))) * * * * [misc]progress: [ 49 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (+ (+ -2 (* (pow 33096 4) -121)) (+ (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (sqr 77617)) (* 333.75 (pow 33096 6))) * * [misc]simplify: iters left: 6 (22 enodes) * * [misc]simplify: iters left: 5 (35 enodes) * * [misc]simplify: iters left: 4 (63 enodes) * * [misc]simplify: iters left: 3 (146 enodes) * * [misc]simplify: iters left: 2 (265 enodes) * * [misc]simplify: iters left: 1 (459 enodes) * [exit]simplify: Simplified to (+ (+ (* -2 (sqr 77617)) (* (pow 33096 6) 333.75)) (* (sqr 77617) (+ (* 33096 (* (sqr 77617) (* 33096 11))) (+ (* -121 (pow 33096 4)) (- (pow 33096 6)))))) * [exit]simplify: Simplified to (+ (+ (* -2 (sqr 77617)) (* (pow 33096 6) 333.75)) (* (sqr 77617) (+ (* 33096 (* (sqr 77617) (* 33096 11))) (+ (* -121 (pow 33096 4)) (- (pow 33096 6)))))) * * * * [misc]progress: [ 50 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 51 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 52 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (log (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * * [misc]simplify: iters left: 2 (13 enodes) * * [misc]simplify: iters left: 1 (14 enodes) * [exit]simplify: Simplified to (+ (log 5.5) (* (log 33096) 8)) * [exit]simplify: Simplified to (+ (log 5.5) (* (log 33096) 8)) * * * * [misc]progress: [ 53 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * [exit]simplify: Simplified to (pow (exp 5.5) (pow 33096 8)) * [exit]simplify: Simplified to (pow (exp 5.5) (pow 33096 8)) * * * * [misc]progress: [ 54 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * [exit]simplify: Simplified to (cbrt (* 5.5 (pow 33096 8))) * [exit]simplify: Simplified to (cbrt (* 5.5 (pow 33096 8))) * * * * [misc]progress: [ 55 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (22 enodes) * * [misc]simplify: iters left: 1 (33 enodes) * [exit]simplify: Simplified to (cube (* 5.5 (pow 33096 8))) * [exit]simplify: Simplified to (cube (* 5.5 (pow 33096 8))) * * * * [misc]progress: [ 56 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * [exit]simplify: Simplified to (sqrt (* 5.5 (pow 33096 8))) * [exit]simplify: Simplified to (sqrt (* 5.5 (pow 33096 8))) * * * * [misc]progress: [ 57 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 58 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* 5.5 1) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to 5.5 * [exit]simplify: Simplified to 5.5 * * * * [misc]progress: [ 59 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 60 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 61 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (log (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * * [misc]simplify: iters left: 2 (13 enodes) * * [misc]simplify: iters left: 1 (14 enodes) * [exit]simplify: Simplified to (+ (log 5.5) (* (log 33096) 8)) * [exit]simplify: Simplified to (+ (log 5.5) (* (log 33096) 8)) * * * * [misc]progress: [ 62 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * [exit]simplify: Simplified to (pow (exp 5.5) (pow 33096 8)) * [exit]simplify: Simplified to (pow (exp 5.5) (pow 33096 8)) * * * * [misc]progress: [ 63 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * [exit]simplify: Simplified to (cbrt (* 5.5 (pow 33096 8))) * [exit]simplify: Simplified to (cbrt (* 5.5 (pow 33096 8))) * * * * [misc]progress: [ 64 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (22 enodes) * * [misc]simplify: iters left: 1 (33 enodes) * [exit]simplify: Simplified to (cube (* 5.5 (pow 33096 8))) * [exit]simplify: Simplified to (cube (* 5.5 (pow 33096 8))) * * * * [misc]progress: [ 65 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (* 5.5 (pow 33096 8))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * [exit]simplify: Simplified to (sqrt (* 5.5 (pow 33096 8))) * [exit]simplify: Simplified to (sqrt (* 5.5 (pow 33096 8))) * * * * [misc]progress: [ 66 / 68 ] simplifiying candidate # * * * * [misc]progress: [ 67 / 68 ] simplifiying candidate # * [enter]simplify: Simplifying (* 5.5 1) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to 5.5 * [exit]simplify: Simplified to 5.5 * * * * [misc]progress: [ 68 / 68 ] simplifiying candidate # * * * [misc]progress: adding candidates to table * [misc]progress: [Phase 3 of 3] Extracting. * [enter]simplify: Simplifying (+ (* (* (+ (* (+ (pow -2 3) (pow (* (pow 33096 4) -121) 3)) (- (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (* (+ (sqr -2) (- (sqr (* (pow 33096 4) -121)) (* -2 (* (pow 33096 4) -121)))) (- (sqr (* (* (sqr 33096) 11) (sqr 77617))) (sqr (- (pow 33096 6)))))) (sqr 77617)) (+ (sqr (* 333.75 (pow 33096 6))) (- (sqr (* (pow 33096 8) 5.5)) (* (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) (* (* (+ (sqr -2) (- (sqr (* (pow 33096 4) -121)) (* -2 (* (pow 33096 4) -121)))) (- (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (+ (pow (* 333.75 (pow 33096 6)) 3) (pow (* (pow 33096 8) 5.5) 3)))) * * [misc]simplify: iters left: 6 (50 enodes) * * [misc]simplify: iters left: 5 (114 enodes) * * [misc]simplify: iters left: 4 (254 enodes) * [exit]simplify: Simplified to (+ (* (+ (* (* (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -2 -121) (pow 33096 4)) (* -2 -2))) (+ (pow 33096 6) (* (* (* 77617 77617) (* 33096 33096)) 11))) (- (* (* (* 77617 77617) (* 33096 33096)) 11) (pow 33096 6))) (* (+ (cube (* (pow 33096 4) -121)) (cube -2)) (- (* (* (* 77617 77617) (* 33096 33096)) 11) (- (pow 33096 6))))) (+ (* (* (* 77617 77617) (* (pow 33096 8) 5.5)) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))) (* (* (* 77617 77617) (sqr 333.75)) (* (pow 33096 6) (pow 33096 6))))) (* (* (- (* (* (* 77617 77617) (* 33096 33096)) 11) (- (pow 33096 6))) (+ (cube (* (pow 33096 8) 5.5)) (cube (* 333.75 (pow 33096 6))))) (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -2 -121) (pow 33096 4)) (* -2 -2))))) * [exit]simplify: Simplified to (+ (* (+ (* (* (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -2 -121) (pow 33096 4)) (* -2 -2))) (+ (pow 33096 6) (* (* (* 77617 77617) (* 33096 33096)) 11))) (- (* (* (* 77617 77617) (* 33096 33096)) 11) (pow 33096 6))) (* (+ (cube (* (pow 33096 4) -121)) (cube -2)) (- (* (* (* 77617 77617) (* 33096 33096)) 11) (- (pow 33096 6))))) (+ (* (* (* 77617 77617) (* (pow 33096 8) 5.5)) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6)))) (* (* (* 77617 77617) (sqr 333.75)) (* (pow 33096 6) (pow 33096 6))))) (* (* (- (* (* (* 77617 77617) (* 33096 33096)) 11) (- (pow 33096 6))) (+ (cube (* (pow 33096 8) 5.5)) (cube (* 333.75 (pow 33096 6))))) (- (* (* (pow 33096 4) -121) (* (pow 33096 4) -121)) (- (* (* -2 -121) (pow 33096 4)) (* -2 -2))))) * [enter]simplify: Simplifying (* (* (+ (sqr -2) (- (sqr (* (pow 33096 4) -121)) (* -2 (* (pow 33096 4) -121)))) (- (* (* (sqr 33096) 11) (sqr 77617)) (- (pow 33096 6)))) (+ (sqr (* 333.75 (pow 33096 6))) (- (sqr (* (pow 33096 8) 5.5)) (* (* 333.75 (pow 33096 6)) (* (pow 33096 8) 5.5))))) * * [misc]simplify: iters left: 6 (34 enodes) * * [misc]simplify: iters left: 5 (74 enodes) * * [misc]simplify: iters left: 4 (142 enodes) * * [misc]simplify: iters left: 3 (323 enodes) * [exit]simplify: Simplified to (* (+ (sqr (* 333.75 (pow 33096 6))) (* (* (pow 33096 8) 5.5) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))))) (* (- (sqr (* (pow 33096 4) -121)) (- (* (pow 33096 4) (* -2 -121)) (* -2 -2))) (- (* 77617 (* (sqr 33096) (* 11 77617))) (- (pow 33096 6))))) * [exit]simplify: Simplified to (* (+ (sqr (* 333.75 (pow 33096 6))) (* (* (pow 33096 8) 5.5) (- (* (pow 33096 8) 5.5) (* 333.75 (pow 33096 6))))) (* (- (sqr (* (pow 33096 4) -121)) (- (* (pow 33096 4) (* -2 -121)) (* -2 -2))) (- (* 77617 (* (sqr 33096) (* 11 77617))) (- (pow 33096 6)))))