* [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 (59 enodes) * * [misc]simplify: iters left: 4 (104 enodes) * * [misc]simplify: iters left: 3 (191 enodes) * * [misc]simplify: iters left: 2 (378 enodes) * [exit]simplify: Simplified to (+ (+ (* 5.5 (pow 33096 8)) (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75))) (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 77617) 33096) (* (* 11 33096) (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 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 1 1 2 2 1 1) * * * * [misc]progress: [ 4 / 4 ] generating series at (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 1 1 2 2 1 1) * * * * [misc]progress: [ 4 / 4 ] rewriting at (2) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 65 ] 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 (59 enodes) * * [misc]simplify: iters left: 4 (104 enodes) * * [misc]simplify: iters left: 3 (191 enodes) * * [misc]simplify: iters left: 2 (378 enodes) * [exit]simplify: Simplified to (+ (+ (* 5.5 (pow 33096 8)) (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75))) (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 77617) 33096) (* (* 11 33096) (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))) * * * * [misc]progress: [ 2 / 65 ] 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 (59 enodes) * * [misc]simplify: iters left: 4 (104 enodes) * * [misc]simplify: iters left: 3 (191 enodes) * * [misc]simplify: iters left: 2 (378 enodes) * [exit]simplify: Simplified to (+ (+ (* 5.5 (pow 33096 8)) (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75))) (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 77617) 33096) (* (* 11 33096) (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))) * * * * [misc]progress: [ 3 / 65 ] 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 (59 enodes) * * [misc]simplify: iters left: 4 (104 enodes) * * [misc]simplify: iters left: 3 (191 enodes) * * [misc]simplify: iters left: 2 (378 enodes) * [exit]simplify: Simplified to (+ (+ (* 5.5 (pow 33096 8)) (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75))) (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 77617) 33096) (* (* 11 33096) (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))) * * * * [misc]progress: [ 4 / 65 ] 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 (59 enodes) * * [misc]simplify: iters left: 4 (104 enodes) * * [misc]simplify: iters left: 3 (191 enodes) * * [misc]simplify: iters left: 2 (378 enodes) * [exit]simplify: Simplified to (+ (+ (* 5.5 (pow 33096 8)) (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75))) (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 77617) 33096) (* (* 11 33096) (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))) * * * * [misc]progress: [ 5 / 65 ] 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 (59 enodes) * * [misc]simplify: iters left: 4 (104 enodes) * * [misc]simplify: iters left: 3 (191 enodes) * * [misc]simplify: iters left: 2 (378 enodes) * [exit]simplify: Simplified to (+ (+ (* 5.5 (pow 33096 8)) (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75))) (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 77617) 33096) (* (* 11 33096) (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))) * * * * [misc]progress: [ 6 / 65 ] 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 (59 enodes) * * [misc]simplify: iters left: 4 (104 enodes) * * [misc]simplify: iters left: 3 (191 enodes) * * [misc]simplify: iters left: 2 (378 enodes) * [exit]simplify: Simplified to (+ (+ (* 5.5 (pow 33096 8)) (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75))) (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 77617) 33096) (* (* 11 33096) (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))) * * * * [misc]progress: [ 7 / 65 ] 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 (59 enodes) * * [misc]simplify: iters left: 4 (104 enodes) * * [misc]simplify: iters left: 3 (191 enodes) * * [misc]simplify: iters left: 2 (378 enodes) * [exit]simplify: Simplified to (+ (+ (* 5.5 (pow 33096 8)) (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75))) (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 77617) 33096) (* (* 11 33096) (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))) * * * * [misc]progress: [ 8 / 65 ] 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 (59 enodes) * * [misc]simplify: iters left: 4 (104 enodes) * * [misc]simplify: iters left: 3 (191 enodes) * * [misc]simplify: iters left: 2 (378 enodes) * [exit]simplify: Simplified to (+ (+ (* 5.5 (pow 33096 8)) (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75))) (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 77617) 33096) (* (* 11 33096) (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))) * * * * [misc]progress: [ 9 / 65 ] 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 (59 enodes) * * [misc]simplify: iters left: 4 (104 enodes) * * [misc]simplify: iters left: 3 (191 enodes) * * [misc]simplify: iters left: 2 (378 enodes) * [exit]simplify: Simplified to (+ (+ (* 5.5 (pow 33096 8)) (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75))) (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 77617) 33096) (* (* 11 33096) (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))) * * * * [misc]progress: [ 10 / 65 ] 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 (59 enodes) * * [misc]simplify: iters left: 4 (104 enodes) * * [misc]simplify: iters left: 3 (191 enodes) * * [misc]simplify: iters left: 2 (378 enodes) * [exit]simplify: Simplified to (+ (+ (* 5.5 (pow 33096 8)) (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75))) (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 77617) 33096) (* (* 11 33096) (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))) * * * * [misc]progress: [ 11 / 65 ] 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 (59 enodes) * * [misc]simplify: iters left: 4 (104 enodes) * * [misc]simplify: iters left: 3 (191 enodes) * * [misc]simplify: iters left: 2 (378 enodes) * [exit]simplify: Simplified to (+ (+ (* 5.5 (pow 33096 8)) (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75))) (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 77617) 33096) (* (* 11 33096) (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))) * * * * [misc]progress: [ 12 / 65 ] 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 (59 enodes) * * [misc]simplify: iters left: 4 (104 enodes) * * [misc]simplify: iters left: 3 (191 enodes) * * [misc]simplify: iters left: 2 (378 enodes) * [exit]simplify: Simplified to (+ (+ (* 5.5 (pow 33096 8)) (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75))) (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 77617) 33096) (* (* 11 33096) (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))) * * * * [misc]progress: [ 13 / 65 ] 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 (114 enodes) * * [misc]simplify: iters left: 3 (245 enodes) * [exit]simplify: Simplified to (exp (+ (+ (+ (* (* 77617 77617) -2) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))) (* (+ (* -121 (pow 33096 4)) (- (pow 33096 6))) (* 77617 77617))) (+ (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)))) * [exit]simplify: Simplified to (exp (+ (+ (+ (* (* 77617 77617) -2) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))) (* (+ (* -121 (pow 33096 4)) (- (pow 33096 6))) (* 77617 77617))) (+ (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)))) * * * * [misc]progress: [ 14 / 65 ] 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 (58 enodes) * * [misc]simplify: iters left: 4 (119 enodes) * * [misc]simplify: iters left: 3 (248 enodes) * [exit]simplify: Simplified to (exp (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (+ (* (pow 33096 4) -121) (- (pow 33096 6))) (* (* 11 (* 77617 77617)) (sqr 33096))) (* 77617 77617)))) * [exit]simplify: Simplified to (exp (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (+ (* (pow 33096 4) -121) (- (pow 33096 6))) (* (* 11 (* 77617 77617)) (sqr 33096))) (* 77617 77617)))) * * * * [misc]progress: [ 15 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 16 / 65 ] 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 (51 enodes) * * [misc]simplify: iters left: 4 (92 enodes) * * [misc]simplify: iters left: 3 (186 enodes) * * [misc]simplify: iters left: 2 (349 enodes) * [exit]simplify: Simplified to (log (+ (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))))) * [exit]simplify: Simplified to (log (+ (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))))) * * * * [misc]progress: [ 17 / 65 ] 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 (54 enodes) * * [misc]simplify: iters left: 4 (104 enodes) * * [misc]simplify: iters left: 3 (213 enodes) * * [misc]simplify: iters left: 2 (441 enodes) * [exit]simplify: Simplified to (exp (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (- (* (* 77617 77617) (pow 33096 6))))))) * [exit]simplify: Simplified to (exp (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (- (* (* 77617 77617) (pow 33096 6))))))) * * * * [misc]progress: [ 18 / 65 ] 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 (51 enodes) * * [misc]simplify: iters left: 4 (92 enodes) * * [misc]simplify: iters left: 3 (186 enodes) * * [misc]simplify: iters left: 2 (349 enodes) * [exit]simplify: Simplified to (cbrt (+ (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))))) * [exit]simplify: Simplified to (cbrt (+ (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))))) * * * * [misc]progress: [ 19 / 65 ] 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 (53 enodes) * * [misc]simplify: iters left: 4 (108 enodes) * * [misc]simplify: iters left: 3 (287 enodes) * [exit]simplify: Simplified to (cube (+ (+ (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096)))) (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121)))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))))) * [exit]simplify: Simplified to (cube (+ (+ (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096)))) (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121)))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))))) * * * * [misc]progress: [ 20 / 65 ] 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 (51 enodes) * * [misc]simplify: iters left: 4 (92 enodes) * * [misc]simplify: iters left: 3 (186 enodes) * * [misc]simplify: iters left: 2 (349 enodes) * [exit]simplify: Simplified to (sqrt (+ (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))))) * [exit]simplify: Simplified to (sqrt (+ (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))))) * * * * [misc]progress: [ 21 / 65 ] 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 (54 enodes) * * [misc]simplify: iters left: 4 (100 enodes) * * [misc]simplify: iters left: 3 (210 enodes) * * [misc]simplify: iters left: 2 (461 enodes) * [exit]simplify: Simplified to (+ (cube (+ (+ (* (pow 33096 6) 333.75) (+ (* (- (* 77617 77617)) (pow 33096 6)) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))) (cube (* 5.5 (pow 33096 8)))) * [exit]simplify: Simplified to (+ (cube (+ (+ (* (pow 33096 6) 333.75) (+ (* (- (* 77617 77617)) (pow 33096 6)) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))) (cube (* 5.5 (pow 33096 8)))) * [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 (62 enodes) * * [misc]simplify: iters left: 4 (119 enodes) * * [misc]simplify: iters left: 3 (295 enodes) * [exit]simplify: Simplified to (+ (sqr (+ (+ (* (pow 33096 6) 333.75) (* 77617 (* -2 77617))) (* (+ (+ (* (pow 33096 4) -121) (- (pow 33096 6))) (* (* (* 77617 33096) (* 77617 33096)) 11)) (* 77617 77617)))) (* (* 5.5 (pow 33096 8)) (- (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 11) 77617) (* (* 77617 33096) (* 77617 33096)))))))) * [exit]simplify: Simplified to (+ (sqr (+ (+ (* (pow 33096 6) 333.75) (* 77617 (* -2 77617))) (* (+ (+ (* (pow 33096 4) -121) (- (pow 33096 6))) (* (* (* 77617 33096) (* 77617 33096)) 11)) (* 77617 77617)))) (* (* 5.5 (pow 33096 8)) (- (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 11) 77617) (* (* 77617 33096) (* 77617 33096)))))))) * * * * [misc]progress: [ 22 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 23 / 65 ] 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 (58 enodes) * * [misc]simplify: iters left: 4 (116 enodes) * * [misc]simplify: iters left: 3 (282 enodes) * [exit]simplify: Simplified to (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (* (* 77617 77617) (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11)))) (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (* (* 77617 77617) (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))))) * [exit]simplify: Simplified to (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (* (* 77617 77617) (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11)))) (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (* (* 77617 77617) (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))))) * [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 (50 enodes) * * [misc]simplify: iters left: 4 (89 enodes) * * [misc]simplify: iters left: 3 (180 enodes) * * [misc]simplify: iters left: 2 (347 enodes) * [exit]simplify: Simplified to (+ (* (+ (* (* (* 77617 33096) (* 77617 33096)) 11) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)) (- (* (* 77617 77617) -2) (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)))) * [exit]simplify: Simplified to (+ (* (+ (* (* (* 77617 33096) (* 77617 33096)) 11) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)) (- (* (* 77617 77617) -2) (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)))) * * * * [misc]progress: [ 24 / 65 ] 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 (154 enodes) * * [misc]simplify: iters left: 2 (327 enodes) * [exit]simplify: Simplified to (+ (* (* 77617 77617) (+ (- (pow 33096 6)) (* -121 (pow 33096 4)))) (+ (+ (* 5.5 (pow 33096 8)) (* -2 (* 77617 77617))) (* (* (* 77617 33096) (* 77617 33096)) (* (* 77617 11) 77617)))) * [exit]simplify: Simplified to (+ (* (* 77617 77617) (+ (- (pow 33096 6)) (* -121 (pow 33096 4)))) (+ (+ (* 5.5 (pow 33096 8)) (* -2 (* 77617 77617))) (* (* (* 77617 33096) (* 77617 33096)) (* (* 77617 11) 77617)))) * * * * [misc]progress: [ 25 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 26 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 27 / 65 ] 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) (* 6 (log 33096))) * [exit]simplify: Simplified to (+ (log 333.75) (* 6 (log 33096))) * * * * [misc]progress: [ 28 / 65 ] 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 / 65 ] 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 (* (pow 33096 6) 333.75)) * [exit]simplify: Simplified to (cbrt (* (pow 33096 6) 333.75)) * * * * [misc]progress: [ 30 / 65 ] 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 (* (pow 33096 6) 333.75)) * [exit]simplify: Simplified to (cube (* (pow 33096 6) 333.75)) * * * * [misc]progress: [ 31 / 65 ] 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 (* (pow 33096 6) 333.75)) * [exit]simplify: Simplified to (sqrt (* (pow 33096 6) 333.75)) * * * * [misc]progress: [ 32 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 33 / 65 ] 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 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 35 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (exp (* (* 11 (sqr 77617)) (sqr 33096))) (/ 1 (exp (pow 33096 6)))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (28 enodes) * * [misc]simplify: iters left: 4 (44 enodes) * * [misc]simplify: iters left: 3 (69 enodes) * * [misc]simplify: iters left: 2 (94 enodes) * * [misc]simplify: iters left: 1 (124 enodes) * [exit]simplify: Simplified to (/ (pow (exp 11) (* (* 77617 33096) (* 77617 33096))) (exp (pow 33096 6))) * [exit]simplify: Simplified to (/ (pow (exp 11) (* (* 77617 33096) (* 77617 33096))) (exp (pow 33096 6))) * * * * [misc]progress: [ 36 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (* (exp (* (* 11 (sqr 77617)) (sqr 33096))) (exp (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (26 enodes) * * [misc]simplify: iters left: 4 (44 enodes) * * [misc]simplify: iters left: 3 (56 enodes) * * [misc]simplify: iters left: 2 (83 enodes) * * [misc]simplify: iters left: 1 (129 enodes) * [exit]simplify: Simplified to (/ (pow (exp 11) (sqr (* 77617 33096))) (exp (pow 33096 6))) * [exit]simplify: Simplified to (/ (pow (exp 11) (sqr (* 77617 33096))) (exp (pow 33096 6))) * * * * [misc]progress: [ 37 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 38 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (log (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * * [misc]simplify: iters left: 4 (24 enodes) * * [misc]simplify: iters left: 3 (37 enodes) * * [misc]simplify: iters left: 2 (55 enodes) * * [misc]simplify: iters left: 1 (87 enodes) * [exit]simplify: Simplified to (log (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))) * [exit]simplify: Simplified to (log (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))) * * * * [misc]progress: [ 39 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (35 enodes) * * [misc]simplify: iters left: 3 (61 enodes) * * [misc]simplify: iters left: 2 (81 enodes) * * [misc]simplify: iters left: 1 (118 enodes) * [exit]simplify: Simplified to (/ (pow (exp 11) (sqr (* 77617 33096))) (exp (pow 33096 6))) * [exit]simplify: Simplified to (/ (pow (exp 11) (sqr (* 77617 33096))) (exp (pow 33096 6))) * * * * [misc]progress: [ 40 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * * [misc]simplify: iters left: 4 (24 enodes) * * [misc]simplify: iters left: 3 (37 enodes) * * [misc]simplify: iters left: 2 (55 enodes) * * [misc]simplify: iters left: 1 (87 enodes) * [exit]simplify: Simplified to (cbrt (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))) * [exit]simplify: Simplified to (cbrt (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))) * * * * [misc]progress: [ 41 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (20 enodes) * * [misc]simplify: iters left: 4 (36 enodes) * * [misc]simplify: iters left: 3 (93 enodes) * * [misc]simplify: iters left: 2 (253 enodes) * [exit]simplify: Simplified to (cube (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))) * [exit]simplify: Simplified to (cube (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))) * * * * [misc]progress: [ 42 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * * [misc]simplify: iters left: 4 (24 enodes) * * [misc]simplify: iters left: 3 (37 enodes) * * [misc]simplify: iters left: 2 (55 enodes) * * [misc]simplify: iters left: 1 (87 enodes) * [exit]simplify: Simplified to (sqrt (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))) * [exit]simplify: Simplified to (sqrt (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))) * * * * [misc]progress: [ 43 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (pow (* (* 11 (sqr 77617)) (sqr 33096)) 3) (pow (- (pow 33096 6)) 3)) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (40 enodes) * * [misc]simplify: iters left: 3 (89 enodes) * * [misc]simplify: iters left: 2 (191 enodes) * * [misc]simplify: iters left: 1 (314 enodes) * [exit]simplify: Simplified to (+ (cube (* 11 (* (* 77617 33096) (* 77617 33096)))) (cube (- (pow 33096 6)))) * [exit]simplify: Simplified to (+ (cube (* 11 (* (* 77617 33096) (* 77617 33096)))) (cube (- (pow 33096 6)))) * [enter]simplify: Simplifying (+ (sqr (* (* 11 (sqr 77617)) (sqr 33096))) (- (sqr (- (pow 33096 6))) (* (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))))) * * [misc]simplify: iters left: 6 (15 enodes) * * [misc]simplify: iters left: 5 (32 enodes) * * [misc]simplify: iters left: 4 (59 enodes) * * [misc]simplify: iters left: 3 (113 enodes) * * [misc]simplify: iters left: 2 (246 enodes) * * [misc]simplify: iters left: 1 (413 enodes) * [exit]simplify: Simplified to (+ (- (* (pow 33096 6) (pow 33096 6)) (* (* (- 11) (pow 33096 6)) (* (* 77617 33096) (* 77617 33096)))) (* (* (* (* 77617 33096) (* 77617 33096)) 11) (* (* (* 77617 33096) (* 77617 33096)) 11))) * [exit]simplify: Simplified to (+ (- (* (pow 33096 6) (pow 33096 6)) (* (* (- 11) (pow 33096 6)) (* (* 77617 33096) (* 77617 33096)))) (* (* (* (* 77617 33096) (* 77617 33096)) 11) (* (* (* 77617 33096) (* 77617 33096)) 11))) * * * * [misc]progress: [ 44 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 45 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 46 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (- (sqr (* (* 11 (sqr 77617)) (sqr 33096))) (sqr (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (24 enodes) * * [misc]simplify: iters left: 4 (49 enodes) * * [misc]simplify: iters left: 3 (82 enodes) * * [misc]simplify: iters left: 2 (129 enodes) * * [misc]simplify: iters left: 1 (231 enodes) * [exit]simplify: Simplified to (* (- (* 11 (* (* 77617 33096) (* 77617 33096))) (pow 33096 6)) (+ (pow 33096 6) (* 11 (* (* 77617 33096) (* 77617 33096))))) * [exit]simplify: Simplified to (* (- (* 11 (* (* 77617 33096) (* 77617 33096))) (pow 33096 6)) (+ (pow 33096 6) (* 11 (* (* 77617 33096) (* 77617 33096))))) * [enter]simplify: Simplifying (- (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (22 enodes) * * [misc]simplify: iters left: 3 (38 enodes) * * [misc]simplify: iters left: 2 (51 enodes) * * [misc]simplify: iters left: 1 (69 enodes) * [exit]simplify: Simplified to (- (* (* 11 (* 77617 33096)) (* 77617 33096)) (- (pow 33096 6))) * [exit]simplify: Simplified to (- (* (* 11 (* 77617 33096)) (* 77617 33096)) (- (pow 33096 6))) * * * * [misc]progress: [ 47 / 65 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* 11 (sqr 77617)) (sqr 33096)) 0) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * * [misc]simplify: iters left: 4 (21 enodes) * * [misc]simplify: iters left: 3 (39 enodes) * * [misc]simplify: iters left: 2 (52 enodes) * * [misc]simplify: iters left: 1 (70 enodes) * [exit]simplify: Simplified to (* 11 (sqr (* 77617 33096))) * [exit]simplify: Simplified to (* 11 (sqr (* 77617 33096))) * * * * [misc]progress: [ 48 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 49 / 65 ] 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 (130 enodes) * * [misc]simplify: iters left: 3 (259 enodes) * [exit]simplify: Simplified to (exp (+ (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 -2) 77617)) (* (+ (* (sqr 33096) (* (* 11 77617) 77617)) (+ (* -121 (pow 33096 4)) (- (pow 33096 6)))) (* 77617 77617))) (+ (* 5.5 (pow 33096 8)) (/ 77617 (+ 33096 33096))))) * [exit]simplify: Simplified to (exp (+ (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 -2) 77617)) (* (+ (* (sqr 33096) (* (* 11 77617) 77617)) (+ (* -121 (pow 33096 4)) (- (pow 33096 6)))) (* 77617 77617))) (+ (* 5.5 (pow 33096 8)) (/ 77617 (+ 33096 33096))))) * * * * [misc]progress: [ 50 / 65 ] 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 (69 enodes) * * [misc]simplify: iters left: 4 (137 enodes) * * [misc]simplify: iters left: 3 (269 enodes) * [exit]simplify: Simplified to (exp (+ (+ (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))) (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121)))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (/ 77617 (+ 33096 33096))))) * [exit]simplify: Simplified to (exp (+ (+ (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))) (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121)))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (/ 77617 (+ 33096 33096))))) * * * * [misc]progress: [ 51 / 65 ] 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 (66 enodes) * * [misc]simplify: iters left: 4 (124 enodes) * * [misc]simplify: iters left: 3 (250 enodes) * [exit]simplify: Simplified to (exp (+ (+ (* 5.5 (pow 33096 8)) (/ 77617 (+ 33096 33096))) (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) * [exit]simplify: Simplified to (exp (+ (+ (* 5.5 (pow 33096 8)) (/ 77617 (+ 33096 33096))) (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) * * * * [misc]progress: [ 52 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 53 / 65 ] 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 (60 enodes) * * [misc]simplify: iters left: 4 (105 enodes) * * [misc]simplify: iters left: 3 (191 enodes) * * [misc]simplify: iters left: 2 (362 enodes) * [exit]simplify: Simplified to (log (+ (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75)) (+ (* 5.5 (pow 33096 8)) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (* (- (* 77617 77617)) (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))))))) * [exit]simplify: Simplified to (log (+ (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75)) (+ (* 5.5 (pow 33096 8)) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (* (- (* 77617 77617)) (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))))))) * * * * [misc]progress: [ 54 / 65 ] 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 (63 enodes) * * [misc]simplify: iters left: 4 (115 enodes) * * [misc]simplify: iters left: 3 (226 enodes) * * [misc]simplify: iters left: 2 (455 enodes) * [exit]simplify: Simplified to (exp (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (/ 77617 (+ 33096 33096))) (+ (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 77617) (* 77617 77617)) (* (* 11 33096) 33096))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))))) * [exit]simplify: Simplified to (exp (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (/ 77617 (+ 33096 33096))) (+ (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 77617) (* 77617 77617)) (* (* 11 33096) 33096))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))))) * * * * [misc]progress: [ 55 / 65 ] 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 (60 enodes) * * [misc]simplify: iters left: 4 (105 enodes) * * [misc]simplify: iters left: 3 (191 enodes) * * [misc]simplify: iters left: 2 (362 enodes) * [exit]simplify: Simplified to (cbrt (+ (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75)) (+ (* 5.5 (pow 33096 8)) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (* (- (* 77617 77617)) (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))))))) * [exit]simplify: Simplified to (cbrt (+ (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75)) (+ (* 5.5 (pow 33096 8)) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (* (- (* 77617 77617)) (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))))))) * * * * [misc]progress: [ 56 / 65 ] 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 (62 enodes) * * [misc]simplify: iters left: 4 (117 enodes) * * [misc]simplify: iters left: 3 (285 enodes) * [exit]simplify: Simplified to (cube (+ (+ (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75)) (* 5.5 (pow 33096 8))) (* (* 77617 77617) (+ (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11)) (+ -2 (* (pow 33096 4) -121)))))) * [exit]simplify: Simplified to (cube (+ (+ (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75)) (* 5.5 (pow 33096 8))) (* (* 77617 77617) (+ (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11)) (+ -2 (* (pow 33096 4) -121)))))) * * * * [misc]progress: [ 57 / 65 ] 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 (60 enodes) * * [misc]simplify: iters left: 4 (105 enodes) * * [misc]simplify: iters left: 3 (191 enodes) * * [misc]simplify: iters left: 2 (362 enodes) * [exit]simplify: Simplified to (sqrt (+ (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75)) (+ (* 5.5 (pow 33096 8)) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (* (- (* 77617 77617)) (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))))))) * [exit]simplify: Simplified to (sqrt (+ (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75)) (+ (* 5.5 (pow 33096 8)) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (* (- (* 77617 77617)) (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))))))) * * * * [misc]progress: [ 58 / 65 ] 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 (80 enodes) * * [misc]simplify: iters left: 4 (158 enodes) * * [misc]simplify: iters left: 3 (407 enodes) * [exit]simplify: Simplified to (+ (* (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (- (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))))))) 77617) (* (+ 33096 33096) (+ (cube (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (cube (* 5.5 (pow 33096 8)))))) * [exit]simplify: Simplified to (+ (* (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (- (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))))))) 77617) (* (+ 33096 33096) (+ (cube (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (cube (* 5.5 (pow 33096 8)))))) * [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 (69 enodes) * * [misc]simplify: iters left: 4 (133 enodes) * * [misc]simplify: iters left: 3 (312 enodes) * [exit]simplify: Simplified to (* (+ (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (* (* 5.5 (pow 33096 8)) (- (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (* (* (* 11 33096) (* 77617 77617)) (* (* 77617 77617) 33096)) (- (* (* 77617 77617) (pow 33096 6)))))))) (+ 33096 33096)) * [exit]simplify: Simplified to (* (+ (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (* (* 5.5 (pow 33096 8)) (- (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (* (* (* 11 33096) (* 77617 77617)) (* (* 77617 77617) 33096)) (- (* (* 77617 77617) (pow 33096 6)))))))) (+ 33096 33096)) * * * * [misc]progress: [ 59 / 65 ] 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 (71 enodes) * * [misc]simplify: iters left: 4 (146 enodes) * * [misc]simplify: iters left: 3 (386 enodes) * [exit]simplify: Simplified to (* (- (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (- (* (* 77617 77617) (pow 33096 6))))) (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75))) (+ (* (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (+ (* (pow 33096 4) -121) (- (pow 33096 6))) (* 11 (* (* 77617 33096) (* 77617 33096)))) (* 77617 77617))) (+ 33096 33096)) 77617)) * [exit]simplify: Simplified to (* (- (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (- (* (* 77617 77617) (pow 33096 6))))) (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75))) (+ (* (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (+ (* (pow 33096 4) -121) (- (pow 33096 6))) (* 11 (* (* 77617 33096) (* 77617 33096)))) (* 77617 77617))) (+ 33096 33096)) 77617)) * [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 (57 enodes) * * [misc]simplify: iters left: 4 (103 enodes) * * [misc]simplify: iters left: 3 (206 enodes) * * [misc]simplify: iters left: 2 (436 enodes) * [exit]simplify: Simplified to (* (+ 33096 33096) (- (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)))) * [exit]simplify: Simplified to (* (+ 33096 33096) (- (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)))) * * * * [misc]progress: [ 60 / 65 ] 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 (64 enodes) * * [misc]simplify: iters left: 4 (115 enodes) * * [misc]simplify: iters left: 3 (234 enodes) * [exit]simplify: Simplified to (+ (cube (/ 77617 (+ 33096 33096))) (cube (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 77617) (sqr 33096)) (* 11 (* 77617 77617)))))))) * [exit]simplify: Simplified to (+ (cube (/ 77617 (+ 33096 33096))) (cube (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 77617) (sqr 33096)) (* 11 (* 77617 77617)))))))) * [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 (72 enodes) * * [misc]simplify: iters left: 4 (168 enodes) * * [misc]simplify: iters left: 3 (424 enodes) * [exit]simplify: Simplified to (+ (* (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (+ (* (* (* 77617 77617) (sqr 33096)) (* 11 (* 77617 77617))) (* (- (pow 33096 6)) (* 77617 77617))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (+ (* (* (* 77617 77617) (sqr 33096)) (* 11 (* 77617 77617))) (* (- (pow 33096 6)) (* 77617 77617))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))))) (* (/ 77617 (+ 33096 33096)) (- (- (/ 77617 (+ 33096 33096)) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) (+ (+ (* (* (* 77617 77617) (sqr 33096)) (* 11 (* 77617 77617))) (* (- (pow 33096 6)) (* 77617 77617))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))))) * [exit]simplify: Simplified to (+ (* (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (+ (* (* (* 77617 77617) (sqr 33096)) (* 11 (* 77617 77617))) (* (- (pow 33096 6)) (* 77617 77617))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (+ (* (* (* 77617 77617) (sqr 33096)) (* 11 (* 77617 77617))) (* (- (pow 33096 6)) (* 77617 77617))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))))) (* (/ 77617 (+ 33096 33096)) (- (- (/ 77617 (+ 33096 33096)) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) (+ (+ (* (* (* 77617 77617) (sqr 33096)) (* 11 (* 77617 77617))) (* (- (pow 33096 6)) (* 77617 77617))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))))) * * * * [misc]progress: [ 61 / 65 ] simplifiying candidate # * * * * [misc]progress: [ 62 / 65 ] 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 (67 enodes) * * [misc]simplify: iters left: 4 (143 enodes) * * [misc]simplify: iters left: 3 (360 enodes) * [exit]simplify: Simplified to (- (* (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617)))))) (sqr (/ 77617 (+ 33096 33096)))) * [exit]simplify: Simplified to (- (* (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617)))))) (sqr (/ 77617 (+ 33096 33096)))) * [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 (103 enodes) * * [misc]simplify: iters left: 3 (189 enodes) * * [misc]simplify: iters left: 2 (374 enodes) * [exit]simplify: Simplified to (+ (+ (* (pow 33096 6) 333.75) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (* 77617 77617)) (pow 33096 6))) (- (* 5.5 (pow 33096 8)) (/ 77617 (+ 33096 33096))))) * [exit]simplify: Simplified to (+ (+ (* (pow 33096 6) 333.75) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (* 77617 77617)) (pow 33096 6))) (- (* 5.5 (pow 33096 8)) (/ 77617 (+ 33096 33096))))) * * * * [misc]progress: [ 63 / 65 ] 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 (59 enodes) * * [misc]simplify: iters left: 4 (104 enodes) * * [misc]simplify: iters left: 3 (191 enodes) * * [misc]simplify: iters left: 2 (378 enodes) * [exit]simplify: Simplified to (+ (+ (* 5.5 (pow 33096 8)) (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75))) (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 77617) 33096) (* (* 11 33096) (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))) * [exit]simplify: Simplified to (+ (+ (* 5.5 (pow 33096 8)) (+ (/ 77617 (+ 33096 33096)) (* (pow 33096 6) 333.75))) (+ (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* (* 77617 77617) 33096) (* (* 11 33096) (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))) * * * * [misc]progress: [ 64 / 65 ] 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 (+ (* (pow 33096 8) 5.5) (/ 77617 (+ 33096 33096))) * [exit]simplify: Simplified to (+ (* (pow 33096 8) 5.5) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 65 / 65 ] 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 1 2 1 1) * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1 1 1) * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 1 2 2 1 1) * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 1 1) * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 1 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 (73 enodes) * * [misc]simplify: iters left: 4 (142 enodes) * * [misc]simplify: iters left: 3 (351 enodes) * [exit]simplify: Simplified to (+ (/ 77617 (+ 33096 33096)) (/ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 33096) (* 77617 11)) (* (* 77617 33096) 77617))))) 1)) * * * * [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 (73 enodes) * * [misc]simplify: iters left: 4 (142 enodes) * * [misc]simplify: iters left: 3 (351 enodes) * [exit]simplify: Simplified to (+ (/ 77617 (+ 33096 33096)) (/ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 33096) (* 77617 11)) (* (* 77617 33096) 77617))))) 1)) * * * * [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 (73 enodes) * * [misc]simplify: iters left: 4 (142 enodes) * * [misc]simplify: iters left: 3 (351 enodes) * [exit]simplify: Simplified to (+ (/ 77617 (+ 33096 33096)) (/ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 33096) (* 77617 11)) (* (* 77617 33096) 77617))))) 1)) * * * * [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 (73 enodes) * * [misc]simplify: iters left: 4 (142 enodes) * * [misc]simplify: iters left: 3 (351 enodes) * [exit]simplify: Simplified to (+ (/ 77617 (+ 33096 33096)) (/ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 33096) (* 77617 11)) (* (* 77617 33096) 77617))))) 1)) * * * * [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 (73 enodes) * * [misc]simplify: iters left: 4 (142 enodes) * * [misc]simplify: iters left: 3 (351 enodes) * [exit]simplify: Simplified to (+ (/ 77617 (+ 33096 33096)) (/ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 33096) (* 77617 11)) (* (* 77617 33096) 77617))))) 1)) * * * * [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 (73 enodes) * * [misc]simplify: iters left: 4 (142 enodes) * * [misc]simplify: iters left: 3 (351 enodes) * [exit]simplify: Simplified to (+ (/ 77617 (+ 33096 33096)) (/ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 33096) (* 77617 11)) (* (* 77617 33096) 77617))))) 1)) * * * * [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 (73 enodes) * * [misc]simplify: iters left: 4 (142 enodes) * * [misc]simplify: iters left: 3 (351 enodes) * [exit]simplify: Simplified to (+ (/ 77617 (+ 33096 33096)) (/ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 33096) (* 77617 11)) (* (* 77617 33096) 77617))))) 1)) * * * * [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 (73 enodes) * * [misc]simplify: iters left: 4 (142 enodes) * * [misc]simplify: iters left: 3 (351 enodes) * [exit]simplify: Simplified to (+ (/ 77617 (+ 33096 33096)) (/ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 33096) (* 77617 11)) (* (* 77617 33096) 77617))))) 1)) * * * * [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 (73 enodes) * * [misc]simplify: iters left: 4 (142 enodes) * * [misc]simplify: iters left: 3 (351 enodes) * [exit]simplify: Simplified to (+ (/ 77617 (+ 33096 33096)) (/ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 33096) (* 77617 11)) (* (* 77617 33096) 77617))))) 1)) * * * * [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 (73 enodes) * * [misc]simplify: iters left: 4 (142 enodes) * * [misc]simplify: iters left: 3 (351 enodes) * [exit]simplify: Simplified to (+ (/ 77617 (+ 33096 33096)) (/ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 33096) (* 77617 11)) (* (* 77617 33096) 77617))))) 1)) * * * * [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 (73 enodes) * * [misc]simplify: iters left: 4 (142 enodes) * * [misc]simplify: iters left: 3 (351 enodes) * [exit]simplify: Simplified to (+ (/ 77617 (+ 33096 33096)) (/ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 33096) (* 77617 11)) (* (* 77617 33096) 77617))))) 1)) * * * * [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 (73 enodes) * * [misc]simplify: iters left: 4 (142 enodes) * * [misc]simplify: iters left: 3 (351 enodes) * [exit]simplify: Simplified to (+ (/ 77617 (+ 33096 33096)) (/ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 33096) (* 77617 11)) (* (* 77617 33096) 77617))))) 1)) * * * * [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 (59 enodes) * * [misc]simplify: iters left: 4 (117 enodes) * * [misc]simplify: iters left: 3 (282 enodes) * [exit]simplify: Simplified to (exp (* (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))) (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))))) (+ (+ (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))))))) * [exit]simplify: Simplified to (exp (* (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))) (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))))) (+ (+ (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))))))) * * * * [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 (59 enodes) * * [misc]simplify: iters left: 4 (120 enodes) * * [misc]simplify: iters left: 3 (294 enodes) * [exit]simplify: Simplified to (log (* (+ (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) * [exit]simplify: Simplified to (log (* (+ (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) * * * * [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 (62 enodes) * * [misc]simplify: iters left: 4 (128 enodes) * * [misc]simplify: iters left: 3 (311 enodes) * [exit]simplify: Simplified to (exp (* (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (- (* (pow 33096 6) (* 77617 77617)))) (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))))) (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) * [exit]simplify: Simplified to (exp (* (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (- (* (pow 33096 6) (* 77617 77617)))) (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))))) (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 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 (59 enodes) * * [misc]simplify: iters left: 4 (117 enodes) * * [misc]simplify: iters left: 3 (284 enodes) * [exit]simplify: Simplified to (cbrt (* (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) * [exit]simplify: Simplified to (cbrt (* (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) * * * * [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 (61 enodes) * * [misc]simplify: iters left: 4 (126 enodes) * * [misc]simplify: iters left: 3 (331 enodes) * [exit]simplify: Simplified to (cube (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))))) * [exit]simplify: Simplified to (cube (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))))) * * * * [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 (59 enodes) * * [misc]simplify: iters left: 4 (117 enodes) * * [misc]simplify: iters left: 3 (284 enodes) * [exit]simplify: Simplified to (sqrt (* (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) * [exit]simplify: Simplified to (sqrt (* (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) * * * * [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 (60 enodes) * * [misc]simplify: iters left: 4 (120 enodes) * * [misc]simplify: iters left: 3 (272 enodes) * [exit]simplify: Simplified to (* (+ (cube (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (cube (* 5.5 (pow 33096 8)))) (- (cube (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (cube (* 5.5 (pow 33096 8))))) * [exit]simplify: Simplified to (* (+ (cube (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (cube (* 5.5 (pow 33096 8)))) (- (cube (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (cube (* 5.5 (pow 33096 8))))) * [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 (65 enodes) * * [misc]simplify: iters left: 4 (126 enodes) * * [misc]simplify: iters left: 3 (328 enodes) * [exit]simplify: Simplified to (+ (* (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (+ (sqr (+ (* (pow 33096 6) 333.75) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))))))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (* (sqr (+ (* (pow 33096 6) 333.75) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))))))) (sqr (+ (* (pow 33096 6) 333.75) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))))))))) * [exit]simplify: Simplified to (+ (* (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (+ (sqr (+ (* (pow 33096 6) 333.75) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))))))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (* (sqr (+ (* (pow 33096 6) 333.75) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))))))) (sqr (+ (* (pow 33096 6) 333.75) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))))))))) * * * * [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 (* (* (pow 33096 8) 5.5) (* (- 5.5) (pow 33096 8))) * [exit]simplify: Simplified to (* (* (pow 33096 8) 5.5) (* (- 5.5) (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 (62 enodes) * * [misc]simplify: iters left: 4 (121 enodes) * * [misc]simplify: iters left: 3 (322 enodes) * [exit]simplify: Simplified to (- (* (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) (* (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) * [exit]simplify: Simplified to (- (* (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) (* (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) * [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 (56 enodes) * * [misc]simplify: iters left: 4 (105 enodes) * * [misc]simplify: iters left: 3 (243 enodes) * [exit]simplify: Simplified to (+ (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* (* 11 (sqr 33096)) (* 77617 77617)) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) * [exit]simplify: Simplified to (+ (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* (* 11 (sqr 33096)) (* 77617 77617)) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) * * * * [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 (50 enodes) * * [misc]simplify: iters left: 4 (91 enodes) * * [misc]simplify: iters left: 3 (184 enodes) * * [misc]simplify: iters left: 2 (358 enodes) * [exit]simplify: Simplified to (+ (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (- (* (pow 33096 6) (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) * [exit]simplify: Simplified to (+ (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (- (* (pow 33096 6) (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) * [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 (50 enodes) * * [misc]simplify: iters left: 4 (89 enodes) * * [misc]simplify: iters left: 3 (180 enodes) * * [misc]simplify: iters left: 2 (347 enodes) * [exit]simplify: Simplified to (+ (* (+ (* (* (* 77617 33096) (* 77617 33096)) 11) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)) (- (* (* 77617 77617) -2) (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)))) * [exit]simplify: Simplified to (+ (* (+ (* (* (* 77617 33096) (* 77617 33096)) 11) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)) (- (* (* 77617 77617) -2) (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)))) * * * * [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 (58 enodes) * * [misc]simplify: iters left: 4 (116 enodes) * * [misc]simplify: iters left: 3 (282 enodes) * [exit]simplify: Simplified to (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (* (* 77617 77617) (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11)))) (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (* (* 77617 77617) (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))))) * [exit]simplify: Simplified to (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (* (* 77617 77617) (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11)))) (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (* (* 77617 77617) (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))))) * * * * [misc]progress: [ 26 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 27 / 57 ] 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) (* 6 (log 33096))) * [exit]simplify: Simplified to (+ (log 333.75) (* 6 (log 33096))) * * * * [misc]progress: [ 28 / 57 ] 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 / 57 ] 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 (* (pow 33096 6) 333.75)) * [exit]simplify: Simplified to (cbrt (* (pow 33096 6) 333.75)) * * * * [misc]progress: [ 30 / 57 ] 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 (* (pow 33096 6) 333.75)) * [exit]simplify: Simplified to (cube (* (pow 33096 6) 333.75)) * * * * [misc]progress: [ 31 / 57 ] 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 (* (pow 33096 6) 333.75)) * [exit]simplify: Simplified to (sqrt (* (pow 33096 6) 333.75)) * * * * [misc]progress: [ 32 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 33 / 57 ] 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 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 35 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 36 / 57 ] 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) (* 6 (log 33096))) * [exit]simplify: Simplified to (+ (log 333.75) (* 6 (log 33096))) * * * * [misc]progress: [ 37 / 57 ] 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: [ 38 / 57 ] 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 (* (pow 33096 6) 333.75)) * [exit]simplify: Simplified to (cbrt (* (pow 33096 6) 333.75)) * * * * [misc]progress: [ 39 / 57 ] 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 (* (pow 33096 6) 333.75)) * [exit]simplify: Simplified to (cube (* (pow 33096 6) 333.75)) * * * * [misc]progress: [ 40 / 57 ] 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 (* (pow 33096 6) 333.75)) * [exit]simplify: Simplified to (sqrt (* (pow 33096 6) 333.75)) * * * * [misc]progress: [ 41 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 42 / 57 ] 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: [ 43 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 44 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (* (exp (* (* 11 (sqr 77617)) (sqr 33096))) (/ 1 (exp (pow 33096 6)))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (28 enodes) * * [misc]simplify: iters left: 4 (44 enodes) * * [misc]simplify: iters left: 3 (69 enodes) * * [misc]simplify: iters left: 2 (94 enodes) * * [misc]simplify: iters left: 1 (124 enodes) * [exit]simplify: Simplified to (/ (pow (exp 11) (* (* 77617 33096) (* 77617 33096))) (exp (pow 33096 6))) * [exit]simplify: Simplified to (/ (pow (exp 11) (* (* 77617 33096) (* 77617 33096))) (exp (pow 33096 6))) * * * * [misc]progress: [ 45 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (* (exp (* (* 11 (sqr 77617)) (sqr 33096))) (exp (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (26 enodes) * * [misc]simplify: iters left: 4 (44 enodes) * * [misc]simplify: iters left: 3 (56 enodes) * * [misc]simplify: iters left: 2 (83 enodes) * * [misc]simplify: iters left: 1 (129 enodes) * [exit]simplify: Simplified to (/ (pow (exp 11) (sqr (* 77617 33096))) (exp (pow 33096 6))) * [exit]simplify: Simplified to (/ (pow (exp 11) (sqr (* 77617 33096))) (exp (pow 33096 6))) * * * * [misc]progress: [ 46 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 47 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (log (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * * [misc]simplify: iters left: 4 (24 enodes) * * [misc]simplify: iters left: 3 (37 enodes) * * [misc]simplify: iters left: 2 (55 enodes) * * [misc]simplify: iters left: 1 (87 enodes) * [exit]simplify: Simplified to (log (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))) * [exit]simplify: Simplified to (log (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))) * * * * [misc]progress: [ 48 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (35 enodes) * * [misc]simplify: iters left: 3 (61 enodes) * * [misc]simplify: iters left: 2 (81 enodes) * * [misc]simplify: iters left: 1 (118 enodes) * [exit]simplify: Simplified to (/ (pow (exp 11) (sqr (* 77617 33096))) (exp (pow 33096 6))) * [exit]simplify: Simplified to (/ (pow (exp 11) (sqr (* 77617 33096))) (exp (pow 33096 6))) * * * * [misc]progress: [ 49 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * * [misc]simplify: iters left: 4 (24 enodes) * * [misc]simplify: iters left: 3 (37 enodes) * * [misc]simplify: iters left: 2 (55 enodes) * * [misc]simplify: iters left: 1 (87 enodes) * [exit]simplify: Simplified to (cbrt (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))) * [exit]simplify: Simplified to (cbrt (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))) * * * * [misc]progress: [ 50 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (20 enodes) * * [misc]simplify: iters left: 4 (36 enodes) * * [misc]simplify: iters left: 3 (93 enodes) * * [misc]simplify: iters left: 2 (253 enodes) * [exit]simplify: Simplified to (cube (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))) * [exit]simplify: Simplified to (cube (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))) * * * * [misc]progress: [ 51 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (+ (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * * [misc]simplify: iters left: 4 (24 enodes) * * [misc]simplify: iters left: 3 (37 enodes) * * [misc]simplify: iters left: 2 (55 enodes) * * [misc]simplify: iters left: 1 (87 enodes) * [exit]simplify: Simplified to (sqrt (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))) * [exit]simplify: Simplified to (sqrt (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))) * * * * [misc]progress: [ 52 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (pow (* (* 11 (sqr 77617)) (sqr 33096)) 3) (pow (- (pow 33096 6)) 3)) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (40 enodes) * * [misc]simplify: iters left: 3 (89 enodes) * * [misc]simplify: iters left: 2 (191 enodes) * * [misc]simplify: iters left: 1 (314 enodes) * [exit]simplify: Simplified to (+ (cube (* 11 (* (* 77617 33096) (* 77617 33096)))) (cube (- (pow 33096 6)))) * [exit]simplify: Simplified to (+ (cube (* 11 (* (* 77617 33096) (* 77617 33096)))) (cube (- (pow 33096 6)))) * [enter]simplify: Simplifying (+ (sqr (* (* 11 (sqr 77617)) (sqr 33096))) (- (sqr (- (pow 33096 6))) (* (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))))) * * [misc]simplify: iters left: 6 (15 enodes) * * [misc]simplify: iters left: 5 (32 enodes) * * [misc]simplify: iters left: 4 (59 enodes) * * [misc]simplify: iters left: 3 (113 enodes) * * [misc]simplify: iters left: 2 (246 enodes) * * [misc]simplify: iters left: 1 (413 enodes) * [exit]simplify: Simplified to (+ (- (* (pow 33096 6) (pow 33096 6)) (* (* (- 11) (pow 33096 6)) (* (* 77617 33096) (* 77617 33096)))) (* (* (* (* 77617 33096) (* 77617 33096)) 11) (* (* (* 77617 33096) (* 77617 33096)) 11))) * [exit]simplify: Simplified to (+ (- (* (pow 33096 6) (pow 33096 6)) (* (* (- 11) (pow 33096 6)) (* (* 77617 33096) (* 77617 33096)))) (* (* (* (* 77617 33096) (* 77617 33096)) 11) (* (* (* 77617 33096) (* 77617 33096)) 11))) * * * * [misc]progress: [ 53 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 54 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 55 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (- (sqr (* (* 11 (sqr 77617)) (sqr 33096))) (sqr (- (pow 33096 6)))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (24 enodes) * * [misc]simplify: iters left: 4 (49 enodes) * * [misc]simplify: iters left: 3 (82 enodes) * * [misc]simplify: iters left: 2 (129 enodes) * * [misc]simplify: iters left: 1 (231 enodes) * [exit]simplify: Simplified to (* (- (* 11 (* (* 77617 33096) (* 77617 33096))) (pow 33096 6)) (+ (pow 33096 6) (* 11 (* (* 77617 33096) (* 77617 33096))))) * [exit]simplify: Simplified to (* (- (* 11 (* (* 77617 33096) (* 77617 33096))) (pow 33096 6)) (+ (pow 33096 6) (* 11 (* (* 77617 33096) (* 77617 33096))))) * [enter]simplify: Simplifying (- (* (* 11 (sqr 77617)) (sqr 33096)) (- (pow 33096 6))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (22 enodes) * * [misc]simplify: iters left: 3 (38 enodes) * * [misc]simplify: iters left: 2 (51 enodes) * * [misc]simplify: iters left: 1 (69 enodes) * [exit]simplify: Simplified to (- (* (* 11 (* 77617 33096)) (* 77617 33096)) (- (pow 33096 6))) * [exit]simplify: Simplified to (- (* (* 11 (* 77617 33096)) (* 77617 33096)) (- (pow 33096 6))) * * * * [misc]progress: [ 56 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* 11 (sqr 77617)) (sqr 33096)) 0) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * * [misc]simplify: iters left: 4 (21 enodes) * * [misc]simplify: iters left: 3 (39 enodes) * * [misc]simplify: iters left: 2 (52 enodes) * * [misc]simplify: iters left: 1 (70 enodes) * [exit]simplify: Simplified to (* 11 (sqr (* 77617 33096))) * [exit]simplify: Simplified to (* 11 (sqr (* 77617 33096))) * * * * [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 1 1) * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2 1 1) * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1) * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 1 1) * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1) * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2 1 1) * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (exp (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 (37 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (141 enodes) * * [misc]simplify: iters left: 3 (357 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (+ (- (* (pow 33096 6) (* 77617 77617))) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 2 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (exp (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 (37 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (141 enodes) * * [misc]simplify: iters left: 3 (357 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (+ (- (* (pow 33096 6) (* 77617 77617))) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 3 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (exp (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 (37 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (141 enodes) * * [misc]simplify: iters left: 3 (357 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (+ (- (* (pow 33096 6) (* 77617 77617))) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 4 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (exp (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 (37 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (141 enodes) * * [misc]simplify: iters left: 3 (357 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (+ (- (* (pow 33096 6) (* 77617 77617))) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 5 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (exp (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 (37 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (141 enodes) * * [misc]simplify: iters left: 3 (357 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (+ (- (* (pow 33096 6) (* 77617 77617))) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 6 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (exp (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 (37 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (141 enodes) * * [misc]simplify: iters left: 3 (357 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (+ (- (* (pow 33096 6) (* 77617 77617))) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 7 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (exp (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 (37 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (141 enodes) * * [misc]simplify: iters left: 3 (357 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (+ (- (* (pow 33096 6) (* 77617 77617))) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 8 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (exp (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 (37 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (141 enodes) * * [misc]simplify: iters left: 3 (357 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (+ (- (* (pow 33096 6) (* 77617 77617))) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 9 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (exp (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 (37 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (141 enodes) * * [misc]simplify: iters left: 3 (357 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (+ (- (* (pow 33096 6) (* 77617 77617))) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 10 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (exp (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 (37 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (141 enodes) * * [misc]simplify: iters left: 3 (357 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (+ (- (* (pow 33096 6) (* 77617 77617))) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 11 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (exp (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 (37 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (141 enodes) * * [misc]simplify: iters left: 3 (357 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (+ (- (* (pow 33096 6) (* 77617 77617))) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) 1) (/ 77617 (+ 33096 33096))) * * * * [misc]progress: [ 12 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (exp (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 (37 enodes) * * [misc]simplify: iters left: 5 (72 enodes) * * [misc]simplify: iters left: 4 (141 enodes) * * [misc]simplify: iters left: 3 (357 enodes) * [exit]simplify: Simplified to (+ (/ (+ (+ (+ (- (* (pow 33096 6) (* 77617 77617))) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) 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 (59 enodes) * * [misc]simplify: iters left: 4 (117 enodes) * * [misc]simplify: iters left: 3 (282 enodes) * [exit]simplify: Simplified to (exp (* (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))) (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))))) (+ (+ (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))))))) * [exit]simplify: Simplified to (exp (* (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))) (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))))) (+ (+ (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))))))) * * * * [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 (59 enodes) * * [misc]simplify: iters left: 4 (120 enodes) * * [misc]simplify: iters left: 3 (294 enodes) * [exit]simplify: Simplified to (log (* (+ (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) * [exit]simplify: Simplified to (log (* (+ (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) * * * * [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 (62 enodes) * * [misc]simplify: iters left: 4 (128 enodes) * * [misc]simplify: iters left: 3 (311 enodes) * [exit]simplify: Simplified to (exp (* (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (- (* (pow 33096 6) (* 77617 77617)))) (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))))) (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) * [exit]simplify: Simplified to (exp (* (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (- (* (pow 33096 6) (* 77617 77617)))) (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))))) (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 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 (59 enodes) * * [misc]simplify: iters left: 4 (117 enodes) * * [misc]simplify: iters left: 3 (284 enodes) * [exit]simplify: Simplified to (cbrt (* (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) * [exit]simplify: Simplified to (cbrt (* (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) * * * * [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 (61 enodes) * * [misc]simplify: iters left: 4 (126 enodes) * * [misc]simplify: iters left: 3 (331 enodes) * [exit]simplify: Simplified to (cube (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))))) * [exit]simplify: Simplified to (cube (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))))) * * * * [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 (59 enodes) * * [misc]simplify: iters left: 4 (117 enodes) * * [misc]simplify: iters left: 3 (284 enodes) * [exit]simplify: Simplified to (sqrt (* (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) * [exit]simplify: Simplified to (sqrt (* (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) * * * * [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 (60 enodes) * * [misc]simplify: iters left: 4 (120 enodes) * * [misc]simplify: iters left: 3 (272 enodes) * [exit]simplify: Simplified to (* (+ (cube (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (cube (* 5.5 (pow 33096 8)))) (- (cube (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (cube (* 5.5 (pow 33096 8))))) * [exit]simplify: Simplified to (* (+ (cube (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (cube (* 5.5 (pow 33096 8)))) (- (cube (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (cube (* 5.5 (pow 33096 8))))) * [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 (65 enodes) * * [misc]simplify: iters left: 4 (126 enodes) * * [misc]simplify: iters left: 3 (328 enodes) * [exit]simplify: Simplified to (+ (* (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (+ (sqr (+ (* (pow 33096 6) 333.75) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))))))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (* (sqr (+ (* (pow 33096 6) 333.75) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))))))) (sqr (+ (* (pow 33096 6) 333.75) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))))))))) * [exit]simplify: Simplified to (+ (* (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (+ (sqr (+ (* (pow 33096 6) 333.75) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))))))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) (* (sqr (+ (* (pow 33096 6) 333.75) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))))))) (sqr (+ (* (pow 33096 6) 333.75) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (- (pow 33096 6)) (* 77617 77617)) (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))))))))) * * * * [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 (* (* (pow 33096 8) 5.5) (* (- 5.5) (pow 33096 8))) * [exit]simplify: Simplified to (* (* (pow 33096 8) 5.5) (* (- 5.5) (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 (62 enodes) * * [misc]simplify: iters left: 4 (121 enodes) * * [misc]simplify: iters left: 3 (322 enodes) * [exit]simplify: Simplified to (- (* (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) (* (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) * [exit]simplify: Simplified to (- (* (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) (* (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) * [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 (56 enodes) * * [misc]simplify: iters left: 4 (105 enodes) * * [misc]simplify: iters left: 3 (243 enodes) * [exit]simplify: Simplified to (+ (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* (* 11 (sqr 33096)) (* 77617 77617)) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) * [exit]simplify: Simplified to (+ (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* (* 11 (sqr 33096)) (* 77617 77617)) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) * * * * [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 (50 enodes) * * [misc]simplify: iters left: 4 (91 enodes) * * [misc]simplify: iters left: 3 (184 enodes) * * [misc]simplify: iters left: 2 (358 enodes) * [exit]simplify: Simplified to (+ (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (- (* (pow 33096 6) (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) * [exit]simplify: Simplified to (+ (+ (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (- (* (pow 33096 6) (* 77617 77617)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8)))) * [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 (50 enodes) * * [misc]simplify: iters left: 4 (89 enodes) * * [misc]simplify: iters left: 3 (180 enodes) * * [misc]simplify: iters left: 2 (347 enodes) * [exit]simplify: Simplified to (+ (* (+ (* (* (* 77617 33096) (* 77617 33096)) 11) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)) (- (* (* 77617 77617) -2) (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)))) * [exit]simplify: Simplified to (+ (* (+ (* (* (* 77617 33096) (* 77617 33096)) 11) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)) (- (* (* 77617 77617) -2) (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)))) * * * * [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 (58 enodes) * * [misc]simplify: iters left: 4 (116 enodes) * * [misc]simplify: iters left: 3 (282 enodes) * [exit]simplify: Simplified to (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (* (* 77617 77617) (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11)))) (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (* (* 77617 77617) (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))))) * [exit]simplify: Simplified to (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (* (* 77617 77617) (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11)))) (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617))) (* (* 77617 77617) (+ (- (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) 11))))) * * * * [misc]progress: [ 26 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 27 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (exp 1) * * [misc]simplify: iters left: 1 (2 enodes) * [exit]simplify: Simplified to E * [exit]simplify: Simplified to E * * * * [misc]progress: [ 28 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (exp 1) * * [misc]simplify: iters left: 1 (2 enodes) * [exit]simplify: Simplified to E * [exit]simplify: Simplified to E * * * * [misc]progress: [ 29 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (log 1)) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to 1 * [exit]simplify: Simplified to 1 * [enter]simplify: Simplifying (exp (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 (31 enodes) * * [misc]simplify: iters left: 5 (60 enodes) * * [misc]simplify: iters left: 4 (121 enodes) * * [misc]simplify: iters left: 3 (298 enodes) * [exit]simplify: Simplified to (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617))))))) * [exit]simplify: Simplified to (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617))))))) * * * * [misc]progress: [ 30 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (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 (29 enodes) * * [misc]simplify: iters left: 5 (52 enodes) * * [misc]simplify: iters left: 4 (93 enodes) * * [misc]simplify: iters left: 3 (190 enodes) * * [misc]simplify: iters left: 2 (342 enodes) * [exit]simplify: Simplified to (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (* (- (* 77617 77617)) (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))))) * [exit]simplify: Simplified to (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (* (- (* 77617 77617)) (pow 33096 6)) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617)))))) * [enter]simplify: Simplifying (exp (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 (29 enodes) * * [misc]simplify: iters left: 5 (52 enodes) * * [misc]simplify: iters left: 4 (91 enodes) * * [misc]simplify: iters left: 3 (186 enodes) * * [misc]simplify: iters left: 2 (353 enodes) * [exit]simplify: Simplified to (+ (* (+ (+ (* (pow 33096 4) -121) (- (pow 33096 6))) (* 11 (* (* 77617 33096) (* 77617 33096)))) (* 77617 77617)) (- (* (* 77617 77617) -2) (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)))) * [exit]simplify: Simplified to (+ (* (+ (+ (* (pow 33096 4) -121) (- (pow 33096 6))) (* 11 (* (* 77617 33096) (* 77617 33096)))) (* 77617 77617)) (- (* (* 77617 77617) -2) (- (* 5.5 (pow 33096 8)) (* (pow 33096 6) 333.75)))) * * * * [misc]progress: [ 31 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (log 1)) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to 1 * [exit]simplify: Simplified to 1 * [enter]simplify: Simplifying (exp (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 (31 enodes) * * [misc]simplify: iters left: 5 (60 enodes) * * [misc]simplify: iters left: 4 (121 enodes) * * [misc]simplify: iters left: 3 (298 enodes) * [exit]simplify: Simplified to (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617))))))) * [exit]simplify: Simplified to (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)) (+ (- (* (* 77617 77617) (pow 33096 6))) (* (* (* 77617 33096) (* 77617 33096)) (* 11 (* 77617 77617))))))) * * * * [misc]progress: [ 32 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (log (- (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 (34 enodes) * * [misc]simplify: iters left: 5 (62 enodes) * * [misc]simplify: iters left: 4 (122 enodes) * * [misc]simplify: iters left: 3 (280 enodes) * [exit]simplify: Simplified to (- (* (cube (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (cube (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) (sqr (cube (* 5.5 (pow 33096 8))))) * [exit]simplify: Simplified to (- (* (cube (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (cube (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) (sqr (cube (* 5.5 (pow 33096 8))))) * [enter]simplify: Simplifying (exp (log (+ (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 (35 enodes) * * [misc]simplify: iters left: 5 (67 enodes) * * [misc]simplify: iters left: 4 (128 enodes) * * [misc]simplify: iters left: 3 (315 enodes) * [exit]simplify: Simplified to (+ (* (+ (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 77617) (sqr 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (* (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 77617) (sqr 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 77617) (sqr 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))))) * [exit]simplify: Simplified to (+ (* (+ (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 77617) (sqr 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (* (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 77617) (sqr 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))) (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 77617) (sqr 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617)))))) * * * * [misc]progress: [ 33 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (log (- (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 (33 enodes) * * [misc]simplify: iters left: 5 (64 enodes) * * [misc]simplify: iters left: 4 (126 enodes) * * [misc]simplify: iters left: 3 (333 enodes) * [exit]simplify: Simplified to (- (* (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121)))) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))))) (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121)))) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617)))))) (* (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) * [exit]simplify: Simplified to (- (* (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121)))) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))))) (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121)))) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617)))))) (* (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))) * [enter]simplify: Simplifying (exp (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 (31 enodes) * * [misc]simplify: iters left: 5 (58 enodes) * * [misc]simplify: iters left: 4 (107 enodes) * * [misc]simplify: iters left: 3 (238 enodes) * [exit]simplify: Simplified to (+ (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (+ (* (pow 33096 4) -121) (- (pow 33096 6))) (* (* (* 77617 33096) (* 77617 33096)) 11)) (* 77617 77617)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) * [exit]simplify: Simplified to (+ (sqr (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) -2)) (* (+ (+ (* (pow 33096 4) -121) (- (pow 33096 6))) (* (* (* 77617 33096) (* 77617 33096)) 11)) (* 77617 77617)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) * * * * [misc]progress: [ 34 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (log (exp (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 (32 enodes) * * [misc]simplify: iters left: 5 (61 enodes) * * [misc]simplify: iters left: 4 (122 enodes) * * [misc]simplify: iters left: 3 (296 enodes) * [exit]simplify: Simplified to (log (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* (* (* 77617 33096) (* 77617 33096)) 11) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (+ (* (* (* 77617 11) 77617) (* (* 77617 33096) (* 77617 33096))) (- (* (* 77617 77617) (pow 33096 6)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))))) * [exit]simplify: Simplified to (log (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* (* (* 77617 33096) (* 77617 33096)) 11) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (+ (* (* (* 77617 11) 77617) (* (* 77617 33096) (* 77617 33096))) (- (* (* 77617 77617) (pow 33096 6)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))))) * * * * [misc]progress: [ 35 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (exp (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 (32 enodes) * * [misc]simplify: iters left: 5 (61 enodes) * * [misc]simplify: iters left: 4 (127 enodes) * * [misc]simplify: iters left: 3 (319 enodes) * [exit]simplify: Simplified to (exp (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* (* 11 (* 77617 77617)) (sqr 33096)) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* (* 11 (* 77617 77617)) (sqr 33096)) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) * [exit]simplify: Simplified to (exp (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* (* 11 (* 77617 77617)) (sqr 33096)) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* (* 11 (* 77617 77617)) (sqr 33096)) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))))) * * * * [misc]progress: [ 36 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (exp (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 (32 enodes) * * [misc]simplify: iters left: 5 (61 enodes) * * [misc]simplify: iters left: 4 (122 enodes) * * [misc]simplify: iters left: 3 (296 enodes) * [exit]simplify: Simplified to (cbrt (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* (* (* 77617 33096) (* 77617 33096)) 11) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (+ (* (* (* 77617 11) 77617) (* (* 77617 33096) (* 77617 33096))) (- (* (* 77617 77617) (pow 33096 6)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))))) * [exit]simplify: Simplified to (cbrt (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* (* (* 77617 33096) (* 77617 33096)) 11) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (+ (* (* (* 77617 11) 77617) (* (* 77617 33096) (* 77617 33096))) (- (* (* 77617 77617) (pow 33096 6)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))))) * * * * [misc]progress: [ 37 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (exp (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 (32 enodes) * * [misc]simplify: iters left: 5 (63 enodes) * * [misc]simplify: iters left: 4 (134 enodes) * * [misc]simplify: iters left: 3 (344 enodes) * [exit]simplify: Simplified to (cube (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))))))) * [exit]simplify: Simplified to (cube (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* 11 (* (* 77617 33096) (* 77617 33096))) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (* (* 77617 77617) (+ -2 (* (pow 33096 4) -121))) (+ (* (* 11 (* 77617 77617)) (* (* 77617 33096) (* 77617 33096))) (* (- (pow 33096 6)) (* 77617 77617))))))) * * * * [misc]progress: [ 38 / 57 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (exp (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 (32 enodes) * * [misc]simplify: iters left: 5 (61 enodes) * * [misc]simplify: iters left: 4 (122 enodes) * * [misc]simplify: iters left: 3 (296 enodes) * [exit]simplify: Simplified to (sqrt (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* (* (* 77617 33096) (* 77617 33096)) 11) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (+ (* (* (* 77617 11) 77617) (* (* 77617 33096) (* 77617 33096))) (- (* (* 77617 77617) (pow 33096 6)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))))) * [exit]simplify: Simplified to (sqrt (* (+ (+ (- (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (* (* 77617 77617) -2)) (* (+ (* (* (* 77617 33096) (* 77617 33096)) 11) (+ (* (pow 33096 4) -121) (- (pow 33096 6)))) (* 77617 77617))) (+ (+ (* (pow 33096 6) 333.75) (* 5.5 (pow 33096 8))) (+ (+ (* (* (* 77617 11) 77617) (* (* 77617 33096) (* 77617 33096))) (- (* (* 77617 77617) (pow 33096 6)))) (* (+ -2 (* (pow 33096 4) -121)) (* 77617 77617)))))) * * * * [misc]progress: [ 39 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 40 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 41 / 57 ] 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) (* 6 (log 33096))) * [exit]simplify: Simplified to (+ (log 333.75) (* 6 (log 33096))) * * * * [misc]progress: [ 42 / 57 ] 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: [ 43 / 57 ] 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 (* (pow 33096 6) 333.75)) * [exit]simplify: Simplified to (cbrt (* (pow 33096 6) 333.75)) * * * * [misc]progress: [ 44 / 57 ] 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 (* (pow 33096 6) 333.75)) * [exit]simplify: Simplified to (cube (* (pow 33096 6) 333.75)) * * * * [misc]progress: [ 45 / 57 ] 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 (* (pow 33096 6) 333.75)) * [exit]simplify: Simplified to (sqrt (* (pow 33096 6) 333.75)) * * * * [misc]progress: [ 46 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 47 / 57 ] 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: [ 48 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 49 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 50 / 57 ] 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) (* 6 (log 33096))) * [exit]simplify: Simplified to (+ (log 333.75) (* 6 (log 33096))) * * * * [misc]progress: [ 51 / 57 ] 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: [ 52 / 57 ] 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 (* (pow 33096 6) 333.75)) * [exit]simplify: Simplified to (cbrt (* (pow 33096 6) 333.75)) * * * * [misc]progress: [ 53 / 57 ] 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 (* (pow 33096 6) 333.75)) * [exit]simplify: Simplified to (cube (* (pow 33096 6) 333.75)) * * * * [misc]progress: [ 54 / 57 ] 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 (* (pow 33096 6) 333.75)) * [exit]simplify: Simplified to (sqrt (* (pow 33096 6) 333.75)) * * * * [misc]progress: [ 55 / 57 ] simplifiying candidate # * * * * [misc]progress: [ 56 / 57 ] 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: [ 57 / 57 ] simplifiying candidate # * * * [misc]progress: adding candidates to table * [misc]progress: [Phase 3 of 3] Extracting.