8.998 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.085 * * * [progress]: [2/2] Setting up program. 0.091 * [progress]: [Phase 2 of 3] Improving. 0.091 * [simplify]: Simplifying using # : (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0))) 0.149 * * [simplify]: iteration 0 : 4958 enodes (cost 43 ) 0.150 * * [simplify]: iteration 1 : 4958 enodes (cost 43 ) 0.153 * [simplify]: Simplified to: (+ (* 333.75 (pow 33096.0 6.0)) (+ (+ (* 33096.0 (* 33096.0 (* 11.0 (pow 77617.0 4)))) (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))) 0.157 * * [progress]: iteration 1 / 4 0.157 * * * [progress]: picking best candidate 0.160 * * * * [pick]: Picked # 0.160 * * * [progress]: localizing error 0.184 * * * [progress]: generating rewritten candidates 0.184 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 0.204 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.228 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 1 1) 0.243 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 0.249 * * * [progress]: generating series expansions 0.249 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 0.249 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.249 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 1 1) 0.249 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 0.249 * * * [progress]: simplifying candidates 0.251 * [simplify]: Simplifying using # : (* (* (exp (* 333.75 (pow 33096.0 6.0))) (exp (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (exp (* 5.5 (pow 33096.0 8.0)))) (* (exp (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (exp (* 5.5 (pow 33096.0 8.0)))) (log (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))) (exp (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))) (* (cbrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))) (* (* (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))) (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))) (sqrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))) (sqrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))) (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (- (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))))) (- (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0)))) (- (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (+ (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0)) (* 5.5 (pow 33096.0 8.0))) (* (* (* (exp (* 333.75 (pow 33096.0 6.0))) (exp (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (exp (* 5.5 (pow 33096.0 8.0)))) (exp (/ 77617.0 (* 2.0 33096.0)))) (* (* (exp (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (exp (* 5.5 (pow 33096.0 8.0)))) (exp (/ 77617.0 (* 2.0 33096.0)))) (* (exp (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))) (exp (/ 77617.0 (* 2.0 33096.0)))) (log (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))) (exp (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))) (* (cbrt (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))) (cbrt (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0))))) (cbrt (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))) (* (* (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0))) (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))) (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))) (sqrt (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))) (sqrt (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))) (+ (* (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (* 2.0 33096.0)) (* (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (- (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))))) 77617.0)) (* (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (- (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))))) (* 2.0 33096.0)) (+ (* (- (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0)))) (* 2.0 33096.0)) (* (- (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) 77617.0)) (* (- (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (* 2.0 33096.0)) (+ (pow (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) 3) (pow (/ 77617.0 (* 2.0 33096.0)) 3)) (+ (* (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))) (- (* (/ 77617.0 (* 2.0 33096.0)) (/ 77617.0 (* 2.0 33096.0))) (* (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0))))) (- (* (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))) (* (/ 77617.0 (* 2.0 33096.0)) (/ 77617.0 (* 2.0 33096.0)))) (- (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0))) (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (* (exp (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0))) (/ 1 (exp (pow 33096.0 6.0)))) (* (exp (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0))) (exp (neg (pow 33096.0 6.0)))) (log (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0)))) (exp (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0)))) (* (cbrt (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0)))) (cbrt (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))))) (cbrt (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0)))) (* (* (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0)))) (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0)))) (sqrt (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0)))) (sqrt (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0)))) (+ (pow (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) 3) (pow (neg (pow 33096.0 6.0)) 3)) (+ (* (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0))) (- (* (neg (pow 33096.0 6.0)) (neg (pow 33096.0 6.0))) (* (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))))) (- (* (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0))) (* (neg (pow 33096.0 6.0)) (neg (pow 33096.0 6.0)))) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) 0) (+ (log 5.5) (* (log 33096.0) 8.0)) (+ (log 5.5) (* (log 33096.0) 8.0)) (+ (log 5.5) (log (pow 33096.0 8.0))) (log (* 5.5 (pow 33096.0 8.0))) (exp (* 5.5 (pow 33096.0 8.0))) (* (* (* 5.5 5.5) 5.5) (* (* (pow 33096.0 8.0) (pow 33096.0 8.0)) (pow 33096.0 8.0))) (* (cbrt (* 5.5 (pow 33096.0 8.0))) (cbrt (* 5.5 (pow 33096.0 8.0)))) (cbrt (* 5.5 (pow 33096.0 8.0))) (* (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* 5.5 (pow 33096.0 8.0))) (sqrt (* 5.5 (pow 33096.0 8.0))) (sqrt (* 5.5 (pow 33096.0 8.0))) (* (sqrt 5.5) (pow (sqrt 33096.0) 8.0)) (* (sqrt 5.5) (pow (sqrt 33096.0) 8.0)) (* (sqrt 5.5) (sqrt (pow 33096.0 8.0))) (* (sqrt 5.5) (sqrt (pow 33096.0 8.0))) (* (sqrt 5.5) (pow 33096.0 (/ 8.0 2))) (* (sqrt 5.5) (pow 33096.0 (/ 8.0 2))) (* 5.5 (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0)) (* 5.5 (pow (sqrt 33096.0) 8.0)) (* 5.5 (pow 1 8.0)) (* 5.5 (* (cbrt (pow 33096.0 8.0)) (cbrt (pow 33096.0 8.0)))) (* 5.5 (sqrt (pow 33096.0 8.0))) (* 5.5 1) (* 5.5 (pow 33096.0 (/ 8.0 2))) (* (cbrt 5.5) (pow 33096.0 8.0)) (* (sqrt 5.5) (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0)) (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0))) (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0))) (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0))) (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0))) 0.287 * * [simplify]: iteration 0 : 5101 enodes (cost 2365 ) 0.294 * [simplify]: Simplified to: (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (log (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (* (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))))) (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (pow (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) 3) (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0))))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* 5.5 (* (pow 33096.0 (* 8.0 2)) 5.5)) (* (+ (* 333.75 (pow 33096.0 6.0)) (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (- (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))))) (- (* (+ (* 333.75 (pow 33096.0 6.0)) (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))))) (* 5.5 (* (pow 33096.0 (* 8.0 2)) 5.5))) (+ (* 333.75 (pow 33096.0 6.0)) (- (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))) (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))) (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))) (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))) (log (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))) (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))) (* (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))) (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))))) (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))) (pow (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))) 3) (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))) (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))) (+ (* 33096.0 (* (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0))))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) 2.0)) (* 77617.0 (+ (* 5.5 (* (pow 33096.0 (* 8.0 2)) 5.5)) (* (+ (* 333.75 (pow 33096.0 6.0)) (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (- (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))))))) (* 33096.0 (* (+ (* 5.5 (* (pow 33096.0 (* 8.0 2)) 5.5)) (* (+ (* 333.75 (pow 33096.0 6.0)) (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (- (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))))) 2.0)) (* (+ (* 333.75 (pow 33096.0 6.0)) (- (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (+ (* (* 33096.0 2.0) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) 77617.0)) (* 33096.0 (* (+ (* 333.75 (pow 33096.0 6.0)) (- (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) 2.0)) (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) 3) (pow (/ 77617.0 (* 33096.0 2.0)) 3)) (+ (* (/ 77617.0 (* 33096.0 2.0)) (/ 77617.0 (* 33096.0 2.0))) (* (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (- (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))))) (- (* (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (* (/ 77617.0 (* 33096.0 2.0)) (/ 77617.0 (* 33096.0 2.0)))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (- (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))) (exp (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0))) (exp (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0))) (log (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0))) (exp (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0))) (* (cbrt (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0))) (cbrt (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0)))) (cbrt (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0))) (pow (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0)) 3) (sqrt (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0))) (sqrt (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0))) (- (* (pow (* 77617.0 (* 77617.0 11.0)) 3) (pow 33096.0 6)) (pow (pow 33096.0 6.0) 3)) (+ (pow 33096.0 (* 2 6.0)) (* (* 77617.0 (* 77617.0 11.0)) (+ (* 33096.0 (* 33096.0 (pow 33096.0 6.0))) (* (pow 33096.0 4) (* 77617.0 (* 77617.0 11.0)))))) (- (* (* 77617.0 77617.0) (* 11.0 (* (pow 33096.0 4) (* 77617.0 (* 77617.0 11.0))))) (pow 33096.0 (* 2 6.0))) (+ (pow 33096.0 6.0) (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0))))) (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (log (* 5.5 (pow 33096.0 8.0))) (log (* 5.5 (pow 33096.0 8.0))) (log (* 5.5 (pow 33096.0 8.0))) (log (* 5.5 (pow 33096.0 8.0))) (pow (exp 5.5) (pow 33096.0 8.0)) (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (cbrt (* 5.5 (pow 33096.0 8.0))) (cbrt (* 5.5 (pow 33096.0 8.0)))) (cbrt (* 5.5 (pow 33096.0 8.0))) (pow (* 5.5 (pow 33096.0 8.0)) 3) (sqrt (* 5.5 (pow 33096.0 8.0))) (sqrt (* 5.5 (pow 33096.0 8.0))) (* (sqrt 5.5) (pow (sqrt 33096.0) 8.0)) (* (sqrt 5.5) (pow (sqrt 33096.0) 8.0)) (* (sqrt 5.5) (sqrt (pow 33096.0 8.0))) (* (sqrt 5.5) (sqrt (pow 33096.0 8.0))) (* (sqrt 5.5) (pow 33096.0 (/ 8.0 2))) (* (sqrt 5.5) (pow 33096.0 (/ 8.0 2))) (* 5.5 (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0)) (* 5.5 (pow (sqrt 33096.0) 8.0)) 5.5 (* 5.5 (* (cbrt (pow 33096.0 8.0)) (cbrt (pow 33096.0 8.0)))) (* 5.5 (sqrt (pow 33096.0 8.0))) 5.5 (* 5.5 (pow 33096.0 (/ 8.0 2))) (* (pow 33096.0 8.0) (cbrt 5.5)) (* (pow 33096.0 8.0) (sqrt 5.5)) (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))) 0.294 * * * [progress]: adding candidates to table 0.558 * * [progress]: iteration 2 / 4 0.558 * * * [progress]: picking best candidate 0.561 * * * * [pick]: Picked # 0.562 * * * [progress]: localizing error 0.588 * * * [progress]: generating rewritten candidates 0.588 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 0.609 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.630 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.654 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 2 1) 0.661 * * * [progress]: generating series expansions 0.661 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 0.661 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.661 * * * * [progress]: [ 3 / 4 ] generating series at (2) 0.661 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 2 1) 0.661 * * * [progress]: simplifying candidates 0.663 * [simplify]: Simplifying using # : (* (exp (* 333.75 (pow 33096.0 6.0))) (* (exp (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0))))) (exp (* 5.5 (pow 33096.0 8.0))))) (* (exp (* 333.75 (pow 33096.0 6.0))) (exp (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (log (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (* (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))))) (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (* (* (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (+ (pow (* 333.75 (pow 33096.0 6.0)) 3) (pow (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))) 3)) (+ (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (- (* (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (* (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))))) (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (- (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (+ (* 333.75 (pow 33096.0 6.0)) (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0))))) (* (exp (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0))))) (exp (* 5.5 (pow 33096.0 8.0)))) (log (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (exp (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (* (* (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (sqrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (sqrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (+ (pow (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0))))) (- (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (- (* (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0))))) (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0)))) (- (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* 77617.0 (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0) 77617.0)) (* 5.5 (pow 33096.0 8.0))) (+ (* (* 77617.0 (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)) 77617.0) (* 5.5 (pow 33096.0 8.0))) (+ (* (* (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0) 77617.0) 77617.0) (* 5.5 (pow 33096.0 8.0))) (* (* (exp (* 333.75 (pow 33096.0 6.0))) (* (exp (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0))))) (exp (* 5.5 (pow 33096.0 8.0))))) (exp (/ 77617.0 (* 2.0 33096.0)))) (* (* (exp (* 333.75 (pow 33096.0 6.0))) (exp (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (exp (/ 77617.0 (* 2.0 33096.0)))) (* (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (exp (/ 77617.0 (* 2.0 33096.0)))) (log (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0)))) (exp (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0)))) (* (cbrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0)))) (cbrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0))))) (cbrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0)))) (* (* (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0))) (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0)))) (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0)))) (sqrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0)))) (sqrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0)))) (+ (* (+ (pow (* 333.75 (pow 33096.0 6.0)) 3) (pow (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))) 3)) (* 2.0 33096.0)) (* (+ (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (- (* (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (* (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))))) 77617.0)) (* (+ (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (- (* (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (* (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))))) (* 2.0 33096.0)) (+ (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (* 2.0 33096.0)) (* (- (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) 77617.0)) (* (- (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (* 2.0 33096.0)) (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) 3) (pow (/ 77617.0 (* 2.0 33096.0)) 3)) (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (- (* (/ 77617.0 (* 2.0 33096.0)) (/ 77617.0 (* 2.0 33096.0))) (* (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0))))) (- (* (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (* (/ 77617.0 (* 2.0 33096.0)) (/ 77617.0 (* 2.0 33096.0)))) (- (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0))) (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0))) (+ (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0))) (/ (exp (* -121.0 (pow 33096.0 4.0))) (exp (pow 33096.0 6.0))) (log (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0))) (exp (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0))) (* (cbrt (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0))) (cbrt (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)))) (cbrt (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0))) (* (* (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0))) (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0))) (sqrt (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0))) (sqrt (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0))) (- (pow (* -121.0 (pow 33096.0 4.0)) 3) (pow (pow 33096.0 6.0) 3)) (+ (* (* -121.0 (pow 33096.0 4.0)) (* -121.0 (pow 33096.0 4.0))) (+ (* (pow 33096.0 6.0) (pow 33096.0 6.0)) (* (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)))) (neg (pow 33096.0 6.0)) (- (* (* -121.0 (pow 33096.0 4.0)) (* -121.0 (pow 33096.0 4.0))) (* (pow 33096.0 6.0) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) (neg (pow 33096.0 6.0)) (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0))) (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0))) (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0))) (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0))) 0.709 * * [simplify]: iteration 0 : 4852 enodes (cost 2709 ) 0.709 * * [simplify]: iteration 1 : 4852 enodes (cost 2709 ) 0.716 * [simplify]: Simplified to: (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (log (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (* (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))))) (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (pow (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) 3) (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (+ (pow (* 333.75 (pow 33096.0 6.0)) 3) (pow (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) 3)) (+ (* 333.75 (* 333.75 (pow 33096.0 (* 6.0 2)))) (* (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (- (* 5.5 (pow 33096.0 8.0)) (* 333.75 (pow 33096.0 6.0)))))) (- (* 333.75 (* 333.75 (pow 33096.0 (* 6.0 2)))) (* (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (- (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (+ (* 333.75 (pow 33096.0 6.0)) (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))))))) (exp (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (log (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (exp (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (pow (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) 3) (sqrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (sqrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (+ (pow (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* 5.5 (* 5.5 (pow 33096.0 (* 8.0 2)))) (* (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (- (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (- (* 77617.0 (* 77617.0 (* 77617.0 (* (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))))))))) (* 5.5 (* 5.5 (pow 33096.0 (* 8.0 2))))) (- (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) (+ (* 5.5 (pow 33096.0 8.0)) (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))) (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))) (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))) (log (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))) (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))) (* (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))) (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))))) (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))) (pow (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))) 3) (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))) (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))) (+ (* 33096.0 (* (+ (pow (* 333.75 (pow 33096.0 6.0)) 3) (pow (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) 3)) 2.0)) (* 77617.0 (+ (* 333.75 (* 333.75 (pow 33096.0 (* 6.0 2)))) (* (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (- (* 5.5 (pow 33096.0 8.0)) (* 333.75 (pow 33096.0 6.0)))))))) (* 33096.0 (* (+ (* 333.75 (* 333.75 (pow 33096.0 (* 6.0 2)))) (* (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (- (* 5.5 (pow 33096.0 8.0)) (* 333.75 (pow 33096.0 6.0)))))) 2.0)) (* (- (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (* 33096.0 2.0)) 77617.0)) (* 33096.0 (* (- (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) 2.0)) (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) 3) (pow (/ 77617.0 (* 33096.0 2.0)) 3)) (+ (* (/ 77617.0 (* 33096.0 2.0)) (/ 77617.0 (* 33096.0 2.0))) (* (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (- (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))))) (- (* (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (* (/ 77617.0 (* 33096.0 2.0)) (/ 77617.0 (* 33096.0 2.0)))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (- (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))) (exp (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0))) (log (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0))) (exp (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0))) (* (cbrt (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0))) (cbrt (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)))) (cbrt (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0))) (pow (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)) 3) (sqrt (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0))) (sqrt (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0))) (- (pow (* -121.0 (pow 33096.0 4.0)) 3) (pow (pow 33096.0 6.0) 3)) (+ (pow 33096.0 (* 6.0 2)) (* (* -121.0 (pow 33096.0 4.0)) (+ (pow 33096.0 6.0) (* -121.0 (pow 33096.0 4.0))))) (neg (pow 33096.0 6.0)) (- (* -121.0 (* -121.0 (pow 33096.0 (* 4.0 2)))) (pow 33096.0 (* 6.0 2))) (+ (pow 33096.0 6.0) (* -121.0 (pow 33096.0 4.0))) (neg (pow 33096.0 6.0)) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))) 0.716 * * * [progress]: adding candidates to table 0.941 * * [progress]: iteration 3 / 4 0.941 * * * [progress]: picking best candidate 0.949 * * * * [pick]: Picked # 0.949 * * * [progress]: localizing error 0.979 * * * [progress]: generating rewritten candidates 0.979 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 0.984 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1) 1.008 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 1) 1.032 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1) 1.059 * * * [progress]: generating series expansions 1.059 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1.059 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1) 1.059 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 1) 1.059 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1) 1.059 * * * [progress]: simplifying candidates 1.061 * [simplify]: Simplifying using # : (* (exp (* 333.75 (pow 33096.0 6.0))) (exp (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))))) (log (+ (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))))) (exp (+ (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))))) (* (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))))) (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))))))) (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))))) (* (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))))) (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))))) (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))))) (+ (pow (* 333.75 (pow 33096.0 6.0)) 3) (pow (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) 3)) (+ (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (- (* (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))))) (* (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))))))) (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))))) (- (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))))) (* (exp (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))))))) (exp (* 5.5 (pow 33096.0 8.0)))) (log (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (exp (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (* (* (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (sqrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (sqrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (+ (pow (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))))))) (- (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (- (* (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))))))) (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0)))) (- (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))) 77617.0)) (* 5.5 (pow 33096.0 8.0))) (+ (* (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))) 77617.0) (* 5.5 (pow 33096.0 8.0))) (+ (* (* (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))) 77617.0) 77617.0) (* 5.5 (pow 33096.0 8.0))) (* (exp (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))))))) (exp (* 5.5 (pow 33096.0 8.0)))) (log (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (exp (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (* (* (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (sqrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (sqrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (+ (pow (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))))))) (- (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (- (* (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))))))) (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0)))) (- (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))) 77617.0)) (* 5.5 (pow 33096.0 8.0))) (+ (* (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))) 77617.0) (* 5.5 (pow 33096.0 8.0))) (+ (* (* (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))) 77617.0) 77617.0) (* 5.5 (pow 33096.0 8.0))) (* (exp (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))))))) (exp (* 5.5 (pow 33096.0 8.0)))) (log (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (exp (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (* (* (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (sqrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (sqrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (+ (pow (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))))))) (- (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (- (* (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))))))) (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0)))) (- (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))))) (* 5.5 (pow 33096.0 8.0))) (+ (* 77617.0 (* (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))) 77617.0)) (* 5.5 (pow 33096.0 8.0))) (+ (* (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))) 77617.0) (* 5.5 (pow 33096.0 8.0))) (+ (* (* (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))) 77617.0) 77617.0) (* 5.5 (pow 33096.0 8.0))) (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))))) (/ 77617.0 (* 2.0 33096.0))) (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))))) (/ 77617.0 (* 2.0 33096.0))) (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))))) (/ 77617.0 (* 2.0 33096.0))) (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))))) (/ 77617.0 (* 2.0 33096.0))) 1.098 * * [simplify]: iteration 0 : 5002 enodes (cost 2420 ) 1.104 * [simplify]: Simplified to: (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (log (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (* (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))))) (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (pow (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) 3) (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (+ (pow (* 333.75 (pow 33096.0 6.0)) 3) (pow (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) 3)) (+ (pow (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) 6) (* (* 333.75 (pow 33096.0 6.0)) (- (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))))) (- (* 333.75 (* 333.75 (pow 33096.0 (* 6.0 2)))) (pow (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) 6)) (- (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (exp (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (log (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (exp (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (pow (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) 3) (sqrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (sqrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (+ (* (pow 77617.0 6) (pow (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))) 3)) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* 5.5 (* 5.5 (pow 33096.0 (* 8.0 2)))) (* (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (- (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (- (* 77617.0 (* 77617.0 (* 77617.0 (* (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))))))))) (* 5.5 (* 5.5 (pow 33096.0 (* 8.0 2))))) (- (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) (+ (* 5.5 (pow 33096.0 8.0)) (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (exp (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (log (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (exp (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (pow (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) 3) (sqrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (sqrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (+ (* (pow 77617.0 6) (pow (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))) 3)) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* 5.5 (* 5.5 (pow 33096.0 (* 8.0 2)))) (* (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (- (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (- (* 77617.0 (* 77617.0 (* 77617.0 (* (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))))))))) (* 5.5 (* 5.5 (pow 33096.0 (* 8.0 2))))) (- (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) (+ (* 5.5 (pow 33096.0 8.0)) (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (exp (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (log (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (exp (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (pow (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) 3) (sqrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (sqrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (+ (* (pow 77617.0 6) (pow (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))) 3)) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* 5.5 (* 5.5 (pow 33096.0 (* 8.0 2)))) (* (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (- (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (- (* 77617.0 (* 77617.0 (* 77617.0 (* (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))) (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0))))))))) (* 5.5 (* 5.5 (pow 33096.0 (* 8.0 2))))) (- (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))) (+ (* 5.5 (pow 33096.0 8.0)) (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (* 77617.0 (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))) 1.105 * * * [progress]: adding candidates to table 1.675 * [progress]: [Phase 3 of 3] Extracting. 1.682 * [simplify]: Simplifying using # : (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))))) (/ 77617.0 (* 2.0 33096.0))) 1.683 * * [simplify]: iteration 0 : 60 enodes (cost 110 ) 1.683 * * [simplify]: iteration 1 : 60 enodes (cost 110 ) 1.683 * [simplify]: Simplified to: (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))))) (/ 77617.0 (* 33096.0 2.0))) 4.038 * [regime-testing]: End program error score: 58.08253998069106