10.187 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.010 * * * [progress]: [2/2] Setting up program. 0.012 * [progress]: [Phase 2 of 3] Improving. 0.012 * [simplify]: Simplifying using # : (- x (/ y 200.0)) 0.013 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.014 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 0.014 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 0.015 * * [simplify]: iteration done : 10 enodes (cost 5 ) 0.015 * [simplify]: Simplified to: (- x (/ y 200.0)) 0.016 * * [progress]: iteration 1 / 4 0.016 * * * [progress]: picking best candidate 0.017 * * * * [pick]: Picked # 0.017 * * * [progress]: localizing error 0.021 * * * [progress]: generating rewritten candidates 0.021 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.027 * * * [progress]: generating series expansions 0.027 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.027 * [approximate]: Taking taylor expansion of (- x (* 0.005 y)) in (x y) around 0 0.028 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in y 0.028 * [taylor]: Taking taylor expansion of x in y 0.028 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 0.028 * [taylor]: Taking taylor expansion of 0.005 in y 0.028 * [taylor]: Taking taylor expansion of y in y 0.028 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 0.028 * [taylor]: Taking taylor expansion of x in x 0.028 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 0.028 * [taylor]: Taking taylor expansion of 0.005 in x 0.028 * [taylor]: Taking taylor expansion of y in x 0.028 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 0.028 * [taylor]: Taking taylor expansion of x in x 0.028 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 0.028 * [taylor]: Taking taylor expansion of 0.005 in x 0.028 * [taylor]: Taking taylor expansion of y in x 0.028 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 0.028 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 0.028 * [taylor]: Taking taylor expansion of 0.005 in y 0.028 * [taylor]: Taking taylor expansion of y in y 0.029 * [taylor]: Taking taylor expansion of 1 in y 0.032 * [taylor]: Taking taylor expansion of 0 in y 0.034 * [taylor]: Taking taylor expansion of 0 in y 0.035 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in (x y) around 0 0.035 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in y 0.035 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.035 * [taylor]: Taking taylor expansion of x in y 0.035 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 0.035 * [taylor]: Taking taylor expansion of 0.005 in y 0.035 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.035 * [taylor]: Taking taylor expansion of y in y 0.035 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 0.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.035 * [taylor]: Taking taylor expansion of x in x 0.035 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 0.036 * [taylor]: Taking taylor expansion of 0.005 in x 0.036 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.036 * [taylor]: Taking taylor expansion of y in x 0.036 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 0.036 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.036 * [taylor]: Taking taylor expansion of x in x 0.036 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 0.036 * [taylor]: Taking taylor expansion of 0.005 in x 0.036 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.036 * [taylor]: Taking taylor expansion of y in x 0.037 * [taylor]: Taking taylor expansion of 1 in y 0.037 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y))) in y 0.037 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 0.037 * [taylor]: Taking taylor expansion of 0.005 in y 0.037 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.037 * [taylor]: Taking taylor expansion of y in y 0.040 * [taylor]: Taking taylor expansion of 0 in y 0.043 * [taylor]: Taking taylor expansion of 0 in y 0.049 * [taylor]: Taking taylor expansion of 0 in y 0.050 * [approximate]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in (x y) around 0 0.050 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in y 0.050 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 0.050 * [taylor]: Taking taylor expansion of 0.005 in y 0.050 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.050 * [taylor]: Taking taylor expansion of y in y 0.051 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.051 * [taylor]: Taking taylor expansion of x in y 0.051 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 0.051 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 0.051 * [taylor]: Taking taylor expansion of 0.005 in x 0.051 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.051 * [taylor]: Taking taylor expansion of y in x 0.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.051 * [taylor]: Taking taylor expansion of x in x 0.051 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 0.051 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 0.051 * [taylor]: Taking taylor expansion of 0.005 in x 0.051 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.051 * [taylor]: Taking taylor expansion of y in x 0.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.051 * [taylor]: Taking taylor expansion of x in x 0.052 * [taylor]: Taking taylor expansion of -1 in y 0.053 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 0.053 * [taylor]: Taking taylor expansion of 0.005 in y 0.053 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.053 * [taylor]: Taking taylor expansion of y in y 0.055 * [taylor]: Taking taylor expansion of 0 in y 0.058 * [taylor]: Taking taylor expansion of 0 in y 0.061 * [taylor]: Taking taylor expansion of 0 in y 0.061 * * * [progress]: simplifying candidates 0.062 * [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.063 * * [simplify]: iteration 0 : 39 enodes (cost 167 ) 0.068 * * [simplify]: iteration 1 : 84 enodes (cost 162 ) 0.081 * * [simplify]: iteration 2 : 178 enodes (cost 152 ) 0.114 * * [simplify]: iteration 3 : 378 enodes (cost 152 ) 0.219 * * [simplify]: iteration 4 : 979 enodes (cost 152 ) 0.741 * * [simplify]: iteration 5 : 2977 enodes (cost 152 ) 1.889 * * [simplify]: iteration done : 5001 enodes (cost 152 ) 1.889 * [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)) 1.889 * * * [progress]: adding candidates to table 1.926 * * [progress]: iteration 2 / 4 1.926 * * * [progress]: picking best candidate 1.929 * * * * [pick]: Picked # 1.929 * * * [progress]: localizing error 1.933 * * * [progress]: generating rewritten candidates 1.933 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.935 * * * [progress]: generating series expansions 1.935 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.935 * [approximate]: Taking taylor expansion of (- x (* 0.005 y)) in (x y) around 0 1.935 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in y 1.935 * [taylor]: Taking taylor expansion of x in y 1.935 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 1.935 * [taylor]: Taking taylor expansion of 0.005 in y 1.935 * [taylor]: Taking taylor expansion of y in y 1.935 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 1.935 * [taylor]: Taking taylor expansion of x in x 1.935 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 1.935 * [taylor]: Taking taylor expansion of 0.005 in x 1.935 * [taylor]: Taking taylor expansion of y in x 1.935 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 1.935 * [taylor]: Taking taylor expansion of x in x 1.935 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 1.936 * [taylor]: Taking taylor expansion of 0.005 in x 1.936 * [taylor]: Taking taylor expansion of y in x 1.936 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 1.936 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 1.936 * [taylor]: Taking taylor expansion of 0.005 in y 1.936 * [taylor]: Taking taylor expansion of y in y 1.937 * [taylor]: Taking taylor expansion of 1 in y 1.940 * [taylor]: Taking taylor expansion of 0 in y 1.942 * [taylor]: Taking taylor expansion of 0 in y 1.942 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in (x y) around 0 1.942 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in y 1.942 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.942 * [taylor]: Taking taylor expansion of x in y 1.942 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 1.942 * [taylor]: Taking taylor expansion of 0.005 in y 1.942 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.943 * [taylor]: Taking taylor expansion of y in y 1.943 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 1.943 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.943 * [taylor]: Taking taylor expansion of x in x 1.943 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 1.943 * [taylor]: Taking taylor expansion of 0.005 in x 1.943 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.943 * [taylor]: Taking taylor expansion of y in x 1.943 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 1.943 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.943 * [taylor]: Taking taylor expansion of x in x 1.944 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 1.944 * [taylor]: Taking taylor expansion of 0.005 in x 1.944 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.944 * [taylor]: Taking taylor expansion of y in x 1.944 * [taylor]: Taking taylor expansion of 1 in y 1.945 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y))) in y 1.945 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 1.945 * [taylor]: Taking taylor expansion of 0.005 in y 1.945 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.945 * [taylor]: Taking taylor expansion of y in y 1.947 * [taylor]: Taking taylor expansion of 0 in y 1.950 * [taylor]: Taking taylor expansion of 0 in y 1.953 * [taylor]: Taking taylor expansion of 0 in y 1.954 * [approximate]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in (x y) around 0 1.954 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in y 1.954 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 1.954 * [taylor]: Taking taylor expansion of 0.005 in y 1.954 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.954 * [taylor]: Taking taylor expansion of y in y 1.954 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.954 * [taylor]: Taking taylor expansion of x in y 1.954 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 1.954 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 1.954 * [taylor]: Taking taylor expansion of 0.005 in x 1.954 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.954 * [taylor]: Taking taylor expansion of y in x 1.954 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.954 * [taylor]: Taking taylor expansion of x in x 1.955 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 1.955 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 1.955 * [taylor]: Taking taylor expansion of 0.005 in x 1.955 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.955 * [taylor]: Taking taylor expansion of y in x 1.955 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.955 * [taylor]: Taking taylor expansion of x in x 1.956 * [taylor]: Taking taylor expansion of -1 in y 1.957 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 1.957 * [taylor]: Taking taylor expansion of 0.005 in y 1.957 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.957 * [taylor]: Taking taylor expansion of y in y 1.959 * [taylor]: Taking taylor expansion of 0 in y 1.961 * [taylor]: Taking taylor expansion of 0 in y 1.964 * [taylor]: Taking taylor expansion of 0 in y 1.965 * * * [progress]: simplifying candidates 1.965 * [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)) 1.966 * * [simplify]: iteration 0 : 27 enodes (cost 132 ) 1.974 * * [simplify]: iteration 1 : 71 enodes (cost 127 ) 1.987 * * [simplify]: iteration 2 : 196 enodes (cost 117 ) 2.044 * * [simplify]: iteration 3 : 542 enodes (cost 117 ) 2.270 * * [simplify]: iteration 4 : 1217 enodes (cost 117 ) 3.248 * * [simplify]: iteration 5 : 3724 enodes (cost 117 ) 4.877 * * [simplify]: iteration done : 5000 enodes (cost 117 ) 4.878 * [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.878 * * * [progress]: adding candidates to table 4.904 * * [progress]: iteration 3 / 4 4.904 * * * [progress]: picking best candidate 4.906 * * * * [pick]: Picked # 4.907 * * * [progress]: localizing error 4.913 * * * [progress]: generating rewritten candidates 4.913 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 4.967 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 4.978 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 4.990 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 5.001 * * * [progress]: generating series expansions 5.001 * * * * [progress]: [ 1 / 4 ] generating series at (2) 5.001 * [approximate]: Taking taylor expansion of (- x (* 0.005 y)) in (x y) around 0 5.001 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in y 5.001 * [taylor]: Taking taylor expansion of x in y 5.001 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.001 * [taylor]: Taking taylor expansion of 0.005 in y 5.001 * [taylor]: Taking taylor expansion of y in y 5.001 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 5.001 * [taylor]: Taking taylor expansion of x in x 5.001 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 5.001 * [taylor]: Taking taylor expansion of 0.005 in x 5.001 * [taylor]: Taking taylor expansion of y in x 5.001 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 5.001 * [taylor]: Taking taylor expansion of x in x 5.001 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 5.001 * [taylor]: Taking taylor expansion of 0.005 in x 5.001 * [taylor]: Taking taylor expansion of y in x 5.002 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 5.002 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.002 * [taylor]: Taking taylor expansion of 0.005 in y 5.002 * [taylor]: Taking taylor expansion of y in y 5.004 * [taylor]: Taking taylor expansion of 1 in y 5.006 * [taylor]: Taking taylor expansion of 0 in y 5.009 * [taylor]: Taking taylor expansion of 0 in y 5.009 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in (x y) around 0 5.009 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in y 5.010 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.010 * [taylor]: Taking taylor expansion of x in y 5.010 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.010 * [taylor]: Taking taylor expansion of 0.005 in y 5.010 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.010 * [taylor]: Taking taylor expansion of y in y 5.013 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 5.013 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.013 * [taylor]: Taking taylor expansion of x in x 5.014 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.014 * [taylor]: Taking taylor expansion of 0.005 in x 5.014 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.014 * [taylor]: Taking taylor expansion of y in x 5.014 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 5.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.014 * [taylor]: Taking taylor expansion of x in x 5.014 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.014 * [taylor]: Taking taylor expansion of 0.005 in x 5.014 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.014 * [taylor]: Taking taylor expansion of y in x 5.015 * [taylor]: Taking taylor expansion of 1 in y 5.016 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y))) in y 5.016 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.016 * [taylor]: Taking taylor expansion of 0.005 in y 5.016 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.016 * [taylor]: Taking taylor expansion of y in y 5.019 * [taylor]: Taking taylor expansion of 0 in y 5.022 * [taylor]: Taking taylor expansion of 0 in y 5.025 * [taylor]: Taking taylor expansion of 0 in y 5.026 * [approximate]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in (x y) around 0 5.026 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in y 5.026 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.026 * [taylor]: Taking taylor expansion of 0.005 in y 5.026 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.026 * [taylor]: Taking taylor expansion of y in y 5.026 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.026 * [taylor]: Taking taylor expansion of x in y 5.026 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 5.026 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.026 * [taylor]: Taking taylor expansion of 0.005 in x 5.026 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.026 * [taylor]: Taking taylor expansion of y in x 5.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.026 * [taylor]: Taking taylor expansion of x in x 5.027 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 5.027 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.027 * [taylor]: Taking taylor expansion of 0.005 in x 5.027 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.027 * [taylor]: Taking taylor expansion of y in x 5.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.027 * [taylor]: Taking taylor expansion of x in x 5.028 * [taylor]: Taking taylor expansion of -1 in y 5.028 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.028 * [taylor]: Taking taylor expansion of 0.005 in y 5.028 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.029 * [taylor]: Taking taylor expansion of y in y 5.030 * [taylor]: Taking taylor expansion of 0 in y 5.033 * [taylor]: Taking taylor expansion of 0 in y 5.037 * [taylor]: Taking taylor expansion of 0 in y 5.037 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 5.037 * [approximate]: Taking taylor expansion of (sqrt (- x (* 0.005 y))) in (x y) around 0 5.037 * [taylor]: Taking taylor expansion of (sqrt (- x (* 0.005 y))) in y 5.037 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in y 5.037 * [taylor]: Taking taylor expansion of x in y 5.037 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.037 * [taylor]: Taking taylor expansion of 0.005 in y 5.037 * [taylor]: Taking taylor expansion of y in y 5.040 * [taylor]: Taking taylor expansion of (sqrt (- x (* 0.005 y))) in x 5.040 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 5.040 * [taylor]: Taking taylor expansion of x in x 5.040 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 5.040 * [taylor]: Taking taylor expansion of 0.005 in x 5.040 * [taylor]: Taking taylor expansion of y in x 5.041 * [taylor]: Taking taylor expansion of (sqrt (- x (* 0.005 y))) in x 5.041 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 5.041 * [taylor]: Taking taylor expansion of x in x 5.041 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 5.041 * [taylor]: Taking taylor expansion of 0.005 in x 5.041 * [taylor]: Taking taylor expansion of y in x 5.042 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 y))) in y 5.042 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 5.042 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.042 * [taylor]: Taking taylor expansion of 0.005 in y 5.042 * [taylor]: Taking taylor expansion of y in y 5.046 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (* 0.005 y)))) in y 5.046 * [taylor]: Taking taylor expansion of 1/2 in y 5.046 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 y))) in y 5.046 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 5.046 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.046 * [taylor]: Taking taylor expansion of 0.005 in y 5.046 * [taylor]: Taking taylor expansion of y in y 5.056 * [taylor]: Taking taylor expansion of (/ -1/8 (pow (sqrt (- (* 0.005 y))) 3)) in y 5.056 * [taylor]: Taking taylor expansion of -1/8 in y 5.056 * [taylor]: Taking taylor expansion of (pow (sqrt (- (* 0.005 y))) 3) in y 5.056 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 y))) in y 5.056 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 5.056 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.056 * [taylor]: Taking taylor expansion of 0.005 in y 5.056 * [taylor]: Taking taylor expansion of y in y 5.091 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 x) (* 0.005 (/ 1 y)))) in (x y) around 0 5.091 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (* 0.005 (/ 1 y)))) in y 5.091 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in y 5.091 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.091 * [taylor]: Taking taylor expansion of x in y 5.091 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.091 * [taylor]: Taking taylor expansion of 0.005 in y 5.091 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.091 * [taylor]: Taking taylor expansion of y in y 5.094 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (* 0.005 (/ 1 y)))) in x 5.094 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 5.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.094 * [taylor]: Taking taylor expansion of x in x 5.094 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.094 * [taylor]: Taking taylor expansion of 0.005 in x 5.094 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.094 * [taylor]: Taking taylor expansion of y in x 5.095 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (* 0.005 (/ 1 y)))) in x 5.095 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 5.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.096 * [taylor]: Taking taylor expansion of x in x 5.096 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.096 * [taylor]: Taking taylor expansion of 0.005 in x 5.096 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.096 * [taylor]: Taking taylor expansion of y in x 5.097 * [taylor]: Taking taylor expansion of 0 in y 5.097 * [taylor]: Taking taylor expansion of +nan.0 in y 5.099 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* 0.005 (/ 1 y)) (- +nan.0))) in y 5.099 * [taylor]: Taking taylor expansion of +nan.0 in y 5.099 * [taylor]: Taking taylor expansion of (+ (* 0.005 (/ 1 y)) (- +nan.0)) in y 5.099 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.099 * [taylor]: Taking taylor expansion of 0.005 in y 5.099 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.099 * [taylor]: Taking taylor expansion of y in y 5.099 * [taylor]: Taking taylor expansion of (- +nan.0) in y 5.099 * [taylor]: Taking taylor expansion of +nan.0 in y 5.105 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 5.105 * [taylor]: Taking taylor expansion of +nan.0 in y 5.105 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 5.105 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 5.105 * [taylor]: Taking taylor expansion of +nan.0 in y 5.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.105 * [taylor]: Taking taylor expansion of y in y 5.106 * [taylor]: Taking taylor expansion of (- +nan.0) in y 5.106 * [taylor]: Taking taylor expansion of +nan.0 in y 5.107 * [approximate]: Taking taylor expansion of (sqrt (- (* 0.005 (/ 1 y)) (/ 1 x))) in (x y) around 0 5.107 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 (/ 1 y)) (/ 1 x))) in y 5.107 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in y 5.107 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.107 * [taylor]: Taking taylor expansion of 0.005 in y 5.107 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.107 * [taylor]: Taking taylor expansion of y in y 5.108 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.108 * [taylor]: Taking taylor expansion of x in y 5.109 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 (/ 1 y)) (/ 1 x))) in x 5.109 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 5.109 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.109 * [taylor]: Taking taylor expansion of 0.005 in x 5.109 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.109 * [taylor]: Taking taylor expansion of y in x 5.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.110 * [taylor]: Taking taylor expansion of x in x 5.111 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 (/ 1 y)) (/ 1 x))) in x 5.111 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 5.111 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.111 * [taylor]: Taking taylor expansion of 0.005 in x 5.111 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.111 * [taylor]: Taking taylor expansion of y in x 5.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.112 * [taylor]: Taking taylor expansion of x in x 5.113 * [taylor]: Taking taylor expansion of 0 in y 5.114 * [taylor]: Taking taylor expansion of +nan.0 in y 5.115 * [taylor]: Taking taylor expansion of (* +nan.0 (- (* 0.005 (/ 1 y)) +nan.0)) in y 5.115 * [taylor]: Taking taylor expansion of +nan.0 in y 5.115 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) +nan.0) in y 5.115 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.115 * [taylor]: Taking taylor expansion of 0.005 in y 5.115 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.115 * [taylor]: Taking taylor expansion of y in y 5.116 * [taylor]: Taking taylor expansion of +nan.0 in y 5.118 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 5.118 * [taylor]: Taking taylor expansion of +nan.0 in y 5.118 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 5.118 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 5.119 * [taylor]: Taking taylor expansion of +nan.0 in y 5.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.119 * [taylor]: Taking taylor expansion of y in y 5.119 * [taylor]: Taking taylor expansion of (- +nan.0) in y 5.119 * [taylor]: Taking taylor expansion of +nan.0 in y 5.120 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 5.120 * [approximate]: Taking taylor expansion of (sqrt (- x (* 0.005 y))) in (x y) around 0 5.121 * [taylor]: Taking taylor expansion of (sqrt (- x (* 0.005 y))) in y 5.121 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in y 5.121 * [taylor]: Taking taylor expansion of x in y 5.121 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.121 * [taylor]: Taking taylor expansion of 0.005 in y 5.121 * [taylor]: Taking taylor expansion of y in y 5.123 * [taylor]: Taking taylor expansion of (sqrt (- x (* 0.005 y))) in x 5.123 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 5.123 * [taylor]: Taking taylor expansion of x in x 5.123 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 5.123 * [taylor]: Taking taylor expansion of 0.005 in x 5.123 * [taylor]: Taking taylor expansion of y in x 5.124 * [taylor]: Taking taylor expansion of (sqrt (- x (* 0.005 y))) in x 5.124 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 5.124 * [taylor]: Taking taylor expansion of x in x 5.124 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 5.124 * [taylor]: Taking taylor expansion of 0.005 in x 5.124 * [taylor]: Taking taylor expansion of y in x 5.126 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 y))) in y 5.126 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 5.126 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.126 * [taylor]: Taking taylor expansion of 0.005 in y 5.126 * [taylor]: Taking taylor expansion of y in y 5.129 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (* 0.005 y)))) in y 5.129 * [taylor]: Taking taylor expansion of 1/2 in y 5.129 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 y))) in y 5.129 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 5.129 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.129 * [taylor]: Taking taylor expansion of 0.005 in y 5.129 * [taylor]: Taking taylor expansion of y in y 5.139 * [taylor]: Taking taylor expansion of (/ -1/8 (pow (sqrt (- (* 0.005 y))) 3)) in y 5.139 * [taylor]: Taking taylor expansion of -1/8 in y 5.139 * [taylor]: Taking taylor expansion of (pow (sqrt (- (* 0.005 y))) 3) in y 5.139 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 y))) in y 5.139 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 5.139 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.139 * [taylor]: Taking taylor expansion of 0.005 in y 5.139 * [taylor]: Taking taylor expansion of y in y 5.173 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 x) (* 0.005 (/ 1 y)))) in (x y) around 0 5.174 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (* 0.005 (/ 1 y)))) in y 5.174 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in y 5.174 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.174 * [taylor]: Taking taylor expansion of x in y 5.174 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.174 * [taylor]: Taking taylor expansion of 0.005 in y 5.174 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.174 * [taylor]: Taking taylor expansion of y in y 5.176 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (* 0.005 (/ 1 y)))) in x 5.177 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 5.177 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.177 * [taylor]: Taking taylor expansion of x in x 5.177 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.177 * [taylor]: Taking taylor expansion of 0.005 in x 5.177 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.177 * [taylor]: Taking taylor expansion of y in x 5.178 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (* 0.005 (/ 1 y)))) in x 5.178 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 5.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.178 * [taylor]: Taking taylor expansion of x in x 5.179 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.179 * [taylor]: Taking taylor expansion of 0.005 in x 5.179 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.179 * [taylor]: Taking taylor expansion of y in x 5.180 * [taylor]: Taking taylor expansion of 0 in y 5.180 * [taylor]: Taking taylor expansion of +nan.0 in y 5.182 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* 0.005 (/ 1 y)) (- +nan.0))) in y 5.182 * [taylor]: Taking taylor expansion of +nan.0 in y 5.182 * [taylor]: Taking taylor expansion of (+ (* 0.005 (/ 1 y)) (- +nan.0)) in y 5.182 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.182 * [taylor]: Taking taylor expansion of 0.005 in y 5.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.182 * [taylor]: Taking taylor expansion of y in y 5.182 * [taylor]: Taking taylor expansion of (- +nan.0) in y 5.182 * [taylor]: Taking taylor expansion of +nan.0 in y 5.185 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 5.185 * [taylor]: Taking taylor expansion of +nan.0 in y 5.185 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 5.185 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 5.185 * [taylor]: Taking taylor expansion of +nan.0 in y 5.185 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.185 * [taylor]: Taking taylor expansion of y in y 5.186 * [taylor]: Taking taylor expansion of (- +nan.0) in y 5.186 * [taylor]: Taking taylor expansion of +nan.0 in y 5.188 * [approximate]: Taking taylor expansion of (sqrt (- (* 0.005 (/ 1 y)) (/ 1 x))) in (x y) around 0 5.188 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 (/ 1 y)) (/ 1 x))) in y 5.188 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in y 5.188 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.188 * [taylor]: Taking taylor expansion of 0.005 in y 5.188 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.188 * [taylor]: Taking taylor expansion of y in y 5.188 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.188 * [taylor]: Taking taylor expansion of x in y 5.190 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 (/ 1 y)) (/ 1 x))) in x 5.190 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 5.190 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.190 * [taylor]: Taking taylor expansion of 0.005 in x 5.190 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.190 * [taylor]: Taking taylor expansion of y in x 5.190 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.190 * [taylor]: Taking taylor expansion of x in x 5.192 * [taylor]: Taking taylor expansion of (sqrt (- (* 0.005 (/ 1 y)) (/ 1 x))) in x 5.192 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 5.192 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.192 * [taylor]: Taking taylor expansion of 0.005 in x 5.192 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.192 * [taylor]: Taking taylor expansion of y in x 5.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.192 * [taylor]: Taking taylor expansion of x in x 5.197 * [taylor]: Taking taylor expansion of 0 in y 5.197 * [taylor]: Taking taylor expansion of +nan.0 in y 5.199 * [taylor]: Taking taylor expansion of (* +nan.0 (- (* 0.005 (/ 1 y)) +nan.0)) in y 5.199 * [taylor]: Taking taylor expansion of +nan.0 in y 5.199 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) +nan.0) in y 5.199 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.199 * [taylor]: Taking taylor expansion of 0.005 in y 5.199 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.199 * [taylor]: Taking taylor expansion of y in y 5.199 * [taylor]: Taking taylor expansion of +nan.0 in y 5.202 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 5.202 * [taylor]: Taking taylor expansion of +nan.0 in y 5.202 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 5.202 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 5.202 * [taylor]: Taking taylor expansion of +nan.0 in y 5.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.202 * [taylor]: Taking taylor expansion of y in y 5.202 * [taylor]: Taking taylor expansion of (- +nan.0) in y 5.202 * [taylor]: Taking taylor expansion of +nan.0 in y 5.204 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 5.204 * [approximate]: Taking taylor expansion of (- x (* 0.005 y)) in (x y) around 0 5.204 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in y 5.204 * [taylor]: Taking taylor expansion of x in y 5.204 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.204 * [taylor]: Taking taylor expansion of 0.005 in y 5.204 * [taylor]: Taking taylor expansion of y in y 5.204 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 5.204 * [taylor]: Taking taylor expansion of x in x 5.204 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 5.204 * [taylor]: Taking taylor expansion of 0.005 in x 5.204 * [taylor]: Taking taylor expansion of y in x 5.204 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 5.204 * [taylor]: Taking taylor expansion of x in x 5.204 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 5.204 * [taylor]: Taking taylor expansion of 0.005 in x 5.204 * [taylor]: Taking taylor expansion of y in x 5.204 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 5.204 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 5.204 * [taylor]: Taking taylor expansion of 0.005 in y 5.204 * [taylor]: Taking taylor expansion of y in y 5.206 * [taylor]: Taking taylor expansion of 1 in y 5.208 * [taylor]: Taking taylor expansion of 0 in y 5.210 * [taylor]: Taking taylor expansion of 0 in y 5.211 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in (x y) around 0 5.211 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in y 5.211 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.211 * [taylor]: Taking taylor expansion of x in y 5.211 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.211 * [taylor]: Taking taylor expansion of 0.005 in y 5.211 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.211 * [taylor]: Taking taylor expansion of y in y 5.211 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 5.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.211 * [taylor]: Taking taylor expansion of 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) (* 0.005 (/ 1 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.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 in y 5.213 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y))) in y 5.213 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.213 * [taylor]: Taking taylor expansion of 0.005 in y 5.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.213 * [taylor]: Taking taylor expansion of y in y 5.216 * [taylor]: Taking taylor expansion of 0 in y 5.218 * [taylor]: Taking taylor expansion of 0 in y 5.222 * [taylor]: Taking taylor expansion of 0 in y 5.222 * [approximate]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in (x y) around 0 5.222 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in y 5.222 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.222 * [taylor]: Taking taylor expansion of 0.005 in y 5.222 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.222 * [taylor]: Taking taylor expansion of y in y 5.223 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.223 * [taylor]: Taking taylor expansion of x in y 5.223 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 5.223 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.223 * [taylor]: Taking taylor expansion of 0.005 in x 5.223 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.223 * [taylor]: Taking taylor expansion of y in x 5.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.223 * [taylor]: Taking taylor expansion of x in x 5.223 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 5.223 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 5.223 * [taylor]: Taking taylor expansion of 0.005 in x 5.223 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.223 * [taylor]: Taking taylor expansion of y in x 5.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.223 * [taylor]: Taking taylor expansion of x in x 5.224 * [taylor]: Taking taylor expansion of -1 in y 5.225 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 5.225 * [taylor]: Taking taylor expansion of 0.005 in y 5.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.225 * [taylor]: Taking taylor expansion of y in y 5.227 * [taylor]: Taking taylor expansion of 0 in y 5.229 * [taylor]: Taking taylor expansion of 0 in y 5.233 * [taylor]: Taking taylor expansion of 0 in y 5.233 * * * [progress]: simplifying candidates 5.235 * [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.241 * * [simplify]: iteration 0 : 131 enodes (cost 1981 ) 5.274 * * [simplify]: iteration 1 : 240 enodes (cost 1395 ) 5.318 * * [simplify]: iteration 2 : 632 enodes (cost 1319 ) 5.667 * * [simplify]: iteration 3 : 1782 enodes (cost 1272 ) 6.965 * * [simplify]: iteration 4 : 4871 enodes (cost 1250 ) 7.951 * * [simplify]: iteration done : 5000 enodes (cost 1250 ) 7.952 * [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.953 * * * [progress]: adding candidates to table 8.196 * * [progress]: iteration 4 / 4 8.196 * * * [progress]: picking best candidate 8.200 * * * * [pick]: Picked # 8.200 * * * [progress]: localizing error 8.223 * * * [progress]: generating rewritten candidates 8.223 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 8.253 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 8.329 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 8.387 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 8.427 * * * [progress]: generating series expansions 8.427 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 8.427 * [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.428 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))))) in y 8.428 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y)))) in y 8.428 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.428 * [taylor]: Taking taylor expansion of x in y 8.428 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))) in y 8.428 * [taylor]: Taking taylor expansion of (* 2.5e-05 (pow y 2)) in y 8.428 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.428 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.428 * [taylor]: Taking taylor expansion of y in y 8.428 * [taylor]: Taking taylor expansion of (* 0.005 (* x y)) in y 8.428 * [taylor]: Taking taylor expansion of 0.005 in y 8.428 * [taylor]: Taking taylor expansion of (* x y) in y 8.428 * [taylor]: Taking taylor expansion of x in y 8.428 * [taylor]: Taking taylor expansion of y in y 8.430 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))))) in x 8.430 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y)))) in x 8.430 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.430 * [taylor]: Taking taylor expansion of x in x 8.430 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))) in x 8.430 * [taylor]: Taking taylor expansion of (* 2.5e-05 (pow y 2)) in x 8.430 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.430 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.430 * [taylor]: Taking taylor expansion of y in x 8.430 * [taylor]: Taking taylor expansion of (* 0.005 (* x y)) in x 8.430 * [taylor]: Taking taylor expansion of 0.005 in x 8.430 * [taylor]: Taking taylor expansion of (* x y) in x 8.430 * [taylor]: Taking taylor expansion of x in x 8.430 * [taylor]: Taking taylor expansion of y in x 8.432 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))))) in x 8.432 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y)))) in x 8.432 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.433 * [taylor]: Taking taylor expansion of x in x 8.433 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))) in x 8.433 * [taylor]: Taking taylor expansion of (* 2.5e-05 (pow y 2)) in x 8.433 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.433 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.433 * [taylor]: Taking taylor expansion of y in x 8.433 * [taylor]: Taking taylor expansion of (* 0.005 (* x y)) in x 8.433 * [taylor]: Taking taylor expansion of 0.005 in x 8.433 * [taylor]: Taking taylor expansion of (* x y) in x 8.433 * [taylor]: Taking taylor expansion of x in x 8.433 * [taylor]: Taking taylor expansion of y in x 8.435 * [taylor]: Taking taylor expansion of (* y (sqrt 2.5e-05)) in y 8.435 * [taylor]: Taking taylor expansion of y in y 8.435 * [taylor]: Taking taylor expansion of (sqrt 2.5e-05) in y 8.435 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.436 * [taylor]: Taking taylor expansion of (/ 0.0025 (sqrt 2.5e-05)) in y 8.436 * [taylor]: Taking taylor expansion of 0.0025 in y 8.436 * [taylor]: Taking taylor expansion of (sqrt 2.5e-05) in y 8.436 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.444 * [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.445 * [taylor]: Taking taylor expansion of 1/2 in y 8.445 * [taylor]: Taking taylor expansion of (/ (- 1 (* 6.25e-06 (/ 1 (pow (sqrt 2.5e-05) 2)))) (* (sqrt 2.5e-05) y)) in y 8.445 * [taylor]: Taking taylor expansion of (- 1 (* 6.25e-06 (/ 1 (pow (sqrt 2.5e-05) 2)))) in y 8.445 * [taylor]: Taking taylor expansion of 1 in y 8.445 * [taylor]: Taking taylor expansion of (* 6.25e-06 (/ 1 (pow (sqrt 2.5e-05) 2))) in y 8.445 * [taylor]: Taking taylor expansion of 6.25e-06 in y 8.445 * [taylor]: Taking taylor expansion of (/ 1 (pow (sqrt 2.5e-05) 2)) in y 8.445 * [taylor]: Taking taylor expansion of (pow (sqrt 2.5e-05) 2) in y 8.445 * [taylor]: Taking taylor expansion of (sqrt 2.5e-05) in y 8.445 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.448 * [taylor]: Taking taylor expansion of (* (sqrt 2.5e-05) y) in y 8.448 * [taylor]: Taking taylor expansion of (sqrt 2.5e-05) in y 8.448 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.448 * [taylor]: Taking taylor expansion of y in y 8.476 * [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.476 * [taylor]: Taking taylor expansion of 1/2 in y 8.476 * [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.476 * [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.476 * [taylor]: Taking taylor expansion of (* 1.5625000000000003e-08 (/ 1 (* (pow (sqrt 2.5e-05) 4) y))) in y 8.476 * [taylor]: Taking taylor expansion of 1.5625000000000003e-08 in y 8.476 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 2.5e-05) 4) y)) in y 8.476 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.5e-05) 4) y) in y 8.476 * [taylor]: Taking taylor expansion of (pow (sqrt 2.5e-05) 4) in y 8.476 * [taylor]: Taking taylor expansion of (sqrt 2.5e-05) in y 8.476 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.477 * [taylor]: Taking taylor expansion of y in y 8.484 * [taylor]: Taking taylor expansion of (* 0.0025 (/ 1 (* (pow (sqrt 2.5e-05) 2) y))) in y 8.484 * [taylor]: Taking taylor expansion of 0.0025 in y 8.484 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 2.5e-05) 2) y)) in y 8.484 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.5e-05) 2) y) in y 8.484 * [taylor]: Taking taylor expansion of (pow (sqrt 2.5e-05) 2) in y 8.484 * [taylor]: Taking taylor expansion of (sqrt 2.5e-05) in y 8.484 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.485 * [taylor]: Taking taylor expansion of y in y 8.489 * [taylor]: Taking taylor expansion of (* (sqrt 2.5e-05) y) in y 8.490 * [taylor]: Taking taylor expansion of (sqrt 2.5e-05) in y 8.490 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.490 * [taylor]: Taking taylor expansion of y in y 8.549 * [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.550 * [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.550 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in y 8.550 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.550 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.550 * [taylor]: Taking taylor expansion of x in y 8.550 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in y 8.550 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in y 8.550 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.550 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.550 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.550 * [taylor]: Taking taylor expansion of y in y 8.551 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in y 8.551 * [taylor]: Taking taylor expansion of 0.005 in y 8.551 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 8.551 * [taylor]: Taking taylor expansion of (* x y) in y 8.551 * [taylor]: Taking taylor expansion of x in y 8.551 * [taylor]: Taking taylor expansion of y in y 8.554 * [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.554 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in x 8.554 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.554 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.554 * [taylor]: Taking taylor expansion of x in x 8.555 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in x 8.555 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in x 8.555 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.555 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.555 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.555 * [taylor]: Taking taylor expansion of y in x 8.555 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in x 8.555 * [taylor]: Taking taylor expansion of 0.005 in x 8.555 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.555 * [taylor]: Taking taylor expansion of (* x y) in x 8.555 * [taylor]: Taking taylor expansion of x in x 8.555 * [taylor]: Taking taylor expansion of y in x 8.557 * [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.557 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in x 8.557 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.557 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.557 * [taylor]: Taking taylor expansion of x in x 8.558 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in x 8.558 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in x 8.558 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.558 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.558 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.558 * [taylor]: Taking taylor expansion of y in x 8.558 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in x 8.558 * [taylor]: Taking taylor expansion of 0.005 in x 8.558 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.558 * [taylor]: Taking taylor expansion of (* x y) in x 8.558 * [taylor]: Taking taylor expansion of x in x 8.558 * [taylor]: Taking taylor expansion of y in x 8.561 * [taylor]: Taking taylor expansion of 1 in y 8.561 * [taylor]: Taking taylor expansion of (/ 0.0025 y) in y 8.561 * [taylor]: Taking taylor expansion of 0.0025 in y 8.561 * [taylor]: Taking taylor expansion of y in y 8.564 * [taylor]: Taking taylor expansion of (/ 9.375000000000001e-06 (pow y 2)) in y 8.564 * [taylor]: Taking taylor expansion of 9.375000000000001e-06 in y 8.564 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.564 * [taylor]: Taking taylor expansion of y in y 8.570 * [taylor]: Taking taylor expansion of (/ -2.3437500000000004e-08 (pow y 3)) in y 8.570 * [taylor]: Taking taylor expansion of -2.3437500000000004e-08 in y 8.571 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.571 * [taylor]: Taking taylor expansion of y in y 8.576 * [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.576 * [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.576 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in y 8.576 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.576 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.576 * [taylor]: Taking taylor expansion of x in y 8.577 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in y 8.577 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in y 8.577 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.577 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.577 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.577 * [taylor]: Taking taylor expansion of y in y 8.577 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in y 8.577 * [taylor]: Taking taylor expansion of 0.005 in y 8.577 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 8.577 * [taylor]: Taking taylor expansion of (* x y) in y 8.577 * [taylor]: Taking taylor expansion of x in y 8.577 * [taylor]: Taking taylor expansion of y in y 8.581 * [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.581 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in x 8.581 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.581 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.581 * [taylor]: Taking taylor expansion of x in x 8.581 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in x 8.581 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in x 8.581 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.581 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.581 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.581 * [taylor]: Taking taylor expansion of y in x 8.582 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in x 8.582 * [taylor]: Taking taylor expansion of 0.005 in x 8.582 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.582 * [taylor]: Taking taylor expansion of (* x y) in x 8.582 * [taylor]: Taking taylor expansion of x in x 8.582 * [taylor]: Taking taylor expansion of y in x 8.584 * [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.584 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in x 8.584 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.584 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.584 * [taylor]: Taking taylor expansion of x in x 8.585 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in x 8.585 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in x 8.585 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.585 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.585 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.585 * [taylor]: Taking taylor expansion of y in x 8.585 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in x 8.585 * [taylor]: Taking taylor expansion of 0.005 in x 8.585 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.585 * [taylor]: Taking taylor expansion of (* x y) in x 8.585 * [taylor]: Taking taylor expansion of x in x 8.585 * [taylor]: Taking taylor expansion of y in x 8.587 * [taylor]: Taking taylor expansion of 1 in y 8.587 * [taylor]: Taking taylor expansion of (/ 0.0025 y) in y 8.587 * [taylor]: Taking taylor expansion of 0.0025 in y 8.587 * [taylor]: Taking taylor expansion of y in y 8.591 * [taylor]: Taking taylor expansion of (/ 9.375000000000001e-06 (pow y 2)) in y 8.591 * [taylor]: Taking taylor expansion of 9.375000000000001e-06 in y 8.591 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.591 * [taylor]: Taking taylor expansion of y in y 8.600 * [taylor]: Taking taylor expansion of (/ -2.3437500000000004e-08 (pow y 3)) in y 8.600 * [taylor]: Taking taylor expansion of -2.3437500000000004e-08 in y 8.600 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.601 * [taylor]: Taking taylor expansion of y in y 8.606 * * * * [progress]: [ 2 / 4 ] generating series at (2) 8.607 * [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.607 * [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.607 * [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.607 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) (- x (* 0.005 y))) in y 8.607 * [taylor]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in y 8.607 * [taylor]: Taking taylor expansion of (pow x 3) in y 8.607 * [taylor]: Taking taylor expansion of x in y 8.607 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in y 8.607 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.607 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.607 * [taylor]: Taking taylor expansion of y in y 8.607 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in y 8.607 * [taylor]: Taking taylor expansion of x in y 8.607 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 8.607 * [taylor]: Taking taylor expansion of 0.005 in y 8.607 * [taylor]: Taking taylor expansion of y in y 8.607 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y)))) in y 8.607 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.607 * [taylor]: Taking taylor expansion of x in y 8.607 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))) in y 8.607 * [taylor]: Taking taylor expansion of (* 2.5e-05 (pow y 2)) in y 8.607 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.607 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.607 * [taylor]: Taking taylor expansion of y in y 8.607 * [taylor]: Taking taylor expansion of (* 0.005 (* x y)) in y 8.607 * [taylor]: Taking taylor expansion of 0.005 in y 8.607 * [taylor]: Taking taylor expansion of (* x y) in y 8.607 * [taylor]: Taking taylor expansion of x in y 8.607 * [taylor]: Taking taylor expansion of y in y 8.612 * [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.612 * [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.612 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) (- x (* 0.005 y))) in x 8.612 * [taylor]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in x 8.612 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.613 * [taylor]: Taking taylor expansion of x in x 8.613 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in x 8.613 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.613 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.613 * [taylor]: Taking taylor expansion of y in x 8.613 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 8.613 * [taylor]: Taking taylor expansion of x in x 8.613 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 8.613 * [taylor]: Taking taylor expansion of 0.005 in x 8.613 * [taylor]: Taking taylor expansion of y in x 8.613 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y)))) in x 8.613 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.613 * [taylor]: Taking taylor expansion of x in x 8.613 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))) in x 8.613 * [taylor]: Taking taylor expansion of (* 2.5e-05 (pow y 2)) in x 8.613 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.613 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.613 * [taylor]: Taking taylor expansion of y in x 8.613 * [taylor]: Taking taylor expansion of (* 0.005 (* x y)) in x 8.613 * [taylor]: Taking taylor expansion of 0.005 in x 8.613 * [taylor]: Taking taylor expansion of (* x y) in x 8.613 * [taylor]: Taking taylor expansion of x in x 8.613 * [taylor]: Taking taylor expansion of y in x 8.618 * [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.618 * [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.618 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) (- x (* 0.005 y))) in x 8.618 * [taylor]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in x 8.618 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.618 * [taylor]: Taking taylor expansion of x in x 8.618 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in x 8.618 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.618 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.618 * [taylor]: Taking taylor expansion of y in x 8.618 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 8.618 * [taylor]: Taking taylor expansion of x in x 8.618 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 8.618 * [taylor]: Taking taylor expansion of 0.005 in x 8.618 * [taylor]: Taking taylor expansion of y in x 8.618 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y)))) in x 8.618 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.618 * [taylor]: Taking taylor expansion of x in x 8.618 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (pow y 2)) (* 0.005 (* x y))) in x 8.618 * [taylor]: Taking taylor expansion of (* 2.5e-05 (pow y 2)) in x 8.618 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.618 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.618 * [taylor]: Taking taylor expansion of y in x 8.618 * [taylor]: Taking taylor expansion of (* 0.005 (* x y)) in x 8.618 * [taylor]: Taking taylor expansion of 0.005 in x 8.618 * [taylor]: Taking taylor expansion of (* x y) in x 8.618 * [taylor]: Taking taylor expansion of x in x 8.618 * [taylor]: Taking taylor expansion of y in x 8.623 * [taylor]: Taking taylor expansion of (* (sqrt 2.5000000000000005e-05) 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.624 * [taylor]: Taking taylor expansion of y in y 8.625 * [taylor]: Taking taylor expansion of (/ -0.005000000000000001 (sqrt 2.5000000000000005e-05)) in y 8.625 * [taylor]: Taking taylor expansion of -0.005000000000000001 in y 8.625 * [taylor]: Taking taylor expansion of (sqrt 2.5000000000000005e-05) in y 8.625 * [taylor]: Taking taylor expansion of 2.5000000000000005e-05 in y 8.637 * [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.637 * [taylor]: Taking taylor expansion of 1/2 in y 8.637 * [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.637 * [taylor]: Taking taylor expansion of (- 1.0000000000000002 (* 2.500000000000001e-05 (/ 1 (pow (sqrt 2.5000000000000005e-05) 2)))) in y 8.637 * [taylor]: Taking taylor expansion of 1.0000000000000002 in y 8.637 * [taylor]: Taking taylor expansion of (* 2.500000000000001e-05 (/ 1 (pow (sqrt 2.5000000000000005e-05) 2))) in y 8.637 * [taylor]: Taking taylor expansion of 2.500000000000001e-05 in y 8.637 * [taylor]: Taking taylor expansion of (/ 1 (pow (sqrt 2.5000000000000005e-05) 2)) in y 8.637 * [taylor]: Taking taylor expansion of (pow (sqrt 2.5000000000000005e-05) 2) in y 8.637 * [taylor]: Taking taylor expansion of (sqrt 2.5000000000000005e-05) in y 8.637 * [taylor]: Taking taylor expansion of 2.5000000000000005e-05 in y 8.640 * [taylor]: Taking taylor expansion of (* y (sqrt 2.5000000000000005e-05)) in y 8.640 * [taylor]: Taking taylor expansion of y in y 8.640 * [taylor]: Taking taylor expansion of (sqrt 2.5000000000000005e-05) in y 8.640 * [taylor]: Taking taylor expansion of 2.5000000000000005e-05 in y 8.673 * [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.673 * [taylor]: Taking taylor expansion of 1/2 in y 8.673 * [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.673 * [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.673 * [taylor]: Taking taylor expansion of (* 0.005000000000000002 (/ 1 (* (pow (sqrt 2.5000000000000005e-05) 2) y))) in y 8.673 * [taylor]: Taking taylor expansion of 0.005000000000000002 in y 8.673 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 2.5000000000000005e-05) 2) y)) in y 8.673 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.5000000000000005e-05) 2) y) in y 8.673 * [taylor]: Taking taylor expansion of (pow (sqrt 2.5000000000000005e-05) 2) in y 8.673 * [taylor]: Taking taylor expansion of (sqrt 2.5000000000000005e-05) in y 8.673 * [taylor]: Taking taylor expansion of 2.5000000000000005e-05 in y 8.674 * [taylor]: Taking taylor expansion of y in y 8.678 * [taylor]: Taking taylor expansion of (* 1.2500000000000007e-07 (/ 1 (* (pow (sqrt 2.5000000000000005e-05) 4) y))) in y 8.679 * [taylor]: Taking taylor expansion of 1.2500000000000007e-07 in y 8.679 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 2.5000000000000005e-05) 4) y)) in y 8.679 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.5000000000000005e-05) 4) y) in y 8.679 * [taylor]: Taking taylor expansion of (pow (sqrt 2.5000000000000005e-05) 4) in y 8.679 * [taylor]: Taking taylor expansion of (sqrt 2.5000000000000005e-05) in y 8.679 * [taylor]: Taking taylor expansion of 2.5000000000000005e-05 in y 8.679 * [taylor]: Taking taylor expansion of y in y 8.690 * [taylor]: Taking taylor expansion of (* (sqrt 2.5000000000000005e-05) y) in y 8.690 * [taylor]: Taking taylor expansion of (sqrt 2.5000000000000005e-05) in y 8.690 * [taylor]: Taking taylor expansion of 2.5000000000000005e-05 in y 8.691 * [taylor]: Taking taylor expansion of y in y 8.742 * [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.743 * [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.743 * [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.743 * [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.743 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in y 8.743 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 8.743 * [taylor]: Taking taylor expansion of (pow x 3) in y 8.743 * [taylor]: Taking taylor expansion of x in y 8.743 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 8.743 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.743 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.743 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.743 * [taylor]: Taking taylor expansion of y in y 8.744 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in y 8.744 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.744 * [taylor]: Taking taylor expansion of x in y 8.744 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 8.744 * [taylor]: Taking taylor expansion of 0.005 in y 8.744 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.744 * [taylor]: Taking taylor expansion of y in y 8.744 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in y 8.744 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.744 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.744 * [taylor]: Taking taylor expansion of x in y 8.745 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in y 8.745 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in y 8.745 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.745 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.745 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.745 * [taylor]: Taking taylor expansion of y in y 8.745 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in y 8.745 * [taylor]: Taking taylor expansion of 0.005 in y 8.745 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 8.745 * [taylor]: Taking taylor expansion of (* x y) in y 8.745 * [taylor]: Taking taylor expansion of x in y 8.745 * [taylor]: Taking taylor expansion of y in y 8.756 * [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.756 * [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.756 * [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.756 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in x 8.756 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 8.756 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.756 * [taylor]: Taking taylor expansion of x in x 8.756 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 8.756 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.756 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 8.756 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.757 * [taylor]: Taking taylor expansion of y in x 8.757 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 8.757 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.757 * [taylor]: Taking taylor expansion of x in x 8.757 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 8.757 * [taylor]: Taking taylor expansion of 0.005 in x 8.757 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.757 * [taylor]: Taking taylor expansion of y in x 8.757 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in x 8.757 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.757 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.757 * [taylor]: Taking taylor expansion of x in x 8.758 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in x 8.758 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in x 8.758 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.758 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.758 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.758 * [taylor]: Taking taylor expansion of y in x 8.758 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in x 8.758 * [taylor]: Taking taylor expansion of 0.005 in x 8.758 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.758 * [taylor]: Taking taylor expansion of (* x y) in x 8.758 * [taylor]: Taking taylor expansion of x in x 8.758 * [taylor]: Taking taylor expansion of y in x 8.763 * [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.763 * [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.763 * [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.763 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in x 8.763 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 8.763 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.763 * [taylor]: Taking taylor expansion of x in x 8.764 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 8.764 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.764 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 8.764 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.764 * [taylor]: Taking taylor expansion of y in x 8.764 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 8.764 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.764 * [taylor]: Taking taylor expansion of x in x 8.765 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 8.765 * [taylor]: Taking taylor expansion of 0.005 in x 8.765 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.765 * [taylor]: Taking taylor expansion of y in x 8.765 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in x 8.765 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.765 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.765 * [taylor]: Taking taylor expansion of x in x 8.765 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in x 8.765 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in x 8.765 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.765 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.765 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.765 * [taylor]: Taking taylor expansion of y in x 8.766 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in x 8.766 * [taylor]: Taking taylor expansion of 0.005 in x 8.766 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.766 * [taylor]: Taking taylor expansion of (* x y) in x 8.766 * [taylor]: Taking taylor expansion of x in x 8.766 * [taylor]: Taking taylor expansion of y in x 8.775 * [taylor]: Taking taylor expansion of 1 in y 8.775 * [taylor]: Taking taylor expansion of (/ -0.005 y) in y 8.775 * [taylor]: Taking taylor expansion of -0.005 in y 8.775 * [taylor]: Taking taylor expansion of y in y 8.782 * [taylor]: Taking taylor expansion of 0 in y 8.791 * [taylor]: Taking taylor expansion of 0 in y 8.803 * [taylor]: Taking taylor expansion of (/ 5.169878828456423e-26 (pow y 4)) in y 8.803 * [taylor]: Taking taylor expansion of 5.169878828456423e-26 in y 8.804 * [taylor]: Taking taylor expansion of (pow y 4) in y 8.804 * [taylor]: Taking taylor expansion of y in y 8.809 * [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.809 * [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.809 * [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.809 * [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.810 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in y 8.810 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 8.810 * [taylor]: Taking taylor expansion of 0.005 in y 8.810 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.810 * [taylor]: Taking taylor expansion of y in y 8.810 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.810 * [taylor]: Taking taylor expansion of x in y 8.810 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in y 8.810 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 8.810 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.810 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.810 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.810 * [taylor]: Taking taylor expansion of y in y 8.811 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 8.811 * [taylor]: Taking taylor expansion of (pow x 3) in y 8.811 * [taylor]: Taking taylor expansion of x in y 8.811 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in y 8.811 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.811 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.811 * [taylor]: Taking taylor expansion of x in y 8.811 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in y 8.811 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in y 8.811 * [taylor]: Taking taylor expansion of 2.5e-05 in y 8.811 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.811 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.811 * [taylor]: Taking taylor expansion of y in y 8.812 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in y 8.812 * [taylor]: Taking taylor expansion of 0.005 in y 8.812 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 8.812 * [taylor]: Taking taylor expansion of (* x y) in y 8.812 * [taylor]: Taking taylor expansion of x in y 8.812 * [taylor]: Taking taylor expansion of y in y 8.819 * [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.820 * [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.820 * [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.820 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 8.820 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 8.820 * [taylor]: Taking taylor expansion of 0.005 in x 8.820 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.820 * [taylor]: Taking taylor expansion of y in x 8.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.820 * [taylor]: Taking taylor expansion of x in x 8.820 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in x 8.820 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 8.820 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.820 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 8.820 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.820 * [taylor]: Taking taylor expansion of y in x 8.820 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 8.820 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.820 * [taylor]: Taking taylor expansion of x in x 8.821 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in x 8.821 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.821 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.821 * [taylor]: Taking taylor expansion of x in x 8.822 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in x 8.822 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in x 8.822 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.822 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.822 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.822 * [taylor]: Taking taylor expansion of y in x 8.822 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in x 8.822 * [taylor]: Taking taylor expansion of 0.005 in x 8.822 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.822 * [taylor]: Taking taylor expansion of (* x y) in x 8.822 * [taylor]: Taking taylor expansion of x in x 8.822 * [taylor]: Taking taylor expansion of y in x 8.828 * [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.828 * [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.828 * [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.828 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 8.828 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 8.828 * [taylor]: Taking taylor expansion of 0.005 in x 8.828 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.828 * [taylor]: Taking taylor expansion of y in x 8.828 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.828 * [taylor]: Taking taylor expansion of x in x 8.829 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in x 8.829 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 8.829 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.829 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 8.829 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.829 * [taylor]: Taking taylor expansion of y in x 8.829 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 8.829 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.829 * [taylor]: Taking taylor expansion of x in x 8.830 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y))))) in x 8.830 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.830 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.830 * [taylor]: Taking taylor expansion of x in x 8.830 * [taylor]: Taking taylor expansion of (+ (* 2.5e-05 (/ 1 (pow y 2))) (* 0.005 (/ 1 (* x y)))) in x 8.830 * [taylor]: Taking taylor expansion of (* 2.5e-05 (/ 1 (pow y 2))) in x 8.830 * [taylor]: Taking taylor expansion of 2.5e-05 in x 8.830 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.830 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.830 * [taylor]: Taking taylor expansion of y in x 8.831 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 (* x y))) in x 8.831 * [taylor]: Taking taylor expansion of 0.005 in x 8.831 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.831 * [taylor]: Taking taylor expansion of (* x y) in x 8.831 * [taylor]: Taking taylor expansion of x in x 8.831 * [taylor]: Taking taylor expansion of y in x 8.837 * [taylor]: Taking taylor expansion of 1 in y 8.837 * [taylor]: Taking taylor expansion of (/ -0.005 y) in y 8.837 * [taylor]: Taking taylor expansion of -0.005 in y 8.837 * [taylor]: Taking taylor expansion of y in y 8.844 * [taylor]: Taking taylor expansion of 0 in y 8.856 * [taylor]: Taking taylor expansion of 0 in y 8.869 * [taylor]: Taking taylor expansion of (/ 5.169878828456423e-26 (pow y 4)) in y 8.869 * [taylor]: Taking taylor expansion of 5.169878828456423e-26 in y 8.869 * [taylor]: Taking taylor expansion of (pow y 4) in y 8.869 * [taylor]: Taking taylor expansion of y in y 8.874 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 8.874 * [approximate]: Taking taylor expansion of (sqrt (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3)))) in (x y) around 0 8.874 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3)))) in y 8.874 * [taylor]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in y 8.874 * [taylor]: Taking taylor expansion of (pow x 3) in y 8.874 * [taylor]: Taking taylor expansion of x in y 8.874 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in y 8.874 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.874 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.874 * [taylor]: Taking taylor expansion of y in y 8.875 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3)))) in x 8.875 * [taylor]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in x 8.875 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.875 * [taylor]: Taking taylor expansion of x in x 8.875 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in x 8.875 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.875 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.875 * [taylor]: Taking taylor expansion of y in x 8.877 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3)))) in x 8.877 * [taylor]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in x 8.877 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.877 * [taylor]: Taking taylor expansion of x in x 8.877 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in x 8.877 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.877 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.877 * [taylor]: Taking taylor expansion of y in x 8.878 * [taylor]: Taking taylor expansion of (sqrt (- (* 1.2500000000000002e-07 (pow y 3)))) in y 8.878 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (pow y 3))) in y 8.878 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in y 8.878 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.878 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.878 * [taylor]: Taking taylor expansion of y in y 8.881 * [taylor]: Taking taylor expansion of 0 in y 8.883 * [taylor]: Taking taylor expansion of 0 in y 8.887 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (* 1.2500000000000002e-07 (pow y 3))))) in y 8.887 * [taylor]: Taking taylor expansion of 1/2 in y 8.887 * [taylor]: Taking taylor expansion of (sqrt (- (* 1.2500000000000002e-07 (pow y 3)))) in y 8.887 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (pow y 3))) in y 8.887 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in y 8.887 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.887 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.887 * [taylor]: Taking taylor expansion of y in y 8.905 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3))))) in (x y) around 0 8.905 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3))))) in y 8.905 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in y 8.905 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 8.905 * [taylor]: Taking taylor expansion of (pow x 3) in y 8.905 * [taylor]: Taking taylor expansion of x in y 8.906 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 8.906 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.906 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.906 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.906 * [taylor]: Taking taylor expansion of y in y 8.909 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3))))) in x 8.909 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in x 8.909 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 8.909 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.909 * [taylor]: Taking taylor expansion of x in x 8.910 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 8.910 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.910 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 8.910 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.910 * [taylor]: Taking taylor expansion of y in x 8.911 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3))))) in x 8.911 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in x 8.911 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 8.911 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.911 * [taylor]: Taking taylor expansion of x in x 8.912 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 8.912 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.912 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 8.912 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.912 * [taylor]: Taking taylor expansion of y in x 8.914 * [taylor]: Taking taylor expansion of 0 in y 8.914 * [taylor]: Taking taylor expansion of +nan.0 in y 8.917 * [taylor]: Taking taylor expansion of +nan.0 in y 8.921 * [taylor]: Taking taylor expansion of +nan.0 in y 8.924 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (- +nan.0))) in y 8.924 * [taylor]: Taking taylor expansion of +nan.0 in y 8.924 * [taylor]: Taking taylor expansion of (+ (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (- +nan.0)) in y 8.924 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 8.924 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.924 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.924 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.924 * [taylor]: Taking taylor expansion of y in y 8.925 * [taylor]: Taking taylor expansion of (- +nan.0) in y 8.925 * [taylor]: Taking taylor expansion of +nan.0 in y 8.932 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 3))) (- +nan.0))) in y 8.932 * [taylor]: Taking taylor expansion of +nan.0 in y 8.932 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 3))) (- +nan.0)) in y 8.932 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in y 8.932 * [taylor]: Taking taylor expansion of +nan.0 in y 8.932 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.932 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.932 * [taylor]: Taking taylor expansion of y in y 8.933 * [taylor]: Taking taylor expansion of (- +nan.0) in y 8.933 * [taylor]: Taking taylor expansion of +nan.0 in y 8.942 * [approximate]: Taking taylor expansion of (sqrt (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3)))) in (x y) around 0 8.942 * [taylor]: Taking taylor expansion of (sqrt (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3)))) in y 8.942 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in y 8.942 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 8.942 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.942 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.942 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.942 * [taylor]: Taking taylor expansion of y in y 8.943 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 8.943 * [taylor]: Taking taylor expansion of (pow x 3) in y 8.943 * [taylor]: Taking taylor expansion of x in y 8.944 * [taylor]: Taking taylor expansion of (sqrt (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3)))) in x 8.944 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in x 8.944 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 8.944 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.944 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 8.944 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.944 * [taylor]: Taking taylor expansion of y in x 8.945 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 8.945 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.945 * [taylor]: Taking taylor expansion of x in x 8.947 * [taylor]: Taking taylor expansion of (sqrt (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3)))) in x 8.947 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in x 8.947 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 8.947 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.947 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 8.947 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.947 * [taylor]: Taking taylor expansion of y in x 8.947 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 8.947 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.947 * [taylor]: Taking taylor expansion of x in x 8.949 * [taylor]: Taking taylor expansion of 0 in y 8.949 * [taylor]: Taking taylor expansion of +nan.0 in y 8.953 * [taylor]: Taking taylor expansion of +nan.0 in y 8.957 * [taylor]: Taking taylor expansion of +nan.0 in y 8.961 * [taylor]: Taking taylor expansion of (* +nan.0 (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) +nan.0)) in y 8.961 * [taylor]: Taking taylor expansion of +nan.0 in y 8.961 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) +nan.0) in y 8.961 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 8.961 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.961 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.961 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.961 * [taylor]: Taking taylor expansion of y in y 8.962 * [taylor]: Taking taylor expansion of +nan.0 in y 8.968 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 3))) (- +nan.0))) in y 8.969 * [taylor]: Taking taylor expansion of +nan.0 in y 8.969 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 3))) (- +nan.0)) in y 8.969 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in y 8.969 * [taylor]: Taking taylor expansion of +nan.0 in y 8.969 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.969 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.969 * [taylor]: Taking taylor expansion of y in y 8.969 * [taylor]: Taking taylor expansion of (- +nan.0) in y 8.969 * [taylor]: Taking taylor expansion of +nan.0 in y 8.975 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 8.975 * [approximate]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in (x y) around 0 8.975 * [taylor]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in y 8.975 * [taylor]: Taking taylor expansion of (pow x 3) in y 8.975 * [taylor]: Taking taylor expansion of x in y 8.975 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in y 8.975 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.975 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.975 * [taylor]: Taking taylor expansion of y in y 8.975 * [taylor]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in x 8.975 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.975 * [taylor]: Taking taylor expansion of x in x 8.976 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in x 8.976 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.976 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.976 * [taylor]: Taking taylor expansion of y in x 8.976 * [taylor]: Taking taylor expansion of (- (pow x 3) (* 1.2500000000000002e-07 (pow y 3))) in x 8.976 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.976 * [taylor]: Taking taylor expansion of x in x 8.976 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in x 8.976 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.976 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.976 * [taylor]: Taking taylor expansion of y in x 8.976 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (pow y 3))) in y 8.976 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (pow y 3)) in y 8.976 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.976 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.976 * [taylor]: Taking taylor expansion of y in y 8.977 * [taylor]: Taking taylor expansion of 0 in y 8.979 * [taylor]: Taking taylor expansion of 0 in y 8.982 * [taylor]: Taking taylor expansion of 1 in y 8.986 * [taylor]: Taking taylor expansion of 0 in y 8.992 * [taylor]: Taking taylor expansion of 0 in y 8.993 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in (x y) around 0 8.993 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in y 8.993 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 8.993 * [taylor]: Taking taylor expansion of (pow x 3) in y 8.993 * [taylor]: Taking taylor expansion of x in y 8.993 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 8.993 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 8.993 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.993 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.993 * [taylor]: Taking taylor expansion of y in y 8.994 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in x 8.994 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 8.994 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.994 * [taylor]: Taking taylor expansion of x in x 8.995 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 8.995 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.995 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 8.995 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.995 * [taylor]: Taking taylor expansion of y in x 8.995 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) 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.996 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 8.996 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 8.996 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 8.996 * [taylor]: Taking taylor expansion of (pow y 3) in x 8.996 * [taylor]: Taking taylor expansion of y in x 8.997 * [taylor]: Taking taylor expansion of 1 in y 8.998 * [taylor]: Taking taylor expansion of 0 in y 9.000 * [taylor]: Taking taylor expansion of 0 in y 9.002 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3)))) in y 9.002 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 9.002 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 9.002 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 9.002 * [taylor]: Taking taylor expansion of (pow y 3) in y 9.002 * [taylor]: Taking taylor expansion of y in y 9.006 * [taylor]: Taking taylor expansion of 0 in y 9.012 * [taylor]: Taking taylor expansion of 0 in y 9.015 * [approximate]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in (x y) around 0 9.015 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in y 9.015 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 9.015 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 9.015 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 9.015 * [taylor]: Taking taylor expansion of (pow y 3) in y 9.015 * [taylor]: Taking taylor expansion of y in y 9.016 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 9.016 * [taylor]: Taking taylor expansion of (pow x 3) in y 9.016 * [taylor]: Taking taylor expansion of x in y 9.016 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in x 9.016 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 9.016 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 9.016 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 9.016 * [taylor]: Taking taylor expansion of (pow y 3) in x 9.016 * [taylor]: Taking taylor expansion of y in x 9.016 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 9.016 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.016 * [taylor]: Taking taylor expansion of x in x 9.017 * [taylor]: Taking taylor expansion of (- (* 1.2500000000000002e-07 (/ 1 (pow y 3))) (/ 1 (pow x 3))) in x 9.017 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in x 9.017 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in x 9.017 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 9.017 * [taylor]: Taking taylor expansion of (pow y 3) in x 9.017 * [taylor]: Taking taylor expansion of y in x 9.017 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 9.017 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.017 * [taylor]: Taking taylor expansion of x in x 9.019 * [taylor]: Taking taylor expansion of -1 in y 9.020 * [taylor]: Taking taylor expansion of 0 in y 9.022 * [taylor]: Taking taylor expansion of 0 in y 9.027 * [taylor]: Taking taylor expansion of (* 1.2500000000000002e-07 (/ 1 (pow y 3))) in y 9.027 * [taylor]: Taking taylor expansion of 1.2500000000000002e-07 in y 9.027 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 9.027 * [taylor]: Taking taylor expansion of (pow y 3) in y 9.027 * [taylor]: Taking taylor expansion of y in y 9.031 * [taylor]: Taking taylor expansion of 0 in y 9.037 * [taylor]: Taking taylor expansion of 0 in y 9.039 * * * [progress]: simplifying candidates 9.042 * [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.051 * * [simplify]: iteration 0 : 242 enodes (cost 4162 ) 9.096 * * [simplify]: iteration 1 : 539 enodes (cost 3461 ) 9.251 * * [simplify]: iteration 2 : 1636 enodes (cost 3259 ) 9.824 * * [simplify]: iteration done : 5001 enodes (cost 3256 ) 9.825 * [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.827 * * * [progress]: adding candidates to table 10.336 * [progress]: [Phase 3 of 3] Extracting. 10.336 * * [regime]: Finding splitpoints for: (# # # #) 10.336 * * * [regime-changes]: Trying 4 branch expressions: ((/ y 200.0) (- x (/ y 200.0)) y x) 10.336 * * * * [regimes]: Trying to branch on (/ y 200.0) from (# # # #) 10.357 * * * * [regimes]: Trying to branch on (- x (/ y 200.0)) from (# # # #) 10.375 * * * * [regimes]: Trying to branch on y from (# # # #) 10.396 * * * * [regimes]: Trying to branch on x from (# # # #) 10.413 * * * [regime]: Found split indices: #