1.925 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.021 * * * [progress]: [2/2] Setting up program. 0.027 * [progress]: [Phase 2 of 3] Improving. 0.048 * [simplify]: Simplifying using # : (+ (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))) (/ x (* 2.0 y))) 0.051 * * [simplify]: iteration 0 : 30 enodes (cost 43 ) 0.059 * * [simplify]: iteration 1 : 75 enodes (cost 43 ) 0.072 * * [simplify]: iteration 2 : 201 enodes (cost 43 ) 0.128 * * [simplify]: iteration 3 : 534 enodes (cost 43 ) 0.334 * * [simplify]: iteration 4 : 1430 enodes (cost 43 ) 1.444 * * [simplify]: iteration 5 : 4391 enodes (cost 43 ) 3.083 * * [simplify]: iteration done : 5000 enodes (cost 43 ) 3.084 * [simplify]: Simplified to: (+ (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))) (/ x (* 2.0 y))) 3.086 * * [progress]: iteration 1 / 4 3.086 * * * [progress]: picking best candidate 3.091 * * * * [pick]: Picked # 3.091 * * * [progress]: localizing error 3.121 * * * [progress]: generating rewritten candidates 3.122 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 3.141 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1 1) 3.153 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 3.164 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 3.173 * * * [progress]: generating series expansions 3.173 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 3.181 * [approximate]: Taking taylor expansion of (- (+ (* 333.75 (pow y 6)) (+ (* 11.0 (* (pow x 4) (pow y 2))) (* 5.5 (pow y 8)))) (+ (* (pow x 2) (pow y 6)) (+ (* 2.0 (pow x 2)) (* 121.0 (* (pow x 2) (pow y 4)))))) in (y x) around 0 3.183 * [taylor]: Taking taylor expansion of (- (+ (* 333.75 (pow y 6)) (+ (* 11.0 (* (pow x 4) (pow y 2))) (* 5.5 (pow y 8)))) (+ (* (pow x 2) (pow y 6)) (+ (* 2.0 (pow x 2)) (* 121.0 (* (pow x 2) (pow y 4)))))) in x 3.183 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow y 6)) (+ (* 11.0 (* (pow x 4) (pow y 2))) (* 5.5 (pow y 8)))) in x 3.183 * [taylor]: Taking taylor expansion of (* 333.75 (pow y 6)) in x 3.183 * [taylor]: Taking taylor expansion of 333.75 in x 3.183 * [taylor]: Taking taylor expansion of (pow y 6) in x 3.183 * [taylor]: Taking taylor expansion of y in x 3.183 * [taylor]: Taking taylor expansion of (+ (* 11.0 (* (pow x 4) (pow y 2))) (* 5.5 (pow y 8))) in x 3.183 * [taylor]: Taking taylor expansion of (* 11.0 (* (pow x 4) (pow y 2))) in x 3.183 * [taylor]: Taking taylor expansion of 11.0 in x 3.183 * [taylor]: Taking taylor expansion of (* (pow x 4) (pow y 2)) in x 3.183 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.184 * [taylor]: Taking taylor expansion of x in x 3.184 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.184 * [taylor]: Taking taylor expansion of y in x 3.184 * [taylor]: Taking taylor expansion of (* 5.5 (pow y 8)) in x 3.184 * [taylor]: Taking taylor expansion of 5.5 in x 3.184 * [taylor]: Taking taylor expansion of (pow y 8) in x 3.184 * [taylor]: Taking taylor expansion of y in x 3.184 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 6)) (+ (* 2.0 (pow x 2)) (* 121.0 (* (pow x 2) (pow y 4))))) in x 3.184 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 6)) in x 3.184 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.184 * [taylor]: Taking taylor expansion of x in x 3.184 * [taylor]: Taking taylor expansion of (pow y 6) in x 3.184 * [taylor]: Taking taylor expansion of y in x 3.184 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 2)) (* 121.0 (* (pow x 2) (pow y 4)))) in x 3.184 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x 3.184 * [taylor]: Taking taylor expansion of 2.0 in x 3.184 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.184 * [taylor]: Taking taylor expansion of x in x 3.184 * [taylor]: Taking taylor expansion of (* 121.0 (* (pow x 2) (pow y 4))) in x 3.184 * [taylor]: Taking taylor expansion of 121.0 in x 3.184 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 4)) in x 3.184 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.184 * [taylor]: Taking taylor expansion of x in x 3.184 * [taylor]: Taking taylor expansion of (pow y 4) in x 3.184 * [taylor]: Taking taylor expansion of y in x 3.184 * [taylor]: Taking taylor expansion of (- (+ (* 333.75 (pow y 6)) (+ (* 11.0 (* (pow x 4) (pow y 2))) (* 5.5 (pow y 8)))) (+ (* (pow x 2) (pow y 6)) (+ (* 2.0 (pow x 2)) (* 121.0 (* (pow x 2) (pow y 4)))))) in y 3.184 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow y 6)) (+ (* 11.0 (* (pow x 4) (pow y 2))) (* 5.5 (pow y 8)))) in y 3.184 * [taylor]: Taking taylor expansion of (* 333.75 (pow y 6)) in y 3.184 * [taylor]: Taking taylor expansion of 333.75 in y 3.184 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.184 * [taylor]: Taking taylor expansion of y in y 3.184 * [taylor]: Taking taylor expansion of (+ (* 11.0 (* (pow x 4) (pow y 2))) (* 5.5 (pow y 8))) in y 3.184 * [taylor]: Taking taylor expansion of (* 11.0 (* (pow x 4) (pow y 2))) in y 3.184 * [taylor]: Taking taylor expansion of 11.0 in y 3.185 * [taylor]: Taking taylor expansion of (* (pow x 4) (pow y 2)) in y 3.185 * [taylor]: Taking taylor expansion of (pow x 4) in y 3.185 * [taylor]: Taking taylor expansion of x in y 3.185 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.185 * [taylor]: Taking taylor expansion of y in y 3.185 * [taylor]: Taking taylor expansion of (* 5.5 (pow y 8)) in y 3.185 * [taylor]: Taking taylor expansion of 5.5 in y 3.185 * [taylor]: Taking taylor expansion of (pow y 8) in y 3.185 * [taylor]: Taking taylor expansion of y in y 3.185 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 6)) (+ (* 2.0 (pow x 2)) (* 121.0 (* (pow x 2) (pow y 4))))) in y 3.185 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 6)) in y 3.185 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.185 * [taylor]: Taking taylor expansion of x in y 3.185 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.185 * [taylor]: Taking taylor expansion of y in y 3.185 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 2)) (* 121.0 (* (pow x 2) (pow y 4)))) in y 3.185 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in y 3.185 * [taylor]: Taking taylor expansion of 2.0 in y 3.185 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.185 * [taylor]: Taking taylor expansion of x in y 3.185 * [taylor]: Taking taylor expansion of (* 121.0 (* (pow x 2) (pow y 4))) in y 3.185 * [taylor]: Taking taylor expansion of 121.0 in y 3.185 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 4)) in y 3.185 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.185 * [taylor]: Taking taylor expansion of x in y 3.185 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.185 * [taylor]: Taking taylor expansion of y in y 3.185 * [taylor]: Taking taylor expansion of (- (+ (* 333.75 (pow y 6)) (+ (* 11.0 (* (pow x 4) (pow y 2))) (* 5.5 (pow y 8)))) (+ (* (pow x 2) (pow y 6)) (+ (* 2.0 (pow x 2)) (* 121.0 (* (pow x 2) (pow y 4)))))) in y 3.185 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow y 6)) (+ (* 11.0 (* (pow x 4) (pow y 2))) (* 5.5 (pow y 8)))) in y 3.185 * [taylor]: Taking taylor expansion of (* 333.75 (pow y 6)) in y 3.185 * [taylor]: Taking taylor expansion of 333.75 in y 3.185 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.185 * [taylor]: Taking taylor expansion of y in y 3.185 * [taylor]: Taking taylor expansion of (+ (* 11.0 (* (pow x 4) (pow y 2))) (* 5.5 (pow y 8))) in y 3.185 * [taylor]: Taking taylor expansion of (* 11.0 (* (pow x 4) (pow y 2))) in y 3.185 * [taylor]: Taking taylor expansion of 11.0 in y 3.185 * [taylor]: Taking taylor expansion of (* (pow x 4) (pow y 2)) in y 3.185 * [taylor]: Taking taylor expansion of (pow x 4) in y 3.185 * [taylor]: Taking taylor expansion of x in y 3.185 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.185 * [taylor]: Taking taylor expansion of y in y 3.185 * [taylor]: Taking taylor expansion of (* 5.5 (pow y 8)) in y 3.185 * [taylor]: Taking taylor expansion of 5.5 in y 3.185 * [taylor]: Taking taylor expansion of (pow y 8) in y 3.185 * [taylor]: Taking taylor expansion of y in y 3.186 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 6)) (+ (* 2.0 (pow x 2)) (* 121.0 (* (pow x 2) (pow y 4))))) in y 3.186 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 6)) in y 3.186 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.186 * [taylor]: Taking taylor expansion of x in y 3.186 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.186 * [taylor]: Taking taylor expansion of y in y 3.186 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 2)) (* 121.0 (* (pow x 2) (pow y 4)))) in y 3.186 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in y 3.186 * [taylor]: Taking taylor expansion of 2.0 in y 3.186 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.186 * [taylor]: Taking taylor expansion of x in y 3.186 * [taylor]: Taking taylor expansion of (* 121.0 (* (pow x 2) (pow y 4))) in y 3.186 * [taylor]: Taking taylor expansion of 121.0 in y 3.186 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 4)) in y 3.186 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.186 * [taylor]: Taking taylor expansion of x in y 3.186 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.186 * [taylor]: Taking taylor expansion of y in y 3.187 * [taylor]: Taking taylor expansion of (neg (* 2.0 (pow x 2))) in x 3.187 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x 3.187 * [taylor]: Taking taylor expansion of 2.0 in x 3.187 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.187 * [taylor]: Taking taylor expansion of x in x 3.187 * [taylor]: Taking taylor expansion of 0 in x 3.188 * [taylor]: Taking taylor expansion of (* 11.0 (pow x 4)) in x 3.188 * [taylor]: Taking taylor expansion of 11.0 in x 3.188 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.188 * [taylor]: Taking taylor expansion of x in x 3.189 * [taylor]: Taking taylor expansion of 0 in x 3.190 * [taylor]: Taking taylor expansion of (neg (* 121.0 (pow x 2))) in x 3.190 * [taylor]: Taking taylor expansion of (* 121.0 (pow x 2)) in x 3.190 * [taylor]: Taking taylor expansion of 121.0 in x 3.190 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.191 * [taylor]: Taking taylor expansion of x in x 3.192 * [approximate]: Taking taylor expansion of (- (+ (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))))) (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6)))))) in (y x) around 0 3.192 * [taylor]: Taking taylor expansion of (- (+ (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))))) (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6)))))) in x 3.192 * [taylor]: Taking taylor expansion of (+ (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))))) in x 3.192 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in x 3.192 * [taylor]: Taking taylor expansion of 5.5 in x 3.192 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 8.0)) 1.0) in x 3.192 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 8.0))))) in x 3.192 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 8.0)))) in x 3.192 * [taylor]: Taking taylor expansion of 1.0 in x 3.192 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 8.0))) in x 3.192 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8.0)) in x 3.192 * [taylor]: Taking taylor expansion of (pow y 8.0) in x 3.192 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in x 3.192 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in x 3.192 * [taylor]: Taking taylor expansion of 8.0 in x 3.192 * [taylor]: Taking taylor expansion of (log y) in x 3.192 * [taylor]: Taking taylor expansion of y in x 3.193 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2))))) in x 3.193 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in x 3.193 * [taylor]: Taking taylor expansion of 333.75 in x 3.193 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 6.0)) 1.0) in x 3.193 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 6.0))))) in x 3.193 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 6.0)))) in x 3.193 * [taylor]: Taking taylor expansion of 1.0 in x 3.193 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 6.0))) in x 3.193 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6.0)) in x 3.193 * [taylor]: Taking taylor expansion of (pow y 6.0) in x 3.193 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in x 3.193 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in x 3.193 * [taylor]: Taking taylor expansion of 6.0 in x 3.193 * [taylor]: Taking taylor expansion of (log y) in x 3.193 * [taylor]: Taking taylor expansion of y in x 3.194 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) in x 3.194 * [taylor]: Taking taylor expansion of 11.0 in x 3.194 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 4) (pow y 2))) in x 3.194 * [taylor]: Taking taylor expansion of (* (pow x 4) (pow y 2)) in x 3.194 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.194 * [taylor]: Taking taylor expansion of x in x 3.194 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.194 * [taylor]: Taking taylor expansion of y in x 3.195 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6))))) in x 3.195 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in x 3.195 * [taylor]: Taking taylor expansion of 2.0 in x 3.195 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.195 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.195 * [taylor]: Taking taylor expansion of x in x 3.195 * [taylor]: Taking taylor expansion of (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6)))) in x 3.195 * [taylor]: Taking taylor expansion of (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) in x 3.195 * [taylor]: Taking taylor expansion of 121.0 in x 3.195 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0)) in x 3.195 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.195 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.195 * [taylor]: Taking taylor expansion of x in x 3.195 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4.0)) 1.0) in x 3.195 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 4.0))))) in x 3.195 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 4.0)))) in x 3.195 * [taylor]: Taking taylor expansion of 1.0 in x 3.195 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4.0))) in x 3.195 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4.0)) in x 3.195 * [taylor]: Taking taylor expansion of (pow y 4.0) in x 3.195 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log y))) in x 3.195 * [taylor]: Taking taylor expansion of (* 4.0 (log y)) in x 3.195 * [taylor]: Taking taylor expansion of 4.0 in x 3.195 * [taylor]: Taking taylor expansion of (log y) in x 3.195 * [taylor]: Taking taylor expansion of y in x 3.196 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 6))) in x 3.196 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 6)) in x 3.196 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.196 * [taylor]: Taking taylor expansion of x in x 3.196 * [taylor]: Taking taylor expansion of (pow y 6) in x 3.196 * [taylor]: Taking taylor expansion of y in x 3.196 * [taylor]: Taking taylor expansion of (- (+ (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))))) (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6)))))) in y 3.196 * [taylor]: Taking taylor expansion of (+ (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))))) in y 3.196 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in y 3.196 * [taylor]: Taking taylor expansion of 5.5 in y 3.196 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 8.0)) 1.0) in y 3.196 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 8.0))))) in y 3.196 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 8.0)))) in y 3.196 * [taylor]: Taking taylor expansion of 1.0 in y 3.196 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 8.0))) in y 3.196 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8.0)) in y 3.196 * [taylor]: Taking taylor expansion of (pow y 8.0) in y 3.196 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y 3.196 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y 3.196 * [taylor]: Taking taylor expansion of 8.0 in y 3.196 * [taylor]: Taking taylor expansion of (log y) in y 3.196 * [taylor]: Taking taylor expansion of y in y 3.197 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2))))) in y 3.197 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in y 3.197 * [taylor]: Taking taylor expansion of 333.75 in y 3.197 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 6.0)) 1.0) in y 3.197 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 6.0))))) in y 3.197 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 6.0)))) in y 3.197 * [taylor]: Taking taylor expansion of 1.0 in y 3.197 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 6.0))) in y 3.197 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6.0)) in y 3.197 * [taylor]: Taking taylor expansion of (pow y 6.0) in y 3.197 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y 3.197 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y 3.197 * [taylor]: Taking taylor expansion of 6.0 in y 3.197 * [taylor]: Taking taylor expansion of (log y) in y 3.197 * [taylor]: Taking taylor expansion of y in y 3.198 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) in y 3.198 * [taylor]: Taking taylor expansion of 11.0 in y 3.198 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 4) (pow y 2))) in y 3.198 * [taylor]: Taking taylor expansion of (* (pow x 4) (pow y 2)) in y 3.198 * [taylor]: Taking taylor expansion of (pow x 4) in y 3.198 * [taylor]: Taking taylor expansion of x in y 3.198 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.198 * [taylor]: Taking taylor expansion of y in y 3.198 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6))))) in y 3.198 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in y 3.198 * [taylor]: Taking taylor expansion of 2.0 in y 3.198 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.198 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.198 * [taylor]: Taking taylor expansion of x in y 3.198 * [taylor]: Taking taylor expansion of (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6)))) in y 3.198 * [taylor]: Taking taylor expansion of (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) in y 3.198 * [taylor]: Taking taylor expansion of 121.0 in y 3.198 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0)) in y 3.198 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.198 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.198 * [taylor]: Taking taylor expansion of x in y 3.198 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4.0)) 1.0) in y 3.198 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 4.0))))) in y 3.198 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 4.0)))) in y 3.198 * [taylor]: Taking taylor expansion of 1.0 in y 3.198 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4.0))) in y 3.199 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4.0)) in y 3.199 * [taylor]: Taking taylor expansion of (pow y 4.0) in y 3.199 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log y))) in y 3.199 * [taylor]: Taking taylor expansion of (* 4.0 (log y)) in y 3.199 * [taylor]: Taking taylor expansion of 4.0 in y 3.199 * [taylor]: Taking taylor expansion of (log y) in y 3.199 * [taylor]: Taking taylor expansion of y in y 3.199 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 6))) in y 3.199 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 6)) in y 3.199 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.199 * [taylor]: Taking taylor expansion of x in y 3.199 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.199 * [taylor]: Taking taylor expansion of y in y 3.199 * [taylor]: Taking taylor expansion of (- (+ (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))))) (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6)))))) in y 3.199 * [taylor]: Taking taylor expansion of (+ (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))))) in y 3.199 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in y 3.199 * [taylor]: Taking taylor expansion of 5.5 in y 3.199 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 8.0)) 1.0) in y 3.199 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 8.0))))) in y 3.199 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 8.0)))) in y 3.199 * [taylor]: Taking taylor expansion of 1.0 in y 3.200 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 8.0))) in y 3.200 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8.0)) in y 3.200 * [taylor]: Taking taylor expansion of (pow y 8.0) in y 3.200 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y 3.200 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y 3.200 * [taylor]: Taking taylor expansion of 8.0 in y 3.200 * [taylor]: Taking taylor expansion of (log y) in y 3.200 * [taylor]: Taking taylor expansion of y in y 3.200 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2))))) in y 3.200 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in y 3.200 * [taylor]: Taking taylor expansion of 333.75 in y 3.200 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 6.0)) 1.0) in y 3.200 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 6.0))))) in y 3.200 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 6.0)))) in y 3.200 * [taylor]: Taking taylor expansion of 1.0 in y 3.200 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 6.0))) in y 3.200 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6.0)) in y 3.200 * [taylor]: Taking taylor expansion of (pow y 6.0) in y 3.200 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y 3.200 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y 3.200 * [taylor]: Taking taylor expansion of 6.0 in y 3.200 * [taylor]: Taking taylor expansion of (log y) in y 3.200 * [taylor]: Taking taylor expansion of y in y 3.201 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) in y 3.201 * [taylor]: Taking taylor expansion of 11.0 in y 3.201 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 4) (pow y 2))) in y 3.201 * [taylor]: Taking taylor expansion of (* (pow x 4) (pow y 2)) in y 3.201 * [taylor]: Taking taylor expansion of (pow x 4) in y 3.201 * [taylor]: Taking taylor expansion of x in y 3.201 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.201 * [taylor]: Taking taylor expansion of y in y 3.201 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6))))) in y 3.201 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in y 3.201 * [taylor]: Taking taylor expansion of 2.0 in y 3.201 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.201 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.201 * [taylor]: Taking taylor expansion of x in y 3.201 * [taylor]: Taking taylor expansion of (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6)))) in y 3.201 * [taylor]: Taking taylor expansion of (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) in y 3.201 * [taylor]: Taking taylor expansion of 121.0 in y 3.201 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0)) in y 3.201 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.201 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.201 * [taylor]: Taking taylor expansion of x in y 3.202 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4.0)) 1.0) in y 3.202 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 4.0))))) in y 3.202 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 4.0)))) in y 3.202 * [taylor]: Taking taylor expansion of 1.0 in y 3.202 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4.0))) in y 3.202 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4.0)) in y 3.202 * [taylor]: Taking taylor expansion of (pow y 4.0) in y 3.202 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log y))) in y 3.202 * [taylor]: Taking taylor expansion of (* 4.0 (log y)) in y 3.202 * [taylor]: Taking taylor expansion of 4.0 in y 3.202 * [taylor]: Taking taylor expansion of (log y) in y 3.202 * [taylor]: Taking taylor expansion of y in y 3.202 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 6))) in y 3.202 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 6)) in y 3.202 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.202 * [taylor]: Taking taylor expansion of x in y 3.202 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.202 * [taylor]: Taking taylor expansion of y in y 3.203 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow x 2))) in x 3.203 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.203 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.203 * [taylor]: Taking taylor expansion of x in x 3.203 * [taylor]: Taking taylor expansion of 0 in x 3.204 * [taylor]: Taking taylor expansion of 0 in x 3.205 * [taylor]: Taking taylor expansion of 0 in x 3.206 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (pow x 4))) in x 3.206 * [taylor]: Taking taylor expansion of 11.0 in x 3.206 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.206 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.206 * [taylor]: Taking taylor expansion of x in x 3.207 * [taylor]: Taking taylor expansion of 0 in x 3.212 * [taylor]: Taking taylor expansion of (- (+ (* 333.75 (pow (/ 1 (pow (exp (* 6.0 (+ (log y) (log 1)))) 1.0)) 1.0)) (* 5.5 (pow (/ 1 (pow (exp (* 8.0 (+ (log y) (log 1)))) 1.0)) 1.0))) (+ (* 2.0 (/ 1 (pow x 2))) (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0)) 1.0))))) in x 3.212 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow (/ 1 (pow (exp (* 6.0 (+ (log y) (log 1)))) 1.0)) 1.0)) (* 5.5 (pow (/ 1 (pow (exp (* 8.0 (+ (log y) (log 1)))) 1.0)) 1.0))) in x 3.212 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow (exp (* 6.0 (+ (log y) (log 1)))) 1.0)) 1.0)) in x 3.212 * [taylor]: Taking taylor expansion of 333.75 in x 3.212 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 6.0 (+ (log y) (log 1)))) 1.0)) 1.0) in x 3.212 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 6.0 (+ (log y) (log 1)))) 1.0))))) in x 3.212 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 6.0 (+ (log y) (log 1)))) 1.0)))) in x 3.212 * [taylor]: Taking taylor expansion of 1.0 in x 3.212 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 6.0 (+ (log y) (log 1)))) 1.0))) in x 3.212 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 6.0 (+ (log y) (log 1)))) 1.0)) in x 3.212 * [taylor]: Taking taylor expansion of (pow (exp (* 6.0 (+ (log y) (log 1)))) 1.0) in x 3.212 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 6.0 (+ (log y) (log 1))))))) in x 3.212 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 6.0 (+ (log y) (log 1)))))) in x 3.212 * [taylor]: Taking taylor expansion of 1.0 in x 3.212 * [taylor]: Taking taylor expansion of (log (exp (* 6.0 (+ (log y) (log 1))))) in x 3.212 * [taylor]: Taking taylor expansion of (exp (* 6.0 (+ (log y) (log 1)))) in x 3.212 * [taylor]: Taking taylor expansion of (* 6.0 (+ (log y) (log 1))) in x 3.212 * [taylor]: Taking taylor expansion of 6.0 in x 3.212 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in x 3.212 * [taylor]: Taking taylor expansion of (log y) in x 3.212 * [taylor]: Taking taylor expansion of y in x 3.212 * [taylor]: Taking taylor expansion of (log 1) in x 3.213 * [taylor]: Taking taylor expansion of 1 in x 3.213 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow (exp (* 8.0 (+ (log y) (log 1)))) 1.0)) 1.0)) in x 3.213 * [taylor]: Taking taylor expansion of 5.5 in x 3.213 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 8.0 (+ (log y) (log 1)))) 1.0)) 1.0) in x 3.213 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 8.0 (+ (log y) (log 1)))) 1.0))))) in x 3.213 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 8.0 (+ (log y) (log 1)))) 1.0)))) in x 3.213 * [taylor]: Taking taylor expansion of 1.0 in x 3.213 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 8.0 (+ (log y) (log 1)))) 1.0))) in x 3.213 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 8.0 (+ (log y) (log 1)))) 1.0)) in x 3.213 * [taylor]: Taking taylor expansion of (pow (exp (* 8.0 (+ (log y) (log 1)))) 1.0) in x 3.213 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 8.0 (+ (log y) (log 1))))))) in x 3.213 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 8.0 (+ (log y) (log 1)))))) in x 3.213 * [taylor]: Taking taylor expansion of 1.0 in x 3.213 * [taylor]: Taking taylor expansion of (log (exp (* 8.0 (+ (log y) (log 1))))) in x 3.213 * [taylor]: Taking taylor expansion of (exp (* 8.0 (+ (log y) (log 1)))) in x 3.213 * [taylor]: Taking taylor expansion of (* 8.0 (+ (log y) (log 1))) in x 3.213 * [taylor]: Taking taylor expansion of 8.0 in x 3.213 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in x 3.213 * [taylor]: Taking taylor expansion of (log y) in x 3.213 * [taylor]: Taking taylor expansion of y in x 3.214 * [taylor]: Taking taylor expansion of (log 1) in x 3.214 * [taylor]: Taking taylor expansion of 1 in x 3.214 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow x 2))) (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0)) 1.0)))) in x 3.214 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in x 3.214 * [taylor]: Taking taylor expansion of 2.0 in x 3.214 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.214 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.214 * [taylor]: Taking taylor expansion of x in x 3.214 * [taylor]: Taking taylor expansion of (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0)) 1.0))) in x 3.214 * [taylor]: Taking taylor expansion of 121.0 in x 3.214 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (pow (/ 1 (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0)) 1.0)) in x 3.214 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.214 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.214 * [taylor]: Taking taylor expansion of x in x 3.214 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0)) 1.0) in x 3.214 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0))))) in x 3.215 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0)))) in x 3.215 * [taylor]: Taking taylor expansion of 1.0 in x 3.215 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0))) in x 3.215 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0)) in x 3.215 * [taylor]: Taking taylor expansion of (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0) in x 3.215 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 4.0 (+ (log y) (log 1))))))) in x 3.215 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 4.0 (+ (log y) (log 1)))))) in x 3.215 * [taylor]: Taking taylor expansion of 1.0 in x 3.215 * [taylor]: Taking taylor expansion of (log (exp (* 4.0 (+ (log y) (log 1))))) in x 3.215 * [taylor]: Taking taylor expansion of (exp (* 4.0 (+ (log y) (log 1)))) in x 3.215 * [taylor]: Taking taylor expansion of (* 4.0 (+ (log y) (log 1))) in x 3.215 * [taylor]: Taking taylor expansion of 4.0 in x 3.215 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in x 3.215 * [taylor]: Taking taylor expansion of (log y) in x 3.215 * [taylor]: Taking taylor expansion of y in x 3.215 * [taylor]: Taking taylor expansion of (log 1) in x 3.215 * [taylor]: Taking taylor expansion of 1 in x 3.217 * [approximate]: Taking taylor expansion of (- (+ (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))))) (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6)))))) in (y x) around 0 3.217 * [taylor]: Taking taylor expansion of (- (+ (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))))) (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6)))))) in x 3.217 * [taylor]: Taking taylor expansion of (+ (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))))) in x 3.217 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in x 3.217 * [taylor]: Taking taylor expansion of 5.5 in x 3.217 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 8.0)) 1.0) in x 3.217 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 8.0))))) in x 3.217 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 8.0)))) in x 3.217 * [taylor]: Taking taylor expansion of 1.0 in x 3.217 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 8.0))) in x 3.218 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8.0)) in x 3.218 * [taylor]: Taking taylor expansion of (pow y 8.0) in x 3.218 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in x 3.218 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in x 3.218 * [taylor]: Taking taylor expansion of 8.0 in x 3.218 * [taylor]: Taking taylor expansion of (log y) in x 3.218 * [taylor]: Taking taylor expansion of y in x 3.218 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2))))) in x 3.218 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in x 3.219 * [taylor]: Taking taylor expansion of 333.75 in x 3.219 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 6.0)) 1.0) in x 3.219 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 6.0))))) in x 3.219 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 6.0)))) in x 3.219 * [taylor]: Taking taylor expansion of 1.0 in x 3.219 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 6.0))) in x 3.219 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6.0)) in x 3.219 * [taylor]: Taking taylor expansion of (pow y 6.0) in x 3.219 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in x 3.219 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in x 3.219 * [taylor]: Taking taylor expansion of 6.0 in x 3.219 * [taylor]: Taking taylor expansion of (log y) in x 3.219 * [taylor]: Taking taylor expansion of y in x 3.219 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) in x 3.219 * [taylor]: Taking taylor expansion of 11.0 in x 3.219 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 4) (pow y 2))) in x 3.219 * [taylor]: Taking taylor expansion of (* (pow x 4) (pow y 2)) in x 3.219 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.219 * [taylor]: Taking taylor expansion of x in x 3.219 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.219 * [taylor]: Taking taylor expansion of y in x 3.220 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6))))) in x 3.220 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in x 3.220 * [taylor]: Taking taylor expansion of 2.0 in x 3.220 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.220 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.220 * [taylor]: Taking taylor expansion of x in x 3.220 * [taylor]: Taking taylor expansion of (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6)))) in x 3.220 * [taylor]: Taking taylor expansion of (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) in x 3.220 * [taylor]: Taking taylor expansion of 121.0 in x 3.220 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0)) in x 3.220 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.220 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.220 * [taylor]: Taking taylor expansion of x in x 3.220 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4.0)) 1.0) in x 3.220 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 4.0))))) in x 3.220 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 4.0)))) in x 3.220 * [taylor]: Taking taylor expansion of 1.0 in x 3.220 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4.0))) in x 3.220 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4.0)) in x 3.220 * [taylor]: Taking taylor expansion of (pow y 4.0) in x 3.220 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log y))) in x 3.220 * [taylor]: Taking taylor expansion of (* 4.0 (log y)) in x 3.220 * [taylor]: Taking taylor expansion of 4.0 in x 3.220 * [taylor]: Taking taylor expansion of (log y) in x 3.220 * [taylor]: Taking taylor expansion of y in x 3.221 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 6))) in x 3.221 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 6)) in x 3.221 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.221 * [taylor]: Taking taylor expansion of x in x 3.221 * [taylor]: Taking taylor expansion of (pow y 6) in x 3.221 * [taylor]: Taking taylor expansion of y in x 3.221 * [taylor]: Taking taylor expansion of (- (+ (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))))) (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6)))))) in y 3.221 * [taylor]: Taking taylor expansion of (+ (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))))) in y 3.221 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in y 3.221 * [taylor]: Taking taylor expansion of 5.5 in y 3.221 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 8.0)) 1.0) in y 3.221 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 8.0))))) in y 3.221 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 8.0)))) in y 3.221 * [taylor]: Taking taylor expansion of 1.0 in y 3.221 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 8.0))) in y 3.221 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8.0)) in y 3.221 * [taylor]: Taking taylor expansion of (pow y 8.0) in y 3.221 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y 3.221 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y 3.221 * [taylor]: Taking taylor expansion of 8.0 in y 3.221 * [taylor]: Taking taylor expansion of (log y) in y 3.221 * [taylor]: Taking taylor expansion of y in y 3.222 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2))))) in y 3.222 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in y 3.222 * [taylor]: Taking taylor expansion of 333.75 in y 3.222 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 6.0)) 1.0) in y 3.222 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 6.0))))) in y 3.222 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 6.0)))) in y 3.222 * [taylor]: Taking taylor expansion of 1.0 in y 3.222 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 6.0))) in y 3.222 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6.0)) in y 3.222 * [taylor]: Taking taylor expansion of (pow y 6.0) in y 3.222 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y 3.222 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y 3.222 * [taylor]: Taking taylor expansion of 6.0 in y 3.222 * [taylor]: Taking taylor expansion of (log y) in y 3.222 * [taylor]: Taking taylor expansion of y in y 3.223 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) in y 3.223 * [taylor]: Taking taylor expansion of 11.0 in y 3.223 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 4) (pow y 2))) in y 3.223 * [taylor]: Taking taylor expansion of (* (pow x 4) (pow y 2)) in y 3.223 * [taylor]: Taking taylor expansion of (pow x 4) in y 3.223 * [taylor]: Taking taylor expansion of x in y 3.223 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.223 * [taylor]: Taking taylor expansion of y in y 3.223 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6))))) in y 3.223 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in y 3.223 * [taylor]: Taking taylor expansion of 2.0 in y 3.223 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.223 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.223 * [taylor]: Taking taylor expansion of x in y 3.223 * [taylor]: Taking taylor expansion of (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6)))) in y 3.223 * [taylor]: Taking taylor expansion of (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) in y 3.223 * [taylor]: Taking taylor expansion of 121.0 in y 3.223 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0)) in y 3.223 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.223 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.223 * [taylor]: Taking taylor expansion of x in y 3.223 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4.0)) 1.0) in y 3.223 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 4.0))))) in y 3.223 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 4.0)))) in y 3.223 * [taylor]: Taking taylor expansion of 1.0 in y 3.223 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4.0))) in y 3.224 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4.0)) in y 3.224 * [taylor]: Taking taylor expansion of (pow y 4.0) in y 3.224 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log y))) in y 3.224 * [taylor]: Taking taylor expansion of (* 4.0 (log y)) in y 3.224 * [taylor]: Taking taylor expansion of 4.0 in y 3.224 * [taylor]: Taking taylor expansion of (log y) in y 3.224 * [taylor]: Taking taylor expansion of y in y 3.224 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 6))) in y 3.224 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 6)) in y 3.224 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.224 * [taylor]: Taking taylor expansion of x in y 3.224 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.224 * [taylor]: Taking taylor expansion of y in y 3.224 * [taylor]: Taking taylor expansion of (- (+ (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))))) (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6)))))) in y 3.224 * [taylor]: Taking taylor expansion of (+ (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))))) in y 3.224 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in y 3.224 * [taylor]: Taking taylor expansion of 5.5 in y 3.224 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 8.0)) 1.0) in y 3.224 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 8.0))))) in y 3.224 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 8.0)))) in y 3.225 * [taylor]: Taking taylor expansion of 1.0 in y 3.225 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 8.0))) in y 3.225 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8.0)) in y 3.225 * [taylor]: Taking taylor expansion of (pow y 8.0) in y 3.225 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y 3.225 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y 3.225 * [taylor]: Taking taylor expansion of 8.0 in y 3.225 * [taylor]: Taking taylor expansion of (log y) in y 3.225 * [taylor]: Taking taylor expansion of y in y 3.225 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 11.0 (/ 1 (* (pow x 4) (pow y 2))))) in y 3.225 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in y 3.225 * [taylor]: Taking taylor expansion of 333.75 in y 3.225 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 6.0)) 1.0) in y 3.225 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 6.0))))) in y 3.225 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 6.0)))) in y 3.225 * [taylor]: Taking taylor expansion of 1.0 in y 3.225 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 6.0))) in y 3.225 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6.0)) in y 3.225 * [taylor]: Taking taylor expansion of (pow y 6.0) in y 3.225 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y 3.225 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y 3.225 * [taylor]: Taking taylor expansion of 6.0 in y 3.225 * [taylor]: Taking taylor expansion of (log y) in y 3.225 * [taylor]: Taking taylor expansion of y in y 3.226 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) in y 3.226 * [taylor]: Taking taylor expansion of 11.0 in y 3.226 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 4) (pow y 2))) in y 3.226 * [taylor]: Taking taylor expansion of (* (pow x 4) (pow y 2)) in y 3.226 * [taylor]: Taking taylor expansion of (pow x 4) in y 3.226 * [taylor]: Taking taylor expansion of x in y 3.226 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.226 * [taylor]: Taking taylor expansion of y in y 3.226 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6))))) in y 3.226 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in y 3.226 * [taylor]: Taking taylor expansion of 2.0 in y 3.226 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.227 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.227 * [taylor]: Taking taylor expansion of x in y 3.227 * [taylor]: Taking taylor expansion of (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (/ 1 (* (pow x 2) (pow y 6)))) in y 3.227 * [taylor]: Taking taylor expansion of (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) in y 3.227 * [taylor]: Taking taylor expansion of 121.0 in y 3.227 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0)) in y 3.227 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.227 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.227 * [taylor]: Taking taylor expansion of x in y 3.227 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4.0)) 1.0) in y 3.227 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 4.0))))) in y 3.227 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 4.0)))) in y 3.227 * [taylor]: Taking taylor expansion of 1.0 in y 3.227 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4.0))) in y 3.227 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4.0)) in y 3.227 * [taylor]: Taking taylor expansion of (pow y 4.0) in y 3.227 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log y))) in y 3.227 * [taylor]: Taking taylor expansion of (* 4.0 (log y)) in y 3.227 * [taylor]: Taking taylor expansion of 4.0 in y 3.227 * [taylor]: Taking taylor expansion of (log y) in y 3.227 * [taylor]: Taking taylor expansion of y in y 3.228 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 6))) in y 3.228 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 6)) in y 3.228 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.228 * [taylor]: Taking taylor expansion of x in y 3.228 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.228 * [taylor]: Taking taylor expansion of y in y 3.228 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow x 2))) in x 3.228 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.228 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.228 * [taylor]: Taking taylor expansion of x in x 3.229 * [taylor]: Taking taylor expansion of 0 in x 3.229 * [taylor]: Taking taylor expansion of 0 in x 3.230 * [taylor]: Taking taylor expansion of 0 in x 3.231 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (pow x 4))) in x 3.231 * [taylor]: Taking taylor expansion of 11.0 in x 3.231 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.231 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.231 * [taylor]: Taking taylor expansion of x in x 3.232 * [taylor]: Taking taylor expansion of 0 in x 3.238 * [taylor]: Taking taylor expansion of (- (+ (* 333.75 (pow (/ 1 (pow (exp (* 6.0 (+ (log y) (log 1)))) 1.0)) 1.0)) (* 5.5 (pow (/ 1 (pow (exp (* 8.0 (+ (log y) (log 1)))) 1.0)) 1.0))) (+ (* 2.0 (/ 1 (pow x 2))) (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0)) 1.0))))) in x 3.238 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow (/ 1 (pow (exp (* 6.0 (+ (log y) (log 1)))) 1.0)) 1.0)) (* 5.5 (pow (/ 1 (pow (exp (* 8.0 (+ (log y) (log 1)))) 1.0)) 1.0))) in x 3.238 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow (exp (* 6.0 (+ (log y) (log 1)))) 1.0)) 1.0)) in x 3.238 * [taylor]: Taking taylor expansion of 333.75 in x 3.238 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 6.0 (+ (log y) (log 1)))) 1.0)) 1.0) in x 3.238 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 6.0 (+ (log y) (log 1)))) 1.0))))) in x 3.238 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 6.0 (+ (log y) (log 1)))) 1.0)))) in x 3.238 * [taylor]: Taking taylor expansion of 1.0 in x 3.238 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 6.0 (+ (log y) (log 1)))) 1.0))) in x 3.238 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 6.0 (+ (log y) (log 1)))) 1.0)) in x 3.238 * [taylor]: Taking taylor expansion of (pow (exp (* 6.0 (+ (log y) (log 1)))) 1.0) in x 3.238 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 6.0 (+ (log y) (log 1))))))) in x 3.238 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 6.0 (+ (log y) (log 1)))))) in x 3.238 * [taylor]: Taking taylor expansion of 1.0 in x 3.238 * [taylor]: Taking taylor expansion of (log (exp (* 6.0 (+ (log y) (log 1))))) in x 3.238 * [taylor]: Taking taylor expansion of (exp (* 6.0 (+ (log y) (log 1)))) in x 3.238 * [taylor]: Taking taylor expansion of (* 6.0 (+ (log y) (log 1))) in x 3.238 * [taylor]: Taking taylor expansion of 6.0 in x 3.238 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in x 3.238 * [taylor]: Taking taylor expansion of (log y) in x 3.238 * [taylor]: Taking taylor expansion of y in x 3.238 * [taylor]: Taking taylor expansion of (log 1) in x 3.238 * [taylor]: Taking taylor expansion of 1 in x 3.239 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow (exp (* 8.0 (+ (log y) (log 1)))) 1.0)) 1.0)) in x 3.239 * [taylor]: Taking taylor expansion of 5.5 in x 3.239 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 8.0 (+ (log y) (log 1)))) 1.0)) 1.0) in x 3.239 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 8.0 (+ (log y) (log 1)))) 1.0))))) in x 3.239 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 8.0 (+ (log y) (log 1)))) 1.0)))) in x 3.239 * [taylor]: Taking taylor expansion of 1.0 in x 3.239 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 8.0 (+ (log y) (log 1)))) 1.0))) in x 3.239 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 8.0 (+ (log y) (log 1)))) 1.0)) in x 3.239 * [taylor]: Taking taylor expansion of (pow (exp (* 8.0 (+ (log y) (log 1)))) 1.0) in x 3.239 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 8.0 (+ (log y) (log 1))))))) in x 3.239 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 8.0 (+ (log y) (log 1)))))) in x 3.239 * [taylor]: Taking taylor expansion of 1.0 in x 3.239 * [taylor]: Taking taylor expansion of (log (exp (* 8.0 (+ (log y) (log 1))))) in x 3.239 * [taylor]: Taking taylor expansion of (exp (* 8.0 (+ (log y) (log 1)))) in x 3.239 * [taylor]: Taking taylor expansion of (* 8.0 (+ (log y) (log 1))) in x 3.239 * [taylor]: Taking taylor expansion of 8.0 in x 3.239 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in x 3.239 * [taylor]: Taking taylor expansion of (log y) in x 3.239 * [taylor]: Taking taylor expansion of y in x 3.239 * [taylor]: Taking taylor expansion of (log 1) in x 3.239 * [taylor]: Taking taylor expansion of 1 in x 3.240 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow x 2))) (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0)) 1.0)))) in x 3.240 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in x 3.240 * [taylor]: Taking taylor expansion of 2.0 in x 3.240 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.240 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.240 * [taylor]: Taking taylor expansion of x in x 3.240 * [taylor]: Taking taylor expansion of (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0)) 1.0))) in x 3.240 * [taylor]: Taking taylor expansion of 121.0 in x 3.240 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (pow (/ 1 (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0)) 1.0)) in x 3.240 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.240 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.240 * [taylor]: Taking taylor expansion of x in x 3.240 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0)) 1.0) in x 3.240 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0))))) in x 3.240 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0)))) in x 3.240 * [taylor]: Taking taylor expansion of 1.0 in x 3.240 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0))) in x 3.240 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0)) in x 3.240 * [taylor]: Taking taylor expansion of (pow (exp (* 4.0 (+ (log y) (log 1)))) 1.0) in x 3.240 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (exp (* 4.0 (+ (log y) (log 1))))))) in x 3.240 * [taylor]: Taking taylor expansion of (* 1.0 (log (exp (* 4.0 (+ (log y) (log 1)))))) in x 3.240 * [taylor]: Taking taylor expansion of 1.0 in x 3.240 * [taylor]: Taking taylor expansion of (log (exp (* 4.0 (+ (log y) (log 1))))) in x 3.240 * [taylor]: Taking taylor expansion of (exp (* 4.0 (+ (log y) (log 1)))) in x 3.240 * [taylor]: Taking taylor expansion of (* 4.0 (+ (log y) (log 1))) in x 3.240 * [taylor]: Taking taylor expansion of 4.0 in x 3.240 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in x 3.240 * [taylor]: Taking taylor expansion of (log y) in x 3.240 * [taylor]: Taking taylor expansion of y in x 3.240 * [taylor]: Taking taylor expansion of (log 1) in x 3.240 * [taylor]: Taking taylor expansion of 1 in x 3.242 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1 1) 3.242 * [approximate]: Taking taylor expansion of (- (* 11.0 (* (pow x 2) (pow y 2))) (pow y 6)) in (x y) around 0 3.242 * [taylor]: Taking taylor expansion of (- (* 11.0 (* (pow x 2) (pow y 2))) (pow y 6)) in y 3.242 * [taylor]: Taking taylor expansion of (* 11.0 (* (pow x 2) (pow y 2))) in y 3.242 * [taylor]: Taking taylor expansion of 11.0 in y 3.242 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 3.242 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.242 * [taylor]: Taking taylor expansion of x in y 3.242 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.242 * [taylor]: Taking taylor expansion of y in y 3.242 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.242 * [taylor]: Taking taylor expansion of y in y 3.242 * [taylor]: Taking taylor expansion of (- (* 11.0 (* (pow x 2) (pow y 2))) (pow y 6)) in x 3.242 * [taylor]: Taking taylor expansion of (* 11.0 (* (pow x 2) (pow y 2))) in x 3.242 * [taylor]: Taking taylor expansion of 11.0 in x 3.242 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 3.242 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.242 * [taylor]: Taking taylor expansion of x in x 3.242 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.242 * [taylor]: Taking taylor expansion of y in x 3.242 * [taylor]: Taking taylor expansion of (pow y 6) in x 3.242 * [taylor]: Taking taylor expansion of y in x 3.242 * [taylor]: Taking taylor expansion of (- (* 11.0 (* (pow x 2) (pow y 2))) (pow y 6)) in x 3.242 * [taylor]: Taking taylor expansion of (* 11.0 (* (pow x 2) (pow y 2))) in x 3.242 * [taylor]: Taking taylor expansion of 11.0 in x 3.242 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 3.242 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.242 * [taylor]: Taking taylor expansion of x in x 3.242 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.242 * [taylor]: Taking taylor expansion of y in x 3.243 * [taylor]: Taking taylor expansion of (pow y 6) in x 3.243 * [taylor]: Taking taylor expansion of y in x 3.243 * [taylor]: Taking taylor expansion of (neg (pow y 6)) in y 3.243 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.243 * [taylor]: Taking taylor expansion of y in y 3.243 * [taylor]: Taking taylor expansion of 0 in y 3.244 * [taylor]: Taking taylor expansion of (* 11.0 (pow y 2)) in y 3.244 * [taylor]: Taking taylor expansion of 11.0 in y 3.244 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.244 * [taylor]: Taking taylor expansion of y in y 3.244 * [taylor]: Taking taylor expansion of 0 in y 3.245 * [taylor]: Taking taylor expansion of 0 in y 3.245 * [approximate]: Taking taylor expansion of (- (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (pow y 6))) in (x y) around 0 3.245 * [taylor]: Taking taylor expansion of (- (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (pow y 6))) in y 3.245 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) in y 3.245 * [taylor]: Taking taylor expansion of 11.0 in y 3.245 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 3.245 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 3.245 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.245 * [taylor]: Taking taylor expansion of x in y 3.245 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.245 * [taylor]: Taking taylor expansion of y in y 3.246 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y 3.246 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.246 * [taylor]: Taking taylor expansion of y in y 3.246 * [taylor]: Taking taylor expansion of (- (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (pow y 6))) in x 3.246 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) in x 3.246 * [taylor]: Taking taylor expansion of 11.0 in x 3.246 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 3.246 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 3.246 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.246 * [taylor]: Taking taylor expansion of x in x 3.246 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.246 * [taylor]: Taking taylor expansion of y in x 3.246 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in x 3.246 * [taylor]: Taking taylor expansion of (pow y 6) in x 3.246 * [taylor]: Taking taylor expansion of y in x 3.246 * [taylor]: Taking taylor expansion of (- (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (pow y 6))) in x 3.246 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) in x 3.246 * [taylor]: Taking taylor expansion of 11.0 in x 3.246 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 3.246 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 3.246 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.246 * [taylor]: Taking taylor expansion of x in x 3.246 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.246 * [taylor]: Taking taylor expansion of y in x 3.247 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in x 3.247 * [taylor]: Taking taylor expansion of (pow y 6) in x 3.247 * [taylor]: Taking taylor expansion of y in x 3.247 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (pow y 2))) in y 3.247 * [taylor]: Taking taylor expansion of 11.0 in y 3.247 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.247 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.247 * [taylor]: Taking taylor expansion of y in y 3.247 * [taylor]: Taking taylor expansion of 0 in y 3.248 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow y 6))) in y 3.248 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y 3.248 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.248 * [taylor]: Taking taylor expansion of y in y 3.249 * [taylor]: Taking taylor expansion of 0 in y 3.250 * [taylor]: Taking taylor expansion of 0 in y 3.252 * [taylor]: Taking taylor expansion of 0 in y 3.254 * [taylor]: Taking taylor expansion of 0 in y 3.256 * [taylor]: Taking taylor expansion of 0 in y 3.256 * [approximate]: Taking taylor expansion of (- (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (pow y 6))) in (x y) around 0 3.256 * [taylor]: Taking taylor expansion of (- (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (pow y 6))) in y 3.257 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) in y 3.257 * [taylor]: Taking taylor expansion of 11.0 in y 3.257 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 3.257 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 3.257 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.257 * [taylor]: Taking taylor expansion of x in y 3.257 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.257 * [taylor]: Taking taylor expansion of y in y 3.257 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y 3.257 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.257 * [taylor]: Taking taylor expansion of y in y 3.257 * [taylor]: Taking taylor expansion of (- (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (pow y 6))) in x 3.257 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) in x 3.257 * [taylor]: Taking taylor expansion of 11.0 in x 3.257 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 3.257 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 3.257 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.257 * [taylor]: Taking taylor expansion of x in x 3.257 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.257 * [taylor]: Taking taylor expansion of y in x 3.257 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in x 3.257 * [taylor]: Taking taylor expansion of (pow y 6) in x 3.257 * [taylor]: Taking taylor expansion of y in x 3.257 * [taylor]: Taking taylor expansion of (- (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (pow y 6))) in x 3.257 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) in x 3.258 * [taylor]: Taking taylor expansion of 11.0 in x 3.258 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 3.258 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 3.258 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.258 * [taylor]: Taking taylor expansion of x in x 3.258 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.258 * [taylor]: Taking taylor expansion of y in x 3.258 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in x 3.258 * [taylor]: Taking taylor expansion of (pow y 6) in x 3.258 * [taylor]: Taking taylor expansion of y in x 3.258 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (pow y 2))) in y 3.258 * [taylor]: Taking taylor expansion of 11.0 in y 3.258 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.258 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.258 * [taylor]: Taking taylor expansion of y in y 3.259 * [taylor]: Taking taylor expansion of 0 in y 3.259 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow y 6))) in y 3.259 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y 3.259 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.259 * [taylor]: Taking taylor expansion of y in y 3.260 * [taylor]: Taking taylor expansion of 0 in y 3.261 * [taylor]: Taking taylor expansion of 0 in y 3.263 * [taylor]: Taking taylor expansion of 0 in y 3.264 * [taylor]: Taking taylor expansion of 0 in y 3.266 * [taylor]: Taking taylor expansion of 0 in y 3.267 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 3.267 * [approximate]: Taking taylor expansion of (* 333.75 (pow (pow y 6.0) 1.0)) in (y) around 0 3.267 * [taylor]: Taking taylor expansion of (* 333.75 (pow (pow y 6.0) 1.0)) in y 3.267 * [taylor]: Taking taylor expansion of 333.75 in y 3.267 * [taylor]: Taking taylor expansion of (pow (pow y 6.0) 1.0) in y 3.267 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow y 6.0)))) in y 3.267 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow y 6.0))) in y 3.267 * [taylor]: Taking taylor expansion of 1.0 in y 3.267 * [taylor]: Taking taylor expansion of (log (pow y 6.0)) in y 3.267 * [taylor]: Taking taylor expansion of (pow y 6.0) in y 3.267 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y 3.267 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y 3.267 * [taylor]: Taking taylor expansion of 6.0 in y 3.267 * [taylor]: Taking taylor expansion of (log y) in y 3.267 * [taylor]: Taking taylor expansion of y in y 3.268 * [taylor]: Taking taylor expansion of (* 333.75 (pow (pow y 6.0) 1.0)) in y 3.268 * [taylor]: Taking taylor expansion of 333.75 in y 3.268 * [taylor]: Taking taylor expansion of (pow (pow y 6.0) 1.0) in y 3.268 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow y 6.0)))) in y 3.268 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow y 6.0))) in y 3.268 * [taylor]: Taking taylor expansion of 1.0 in y 3.268 * [taylor]: Taking taylor expansion of (log (pow y 6.0)) in y 3.268 * [taylor]: Taking taylor expansion of (pow y 6.0) in y 3.268 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y 3.268 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y 3.268 * [taylor]: Taking taylor expansion of 6.0 in y 3.268 * [taylor]: Taking taylor expansion of (log y) in y 3.268 * [taylor]: Taking taylor expansion of y in y 3.290 * [approximate]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in (y) around 0 3.290 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in y 3.290 * [taylor]: Taking taylor expansion of 333.75 in y 3.290 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 6.0)) 1.0) in y 3.290 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 6.0))))) in y 3.290 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 6.0)))) in y 3.290 * [taylor]: Taking taylor expansion of 1.0 in y 3.290 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 6.0))) in y 3.290 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6.0)) in y 3.290 * [taylor]: Taking taylor expansion of (pow y 6.0) in y 3.290 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y 3.291 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y 3.291 * [taylor]: Taking taylor expansion of 6.0 in y 3.291 * [taylor]: Taking taylor expansion of (log y) in y 3.291 * [taylor]: Taking taylor expansion of y in y 3.291 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in y 3.291 * [taylor]: Taking taylor expansion of 333.75 in y 3.291 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 6.0)) 1.0) in y 3.291 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 6.0))))) in y 3.291 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 6.0)))) in y 3.291 * [taylor]: Taking taylor expansion of 1.0 in y 3.291 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 6.0))) in y 3.291 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6.0)) in y 3.291 * [taylor]: Taking taylor expansion of (pow y 6.0) in y 3.291 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y 3.291 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y 3.291 * [taylor]: Taking taylor expansion of 6.0 in y 3.291 * [taylor]: Taking taylor expansion of (log y) in y 3.291 * [taylor]: Taking taylor expansion of y in y 3.310 * [approximate]: Taking taylor expansion of (* 333.75 (pow (/ (pow -1 6.0) (pow y 6.0)) 1.0)) in (y) around 0 3.310 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ (pow -1 6.0) (pow y 6.0)) 1.0)) in y 3.310 * [taylor]: Taking taylor expansion of 333.75 in y 3.310 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 6.0) (pow y 6.0)) 1.0) in y 3.310 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 6.0) (pow y 6.0))))) in y 3.310 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 6.0) (pow y 6.0)))) in y 3.310 * [taylor]: Taking taylor expansion of 1.0 in y 3.311 * [taylor]: Taking taylor expansion of (log (/ (pow -1 6.0) (pow y 6.0))) in y 3.311 * [taylor]: Taking taylor expansion of (/ (pow -1 6.0) (pow y 6.0)) in y 3.311 * [taylor]: Taking taylor expansion of (pow -1 6.0) in y 3.311 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log -1))) in y 3.311 * [taylor]: Taking taylor expansion of (* 6.0 (log -1)) in y 3.311 * [taylor]: Taking taylor expansion of 6.0 in y 3.311 * [taylor]: Taking taylor expansion of (log -1) in y 3.311 * [taylor]: Taking taylor expansion of -1 in y 3.311 * [taylor]: Taking taylor expansion of (pow y 6.0) in y 3.311 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y 3.311 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y 3.311 * [taylor]: Taking taylor expansion of 6.0 in y 3.311 * [taylor]: Taking taylor expansion of (log y) in y 3.311 * [taylor]: Taking taylor expansion of y in y 3.312 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ (pow -1 6.0) (pow y 6.0)) 1.0)) in y 3.312 * [taylor]: Taking taylor expansion of 333.75 in y 3.312 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 6.0) (pow y 6.0)) 1.0) in y 3.312 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 6.0) (pow y 6.0))))) in y 3.312 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 6.0) (pow y 6.0)))) in y 3.312 * [taylor]: Taking taylor expansion of 1.0 in y 3.312 * [taylor]: Taking taylor expansion of (log (/ (pow -1 6.0) (pow y 6.0))) in y 3.312 * [taylor]: Taking taylor expansion of (/ (pow -1 6.0) (pow y 6.0)) in y 3.312 * [taylor]: Taking taylor expansion of (pow -1 6.0) in y 3.312 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log -1))) in y 3.312 * [taylor]: Taking taylor expansion of (* 6.0 (log -1)) in y 3.312 * [taylor]: Taking taylor expansion of 6.0 in y 3.312 * [taylor]: Taking taylor expansion of (log -1) in y 3.312 * [taylor]: Taking taylor expansion of -1 in y 3.312 * [taylor]: Taking taylor expansion of (pow y 6.0) in y 3.312 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y 3.312 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y 3.312 * [taylor]: Taking taylor expansion of 6.0 in y 3.312 * [taylor]: Taking taylor expansion of (log y) in y 3.312 * [taylor]: Taking taylor expansion of y in y 3.344 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 3.344 * [approximate]: Taking taylor expansion of (* 5.5 (pow (pow y 8.0) 1.0)) in (y) around 0 3.344 * [taylor]: Taking taylor expansion of (* 5.5 (pow (pow y 8.0) 1.0)) in y 3.344 * [taylor]: Taking taylor expansion of 5.5 in y 3.344 * [taylor]: Taking taylor expansion of (pow (pow y 8.0) 1.0) in y 3.344 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow y 8.0)))) in y 3.344 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow y 8.0))) in y 3.344 * [taylor]: Taking taylor expansion of 1.0 in y 3.344 * [taylor]: Taking taylor expansion of (log (pow y 8.0)) in y 3.344 * [taylor]: Taking taylor expansion of (pow y 8.0) in y 3.344 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y 3.344 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y 3.344 * [taylor]: Taking taylor expansion of 8.0 in y 3.344 * [taylor]: Taking taylor expansion of (log y) in y 3.344 * [taylor]: Taking taylor expansion of y in y 3.344 * [taylor]: Taking taylor expansion of (* 5.5 (pow (pow y 8.0) 1.0)) in y 3.344 * [taylor]: Taking taylor expansion of 5.5 in y 3.344 * [taylor]: Taking taylor expansion of (pow (pow y 8.0) 1.0) in y 3.344 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow y 8.0)))) in y 3.344 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow y 8.0))) in y 3.344 * [taylor]: Taking taylor expansion of 1.0 in y 3.344 * [taylor]: Taking taylor expansion of (log (pow y 8.0)) in y 3.345 * [taylor]: Taking taylor expansion of (pow y 8.0) in y 3.345 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y 3.345 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y 3.345 * [taylor]: Taking taylor expansion of 8.0 in y 3.345 * [taylor]: Taking taylor expansion of (log y) in y 3.345 * [taylor]: Taking taylor expansion of y in y 3.360 * [approximate]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in (y) around 0 3.360 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in y 3.360 * [taylor]: Taking taylor expansion of 5.5 in y 3.360 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 8.0)) 1.0) in y 3.360 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 8.0))))) in y 3.360 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 8.0)))) in y 3.360 * [taylor]: Taking taylor expansion of 1.0 in y 3.360 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 8.0))) in y 3.360 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8.0)) in y 3.360 * [taylor]: Taking taylor expansion of (pow y 8.0) in y 3.360 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y 3.360 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y 3.361 * [taylor]: Taking taylor expansion of 8.0 in y 3.361 * [taylor]: Taking taylor expansion of (log y) in y 3.361 * [taylor]: Taking taylor expansion of y in y 3.361 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in y 3.361 * [taylor]: Taking taylor expansion of 5.5 in y 3.361 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 8.0)) 1.0) in y 3.361 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 8.0))))) in y 3.361 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 8.0)))) in y 3.361 * [taylor]: Taking taylor expansion of 1.0 in y 3.361 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 8.0))) in y 3.361 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8.0)) in y 3.361 * [taylor]: Taking taylor expansion of (pow y 8.0) in y 3.361 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y 3.361 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y 3.361 * [taylor]: Taking taylor expansion of 8.0 in y 3.361 * [taylor]: Taking taylor expansion of (log y) in y 3.361 * [taylor]: Taking taylor expansion of y in y 3.380 * [approximate]: Taking taylor expansion of (* 5.5 (pow (/ (pow -1 8.0) (pow y 8.0)) 1.0)) in (y) around 0 3.380 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ (pow -1 8.0) (pow y 8.0)) 1.0)) in y 3.380 * [taylor]: Taking taylor expansion of 5.5 in y 3.380 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 8.0) (pow y 8.0)) 1.0) in y 3.381 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 8.0) (pow y 8.0))))) in y 3.381 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 8.0) (pow y 8.0)))) in y 3.381 * [taylor]: Taking taylor expansion of 1.0 in y 3.381 * [taylor]: Taking taylor expansion of (log (/ (pow -1 8.0) (pow y 8.0))) in y 3.381 * [taylor]: Taking taylor expansion of (/ (pow -1 8.0) (pow y 8.0)) in y 3.381 * [taylor]: Taking taylor expansion of (pow -1 8.0) in y 3.381 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log -1))) in y 3.381 * [taylor]: Taking taylor expansion of (* 8.0 (log -1)) in y 3.381 * [taylor]: Taking taylor expansion of 8.0 in y 3.381 * [taylor]: Taking taylor expansion of (log -1) in y 3.381 * [taylor]: Taking taylor expansion of -1 in y 3.381 * [taylor]: Taking taylor expansion of (pow y 8.0) in y 3.381 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y 3.381 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y 3.381 * [taylor]: Taking taylor expansion of 8.0 in y 3.381 * [taylor]: Taking taylor expansion of (log y) in y 3.381 * [taylor]: Taking taylor expansion of y in y 3.382 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ (pow -1 8.0) (pow y 8.0)) 1.0)) in y 3.382 * [taylor]: Taking taylor expansion of 5.5 in y 3.382 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 8.0) (pow y 8.0)) 1.0) in y 3.382 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 8.0) (pow y 8.0))))) in y 3.382 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 8.0) (pow y 8.0)))) in y 3.382 * [taylor]: Taking taylor expansion of 1.0 in y 3.382 * [taylor]: Taking taylor expansion of (log (/ (pow -1 8.0) (pow y 8.0))) in y 3.382 * [taylor]: Taking taylor expansion of (/ (pow -1 8.0) (pow y 8.0)) in y 3.382 * [taylor]: Taking taylor expansion of (pow -1 8.0) in y 3.382 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log -1))) in y 3.382 * [taylor]: Taking taylor expansion of (* 8.0 (log -1)) in y 3.382 * [taylor]: Taking taylor expansion of 8.0 in y 3.382 * [taylor]: Taking taylor expansion of (log -1) in y 3.382 * [taylor]: Taking taylor expansion of -1 in y 3.382 * [taylor]: Taking taylor expansion of (pow y 8.0) in y 3.382 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y 3.382 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y 3.382 * [taylor]: Taking taylor expansion of 8.0 in y 3.382 * [taylor]: Taking taylor expansion of (log y) in y 3.382 * [taylor]: Taking taylor expansion of y in y 3.416 * * * [progress]: simplifying candidates 3.418 * [simplify]: Simplifying using # : (* (* (exp (* 333.75 (pow y 6.0))) (exp (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)))) (exp (* 5.5 (pow y 8.0)))) (* (exp (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)))) (exp (* 5.5 (pow y 8.0)))) (log (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))) (exp (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))) (* (cbrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))) (cbrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))))) (cbrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))) (* (* (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))) (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))) (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))) (sqrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))) (sqrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))) (+ (pow (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) 3) (pow (* 5.5 (pow y 8.0)) 3)) (+ (* (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)))) (- (* (* 5.5 (pow y 8.0)) (* 5.5 (pow y 8.0))) (* (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))))) (- (* (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)))) (* (* 5.5 (pow y 8.0)) (* 5.5 (pow y 8.0)))) (- (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))) (+ (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)) (* 5.5 (pow y 8.0))) (/ (exp (* (* (* (* 11.0 x) x) y) y)) (exp (pow y 6.0))) (log (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))) (exp (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))) (* (cbrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))) (cbrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)))) (cbrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))) (* (* (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))) (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))) (sqrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))) (sqrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))) (- (pow (* (* (* (* 11.0 x) x) y) y) 3) (pow (pow y 6.0) 3)) (+ (* (* (* (* (* 11.0 x) x) y) y) (* (* (* (* 11.0 x) x) y) y)) (+ (* (pow y 6.0) (pow y 6.0)) (* (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)))) (neg (pow y 6.0)) (- (* (* (* (* (* 11.0 x) x) y) y) (* (* (* (* 11.0 x) x) y) y)) (* (pow y 6.0) (pow y 6.0))) (+ (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (neg (pow y 6.0)) (+ (log 333.75) (* (log y) 6.0)) (+ (log 333.75) (* (log y) 6.0)) (+ (log 333.75) (log (pow y 6.0))) (log (* 333.75 (pow y 6.0))) (exp (* 333.75 (pow y 6.0))) (* (* (* 333.75 333.75) 333.75) (* (* (pow y 6.0) (pow y 6.0)) (pow y 6.0))) (* (cbrt (* 333.75 (pow y 6.0))) (cbrt (* 333.75 (pow y 6.0)))) (cbrt (* 333.75 (pow y 6.0))) (* (* (* 333.75 (pow y 6.0)) (* 333.75 (pow y 6.0))) (* 333.75 (pow y 6.0))) (sqrt (* 333.75 (pow y 6.0))) (sqrt (* 333.75 (pow y 6.0))) (* (sqrt 333.75) (pow (sqrt y) 6.0)) (* (sqrt 333.75) (pow (sqrt y) 6.0)) (* (sqrt 333.75) (sqrt (pow y 6.0))) (* (sqrt 333.75) (sqrt (pow y 6.0))) (* (sqrt 333.75) (pow y (/ 6.0 2))) (* (sqrt 333.75) (pow y (/ 6.0 2))) (* 333.75 (pow (* (cbrt y) (cbrt y)) 6.0)) (* 333.75 (pow (sqrt y) 6.0)) (* 333.75 (pow 1 6.0)) (* 333.75 (* (cbrt (pow y 6.0)) (cbrt (pow y 6.0)))) (* 333.75 (sqrt (pow y 6.0))) (* 333.75 1) (* 333.75 (pow y (/ 6.0 2))) (* (cbrt 333.75) (pow y 6.0)) (* (sqrt 333.75) (pow y 6.0)) (* 333.75 (pow y 6.0)) (+ (log 5.5) (* (log y) 8.0)) (+ (log 5.5) (* (log y) 8.0)) (+ (log 5.5) (log (pow y 8.0))) (log (* 5.5 (pow y 8.0))) (exp (* 5.5 (pow y 8.0))) (* (* (* 5.5 5.5) 5.5) (* (* (pow y 8.0) (pow y 8.0)) (pow y 8.0))) (* (cbrt (* 5.5 (pow y 8.0))) (cbrt (* 5.5 (pow y 8.0)))) (cbrt (* 5.5 (pow y 8.0))) (* (* (* 5.5 (pow y 8.0)) (* 5.5 (pow y 8.0))) (* 5.5 (pow y 8.0))) (sqrt (* 5.5 (pow y 8.0))) (sqrt (* 5.5 (pow y 8.0))) (* (sqrt 5.5) (pow (sqrt y) 8.0)) (* (sqrt 5.5) (pow (sqrt y) 8.0)) (* (sqrt 5.5) (sqrt (pow y 8.0))) (* (sqrt 5.5) (sqrt (pow y 8.0))) (* (sqrt 5.5) (pow y (/ 8.0 2))) (* (sqrt 5.5) (pow y (/ 8.0 2))) (* 5.5 (pow (* (cbrt y) (cbrt y)) 8.0)) (* 5.5 (pow (sqrt y) 8.0)) (* 5.5 (pow 1 8.0)) (* 5.5 (* (cbrt (pow y 8.0)) (cbrt (pow y 8.0)))) (* 5.5 (sqrt (pow y 8.0))) (* 5.5 1) (* 5.5 (pow y (/ 8.0 2))) (* (cbrt 5.5) (pow y 8.0)) (* (sqrt 5.5) (pow y 8.0)) (* 5.5 (pow y 8.0)) (* -2.0 (pow x 2)) (- (* 11.0 (* (pow x 4) (pow y 2))) (* (pow x 2) (pow y 6))) (- (* 11.0 (* (pow x 4) (pow y 2))) (* (pow x 2) (pow y 6))) (* 11.0 (* (pow x 2) (pow y 2))) (- (* 11.0 (* (pow x 2) (pow y 2))) (pow y 6)) (- (* 11.0 (* (pow x 2) (pow y 2))) (pow y 6)) (* 333.75 (exp (* 6.0 (+ (log y) (log 1))))) (* 333.75 (pow (/ 1 (pow (exp (* 6.0 (+ (log 1) (log (/ 1 y))))) 1.0)) 1.0)) (* 333.75 (pow (/ (pow -1 6.0) (pow (exp (* 6.0 (+ (log 1) (log (/ -1 y))))) 1.0)) 1.0)) (* 5.5 (exp (* 8.0 (+ (log y) (log 1))))) (* 5.5 (pow (/ 1 (pow (exp (* 8.0 (+ (log 1) (log (/ 1 y))))) 1.0)) 1.0)) (* 5.5 (pow (/ (pow -1 8.0) (pow (exp (* 8.0 (+ (log 1) (log (/ -1 y))))) 1.0)) 1.0)) 3.419 * * [simplify]: iteration 0 : 30 enodes (cost 40 ) 3.424 * * [simplify]: iteration 1 : 77 enodes (cost 39 ) 3.437 * * [simplify]: iteration 2 : 212 enodes (cost 38 ) 3.494 * * [simplify]: iteration 3 : 647 enodes (cost 38 ) 3.743 * * [simplify]: iteration 4 : 2177 enodes (cost 38 ) 4.622 * * [simplify]: iteration done : 5001 enodes (cost 38 ) 4.624 * * [simplify]: iteration 0 : 29 enodes (cost 39 ) 4.628 * * [simplify]: iteration 1 : 73 enodes (cost 38 ) 4.644 * * [simplify]: iteration 2 : 202 enodes (cost 38 ) 4.697 * * [simplify]: iteration 3 : 583 enodes (cost 38 ) 4.908 * * [simplify]: iteration 4 : 1812 enodes (cost 38 ) 5.574 * * [simplify]: iteration done : 5001 enodes (cost 38 ) 5.575 * * [simplify]: iteration 0 : 28 enodes (cost 38 ) 5.580 * * [simplify]: iteration 1 : 67 enodes (cost 38 ) 5.591 * * [simplify]: iteration 2 : 177 enodes (cost 38 ) 5.639 * * [simplify]: iteration 3 : 479 enodes (cost 38 ) 5.823 * * [simplify]: iteration 4 : 1269 enodes (cost 38 ) 6.734 * * [simplify]: iteration 5 : 3712 enodes (cost 38 ) 8.165 * * [simplify]: iteration done : 5001 enodes (cost 38 ) 8.166 * * [simplify]: iteration 0 : 28 enodes (cost 38 ) 8.170 * * [simplify]: iteration 1 : 70 enodes (cost 38 ) 8.183 * * [simplify]: iteration 2 : 191 enodes (cost 38 ) 8.238 * * [simplify]: iteration 3 : 535 enodes (cost 38 ) 8.441 * * [simplify]: iteration 4 : 1525 enodes (cost 38 ) 9.376 * * [simplify]: iteration done : 5000 enodes (cost 38 ) 9.377 * * [simplify]: iteration 0 : 29 enodes (cost 77 ) 9.382 * * [simplify]: iteration 1 : 68 enodes (cost 77 ) 9.394 * * [simplify]: iteration 2 : 178 enodes (cost 77 ) 9.441 * * [simplify]: iteration 3 : 482 enodes (cost 77 ) 9.622 * * [simplify]: iteration 4 : 1272 enodes (cost 77 ) 10.504 * * [simplify]: iteration 5 : 3678 enodes (cost 77 ) 11.953 * * [simplify]: iteration done : 5000 enodes (cost 77 ) 11.955 * * [simplify]: iteration 0 : 28 enodes (cost 38 ) 11.959 * * [simplify]: iteration 1 : 67 enodes (cost 38 ) 11.973 * * [simplify]: iteration 2 : 177 enodes (cost 38 ) 12.021 * * [simplify]: iteration 3 : 479 enodes (cost 38 ) 12.202 * * [simplify]: iteration 4 : 1269 enodes (cost 38 ) 13.106 * * [simplify]: iteration 5 : 3712 enodes (cost 38 ) 14.533 * * [simplify]: iteration done : 5001 enodes (cost 38 ) 14.535 * * [simplify]: iteration 0 : 29 enodes (cost 113 ) 14.539 * * [simplify]: iteration 1 : 81 enodes (cost 113 ) 14.555 * * [simplify]: iteration 2 : 275 enodes (cost 39 ) 14.655 * * [simplify]: iteration 3 : 1241 enodes (cost 39 ) 15.287 * * [simplify]: iteration done : 5000 enodes (cost 39 ) 15.288 * * [simplify]: iteration 0 : 28 enodes (cost 38 ) 15.300 * * [simplify]: iteration 1 : 67 enodes (cost 38 ) 15.311 * * [simplify]: iteration 2 : 177 enodes (cost 38 ) 15.359 * * [simplify]: iteration 3 : 479 enodes (cost 38 ) 15.539 * * [simplify]: iteration 4 : 1269 enodes (cost 38 ) 16.430 * * [simplify]: iteration 5 : 3712 enodes (cost 38 ) 17.858 * * [simplify]: iteration done : 5001 enodes (cost 38 ) 17.859 * * [simplify]: iteration 0 : 28 enodes (cost 38 ) 17.863 * * [simplify]: iteration 1 : 67 enodes (cost 38 ) 17.875 * * [simplify]: iteration 2 : 177 enodes (cost 38 ) 17.923 * * [simplify]: iteration 3 : 479 enodes (cost 38 ) 18.106 * * [simplify]: iteration 4 : 1269 enodes (cost 38 ) 19.014 * * [simplify]: iteration 5 : 3712 enodes (cost 38 ) 20.446 * * [simplify]: iteration done : 5001 enodes (cost 38 ) 20.447 * * [simplify]: iteration 0 : 30 enodes (cost 41 ) 20.452 * * [simplify]: iteration 1 : 82 enodes (cost 41 ) 20.467 * * [simplify]: iteration 2 : 242 enodes (cost 41 ) 20.541 * * [simplify]: iteration 3 : 808 enodes (cost 41 ) 21.261 * * [simplify]: iteration 4 : 3514 enodes (cost 41 ) 22.648 * * [simplify]: iteration done : 5000 enodes (cost 41 ) 22.650 * * [simplify]: iteration 0 : 31 enodes (cost 113 ) 22.655 * * [simplify]: iteration 1 : 90 enodes (cost 107 ) 22.673 * * [simplify]: iteration 2 : 299 enodes (cost 107 ) 22.782 * * [simplify]: iteration 3 : 1151 enodes (cost 79 ) 23.431 * * [simplify]: iteration done : 5001 enodes (cost 79 ) 23.432 * * [simplify]: iteration 0 : 29 enodes (cost 75 ) 23.437 * * [simplify]: iteration 1 : 83 enodes (cost 75 ) 23.456 * * [simplify]: iteration 2 : 272 enodes (cost 73 ) 23.544 * * [simplify]: iteration 3 : 997 enodes (cost 73 ) 24.225 * * [simplify]: iteration 4 : 4855 enodes (cost 73 ) 25.799 * * [simplify]: iteration done : 5000 enodes (cost 73 ) 25.801 * * [simplify]: iteration 0 : 27 enodes (cost 37 ) 25.810 * * [simplify]: iteration 1 : 67 enodes (cost 37 ) 25.821 * * [simplify]: iteration 2 : 184 enodes (cost 37 ) 25.874 * * [simplify]: iteration 3 : 504 enodes (cost 37 ) 26.072 * * [simplify]: iteration 4 : 1371 enodes (cost 37 ) 27.089 * * [simplify]: iteration 5 : 4180 enodes (cost 37 ) 28.675 * * [simplify]: iteration done : 5000 enodes (cost 37 ) 28.676 * * [simplify]: iteration 0 : 24 enodes (cost 31 ) 28.680 * * [simplify]: iteration 1 : 59 enodes (cost 31 ) 28.696 * * [simplify]: iteration 2 : 159 enodes (cost 31 ) 28.739 * * [simplify]: iteration 3 : 456 enodes (cost 31 ) 28.907 * * [simplify]: iteration 4 : 1165 enodes (cost 31 ) 29.687 * * [simplify]: iteration 5 : 3225 enodes (cost 31 ) 31.026 * * [simplify]: iteration done : 5000 enodes (cost 31 ) 31.026 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 31.028 * * [simplify]: iteration 1 : 30 enodes (cost 14 ) 31.033 * * [simplify]: iteration 2 : 75 enodes (cost 14 ) 31.050 * * [simplify]: iteration 3 : 190 enodes (cost 14 ) 31.095 * * [simplify]: iteration 4 : 438 enodes (cost 14 ) 31.292 * * [simplify]: iteration 5 : 1275 enodes (cost 14 ) 32.041 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 32.042 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 32.043 * * [simplify]: iteration 1 : 27 enodes (cost 14 ) 32.048 * * [simplify]: iteration 2 : 61 enodes (cost 14 ) 32.063 * * [simplify]: iteration 3 : 126 enodes (cost 14 ) 32.096 * * [simplify]: iteration 4 : 202 enodes (cost 14 ) 32.158 * * [simplify]: iteration 5 : 385 enodes (cost 14 ) 32.421 * * [simplify]: iteration 6 : 1078 enodes (cost 14 ) 34.806 * * [simplify]: iteration 7 : 3887 enodes (cost 14 ) 36.921 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 36.922 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 36.924 * * [simplify]: iteration 1 : 30 enodes (cost 14 ) 36.929 * * [simplify]: iteration 2 : 74 enodes (cost 14 ) 36.945 * * [simplify]: iteration 3 : 182 enodes (cost 14 ) 36.991 * * [simplify]: iteration 4 : 426 enodes (cost 14 ) 37.186 * * [simplify]: iteration 5 : 1374 enodes (cost 14 ) 38.036 * * [simplify]: iteration done : 5001 enodes (cost 14 ) 38.037 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 38.039 * * [simplify]: iteration 1 : 28 enodes (cost 29 ) 38.044 * * [simplify]: iteration 2 : 62 enodes (cost 29 ) 38.063 * * [simplify]: iteration 3 : 130 enodes (cost 29 ) 38.094 * * [simplify]: iteration 4 : 202 enodes (cost 29 ) 38.157 * * [simplify]: iteration 5 : 382 enodes (cost 29 ) 38.418 * * [simplify]: iteration 6 : 1077 enodes (cost 29 ) 40.889 * * [simplify]: iteration 7 : 3876 enodes (cost 29 ) 43.057 * * [simplify]: iteration done : 5000 enodes (cost 29 ) 43.058 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 43.060 * * [simplify]: iteration 1 : 27 enodes (cost 14 ) 43.070 * * [simplify]: iteration 2 : 61 enodes (cost 14 ) 43.084 * * [simplify]: iteration 3 : 126 enodes (cost 14 ) 43.114 * * [simplify]: iteration 4 : 202 enodes (cost 14 ) 43.176 * * [simplify]: iteration 5 : 385 enodes (cost 14 ) 43.440 * * [simplify]: iteration 6 : 1078 enodes (cost 14 ) 45.878 * * [simplify]: iteration 7 : 3887 enodes (cost 14 ) 48.022 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 48.023 * * [simplify]: iteration 0 : 12 enodes (cost 41 ) 48.025 * * [simplify]: iteration 1 : 29 enodes (cost 41 ) 48.031 * * [simplify]: iteration 2 : 77 enodes (cost 15 ) 48.056 * * [simplify]: iteration 3 : 271 enodes (cost 15 ) 48.219 * * [simplify]: iteration 4 : 1427 enodes (cost 15 ) 49.485 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 49.486 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 49.488 * * [simplify]: iteration 1 : 27 enodes (cost 14 ) 49.493 * * [simplify]: iteration 2 : 61 enodes (cost 14 ) 49.507 * * [simplify]: iteration 3 : 126 enodes (cost 14 ) 49.543 * * [simplify]: iteration 4 : 202 enodes (cost 14 ) 49.605 * * [simplify]: iteration 5 : 385 enodes (cost 14 ) 49.875 * * [simplify]: iteration 6 : 1078 enodes (cost 14 ) 52.310 * * [simplify]: iteration 7 : 3887 enodes (cost 14 ) 54.460 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 54.461 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 54.463 * * [simplify]: iteration 1 : 27 enodes (cost 14 ) 54.468 * * [simplify]: iteration 2 : 61 enodes (cost 14 ) 54.482 * * [simplify]: iteration 3 : 126 enodes (cost 14 ) 54.516 * * [simplify]: iteration 4 : 202 enodes (cost 14 ) 54.579 * * [simplify]: iteration 5 : 385 enodes (cost 14 ) 54.845 * * [simplify]: iteration 6 : 1078 enodes (cost 14 ) 57.302 * * [simplify]: iteration 7 : 3887 enodes (cost 14 ) 59.650 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 59.651 * * [simplify]: iteration 0 : 13 enodes (cost 17 ) 59.653 * * [simplify]: iteration 1 : 44 enodes (cost 17 ) 59.663 * * [simplify]: iteration 2 : 157 enodes (cost 17 ) 59.742 * * [simplify]: iteration 3 : 811 enodes (cost 17 ) 61.586 * * [simplify]: iteration 4 : 4820 enodes (cost 17 ) 63.437 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 63.438 * * [simplify]: iteration 0 : 14 enodes (cost 41 ) 63.441 * * [simplify]: iteration 1 : 45 enodes (cost 37 ) 63.451 * * [simplify]: iteration 2 : 156 enodes (cost 37 ) 63.548 * * [simplify]: iteration 3 : 768 enodes (cost 29 ) 64.537 * * [simplify]: iteration 4 : 2746 enodes (cost 29 ) 67.133 * * [simplify]: iteration done : 5000 enodes (cost 29 ) 67.134 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 67.135 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 67.136 * * [simplify]: iteration 2 : 16 enodes (cost 4 ) 67.138 * * [simplify]: iteration 3 : 41 enodes (cost 4 ) 67.146 * * [simplify]: iteration 4 : 107 enodes (cost 4 ) 67.182 * * [simplify]: iteration 5 : 292 enodes (cost 4 ) 67.401 * * [simplify]: iteration 6 : 972 enodes (cost 4 ) 69.632 * * [simplify]: iteration 7 : 3784 enodes (cost 4 ) 71.767 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 71.768 * * [simplify]: iteration 0 : 12 enodes (cost 27 ) 71.775 * * [simplify]: iteration 1 : 39 enodes (cost 25 ) 71.788 * * [simplify]: iteration 2 : 127 enodes (cost 25 ) 71.857 * * [simplify]: iteration 3 : 569 enodes (cost 25 ) 72.534 * * [simplify]: iteration 4 : 1850 enodes (cost 23 ) 75.849 * * [simplify]: iteration 5 : 3989 enodes (cost 19 ) 77.505 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 77.506 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 77.508 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 77.512 * * [simplify]: iteration 2 : 55 enodes (cost 13 ) 77.526 * * [simplify]: iteration 3 : 112 enodes (cost 13 ) 77.556 * * [simplify]: iteration 4 : 167 enodes (cost 13 ) 77.603 * * [simplify]: iteration 5 : 274 enodes (cost 13 ) 77.729 * * [simplify]: iteration 6 : 658 enodes (cost 13 ) 78.474 * * [simplify]: iteration 7 : 2082 enodes (cost 13 ) 80.327 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 80.328 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 80.329 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 80.330 * * [simplify]: iteration 2 : 16 enodes (cost 4 ) 80.336 * * [simplify]: iteration 3 : 41 enodes (cost 4 ) 80.345 * * [simplify]: iteration 4 : 107 enodes (cost 4 ) 80.380 * * [simplify]: iteration 5 : 292 enodes (cost 4 ) 80.608 * * [simplify]: iteration 6 : 972 enodes (cost 4 ) 83.035 * * [simplify]: iteration 7 : 3784 enodes (cost 4 ) 85.188 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 85.189 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 85.190 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 85.191 * * [simplify]: iteration done : 9 enodes (cost 7 ) 85.192 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 85.192 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 85.194 * * [simplify]: iteration done : 9 enodes (cost 7 ) 85.194 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 85.195 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 85.197 * * [simplify]: iteration 2 : 22 enodes (cost 7 ) 85.200 * * [simplify]: iteration 3 : 49 enodes (cost 7 ) 85.208 * * [simplify]: iteration 4 : 123 enodes (cost 7 ) 85.262 * * [simplify]: iteration 5 : 353 enodes (cost 7 ) 85.574 * * [simplify]: iteration 6 : 1258 enodes (cost 7 ) 87.431 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 87.432 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 87.433 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 87.434 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 87.439 * * [simplify]: iteration 3 : 69 enodes (cost 6 ) 87.452 * * [simplify]: iteration 4 : 178 enodes (cost 6 ) 87.527 * * [simplify]: iteration 5 : 520 enodes (cost 6 ) 87.990 * * [simplify]: iteration 6 : 1795 enodes (cost 6 ) 89.626 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 89.627 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 89.628 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 89.630 * * [simplify]: iteration 2 : 27 enodes (cost 6 ) 89.634 * * [simplify]: iteration 3 : 68 enodes (cost 6 ) 89.654 * * [simplify]: iteration 4 : 188 enodes (cost 6 ) 89.750 * * [simplify]: iteration 5 : 629 enodes (cost 6 ) 90.423 * * [simplify]: iteration 6 : 2631 enodes (cost 6 ) 91.548 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 91.549 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 91.550 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 91.555 * * [simplify]: iteration 2 : 68 enodes (cost 9 ) 91.575 * * [simplify]: iteration 3 : 231 enodes (cost 9 ) 91.740 * * [simplify]: iteration 4 : 897 enodes (cost 7 ) 94.177 * * [simplify]: iteration 5 : 4218 enodes (cost 7 ) 96.759 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 96.759 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 96.760 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 96.762 * * [simplify]: iteration 2 : 21 enodes (cost 13 ) 96.765 * * [simplify]: iteration 3 : 47 enodes (cost 13 ) 96.774 * * [simplify]: iteration 4 : 113 enodes (cost 13 ) 96.820 * * [simplify]: iteration 5 : 302 enodes (cost 13 ) 97.072 * * [simplify]: iteration 6 : 994 enodes (cost 13 ) 99.356 * * [simplify]: iteration 7 : 3758 enodes (cost 13 ) 101.833 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 101.833 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 101.834 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 101.836 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 101.839 * * [simplify]: iteration 3 : 46 enodes (cost 6 ) 101.853 * * [simplify]: iteration 4 : 113 enodes (cost 6 ) 101.890 * * [simplify]: iteration 5 : 299 enodes (cost 6 ) 102.140 * * [simplify]: iteration 6 : 989 enodes (cost 6 ) 104.477 * * [simplify]: iteration 7 : 3768 enodes (cost 6 ) 106.739 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 106.740 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 106.741 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 106.746 * * [simplify]: iteration 2 : 72 enodes (cost 7 ) 106.777 * * [simplify]: iteration 3 : 255 enodes (cost 7 ) 107.031 * * [simplify]: iteration 4 : 991 enodes (cost 7 ) 109.963 * * [simplify]: iteration 5 : 4212 enodes (cost 7 ) 112.780 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 112.781 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 112.781 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 112.783 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 112.786 * * [simplify]: iteration 3 : 46 enodes (cost 6 ) 112.795 * * [simplify]: iteration 4 : 113 enodes (cost 6 ) 112.836 * * [simplify]: iteration 5 : 299 enodes (cost 6 ) 113.078 * * [simplify]: iteration 6 : 989 enodes (cost 6 ) 115.370 * * [simplify]: iteration 7 : 3768 enodes (cost 6 ) 117.610 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 117.611 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 117.611 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 117.613 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 117.616 * * [simplify]: iteration 3 : 46 enodes (cost 6 ) 117.631 * * [simplify]: iteration 4 : 113 enodes (cost 6 ) 117.667 * * [simplify]: iteration 5 : 299 enodes (cost 6 ) 117.914 * * [simplify]: iteration 6 : 989 enodes (cost 6 ) 120.222 * * [simplify]: iteration 7 : 3768 enodes (cost 6 ) 122.707 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 122.708 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 122.709 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 122.710 * * [simplify]: iteration 2 : 21 enodes (cost 7 ) 122.714 * * [simplify]: iteration 3 : 47 enodes (cost 7 ) 122.723 * * [simplify]: iteration 4 : 111 enodes (cost 7 ) 122.765 * * [simplify]: iteration 5 : 298 enodes (cost 7 ) 123.014 * * [simplify]: iteration 6 : 983 enodes (cost 7 ) 125.355 * * [simplify]: iteration 7 : 3750 enodes (cost 7 ) 127.603 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 127.604 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 127.605 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 127.607 * * [simplify]: iteration 2 : 21 enodes (cost 7 ) 127.610 * * [simplify]: iteration 3 : 47 enodes (cost 7 ) 127.618 * * [simplify]: iteration 4 : 111 enodes (cost 7 ) 127.661 * * [simplify]: iteration 5 : 298 enodes (cost 7 ) 127.908 * * [simplify]: iteration 6 : 983 enodes (cost 7 ) 130.245 * * [simplify]: iteration 7 : 3750 enodes (cost 7 ) 132.508 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 132.509 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 132.509 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 132.511 * * [simplify]: iteration 2 : 18 enodes (cost 7 ) 132.513 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 132.519 * * [simplify]: iteration 4 : 76 enodes (cost 7 ) 132.545 * * [simplify]: iteration 5 : 186 enodes (cost 7 ) 132.640 * * [simplify]: iteration 6 : 569 enodes (cost 7 ) 133.344 * * [simplify]: iteration 7 : 1967 enodes (cost 7 ) 135.242 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 135.243 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 135.244 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 135.246 * * [simplify]: iteration 2 : 18 enodes (cost 7 ) 135.248 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 135.253 * * [simplify]: iteration 4 : 76 enodes (cost 7 ) 135.279 * * [simplify]: iteration 5 : 186 enodes (cost 7 ) 135.381 * * [simplify]: iteration 6 : 569 enodes (cost 7 ) 136.078 * * [simplify]: iteration 7 : 1967 enodes (cost 7 ) 137.988 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 137.988 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 137.989 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 137.991 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 137.995 * * [simplify]: iteration 3 : 55 enodes (cost 8 ) 138.010 * * [simplify]: iteration 4 : 129 enodes (cost 8 ) 138.057 * * [simplify]: iteration 5 : 344 enodes (cost 8 ) 138.353 * * [simplify]: iteration 6 : 1161 enodes (cost 8 ) 141.038 * * [simplify]: iteration 7 : 4333 enodes (cost 8 ) 143.110 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 143.110 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 143.111 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 143.113 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 143.117 * * [simplify]: iteration 3 : 55 enodes (cost 8 ) 143.128 * * [simplify]: iteration 4 : 129 enodes (cost 8 ) 143.181 * * [simplify]: iteration 5 : 344 enodes (cost 8 ) 143.478 * * [simplify]: iteration 6 : 1161 enodes (cost 8 ) 146.393 * * [simplify]: iteration 7 : 4333 enodes (cost 8 ) 148.488 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 148.489 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 148.490 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 148.491 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 148.495 * * [simplify]: iteration 3 : 47 enodes (cost 9 ) 148.504 * * [simplify]: iteration 4 : 111 enodes (cost 9 ) 148.546 * * [simplify]: iteration 5 : 298 enodes (cost 9 ) 148.793 * * [simplify]: iteration 6 : 983 enodes (cost 9 ) 151.189 * * [simplify]: iteration 7 : 3753 enodes (cost 9 ) 153.419 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 153.420 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 153.420 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 153.422 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 153.425 * * [simplify]: iteration 3 : 46 enodes (cost 6 ) 153.434 * * [simplify]: iteration 4 : 114 enodes (cost 6 ) 153.475 * * [simplify]: iteration 5 : 301 enodes (cost 6 ) 153.713 * * [simplify]: iteration 6 : 997 enodes (cost 6 ) 155.964 * * [simplify]: iteration 7 : 3772 enodes (cost 6 ) 158.200 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 158.201 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 158.202 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 158.203 * * [simplify]: iteration 2 : 15 enodes (cost 1 ) 158.204 * * [simplify]: iteration 3 : 21 enodes (cost 1 ) 158.206 * * [simplify]: iteration 4 : 28 enodes (cost 1 ) 158.209 * * [simplify]: iteration 5 : 38 enodes (cost 1 ) 158.211 * * [simplify]: iteration 6 : 51 enodes (cost 1 ) 158.215 * * [simplify]: iteration 7 : 67 enodes (cost 1 ) 158.220 * * [simplify]: iteration 8 : 86 enodes (cost 1 ) 158.227 * * [simplify]: iteration 9 : 108 enodes (cost 1 ) 158.235 * * [simplify]: iteration 10 : 133 enodes (cost 1 ) 158.245 * * [simplify]: iteration 11 : 161 enodes (cost 1 ) 158.263 * * [simplify]: iteration 12 : 192 enodes (cost 1 ) 158.279 * * [simplify]: iteration 13 : 226 enodes (cost 1 ) 158.301 * * [simplify]: iteration 14 : 263 enodes (cost 1 ) 158.332 * * [simplify]: iteration 15 : 303 enodes (cost 1 ) 158.369 * * [simplify]: iteration 16 : 346 enodes (cost 1 ) 158.409 * * [simplify]: iteration 17 : 392 enodes (cost 1 ) 158.462 * * [simplify]: iteration 18 : 441 enodes (cost 1 ) 158.527 * * [simplify]: iteration 19 : 493 enodes (cost 1 ) 158.607 * * [simplify]: iteration 20 : 548 enodes (cost 1 ) 158.702 * * [simplify]: iteration 21 : 606 enodes (cost 1 ) 158.814 * * [simplify]: iteration 22 : 667 enodes (cost 1 ) 158.944 * * [simplify]: iteration 23 : 731 enodes (cost 1 ) 159.099 * * [simplify]: iteration 24 : 798 enodes (cost 1 ) 159.277 * * [simplify]: iteration 25 : 868 enodes (cost 1 ) 159.485 * * [simplify]: iteration 26 : 941 enodes (cost 1 ) 159.728 * * [simplify]: iteration 27 : 1017 enodes (cost 1 ) 160.008 * * [simplify]: iteration 28 : 1096 enodes (cost 1 ) 160.323 * * [simplify]: iteration 29 : 1178 enodes (cost 1 ) 160.693 * * [simplify]: iteration 30 : 1263 enodes (cost 1 ) 161.108 * * [simplify]: iteration 31 : 1351 enodes (cost 1 ) 161.586 * * [simplify]: iteration 32 : 1442 enodes (cost 1 ) 162.134 * * [simplify]: iteration 33 : 1536 enodes (cost 1 ) 162.747 * * [simplify]: iteration 34 : 1633 enodes (cost 1 ) 163.450 * * [simplify]: iteration 35 : 1733 enodes (cost 1 ) 164.231 * * [simplify]: iteration 36 : 1836 enodes (cost 1 ) 165.110 * * [simplify]: iteration 37 : 1942 enodes (cost 1 ) 166.109 * * [simplify]: iteration 38 : 2051 enodes (cost 1 ) 167.209 * * [simplify]: iteration 39 : 2163 enodes (cost 1 ) 168.443 * * [simplify]: iteration 40 : 2278 enodes (cost 1 ) 169.817 * * [simplify]: iteration 41 : 2396 enodes (cost 1 ) 171.374 * * [simplify]: iteration 42 : 2517 enodes (cost 1 ) 173.086 * * [simplify]: iteration 43 : 2641 enodes (cost 1 ) 175.003 * * [simplify]: iteration 44 : 2768 enodes (cost 1 ) 177.064 * * [simplify]: iteration 45 : 2898 enodes (cost 1 ) 179.289 * * [simplify]: iteration 46 : 3031 enodes (cost 1 ) 181.933 * * [simplify]: iteration 47 : 3167 enodes (cost 1 ) 184.525 * * [simplify]: iteration 48 : 3306 enodes (cost 1 ) 187.255 * * [simplify]: iteration 49 : 3448 enodes (cost 1 ) 190.199 * * [simplify]: iteration 50 : 3593 enodes (cost 1 ) 193.348 * * [simplify]: iteration 51 : 3741 enodes (cost 1 ) 196.759 * * [simplify]: iteration 52 : 3892 enodes (cost 1 ) 200.440 * * [simplify]: iteration 53 : 4046 enodes (cost 1 ) 204.357 * * [simplify]: iteration 54 : 4203 enodes (cost 1 ) 208.596 * * [simplify]: iteration 55 : 4363 enodes (cost 1 ) 213.097 * * [simplify]: iteration 56 : 4526 enodes (cost 1 ) 217.924 * * [simplify]: iteration 57 : 4692 enodes (cost 1 ) 223.103 * * [simplify]: iteration 58 : 4861 enodes (cost 1 ) 224.645 * * [simplify]: iteration done : 5001 enodes (cost 1 ) 224.646 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 224.647 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 224.648 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 224.652 * * [simplify]: iteration 3 : 39 enodes (cost 11 ) 224.658 * * [simplify]: iteration 4 : 79 enodes (cost 11 ) 224.679 * * [simplify]: iteration 5 : 184 enodes (cost 11 ) 224.783 * * [simplify]: iteration 6 : 565 enodes (cost 11 ) 225.538 * * [simplify]: iteration 7 : 1979 enodes (cost 11 ) 227.724 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 227.725 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 227.726 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 227.727 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 227.730 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 227.735 * * [simplify]: iteration 4 : 75 enodes (cost 6 ) 227.765 * * [simplify]: iteration 5 : 183 enodes (cost 6 ) 227.873 * * [simplify]: iteration 6 : 564 enodes (cost 6 ) 228.623 * * [simplify]: iteration 7 : 1966 enodes (cost 6 ) 230.987 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 230.987 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 230.988 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 230.988 * * [simplify]: iteration done : 6 enodes (cost 1 ) 230.989 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 230.990 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 230.991 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 230.995 * * [simplify]: iteration 3 : 52 enodes (cost 7 ) 231.005 * * [simplify]: iteration 4 : 125 enodes (cost 7 ) 231.060 * * [simplify]: iteration 5 : 336 enodes (cost 7 ) 231.388 * * [simplify]: iteration 6 : 1159 enodes (cost 7 ) 234.259 * * [simplify]: iteration 7 : 4361 enodes (cost 7 ) 236.383 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 236.383 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 236.384 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 236.386 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 236.389 * * [simplify]: iteration 3 : 46 enodes (cost 6 ) 236.398 * * [simplify]: iteration 4 : 114 enodes (cost 6 ) 236.443 * * [simplify]: iteration 5 : 301 enodes (cost 6 ) 236.704 * * [simplify]: iteration 6 : 1000 enodes (cost 6 ) 239.186 * * [simplify]: iteration 7 : 3792 enodes (cost 6 ) 241.457 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 241.458 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 241.458 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 241.460 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 241.464 * * [simplify]: iteration 3 : 46 enodes (cost 6 ) 241.482 * * [simplify]: iteration 4 : 114 enodes (cost 6 ) 241.519 * * [simplify]: iteration 5 : 301 enodes (cost 6 ) 241.789 * * [simplify]: iteration 6 : 1000 enodes (cost 6 ) 244.264 * * [simplify]: iteration 7 : 3792 enodes (cost 6 ) 246.530 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 246.530 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 246.531 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 246.532 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 246.535 * * [simplify]: iteration 3 : 45 enodes (cost 5 ) 246.545 * * [simplify]: iteration 4 : 109 enodes (cost 5 ) 246.592 * * [simplify]: iteration 5 : 302 enodes (cost 5 ) 246.847 * * [simplify]: iteration 6 : 999 enodes (cost 5 ) 249.280 * * [simplify]: iteration 7 : 3780 enodes (cost 5 ) 251.541 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 251.541 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 251.542 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 251.543 * * [simplify]: iteration done : 9 enodes (cost 7 ) 251.544 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 251.545 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 251.546 * * [simplify]: iteration done : 9 enodes (cost 7 ) 251.546 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 251.547 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 251.549 * * [simplify]: iteration 2 : 22 enodes (cost 7 ) 251.552 * * [simplify]: iteration 3 : 49 enodes (cost 7 ) 251.560 * * [simplify]: iteration 4 : 123 enodes (cost 7 ) 251.619 * * [simplify]: iteration 5 : 353 enodes (cost 7 ) 251.946 * * [simplify]: iteration 6 : 1258 enodes (cost 7 ) 253.945 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 253.946 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 253.947 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 253.949 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 253.953 * * [simplify]: iteration 3 : 69 enodes (cost 6 ) 253.975 * * [simplify]: iteration 4 : 178 enodes (cost 6 ) 254.056 * * [simplify]: iteration 5 : 520 enodes (cost 6 ) 254.546 * * [simplify]: iteration 6 : 1795 enodes (cost 6 ) 256.545 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 256.545 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 256.546 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 256.548 * * [simplify]: iteration 2 : 27 enodes (cost 6 ) 256.552 * * [simplify]: iteration 3 : 68 enodes (cost 6 ) 256.574 * * [simplify]: iteration 4 : 188 enodes (cost 6 ) 256.676 * * [simplify]: iteration 5 : 629 enodes (cost 6 ) 257.384 * * [simplify]: iteration 6 : 2631 enodes (cost 6 ) 258.520 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 258.521 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 258.522 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 258.534 * * [simplify]: iteration 2 : 68 enodes (cost 9 ) 258.554 * * [simplify]: iteration 3 : 231 enodes (cost 9 ) 258.733 * * [simplify]: iteration 4 : 897 enodes (cost 7 ) 261.340 * * [simplify]: iteration 5 : 4218 enodes (cost 7 ) 264.002 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 264.002 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 264.003 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 264.005 * * [simplify]: iteration 2 : 21 enodes (cost 13 ) 264.008 * * [simplify]: iteration 3 : 47 enodes (cost 13 ) 264.018 * * [simplify]: iteration 4 : 113 enodes (cost 13 ) 264.067 * * [simplify]: iteration 5 : 302 enodes (cost 13 ) 264.345 * * [simplify]: iteration 6 : 994 enodes (cost 13 ) 266.818 * * [simplify]: iteration 7 : 3758 enodes (cost 13 ) 269.131 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 269.132 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 269.133 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 269.134 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 269.137 * * [simplify]: iteration 3 : 46 enodes (cost 6 ) 269.147 * * [simplify]: iteration 4 : 113 enodes (cost 6 ) 269.193 * * [simplify]: iteration 5 : 299 enodes (cost 6 ) 269.461 * * [simplify]: iteration 6 : 989 enodes (cost 6 ) 271.922 * * [simplify]: iteration 7 : 3768 enodes (cost 6 ) 274.253 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 274.254 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 274.255 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 274.260 * * [simplify]: iteration 2 : 72 enodes (cost 7 ) 274.294 * * [simplify]: iteration 3 : 255 enodes (cost 7 ) 274.555 * * [simplify]: iteration 4 : 991 enodes (cost 7 ) 277.706 * * [simplify]: iteration 5 : 4212 enodes (cost 7 ) 280.609 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 280.610 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 280.611 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 280.612 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 280.615 * * [simplify]: iteration 3 : 46 enodes (cost 6 ) 280.624 * * [simplify]: iteration 4 : 113 enodes (cost 6 ) 280.671 * * [simplify]: iteration 5 : 299 enodes (cost 6 ) 280.933 * * [simplify]: iteration 6 : 989 enodes (cost 6 ) 283.696 * * [simplify]: iteration 7 : 3768 enodes (cost 6 ) 286.007 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 286.007 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 286.008 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 286.010 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 286.013 * * [simplify]: iteration 3 : 46 enodes (cost 6 ) 286.031 * * [simplify]: iteration 4 : 113 enodes (cost 6 ) 286.069 * * [simplify]: iteration 5 : 299 enodes (cost 6 ) 286.341 * * [simplify]: iteration 6 : 989 enodes (cost 6 ) 288.831 * * [simplify]: iteration 7 : 3768 enodes (cost 6 ) 291.140 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 291.140 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 291.142 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 291.144 * * [simplify]: iteration 2 : 21 enodes (cost 7 ) 291.147 * * [simplify]: iteration 3 : 47 enodes (cost 7 ) 291.156 * * [simplify]: iteration 4 : 111 enodes (cost 7 ) 291.204 * * [simplify]: iteration 5 : 298 enodes (cost 7 ) 291.477 * * [simplify]: iteration 6 : 983 enodes (cost 7 ) 293.965 * * [simplify]: iteration 7 : 3750 enodes (cost 7 ) 296.276 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 296.276 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 296.277 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 296.279 * * [simplify]: iteration 2 : 21 enodes (cost 7 ) 296.282 * * [simplify]: iteration 3 : 47 enodes (cost 7 ) 296.291 * * [simplify]: iteration 4 : 111 enodes (cost 7 ) 296.339 * * [simplify]: iteration 5 : 298 enodes (cost 7 ) 296.613 * * [simplify]: iteration 6 : 983 enodes (cost 7 ) 299.107 * * [simplify]: iteration 7 : 3750 enodes (cost 7 ) 301.391 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 301.392 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 301.393 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 301.394 * * [simplify]: iteration 2 : 18 enodes (cost 7 ) 301.397 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 301.402 * * [simplify]: iteration 4 : 76 enodes (cost 7 ) 301.434 * * [simplify]: iteration 5 : 186 enodes (cost 7 ) 301.547 * * [simplify]: iteration 6 : 569 enodes (cost 7 ) 302.309 * * [simplify]: iteration 7 : 1967 enodes (cost 7 ) 304.348 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 304.349 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 304.350 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 304.351 * * [simplify]: iteration 2 : 18 enodes (cost 7 ) 304.353 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 304.359 * * [simplify]: iteration 4 : 76 enodes (cost 7 ) 304.389 * * [simplify]: iteration 5 : 186 enodes (cost 7 ) 304.499 * * [simplify]: iteration 6 : 569 enodes (cost 7 ) 305.244 * * [simplify]: iteration 7 : 1967 enodes (cost 7 ) 307.264 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 307.265 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 307.266 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 307.267 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 307.271 * * [simplify]: iteration 3 : 55 enodes (cost 8 ) 307.290 * * [simplify]: iteration 4 : 129 enodes (cost 8 ) 307.337 * * [simplify]: iteration 5 : 344 enodes (cost 8 ) 307.663 * * [simplify]: iteration 6 : 1161 enodes (cost 8 ) 310.781 * * [simplify]: iteration 7 : 4333 enodes (cost 8 ) 312.874 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 312.875 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 312.876 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 312.877 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 312.881 * * [simplify]: iteration 3 : 55 enodes (cost 8 ) 312.891 * * [simplify]: iteration 4 : 129 enodes (cost 8 ) 312.947 * * [simplify]: iteration 5 : 344 enodes (cost 8 ) 313.274 * * [simplify]: iteration 6 : 1161 enodes (cost 8 ) 316.194 * * [simplify]: iteration 7 : 4333 enodes (cost 8 ) 318.310 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 318.311 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 318.312 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 318.314 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 318.317 * * [simplify]: iteration 3 : 47 enodes (cost 9 ) 318.326 * * [simplify]: iteration 4 : 111 enodes (cost 9 ) 318.372 * * [simplify]: iteration 5 : 298 enodes (cost 9 ) 318.627 * * [simplify]: iteration 6 : 983 enodes (cost 9 ) 321.181 * * [simplify]: iteration 7 : 3753 enodes (cost 9 ) 323.474 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 323.474 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 323.475 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 323.477 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 323.480 * * [simplify]: iteration 3 : 46 enodes (cost 6 ) 323.489 * * [simplify]: iteration 4 : 114 enodes (cost 6 ) 323.536 * * [simplify]: iteration 5 : 301 enodes (cost 6 ) 323.795 * * [simplify]: iteration 6 : 997 enodes (cost 6 ) 326.204 * * [simplify]: iteration 7 : 3772 enodes (cost 6 ) 328.483 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 328.484 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 328.485 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 328.486 * * [simplify]: iteration 2 : 15 enodes (cost 1 ) 328.487 * * [simplify]: iteration 3 : 21 enodes (cost 1 ) 328.489 * * [simplify]: iteration 4 : 28 enodes (cost 1 ) 328.491 * * [simplify]: iteration 5 : 38 enodes (cost 1 ) 328.493 * * [simplify]: iteration 6 : 51 enodes (cost 1 ) 328.498 * * [simplify]: iteration 7 : 67 enodes (cost 1 ) 328.502 * * [simplify]: iteration 8 : 86 enodes (cost 1 ) 328.509 * * [simplify]: iteration 9 : 108 enodes (cost 1 ) 328.517 * * [simplify]: iteration 10 : 133 enodes (cost 1 ) 328.537 * * [simplify]: iteration 11 : 161 enodes (cost 1 ) 328.549 * * [simplify]: iteration 12 : 192 enodes (cost 1 ) 328.566 * * [simplify]: iteration 13 : 226 enodes (cost 1 ) 328.596 * * [simplify]: iteration 14 : 263 enodes (cost 1 ) 328.621 * * [simplify]: iteration 15 : 303 enodes (cost 1 ) 328.662 * * [simplify]: iteration 16 : 346 enodes (cost 1 ) 328.701 * * [simplify]: iteration 17 : 392 enodes (cost 1 ) 328.758 * * [simplify]: iteration 18 : 441 enodes (cost 1 ) 328.834 * * [simplify]: iteration 19 : 493 enodes (cost 1 ) 328.914 * * [simplify]: iteration 20 : 548 enodes (cost 1 ) 329.017 * * [simplify]: iteration 21 : 606 enodes (cost 1 ) 329.136 * * [simplify]: iteration 22 : 667 enodes (cost 1 ) 329.283 * * [simplify]: iteration 23 : 731 enodes (cost 1 ) 329.449 * * [simplify]: iteration 24 : 798 enodes (cost 1 ) 329.639 * * [simplify]: iteration 25 : 868 enodes (cost 1 ) 329.864 * * [simplify]: iteration 26 : 941 enodes (cost 1 ) 330.127 * * [simplify]: iteration 27 : 1017 enodes (cost 1 ) 330.433 * * [simplify]: iteration 28 : 1096 enodes (cost 1 ) 330.776 * * [simplify]: iteration 29 : 1178 enodes (cost 1 ) 331.177 * * [simplify]: iteration 30 : 1263 enodes (cost 1 ) 331.637 * * [simplify]: iteration 31 : 1351 enodes (cost 1 ) 332.155 * * [simplify]: iteration 32 : 1442 enodes (cost 1 ) 332.743 * * [simplify]: iteration 33 : 1536 enodes (cost 1 ) 333.413 * * [simplify]: iteration 34 : 1633 enodes (cost 1 ) 334.177 * * [simplify]: iteration 35 : 1733 enodes (cost 1 ) 335.040 * * [simplify]: iteration 36 : 1836 enodes (cost 1 ) 335.993 * * [simplify]: iteration 37 : 1942 enodes (cost 1 ) 337.089 * * [simplify]: iteration 38 : 2051 enodes (cost 1 ) 338.289 * * [simplify]: iteration 39 : 2163 enodes (cost 1 ) 339.651 * * [simplify]: iteration 40 : 2278 enodes (cost 1 ) 341.166 * * [simplify]: iteration 41 : 2396 enodes (cost 1 ) 342.856 * * [simplify]: iteration 42 : 2517 enodes (cost 1 ) 344.717 * * [simplify]: iteration 43 : 2641 enodes (cost 1 ) 346.801 * * [simplify]: iteration 44 : 2768 enodes (cost 1 ) 349.033 * * [simplify]: iteration 45 : 2898 enodes (cost 1 ) 351.426 * * [simplify]: iteration 46 : 3031 enodes (cost 1 ) 354.007 * * [simplify]: iteration 47 : 3167 enodes (cost 1 ) 356.758 * * [simplify]: iteration 48 : 3306 enodes (cost 1 ) 360.033 * * [simplify]: iteration 49 : 3448 enodes (cost 1 ) 363.205 * * [simplify]: iteration 50 : 3593 enodes (cost 1 ) 366.600 * * [simplify]: iteration 51 : 3741 enodes (cost 1 ) 370.244 * * [simplify]: iteration 52 : 3892 enodes (cost 1 ) 374.159 * * [simplify]: iteration 53 : 4046 enodes (cost 1 ) 378.316 * * [simplify]: iteration 54 : 4203 enodes (cost 1 ) 382.799 * * [simplify]: iteration 55 : 4363 enodes (cost 1 ) 387.564 * * [simplify]: iteration 56 : 4526 enodes (cost 1 ) 392.655 * * [simplify]: iteration 57 : 4692 enodes (cost 1 ) 398.102 * * [simplify]: iteration 58 : 4861 enodes (cost 1 ) 399.736 * * [simplify]: iteration done : 5001 enodes (cost 1 ) 399.737 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 399.738 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 399.740 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 399.743 * * [simplify]: iteration 3 : 39 enodes (cost 11 ) 399.749 * * [simplify]: iteration 4 : 79 enodes (cost 11 ) 399.779 * * [simplify]: iteration 5 : 184 enodes (cost 11 ) 399.885 * * [simplify]: iteration 6 : 565 enodes (cost 11 ) 400.674 * * [simplify]: iteration 7 : 1979 enodes (cost 11 ) 402.889 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 402.889 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 402.890 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 402.891 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 402.894 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 402.910 * * [simplify]: iteration 4 : 75 enodes (cost 6 ) 402.931 * * [simplify]: iteration 5 : 183 enodes (cost 6 ) 403.042 * * [simplify]: iteration 6 : 564 enodes (cost 6 ) 403.806 * * [simplify]: iteration 7 : 1966 enodes (cost 6 ) 405.975 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 405.976 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 405.976 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 405.976 * * [simplify]: iteration done : 6 enodes (cost 1 ) 405.977 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 405.978 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 405.979 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 405.983 * * [simplify]: iteration 3 : 52 enodes (cost 7 ) 406.003 * * [simplify]: iteration 4 : 125 enodes (cost 7 ) 406.059 * * [simplify]: iteration 5 : 336 enodes (cost 7 ) 406.380 * * [simplify]: iteration 6 : 1159 enodes (cost 7 ) 409.252 * * [simplify]: iteration 7 : 4361 enodes (cost 7 ) 411.692 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 411.692 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 411.693 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 411.695 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 411.698 * * [simplify]: iteration 3 : 46 enodes (cost 6 ) 411.707 * * [simplify]: iteration 4 : 114 enodes (cost 6 ) 411.753 * * [simplify]: iteration 5 : 301 enodes (cost 6 ) 412.035 * * [simplify]: iteration 6 : 1000 enodes (cost 6 ) 414.569 * * [simplify]: iteration 7 : 3792 enodes (cost 6 ) 416.882 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 416.882 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 416.883 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 416.885 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 416.888 * * [simplify]: iteration 3 : 46 enodes (cost 6 ) 416.897 * * [simplify]: iteration 4 : 114 enodes (cost 6 ) 416.934 * * [simplify]: iteration 5 : 301 enodes (cost 6 ) 417.213 * * [simplify]: iteration 6 : 1000 enodes (cost 6 ) 419.739 * * [simplify]: iteration 7 : 3792 enodes (cost 6 ) 422.036 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 422.037 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 422.038 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 422.039 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 422.042 * * [simplify]: iteration 3 : 45 enodes (cost 5 ) 422.051 * * [simplify]: iteration 4 : 109 enodes (cost 5 ) 422.095 * * [simplify]: iteration 5 : 302 enodes (cost 5 ) 422.337 * * [simplify]: iteration 6 : 999 enodes (cost 5 ) 424.628 * * [simplify]: iteration 7 : 3780 enodes (cost 5 ) 426.853 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 426.854 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 426.855 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 426.857 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 426.859 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 426.862 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 426.864 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 426.870 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 426.886 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 426.931 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 427.381 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 429.661 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 429.662 * * [simplify]: iteration 0 : 14 enodes (cost 17 ) 429.664 * * [simplify]: iteration 1 : 36 enodes (cost 17 ) 429.674 * * [simplify]: iteration 2 : 128 enodes (cost 17 ) 429.696 * * [simplify]: iteration 3 : 312 enodes (cost 17 ) 429.850 * * [simplify]: iteration 4 : 957 enodes (cost 17 ) 431.082 * * [simplify]: iteration 5 : 2801 enodes (cost 17 ) 433.322 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 433.323 * * [simplify]: iteration 0 : 14 enodes (cost 17 ) 433.325 * * [simplify]: iteration 1 : 36 enodes (cost 17 ) 433.334 * * [simplify]: iteration 2 : 128 enodes (cost 17 ) 433.358 * * [simplify]: iteration 3 : 312 enodes (cost 17 ) 433.509 * * [simplify]: iteration 4 : 957 enodes (cost 17 ) 434.736 * * [simplify]: iteration 5 : 2801 enodes (cost 17 ) 436.944 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 436.945 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 436.946 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 436.951 * * [simplify]: iteration 2 : 77 enodes (cost 9 ) 436.962 * * [simplify]: iteration 3 : 126 enodes (cost 9 ) 436.988 * * [simplify]: iteration 4 : 163 enodes (cost 9 ) 437.013 * * [simplify]: iteration 5 : 180 enodes (cost 9 ) 437.046 * * [simplify]: iteration 6 : 222 enodes (cost 9 ) 437.089 * * [simplify]: iteration 7 : 340 enodes (cost 9 ) 437.206 * * [simplify]: iteration 8 : 751 enodes (cost 9 ) 438.152 * * [simplify]: iteration 9 : 2606 enodes (cost 9 ) 440.358 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 440.359 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 440.361 * * [simplify]: iteration 1 : 29 enodes (cost 13 ) 440.368 * * [simplify]: iteration 2 : 98 enodes (cost 13 ) 440.382 * * [simplify]: iteration 3 : 190 enodes (cost 13 ) 440.430 * * [simplify]: iteration 4 : 355 enodes (cost 13 ) 440.572 * * [simplify]: iteration 5 : 723 enodes (cost 13 ) 441.277 * * [simplify]: iteration 6 : 1974 enodes (cost 13 ) 443.699 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 443.699 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 443.701 * * [simplify]: iteration 1 : 29 enodes (cost 13 ) 443.708 * * [simplify]: iteration 2 : 98 enodes (cost 13 ) 443.723 * * [simplify]: iteration 3 : 190 enodes (cost 13 ) 443.770 * * [simplify]: iteration 4 : 355 enodes (cost 13 ) 443.908 * * [simplify]: iteration 5 : 723 enodes (cost 13 ) 444.624 * * [simplify]: iteration 6 : 1974 enodes (cost 13 ) 447.277 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 447.278 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 447.280 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 447.289 * * [simplify]: iteration 2 : 31 enodes (cost 7 ) 447.293 * * [simplify]: iteration 3 : 58 enodes (cost 5 ) 447.304 * * [simplify]: iteration 4 : 124 enodes (cost 5 ) 447.338 * * [simplify]: iteration 5 : 284 enodes (cost 5 ) 447.484 * * [simplify]: iteration 6 : 674 enodes (cost 5 ) 448.099 * * [simplify]: iteration 7 : 1769 enodes (cost 5 ) 449.826 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 449.827 * * [simplify]: iteration 0 : 15 enodes (cost 18 ) 449.830 * * [simplify]: iteration 1 : 37 enodes (cost 16 ) 449.835 * * [simplify]: iteration 2 : 66 enodes (cost 14 ) 449.845 * * [simplify]: iteration 3 : 138 enodes (cost 13 ) 449.878 * * [simplify]: iteration 4 : 295 enodes (cost 12 ) 449.984 * * [simplify]: iteration 5 : 715 enodes (cost 12 ) 450.455 * * [simplify]: iteration 6 : 1974 enodes (cost 12 ) 451.743 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 451.744 * * [simplify]: iteration 0 : 17 enodes (cost 20 ) 451.747 * * [simplify]: iteration 1 : 42 enodes (cost 19 ) 451.753 * * [simplify]: iteration 2 : 78 enodes (cost 17 ) 451.767 * * [simplify]: iteration 3 : 201 enodes (cost 15 ) 451.818 * * [simplify]: iteration 4 : 577 enodes (cost 15 ) 452.238 * * [simplify]: iteration 5 : 2548 enodes (cost 15 ) 453.263 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 453.264 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 453.265 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 453.276 * * [simplify]: iteration 2 : 31 enodes (cost 7 ) 453.280 * * [simplify]: iteration 3 : 58 enodes (cost 5 ) 453.291 * * [simplify]: iteration 4 : 124 enodes (cost 5 ) 453.326 * * [simplify]: iteration 5 : 284 enodes (cost 5 ) 453.468 * * [simplify]: iteration 6 : 674 enodes (cost 5 ) 454.078 * * [simplify]: iteration 7 : 1769 enodes (cost 5 ) 455.801 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 455.802 * * [simplify]: iteration 0 : 15 enodes (cost 18 ) 455.805 * * [simplify]: iteration 1 : 37 enodes (cost 16 ) 455.810 * * [simplify]: iteration 2 : 66 enodes (cost 14 ) 455.821 * * [simplify]: iteration 3 : 138 enodes (cost 13 ) 455.852 * * [simplify]: iteration 4 : 295 enodes (cost 12 ) 455.957 * * [simplify]: iteration 5 : 715 enodes (cost 12 ) 456.426 * * [simplify]: iteration 6 : 1974 enodes (cost 12 ) 457.715 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 457.716 * * [simplify]: iteration 0 : 17 enodes (cost 20 ) 457.718 * * [simplify]: iteration 1 : 42 enodes (cost 19 ) 457.725 * * [simplify]: iteration 2 : 78 enodes (cost 17 ) 457.739 * * [simplify]: iteration 3 : 201 enodes (cost 15 ) 457.791 * * [simplify]: iteration 4 : 577 enodes (cost 15 ) 458.210 * * [simplify]: iteration 5 : 2548 enodes (cost 15 ) 459.238 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 459.240 * [simplify]: Simplified to: (exp (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))) (exp (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))) (log (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))) (exp (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))) (* (cbrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))) (cbrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))))) (cbrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))) (pow (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))) 3) (sqrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))) (sqrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))) (+ (pow (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) 3) (pow (* 5.5 (pow y 8.0)) 3)) (- (* (* 5.5 5.5) (pow y (* 2 8.0))) (* (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (- (* 5.5 (pow y 8.0)) (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)))))) (- (* (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)))) (* (pow y (* 2 8.0)) (* 5.5 5.5))) (- (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))) (+ (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)) (* 5.5 (pow y 8.0))) (exp (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))) (log (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))) (exp (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))) (* (cbrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))) (cbrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)))) (cbrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))) (pow (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) 3) (sqrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))) (sqrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))) (- (pow (* (* (* (* 11.0 x) x) y) y) 3) (pow (pow y 6.0) 3)) (+ (pow y (* 2 6.0)) (* (* (* (* (* 11.0 x) x) y) y) (+ (pow y 6.0) (* (* (* (* 11.0 x) x) y) y)))) (neg (pow y 6.0)) (- (* (* (* y 11.0) (* 11.0 x)) (pow (* x y) 3)) (pow y (* 2 6.0))) (+ (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (neg (pow y 6.0)) (+ (log 333.75) (* (log y) 6.0)) (+ (log 333.75) (* (log y) 6.0)) (+ (log 333.75) (log (pow y 6.0))) (log (* 333.75 (pow y 6.0))) (exp (* 333.75 (pow y 6.0))) (pow (* 333.75 (pow y 6.0)) 3) (* (cbrt (* 333.75 (pow y 6.0))) (cbrt (* 333.75 (pow y 6.0)))) (cbrt (* 333.75 (pow y 6.0))) (pow (* 333.75 (pow y 6.0)) 3) (sqrt (* 333.75 (pow y 6.0))) (sqrt (* 333.75 (pow y 6.0))) (* (sqrt 333.75) (pow (sqrt y) 6.0)) (* (sqrt 333.75) (pow (sqrt y) 6.0)) (* (sqrt 333.75) (sqrt (pow y 6.0))) (* (sqrt 333.75) (sqrt (pow y 6.0))) (* (sqrt 333.75) (pow y (/ 6.0 2))) (* (sqrt 333.75) (pow y (/ 6.0 2))) (* 333.75 (pow (* (cbrt y) (cbrt y)) 6.0)) (* 333.75 (pow (sqrt y) 6.0)) 333.75 (* 333.75 (* (cbrt (pow y 6.0)) (cbrt (pow y 6.0)))) (* 333.75 (sqrt (pow y 6.0))) 333.75 (* 333.75 (pow y (/ 6.0 2))) (* (cbrt 333.75) (pow y 6.0)) (* (sqrt 333.75) (pow y 6.0)) (* 333.75 (pow y 6.0)) (+ (log 5.5) (* (log y) 8.0)) (+ (log 5.5) (* (log y) 8.0)) (+ (log 5.5) (log (pow y 8.0))) (log (* 5.5 (pow y 8.0))) (exp (* 5.5 (pow y 8.0))) (pow (* 5.5 (pow y 8.0)) 3) (* (cbrt (* 5.5 (pow y 8.0))) (cbrt (* 5.5 (pow y 8.0)))) (cbrt (* 5.5 (pow y 8.0))) (pow (* 5.5 (pow y 8.0)) 3) (sqrt (* 5.5 (pow y 8.0))) (sqrt (* 5.5 (pow y 8.0))) (* (sqrt 5.5) (pow (sqrt y) 8.0)) (* (sqrt 5.5) (pow (sqrt y) 8.0)) (* (sqrt 5.5) (sqrt (pow y 8.0))) (* (sqrt 5.5) (sqrt (pow y 8.0))) (* (sqrt 5.5) (pow y (/ 8.0 2))) (* (sqrt 5.5) (pow y (/ 8.0 2))) (* 5.5 (pow (* (cbrt y) (cbrt y)) 8.0)) (* 5.5 (pow (sqrt y) 8.0)) 5.5 (* 5.5 (* (cbrt (pow y 8.0)) (cbrt (pow y 8.0)))) (* 5.5 (sqrt (pow y 8.0))) 5.5 (* 5.5 (pow y (/ 8.0 2))) (* (cbrt 5.5) (pow y 8.0)) (* (sqrt 5.5) (pow y 8.0)) (* 5.5 (pow y 8.0)) (* -2.0 (pow x 2)) (- (* 11.0 (* (pow x 4) (pow y 2))) (* (pow x 2) (pow y 6))) (- (* 11.0 (* (pow x 4) (pow y 2))) (* (pow x 2) (pow y 6))) (* 11.0 (* (pow x 2) (pow y 2))) (- (* 11.0 (* (pow x 2) (pow y 2))) (pow y 6)) (- (* 11.0 (* (pow x 2) (pow y 2))) (pow y 6)) (* 333.75 (pow y 6.0)) (* 333.75 (pow (/ 1 (pow (pow y (neg 6.0)) 1.0)) 1.0)) (* (pow (/ (pow -1 6.0) (pow (pow (/ -1 y) 6.0) 1.0)) 1.0) 333.75) (* 5.5 (pow y 8.0)) (* 5.5 (pow (/ 1 (pow (pow y (neg 8.0)) 1.0)) 1.0)) (* (pow (/ (pow -1 8.0) (pow (pow (/ -1 y) 8.0) 1.0)) 1.0) 5.5) 459.245 * * * [progress]: adding candidates to table 459.522 * * [progress]: iteration 2 / 4 459.522 * * * [progress]: picking best candidate 459.526 * * * * [pick]: Picked # 459.526 * * * [progress]: localizing error 459.534 * * * [progress]: generating rewritten candidates 459.534 * * * [progress]: generating series expansions 459.534 * * * [progress]: simplifying candidates 459.535 * [simplify]: Simplifying using # : 459.535 * [simplify]: Simplified to: 459.535 * * * [progress]: adding candidates to table 459.535 * [progress]: [Phase 3 of 3] Extracting. 459.538 * [simplify]: Simplifying using # : (+ (* -2.0 (pow x 2)) (/ x (* 2.0 y))) 459.539 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 459.539 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 459.539 * * [simplify]: iteration done : 13 enodes (cost 11 ) 459.539 * [simplify]: Simplified to: (+ (* -2.0 (pow x 2)) (/ x (* 2.0 y))) 460.241 * [regime-testing]: End program error score: 57.07672465115294