10.524 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.015 * [progress]: [Phase 2 of 3] Improving. 0.015 * [simplify]: Simplifying using # : (- x (/ y 200.0)) 0.016 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.017 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 0.018 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 0.019 * * [simplify]: iteration done : 10 enodes (cost 5 ) 0.019 * [simplify]: Simplified to: (- x (/ y 200.0)) 0.020 * * [progress]: iteration 1 / 4 0.020 * * * [progress]: picking best candidate 0.021 * * * * [pick]: Picked # 0.021 * * * [progress]: localizing error 0.025 * * * [progress]: generating rewritten candidates 0.025 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.032 * * * [progress]: generating series expansions 0.032 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.032 * [approximate]: Taking taylor expansion of (- x (* 0.005 y)) in (x y) around 0 0.032 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in y 0.032 * [taylor]: Taking taylor expansion of x in y 0.032 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 0.032 * [taylor]: Taking taylor expansion of 0.005 in y 0.032 * [taylor]: Taking taylor expansion of y in y 0.032 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 0.032 * [taylor]: Taking taylor expansion of x in x 0.032 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 0.032 * [taylor]: Taking taylor expansion of 0.005 in x 0.032 * [taylor]: Taking taylor expansion of y in x 0.032 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 0.032 * [taylor]: Taking taylor expansion of x in x 0.032 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 0.032 * [taylor]: Taking taylor expansion of 0.005 in x 0.033 * [taylor]: Taking taylor expansion of y in x 0.033 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 0.033 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 0.033 * [taylor]: Taking taylor expansion of 0.005 in y 0.033 * [taylor]: Taking taylor expansion of y in y 0.035 * [taylor]: Taking taylor expansion of 1 in y 0.037 * [taylor]: Taking taylor expansion of 0 in y 0.039 * [taylor]: Taking taylor expansion of 0 in y 0.040 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in (x y) around 0 0.040 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in y 0.040 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.040 * [taylor]: Taking taylor expansion of x in y 0.040 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 0.040 * [taylor]: Taking taylor expansion of 0.005 in y 0.040 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.040 * [taylor]: Taking taylor expansion of y in y 0.040 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 0.040 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.040 * [taylor]: Taking taylor expansion of x in x 0.041 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 0.041 * [taylor]: Taking taylor expansion of 0.005 in x 0.041 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.041 * [taylor]: Taking taylor expansion of y in x 0.041 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 0.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.041 * [taylor]: Taking taylor expansion of x in x 0.041 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 0.041 * [taylor]: Taking taylor expansion of 0.005 in x 0.041 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.041 * [taylor]: Taking taylor expansion of y in x 0.042 * [taylor]: Taking taylor expansion of 1 in y 0.043 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y))) in y 0.043 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 0.043 * [taylor]: Taking taylor expansion of 0.005 in y 0.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.043 * [taylor]: Taking taylor expansion of y in y 0.045 * [taylor]: Taking taylor expansion of 0 in y 0.048 * [taylor]: Taking taylor expansion of 0 in y 0.051 * [taylor]: Taking taylor expansion of 0 in y 0.052 * [approximate]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in (x y) around 0 0.052 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in y 0.052 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 0.052 * [taylor]: Taking taylor expansion of 0.005 in y 0.052 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.052 * [taylor]: Taking taylor expansion of y in y 0.052 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.052 * [taylor]: Taking taylor expansion of x in y 0.052 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 0.052 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 0.052 * [taylor]: Taking taylor expansion of 0.005 in x 0.052 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.052 * [taylor]: Taking taylor expansion of y in x 0.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.053 * [taylor]: Taking taylor expansion of x in x 0.053 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 0.053 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 0.053 * [taylor]: Taking taylor expansion of 0.005 in x 0.053 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.053 * [taylor]: Taking taylor expansion of y in x 0.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.053 * [taylor]: Taking taylor expansion of x in x 0.054 * [taylor]: Taking taylor expansion of -1 in y 0.055 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 0.055 * [taylor]: Taking taylor expansion of 0.005 in y 0.055 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.055 * [taylor]: Taking taylor expansion of y in y 0.057 * [taylor]: Taking taylor expansion of 0 in y 0.059 * [taylor]: Taking taylor expansion of 0 in y 0.062 * [taylor]: Taking taylor expansion of 0 in y 0.063 * * * [progress]: simplifying candidates 0.063 * [simplify]: Simplifying using # : (/ (exp x) (exp (/ y 200.0))) (log (- x (/ y 200.0))) (exp (- x (/ y 200.0))) (* (cbrt (- x (/ y 200.0))) (cbrt (- x (/ y 200.0)))) (cbrt (- x (/ y 200.0))) (* (* (- x (/ y 200.0)) (- x (/ y 200.0))) (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (- (pow x 3) (pow (/ y 200.0) 3)) (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))) (- (/ y 200.0)) (- (* x x) (* (/ y 200.0) (/ y 200.0))) (+ x (/ y 200.0)) (+ (sqrt x) (sqrt (/ y 200.0))) (- (sqrt x) (sqrt (/ y 200.0))) (+ (sqrt x) (/ (sqrt y) (sqrt 200.0))) (- (sqrt x) (/ (sqrt y) (sqrt 200.0))) (- x (/ y 200.0)) (- (/ y 200.0)) (- x (* 0.005 y)) (- x (* 0.005 y)) (- x (* 0.005 y)) 0.065 * * [simplify]: iteration 0 : 39 enodes (cost 167 ) 0.071 * * [simplify]: iteration 1 : 84 enodes (cost 162 ) 0.083 * * [simplify]: iteration 2 : 178 enodes (cost 152 ) 0.118 * * [simplify]: iteration 3 : 378 enodes (cost 152 ) 0.223 * * [simplify]: iteration 4 : 979 enodes (cost 152 ) 1.009 * * [simplify]: iteration 5 : 2977 enodes (cost 152 ) 2.211 * * [simplify]: iteration done : 5001 enodes (cost 152 ) 2.211 * [simplify]: Simplified to: (exp (- x (/ y 200.0))) (log (- x (/ y 200.0))) (exp (- x (/ y 200.0))) (* (cbrt (- x (/ y 200.0))) (cbrt (- x (/ y 200.0)))) (cbrt (- x (/ y 200.0))) (pow (- x (/ y 200.0)) 3) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (- (pow x 3) (pow (/ y 200.0) 3)) (+ (* (/ y 200.0) (+ x (/ y 200.0))) (* x x)) (- (/ y 200.0)) (- (* x x) (* (/ y 200.0) (/ y 200.0))) (+ x (/ y 200.0)) (+ (sqrt x) (sqrt (/ y 200.0))) (- (sqrt x) (sqrt (/ y 200.0))) (+ (sqrt x) (/ (sqrt y) (sqrt 200.0))) (- (sqrt x) (/ (sqrt y) (sqrt 200.0))) (- x (/ y 200.0)) (- (/ y 200.0)) (- x (* 0.005 y)) (- x (* 0.005 y)) (- x (* 0.005 y)) 2.211 * * * [progress]: adding candidates to table 2.246 * * [progress]: iteration 2 / 4 2.247 * * * [progress]: picking best candidate 2.250 * * * * [pick]: Picked # 2.250 * * * [progress]: localizing error 2.254 * * * [progress]: generating rewritten candidates 2.254 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.256 * * * [progress]: generating series expansions 2.256 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.257 * [approximate]: Taking taylor expansion of (- x (* 0.005 y)) in (x y) around 0 2.257 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in y 2.257 * [taylor]: Taking taylor expansion of x in y 2.257 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 2.257 * [taylor]: Taking taylor expansion of 0.005 in y 2.257 * [taylor]: Taking taylor expansion of y in y 2.257 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 2.257 * [taylor]: Taking taylor expansion of x in x 2.257 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 2.257 * [taylor]: Taking taylor expansion of 0.005 in x 2.257 * [taylor]: Taking taylor expansion of y in x 2.257 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 2.257 * [taylor]: Taking taylor expansion of x in x 2.257 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 2.257 * [taylor]: Taking taylor expansion of 0.005 in x 2.257 * [taylor]: Taking taylor expansion of y in x 2.257 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 2.257 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 2.257 * [taylor]: Taking taylor expansion of 0.005 in y 2.257 * [taylor]: Taking taylor expansion of y in y 2.259 * [taylor]: Taking taylor expansion of 1 in y 2.261 * [taylor]: Taking taylor expansion of 0 in y 2.264 * [taylor]: Taking taylor expansion of 0 in y 2.264 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in (x y) around 0 2.264 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in y 2.264 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.264 * [taylor]: Taking taylor expansion of x in y 2.264 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 2.264 * [taylor]: Taking taylor expansion of 0.005 in y 2.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.264 * [taylor]: Taking taylor expansion of y in y 2.265 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 2.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.265 * [taylor]: Taking taylor expansion of x in x 2.265 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 2.265 * [taylor]: Taking taylor expansion of 0.005 in x 2.265 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.265 * [taylor]: Taking taylor expansion of y in x 2.265 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 2.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.265 * [taylor]: Taking taylor expansion of x in x 2.266 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 2.266 * [taylor]: Taking taylor expansion of 0.005 in x 2.266 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.266 * [taylor]: Taking taylor expansion of y in x 2.266 * [taylor]: Taking taylor expansion of 1 in y 2.267 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y))) in y 2.267 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 2.267 * [taylor]: Taking taylor expansion of 0.005 in y 2.267 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.267 * [taylor]: Taking taylor expansion of y in y 2.269 * [taylor]: Taking taylor expansion of 0 in y 2.272 * [taylor]: Taking taylor expansion of 0 in y 2.275 * [taylor]: Taking taylor expansion of 0 in y 2.276 * [approximate]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in (x y) around 0 2.276 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in y 2.276 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 2.276 * [taylor]: Taking taylor expansion of 0.005 in y 2.276 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.276 * [taylor]: Taking taylor expansion of y in y 2.276 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.276 * [taylor]: Taking taylor expansion of x in y 2.276 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 2.276 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 2.276 * [taylor]: Taking taylor expansion of 0.005 in x 2.276 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.276 * [taylor]: Taking taylor expansion of y in x 2.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.276 * [taylor]: Taking taylor expansion of x in x 2.277 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 2.277 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 2.277 * [taylor]: Taking taylor expansion of 0.005 in x 2.277 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.277 * [taylor]: Taking taylor expansion of y in x 2.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.277 * [taylor]: Taking taylor expansion of x in x 2.278 * [taylor]: Taking taylor expansion of -1 in y 2.278 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 2.278 * [taylor]: Taking taylor expansion of 0.005 in y 2.278 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.278 * [taylor]: Taking taylor expansion of y in y 2.280 * [taylor]: Taking taylor expansion of 0 in y 2.283 * [taylor]: Taking taylor expansion of 0 in y 2.286 * [taylor]: Taking taylor expansion of 0 in y 2.286 * * * [progress]: simplifying candidates 2.287 * [simplify]: Simplifying using # : (/ (exp x) (exp (* 0.005 y))) (log (- x (* 0.005 y))) (exp (- x (* 0.005 y))) (* (cbrt (- x (* 0.005 y))) (cbrt (- x (* 0.005 y)))) (cbrt (- x (* 0.005 y))) (* (* (- x (* 0.005 y)) (- x (* 0.005 y))) (- x (* 0.005 y))) (sqrt (- x (* 0.005 y))) (sqrt (- x (* 0.005 y))) (- (pow x 3) (pow (* 0.005 y) 3)) (+ (* x x) (+ (* (* 0.005 y) (* 0.005 y)) (* x (* 0.005 y)))) (- (* 0.005 y)) (- (* x x) (* (* 0.005 y) (* 0.005 y))) (+ x (* 0.005 y)) (- (* 0.005 y)) (- x (* 0.005 y)) (- x (* 0.005 y)) (- x (* 0.005 y)) 2.288 * * [simplify]: iteration 0 : 27 enodes (cost 132 ) 2.293 * * [simplify]: iteration 1 : 71 enodes (cost 127 ) 2.307 * * [simplify]: iteration 2 : 196 enodes (cost 117 ) 2.367 * * [simplify]: iteration 3 : 542 enodes (cost 117 ) 2.592 * * [simplify]: iteration 4 : 1217 enodes (cost 117 ) 3.578 * * [simplify]: iteration 5 : 3724 enodes (cost 117 ) 4.896 * * [simplify]: iteration done : 5000 enodes (cost 117 ) 4.896 * [simplify]: Simplified to: (exp (- x (* 0.005 y))) (log (- x (* 0.005 y))) (exp (- x (* 0.005 y))) (* (cbrt (- x (* 0.005 y))) (cbrt (- x (* 0.005 y)))) (cbrt (- x (* 0.005 y))) (pow (- x (* 0.005 y)) 3) (sqrt (- x (* 0.005 y))) (sqrt (- x (* 0.005 y))) (- (pow x 3) (pow (* 0.005 y) 3)) (+ (* (* 0.005 y) (+ x (* 0.005 y))) (* x x)) (- (* 0.005 y)) (- (* x x) (* (* 0.005 y) (* 0.005 y))) (+ x (* 0.005 y)) (- (* 0.005 y)) (- x (* 0.005 y)) (- x (* 0.005 y)) (- x (* 0.005 y)) 4.896 * * * [progress]: adding candidates to table 4.927 * * [progress]: iteration 3 / 4 4.927 * * * [progress]: picking best candidate 4.930 * * * * [pick]: Picked # 4.930 * * * [progress]: localizing error 4.936 * * * [progress]: generating rewritten candidates 4.936 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 4.987 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 5.001 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 5.012 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 5.022 * * * [progress]: generating series expansions 5.022 * * * * [progress]: [ 1 / 4 ] generating series at (2) 5.022 * [approximate]: Taking taylor expansion of (- x (* 0.005 y)) in (x y) around 0 5.022 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in y 5.023 * [taylor]: Taking taylor expansion of x in y 5.023 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.023 * [taylor]: Taking taylor expansion of 0.005 in y 5.023 * [taylor]: Taking taylor expansion of y in y 5.023 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 5.023 * [taylor]: Taking taylor expansion of x in x 5.023 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 5.023 * [taylor]: Taking taylor expansion of 0.005 in x 5.023 * [taylor]: Taking taylor expansion of y in x 5.023 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 5.023 * [taylor]: Taking taylor expansion of x in x 5.023 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 5.023 * [taylor]: Taking taylor expansion of 0.005 in x 5.023 * [taylor]: Taking taylor expansion of y in x 5.023 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 5.023 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.023 * [taylor]: Taking taylor expansion of 0.005 in y 5.023 * [taylor]: Taking taylor expansion of y in y 5.026 * [taylor]: Taking taylor expansion of 1 in y 5.028 * [taylor]: Taking taylor expansion of 0 in y 5.031 * [taylor]: Taking taylor expansion of 0 in y 5.031 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in (x y) around 0 5.031 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in y 5.031 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.031 * [taylor]: Taking taylor expansion of x in y 5.031 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.031 * [taylor]: Taking taylor expansion of 0.005 in y 5.031 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.031 * [taylor]: Taking taylor expansion of y in y 5.032 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 5.032 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.032 * [taylor]: Taking taylor expansion of x in x 5.032 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.032 * [taylor]: Taking taylor expansion of 0.005 in x 5.032 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.032 * [taylor]: Taking taylor expansion of y in x 5.032 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 5.032 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.032 * [taylor]: Taking taylor expansion of x in x 5.032 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.033 * [taylor]: Taking taylor expansion of 0.005 in x 5.033 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.033 * [taylor]: Taking taylor expansion of y in x 5.033 * [taylor]: Taking taylor expansion of 1 in y 5.034 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y))) in y 5.034 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.034 * [taylor]: Taking taylor expansion of 0.005 in y 5.034 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.034 * [taylor]: Taking taylor expansion of y in y 5.036 * [taylor]: Taking taylor expansion of 0 in y 5.039 * [taylor]: Taking taylor expansion of 0 in y 5.042 * [taylor]: Taking taylor expansion of 0 in y 5.043 * [approximate]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in (x y) around 0 5.043 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in y 5.043 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.043 * [taylor]: Taking taylor expansion of 0.005 in y 5.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.043 * [taylor]: Taking taylor expansion of y in y 5.043 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.043 * [taylor]: Taking taylor expansion of x in y 5.043 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 5.043 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.043 * [taylor]: Taking taylor expansion of 0.005 in x 5.043 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.043 * [taylor]: Taking taylor expansion of y in x 5.043 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.043 * [taylor]: Taking taylor expansion of x in x 5.044 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 5.044 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.044 * [taylor]: Taking taylor expansion of 0.005 in x 5.044 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.044 * [taylor]: Taking taylor expansion of y in x 5.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.044 * [taylor]: Taking taylor expansion of x in x 5.045 * [taylor]: Taking taylor expansion of -1 in y 5.045 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.045 * [taylor]: Taking taylor expansion of 0.005 in y 5.045 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.045 * [taylor]: Taking taylor expansion of y in y 5.047 * [taylor]: Taking taylor expansion of 0 in y 5.050 * [taylor]: Taking taylor expansion of 0 in y 5.053 * [taylor]: Taking taylor expansion of 0 in y 5.053 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 5.053 * [approximate]: Taking taylor expansion of (sqrt (- x (* 0.005 y))) in (x y) around 0 5.053 * [taylor]: Taking taylor expansion of (sqrt (- x (* 0.005 y))) in y 5.053 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in y 5.053 * [taylor]: Taking taylor expansion of x in y 5.053 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.053 * [taylor]: Taking taylor expansion of 0.005 in y 5.053 * [taylor]: Taking taylor expansion of y in y 5.056 * [taylor]: Taking taylor expansion of (sqrt (- x (* 0.005 y))) in x 5.056 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 5.056 * [taylor]: Taking taylor expansion of x in x 5.056 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 5.056 * [taylor]: Taking taylor expansion of 0.005 in x 5.056 * [taylor]: Taking taylor expansion of y in x 5.057 * [taylor]: Taking taylor expansion of (sqrt (- x (* 0.005 y))) in x 5.057 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 5.057 * [taylor]: Taking taylor expansion of x in x 5.057 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 5.057 * [taylor]: Taking taylor expansion of 0.005 in x 5.057 * [taylor]: Taking taylor expansion of y in x 5.058 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 y))) in y 5.058 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 5.058 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.058 * [taylor]: Taking taylor expansion of 0.005 in y 5.058 * [taylor]: Taking taylor expansion of y in y 5.062 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (* 0.005 y)))) in y 5.062 * [taylor]: Taking taylor expansion of 1/2 in y 5.062 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 y))) in y 5.062 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 5.062 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.062 * [taylor]: Taking taylor expansion of 0.005 in y 5.062 * [taylor]: Taking taylor expansion of y in y 5.072 * [taylor]: Taking taylor expansion of (/ -1/8 (pow (sqrt (- (* 0.005 y))) 3)) in y 5.072 * [taylor]: Taking taylor expansion of -1/8 in y 5.072 * [taylor]: Taking taylor expansion of (pow (sqrt (- (* 0.005 y))) 3) in y 5.072 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 y))) in y 5.072 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 5.072 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.072 * [taylor]: Taking taylor expansion of 0.005 in y 5.072 * [taylor]: Taking taylor expansion of y in y 5.111 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 x) (* 0.005 (/ 1 y)))) in (x y) around 0 5.111 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (* 0.005 (/ 1 y)))) in y 5.111 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in y 5.111 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.111 * [taylor]: Taking taylor expansion of x in y 5.111 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.111 * [taylor]: Taking taylor expansion of 0.005 in y 5.111 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.111 * [taylor]: Taking taylor expansion of y in y 5.114 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (* 0.005 (/ 1 y)))) in x 5.114 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 5.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.114 * [taylor]: Taking taylor expansion of x in x 5.114 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.114 * [taylor]: Taking taylor expansion of 0.005 in x 5.114 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.114 * [taylor]: Taking taylor expansion of y in x 5.116 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (* 0.005 (/ 1 y)))) in x 5.116 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 5.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.116 * [taylor]: Taking taylor expansion of x in x 5.116 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.116 * [taylor]: Taking taylor expansion of 0.005 in x 5.116 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.116 * [taylor]: Taking taylor expansion of y in x 5.118 * [taylor]: Taking taylor expansion of 0 in y 5.118 * [taylor]: Taking taylor expansion of +nan.0 in y 5.119 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* 0.005 (/ 1 y)) (- +nan.0))) in y 5.119 * [taylor]: Taking taylor expansion of +nan.0 in y 5.119 * [taylor]: Taking taylor expansion of (+ (* 0.005 (/ 1 y)) (- +nan.0)) in y 5.119 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.119 * [taylor]: Taking taylor expansion of 0.005 in y 5.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.119 * [taylor]: Taking taylor expansion of y in y 5.120 * [taylor]: Taking taylor expansion of (- +nan.0) in y 5.120 * [taylor]: Taking taylor expansion of +nan.0 in y 5.123 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 5.123 * [taylor]: Taking taylor expansion of +nan.0 in y 5.123 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 5.123 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 5.123 * [taylor]: Taking taylor expansion of +nan.0 in y 5.123 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.123 * [taylor]: Taking taylor expansion of y in y 5.123 * [taylor]: Taking taylor expansion of (- +nan.0) in y 5.123 * [taylor]: Taking taylor expansion of +nan.0 in y 5.125 * [approximate]: Taking taylor expansion of (sqrt (- (* 0.005 (/ 1 y)) (/ 1 x))) in (x y) around 0 5.125 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 (/ 1 y)) (/ 1 x))) in y 5.125 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in y 5.125 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.125 * [taylor]: Taking taylor expansion of 0.005 in y 5.125 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.125 * [taylor]: Taking taylor expansion of y in y 5.125 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.125 * [taylor]: Taking taylor expansion of x in y 5.127 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 (/ 1 y)) (/ 1 x))) in x 5.127 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 5.127 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.127 * [taylor]: Taking taylor expansion of 0.005 in x 5.127 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.127 * [taylor]: Taking taylor expansion of y in x 5.127 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.127 * [taylor]: Taking taylor expansion of x in x 5.129 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 (/ 1 y)) (/ 1 x))) in x 5.129 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 5.129 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.129 * [taylor]: Taking taylor expansion of 0.005 in x 5.129 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.129 * [taylor]: Taking taylor expansion of y in x 5.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.129 * [taylor]: Taking taylor expansion of x in x 5.131 * [taylor]: Taking taylor expansion of 0 in y 5.131 * [taylor]: Taking taylor expansion of +nan.0 in y 5.133 * [taylor]: Taking taylor expansion of (* +nan.0 (- (* 0.005 (/ 1 y)) +nan.0)) in y 5.133 * [taylor]: Taking taylor expansion of +nan.0 in y 5.133 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) +nan.0) in y 5.133 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.133 * [taylor]: Taking taylor expansion of 0.005 in y 5.133 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.133 * [taylor]: Taking taylor expansion of y in y 5.133 * [taylor]: Taking taylor expansion of +nan.0 in y 5.136 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 5.136 * [taylor]: Taking taylor expansion of +nan.0 in y 5.136 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 5.136 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 5.136 * [taylor]: Taking taylor expansion of +nan.0 in y 5.136 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.136 * [taylor]: Taking taylor expansion of y in y 5.136 * [taylor]: Taking taylor expansion of (- +nan.0) in y 5.136 * [taylor]: Taking taylor expansion of +nan.0 in y 5.137 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 5.138 * [approximate]: Taking taylor expansion of (sqrt (- x (* 0.005 y))) in (x y) around 0 5.138 * [taylor]: Taking taylor expansion of (sqrt (- x (* 0.005 y))) in y 5.138 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in y 5.138 * [taylor]: Taking taylor expansion of x in y 5.138 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.138 * [taylor]: Taking taylor expansion of 0.005 in y 5.138 * [taylor]: Taking taylor expansion of y in y 5.141 * [taylor]: Taking taylor expansion of (sqrt (- x (* 0.005 y))) in x 5.141 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 5.141 * [taylor]: Taking taylor expansion of x in x 5.141 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 5.141 * [taylor]: Taking taylor expansion of 0.005 in x 5.141 * [taylor]: Taking taylor expansion of y in x 5.142 * [taylor]: Taking taylor expansion of (sqrt (- x (* 0.005 y))) in x 5.142 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 5.142 * [taylor]: Taking taylor expansion of x in x 5.142 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 5.142 * [taylor]: Taking taylor expansion of 0.005 in x 5.142 * [taylor]: Taking taylor expansion of y in x 5.143 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 y))) in y 5.143 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 5.143 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.143 * [taylor]: Taking taylor expansion of 0.005 in y 5.143 * [taylor]: Taking taylor expansion of y in y 5.146 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (* 0.005 y)))) in y 5.146 * [taylor]: Taking taylor expansion of 1/2 in y 5.146 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 y))) in y 5.147 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 5.147 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.147 * [taylor]: Taking taylor expansion of 0.005 in y 5.147 * [taylor]: Taking taylor expansion of y in y 5.156 * [taylor]: Taking taylor expansion of (/ -1/8 (pow (sqrt (- (* 0.005 y))) 3)) in y 5.156 * [taylor]: Taking taylor expansion of -1/8 in y 5.156 * [taylor]: Taking taylor expansion of (pow (sqrt (- (* 0.005 y))) 3) in y 5.156 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 y))) in y 5.156 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 5.156 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.156 * [taylor]: Taking taylor expansion of 0.005 in y 5.156 * [taylor]: Taking taylor expansion of y in y 5.196 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 x) (* 0.005 (/ 1 y)))) in (x y) around 0 5.196 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (* 0.005 (/ 1 y)))) in y 5.196 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in y 5.196 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.196 * [taylor]: Taking taylor expansion of x in y 5.196 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.196 * [taylor]: Taking taylor expansion of 0.005 in y 5.196 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.196 * [taylor]: Taking taylor expansion of y in y 5.199 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (* 0.005 (/ 1 y)))) in x 5.199 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 5.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.199 * [taylor]: Taking taylor expansion of x in x 5.199 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.199 * [taylor]: Taking taylor expansion of 0.005 in x 5.199 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.199 * [taylor]: Taking taylor expansion of y in x 5.200 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (* 0.005 (/ 1 y)))) in x 5.201 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 5.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.201 * [taylor]: Taking taylor expansion of x in x 5.201 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.201 * [taylor]: Taking taylor expansion of 0.005 in x 5.201 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.201 * [taylor]: Taking taylor expansion of y in x 5.202 * [taylor]: Taking taylor expansion of 0 in y 5.202 * [taylor]: Taking taylor expansion of +nan.0 in y 5.204 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* 0.005 (/ 1 y)) (- +nan.0))) in y 5.204 * [taylor]: Taking taylor expansion of +nan.0 in y 5.204 * [taylor]: Taking taylor expansion of (+ (* 0.005 (/ 1 y)) (- +nan.0)) in y 5.204 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.204 * [taylor]: Taking taylor expansion of 0.005 in y 5.204 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.204 * [taylor]: Taking taylor expansion of y in y 5.204 * [taylor]: Taking taylor expansion of (- +nan.0) in y 5.204 * [taylor]: Taking taylor expansion of +nan.0 in y 5.207 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 5.207 * [taylor]: Taking taylor expansion of +nan.0 in y 5.207 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 5.208 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 5.208 * [taylor]: Taking taylor expansion of +nan.0 in y 5.208 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.208 * [taylor]: Taking taylor expansion of y in y 5.208 * [taylor]: Taking taylor expansion of (- +nan.0) in y 5.208 * [taylor]: Taking taylor expansion of +nan.0 in y 5.209 * [approximate]: Taking taylor expansion of (sqrt (- (* 0.005 (/ 1 y)) (/ 1 x))) in (x y) around 0 5.210 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 (/ 1 y)) (/ 1 x))) in y 5.210 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in y 5.210 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.210 * [taylor]: Taking taylor expansion of 0.005 in y 5.210 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.210 * [taylor]: Taking taylor expansion of y in y 5.210 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.210 * [taylor]: Taking taylor expansion of x in y 5.212 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 (/ 1 y)) (/ 1 x))) in x 5.212 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 5.212 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.212 * [taylor]: Taking taylor expansion of 0.005 in x 5.212 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.212 * [taylor]: Taking taylor expansion of y in x 5.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.212 * [taylor]: Taking taylor expansion of x in x 5.214 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 (/ 1 y)) (/ 1 x))) in x 5.214 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 5.214 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.214 * [taylor]: Taking taylor expansion of 0.005 in x 5.214 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.214 * [taylor]: Taking taylor expansion of y in x 5.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.214 * [taylor]: Taking taylor expansion of x in x 5.216 * [taylor]: Taking taylor expansion of 0 in y 5.216 * [taylor]: Taking taylor expansion of +nan.0 in y 5.218 * [taylor]: Taking taylor expansion of (* +nan.0 (- (* 0.005 (/ 1 y)) +nan.0)) in y 5.218 * [taylor]: Taking taylor expansion of +nan.0 in y 5.218 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) +nan.0) in y 5.218 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.218 * [taylor]: Taking taylor expansion of 0.005 in y 5.218 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.218 * [taylor]: Taking taylor expansion of y in y 5.218 * [taylor]: Taking taylor expansion of +nan.0 in y 5.221 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 5.221 * [taylor]: Taking taylor expansion of +nan.0 in y 5.221 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 5.221 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 5.221 * [taylor]: Taking taylor expansion of +nan.0 in y 5.221 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.221 * [taylor]: Taking taylor expansion of y in y 5.221 * [taylor]: Taking taylor expansion of (- +nan.0) in y 5.221 * [taylor]: Taking taylor expansion of +nan.0 in y 5.223 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 5.223 * [approximate]: Taking taylor expansion of (- x (* 0.005 y)) in (x y) around 0 5.223 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in y 5.223 * [taylor]: Taking taylor expansion of x in y 5.223 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.223 * [taylor]: Taking taylor expansion of 0.005 in y 5.223 * [taylor]: Taking taylor expansion of y in y 5.223 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 5.223 * [taylor]: Taking taylor expansion of x in x 5.223 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 5.223 * [taylor]: Taking taylor expansion of 0.005 in x 5.223 * [taylor]: Taking taylor expansion of y in x 5.223 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 5.223 * [taylor]: Taking taylor expansion of x in x 5.223 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 5.223 * [taylor]: Taking taylor expansion of 0.005 in x 5.223 * [taylor]: Taking taylor expansion of y in x 5.223 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 5.224 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.224 * [taylor]: Taking taylor expansion of 0.005 in y 5.224 * [taylor]: Taking taylor expansion of y in y 5.225 * [taylor]: Taking taylor expansion of 1 in y 5.228 * [taylor]: Taking taylor expansion of 0 in y 5.230 * [taylor]: Taking taylor expansion of 0 in y 5.231 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in (x y) around 0 5.231 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in y 5.231 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.231 * [taylor]: Taking taylor expansion of x in y 5.231 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.231 * [taylor]: Taking taylor expansion of 0.005 in y 5.231 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.231 * [taylor]: Taking taylor expansion of y in y 5.231 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 5.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.231 * [taylor]: Taking taylor expansion of x in x 5.231 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.231 * [taylor]: Taking taylor expansion of 0.005 in x 5.231 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.231 * [taylor]: Taking taylor expansion of y in x 5.232 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 5.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.232 * [taylor]: Taking taylor expansion of x in x 5.232 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.232 * [taylor]: Taking taylor expansion of 0.005 in x 5.232 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.232 * [taylor]: Taking taylor expansion of y in x 5.232 * [taylor]: Taking taylor expansion of 1 in y 5.233 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y))) in y 5.233 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.233 * [taylor]: Taking taylor expansion of 0.005 in y 5.233 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.233 * [taylor]: Taking taylor expansion of y in y 5.235 * [taylor]: Taking taylor expansion of 0 in y 5.238 * [taylor]: Taking taylor expansion of 0 in y 5.242 * [taylor]: Taking taylor expansion of 0 in y 5.242 * [approximate]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in (x y) around 0 5.242 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in y 5.242 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.242 * [taylor]: Taking taylor expansion of 0.005 in y 5.242 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.242 * [taylor]: Taking taylor expansion of y in y 5.243 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.243 * [taylor]: Taking taylor expansion of x in y 5.243 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 5.243 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.243 * [taylor]: Taking taylor expansion of 0.005 in x 5.243 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.243 * [taylor]: Taking taylor expansion of y in x 5.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.243 * [taylor]: Taking taylor expansion of x in x 5.243 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 5.243 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.243 * [taylor]: Taking taylor expansion of 0.005 in x 5.243 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.243 * [taylor]: Taking taylor expansion of y in x 5.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.243 * [taylor]: Taking taylor expansion of x in x 5.244 * [taylor]: Taking taylor expansion of -1 in y 5.245 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.245 * [taylor]: Taking taylor expansion of 0.005 in y 5.245 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.245 * [taylor]: Taking taylor expansion of y in y 5.247 * [taylor]: Taking taylor expansion of 0 in y 5.250 * [taylor]: Taking taylor expansion of 0 in y 5.253 * [taylor]: Taking taylor expansion of 0 in y 5.253 * * * [progress]: simplifying candidates 5.255 * [simplify]: Simplifying using # : (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (- x (/ y 200.0)) (- x (/ y 200.0))) (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0)))) (* (- x (/ y 200.0)) (- x (/ y 200.0))) (+ 1 1) (+ (log (sqrt (- x (/ y 200.0)))) (log (sqrt (- x (/ y 200.0))))) (log (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))))) (exp (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))))) (* (* (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0)))) (sqrt (- x (/ y 200.0)))) (* (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0)))) (sqrt (- x (/ y 200.0))))) (* (cbrt (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))))) (cbrt (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0)))))) (cbrt (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))))) (* (* (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0)))) (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))))) (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))))) (* (- x (/ y 200.0)) (- x (/ y 200.0))) (sqrt (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))))) (sqrt (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))))) (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (* (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- (* x x) (* (/ y 200.0) (/ y 200.0))))) (* (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (sqrt (+ x (/ y 200.0)))) (* (sqrt (- (* x x) (* (/ y 200.0) (/ y 200.0)))) (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (* (sqrt (+ x (/ y 200.0))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (* (sqrt (- (* x x) (* (/ y 200.0) (/ y 200.0)))) (sqrt (- (* x x) (* (/ y 200.0) (/ y 200.0))))) (* (sqrt (+ x (/ y 200.0))) (sqrt (+ x (/ y 200.0)))) (* (* (cbrt (sqrt (- x (/ y 200.0)))) (cbrt (sqrt (- x (/ y 200.0))))) (* (cbrt (sqrt (- x (/ y 200.0)))) (cbrt (sqrt (- x (/ y 200.0)))))) (* (cbrt (sqrt (- x (/ y 200.0)))) (cbrt (sqrt (- x (/ y 200.0))))) (* (sqrt (* (cbrt (- x (/ y 200.0))) (cbrt (- x (/ y 200.0))))) (sqrt (* (cbrt (- x (/ y 200.0))) (cbrt (- x (/ y 200.0)))))) (* (sqrt (cbrt (- x (/ y 200.0)))) (sqrt (cbrt (- x (/ y 200.0))))) (* (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0))))) (* (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0))))) (* (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0))))) (* (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0)))) (* (sqrt 1) (sqrt 1)) (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0)))) (* (sqrt (+ (sqrt x) (sqrt (/ y 200.0)))) (sqrt (+ (sqrt x) (sqrt (/ y 200.0))))) (* (sqrt (- (sqrt x) (sqrt (/ y 200.0)))) (sqrt (- (sqrt x) (sqrt (/ y 200.0))))) (* (sqrt (+ (sqrt x) (/ (sqrt y) (sqrt 200.0)))) (sqrt (+ (sqrt x) (/ (sqrt y) (sqrt 200.0))))) (* (sqrt (- (sqrt x) (/ (sqrt y) (sqrt 200.0)))) (sqrt (- (sqrt x) (/ (sqrt y) (sqrt 200.0))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0)))) (* (sqrt 1) (sqrt 1)) (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0)))) (* (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0))))) (* (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0))))) (* (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0))))) (* (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0))))) (* 1 1) (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0)))) (* (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0))))) (* (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0))))) (* (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0))))) (* (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0))))) (* (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0))))) (* (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0))))) (* (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0))))) (* (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0))))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (- x (/ y 200.0))) (* (cbrt (sqrt (- x (/ y 200.0)))) (cbrt (sqrt (- x (/ y 200.0)))))) (* (sqrt (- x (/ y 200.0))) (sqrt (* (cbrt (- x (/ y 200.0))) (cbrt (- x (/ y 200.0)))))) (* (sqrt (- x (/ y 200.0))) (sqrt (sqrt (- x (/ y 200.0))))) (* (sqrt (- x (/ y 200.0))) (sqrt 1)) (* (sqrt (- x (/ y 200.0))) (sqrt (+ (sqrt x) (sqrt (/ y 200.0))))) (* (sqrt (- x (/ y 200.0))) (sqrt (+ (sqrt x) (/ (sqrt y) (sqrt 200.0))))) (* (sqrt (- x (/ y 200.0))) (sqrt 1)) (* (sqrt (- x (/ y 200.0))) (sqrt (sqrt (- x (/ y 200.0))))) (* (sqrt (- x (/ y 200.0))) 1) (* (cbrt (sqrt (- x (/ y 200.0)))) (sqrt (- x (/ y 200.0)))) (* (sqrt (cbrt (- x (/ y 200.0)))) (sqrt (- x (/ y 200.0)))) (* (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (- x (/ y 200.0)))) (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0)))) (* (sqrt (- (sqrt x) (sqrt (/ y 200.0)))) (sqrt (- x (/ y 200.0)))) (* (sqrt (- (sqrt x) (/ (sqrt y) (sqrt 200.0)))) (sqrt (- x (/ y 200.0)))) (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0)))) (* (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (- x (/ y 200.0)))) (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0)))) (* (sqrt (- x (/ y 200.0))) (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (* (sqrt (- x (/ y 200.0))) (sqrt (- (* x x) (* (/ y 200.0) (/ y 200.0))))) (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (* (sqrt (- (* x x) (* (/ y 200.0) (/ y 200.0)))) (sqrt (- x (/ y 200.0)))) (log (sqrt (- x (/ y 200.0)))) (exp (sqrt (- x (/ y 200.0)))) (* (cbrt (sqrt (- x (/ y 200.0)))) (cbrt (sqrt (- x (/ y 200.0))))) (cbrt (sqrt (- x (/ y 200.0)))) (* (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0)))) (sqrt (- x (/ y 200.0)))) (sqrt (* (cbrt (- x (/ y 200.0))) (cbrt (- x (/ y 200.0))))) (sqrt (cbrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0)))) (sqrt 1) (sqrt (- x (/ y 200.0))) (sqrt (+ (sqrt x) (sqrt (/ y 200.0)))) (sqrt (- (sqrt x) (sqrt (/ y 200.0)))) (sqrt (+ (sqrt x) (/ (sqrt y) (sqrt 200.0)))) (sqrt (- (sqrt x) (/ (sqrt y) (sqrt 200.0)))) (sqrt 1) (sqrt (- x (/ y 200.0))) (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (sqrt (- (* x x) (* (/ y 200.0) (/ y 200.0)))) (sqrt (+ x (/ y 200.0))) (/ 1 2) (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0)))) (log (sqrt (- x (/ y 200.0)))) (exp (sqrt (- x (/ y 200.0)))) (* (cbrt (sqrt (- x (/ y 200.0)))) (cbrt (sqrt (- x (/ y 200.0))))) (cbrt (sqrt (- x (/ y 200.0)))) (* (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0)))) (sqrt (- x (/ y 200.0)))) (sqrt (* (cbrt (- x (/ y 200.0))) (cbrt (- x (/ y 200.0))))) (sqrt (cbrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0)))) (sqrt 1) (sqrt (- x (/ y 200.0))) (sqrt (+ (sqrt x) (sqrt (/ y 200.0)))) (sqrt (- (sqrt x) (sqrt (/ y 200.0)))) (sqrt (+ (sqrt x) (/ (sqrt y) (sqrt 200.0)))) (sqrt (- (sqrt x) (/ (sqrt y) (sqrt 200.0)))) (sqrt 1) (sqrt (- x (/ y 200.0))) (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (sqrt (- (* x x) (* (/ y 200.0) (/ y 200.0)))) (sqrt (+ x (/ y 200.0))) (/ 1 2) (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0)))) (/ (exp x) (exp (/ y 200.0))) (log (- x (/ y 200.0))) (exp (- x (/ y 200.0))) (* (cbrt (- x (/ y 200.0))) (cbrt (- x (/ y 200.0)))) (cbrt (- x (/ y 200.0))) (* (* (- x (/ y 200.0)) (- x (/ y 200.0))) (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (- (pow x 3) (pow (/ y 200.0) 3)) (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))) (- (/ y 200.0)) (- (* x x) (* (/ y 200.0) (/ y 200.0))) (+ x (/ y 200.0)) (+ (sqrt x) (sqrt (/ y 200.0))) (- (sqrt x) (sqrt (/ y 200.0))) (+ (sqrt x) (/ (sqrt y) (sqrt 200.0))) (- (sqrt x) (/ (sqrt y) (sqrt 200.0))) (- x (/ y 200.0)) (- (/ y 200.0)) (- x (* 0.005 y)) (- x (* 0.005 y)) (- x (* 0.005 y)) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) (- x (* 0.005 y)) (- x (* 0.005 y)) (- x (* 0.005 y)) 5.266 * * [simplify]: iteration 0 : 131 enodes (cost 1981 ) 5.297 * * [simplify]: iteration 1 : 240 enodes (cost 1395 ) 5.345 * * [simplify]: iteration 2 : 632 enodes (cost 1319 ) 5.688 * * [simplify]: iteration 3 : 1782 enodes (cost 1272 ) 6.955 * * [simplify]: iteration 4 : 4871 enodes (cost 1250 ) 7.880 * * [simplify]: iteration done : 5000 enodes (cost 1250 ) 7.881 * [simplify]: Simplified to: 1 1 2 1 1 (pow (sqrt (- x (/ y 200.0))) 4) (- x (/ y 200.0)) (pow (sqrt (- x (/ y 200.0))) 4) 2 (log (- x (/ y 200.0))) (log (- x (/ y 200.0))) (exp (- x (/ y 200.0))) (pow (- x (/ y 200.0)) 3) (pow (sqrt (cbrt (- x (/ y 200.0)))) 4) (cbrt (- x (/ y 200.0))) (pow (- x (/ y 200.0)) 3) (pow (sqrt (- x (/ y 200.0))) 4) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (- (pow x 3) (pow (/ y 200.0) 3)) (+ (* (/ y 200.0) (+ (/ y 200.0) x)) (* x x)) (* (sqrt (- (* x x) (* (/ y 200.0) (/ y 200.0)))) (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (* (sqrt (+ x (/ y 200.0))) (sqrt (+ (* (/ y 200.0) (+ (/ y 200.0) x)) (* x x)))) (* (sqrt (- (* x x) (* (/ y 200.0) (/ y 200.0)))) (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (* (sqrt (+ x (/ y 200.0))) (sqrt (+ (* (/ y 200.0) (+ (/ y 200.0) x)) (* x x)))) (* (+ (/ y 200.0) x) (- x (/ y 200.0))) (+ (/ y 200.0) x) (pow (cbrt (sqrt (- x (/ y 200.0)))) 4) (* (cbrt (sqrt (- x (/ y 200.0)))) (cbrt (sqrt (- x (/ y 200.0))))) (pow (sqrt (cbrt (- x (/ y 200.0)))) 4) (cbrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) 1 (- x (/ y 200.0)) 1 (- x (/ y 200.0)) (+ (sqrt (/ y 200.0)) (sqrt x)) (- (sqrt x) (sqrt (/ y 200.0))) (+ (/ (sqrt y) (sqrt 200.0)) (sqrt x)) (- (sqrt x) (/ (sqrt y) (sqrt 200.0))) 1 (- x (/ y 200.0)) 1 (- x (/ y 200.0)) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) 1 (- x (/ y 200.0)) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) 1 2 1 (pow (cbrt (sqrt (- x (/ y 200.0)))) 5) (* (sqrt (- x (/ y 200.0))) (fabs (cbrt (- x (/ y 200.0))))) (pow (sqrt (sqrt (- x (/ y 200.0)))) 3) (sqrt (- x (/ y 200.0))) (* (sqrt (- x (/ y 200.0))) (sqrt (+ (sqrt x) (sqrt (/ y 200.0))))) (* (sqrt (- x (/ y 200.0))) (sqrt (+ (sqrt x) (/ (sqrt y) (sqrt 200.0))))) (sqrt (- x (/ y 200.0))) (pow (sqrt (sqrt (- x (/ y 200.0)))) 3) (sqrt (- x (/ y 200.0))) (pow (cbrt (sqrt (- x (/ y 200.0)))) 4) (* (sqrt (cbrt (- x (/ y 200.0)))) (sqrt (- x (/ y 200.0)))) (pow (sqrt (sqrt (- x (/ y 200.0)))) 3) (- x (/ y 200.0)) (* (sqrt (- (sqrt x) (sqrt (/ y 200.0)))) (sqrt (- x (/ y 200.0)))) (* (sqrt (- (sqrt x) (/ (sqrt y) (sqrt 200.0)))) (sqrt (- x (/ y 200.0)))) (- x (/ y 200.0)) (pow (sqrt (sqrt (- x (/ y 200.0)))) 3) (- x (/ y 200.0)) (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (* (sqrt (- (* x x) (* (/ y 200.0) (/ y 200.0)))) (sqrt (- x (/ y 200.0)))) (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (* (sqrt (- (* x x) (* (/ y 200.0) (/ y 200.0)))) (sqrt (- x (/ y 200.0)))) (log (sqrt (- x (/ y 200.0)))) (exp (sqrt (- x (/ y 200.0)))) (* (cbrt (sqrt (- x (/ y 200.0)))) (cbrt (sqrt (- x (/ y 200.0))))) (cbrt (sqrt (- x (/ y 200.0)))) (pow (sqrt (- x (/ y 200.0))) 3) (fabs (cbrt (- x (/ y 200.0)))) (sqrt (cbrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0)))) 1 (sqrt (- x (/ y 200.0))) (sqrt (+ (sqrt x) (sqrt (/ y 200.0)))) (sqrt (- (sqrt x) (sqrt (/ y 200.0)))) (sqrt (+ (/ (sqrt y) (sqrt 200.0)) (sqrt x))) (sqrt (- (sqrt x) (/ (sqrt y) (sqrt 200.0)))) 1 (sqrt (- x (/ y 200.0))) (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (+ (* (/ y 200.0) (+ (/ y 200.0) x)) (* x x))) (sqrt (- (* x x) (* (/ y 200.0) (/ y 200.0)))) (sqrt (+ x (/ y 200.0))) 1/2 (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0)))) (log (sqrt (- x (/ y 200.0)))) (exp (sqrt (- x (/ y 200.0)))) (* (cbrt (sqrt (- x (/ y 200.0)))) (cbrt (sqrt (- x (/ y 200.0))))) (cbrt (sqrt (- x (/ y 200.0)))) (pow (sqrt (- x (/ y 200.0))) 3) (fabs (cbrt (- x (/ y 200.0)))) (sqrt (cbrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0)))) 1 (sqrt (- x (/ y 200.0))) (sqrt (+ (sqrt x) (sqrt (/ y 200.0)))) (sqrt (- (sqrt x) (sqrt (/ y 200.0)))) (sqrt (+ (/ (sqrt y) (sqrt 200.0)) (sqrt x))) (sqrt (- (sqrt x) (/ (sqrt y) (sqrt 200.0)))) 1 (sqrt (- x (/ y 200.0))) (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (+ (* (/ y 200.0) (+ (/ y 200.0) x)) (* x x))) (sqrt (- (* x x) (* (/ y 200.0) (/ y 200.0)))) (sqrt (+ x (/ y 200.0))) 1/2 (sqrt (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (- x (/ y 200.0)))) (exp (- x (/ y 200.0))) (log (- x (/ y 200.0))) (exp (- x (/ y 200.0))) (pow (sqrt (cbrt (- x (/ y 200.0)))) 4) (cbrt (- x (/ y 200.0))) (pow (- x (/ y 200.0)) 3) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (- (pow x 3) (pow (/ y 200.0) 3)) (+ (* (/ y 200.0) (+ (/ y 200.0) x)) (* x x)) (- (/ y 200.0)) (* (+ (/ y 200.0) x) (- x (/ y 200.0))) (+ (/ y 200.0) x) (+ (sqrt (/ y 200.0)) (sqrt x)) (- (sqrt x) (sqrt (/ y 200.0))) (+ (/ (sqrt y) (sqrt 200.0)) (sqrt x)) (- (sqrt x) (/ (sqrt y) (sqrt 200.0))) (- x (/ y 200.0)) (- (/ y 200.0)) (- x (* 0.005 y)) (- x (* 0.005 y)) (- x (* 0.005 y)) (* (- (- x y) (pow x 2)) +nan.0) (- (+ +nan.0 (* (/ y x) (- (/ +nan.0 x) +nan.0)))) (- (+ +nan.0 (* (/ y x) (- (/ +nan.0 x) +nan.0)))) (* (- (- x y) (pow x 2)) +nan.0) (- (+ +nan.0 (* (/ y x) (- (/ +nan.0 x) +nan.0)))) (- (+ +nan.0 (* (/ y x) (- (/ +nan.0 x) +nan.0)))) (- x (* 0.005 y)) (- x (* 0.005 y)) (- x (* 0.005 y)) 7.882 * * * [progress]: adding candidates to table 8.149 * * [progress]: iteration 4 / 4 8.149 * * * [progress]: picking best candidate 8.153 * * * * [pick]: Picked # 8.153 * * * [progress]: localizing error 8.175 * * * [progress]: generating rewritten candidates 8.175 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 8.210 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 8.286 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 8.346 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 8.384 * * * [progress]: generating series expansions 8.384 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 8.384 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))))) in (x y) around 0 8.385 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))))) in y 8.385 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y)))) in y 8.385 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.385 * [taylor]: Taking taylor expansion of x in y 8.385 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))) in y 8.385 * [taylor]: Taking taylor expansion of (* 2.5e-05 (pow y 2)) in y 8.385 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.385 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.385 * [taylor]: Taking taylor expansion of y in y 8.385 * [taylor]: Taking taylor expansion of (* 0.005 (* x y)) in y 8.385 * [taylor]: Taking taylor expansion of 0.005 in y 8.385 * [taylor]: Taking taylor expansion of (* x y) in y 8.385 * [taylor]: Taking taylor expansion of x in y 8.385 * [taylor]: Taking taylor expansion of y in y 8.387 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))))) in x 8.387 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y)))) in x 8.387 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.387 * [taylor]: Taking taylor expansion of x in x 8.387 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))) in x 8.387 * [taylor]: Taking taylor expansion of (* 2.5e-05 (pow y 2)) in x 8.387 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.387 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.387 * [taylor]: Taking taylor expansion of y in x 8.387 * [taylor]: Taking taylor expansion of (* 0.005 (* x y)) in x 8.387 * [taylor]: Taking taylor expansion of 0.005 in x 8.387 * [taylor]: Taking taylor expansion of (* x y) in x 8.387 * [taylor]: Taking taylor expansion of x in x 8.387 * [taylor]: Taking taylor expansion of y in x 8.390 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))))) in x 8.390 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y)))) in x 8.390 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.390 * [taylor]: Taking taylor expansion of x in x 8.390 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))) in x 8.390 * [taylor]: Taking taylor expansion of (* 2.5e-05 (pow y 2)) in x 8.390 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.390 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.390 * [taylor]: Taking taylor expansion of y in x 8.390 * [taylor]: Taking taylor expansion of (* 0.005 (* x y)) in x 8.390 * [taylor]: Taking taylor expansion of 0.005 in x 8.390 * [taylor]: Taking taylor expansion of (* x y) in x 8.390 * [taylor]: Taking taylor expansion of x in x 8.390 * [taylor]: Taking taylor expansion of y in x 8.393 * [taylor]: Taking taylor expansion of (* y (sqrt 2.5e-05)) in y 8.393 * [taylor]: Taking taylor expansion of y in y 8.393 * [taylor]: Taking taylor expansion of (sqrt 2.5e-05) in y 8.393 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.394 * [taylor]: Taking taylor expansion of (/ 0.0025 (sqrt 2.5e-05)) in y 8.395 * [taylor]: Taking taylor expansion of 0.0025 in y 8.395 * [taylor]: Taking taylor expansion of (sqrt 2.5e-05) in y 8.395 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.404 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- 1 (* 6.25e-06 (/ 1 (pow (sqrt 2.5e-05) 2)))) (* (sqrt 2.5e-05) y))) in y 8.404 * [taylor]: Taking taylor expansion of 1/2 in y 8.404 * [taylor]: Taking taylor expansion of (/ (- 1 (* 6.25e-06 (/ 1 (pow (sqrt 2.5e-05) 2)))) (* (sqrt 2.5e-05) y)) in y 8.404 * [taylor]: Taking taylor expansion of (- 1 (* 6.25e-06 (/ 1 (pow (sqrt 2.5e-05) 2)))) in y 8.404 * [taylor]: Taking taylor expansion of 1 in y 8.404 * [taylor]: Taking taylor expansion of (* 6.25e-06 (/ 1 (pow (sqrt 2.5e-05) 2))) in y 8.404 * [taylor]: Taking taylor expansion of 6.25e-06 in y 8.404 * [taylor]: Taking taylor expansion of (/ 1 (pow (sqrt 2.5e-05) 2)) in y 8.404 * [taylor]: Taking taylor expansion of (pow (sqrt 2.5e-05) 2) in y 8.404 * [taylor]: Taking taylor expansion of (sqrt 2.5e-05) in y 8.404 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.407 * [taylor]: Taking taylor expansion of (* (sqrt 2.5e-05) y) in y 8.407 * [taylor]: Taking taylor expansion of (sqrt 2.5e-05) in y 8.407 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.408 * [taylor]: Taking taylor expansion of y in y 8.443 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (* 1.5625000000000003e-08 (/ 1 (* (pow (sqrt 2.5e-05) 4) y))) (* 0.0025 (/ 1 (* (pow (sqrt 2.5e-05) 2) y)))) (* (sqrt 2.5e-05) y))) in y 8.443 * [taylor]: Taking taylor expansion of 1/2 in y 8.443 * [taylor]: Taking taylor expansion of (/ (- (* 1.5625000000000003e-08 (/ 1 (* (pow (sqrt 2.5e-05) 4) y))) (* 0.0025 (/ 1 (* (pow (sqrt 2.5e-05) 2) y)))) (* (sqrt 2.5e-05) y)) in y 8.443 * [taylor]: Taking taylor expansion of (- (* 1.5625000000000003e-08 (/ 1 (* (pow (sqrt 2.5e-05) 4) y))) (* 0.0025 (/ 1 (* (pow (sqrt 2.5e-05) 2) y)))) in y 8.443 * [taylor]: Taking taylor expansion of (* 1.5625000000000003e-08 (/ 1 (* (pow (sqrt 2.5e-05) 4) y))) in y 8.443 * [taylor]: Taking taylor expansion of 1.5625000000000003e-08 in y 8.443 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 2.5e-05) 4) y)) in y 8.443 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.5e-05) 4) y) in y 8.443 * [taylor]: Taking taylor expansion of (pow (sqrt 2.5e-05) 4) in y 8.444 * [taylor]: Taking taylor expansion of (sqrt 2.5e-05) in y 8.444 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.444 * [taylor]: Taking taylor expansion of y in y 8.452 * [taylor]: Taking taylor expansion of (* 0.0025 (/ 1 (* (pow (sqrt 2.5e-05) 2) y))) in y 8.452 * [taylor]: Taking taylor expansion of 0.0025 in y 8.452 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 2.5e-05) 2) y)) in y 8.452 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.5e-05) 2) y) in y 8.452 * [taylor]: Taking taylor expansion of (pow (sqrt 2.5e-05) 2) in y 8.452 * [taylor]: Taking taylor expansion of (sqrt 2.5e-05) in y 8.452 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.453 * [taylor]: Taking taylor expansion of y in y 8.458 * [taylor]: Taking taylor expansion of (* (sqrt 2.5e-05) y) in y 8.458 * [taylor]: Taking taylor expansion of (sqrt 2.5e-05) in y 8.458 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.459 * [taylor]: Taking taylor expansion of y in y 8.524 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))))) in (x y) around 0 8.525 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))))) in y 8.525 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in y 8.525 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.525 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.525 * [taylor]: Taking taylor expansion of x in y 8.525 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in y 8.525 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in y 8.525 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.525 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.525 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.525 * [taylor]: Taking taylor expansion of y in y 8.526 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in y 8.526 * [taylor]: Taking taylor expansion of 0.005 in y 8.526 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 8.526 * [taylor]: Taking taylor expansion of (* x y) in y 8.526 * [taylor]: Taking taylor expansion of x in y 8.526 * [taylor]: Taking taylor expansion of y in y 8.530 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))))) in x 8.530 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in x 8.530 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.530 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.530 * [taylor]: Taking taylor expansion of x in x 8.531 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in x 8.531 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in x 8.531 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.531 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.531 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.531 * [taylor]: Taking taylor expansion of y in x 8.531 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in x 8.531 * [taylor]: Taking taylor expansion of 0.005 in x 8.531 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.531 * [taylor]: Taking taylor expansion of (* x y) in x 8.531 * [taylor]: Taking taylor expansion of x in x 8.531 * [taylor]: Taking taylor expansion of y in x 8.534 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))))) in x 8.534 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in x 8.534 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.534 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.534 * [taylor]: Taking taylor expansion of x in x 8.535 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in x 8.535 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in x 8.535 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.535 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.535 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.535 * [taylor]: Taking taylor expansion of y in x 8.535 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in x 8.535 * [taylor]: Taking taylor expansion of 0.005 in x 8.535 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.535 * [taylor]: Taking taylor expansion of (* x y) in x 8.535 * [taylor]: Taking taylor expansion of x in x 8.535 * [taylor]: Taking taylor expansion of y in x 8.537 * [taylor]: Taking taylor expansion of 1 in y 8.538 * [taylor]: Taking taylor expansion of (/ 0.0025 y) in y 8.538 * [taylor]: Taking taylor expansion of 0.0025 in y 8.538 * [taylor]: Taking taylor expansion of y in y 8.541 * [taylor]: Taking taylor expansion of (/ 9.375000000000001e-06 (pow y 2)) in y 8.541 * [taylor]: Taking taylor expansion of 9.375000000000001e-06 in y 8.542 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.542 * [taylor]: Taking taylor expansion of y in y 8.549 * [taylor]: Taking taylor expansion of (/ -2.3437500000000004e-08 (pow y 3)) in y 8.549 * [taylor]: Taking taylor expansion of -2.3437500000000004e-08 in y 8.549 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.549 * [taylor]: Taking taylor expansion of y in y 8.555 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))))) in (x y) around 0 8.555 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))))) in y 8.555 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in y 8.555 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.555 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.555 * [taylor]: Taking taylor expansion of x in y 8.555 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in y 8.555 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in y 8.555 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.555 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.555 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.555 * [taylor]: Taking taylor expansion of y in y 8.556 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in y 8.556 * [taylor]: Taking taylor expansion of 0.005 in y 8.556 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 8.556 * [taylor]: Taking taylor expansion of (* x y) in y 8.556 * [taylor]: Taking taylor expansion of x in y 8.556 * [taylor]: Taking taylor expansion of y in y 8.560 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))))) in x 8.560 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in x 8.560 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.560 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.560 * [taylor]: Taking taylor expansion of x in x 8.561 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in x 8.561 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in x 8.561 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.561 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.561 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.561 * [taylor]: Taking taylor expansion of y in x 8.561 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in x 8.561 * [taylor]: Taking taylor expansion of 0.005 in x 8.561 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.561 * [taylor]: Taking taylor expansion of (* x y) in x 8.561 * [taylor]: Taking taylor expansion of x in x 8.561 * [taylor]: Taking taylor expansion of y in x 8.564 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))))) in x 8.564 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in x 8.564 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.564 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.564 * [taylor]: Taking taylor expansion of x in x 8.565 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in x 8.565 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in x 8.565 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.565 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.565 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.565 * [taylor]: Taking taylor expansion of y in x 8.565 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in x 8.565 * [taylor]: Taking taylor expansion of 0.005 in x 8.565 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.565 * [taylor]: Taking taylor expansion of (* x y) in x 8.565 * [taylor]: Taking taylor expansion of x in x 8.565 * [taylor]: Taking taylor expansion of y in x 8.567 * [taylor]: Taking taylor expansion of 1 in y 8.568 * [taylor]: Taking taylor expansion of (/ 0.0025 y) in y 8.568 * [taylor]: Taking taylor expansion of 0.0025 in y 8.568 * [taylor]: Taking taylor expansion of y in y 8.571 * [taylor]: Taking taylor expansion of (/ 9.375000000000001e-06 (pow y 2)) in y 8.571 * [taylor]: Taking taylor expansion of 9.375000000000001e-06 in y 8.571 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.571 * [taylor]: Taking taylor expansion of y in y 8.578 * [taylor]: Taking taylor expansion of (/ -2.3437500000000004e-08 (pow y 3)) in y 8.578 * [taylor]: Taking taylor expansion of -2.3437500000000004e-08 in y 8.578 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.578 * [taylor]: Taking taylor expansion of y in y 8.584 * * * * [progress]: [ 2 / 4 ] generating series at (2) 8.585 * [approximate]: Taking taylor expansion of (sqrt (/ (* (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) (- x (* 0.005 y))) (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y)))))) in (x y) around 0 8.585 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) (- x (* 0.005 y))) (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y)))))) in y 8.585 * [taylor]: Taking taylor expansion of (/ (* (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) (- x (* 0.005 y))) (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))))) in y 8.585 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) (- x (* 0.005 y))) in y 8.585 * [taylor]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in y 8.585 * [taylor]: Taking taylor expansion of (pow x 3) in y 8.585 * [taylor]: Taking taylor expansion of x in y 8.585 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in y 8.585 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.585 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.585 * [taylor]: Taking taylor expansion of y in y 8.585 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in y 8.585 * [taylor]: Taking taylor expansion of x in y 8.585 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 8.585 * [taylor]: Taking taylor expansion of 0.005 in y 8.585 * [taylor]: Taking taylor expansion of y in y 8.585 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y)))) in y 8.585 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.585 * [taylor]: Taking taylor expansion of x in y 8.585 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))) in y 8.585 * [taylor]: Taking taylor expansion of (* 2.5e-05 (pow y 2)) in y 8.585 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.585 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.585 * [taylor]: Taking taylor expansion of y in y 8.585 * [taylor]: Taking taylor expansion of (* 0.005 (* x y)) in y 8.585 * [taylor]: Taking taylor expansion of 0.005 in y 8.585 * [taylor]: Taking taylor expansion of (* x y) in y 8.585 * [taylor]: Taking taylor expansion of x in y 8.585 * [taylor]: Taking taylor expansion of y in y 8.591 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) (- x (* 0.005 y))) (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y)))))) in x 8.592 * [taylor]: Taking taylor expansion of (/ (* (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) (- x (* 0.005 y))) (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))))) in x 8.592 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) (- x (* 0.005 y))) in x 8.592 * [taylor]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in x 8.592 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.592 * [taylor]: Taking taylor expansion of x in x 8.592 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in x 8.592 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.592 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.592 * [taylor]: Taking taylor expansion of y in x 8.592 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 8.592 * [taylor]: Taking taylor expansion of x in x 8.592 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 8.592 * [taylor]: Taking taylor expansion of 0.005 in x 8.592 * [taylor]: Taking taylor expansion of y in x 8.592 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y)))) in x 8.592 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.592 * [taylor]: Taking taylor expansion of x in x 8.592 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))) in x 8.592 * [taylor]: Taking taylor expansion of (* 2.5e-05 (pow y 2)) in x 8.592 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.592 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.592 * [taylor]: Taking taylor expansion of y in x 8.592 * [taylor]: Taking taylor expansion of (* 0.005 (* x y)) in x 8.592 * [taylor]: Taking taylor expansion of 0.005 in x 8.592 * [taylor]: Taking taylor expansion of (* x y) in x 8.592 * [taylor]: Taking taylor expansion of x in x 8.592 * [taylor]: Taking taylor expansion of y in x 8.598 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) (- x (* 0.005 y))) (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y)))))) in x 8.598 * [taylor]: Taking taylor expansion of (/ (* (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) (- x (* 0.005 y))) (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))))) in x 8.598 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) (- x (* 0.005 y))) in x 8.598 * [taylor]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in x 8.598 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.598 * [taylor]: Taking taylor expansion of x in x 8.598 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in x 8.598 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.598 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.598 * [taylor]: Taking taylor expansion of y in x 8.598 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 8.598 * [taylor]: Taking taylor expansion of x in x 8.598 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 8.598 * [taylor]: Taking taylor expansion of 0.005 in x 8.598 * [taylor]: Taking taylor expansion of y in x 8.598 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y)))) in x 8.598 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.598 * [taylor]: Taking taylor expansion of x in x 8.598 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))) in x 8.598 * [taylor]: Taking taylor expansion of (* 2.5e-05 (pow y 2)) in x 8.598 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.599 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.599 * [taylor]: Taking taylor expansion of y in x 8.599 * [taylor]: Taking taylor expansion of (* 0.005 (* x y)) in x 8.599 * [taylor]: Taking taylor expansion of 0.005 in x 8.599 * [taylor]: Taking taylor expansion of (* x y) in x 8.599 * [taylor]: Taking taylor expansion of x in x 8.599 * [taylor]: Taking taylor expansion of y in x 8.604 * [taylor]: Taking taylor expansion of (* (sqrt 2.5000000000000005e-05) y) in y 8.604 * [taylor]: Taking taylor expansion of (sqrt 2.5000000000000005e-05) in y 8.604 * [taylor]: Taking taylor expansion of 2.5000000000000005e-05 in y 8.605 * [taylor]: Taking taylor expansion of y in y 8.606 * [taylor]: Taking taylor expansion of (/ -0.005000000000000001 (sqrt 2.5000000000000005e-05)) in y 8.606 * [taylor]: Taking taylor expansion of -0.005000000000000001 in y 8.606 * [taylor]: Taking taylor expansion of (sqrt 2.5000000000000005e-05) in y 8.606 * [taylor]: Taking taylor expansion of 2.5000000000000005e-05 in y 8.619 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- 1.0000000000000002 (* 2.500000000000001e-05 (/ 1 (pow (sqrt 2.5000000000000005e-05) 2)))) (* y (sqrt 2.5000000000000005e-05)))) in y 8.619 * [taylor]: Taking taylor expansion of 1/2 in y 8.619 * [taylor]: Taking taylor expansion of (/ (- 1.0000000000000002 (* 2.500000000000001e-05 (/ 1 (pow (sqrt 2.5000000000000005e-05) 2)))) (* y (sqrt 2.5000000000000005e-05))) in y 8.619 * [taylor]: Taking taylor expansion of (- 1.0000000000000002 (* 2.500000000000001e-05 (/ 1 (pow (sqrt 2.5000000000000005e-05) 2)))) in y 8.619 * [taylor]: Taking taylor expansion of 1.0000000000000002 in y 8.619 * [taylor]: Taking taylor expansion of (* 2.500000000000001e-05 (/ 1 (pow (sqrt 2.5000000000000005e-05) 2))) in y 8.619 * [taylor]: Taking taylor expansion of 2.500000000000001e-05 in y 8.619 * [taylor]: Taking taylor expansion of (/ 1 (pow (sqrt 2.5000000000000005e-05) 2)) in y 8.619 * [taylor]: Taking taylor expansion of (pow (sqrt 2.5000000000000005e-05) 2) in y 8.619 * [taylor]: Taking taylor expansion of (sqrt 2.5000000000000005e-05) in y 8.619 * [taylor]: Taking taylor expansion of 2.5000000000000005e-05 in y 8.622 * [taylor]: Taking taylor expansion of (* y (sqrt 2.5000000000000005e-05)) in y 8.623 * [taylor]: Taking taylor expansion of y in y 8.623 * [taylor]: Taking taylor expansion of (sqrt 2.5000000000000005e-05) in y 8.623 * [taylor]: Taking taylor expansion of 2.5000000000000005e-05 in y 8.665 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (* 0.005000000000000002 (/ 1 (* (pow (sqrt 2.5000000000000005e-05) 2) y))) (* 1.2500000000000007e-07 (/ 1 (* (pow (sqrt 2.5000000000000005e-05) 4) y)))) (* (sqrt 2.5000000000000005e-05) y))) in y 8.665 * [taylor]: Taking taylor expansion of 1/2 in y 8.665 * [taylor]: Taking taylor expansion of (/ (- (* 0.005000000000000002 (/ 1 (* (pow (sqrt 2.5000000000000005e-05) 2) y))) (* 1.2500000000000007e-07 (/ 1 (* (pow (sqrt 2.5000000000000005e-05) 4) y)))) (* (sqrt 2.5000000000000005e-05) y)) in y 8.666 * [taylor]: Taking taylor expansion of (- (* 0.005000000000000002 (/ 1 (* (pow (sqrt 2.5000000000000005e-05) 2) y))) (* 1.2500000000000007e-07 (/ 1 (* (pow (sqrt 2.5000000000000005e-05) 4) y)))) in y 8.666 * [taylor]: Taking taylor expansion of (* 0.005000000000000002 (/ 1 (* (pow (sqrt 2.5000000000000005e-05) 2) y))) in y 8.666 * [taylor]: Taking taylor expansion of 0.005000000000000002 in y 8.666 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 2.5000000000000005e-05) 2) y)) in y 8.666 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.5000000000000005e-05) 2) y) in y 8.666 * [taylor]: Taking taylor expansion of (pow (sqrt 2.5000000000000005e-05) 2) in y 8.666 * [taylor]: Taking taylor expansion of (sqrt 2.5000000000000005e-05) in y 8.666 * [taylor]: Taking taylor expansion of 2.5000000000000005e-05 in y 8.666 * [taylor]: Taking taylor expansion of y in y 8.672 * [taylor]: Taking taylor expansion of (* 1.2500000000000007e-07 (/ 1 (* (pow (sqrt 2.5000000000000005e-05) 4) y))) in y 8.672 * [taylor]: Taking taylor expansion of 1.2500000000000007e-07 in y 8.672 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 2.5000000000000005e-05) 4) y)) in y 8.672 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.5000000000000005e-05) 4) y) in y 8.672 * [taylor]: Taking taylor expansion of (pow (sqrt 2.5000000000000005e-05) 4) in y 8.672 * [taylor]: Taking taylor expansion of (sqrt 2.5000000000000005e-05) in y 8.672 * [taylor]: Taking taylor expansion of 2.5000000000000005e-05 in y 8.673 * [taylor]: Taking taylor expansion of y in y 8.680 * [taylor]: Taking taylor expansion of (* (sqrt 2.5000000000000005e-05) y) in y 8.680 * [taylor]: Taking taylor expansion of (sqrt 2.5000000000000005e-05) in y 8.680 * [taylor]: Taking taylor expansion of 2.5000000000000005e-05 in y 8.681 * [taylor]: Taking taylor expansion of y in y 8.746 * [approximate]: Taking taylor expansion of (sqrt (/ (* (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) (- (/ 1 x) (* 0.005 (/ 1 y)))) (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))))) in (x y) around 0 8.746 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) (- (/ 1 x) (* 0.005 (/ 1 y)))) (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))))) in y 8.746 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) (- (/ 1 x) (* 0.005 (/ 1 y)))) (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))))) in y 8.746 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) (- (/ 1 x) (* 0.005 (/ 1 y)))) in y 8.746 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in y 8.746 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 8.746 * [taylor]: Taking taylor expansion of (pow x 3) in y 8.746 * [taylor]: Taking taylor expansion of x in y 8.747 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 8.747 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.747 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.747 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.747 * [taylor]: Taking taylor expansion of y in y 8.748 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in y 8.748 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.748 * [taylor]: Taking taylor expansion of x in y 8.748 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 8.748 * [taylor]: Taking taylor expansion of 0.005 in y 8.748 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.748 * [taylor]: Taking taylor expansion of y in y 8.748 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in y 8.748 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.748 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.748 * [taylor]: Taking taylor expansion of x in y 8.749 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in y 8.749 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in y 8.749 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.749 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.749 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.749 * [taylor]: Taking taylor expansion of y in y 8.749 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in y 8.749 * [taylor]: Taking taylor expansion of 0.005 in y 8.749 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 8.749 * [taylor]: Taking taylor expansion of (* x y) in y 8.749 * [taylor]: Taking taylor expansion of x in y 8.749 * [taylor]: Taking taylor expansion of y in y 8.760 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) (- (/ 1 x) (* 0.005 (/ 1 y)))) (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))))) in x 8.761 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) (- (/ 1 x) (* 0.005 (/ 1 y)))) (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))))) in x 8.761 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) (- (/ 1 x) (* 0.005 (/ 1 y)))) in x 8.761 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in x 8.761 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 8.761 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.761 * [taylor]: Taking taylor expansion of x in x 8.762 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 8.762 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.762 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 8.762 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.762 * [taylor]: Taking taylor expansion of y in x 8.762 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 8.762 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.762 * [taylor]: Taking taylor expansion of x in x 8.762 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 8.762 * [taylor]: Taking taylor expansion of 0.005 in x 8.762 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.762 * [taylor]: Taking taylor expansion of y in x 8.763 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in x 8.763 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.763 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.763 * [taylor]: Taking taylor expansion of x in x 8.763 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in x 8.763 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in x 8.763 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.763 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.763 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.763 * [taylor]: Taking taylor expansion of y in x 8.764 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in x 8.764 * [taylor]: Taking taylor expansion of 0.005 in x 8.764 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.764 * [taylor]: Taking taylor expansion of (* x y) in x 8.764 * [taylor]: Taking taylor expansion of x in x 8.764 * [taylor]: Taking taylor expansion of y in x 8.770 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) (- (/ 1 x) (* 0.005 (/ 1 y)))) (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))))) in x 8.770 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) (- (/ 1 x) (* 0.005 (/ 1 y)))) (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))))) in x 8.770 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) (- (/ 1 x) (* 0.005 (/ 1 y)))) in x 8.770 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in x 8.770 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 8.770 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.770 * [taylor]: Taking taylor expansion of x in x 8.771 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 8.771 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.771 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 8.771 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.771 * [taylor]: Taking taylor expansion of y in x 8.771 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 8.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.771 * [taylor]: Taking taylor expansion of x in x 8.772 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 8.772 * [taylor]: Taking taylor expansion of 0.005 in x 8.772 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.772 * [taylor]: Taking taylor expansion of y in x 8.772 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in x 8.772 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.772 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.772 * [taylor]: Taking taylor expansion of x in x 8.772 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in x 8.772 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in x 8.772 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.772 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.772 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.773 * [taylor]: Taking taylor expansion of y in x 8.773 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in x 8.773 * [taylor]: Taking taylor expansion of 0.005 in x 8.773 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.773 * [taylor]: Taking taylor expansion of (* x y) in x 8.773 * [taylor]: Taking taylor expansion of x in x 8.773 * [taylor]: Taking taylor expansion of y in x 8.779 * [taylor]: Taking taylor expansion of 1 in y 8.779 * [taylor]: Taking taylor expansion of (/ -0.005 y) in y 8.779 * [taylor]: Taking taylor expansion of -0.005 in y 8.779 * [taylor]: Taking taylor expansion of y in y 8.787 * [taylor]: Taking taylor expansion of 0 in y 8.799 * [taylor]: Taking taylor expansion of 0 in y 8.815 * [taylor]: Taking taylor expansion of (/ 5.169878828456423e-26 (pow y 4)) in y 8.815 * [taylor]: Taking taylor expansion of 5.169878828456423e-26 in y 8.815 * [taylor]: Taking taylor expansion of (pow y 4) in y 8.815 * [taylor]: Taking taylor expansion of y in y 8.821 * [approximate]: Taking taylor expansion of (sqrt (/ (* (- (* 0.005 (/ 1 y)) (/ 1 x)) (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3)))) (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))))) in (x y) around 0 8.822 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- (* 0.005 (/ 1 y)) (/ 1 x)) (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3)))) (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))))) in y 8.822 * [taylor]: Taking taylor expansion of (/ (* (- (* 0.005 (/ 1 y)) (/ 1 x)) (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3)))) (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))))) in y 8.822 * [taylor]: Taking taylor expansion of (* (- (* 0.005 (/ 1 y)) (/ 1 x)) (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3)))) in y 8.822 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in y 8.822 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 8.822 * [taylor]: Taking taylor expansion of 0.005 in y 8.822 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.822 * [taylor]: Taking taylor expansion of y in y 8.822 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.822 * [taylor]: Taking taylor expansion of x in y 8.822 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in y 8.822 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 8.822 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.822 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.822 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.822 * [taylor]: Taking taylor expansion of y in y 8.823 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 8.823 * [taylor]: Taking taylor expansion of (pow x 3) in y 8.823 * [taylor]: Taking taylor expansion of x in y 8.824 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in y 8.824 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.824 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.824 * [taylor]: Taking taylor expansion of x in y 8.824 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in y 8.824 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in y 8.824 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.824 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.824 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.824 * [taylor]: Taking taylor expansion of y in y 8.825 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in y 8.825 * [taylor]: Taking taylor expansion of 0.005 in y 8.825 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 8.825 * [taylor]: Taking taylor expansion of (* x y) in y 8.825 * [taylor]: Taking taylor expansion of x in y 8.825 * [taylor]: Taking taylor expansion of y in y 8.840 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- (* 0.005 (/ 1 y)) (/ 1 x)) (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3)))) (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))))) in x 8.840 * [taylor]: Taking taylor expansion of (/ (* (- (* 0.005 (/ 1 y)) (/ 1 x)) (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3)))) (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))))) in x 8.841 * [taylor]: Taking taylor expansion of (* (- (* 0.005 (/ 1 y)) (/ 1 x)) (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3)))) in x 8.841 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 8.841 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 8.841 * [taylor]: Taking taylor expansion of 0.005 in x 8.841 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.841 * [taylor]: Taking taylor expansion of y in x 8.841 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.841 * [taylor]: Taking taylor expansion of x in x 8.841 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in x 8.841 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 8.841 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.841 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 8.841 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.841 * [taylor]: Taking taylor expansion of y in x 8.842 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 8.842 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.842 * [taylor]: Taking taylor expansion of x in x 8.842 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in x 8.842 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.843 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.843 * [taylor]: Taking taylor expansion of x in x 8.843 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in x 8.843 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in x 8.843 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.843 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.843 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.843 * [taylor]: Taking taylor expansion of y in x 8.843 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in x 8.843 * [taylor]: Taking taylor expansion of 0.005 in x 8.843 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.843 * [taylor]: Taking taylor expansion of (* x y) in x 8.844 * [taylor]: Taking taylor expansion of x in x 8.844 * [taylor]: Taking taylor expansion of y in x 8.851 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- (* 0.005 (/ 1 y)) (/ 1 x)) (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3)))) (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))))) in x 8.851 * [taylor]: Taking taylor expansion of (/ (* (- (* 0.005 (/ 1 y)) (/ 1 x)) (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3)))) (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))))) in x 8.851 * [taylor]: Taking taylor expansion of (* (- (* 0.005 (/ 1 y)) (/ 1 x)) (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3)))) in x 8.851 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 8.851 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 8.851 * [taylor]: Taking taylor expansion of 0.005 in x 8.851 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.851 * [taylor]: Taking taylor expansion of y in x 8.852 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.852 * [taylor]: Taking taylor expansion of x in x 8.852 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in x 8.852 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 8.852 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.852 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 8.852 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.852 * [taylor]: Taking taylor expansion of y in x 8.853 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 8.853 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.853 * [taylor]: Taking taylor expansion of x in x 8.853 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in x 8.854 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.854 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.854 * [taylor]: Taking taylor expansion of x in x 8.855 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in x 8.855 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in x 8.855 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.855 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.855 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.855 * [taylor]: Taking taylor expansion of y in x 8.855 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in x 8.855 * [taylor]: Taking taylor expansion of 0.005 in x 8.855 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.855 * [taylor]: Taking taylor expansion of (* x y) in x 8.855 * [taylor]: Taking taylor expansion of x in x 8.855 * [taylor]: Taking taylor expansion of y in x 8.862 * [taylor]: Taking taylor expansion of 1 in y 8.862 * [taylor]: Taking taylor expansion of (/ -0.005 y) in y 8.862 * [taylor]: Taking taylor expansion of -0.005 in y 8.862 * [taylor]: Taking taylor expansion of y in y 8.871 * [taylor]: Taking taylor expansion of 0 in y 8.882 * [taylor]: Taking taylor expansion of 0 in y 8.897 * [taylor]: Taking taylor expansion of (/ 5.169878828456423e-26 (pow y 4)) in y 8.897 * [taylor]: Taking taylor expansion of 5.169878828456423e-26 in y 8.897 * [taylor]: Taking taylor expansion of (pow y 4) in y 8.897 * [taylor]: Taking taylor expansion of y in y 8.903 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 8.903 * [approximate]: Taking taylor expansion of (sqrt (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3)))) in (x y) around 0 8.903 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3)))) in y 8.903 * [taylor]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in y 8.903 * [taylor]: Taking taylor expansion of (pow x 3) in y 8.903 * [taylor]: Taking taylor expansion of x in y 8.903 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in y 8.903 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.903 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.903 * [taylor]: Taking taylor expansion of y in y 8.905 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3)))) in x 8.905 * [taylor]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in x 8.905 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.905 * [taylor]: Taking taylor expansion of x in x 8.905 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in x 8.905 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.905 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.905 * [taylor]: Taking taylor expansion of y in x 8.907 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3)))) in x 8.907 * [taylor]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in x 8.907 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.907 * [taylor]: Taking taylor expansion of x in x 8.907 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in x 8.907 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.907 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.907 * [taylor]: Taking taylor expansion of y in x 8.909 * [taylor]: Taking taylor expansion of (sqrt (- (* 1.2500000000000002e-07 (pow y 3)))) in y 8.909 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (pow y 3))) in y 8.909 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in y 8.909 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.909 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.909 * [taylor]: Taking taylor expansion of y in y 8.913 * [taylor]: Taking taylor expansion of 0 in y 8.915 * [taylor]: Taking taylor expansion of 0 in y 8.919 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (* 1.2500000000000002e-07 (pow y 3))))) in y 8.919 * [taylor]: Taking taylor expansion of 1/2 in y 8.919 * [taylor]: Taking taylor expansion of (sqrt (- (* 1.2500000000000002e-07 (pow y 3)))) in y 8.920 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (pow y 3))) in y 8.920 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in y 8.920 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.920 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.920 * [taylor]: Taking taylor expansion of y in y 8.947 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3))))) in (x y) around 0 8.947 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3))))) in y 8.947 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in y 8.947 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 8.947 * [taylor]: Taking taylor expansion of (pow x 3) in y 8.947 * [taylor]: Taking taylor expansion of x in y 8.947 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 8.947 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.947 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.947 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.947 * [taylor]: Taking taylor expansion of y in y 8.951 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3))))) in x 8.951 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in x 8.951 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 8.951 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.951 * [taylor]: Taking taylor expansion of x in x 8.952 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 8.952 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.952 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 8.952 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.952 * [taylor]: Taking taylor expansion of y in x 8.954 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3))))) in x 8.954 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in x 8.955 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 8.955 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.955 * [taylor]: Taking taylor expansion of x in x 8.955 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 8.956 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.956 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 8.956 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.956 * [taylor]: Taking taylor expansion of y in x 8.958 * [taylor]: Taking taylor expansion of 0 in y 8.958 * [taylor]: Taking taylor expansion of +nan.0 in y 8.962 * [taylor]: Taking taylor expansion of +nan.0 in y 8.966 * [taylor]: Taking taylor expansion of +nan.0 in y 8.971 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (- +nan.0))) in y 8.971 * [taylor]: Taking taylor expansion of +nan.0 in y 8.971 * [taylor]: Taking taylor expansion of (+ (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (- +nan.0)) in y 8.971 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 8.971 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.971 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.971 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.971 * [taylor]: Taking taylor expansion of y in y 8.972 * [taylor]: Taking taylor expansion of (- +nan.0) in y 8.972 * [taylor]: Taking taylor expansion of +nan.0 in y 8.980 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 3))) (- +nan.0))) in y 8.980 * [taylor]: Taking taylor expansion of +nan.0 in y 8.980 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 3))) (- +nan.0)) in y 8.980 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in y 8.980 * [taylor]: Taking taylor expansion of +nan.0 in y 8.980 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.980 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.980 * [taylor]: Taking taylor expansion of y in y 8.981 * [taylor]: Taking taylor expansion of (- +nan.0) in y 8.981 * [taylor]: Taking taylor expansion of +nan.0 in y 8.988 * [approximate]: Taking taylor expansion of (sqrt (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3)))) in (x y) around 0 8.988 * [taylor]: Taking taylor expansion of (sqrt (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3)))) in y 8.988 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in y 8.988 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 8.988 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.988 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.988 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.988 * [taylor]: Taking taylor expansion of y in y 8.989 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 8.989 * [taylor]: Taking taylor expansion of (pow x 3) in y 8.989 * [taylor]: Taking taylor expansion of x in y 8.991 * [taylor]: Taking taylor expansion of (sqrt (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3)))) in x 8.991 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in x 8.991 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 8.991 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.991 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 8.991 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.991 * [taylor]: Taking taylor expansion of y in x 8.992 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 8.992 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.992 * [taylor]: Taking taylor expansion of x in x 8.994 * [taylor]: Taking taylor expansion of (sqrt (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3)))) in x 8.994 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in x 8.994 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 8.994 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.994 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 8.994 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.994 * [taylor]: Taking taylor expansion of y in x 8.995 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 8.995 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.995 * [taylor]: Taking taylor expansion of x in x 8.997 * [taylor]: Taking taylor expansion of 0 in y 8.998 * [taylor]: Taking taylor expansion of +nan.0 in y 9.001 * [taylor]: Taking taylor expansion of +nan.0 in y 9.006 * [taylor]: Taking taylor expansion of +nan.0 in y 9.011 * [taylor]: Taking taylor expansion of (* +nan.0 (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) +nan.0)) in y 9.011 * [taylor]: Taking taylor expansion of +nan.0 in y 9.011 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) +nan.0) in y 9.011 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 9.011 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 9.011 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 9.011 * [taylor]: Taking taylor expansion of (pow y 3) in y 9.011 * [taylor]: Taking taylor expansion of y in y 9.012 * [taylor]: Taking taylor expansion of +nan.0 in y 9.020 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 3))) (- +nan.0))) in y 9.020 * [taylor]: Taking taylor expansion of +nan.0 in y 9.020 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 3))) (- +nan.0)) in y 9.020 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in y 9.020 * [taylor]: Taking taylor expansion of +nan.0 in y 9.020 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 9.020 * [taylor]: Taking taylor expansion of (pow y 3) in y 9.020 * [taylor]: Taking taylor expansion of y in y 9.021 * [taylor]: Taking taylor expansion of (- +nan.0) in y 9.021 * [taylor]: Taking taylor expansion of +nan.0 in y 9.027 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 9.027 * [approximate]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in (x y) around 0 9.028 * [taylor]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in y 9.028 * [taylor]: Taking taylor expansion of (pow x 3) in y 9.028 * [taylor]: Taking taylor expansion of x in y 9.028 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in y 9.028 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 9.028 * [taylor]: Taking taylor expansion of (pow y 3) in y 9.028 * [taylor]: Taking taylor expansion of y in y 9.028 * [taylor]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in x 9.028 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.028 * [taylor]: Taking taylor expansion of x in x 9.028 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in x 9.028 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 9.028 * [taylor]: Taking taylor expansion of (pow y 3) in x 9.028 * [taylor]: Taking taylor expansion of y in x 9.028 * [taylor]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in x 9.028 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.028 * [taylor]: Taking taylor expansion of x in x 9.028 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in x 9.028 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 9.028 * [taylor]: Taking taylor expansion of (pow y 3) in x 9.028 * [taylor]: Taking taylor expansion of y in x 9.028 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (pow y 3))) in y 9.028 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in y 9.028 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 9.029 * [taylor]: Taking taylor expansion of (pow y 3) in y 9.029 * [taylor]: Taking taylor expansion of y in y 9.030 * [taylor]: Taking taylor expansion of 0 in y 9.032 * [taylor]: Taking taylor expansion of 0 in y 9.035 * [taylor]: Taking taylor expansion of 1 in y 9.047 * [taylor]: Taking taylor expansion of 0 in y 9.054 * [taylor]: Taking taylor expansion of 0 in y 9.055 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in (x y) around 0 9.056 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in y 9.056 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 9.056 * [taylor]: Taking taylor expansion of (pow x 3) in y 9.056 * [taylor]: Taking taylor expansion of x in y 9.056 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 9.056 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 9.056 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 9.056 * [taylor]: Taking taylor expansion of (pow y 3) in y 9.056 * [taylor]: Taking taylor expansion of y in y 9.057 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in x 9.057 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 9.057 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.057 * [taylor]: Taking taylor expansion of x in x 9.058 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 9.058 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 9.058 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 9.058 * [taylor]: Taking taylor expansion of (pow y 3) in x 9.058 * [taylor]: Taking taylor expansion of y in x 9.058 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in x 9.058 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 9.058 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.058 * [taylor]: Taking taylor expansion of x in x 9.059 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 9.059 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 9.059 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 9.059 * [taylor]: Taking taylor expansion of (pow y 3) in x 9.059 * [taylor]: Taking taylor expansion of y in x 9.060 * [taylor]: Taking taylor expansion of 1 in y 9.062 * [taylor]: Taking taylor expansion of 0 in y 9.064 * [taylor]: Taking taylor expansion of 0 in y 9.066 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in y 9.066 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 9.066 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 9.066 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 9.066 * [taylor]: Taking taylor expansion of (pow y 3) in y 9.066 * [taylor]: Taking taylor expansion of y in y 9.072 * [taylor]: Taking taylor expansion of 0 in y 9.079 * [taylor]: Taking taylor expansion of 0 in y 9.083 * [approximate]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in (x y) around 0 9.083 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in y 9.083 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 9.083 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 9.083 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 9.083 * [taylor]: Taking taylor expansion of (pow y 3) in y 9.083 * [taylor]: Taking taylor expansion of y in y 9.084 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 9.084 * [taylor]: Taking taylor expansion of (pow x 3) in y 9.084 * [taylor]: Taking taylor expansion of x in y 9.085 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in x 9.085 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 9.085 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 9.085 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 9.085 * [taylor]: Taking taylor expansion of (pow y 3) in x 9.085 * [taylor]: Taking taylor expansion of y in x 9.085 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 9.085 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.085 * [taylor]: Taking taylor expansion of x in x 9.086 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in x 9.086 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 9.086 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 9.086 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 9.086 * [taylor]: Taking taylor expansion of (pow y 3) in x 9.086 * [taylor]: Taking taylor expansion of y in x 9.086 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 9.086 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.086 * [taylor]: Taking taylor expansion of x in x 9.088 * [taylor]: Taking taylor expansion of -1 in y 9.090 * [taylor]: Taking taylor expansion of 0 in y 9.092 * [taylor]: Taking taylor expansion of 0 in y 9.095 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 9.095 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 9.095 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 9.095 * [taylor]: Taking taylor expansion of (pow y 3) in y 9.095 * [taylor]: Taking taylor expansion of y in y 9.100 * [taylor]: Taking taylor expansion of 0 in y 9.106 * [taylor]: Taking taylor expansion of 0 in y 9.109 * * * [progress]: simplifying candidates 9.112 * [simplify]: Simplifying using # : (log (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (exp (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (* (cbrt (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (cbrt (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (cbrt (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (* (* (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (sqrt (* (cbrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (cbrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (sqrt (cbrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (sqrt (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (sqrt (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (sqrt 1) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (sqrt (+ (pow (* x x) 3) (pow (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))) 3))) (sqrt (+ (* (* x x) (* x x)) (- (* (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))) (* (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (sqrt (- (* (* x x) (* x x)) (* (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (sqrt (- (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (/ 1 2) (sqrt (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (sqrt (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (- (+ (log (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (log (sqrt (- x (/ y 200.0))))) (log (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (- (log (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0))))) (log (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (log (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (exp (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (/ (* (* (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (* (* (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0)))) (sqrt (- x (/ y 200.0))))) (* (* (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (/ (* (* (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0))))) (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0))))) (* (* (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (* (cbrt (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (cbrt (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))))) (cbrt (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (* (* (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (/ (* (- (pow x 3) (pow (/ y 200.0) 3)) (- x (/ y 200.0))) (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (sqrt (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (sqrt (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (- (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0))))) (- (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (/ (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (* (cbrt (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (cbrt (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))))) (/ (sqrt (- x (/ y 200.0))) (cbrt (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (/ (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (* (cbrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (cbrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))))) (/ (sqrt (- x (/ y 200.0))) (sqrt (cbrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (/ (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (/ (sqrt (- x (/ y 200.0))) (sqrt (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (/ (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt 1)) (/ (sqrt (- x (/ y 200.0))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (/ (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (/ (sqrt (- x (/ y 200.0))) (sqrt (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (/ (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) 1) (/ (sqrt (- x (/ y 200.0))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (/ 1 (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (/ (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0))))) (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (* (cbrt (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (cbrt (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))))) (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (* (cbrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (cbrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))))) (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt 1)) (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) 1) (/ (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (sqrt (- x (/ y 200.0)))) (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (pow (* x x) 3) (pow (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))) 3)))) (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (- (* (* x x) (* x x)) (* (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (* (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (* (sqrt (+ (* (pow x 3) (pow x 3)) (+ (* (pow (/ y 200.0) 3) (pow (/ y 200.0) 3)) (* (pow x 3) (pow (/ y 200.0) 3))))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (* (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (* (sqrt (+ (* (pow x 3) (pow x 3)) (+ (* (pow (/ y 200.0) 3) (pow (/ y 200.0) 3)) (* (pow x 3) (pow (/ y 200.0) 3))))) (sqrt (+ x (/ y 200.0))))) (* (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (* (sqrt (+ (pow x 3) (pow (/ y 200.0) 3))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))))) (* (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (* (sqrt (+ (pow x 3) (pow (/ y 200.0) 3))) (sqrt (+ x (/ y 200.0))))) (* (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))))) (* (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (sqrt (+ x (/ y 200.0)))) (* (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (sqrt (+ (* (pow x 3) (pow x 3)) (+ (* (pow (/ y 200.0) 3) (pow (/ y 200.0) 3)) (* (pow x 3) (pow (/ y 200.0) 3)))))) (* (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (sqrt (+ (pow x 3) (pow (/ y 200.0) 3)))) (log (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (exp (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (* (cbrt (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (cbrt (sqrt (- (pow x 3) (pow (/ y 200.0) 3))))) (cbrt (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (* (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (sqrt (* (cbrt (- (pow x 3) (pow (/ y 200.0) 3))) (cbrt (- (pow x 3) (pow (/ y 200.0) 3))))) (sqrt (cbrt (- (pow x 3) (pow (/ y 200.0) 3)))) (sqrt (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (sqrt (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (sqrt (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0))))) (sqrt (- x (/ y 200.0))) (sqrt 1) (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (+ (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3))) (sqrt (- (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3))) (sqrt (+ (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (- (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (+ (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3))) (sqrt (- (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3))) (sqrt (+ (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (- (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (+ (pow (sqrt x) 3) (sqrt (pow (/ y 200.0) 3)))) (sqrt (- (pow (sqrt x) 3) (sqrt (pow (/ y 200.0) 3)))) (sqrt (+ (pow (sqrt x) 3) (pow (/ y 200.0) (/ 3 2)))) (sqrt (- (pow (sqrt x) 3) (pow (/ y 200.0) (/ 3 2)))) (sqrt (+ (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3))) (sqrt (- (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3))) (sqrt (+ (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (- (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (+ (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3))) (sqrt (- (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3))) (sqrt (+ (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (- (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (+ (pow (sqrt x) 3) (sqrt (pow (/ y 200.0) 3)))) (sqrt (- (pow (sqrt x) 3) (sqrt (pow (/ y 200.0) 3)))) (sqrt (+ (pow (sqrt x) 3) (pow (/ y 200.0) (/ 3 2)))) (sqrt (- (pow (sqrt x) 3) (pow (/ y 200.0) (/ 3 2)))) (sqrt (+ (sqrt (pow x 3)) (pow (sqrt (/ y 200.0)) 3))) (sqrt (- (sqrt (pow x 3)) (pow (sqrt (/ y 200.0)) 3))) (sqrt (+ (sqrt (pow x 3)) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (- (sqrt (pow x 3)) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (+ (sqrt (pow x 3)) (pow (sqrt (/ y 200.0)) 3))) (sqrt (- (sqrt (pow x 3)) (pow (sqrt (/ y 200.0)) 3))) (sqrt (+ (sqrt (pow x 3)) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (- (sqrt (pow x 3)) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (+ (sqrt (pow x 3)) (sqrt (pow (/ y 200.0) 3)))) (sqrt (- (sqrt (pow x 3)) (sqrt (pow (/ y 200.0) 3)))) (sqrt (+ (sqrt (pow x 3)) (pow (/ y 200.0) (/ 3 2)))) (sqrt (- (sqrt (pow x 3)) (pow (/ y 200.0) (/ 3 2)))) (sqrt (+ (pow x (/ 3 2)) (pow (sqrt (/ y 200.0)) 3))) (sqrt (- (pow x (/ 3 2)) (pow (sqrt (/ y 200.0)) 3))) (sqrt (+ (pow x (/ 3 2)) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (- (pow x (/ 3 2)) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (+ (pow x (/ 3 2)) (pow (sqrt (/ y 200.0)) 3))) (sqrt (- (pow x (/ 3 2)) (pow (sqrt (/ y 200.0)) 3))) (sqrt (+ (pow x (/ 3 2)) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (- (pow x (/ 3 2)) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (+ (pow x (/ 3 2)) (sqrt (pow (/ y 200.0) 3)))) (sqrt (- (pow x (/ 3 2)) (sqrt (pow (/ y 200.0) 3)))) (sqrt (+ (pow x (/ 3 2)) (pow (/ y 200.0) (/ 3 2)))) (sqrt (- (pow x (/ 3 2)) (pow (/ y 200.0) (/ 3 2)))) (sqrt (pow 1 3)) (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (pow 1 3)) (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (pow 1 3)) (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (pow 1 3)) (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt 1) (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- (pow (pow x 3) 3) (pow (pow (/ y 200.0) 3) 3))) (sqrt (+ (* (pow x 3) (pow x 3)) (+ (* (pow (/ y 200.0) 3) (pow (/ y 200.0) 3)) (* (pow x 3) (pow (/ y 200.0) 3))))) (sqrt (- (* (pow x 3) (pow x 3)) (* (pow (/ y 200.0) 3) (pow (/ y 200.0) 3)))) (sqrt (+ (pow x 3) (pow (/ y 200.0) 3))) (/ 1 2) (sqrt (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (sqrt (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (/ (exp (pow x 3)) (exp (pow (/ y 200.0) 3))) (log (- (pow x 3) (pow (/ y 200.0) 3))) (exp (- (pow x 3) (pow (/ y 200.0) 3))) (* (cbrt (- (pow x 3) (pow (/ y 200.0) 3))) (cbrt (- (pow x 3) (pow (/ y 200.0) 3)))) (cbrt (- (pow x 3) (pow (/ y 200.0) 3))) (* (* (- (pow x 3) (pow (/ y 200.0) 3)) (- (pow x 3) (pow (/ y 200.0) 3))) (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))) (- x (/ y 200.0)) (- (pow (pow x 3) 3) (pow (pow (/ y 200.0) 3) 3)) (+ (* (pow x 3) (pow x 3)) (+ (* (pow (/ y 200.0) 3) (pow (/ y 200.0) 3)) (* (pow x 3) (pow (/ y 200.0) 3)))) (- (pow (/ y 200.0) 3)) (- (* (pow x 3) (pow x 3)) (* (pow (/ y 200.0) 3) (pow (/ y 200.0) 3))) (+ (pow x 3) (pow (/ y 200.0) 3)) (+ (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3)) (+ (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (- (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (+ (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3)) (+ (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (- (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (+ (pow (sqrt x) 3) (sqrt (pow (/ y 200.0) 3))) (- (pow (sqrt x) 3) (sqrt (pow (/ y 200.0) 3))) (+ (pow (sqrt x) 3) (pow (/ y 200.0) (/ 3 2))) (- (pow (sqrt x) 3) (pow (/ y 200.0) (/ 3 2))) (+ (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3)) (+ (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (- (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (+ (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3)) (+ (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (- (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (+ (pow (sqrt x) 3) (sqrt (pow (/ y 200.0) 3))) (- (pow (sqrt x) 3) (sqrt (pow (/ y 200.0) 3))) (+ (pow (sqrt x) 3) (pow (/ y 200.0) (/ 3 2))) (- (pow (sqrt x) 3) (pow (/ y 200.0) (/ 3 2))) (+ (sqrt (pow x 3)) (pow (sqrt (/ y 200.0)) 3)) (- (sqrt (pow x 3)) (pow (sqrt (/ y 200.0)) 3)) (+ (sqrt (pow x 3)) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (- (sqrt (pow x 3)) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (+ (sqrt (pow x 3)) (pow (sqrt (/ y 200.0)) 3)) (- (sqrt (pow x 3)) (pow (sqrt (/ y 200.0)) 3)) (+ (sqrt (pow x 3)) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (- (sqrt (pow x 3)) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (+ (sqrt (pow x 3)) (sqrt (pow (/ y 200.0) 3))) (- (sqrt (pow x 3)) (sqrt (pow (/ y 200.0) 3))) (+ (sqrt (pow x 3)) (pow (/ y 200.0) (/ 3 2))) (- (sqrt (pow x 3)) (pow (/ y 200.0) (/ 3 2))) (+ (pow x (/ 3 2)) (pow (sqrt (/ y 200.0)) 3)) (- (pow x (/ 3 2)) (pow (sqrt (/ y 200.0)) 3)) (+ (pow x (/ 3 2)) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (- (pow x (/ 3 2)) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (+ (pow x (/ 3 2)) (pow (sqrt (/ y 200.0)) 3)) (- (pow x (/ 3 2)) (pow (sqrt (/ y 200.0)) 3)) (+ (pow x (/ 3 2)) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (- (pow x (/ 3 2)) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (+ (pow x (/ 3 2)) (sqrt (pow (/ y 200.0) 3))) (- (pow x (/ 3 2)) (sqrt (pow (/ y 200.0) 3))) (+ (pow x (/ 3 2)) (pow (/ y 200.0) (/ 3 2))) (- (pow x (/ 3 2)) (pow (/ y 200.0) (/ 3 2))) (- (pow x 3) (pow (/ y 200.0) 3)) (- (pow x 3) (pow (/ y 200.0) 3)) (- (pow x 3) (pow (/ y 200.0) 3)) (- (pow x 3) (pow (/ y 200.0) 3)) (- (pow x 3) (pow (/ y 200.0) 3)) (- (pow (/ y 200.0) 3)) (+ (* (sqrt 2.5e-05) y) (* 0.0025 (/ x (sqrt 2.5e-05)))) (+ x (* 0.0025 y)) (- (+ x (* 0.0025 y))) (- (* (sqrt 2.5000000000000005e-05) y) (* 0.005000000000000001 (/ x (sqrt 2.5000000000000005e-05)))) (- x (* 0.005 y)) (- (* 0.005 y) x) (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 (pow y 3)) (- (* +nan.0 (pow x 3))))))) (- (+ +nan.0 (- (+ (* +nan.0 x) (- (* +nan.0 (/ 1 x))))))) (- (+ +nan.0 (- (+ (* +nan.0 x) (- (* +nan.0 (/ 1 x))))))) (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) 9.123 * * [simplify]: iteration 0 : 242 enodes (cost 4162 ) 9.174 * * [simplify]: iteration 1 : 539 enodes (cost 3461 ) 9.345 * * [simplify]: iteration 2 : 1636 enodes (cost 3259 ) 9.973 * * [simplify]: iteration done : 5001 enodes (cost 3256 ) 9.974 * [simplify]: Simplified to: (log (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) (exp (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) (* (cbrt (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) (cbrt (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))))) (cbrt (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) (pow (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))) 3) (fabs (cbrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) (sqrt (cbrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) (sqrt (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) (sqrt (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) 1 (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))) (sqrt (+ (pow x 6) (pow (* (/ y 200.0) (+ x (/ y 200.0))) 3))) (sqrt (+ (* (* (/ y 200.0) (+ x (/ y 200.0))) (- (* (/ y 200.0) (+ x (/ y 200.0))) (* x x))) (pow x 4))) (sqrt (- (pow x 4) (* (* (/ y 200.0) (+ x (/ y 200.0))) (* (/ y 200.0) (+ x (/ y 200.0)))))) (sqrt (- (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))) 1/2 (sqrt (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) (sqrt (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) (log (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))))) (log (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))))) (log (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))))) (exp (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))))) (pow (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) 3) (pow (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) 3) (* (cbrt (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))))) (cbrt (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))))) (cbrt (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))))) (pow (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) 3) (/ (* (- x (/ y 200.0)) (- (pow x 3) (pow (/ y 200.0) 3))) (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))) (sqrt (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))))) (sqrt (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))))) (- (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0))))) (- (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) (/ (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (* (cbrt (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) (cbrt (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))))) (/ (sqrt (- x (/ y 200.0))) (cbrt (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))))) (/ (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (fabs (cbrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))))) (/ (sqrt (- x (/ y 200.0))) (sqrt (cbrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))))) (/ (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))))) (/ (sqrt (- x (/ y 200.0))) (sqrt (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))))) (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (/ (sqrt (- x (/ y 200.0))) (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) (/ (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))))) (/ (sqrt (- x (/ y 200.0))) (sqrt (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))))) (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (/ (sqrt (- x (/ y 200.0))) (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) (/ 1 (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) (/ (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))) (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0))))) (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (* (cbrt (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) (cbrt (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))))) (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (fabs (cbrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))))) (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))))) (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))))) (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (/ (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))) (sqrt (- x (/ y 200.0)))) (/ (* (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- x (/ y 200.0)))) (sqrt (+ (pow x 6) (pow (* (/ y 200.0) (+ x (/ y 200.0))) 3)))) (/ (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (/ (sqrt (- (pow x 4) (* (* (/ y 200.0) (+ x (/ y 200.0))) (* (/ y 200.0) (+ x (/ y 200.0)))))) (sqrt (- x (/ y 200.0))))) (* (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))) (sqrt (+ (* (pow (/ y 200.0) 3) (+ (pow x 3) (pow (/ y 200.0) 3))) (pow x 6)))) (* (* (sqrt (+ (* (pow (/ y 200.0) 3) (+ (pow x 3) (pow (/ y 200.0) 3))) (pow x 6))) (sqrt (+ x (/ y 200.0)))) (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) (* (sqrt (+ (pow x 3) (pow (/ y 200.0) 3))) (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))) (* (* (sqrt (+ (pow x 3) (pow (/ y 200.0) 3))) (sqrt (+ x (/ y 200.0)))) (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))))) (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))) (* (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))) (sqrt (+ x (/ y 200.0)))) (* (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))) (sqrt (+ (* (pow (/ y 200.0) 3) (+ (pow x 3) (pow (/ y 200.0) 3))) (pow x 6)))) (* (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))) (sqrt (+ (pow x 3) (pow (/ y 200.0) 3)))) (log (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (exp (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (* (cbrt (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (cbrt (sqrt (- (pow x 3) (pow (/ y 200.0) 3))))) (cbrt (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (pow (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) 3) (fabs (cbrt (- (pow x 3) (pow (/ y 200.0) 3)))) (sqrt (cbrt (- (pow x 3) (pow (/ y 200.0) 3)))) (sqrt (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (sqrt (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (sqrt (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0))))) (sqrt (- x (/ y 200.0))) 1 (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (+ (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3))) (sqrt (- (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3))) (sqrt (+ (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (- (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (+ (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3))) (sqrt (- (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3))) (sqrt (+ (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (- (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (+ (pow (sqrt x) 3) (sqrt (pow (/ y 200.0) 3)))) (sqrt (- (pow (sqrt x) 3) (sqrt (pow (/ y 200.0) 3)))) (sqrt (+ (pow (/ y 200.0) 3/2) (pow (sqrt x) 3))) (sqrt (- (pow (sqrt x) 3) (pow (/ y 200.0) 3/2))) (sqrt (+ (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3))) (sqrt (- (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3))) (sqrt (+ (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (- (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (+ (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3))) (sqrt (- (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3))) (sqrt (+ (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (- (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (+ (pow (sqrt x) 3) (sqrt (pow (/ y 200.0) 3)))) (sqrt (- (pow (sqrt x) 3) (sqrt (pow (/ y 200.0) 3)))) (sqrt (+ (pow (/ y 200.0) 3/2) (pow (sqrt x) 3))) (sqrt (- (pow (sqrt x) 3) (pow (/ y 200.0) 3/2))) (sqrt (+ (sqrt (pow x 3)) (pow (sqrt (/ y 200.0)) 3))) (sqrt (- (sqrt (pow x 3)) (pow (sqrt (/ y 200.0)) 3))) (sqrt (+ (sqrt (pow x 3)) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (- (sqrt (pow x 3)) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (+ (sqrt (pow x 3)) (pow (sqrt (/ y 200.0)) 3))) (sqrt (- (sqrt (pow x 3)) (pow (sqrt (/ y 200.0)) 3))) (sqrt (+ (sqrt (pow x 3)) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (- (sqrt (pow x 3)) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (+ (sqrt (pow x 3)) (sqrt (pow (/ y 200.0) 3)))) (sqrt (- (sqrt (pow x 3)) (sqrt (pow (/ y 200.0) 3)))) (sqrt (+ (pow (/ y 200.0) 3/2) (sqrt (pow x 3)))) (sqrt (- (sqrt (pow x 3)) (pow (/ y 200.0) 3/2))) (sqrt (+ (pow (sqrt (/ y 200.0)) 3) (pow x 3/2))) (sqrt (- (pow x 3/2) (pow (sqrt (/ y 200.0)) 3))) (sqrt (+ (pow (/ (sqrt y) (sqrt 200.0)) 3) (pow x 3/2))) (sqrt (- (pow x 3/2) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (+ (pow (sqrt (/ y 200.0)) 3) (pow x 3/2))) (sqrt (- (pow x 3/2) (pow (sqrt (/ y 200.0)) 3))) (sqrt (+ (pow (/ (sqrt y) (sqrt 200.0)) 3) (pow x 3/2))) (sqrt (- (pow x 3/2) (pow (/ (sqrt y) (sqrt 200.0)) 3))) (sqrt (+ (pow x 3/2) (sqrt (pow (/ y 200.0) 3)))) (sqrt (- (pow x 3/2) (sqrt (pow (/ y 200.0) 3)))) (sqrt (+ (pow (/ y 200.0) 3/2) (pow x 3/2))) (sqrt (- (pow x 3/2) (pow (/ y 200.0) 3/2))) 1 (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) 1 (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) 1 (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) 1 (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) 1 (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- (pow (pow x 3) 3) (pow (pow (/ y 200.0) 3) 3))) (sqrt (+ (* (pow (/ y 200.0) 3) (+ (pow x 3) (pow (/ y 200.0) 3))) (pow x 6))) (sqrt (- (pow x 6) (pow (/ y 200.0) 6))) (sqrt (+ (pow x 3) (pow (/ y 200.0) 3))) 1/2 (sqrt (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (sqrt (sqrt (- (pow x 3) (pow (/ y 200.0) 3)))) (exp (- (pow x 3) (pow (/ y 200.0) 3))) (log (- (pow x 3) (pow (/ y 200.0) 3))) (exp (- (pow x 3) (pow (/ y 200.0) 3))) (* (cbrt (- (pow x 3) (pow (/ y 200.0) 3))) (cbrt (- (pow x 3) (pow (/ y 200.0) 3)))) (cbrt (- (pow x 3) (pow (/ y 200.0) 3))) (pow (- (pow x 3) (pow (/ y 200.0) 3)) 3) (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (sqrt (- (pow x 3) (pow (/ y 200.0) 3))) (+ (* x x) (* (/ y 200.0) (+ x (/ y 200.0)))) (- x (/ y 200.0)) (- (pow (pow x 3) 3) (pow (pow (/ y 200.0) 3) 3)) (+ (* (pow (/ y 200.0) 3) (+ (pow x 3) (pow (/ y 200.0) 3))) (pow x 6)) (- (pow (/ y 200.0) 3)) (- (pow x 6) (pow (/ y 200.0) 6)) (+ (pow x 3) (pow (/ y 200.0) 3)) (+ (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3)) (+ (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (- (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (+ (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3)) (+ (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (- (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (+ (pow (sqrt x) 3) (sqrt (pow (/ y 200.0) 3))) (- (pow (sqrt x) 3) (sqrt (pow (/ y 200.0) 3))) (+ (pow (/ y 200.0) 3/2) (pow (sqrt x) 3)) (- (pow (sqrt x) 3) (pow (/ y 200.0) 3/2)) (+ (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3)) (+ (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (- (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (+ (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (/ y 200.0)) 3)) (+ (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (- (pow (sqrt x) 3) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (+ (pow (sqrt x) 3) (sqrt (pow (/ y 200.0) 3))) (- (pow (sqrt x) 3) (sqrt (pow (/ y 200.0) 3))) (+ (pow (/ y 200.0) 3/2) (pow (sqrt x) 3)) (- (pow (sqrt x) 3) (pow (/ y 200.0) 3/2)) (+ (sqrt (pow x 3)) (pow (sqrt (/ y 200.0)) 3)) (- (sqrt (pow x 3)) (pow (sqrt (/ y 200.0)) 3)) (+ (sqrt (pow x 3)) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (- (sqrt (pow x 3)) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (+ (sqrt (pow x 3)) (pow (sqrt (/ y 200.0)) 3)) (- (sqrt (pow x 3)) (pow (sqrt (/ y 200.0)) 3)) (+ (sqrt (pow x 3)) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (- (sqrt (pow x 3)) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (+ (sqrt (pow x 3)) (sqrt (pow (/ y 200.0) 3))) (- (sqrt (pow x 3)) (sqrt (pow (/ y 200.0) 3))) (+ (pow (/ y 200.0) 3/2) (sqrt (pow x 3))) (- (sqrt (pow x 3)) (pow (/ y 200.0) 3/2)) (+ (pow (sqrt (/ y 200.0)) 3) (pow x 3/2)) (- (pow x 3/2) (pow (sqrt (/ y 200.0)) 3)) (+ (pow (/ (sqrt y) (sqrt 200.0)) 3) (pow x 3/2)) (- (pow x 3/2) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (+ (pow (sqrt (/ y 200.0)) 3) (pow x 3/2)) (- (pow x 3/2) (pow (sqrt (/ y 200.0)) 3)) (+ (pow (/ (sqrt y) (sqrt 200.0)) 3) (pow x 3/2)) (- (pow x 3/2) (pow (/ (sqrt y) (sqrt 200.0)) 3)) (+ (pow x 3/2) (sqrt (pow (/ y 200.0) 3))) (- (pow x 3/2) (sqrt (pow (/ y 200.0) 3))) (+ (pow (/ y 200.0) 3/2) (pow x 3/2)) (- (pow x 3/2) (pow (/ y 200.0) 3/2)) (- (pow x 3) (pow (/ y 200.0) 3)) (- (pow x 3) (pow (/ y 200.0) 3)) (- (pow x 3) (pow (/ y 200.0) 3)) (- (pow x 3) (pow (/ y 200.0) 3)) (- (pow x 3) (pow (/ y 200.0) 3)) (- (pow (/ y 200.0) 3)) (+ (* (sqrt 2.5e-05) y) (* 0.0025 (/ x (sqrt 2.5e-05)))) (+ x (* 0.0025 y)) (- (+ x (* 0.0025 y))) (- (* (sqrt 2.5000000000000005e-05) y) (* 0.005000000000000001 (/ x (sqrt 2.5000000000000005e-05)))) (- x (* 0.005 y)) (- (* 0.005 y) x) (- (* +nan.0 (- (pow y 3) (pow x 3))) (* +nan.0 (pow y 2))) (- (- (* +nan.0 x) (/ +nan.0 x)) +nan.0) (- (- (* +nan.0 x) (/ +nan.0 x)) +nan.0) (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) 9.976 * * * [progress]: adding candidates to table 10.522 * [progress]: [Phase 3 of 3] Extracting. 10.522 * * [regime]: Finding splitpoints for: (# # # #) 10.523 * * * [regime-changes]: Trying 4 branch expressions: ((/ y 200.0) (- x (/ y 200.0)) y x) 10.523 * * * * [regimes]: Trying to branch on (/ y 200.0) from (# # # #) 10.542 * * * * [regimes]: Trying to branch on (- x (/ y 200.0)) from (# # # #) 10.565 * * * * [regimes]: Trying to branch on y from (# # # #) 10.584 * * * * [regimes]: Trying to branch on x from (# # # #) 10.606 * * * [regime]: Found split indices: #