6.641 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.009 * * * [progress]: [2/2] Setting up program. 0.011 * [progress]: [Phase 2 of 3] Improving. 0.012 * [simplify]: Simplifying using # : (* 500.0 (- x y)) 0.015 * * [simplify]: iteration 0 : 8 enodes (cost 2 ) 0.017 * * [simplify]: iteration 1 : 15 enodes (cost 2 ) 0.019 * * [simplify]: iteration 2 : 23 enodes (cost 2 ) 0.021 * * [simplify]: iteration 3 : 31 enodes (cost 2 ) 0.023 * * [simplify]: iteration 4 : 33 enodes (cost 2 ) 0.025 * * [simplify]: iteration 5 : 33 enodes (cost 2 ) 0.025 * [simplify]: Simplified to: (* 500.0 (- x y)) 0.026 * * [progress]: iteration 1 / 4 0.026 * * * [progress]: picking best candidate 0.027 * * * * [pick]: Picked # 0.027 * * * [progress]: localizing error 0.034 * * * [progress]: generating rewritten candidates 0.034 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.058 * * * [progress]: generating series expansions 0.058 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.058 * [approximate]: Taking taylor expansion of (* 500.0 (- x y)) in (x y) around 0 0.058 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in y 0.058 * [taylor]: Taking taylor expansion of 500.0 in y 0.058 * [taylor]: Taking taylor expansion of (- x y) in y 0.059 * [taylor]: Taking taylor expansion of x in y 0.059 * [taylor]: Taking taylor expansion of y in y 0.059 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in x 0.059 * [taylor]: Taking taylor expansion of 500.0 in x 0.059 * [taylor]: Taking taylor expansion of (- x y) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [taylor]: Taking taylor expansion of y in x 0.059 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in x 0.059 * [taylor]: Taking taylor expansion of 500.0 in x 0.059 * [taylor]: Taking taylor expansion of (- x y) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [taylor]: Taking taylor expansion of y in x 0.059 * [taylor]: Taking taylor expansion of (* -500.0 y) in y 0.059 * [taylor]: Taking taylor expansion of -500.0 in y 0.059 * [taylor]: Taking taylor expansion of y in y 0.061 * [taylor]: Taking taylor expansion of 500.0 in y 0.064 * [taylor]: Taking taylor expansion of 0 in y 0.067 * [taylor]: Taking taylor expansion of 0 in y 0.068 * [approximate]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in (x y) around 0 0.068 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in y 0.068 * [taylor]: Taking taylor expansion of 500.0 in y 0.068 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.068 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.068 * [taylor]: Taking taylor expansion of x in y 0.068 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.068 * [taylor]: Taking taylor expansion of y in y 0.069 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in x 0.069 * [taylor]: Taking taylor expansion of 500.0 in x 0.069 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.069 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.069 * [taylor]: Taking taylor expansion of y in x 0.069 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in x 0.070 * [taylor]: Taking taylor expansion of 500.0 in x 0.070 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.070 * [taylor]: Taking taylor expansion of x in x 0.070 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.070 * [taylor]: Taking taylor expansion of y in x 0.071 * [taylor]: Taking taylor expansion of 500.0 in y 0.072 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y))) in y 0.072 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 0.072 * [taylor]: Taking taylor expansion of 500.0 in y 0.072 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.072 * [taylor]: Taking taylor expansion of y in y 0.076 * [taylor]: Taking taylor expansion of 0 in y 0.081 * [taylor]: Taking taylor expansion of 0 in y 0.087 * [taylor]: Taking taylor expansion of 0 in y 0.087 * [approximate]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in (x y) around 0 0.088 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in y 0.088 * [taylor]: Taking taylor expansion of 500.0 in y 0.088 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.088 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.088 * [taylor]: Taking taylor expansion of y in y 0.088 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.088 * [taylor]: Taking taylor expansion of x in y 0.088 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in x 0.088 * [taylor]: Taking taylor expansion of 500.0 in x 0.088 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.088 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.088 * [taylor]: Taking taylor expansion of y in x 0.088 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.088 * [taylor]: Taking taylor expansion of x in x 0.089 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in x 0.089 * [taylor]: Taking taylor expansion of 500.0 in x 0.089 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.089 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.089 * [taylor]: Taking taylor expansion of y in x 0.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.089 * [taylor]: Taking taylor expansion of x in x 0.091 * [taylor]: Taking taylor expansion of -500.0 in y 0.092 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 0.092 * [taylor]: Taking taylor expansion of 500.0 in y 0.092 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.092 * [taylor]: Taking taylor expansion of y in y 0.095 * [taylor]: Taking taylor expansion of 0 in y 0.099 * [taylor]: Taking taylor expansion of 0 in y 0.102 * [taylor]: Taking taylor expansion of 0 in y 0.102 * * * [progress]: simplifying candidates 0.103 * [simplify]: Simplifying using # : (expm1 (* 500.0 (- x y))) (log1p (* 500.0 (- x y))) (* 500.0 (- x y)) (+ (log 500.0) (log (- x y))) (log (* 500.0 (- x y))) (exp (* 500.0 (- x y))) (* (* (* 500.0 500.0) 500.0) (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* 500.0 (- x y))) (cbrt (* 500.0 (- x y)))) (cbrt (* 500.0 (- x y))) (* (* (* 500.0 (- x y)) (* 500.0 (- x y))) (* 500.0 (- x y))) (sqrt (* 500.0 (- x y))) (sqrt (* 500.0 (- x y))) (* (sqrt 500.0) (sqrt (- x y))) (* (sqrt 500.0) (sqrt (- x y))) (* 500.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* 500.0 (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* 500.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y))))) (* 500.0 (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* 500.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (* 500.0 (fma (- y) 1 (* y 1))) (* 500.0 (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* 500.0 (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* 500.0 (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y))))) (* 500.0 (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* 500.0 (fma (sqrt x) (sqrt x) (- (* y 1)))) (* 500.0 (fma (- y) 1 (* y 1))) (* 500.0 (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* 500.0 (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* 500.0 (fma 1 x (- (* (sqrt y) (sqrt y))))) (* 500.0 (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* 500.0 (fma 1 x (- (* y 1)))) (* 500.0 (fma (- y) 1 (* y 1))) (* 500.0 x) (* 500.0 (- y)) (* 500.0 x) (* 500.0 (- y)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) 500.0) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) 500.0) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) 500.0) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) 500.0) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) 500.0) (* (fma (- y) 1 (* y 1)) 500.0) (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) 500.0) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) 500.0) (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) 500.0) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) 500.0) (* (fma (sqrt x) (sqrt x) (- (* y 1))) 500.0) (* (fma (- y) 1 (* y 1)) 500.0) (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) 500.0) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) 500.0) (* (fma 1 x (- (* (sqrt y) (sqrt y)))) 500.0) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) 500.0) (* (fma 1 x (- (* y 1))) 500.0) (* (fma (- y) 1 (* y 1)) 500.0) (* x 500.0) (* (- y) 500.0) (* x 500.0) (* (- y) 500.0) (* 500.0 (* (cbrt (- x y)) (cbrt (- x y)))) (* 500.0 (sqrt (- x y))) (* 500.0 1) (* 500.0 (+ (sqrt x) (sqrt y))) (* 500.0 1) (* (cbrt 500.0) (- x y)) (* (sqrt 500.0) (- x y)) (* 500.0 (- x y)) (* 500.0 (- (pow x 3) (pow y 3))) (* 500.0 (- (* x x) (* y y))) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) 0.107 * * [simplify]: iteration 0 : 190 enodes (cost 356 ) 0.111 * * [simplify]: iteration 1 : 746 enodes (cost 220 ) 0.126 * * [simplify]: iteration 2 : 3412 enodes (cost 190 ) 0.193 * * [simplify]: iteration 3 : 5002 enodes (cost 166 ) 0.194 * [simplify]: Simplified to: (expm1 (* 500.0 (- x y))) (log1p (* 500.0 (- x y))) (* 500.0 (- x y)) (log (* 500.0 (- x y))) (log (* 500.0 (- x y))) (exp (* 500.0 (- x y))) (pow (* 500.0 (- x y)) 3) (* (cbrt (* 500.0 (- x y))) (cbrt (* 500.0 (- x y)))) (cbrt (* 500.0 (- x y))) (pow (* 500.0 (- x y)) 3) (sqrt (* 500.0 (- x y))) (sqrt (* 500.0 (- x y))) (* (sqrt 500.0) (sqrt (- x y))) (* (sqrt 500.0) (sqrt (- x y))) (* 500.0 (- x y)) (* 500.0 (- y y)) (* 500.0 (- x y)) (* 500.0 (- y y)) (* 500.0 (- x y)) (* 500.0 (- y y)) (* 500.0 (- x y)) (* 500.0 (- y y)) (* 500.0 (- x y)) (* 500.0 (- y y)) (* 500.0 (- x y)) (* 500.0 (- y y)) (* 500.0 (- x y)) (* 500.0 (- y y)) (* 500.0 (- x y)) (* 500.0 (- y y)) (* 500.0 (- x y)) (* 500.0 (- y y)) (* 500.0 x) (* 500.0 (- y)) (* 500.0 x) (* 500.0 (- y)) (* 500.0 (- x y)) (* 500.0 (- y y)) (* 500.0 (- x y)) (* 500.0 (- y y)) (* 500.0 (- x y)) (* 500.0 (- y y)) (* 500.0 (- x y)) (* 500.0 (- y y)) (* 500.0 (- x y)) (* 500.0 (- y y)) (* 500.0 (- x y)) (* 500.0 (- y y)) (* 500.0 (- x y)) (* 500.0 (- y y)) (* 500.0 (- x y)) (* 500.0 (- y y)) (* 500.0 (- x y)) (* 500.0 (- y y)) (* 500.0 x) (* 500.0 (- y)) (* 500.0 x) (* 500.0 (- y)) (* 500.0 (* (cbrt (- x y)) (cbrt (- x y)))) (* 500.0 (sqrt (- x y))) 500.0 (* 500.0 (+ (sqrt x) (sqrt y))) 500.0 (* (cbrt 500.0) (- x y)) (* (sqrt 500.0) (- x y)) (* 500.0 (- x y)) (* 500.0 (- (pow x 3) (pow y 3))) (* 500.0 (- (* x x) (* y y))) (* 500.0 (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) 0.195 * * * [progress]: adding candidates to table 0.240 * * [progress]: iteration 2 / 4 0.240 * * * [progress]: picking best candidate 0.244 * * * * [pick]: Picked # 0.244 * * * [progress]: localizing error 0.250 * * * [progress]: generating rewritten candidates 0.250 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.276 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.296 * * * [progress]: generating series expansions 0.296 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.297 * [approximate]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in (x y) around 0 0.297 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in y 0.297 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 0.297 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.297 * [taylor]: Taking taylor expansion of 500.0 in y 0.298 * [taylor]: Taking taylor expansion of (- x y) in y 0.298 * [taylor]: Taking taylor expansion of x in y 0.298 * [taylor]: Taking taylor expansion of y in y 0.298 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in x 0.298 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 0.298 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 0.298 * [taylor]: Taking taylor expansion of 500.0 in x 0.299 * [taylor]: Taking taylor expansion of (- x y) in x 0.299 * [taylor]: Taking taylor expansion of x in x 0.299 * [taylor]: Taking taylor expansion of y in x 0.299 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in x 0.299 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 0.299 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 0.299 * [taylor]: Taking taylor expansion of 500.0 in x 0.300 * [taylor]: Taking taylor expansion of (- x y) in x 0.300 * [taylor]: Taking taylor expansion of x in x 0.300 * [taylor]: Taking taylor expansion of y in x 0.301 * [taylor]: Taking taylor expansion of (* -1 (* y (pow (sqrt 500.0) 2))) in y 0.301 * [taylor]: Taking taylor expansion of -1 in y 0.301 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 500.0) 2)) in y 0.301 * [taylor]: Taking taylor expansion of y in y 0.301 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 0.301 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.301 * [taylor]: Taking taylor expansion of 500.0 in y 0.306 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 0.306 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.306 * [taylor]: Taking taylor expansion of 500.0 in y 0.316 * [taylor]: Taking taylor expansion of 0 in y 0.321 * [taylor]: Taking taylor expansion of 0 in y 0.325 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in (x y) around 0 0.325 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in y 0.325 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.325 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.325 * [taylor]: Taking taylor expansion of x in y 0.325 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.325 * [taylor]: Taking taylor expansion of y in y 0.325 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 0.325 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.325 * [taylor]: Taking taylor expansion of 500.0 in y 0.326 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in x 0.326 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.326 * [taylor]: Taking taylor expansion of x in x 0.326 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.326 * [taylor]: Taking taylor expansion of y in x 0.327 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 0.327 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 0.327 * [taylor]: Taking taylor expansion of 500.0 in x 0.327 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in x 0.327 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.327 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.327 * [taylor]: Taking taylor expansion of x in x 0.328 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.328 * [taylor]: Taking taylor expansion of y in x 0.328 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 0.328 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 0.328 * [taylor]: Taking taylor expansion of 500.0 in x 0.331 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 0.331 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.331 * [taylor]: Taking taylor expansion of 500.0 in y 0.333 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 500.0) 2) y)) in y 0.333 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 500.0) 2) y) in y 0.333 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 0.333 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.333 * [taylor]: Taking taylor expansion of 500.0 in y 0.334 * [taylor]: Taking taylor expansion of y in y 0.346 * [taylor]: Taking taylor expansion of 0 in y 0.352 * [taylor]: Taking taylor expansion of 0 in y 0.359 * [taylor]: Taking taylor expansion of 0 in y 0.361 * [approximate]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in (x y) around 0 0.361 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in y 0.361 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 0.361 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.361 * [taylor]: Taking taylor expansion of 500.0 in y 0.362 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.362 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.362 * [taylor]: Taking taylor expansion of y in y 0.362 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.362 * [taylor]: Taking taylor expansion of x in y 0.362 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in x 0.362 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 0.362 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 0.362 * [taylor]: Taking taylor expansion of 500.0 in x 0.363 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.363 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.363 * [taylor]: Taking taylor expansion of y in x 0.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.363 * [taylor]: Taking taylor expansion of x in x 0.364 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in x 0.364 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 0.364 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 0.364 * [taylor]: Taking taylor expansion of 500.0 in x 0.364 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.364 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.364 * [taylor]: Taking taylor expansion of y in x 0.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.364 * [taylor]: Taking taylor expansion of x in x 0.367 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 0.367 * [taylor]: Taking taylor expansion of -1 in y 0.367 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 0.367 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.367 * [taylor]: Taking taylor expansion of 500.0 in y 0.370 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 500.0) 2) y) in y 0.370 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 0.370 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.370 * [taylor]: Taking taylor expansion of 500.0 in y 0.371 * [taylor]: Taking taylor expansion of y in y 0.379 * [taylor]: Taking taylor expansion of 0 in y 0.385 * [taylor]: Taking taylor expansion of 0 in y 0.393 * [taylor]: Taking taylor expansion of 0 in y 0.395 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.395 * [approximate]: Taking taylor expansion of (* (sqrt 500.0) (- x y)) in (x y) around 0 0.395 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- x y)) in y 0.395 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.395 * [taylor]: Taking taylor expansion of 500.0 in y 0.396 * [taylor]: Taking taylor expansion of (- x y) in y 0.396 * [taylor]: Taking taylor expansion of x in y 0.396 * [taylor]: Taking taylor expansion of y in y 0.396 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- x y)) in x 0.396 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 0.396 * [taylor]: Taking taylor expansion of 500.0 in x 0.397 * [taylor]: Taking taylor expansion of (- x y) in x 0.397 * [taylor]: Taking taylor expansion of x in x 0.397 * [taylor]: Taking taylor expansion of y in x 0.397 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- x y)) in x 0.397 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 0.397 * [taylor]: Taking taylor expansion of 500.0 in x 0.398 * [taylor]: Taking taylor expansion of (- x y) in x 0.398 * [taylor]: Taking taylor expansion of x in x 0.398 * [taylor]: Taking taylor expansion of y in x 0.398 * [taylor]: Taking taylor expansion of (* -1 (* y (sqrt 500.0))) in y 0.398 * [taylor]: Taking taylor expansion of -1 in y 0.398 * [taylor]: Taking taylor expansion of (* y (sqrt 500.0)) in y 0.398 * [taylor]: Taking taylor expansion of y in y 0.398 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.398 * [taylor]: Taking taylor expansion of 500.0 in y 0.400 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.401 * [taylor]: Taking taylor expansion of 500.0 in y 0.406 * [taylor]: Taking taylor expansion of 0 in y 0.410 * [taylor]: Taking taylor expansion of 0 in y 0.412 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in (x y) around 0 0.412 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in y 0.412 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.412 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.412 * [taylor]: Taking taylor expansion of x in y 0.412 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.412 * [taylor]: Taking taylor expansion of y in y 0.412 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.412 * [taylor]: Taking taylor expansion of 500.0 in y 0.413 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in x 0.413 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.413 * [taylor]: Taking taylor expansion of x in x 0.413 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.413 * [taylor]: Taking taylor expansion of y in x 0.413 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 0.413 * [taylor]: Taking taylor expansion of 500.0 in x 0.414 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in x 0.414 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.414 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.414 * [taylor]: Taking taylor expansion of x in x 0.414 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.414 * [taylor]: Taking taylor expansion of y in x 0.414 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 0.415 * [taylor]: Taking taylor expansion of 500.0 in x 0.416 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.416 * [taylor]: Taking taylor expansion of 500.0 in y 0.418 * [taylor]: Taking taylor expansion of (- (/ (sqrt 500.0) y)) in y 0.418 * [taylor]: Taking taylor expansion of (/ (sqrt 500.0) y) in y 0.418 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.418 * [taylor]: Taking taylor expansion of 500.0 in y 0.418 * [taylor]: Taking taylor expansion of y in y 0.422 * [taylor]: Taking taylor expansion of 0 in y 0.426 * [taylor]: Taking taylor expansion of 0 in y 0.433 * [taylor]: Taking taylor expansion of 0 in y 0.435 * [approximate]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0 0.435 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) in y 0.435 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.435 * [taylor]: Taking taylor expansion of 500.0 in y 0.436 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.436 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.436 * [taylor]: Taking taylor expansion of y in y 0.436 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.436 * [taylor]: Taking taylor expansion of x in y 0.436 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) in x 0.436 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 0.436 * [taylor]: Taking taylor expansion of 500.0 in x 0.437 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.437 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.437 * [taylor]: Taking taylor expansion of y in x 0.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.437 * [taylor]: Taking taylor expansion of x in x 0.437 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) in x 0.437 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 0.437 * [taylor]: Taking taylor expansion of 500.0 in x 0.438 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.438 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.438 * [taylor]: Taking taylor expansion of y in x 0.438 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.438 * [taylor]: Taking taylor expansion of x in x 0.439 * [taylor]: Taking taylor expansion of (* -1 (sqrt 500.0)) in y 0.439 * [taylor]: Taking taylor expansion of -1 in y 0.439 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.439 * [taylor]: Taking taylor expansion of 500.0 in y 0.441 * [taylor]: Taking taylor expansion of (/ (sqrt 500.0) y) in y 0.441 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.441 * [taylor]: Taking taylor expansion of 500.0 in y 0.442 * [taylor]: Taking taylor expansion of y in y 0.446 * [taylor]: Taking taylor expansion of 0 in y 0.450 * [taylor]: Taking taylor expansion of 0 in y 0.455 * [taylor]: Taking taylor expansion of 0 in y 0.456 * * * [progress]: simplifying candidates 0.459 * [simplify]: Simplifying using # : (expm1 (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (log1p (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (* (sqrt 500.0) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (* (sqrt 500.0) (- x y))) (+ (log (sqrt 500.0)) (+ (log (sqrt 500.0)) (log (- x y)))) (+ (log (sqrt 500.0)) (log (* (sqrt 500.0) (- x y)))) (log (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (exp (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (* (* (* (sqrt 500.0) (sqrt 500.0)) (sqrt 500.0)) (* (* (* (sqrt 500.0) (sqrt 500.0)) (sqrt 500.0)) (* (* (- x y) (- x y)) (- x y)))) (* (* (* (sqrt 500.0) (sqrt 500.0)) (sqrt 500.0)) (* (* (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (- x y)))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (* (* (* (sqrt 500.0) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (sqrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (sqrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (* (sqrt 500.0) (* (sqrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))))) (* (sqrt 500.0) (* (sqrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (sqrt 500.0) (* (sqrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))))) (* (sqrt 500.0) (* (sqrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))) (* (sqrt 500.0) (* (sqrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))))) (* (sqrt 500.0) (* (sqrt 500.0) (fma (- y) 1 (* y 1)))) (* (sqrt 500.0) (* (sqrt 500.0) (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))))) (* (sqrt 500.0) (* (sqrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (sqrt 500.0) (* (sqrt 500.0) (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))))) (* (sqrt 500.0) (* (sqrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))) (* (sqrt 500.0) (* (sqrt 500.0) (fma (sqrt x) (sqrt x) (- (* y 1))))) (* (sqrt 500.0) (* (sqrt 500.0) (fma (- y) 1 (* y 1)))) (* (sqrt 500.0) (* (sqrt 500.0) (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))))) (* (sqrt 500.0) (* (sqrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (sqrt 500.0) (* (sqrt 500.0) (fma 1 x (- (* (sqrt y) (sqrt y)))))) (* (sqrt 500.0) (* (sqrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))) (* (sqrt 500.0) (* (sqrt 500.0) (fma 1 x (- (* y 1))))) (* (sqrt 500.0) (* (sqrt 500.0) (fma (- y) 1 (* y 1)))) (* (sqrt 500.0) (* (sqrt 500.0) x)) (* (sqrt 500.0) (* (sqrt 500.0) (- y))) (* (sqrt 500.0) (* (sqrt 500.0) x)) (* (sqrt 500.0) (* (sqrt 500.0) (- y))) (* (sqrt 500.0) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 500.0))) (* (sqrt 500.0) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (sqrt 500.0))) (* (sqrt 500.0) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) (sqrt 500.0))) (* (sqrt 500.0) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (sqrt 500.0))) (* (sqrt 500.0) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) (sqrt 500.0))) (* (sqrt 500.0) (* (fma (- y) 1 (* y 1)) (sqrt 500.0))) (* (sqrt 500.0) (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 500.0))) (* (sqrt 500.0) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (sqrt 500.0))) (* (sqrt 500.0) (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) (sqrt 500.0))) (* (sqrt 500.0) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (sqrt 500.0))) (* (sqrt 500.0) (* (fma (sqrt x) (sqrt x) (- (* y 1))) (sqrt 500.0))) (* (sqrt 500.0) (* (fma (- y) 1 (* y 1)) (sqrt 500.0))) (* (sqrt 500.0) (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 500.0))) (* (sqrt 500.0) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (sqrt 500.0))) (* (sqrt 500.0) (* (fma 1 x (- (* (sqrt y) (sqrt y)))) (sqrt 500.0))) (* (sqrt 500.0) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (sqrt 500.0))) (* (sqrt 500.0) (* (fma 1 x (- (* y 1))) (sqrt 500.0))) (* (sqrt 500.0) (* (fma (- y) 1 (* y 1)) (sqrt 500.0))) (* (sqrt 500.0) (* x (sqrt 500.0))) (* (sqrt 500.0) (* (- y) (sqrt 500.0))) (* (sqrt 500.0) (* x (sqrt 500.0))) (* (sqrt 500.0) (* (- y) (sqrt 500.0))) (* (* (sqrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (sqrt 500.0)) (* (* (sqrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 500.0)) (* (* (sqrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y))))) (sqrt 500.0)) (* (* (sqrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (sqrt 500.0)) (* (* (sqrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (sqrt 500.0)) (* (* (sqrt 500.0) (fma (- y) 1 (* y 1))) (sqrt 500.0)) (* (* (sqrt 500.0) (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (sqrt 500.0)) (* (* (sqrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 500.0)) (* (* (sqrt 500.0) (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y))))) (sqrt 500.0)) (* (* (sqrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (sqrt 500.0)) (* (* (sqrt 500.0) (fma (sqrt x) (sqrt x) (- (* y 1)))) (sqrt 500.0)) (* (* (sqrt 500.0) (fma (- y) 1 (* y 1))) (sqrt 500.0)) (* (* (sqrt 500.0) (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (sqrt 500.0)) (* (* (sqrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 500.0)) (* (* (sqrt 500.0) (fma 1 x (- (* (sqrt y) (sqrt y))))) (sqrt 500.0)) (* (* (sqrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (sqrt 500.0)) (* (* (sqrt 500.0) (fma 1 x (- (* y 1)))) (sqrt 500.0)) (* (* (sqrt 500.0) (fma (- y) 1 (* y 1))) (sqrt 500.0)) (* (* (sqrt 500.0) x) (sqrt 500.0)) (* (* (sqrt 500.0) (- y)) (sqrt 500.0)) (* (* (sqrt 500.0) x) (sqrt 500.0)) (* (* (sqrt 500.0) (- y)) (sqrt 500.0)) (* (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 500.0)) (sqrt 500.0)) (* (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (sqrt 500.0)) (sqrt 500.0)) (* (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) (sqrt 500.0)) (sqrt 500.0)) (* (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (sqrt 500.0)) (sqrt 500.0)) (* (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) (sqrt 500.0)) (sqrt 500.0)) (* (* (fma (- y) 1 (* y 1)) (sqrt 500.0)) (sqrt 500.0)) (* (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 500.0)) (sqrt 500.0)) (* (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (sqrt 500.0)) (sqrt 500.0)) (* (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) (sqrt 500.0)) (sqrt 500.0)) (* (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (sqrt 500.0)) (sqrt 500.0)) (* (* (fma (sqrt x) (sqrt x) (- (* y 1))) (sqrt 500.0)) (sqrt 500.0)) (* (* (fma (- y) 1 (* y 1)) (sqrt 500.0)) (sqrt 500.0)) (* (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 500.0)) (sqrt 500.0)) (* (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (sqrt 500.0)) (sqrt 500.0)) (* (* (fma 1 x (- (* (sqrt y) (sqrt y)))) (sqrt 500.0)) (sqrt 500.0)) (* (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (sqrt 500.0)) (sqrt 500.0)) (* (* (fma 1 x (- (* y 1))) (sqrt 500.0)) (sqrt 500.0)) (* (* (fma (- y) 1 (* y 1)) (sqrt 500.0)) (sqrt 500.0)) (* (* x (sqrt 500.0)) (sqrt 500.0)) (* (* (- y) (sqrt 500.0)) (sqrt 500.0)) (* (* x (sqrt 500.0)) (sqrt 500.0)) (* (* (- y) (sqrt 500.0)) (sqrt 500.0)) (* (sqrt 500.0) (sqrt 500.0)) (* (cbrt (sqrt 500.0)) (* (sqrt 500.0) (- x y))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))) (* (sqrt (sqrt 500.0)) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (* (sqrt 500.0) (- x y))) (* (sqrt (sqrt 500.0)) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3)))) (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y)))) (expm1 (* (sqrt 500.0) (- x y))) (log1p (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (- x y)) (+ (log (sqrt 500.0)) (log (- x y))) (log (* (sqrt 500.0) (- x y))) (exp (* (sqrt 500.0) (- x y))) (* (* (* (sqrt 500.0) (sqrt 500.0)) (sqrt 500.0)) (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (- x y))) (* (* (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (- x y))) (sqrt (* (sqrt 500.0) (- x y))) (sqrt (* (sqrt 500.0) (- x y))) (* (sqrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (sqrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (sqrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y))))) (* (sqrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (sqrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (* (sqrt 500.0) (fma (- y) 1 (* y 1))) (* (sqrt 500.0) (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (sqrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (sqrt 500.0) (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y))))) (* (sqrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (sqrt 500.0) (fma (sqrt x) (sqrt x) (- (* y 1)))) (* (sqrt 500.0) (fma (- y) 1 (* y 1))) (* (sqrt 500.0) (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (sqrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (sqrt 500.0) (fma 1 x (- (* (sqrt y) (sqrt y))))) (* (sqrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (sqrt 500.0) (fma 1 x (- (* y 1)))) (* (sqrt 500.0) (fma (- y) 1 (* y 1))) (* (sqrt 500.0) x) (* (sqrt 500.0) (- y)) (* (sqrt 500.0) x) (* (sqrt 500.0) (- y)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 500.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (sqrt 500.0)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) (sqrt 500.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (sqrt 500.0)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) (sqrt 500.0)) (* (fma (- y) 1 (* y 1)) (sqrt 500.0)) (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 500.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (sqrt 500.0)) (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) (sqrt 500.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (sqrt 500.0)) (* (fma (sqrt x) (sqrt x) (- (* y 1))) (sqrt 500.0)) (* (fma (- y) 1 (* y 1)) (sqrt 500.0)) (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 500.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (sqrt 500.0)) (* (fma 1 x (- (* (sqrt y) (sqrt y)))) (sqrt 500.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (sqrt 500.0)) (* (fma 1 x (- (* y 1))) (sqrt 500.0)) (* (fma (- y) 1 (* y 1)) (sqrt 500.0)) (* x (sqrt 500.0)) (* (- y) (sqrt 500.0)) (* x (sqrt 500.0)) (* (- y) (sqrt 500.0)) (* (sqrt 500.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (sqrt 500.0) (sqrt (- x y))) (* (sqrt 500.0) 1) (* (sqrt 500.0) (+ (sqrt x) (sqrt y))) (* (sqrt 500.0) 1) (* (cbrt (sqrt 500.0)) (- x y)) (* (sqrt (cbrt 500.0)) (- x y)) (* (sqrt (sqrt 500.0)) (- x y)) (* (sqrt 500.0) (- x y)) (* (sqrt (sqrt 500.0)) (- x y)) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (- (pow x 3) (pow y 3))) (* (sqrt 500.0) (- (* x x) (* y y))) (- (* x (pow (sqrt 500.0) 2)) (* y (pow (sqrt 500.0) 2))) (- (* x (pow (sqrt 500.0) 2)) (* y (pow (sqrt 500.0) 2))) (- (* x (pow (sqrt 500.0) 2)) (* y (pow (sqrt 500.0) 2))) (- (* x (sqrt 500.0)) (* y (sqrt 500.0))) (- (* x (sqrt 500.0)) (* y (sqrt 500.0))) (- (* x (sqrt 500.0)) (* y (sqrt 500.0))) 0.467 * * [simplify]: iteration 0 : 346 enodes (cost 1118 ) 0.474 * * [simplify]: iteration 1 : 1516 enodes (cost 738 ) 0.504 * * [simplify]: iteration 2 : 5001 enodes (cost 663 ) 0.508 * [simplify]: Simplified to: (expm1 (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (log1p (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (* 500.0 (- x y)) (* 500.0 (- x y)) (log (* 500.0 (- x y))) (log (* 500.0 (- x y))) (log (* 500.0 (- x y))) (pow (exp 500.0) (- x y)) (pow (* 500.0 (- x y)) 3) (pow (* 500.0 (- x y)) 3) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (pow (* 500.0 (- x y)) 3) (sqrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (sqrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (* 500.0 (+ (* 1 (pow (cbrt x) 3)) (- y))) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (+ (* 1 (pow (cbrt x) 3)) (- y))) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (+ (* 1 (pow (cbrt x) 3)) (- y))) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 x) (* 500.0 (- y)) (* 500.0 x) (* 500.0 (- y)) (* 500.0 (+ (* 1 (pow (cbrt x) 3)) (- y))) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (+ (* 1 (pow (cbrt x) 3)) (- y))) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (+ (* 1 (pow (cbrt x) 3)) (- y))) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 x) (* 500.0 (- y)) (* 500.0 x) (* 500.0 (- y)) (* 500.0 (+ (* 1 (pow (cbrt x) 3)) (- y))) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (+ (* 1 (pow (cbrt x) 3)) (- y))) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (+ (* 1 (pow (cbrt x) 3)) (- y))) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 x) (* 500.0 (- y)) (* 500.0 x) (* 500.0 (- y)) (* 500.0 (+ (* 1 (pow (cbrt x) 3)) (- y))) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (+ (* 1 (pow (cbrt x) 3)) (- y))) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (+ (* 1 (pow (cbrt x) 3)) (- y))) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 (- x y)) (fma 500.0 (- y) (* 500.0 y)) (* 500.0 x) (* 500.0 (- y)) (* 500.0 x) (* 500.0 (- y)) 500.0 (* (cbrt (sqrt 500.0)) (* (sqrt 500.0) (- x y))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))) (* (sqrt (sqrt 500.0)) (* (sqrt 500.0) (- x y))) (* 500.0 (- x y)) (* (sqrt (sqrt 500.0)) (* (sqrt 500.0) (- x y))) (* 500.0 (- x y)) (* 500.0 (- (pow x 3) (pow y 3))) (* 500.0 (- (* x x) (* y y))) (expm1 (* (sqrt 500.0) (- x y))) (log1p (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (- x y)) (log (* (sqrt 500.0) (- x y))) (log (* (sqrt 500.0) (- x y))) (exp (* (sqrt 500.0) (- x y))) (pow (* (sqrt 500.0) (- x y)) 3) (* (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (- x y))) (pow (* (sqrt 500.0) (- x y)) 3) (sqrt (* (sqrt 500.0) (- x y))) (sqrt (* (sqrt 500.0) (- x y))) (* (sqrt (- x y)) (pow (sqrt 500.0) 1/2)) (* (sqrt (- x y)) (pow (sqrt 500.0) 1/2)) (* (sqrt (- x y)) (pow (sqrt 500.0) 1/2)) (* (sqrt (- x y)) (pow (sqrt 500.0) 1/2)) (* (sqrt 500.0) (+ (* 1 (pow (cbrt x) 3)) (- y))) (* (sqrt 500.0) (fma (- y) 1 y)) (* (sqrt 500.0) (+ (* 1 (pow (cbrt x) 3)) (- y))) (* (sqrt 500.0) (fma (- y) 1 y)) (* (sqrt 500.0) (+ (* 1 (pow (cbrt x) 3)) (- y))) (* (sqrt 500.0) (fma (- y) 1 y)) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (fma (- y) 1 y)) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (fma (- y) 1 y)) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (fma (- y) 1 y)) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (fma (- y) 1 y)) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (fma (- y) 1 y)) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (fma (- y) 1 y)) (* (sqrt 500.0) x) (* (sqrt 500.0) (- y)) (* (sqrt 500.0) x) (* (sqrt 500.0) (- y)) (* (sqrt 500.0) (+ (* 1 (pow (cbrt x) 3)) (- y))) (* (sqrt 500.0) (fma (- y) 1 y)) (* (sqrt 500.0) (+ (* 1 (pow (cbrt x) 3)) (- y))) (* (sqrt 500.0) (fma (- y) 1 y)) (* (sqrt 500.0) (+ (* 1 (pow (cbrt x) 3)) (- y))) (* (sqrt 500.0) (fma (- y) 1 y)) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (fma (- y) 1 y)) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (fma (- y) 1 y)) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (fma (- y) 1 y)) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (fma (- y) 1 y)) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (fma (- y) 1 y)) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (fma (- y) 1 y)) (* (sqrt 500.0) x) (* (sqrt 500.0) (- y)) (* (sqrt 500.0) x) (* (sqrt 500.0) (- y)) (* (sqrt 500.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (sqrt 500.0) (sqrt (- x y))) (sqrt 500.0) (* (sqrt 500.0) (+ (sqrt x) (sqrt y))) (sqrt 500.0) (* (cbrt (sqrt 500.0)) (- x y)) (* (sqrt (cbrt 500.0)) (- x y)) (* (sqrt (sqrt 500.0)) (- x y)) (* (sqrt 500.0) (- x y)) (* (sqrt (sqrt 500.0)) (- x y)) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (- (pow x 3) (pow y 3))) (* (sqrt 500.0) (- (* x x) (* y y))) (* 500.0 (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (- x y)) 0.509 * * * [progress]: adding candidates to table 0.617 * * [progress]: iteration 3 / 4 0.617 * * * [progress]: picking best candidate 0.621 * * * * [pick]: Picked # 0.621 * * * [progress]: localizing error 0.630 * * * [progress]: generating rewritten candidates 0.630 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 0.647 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 0.663 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.677 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 0.692 * * * [progress]: generating series expansions 0.692 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 0.694 * [approximate]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 4) (pow (- x y) 2)) 1/3) in (x y) around 0 0.694 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 4) (pow (- x y) 2)) 1/3) in y 0.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 4) (pow (- x y) 2))))) in y 0.694 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 4) (pow (- x y) 2)))) in y 0.694 * [taylor]: Taking taylor expansion of 1/3 in y 0.694 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 4) (pow (- x y) 2))) in y 0.694 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 4) (pow (- x y) 2)) in y 0.694 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in y 0.694 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.694 * [taylor]: Taking taylor expansion of 500.0 in y 0.695 * [taylor]: Taking taylor expansion of (pow (- x y) 2) in y 0.695 * [taylor]: Taking taylor expansion of (- x y) in y 0.695 * [taylor]: Taking taylor expansion of x in y 0.695 * [taylor]: Taking taylor expansion of y in y 0.700 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 4) (pow (- x y) 2)) 1/3) in x 0.700 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 4) (pow (- x y) 2))))) in x 0.700 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 4) (pow (- x y) 2)))) in x 0.700 * [taylor]: Taking taylor expansion of 1/3 in x 0.700 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 4) (pow (- x y) 2))) in x 0.700 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 4) (pow (- x y) 2)) in x 0.700 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in x 0.700 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 0.700 * [taylor]: Taking taylor expansion of 500.0 in x 0.701 * [taylor]: Taking taylor expansion of (pow (- x y) 2) in x 0.701 * [taylor]: Taking taylor expansion of (- x y) in x 0.701 * [taylor]: Taking taylor expansion of x in x 0.701 * [taylor]: Taking taylor expansion of y in x 0.706 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 4) (pow (- x y) 2)) 1/3) in x 0.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 4) (pow (- x y) 2))))) in x 0.706 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 4) (pow (- x y) 2)))) in x 0.706 * [taylor]: Taking taylor expansion of 1/3 in x 0.706 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 4) (pow (- x y) 2))) in x 0.706 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 4) (pow (- x y) 2)) in x 0.706 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in x 0.706 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 0.706 * [taylor]: Taking taylor expansion of 500.0 in x 0.707 * [taylor]: Taking taylor expansion of (pow (- x y) 2) in x 0.707 * [taylor]: Taking taylor expansion of (- x y) in x 0.707 * [taylor]: Taking taylor expansion of x in x 0.707 * [taylor]: Taking taylor expansion of y in x 0.712 * [taylor]: Taking taylor expansion of (pow (* (pow y 2) (pow (sqrt 500.0) 4)) 1/3) in y 0.712 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow y 2) (pow (sqrt 500.0) 4))))) in y 0.712 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow y 2) (pow (sqrt 500.0) 4)))) in y 0.712 * [taylor]: Taking taylor expansion of 1/3 in y 0.712 * [taylor]: Taking taylor expansion of (log (* (pow y 2) (pow (sqrt 500.0) 4))) in y 0.712 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow (sqrt 500.0) 4)) in y 0.712 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.712 * [taylor]: Taking taylor expansion of y in y 0.712 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in y 0.712 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.712 * [taylor]: Taking taylor expansion of 500.0 in y 0.727 * [taylor]: Taking taylor expansion of (* -2/3 (pow (/ (pow (sqrt 500.0) 4) y) 1/3)) in y 0.727 * [taylor]: Taking taylor expansion of -2/3 in y 0.727 * [taylor]: Taking taylor expansion of (pow (/ (pow (sqrt 500.0) 4) y) 1/3) in y 0.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sqrt 500.0) 4) y)))) in y 0.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sqrt 500.0) 4) y))) in y 0.727 * [taylor]: Taking taylor expansion of 1/3 in y 0.727 * [taylor]: Taking taylor expansion of (log (/ (pow (sqrt 500.0) 4) y)) in y 0.727 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 500.0) 4) y) in y 0.727 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in y 0.727 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.727 * [taylor]: Taking taylor expansion of 500.0 in y 0.728 * [taylor]: Taking taylor expansion of y in y 0.759 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ (pow (sqrt 500.0) 4) (pow y 4)) 1/3)) in y 0.759 * [taylor]: Taking taylor expansion of -1/9 in y 0.759 * [taylor]: Taking taylor expansion of (pow (/ (pow (sqrt 500.0) 4) (pow y 4)) 1/3) in y 0.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sqrt 500.0) 4) (pow y 4))))) in y 0.759 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sqrt 500.0) 4) (pow y 4)))) in y 0.759 * [taylor]: Taking taylor expansion of 1/3 in y 0.759 * [taylor]: Taking taylor expansion of (log (/ (pow (sqrt 500.0) 4) (pow y 4))) in y 0.759 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 500.0) 4) (pow y 4)) in y 0.759 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in y 0.759 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.759 * [taylor]: Taking taylor expansion of 500.0 in y 0.759 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.759 * [taylor]: Taking taylor expansion of y in y 0.774 * [approximate]: Taking taylor expansion of (pow (* (pow (- (/ 1 x) (/ 1 y)) 2) (pow (sqrt 500.0) 4)) 1/3) in (x y) around 0 0.774 * [taylor]: Taking taylor expansion of (pow (* (pow (- (/ 1 x) (/ 1 y)) 2) (pow (sqrt 500.0) 4)) 1/3) in y 0.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- (/ 1 x) (/ 1 y)) 2) (pow (sqrt 500.0) 4))))) in y 0.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- (/ 1 x) (/ 1 y)) 2) (pow (sqrt 500.0) 4)))) in y 0.774 * [taylor]: Taking taylor expansion of 1/3 in y 0.774 * [taylor]: Taking taylor expansion of (log (* (pow (- (/ 1 x) (/ 1 y)) 2) (pow (sqrt 500.0) 4))) in y 0.774 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 x) (/ 1 y)) 2) (pow (sqrt 500.0) 4)) in y 0.774 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 y)) 2) in y 0.774 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.774 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.774 * [taylor]: Taking taylor expansion of x in y 0.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.774 * [taylor]: Taking taylor expansion of y in y 0.775 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in y 0.775 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.775 * [taylor]: Taking taylor expansion of 500.0 in y 0.783 * [taylor]: Taking taylor expansion of (pow (* (pow (- (/ 1 x) (/ 1 y)) 2) (pow (sqrt 500.0) 4)) 1/3) in x 0.783 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- (/ 1 x) (/ 1 y)) 2) (pow (sqrt 500.0) 4))))) in x 0.783 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- (/ 1 x) (/ 1 y)) 2) (pow (sqrt 500.0) 4)))) in x 0.784 * [taylor]: Taking taylor expansion of 1/3 in x 0.784 * [taylor]: Taking taylor expansion of (log (* (pow (- (/ 1 x) (/ 1 y)) 2) (pow (sqrt 500.0) 4))) in x 0.784 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 x) (/ 1 y)) 2) (pow (sqrt 500.0) 4)) in x 0.784 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 y)) 2) in x 0.784 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.784 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.784 * [taylor]: Taking taylor expansion of x in x 0.784 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.784 * [taylor]: Taking taylor expansion of y in x 0.784 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in x 0.784 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 0.784 * [taylor]: Taking taylor expansion of 500.0 in x 0.792 * [taylor]: Taking taylor expansion of (pow (* (pow (- (/ 1 x) (/ 1 y)) 2) (pow (sqrt 500.0) 4)) 1/3) in x 0.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- (/ 1 x) (/ 1 y)) 2) (pow (sqrt 500.0) 4))))) in x 0.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- (/ 1 x) (/ 1 y)) 2) (pow (sqrt 500.0) 4)))) in x 0.793 * [taylor]: Taking taylor expansion of 1/3 in x 0.793 * [taylor]: Taking taylor expansion of (log (* (pow (- (/ 1 x) (/ 1 y)) 2) (pow (sqrt 500.0) 4))) in x 0.793 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 x) (/ 1 y)) 2) (pow (sqrt 500.0) 4)) in x 0.793 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 y)) 2) in x 0.793 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.793 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.793 * [taylor]: Taking taylor expansion of x in x 0.793 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.793 * [taylor]: Taking taylor expansion of y in x 0.793 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in x 0.793 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 0.793 * [taylor]: Taking taylor expansion of 500.0 in x 0.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) in y 0.802 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x)))) in y 0.802 * [taylor]: Taking taylor expansion of 1/3 in y 0.802 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))) in y 0.802 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 4)) in y 0.802 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in y 0.802 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.802 * [taylor]: Taking taylor expansion of 500.0 in y 0.806 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 0.806 * [taylor]: Taking taylor expansion of 2 in y 0.806 * [taylor]: Taking taylor expansion of (log x) in y 0.806 * [taylor]: Taking taylor expansion of x in y 0.818 * [taylor]: Taking taylor expansion of (* -2/3 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) y)) in y 0.818 * [taylor]: Taking taylor expansion of -2/3 in y 0.818 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) y) in y 0.818 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) in y 0.818 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x)))) in y 0.818 * [taylor]: Taking taylor expansion of 1/3 in y 0.818 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))) in y 0.818 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 4)) in y 0.818 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in y 0.818 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.818 * [taylor]: Taking taylor expansion of 500.0 in y 0.822 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 0.822 * [taylor]: Taking taylor expansion of 2 in y 0.822 * [taylor]: Taking taylor expansion of (log x) in y 0.822 * [taylor]: Taking taylor expansion of x in y 0.825 * [taylor]: Taking taylor expansion of y in y 0.858 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) (pow y 2))) in y 0.858 * [taylor]: Taking taylor expansion of -1/9 in y 0.858 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) (pow y 2)) in y 0.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) in y 0.858 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x)))) in y 0.858 * [taylor]: Taking taylor expansion of 1/3 in y 0.858 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))) in y 0.858 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 4)) in y 0.858 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in y 0.858 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.858 * [taylor]: Taking taylor expansion of 500.0 in y 0.862 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 0.862 * [taylor]: Taking taylor expansion of 2 in y 0.862 * [taylor]: Taking taylor expansion of (log x) in y 0.862 * [taylor]: Taking taylor expansion of x in y 0.866 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.866 * [taylor]: Taking taylor expansion of y in y 0.928 * [taylor]: Taking taylor expansion of (* -4/81 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) (pow y 3))) in y 0.928 * [taylor]: Taking taylor expansion of -4/81 in y 0.928 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) (pow y 3)) in y 0.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) in y 0.928 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x)))) in y 0.928 * [taylor]: Taking taylor expansion of 1/3 in y 0.928 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))) in y 0.928 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 4)) in y 0.928 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in y 0.928 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.928 * [taylor]: Taking taylor expansion of 500.0 in y 0.932 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 0.932 * [taylor]: Taking taylor expansion of 2 in y 0.932 * [taylor]: Taking taylor expansion of (log x) in y 0.932 * [taylor]: Taking taylor expansion of x in y 0.935 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.935 * [taylor]: Taking taylor expansion of y in y 0.975 * [approximate]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 4) (pow (- (/ 1 y) (/ 1 x)) 2)) 1/3) in (x y) around 0 0.975 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 4) (pow (- (/ 1 y) (/ 1 x)) 2)) 1/3) in y 0.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 4) (pow (- (/ 1 y) (/ 1 x)) 2))))) in y 0.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 4) (pow (- (/ 1 y) (/ 1 x)) 2)))) in y 0.975 * [taylor]: Taking taylor expansion of 1/3 in y 0.975 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 4) (pow (- (/ 1 y) (/ 1 x)) 2))) in y 0.975 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 4) (pow (- (/ 1 y) (/ 1 x)) 2)) in y 0.975 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in y 0.975 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 0.975 * [taylor]: Taking taylor expansion of 500.0 in y 0.976 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 x)) 2) in y 0.976 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.976 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.976 * [taylor]: Taking taylor expansion of y in y 0.976 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.976 * [taylor]: Taking taylor expansion of x in y 0.984 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 4) (pow (- (/ 1 y) (/ 1 x)) 2)) 1/3) in x 0.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 4) (pow (- (/ 1 y) (/ 1 x)) 2))))) in x 0.984 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 4) (pow (- (/ 1 y) (/ 1 x)) 2)))) in x 0.984 * [taylor]: Taking taylor expansion of 1/3 in x 0.984 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 4) (pow (- (/ 1 y) (/ 1 x)) 2))) in x 0.984 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 4) (pow (- (/ 1 y) (/ 1 x)) 2)) in x 0.984 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in x 0.984 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 0.985 * [taylor]: Taking taylor expansion of 500.0 in x 0.985 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 x)) 2) in x 0.985 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.985 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.985 * [taylor]: Taking taylor expansion of y in x 0.985 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.985 * [taylor]: Taking taylor expansion of x in x 0.994 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 4) (pow (- (/ 1 y) (/ 1 x)) 2)) 1/3) in x 0.994 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 4) (pow (- (/ 1 y) (/ 1 x)) 2))))) in x 0.994 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 4) (pow (- (/ 1 y) (/ 1 x)) 2)))) in x 0.994 * [taylor]: Taking taylor expansion of 1/3 in x 0.994 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 4) (pow (- (/ 1 y) (/ 1 x)) 2))) in x 0.994 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 4) (pow (- (/ 1 y) (/ 1 x)) 2)) in x 0.994 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in x 0.994 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 0.994 * [taylor]: Taking taylor expansion of 500.0 in x 0.995 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 x)) 2) in x 0.995 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.995 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.995 * [taylor]: Taking taylor expansion of y in x 0.995 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.995 * [taylor]: Taking taylor expansion of x in x 1.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) in y 1.009 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x)))) in y 1.009 * [taylor]: Taking taylor expansion of 1/3 in y 1.009 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))) in y 1.009 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 4)) in y 1.009 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in y 1.010 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.010 * [taylor]: Taking taylor expansion of 500.0 in y 1.013 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 1.013 * [taylor]: Taking taylor expansion of 2 in y 1.013 * [taylor]: Taking taylor expansion of (log x) in y 1.013 * [taylor]: Taking taylor expansion of x in y 1.026 * [taylor]: Taking taylor expansion of (* -2/3 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) y)) in y 1.026 * [taylor]: Taking taylor expansion of -2/3 in y 1.026 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) y) in y 1.026 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) in y 1.026 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x)))) in y 1.026 * [taylor]: Taking taylor expansion of 1/3 in y 1.026 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))) in y 1.026 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 4)) in y 1.026 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in y 1.026 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.026 * [taylor]: Taking taylor expansion of 500.0 in y 1.030 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 1.030 * [taylor]: Taking taylor expansion of 2 in y 1.030 * [taylor]: Taking taylor expansion of (log x) in y 1.030 * [taylor]: Taking taylor expansion of x in y 1.033 * [taylor]: Taking taylor expansion of y in y 1.061 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) (pow y 2))) in y 1.061 * [taylor]: Taking taylor expansion of -1/9 in y 1.061 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) (pow y 2)) in y 1.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) in y 1.061 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x)))) in y 1.061 * [taylor]: Taking taylor expansion of 1/3 in y 1.061 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))) in y 1.061 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 4)) in y 1.061 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in y 1.061 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.061 * [taylor]: Taking taylor expansion of 500.0 in y 1.066 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 1.066 * [taylor]: Taking taylor expansion of 2 in y 1.066 * [taylor]: Taking taylor expansion of (log x) in y 1.066 * [taylor]: Taking taylor expansion of x in y 1.069 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.069 * [taylor]: Taking taylor expansion of y in y 1.134 * [taylor]: Taking taylor expansion of (* -4/81 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) (pow y 3))) in y 1.134 * [taylor]: Taking taylor expansion of -4/81 in y 1.134 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) (pow y 3)) in y 1.134 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))))) in y 1.134 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log x)))) in y 1.134 * [taylor]: Taking taylor expansion of 1/3 in y 1.134 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 4)) (* 2 (log x))) in y 1.134 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 4)) in y 1.134 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 4) in y 1.135 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.135 * [taylor]: Taking taylor expansion of 500.0 in y 1.138 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 1.138 * [taylor]: Taking taylor expansion of 2 in y 1.138 * [taylor]: Taking taylor expansion of (log x) in y 1.138 * [taylor]: Taking taylor expansion of x in y 1.142 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.142 * [taylor]: Taking taylor expansion of y in y 1.182 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1.189 * [approximate]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in (x y) around 0 1.189 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in y 1.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y))))) in y 1.189 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y)))) in y 1.189 * [taylor]: Taking taylor expansion of 1/3 in y 1.189 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- x y))) in y 1.189 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in y 1.189 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.189 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.189 * [taylor]: Taking taylor expansion of 500.0 in y 1.190 * [taylor]: Taking taylor expansion of (- x y) in y 1.190 * [taylor]: Taking taylor expansion of x in y 1.190 * [taylor]: Taking taylor expansion of y in y 1.194 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in x 1.194 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y))))) in x 1.194 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y)))) in x 1.194 * [taylor]: Taking taylor expansion of 1/3 in x 1.194 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- x y))) in x 1.194 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in x 1.194 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 1.194 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 1.194 * [taylor]: Taking taylor expansion of 500.0 in x 1.195 * [taylor]: Taking taylor expansion of (- x y) in x 1.195 * [taylor]: Taking taylor expansion of x in x 1.195 * [taylor]: Taking taylor expansion of y in x 1.198 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in x 1.198 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y))))) in x 1.198 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y)))) in x 1.198 * [taylor]: Taking taylor expansion of 1/3 in x 1.198 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- x y))) in x 1.198 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in x 1.198 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 1.198 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 1.198 * [taylor]: Taking taylor expansion of 500.0 in x 1.199 * [taylor]: Taking taylor expansion of (- x y) in x 1.199 * [taylor]: Taking taylor expansion of x in x 1.199 * [taylor]: Taking taylor expansion of y in x 1.203 * [taylor]: Taking taylor expansion of (pow (* -1 (* y (pow (sqrt 500.0) 2))) 1/3) in y 1.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* -1 (* y (pow (sqrt 500.0) 2)))))) in y 1.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (* -1 (* y (pow (sqrt 500.0) 2))))) in y 1.203 * [taylor]: Taking taylor expansion of 1/3 in y 1.203 * [taylor]: Taking taylor expansion of (log (* -1 (* y (pow (sqrt 500.0) 2)))) in y 1.203 * [taylor]: Taking taylor expansion of (* -1 (* y (pow (sqrt 500.0) 2))) in y 1.203 * [taylor]: Taking taylor expansion of -1 in y 1.203 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 500.0) 2)) in y 1.203 * [taylor]: Taking taylor expansion of y in y 1.203 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.203 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.203 * [taylor]: Taking taylor expansion of 500.0 in y 1.223 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)) 1/3)) in y 1.223 * [taylor]: Taking taylor expansion of -1/3 in y 1.223 * [taylor]: Taking taylor expansion of (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)) 1/3) in y 1.223 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2))))) in y 1.223 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)))) in y 1.223 * [taylor]: Taking taylor expansion of 1/3 in y 1.223 * [taylor]: Taking taylor expansion of (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2))) in y 1.223 * [taylor]: Taking taylor expansion of (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)) in y 1.223 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 1.223 * [taylor]: Taking taylor expansion of -1 in y 1.224 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.224 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.224 * [taylor]: Taking taylor expansion of 500.0 in y 1.224 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.224 * [taylor]: Taking taylor expansion of y in y 1.255 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)) 1/3)) in y 1.255 * [taylor]: Taking taylor expansion of -1/9 in y 1.255 * [taylor]: Taking taylor expansion of (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)) 1/3) in y 1.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5))))) in y 1.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)))) in y 1.255 * [taylor]: Taking taylor expansion of 1/3 in y 1.255 * [taylor]: Taking taylor expansion of (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5))) in y 1.255 * [taylor]: Taking taylor expansion of (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)) in y 1.255 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 1.255 * [taylor]: Taking taylor expansion of -1 in y 1.255 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.255 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.255 * [taylor]: Taking taylor expansion of 500.0 in y 1.256 * [taylor]: Taking taylor expansion of (pow y 5) in y 1.256 * [taylor]: Taking taylor expansion of y in y 1.281 * [approximate]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in (x y) around 0 1.281 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in y 1.281 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))))) in y 1.281 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)))) in y 1.281 * [taylor]: Taking taylor expansion of 1/3 in y 1.281 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))) in y 1.281 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in y 1.281 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1.281 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.281 * [taylor]: Taking taylor expansion of x in y 1.281 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.281 * [taylor]: Taking taylor expansion of y in y 1.282 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.282 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.282 * [taylor]: Taking taylor expansion of 500.0 in y 1.291 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in x 1.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))))) in x 1.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)))) in x 1.291 * [taylor]: Taking taylor expansion of 1/3 in x 1.291 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))) in x 1.291 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in x 1.291 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.292 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.292 * [taylor]: Taking taylor expansion of y in x 1.292 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 1.292 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 1.292 * [taylor]: Taking taylor expansion of 500.0 in x 1.299 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in x 1.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))))) in x 1.299 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)))) in x 1.299 * [taylor]: Taking taylor expansion of 1/3 in x 1.299 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))) in x 1.299 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in x 1.299 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.299 * [taylor]: Taking taylor expansion of x in x 1.299 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.299 * [taylor]: Taking taylor expansion of y in x 1.299 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 1.299 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 1.299 * [taylor]: Taking taylor expansion of 500.0 in x 1.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 1.306 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 1.306 * [taylor]: Taking taylor expansion of 1/3 in y 1.306 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 1.306 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 1.306 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.306 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.306 * [taylor]: Taking taylor expansion of 500.0 in y 1.308 * [taylor]: Taking taylor expansion of (log x) in y 1.308 * [taylor]: Taking taylor expansion of x in y 1.319 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) y)) in y 1.320 * [taylor]: Taking taylor expansion of -1/3 in y 1.320 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) y) in y 1.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 1.320 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 1.320 * [taylor]: Taking taylor expansion of 1/3 in y 1.320 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 1.320 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 1.320 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.320 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.320 * [taylor]: Taking taylor expansion of 500.0 in y 1.322 * [taylor]: Taking taylor expansion of (log x) in y 1.322 * [taylor]: Taking taylor expansion of x in y 1.325 * [taylor]: Taking taylor expansion of y in y 1.348 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 2))) in y 1.349 * [taylor]: Taking taylor expansion of -1/9 in y 1.349 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 2)) in y 1.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 1.349 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 1.349 * [taylor]: Taking taylor expansion of 1/3 in y 1.349 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 1.349 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 1.349 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.349 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.349 * [taylor]: Taking taylor expansion of 500.0 in y 1.351 * [taylor]: Taking taylor expansion of (log x) in y 1.351 * [taylor]: Taking taylor expansion of x in y 1.354 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.354 * [taylor]: Taking taylor expansion of y in y 1.411 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 3))) in y 1.411 * [taylor]: Taking taylor expansion of -5/81 in y 1.411 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 3)) in y 1.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 1.411 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 1.411 * [taylor]: Taking taylor expansion of 1/3 in y 1.411 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 1.411 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 1.411 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.411 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.411 * [taylor]: Taking taylor expansion of 500.0 in y 1.413 * [taylor]: Taking taylor expansion of (log x) in y 1.413 * [taylor]: Taking taylor expansion of x in y 1.416 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.416 * [taylor]: Taking taylor expansion of y in y 1.459 * [approximate]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in (x y) around 0 1.459 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in y 1.459 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))))) in y 1.459 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))))) in y 1.459 * [taylor]: Taking taylor expansion of 1/3 in y 1.459 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))) in y 1.459 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in y 1.459 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.459 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.459 * [taylor]: Taking taylor expansion of 500.0 in y 1.460 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1.460 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.460 * [taylor]: Taking taylor expansion of y in y 1.460 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.461 * [taylor]: Taking taylor expansion of x in y 1.467 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in x 1.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))))) in x 1.467 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))))) in x 1.467 * [taylor]: Taking taylor expansion of 1/3 in x 1.467 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))) in x 1.467 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in x 1.467 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 1.467 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 1.467 * [taylor]: Taking taylor expansion of 500.0 in x 1.468 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.468 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.468 * [taylor]: Taking taylor expansion of y in x 1.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.468 * [taylor]: Taking taylor expansion of x in x 1.478 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in x 1.478 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))))) in x 1.478 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))))) in x 1.478 * [taylor]: Taking taylor expansion of 1/3 in x 1.478 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))) in x 1.478 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in x 1.478 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 1.478 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 1.478 * [taylor]: Taking taylor expansion of 500.0 in x 1.479 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.479 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.479 * [taylor]: Taking taylor expansion of y in x 1.479 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.479 * [taylor]: Taking taylor expansion of x in x 1.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 1.488 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 1.488 * [taylor]: Taking taylor expansion of 1/3 in y 1.488 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 1.488 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 1.488 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 1.488 * [taylor]: Taking taylor expansion of -1 in y 1.488 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.488 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.488 * [taylor]: Taking taylor expansion of 500.0 in y 1.492 * [taylor]: Taking taylor expansion of (log x) in y 1.492 * [taylor]: Taking taylor expansion of x in y 1.508 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) y)) in y 1.508 * [taylor]: Taking taylor expansion of -1/3 in y 1.508 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) y) in y 1.508 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 1.508 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 1.508 * [taylor]: Taking taylor expansion of 1/3 in y 1.508 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 1.508 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 1.508 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 1.508 * [taylor]: Taking taylor expansion of -1 in y 1.508 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.508 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.508 * [taylor]: Taking taylor expansion of 500.0 in y 1.512 * [taylor]: Taking taylor expansion of (log x) in y 1.512 * [taylor]: Taking taylor expansion of x in y 1.517 * [taylor]: Taking taylor expansion of y in y 1.554 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 2))) in y 1.555 * [taylor]: Taking taylor expansion of -1/9 in y 1.555 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 2)) in y 1.555 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 1.555 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 1.555 * [taylor]: Taking taylor expansion of 1/3 in y 1.555 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 1.555 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 1.555 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 1.555 * [taylor]: Taking taylor expansion of -1 in y 1.555 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.555 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.555 * [taylor]: Taking taylor expansion of 500.0 in y 1.559 * [taylor]: Taking taylor expansion of (log x) in y 1.559 * [taylor]: Taking taylor expansion of x in y 1.563 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.564 * [taylor]: Taking taylor expansion of y in y 1.626 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 3))) in y 1.627 * [taylor]: Taking taylor expansion of -5/81 in y 1.627 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 3)) in y 1.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 1.627 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 1.627 * [taylor]: Taking taylor expansion of 1/3 in y 1.627 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 1.627 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 1.627 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 1.627 * [taylor]: Taking taylor expansion of -1 in y 1.627 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.627 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.627 * [taylor]: Taking taylor expansion of 500.0 in y 1.636 * [taylor]: Taking taylor expansion of (log x) in y 1.636 * [taylor]: Taking taylor expansion of x in y 1.641 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.641 * [taylor]: Taking taylor expansion of y in y 1.685 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 1.686 * [approximate]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in (x y) around 0 1.686 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in y 1.686 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y))))) in y 1.686 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y)))) in y 1.686 * [taylor]: Taking taylor expansion of 1/3 in y 1.686 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- x y))) in y 1.686 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in y 1.686 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.686 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.686 * [taylor]: Taking taylor expansion of 500.0 in y 1.687 * [taylor]: Taking taylor expansion of (- x y) in y 1.687 * [taylor]: Taking taylor expansion of x in y 1.687 * [taylor]: Taking taylor expansion of y in y 1.691 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in x 1.691 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y))))) in x 1.691 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y)))) in x 1.691 * [taylor]: Taking taylor expansion of 1/3 in x 1.691 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- x y))) in x 1.691 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in x 1.691 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 1.691 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 1.691 * [taylor]: Taking taylor expansion of 500.0 in x 1.692 * [taylor]: Taking taylor expansion of (- x y) in x 1.692 * [taylor]: Taking taylor expansion of x in x 1.692 * [taylor]: Taking taylor expansion of y in x 1.695 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in x 1.695 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y))))) in x 1.695 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y)))) in x 1.695 * [taylor]: Taking taylor expansion of 1/3 in x 1.695 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- x y))) in x 1.695 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in x 1.695 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 1.695 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 1.695 * [taylor]: Taking taylor expansion of 500.0 in x 1.696 * [taylor]: Taking taylor expansion of (- x y) in x 1.696 * [taylor]: Taking taylor expansion of x in x 1.696 * [taylor]: Taking taylor expansion of y in x 1.699 * [taylor]: Taking taylor expansion of (pow (* -1 (* y (pow (sqrt 500.0) 2))) 1/3) in y 1.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* -1 (* y (pow (sqrt 500.0) 2)))))) in y 1.699 * [taylor]: Taking taylor expansion of (* 1/3 (log (* -1 (* y (pow (sqrt 500.0) 2))))) in y 1.700 * [taylor]: Taking taylor expansion of 1/3 in y 1.700 * [taylor]: Taking taylor expansion of (log (* -1 (* y (pow (sqrt 500.0) 2)))) in y 1.700 * [taylor]: Taking taylor expansion of (* -1 (* y (pow (sqrt 500.0) 2))) in y 1.700 * [taylor]: Taking taylor expansion of -1 in y 1.700 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 500.0) 2)) in y 1.700 * [taylor]: Taking taylor expansion of y in y 1.700 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.700 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.700 * [taylor]: Taking taylor expansion of 500.0 in y 1.725 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)) 1/3)) in y 1.725 * [taylor]: Taking taylor expansion of -1/3 in y 1.725 * [taylor]: Taking taylor expansion of (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)) 1/3) in y 1.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2))))) in y 1.725 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)))) in y 1.725 * [taylor]: Taking taylor expansion of 1/3 in y 1.725 * [taylor]: Taking taylor expansion of (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2))) in y 1.725 * [taylor]: Taking taylor expansion of (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)) in y 1.725 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 1.725 * [taylor]: Taking taylor expansion of -1 in y 1.725 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.725 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.725 * [taylor]: Taking taylor expansion of 500.0 in y 1.726 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.726 * [taylor]: Taking taylor expansion of y in y 1.756 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)) 1/3)) in y 1.757 * [taylor]: Taking taylor expansion of -1/9 in y 1.757 * [taylor]: Taking taylor expansion of (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)) 1/3) in y 1.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5))))) in y 1.757 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)))) in y 1.757 * [taylor]: Taking taylor expansion of 1/3 in y 1.757 * [taylor]: Taking taylor expansion of (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5))) in y 1.757 * [taylor]: Taking taylor expansion of (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)) in y 1.757 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 1.757 * [taylor]: Taking taylor expansion of -1 in y 1.757 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.757 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.757 * [taylor]: Taking taylor expansion of 500.0 in y 1.757 * [taylor]: Taking taylor expansion of (pow y 5) in y 1.757 * [taylor]: Taking taylor expansion of y in y 1.777 * [approximate]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in (x y) around 0 1.777 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in y 1.777 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))))) in y 1.777 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)))) in y 1.777 * [taylor]: Taking taylor expansion of 1/3 in y 1.777 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))) in y 1.777 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in y 1.777 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1.777 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.777 * [taylor]: Taking taylor expansion of x in y 1.777 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.777 * [taylor]: Taking taylor expansion of y in y 1.777 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.777 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.777 * [taylor]: Taking taylor expansion of 500.0 in y 1.786 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in x 1.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))))) in x 1.786 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)))) in x 1.786 * [taylor]: Taking taylor expansion of 1/3 in x 1.786 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))) in x 1.786 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in x 1.786 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.786 * [taylor]: Taking taylor expansion of x in x 1.787 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.787 * [taylor]: Taking taylor expansion of y in x 1.787 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 1.787 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 1.787 * [taylor]: Taking taylor expansion of 500.0 in x 1.794 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in x 1.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))))) in x 1.794 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)))) in x 1.794 * [taylor]: Taking taylor expansion of 1/3 in x 1.794 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))) in x 1.794 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in x 1.794 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.794 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.794 * [taylor]: Taking taylor expansion of x in x 1.794 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.794 * [taylor]: Taking taylor expansion of y in x 1.794 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 1.794 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 1.794 * [taylor]: Taking taylor expansion of 500.0 in x 1.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 1.801 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 1.801 * [taylor]: Taking taylor expansion of 1/3 in y 1.801 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 1.801 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 1.801 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.801 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.801 * [taylor]: Taking taylor expansion of 500.0 in y 1.804 * [taylor]: Taking taylor expansion of (log x) in y 1.804 * [taylor]: Taking taylor expansion of x in y 1.821 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) y)) in y 1.821 * [taylor]: Taking taylor expansion of -1/3 in y 1.821 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) y) in y 1.821 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 1.821 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 1.821 * [taylor]: Taking taylor expansion of 1/3 in y 1.821 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 1.821 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 1.821 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.821 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.821 * [taylor]: Taking taylor expansion of 500.0 in y 1.823 * [taylor]: Taking taylor expansion of (log x) in y 1.823 * [taylor]: Taking taylor expansion of x in y 1.826 * [taylor]: Taking taylor expansion of y in y 1.850 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 2))) in y 1.850 * [taylor]: Taking taylor expansion of -1/9 in y 1.850 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 2)) in y 1.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 1.850 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 1.850 * [taylor]: Taking taylor expansion of 1/3 in y 1.850 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 1.850 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 1.850 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.850 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.850 * [taylor]: Taking taylor expansion of 500.0 in y 1.853 * [taylor]: Taking taylor expansion of (log x) in y 1.853 * [taylor]: Taking taylor expansion of x in y 1.856 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.856 * [taylor]: Taking taylor expansion of y in y 1.912 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 3))) in y 1.912 * [taylor]: Taking taylor expansion of -5/81 in y 1.912 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 3)) in y 1.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 1.912 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 1.912 * [taylor]: Taking taylor expansion of 1/3 in y 1.912 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 1.912 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 1.912 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.912 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.912 * [taylor]: Taking taylor expansion of 500.0 in y 1.914 * [taylor]: Taking taylor expansion of (log x) in y 1.914 * [taylor]: Taking taylor expansion of x in y 1.917 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.917 * [taylor]: Taking taylor expansion of y in y 1.952 * [approximate]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in (x y) around 0 1.952 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in y 1.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))))) in y 1.953 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))))) in y 1.953 * [taylor]: Taking taylor expansion of 1/3 in y 1.953 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))) in y 1.953 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in y 1.953 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.953 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.953 * [taylor]: Taking taylor expansion of 500.0 in y 1.953 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1.953 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.953 * [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.960 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in x 1.960 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))))) in x 1.960 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))))) in x 1.960 * [taylor]: Taking taylor expansion of 1/3 in x 1.960 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))) in x 1.960 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in x 1.960 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 1.960 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 1.960 * [taylor]: Taking taylor expansion of 500.0 in x 1.961 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.961 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.961 * [taylor]: Taking taylor expansion of y in x 1.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.961 * [taylor]: Taking taylor expansion of x in x 1.969 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in x 1.969 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))))) in x 1.969 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))))) in x 1.969 * [taylor]: Taking taylor expansion of 1/3 in x 1.969 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))) in x 1.969 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in x 1.969 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 1.969 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 1.969 * [taylor]: Taking taylor expansion of 500.0 in x 1.970 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.970 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.970 * [taylor]: Taking taylor expansion of y in x 1.970 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.970 * [taylor]: Taking taylor expansion of x in x 1.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 1.979 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 1.979 * [taylor]: Taking taylor expansion of 1/3 in y 1.979 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 1.979 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 1.979 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 1.979 * [taylor]: Taking taylor expansion of -1 in y 1.979 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 1.979 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 1.979 * [taylor]: Taking taylor expansion of 500.0 in y 1.990 * [taylor]: Taking taylor expansion of (log x) in y 1.990 * [taylor]: Taking taylor expansion of x in y 2.006 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) y)) in y 2.006 * [taylor]: Taking taylor expansion of -1/3 in y 2.006 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) y) in y 2.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 2.006 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 2.006 * [taylor]: Taking taylor expansion of 1/3 in y 2.006 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 2.006 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 2.006 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 2.006 * [taylor]: Taking taylor expansion of -1 in y 2.006 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 2.006 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 2.006 * [taylor]: Taking taylor expansion of 500.0 in y 2.010 * [taylor]: Taking taylor expansion of (log x) in y 2.010 * [taylor]: Taking taylor expansion of x in y 2.015 * [taylor]: Taking taylor expansion of y in y 2.046 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 2))) in y 2.046 * [taylor]: Taking taylor expansion of -1/9 in y 2.046 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 2)) in y 2.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 2.046 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 2.046 * [taylor]: Taking taylor expansion of 1/3 in y 2.046 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 2.046 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 2.046 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 2.046 * [taylor]: Taking taylor expansion of -1 in y 2.046 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 2.046 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 2.046 * [taylor]: Taking taylor expansion of 500.0 in y 2.050 * [taylor]: Taking taylor expansion of (log x) in y 2.050 * [taylor]: Taking taylor expansion of x in y 2.054 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.054 * [taylor]: Taking taylor expansion of y in y 2.125 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 3))) in y 2.125 * [taylor]: Taking taylor expansion of -5/81 in y 2.125 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 3)) in y 2.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 2.125 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 2.125 * [taylor]: Taking taylor expansion of 1/3 in y 2.125 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 2.125 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 2.125 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 2.125 * [taylor]: Taking taylor expansion of -1 in y 2.125 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 2.125 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 2.125 * [taylor]: Taking taylor expansion of 500.0 in y 2.129 * [taylor]: Taking taylor expansion of (log x) in y 2.129 * [taylor]: Taking taylor expansion of x in y 2.134 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.134 * [taylor]: Taking taylor expansion of y in y 2.185 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 2.186 * [approximate]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in (x y) around 0 2.186 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in y 2.186 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y))))) in y 2.186 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y)))) in y 2.186 * [taylor]: Taking taylor expansion of 1/3 in y 2.186 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- x y))) in y 2.186 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in y 2.186 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 2.186 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 2.186 * [taylor]: Taking taylor expansion of 500.0 in y 2.187 * [taylor]: Taking taylor expansion of (- x y) in y 2.187 * [taylor]: Taking taylor expansion of x in y 2.187 * [taylor]: Taking taylor expansion of y in y 2.190 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in x 2.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y))))) in x 2.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y)))) in x 2.191 * [taylor]: Taking taylor expansion of 1/3 in x 2.191 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- x y))) in x 2.191 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in x 2.191 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 2.191 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 2.191 * [taylor]: Taking taylor expansion of 500.0 in x 2.191 * [taylor]: Taking taylor expansion of (- x y) in x 2.191 * [taylor]: Taking taylor expansion of x in x 2.191 * [taylor]: Taking taylor expansion of y in x 2.195 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in x 2.195 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y))))) in x 2.195 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y)))) in x 2.195 * [taylor]: Taking taylor expansion of 1/3 in x 2.195 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- x y))) in x 2.195 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in x 2.195 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 2.195 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 2.195 * [taylor]: Taking taylor expansion of 500.0 in x 2.196 * [taylor]: Taking taylor expansion of (- x y) in x 2.196 * [taylor]: Taking taylor expansion of x in x 2.196 * [taylor]: Taking taylor expansion of y in x 2.199 * [taylor]: Taking taylor expansion of (pow (* -1 (* y (pow (sqrt 500.0) 2))) 1/3) in y 2.199 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* -1 (* y (pow (sqrt 500.0) 2)))))) in y 2.199 * [taylor]: Taking taylor expansion of (* 1/3 (log (* -1 (* y (pow (sqrt 500.0) 2))))) in y 2.199 * [taylor]: Taking taylor expansion of 1/3 in y 2.199 * [taylor]: Taking taylor expansion of (log (* -1 (* y (pow (sqrt 500.0) 2)))) in y 2.199 * [taylor]: Taking taylor expansion of (* -1 (* y (pow (sqrt 500.0) 2))) in y 2.199 * [taylor]: Taking taylor expansion of -1 in y 2.199 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 500.0) 2)) in y 2.199 * [taylor]: Taking taylor expansion of y in y 2.199 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 2.199 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 2.199 * [taylor]: Taking taylor expansion of 500.0 in y 2.219 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)) 1/3)) in y 2.219 * [taylor]: Taking taylor expansion of -1/3 in y 2.219 * [taylor]: Taking taylor expansion of (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)) 1/3) in y 2.219 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2))))) in y 2.219 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)))) in y 2.219 * [taylor]: Taking taylor expansion of 1/3 in y 2.219 * [taylor]: Taking taylor expansion of (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2))) in y 2.219 * [taylor]: Taking taylor expansion of (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)) in y 2.219 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 2.219 * [taylor]: Taking taylor expansion of -1 in y 2.219 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 2.219 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 2.219 * [taylor]: Taking taylor expansion of 500.0 in y 2.220 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.220 * [taylor]: Taking taylor expansion of y in y 2.257 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)) 1/3)) in y 2.257 * [taylor]: Taking taylor expansion of -1/9 in y 2.257 * [taylor]: Taking taylor expansion of (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)) 1/3) in y 2.257 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5))))) in y 2.257 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)))) in y 2.257 * [taylor]: Taking taylor expansion of 1/3 in y 2.257 * [taylor]: Taking taylor expansion of (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5))) in y 2.257 * [taylor]: Taking taylor expansion of (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)) in y 2.257 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 2.257 * [taylor]: Taking taylor expansion of -1 in y 2.257 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 2.257 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 2.257 * [taylor]: Taking taylor expansion of 500.0 in y 2.258 * [taylor]: Taking taylor expansion of (pow y 5) in y 2.258 * [taylor]: Taking taylor expansion of y in y 2.276 * [approximate]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in (x y) around 0 2.276 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in y 2.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))))) in y 2.276 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)))) in y 2.276 * [taylor]: Taking taylor expansion of 1/3 in y 2.276 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))) in y 2.276 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in y 2.276 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 2.276 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.276 * [taylor]: Taking taylor expansion of x in y 2.276 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.276 * [taylor]: Taking taylor expansion of y in y 2.276 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 2.276 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 2.276 * [taylor]: Taking taylor expansion of 500.0 in y 2.285 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in x 2.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))))) in x 2.285 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)))) in x 2.285 * [taylor]: Taking taylor expansion of 1/3 in x 2.285 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))) in x 2.285 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in x 2.286 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 2.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.286 * [taylor]: Taking taylor expansion of x in x 2.286 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.286 * [taylor]: Taking taylor expansion of y in x 2.286 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 2.286 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 2.286 * [taylor]: Taking taylor expansion of 500.0 in x 2.293 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in x 2.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))))) in x 2.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)))) in x 2.293 * [taylor]: Taking taylor expansion of 1/3 in x 2.293 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))) in x 2.293 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in x 2.293 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 2.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.293 * [taylor]: Taking taylor expansion of x in x 2.293 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.293 * [taylor]: Taking taylor expansion of y in x 2.293 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 2.293 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 2.293 * [taylor]: Taking taylor expansion of 500.0 in x 2.300 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 2.300 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 2.300 * [taylor]: Taking taylor expansion of 1/3 in y 2.300 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 2.300 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 2.300 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 2.300 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 2.300 * [taylor]: Taking taylor expansion of 500.0 in y 2.302 * [taylor]: Taking taylor expansion of (log x) in y 2.302 * [taylor]: Taking taylor expansion of x in y 2.314 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) y)) in y 2.314 * [taylor]: Taking taylor expansion of -1/3 in y 2.314 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) y) in y 2.314 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 2.314 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 2.314 * [taylor]: Taking taylor expansion of 1/3 in y 2.314 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 2.314 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 2.314 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 2.314 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 2.314 * [taylor]: Taking taylor expansion of 500.0 in y 2.317 * [taylor]: Taking taylor expansion of (log x) in y 2.317 * [taylor]: Taking taylor expansion of x in y 2.320 * [taylor]: Taking taylor expansion of y in y 2.351 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 2))) in y 2.351 * [taylor]: Taking taylor expansion of -1/9 in y 2.351 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 2)) in y 2.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 2.351 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 2.351 * [taylor]: Taking taylor expansion of 1/3 in y 2.351 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 2.351 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 2.351 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 2.351 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 2.351 * [taylor]: Taking taylor expansion of 500.0 in y 2.353 * [taylor]: Taking taylor expansion of (log x) in y 2.353 * [taylor]: Taking taylor expansion of x in y 2.357 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.357 * [taylor]: Taking taylor expansion of y in y 2.407 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 3))) in y 2.407 * [taylor]: Taking taylor expansion of -5/81 in y 2.407 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 3)) in y 2.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 2.407 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 2.407 * [taylor]: Taking taylor expansion of 1/3 in y 2.407 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 2.407 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 2.407 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 2.407 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 2.407 * [taylor]: Taking taylor expansion of 500.0 in y 2.409 * [taylor]: Taking taylor expansion of (log x) in y 2.409 * [taylor]: Taking taylor expansion of x in y 2.412 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.413 * [taylor]: Taking taylor expansion of y in y 2.454 * [approximate]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in (x y) around 0 2.454 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in y 2.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))))) in y 2.455 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))))) in y 2.455 * [taylor]: Taking taylor expansion of 1/3 in y 2.455 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))) in y 2.455 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in y 2.455 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 2.455 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 2.455 * [taylor]: Taking taylor expansion of 500.0 in y 2.456 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 2.456 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.456 * [taylor]: Taking taylor expansion of y in y 2.456 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.456 * [taylor]: Taking taylor expansion of x in y 2.463 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in x 2.463 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))))) in x 2.463 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))))) in x 2.463 * [taylor]: Taking taylor expansion of 1/3 in x 2.463 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))) in x 2.463 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in x 2.463 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 2.463 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 2.463 * [taylor]: Taking taylor expansion of 500.0 in x 2.464 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 2.464 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.464 * [taylor]: Taking taylor expansion of y in x 2.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.464 * [taylor]: Taking taylor expansion of x in x 2.472 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in x 2.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))))) in x 2.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))))) in x 2.472 * [taylor]: Taking taylor expansion of 1/3 in x 2.472 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))) in x 2.473 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in x 2.473 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 2.473 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 2.473 * [taylor]: Taking taylor expansion of 500.0 in x 2.473 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 2.473 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.473 * [taylor]: Taking taylor expansion of y in x 2.473 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.473 * [taylor]: Taking taylor expansion of x in x 2.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 2.482 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 2.482 * [taylor]: Taking taylor expansion of 1/3 in y 2.482 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 2.483 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 2.483 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 2.483 * [taylor]: Taking taylor expansion of -1 in y 2.483 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 2.483 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 2.483 * [taylor]: Taking taylor expansion of 500.0 in y 2.487 * [taylor]: Taking taylor expansion of (log x) in y 2.487 * [taylor]: Taking taylor expansion of x in y 2.502 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) y)) in y 2.503 * [taylor]: Taking taylor expansion of -1/3 in y 2.503 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) y) in y 2.503 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 2.503 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 2.503 * [taylor]: Taking taylor expansion of 1/3 in y 2.503 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 2.503 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 2.503 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 2.503 * [taylor]: Taking taylor expansion of -1 in y 2.503 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 2.503 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 2.503 * [taylor]: Taking taylor expansion of 500.0 in y 2.507 * [taylor]: Taking taylor expansion of (log x) in y 2.507 * [taylor]: Taking taylor expansion of x in y 2.512 * [taylor]: Taking taylor expansion of y in y 2.549 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 2))) in y 2.549 * [taylor]: Taking taylor expansion of -1/9 in y 2.550 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 2)) in y 2.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 2.550 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 2.550 * [taylor]: Taking taylor expansion of 1/3 in y 2.550 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 2.550 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 2.550 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 2.550 * [taylor]: Taking taylor expansion of -1 in y 2.550 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 2.550 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 2.550 * [taylor]: Taking taylor expansion of 500.0 in y 2.554 * [taylor]: Taking taylor expansion of (log x) in y 2.554 * [taylor]: Taking taylor expansion of x in y 2.558 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.558 * [taylor]: Taking taylor expansion of y in y 2.627 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 3))) in y 2.627 * [taylor]: Taking taylor expansion of -5/81 in y 2.627 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 3)) in y 2.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 2.627 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 2.627 * [taylor]: Taking taylor expansion of 1/3 in y 2.627 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 2.627 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 2.627 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 2.627 * [taylor]: Taking taylor expansion of -1 in y 2.627 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 2.627 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 2.627 * [taylor]: Taking taylor expansion of 500.0 in y 2.631 * [taylor]: Taking taylor expansion of (log x) in y 2.631 * [taylor]: Taking taylor expansion of x in y 2.635 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.635 * [taylor]: Taking taylor expansion of y in y 2.679 * * * [progress]: simplifying candidates 2.680 * [simplify]: Simplifying using # : (expm1 (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (log1p (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (+ 1/3 1/3) (+ 1 1) (* (* (sqrt 500.0) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (+ 1 1) (+ (log (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (log (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (exp (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (* (* (sqrt 500.0) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (* (cbrt (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (cbrt (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))))) (cbrt (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (* (* (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (sqrt (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (sqrt (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3)))))) (* (cbrt (+ (* x x) (+ (* y y) (* x y)))) (cbrt (+ (* x x) (+ (* y y) (* x y))))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y)))))) (* (cbrt (+ (* x x) (+ (* y y) (* x y)))) (cbrt (+ x y))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3)))))) (* (cbrt (+ x y)) (cbrt (+ (* x x) (+ (* y y) (* x y))))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y)))))) (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (- x y)))) (* (* (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (* (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))))) (* (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (* (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (* (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (* 1 1) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (* (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (* 2 1/3) (* 2 1) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (sqrt 500.0))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (* (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) 1) (* (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3)))))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y)))))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (expm1 (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log1p (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (exp (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (sqrt 500.0)) (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3))))) (cbrt (+ (* x x) (+ (* y y) (* x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y))))) (cbrt (+ x y)) (* (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (expm1 (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log1p (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (exp (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (sqrt 500.0)) (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3))))) (cbrt (+ (* x x) (+ (* y y) (* x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y))))) (cbrt (+ x y)) (* (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (expm1 (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log1p (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (exp (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (sqrt 500.0)) (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3))))) (cbrt (+ (* x x) (+ (* y y) (* x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y))))) (cbrt (+ x y)) (* (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (- (exp (* 1/3 (+ (log (pow (sqrt 500.0) 4)) (* 2 (log y))))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 4 (log y))))))) (* 2/3 (* (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (log y)))) x)))) (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log (/ 1 x)))))) (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log (/ -1 x)))))) (- (exp (* 1/3 (+ (log (- (pow (sqrt 500.0) 2))) (log y)))) (+ (* 1/3 (* x (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 2 (log y))))))) (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 5 (log y))))))))) (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log (/ 1 x))))) (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log (/ -1 x))))) (- (exp (* 1/3 (+ (log (- (pow (sqrt 500.0) 2))) (log y)))) (+ (* 1/3 (* x (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 2 (log y))))))) (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 5 (log y))))))))) (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log (/ 1 x))))) (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log (/ -1 x))))) (- (exp (* 1/3 (+ (log (- (pow (sqrt 500.0) 2))) (log y)))) (+ (* 1/3 (* x (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 2 (log y))))))) (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 5 (log y))))))))) (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log (/ 1 x))))) (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log (/ -1 x))))) 2.687 * * [simplify]: iteration 0 : 316 enodes (cost 1093 ) 2.693 * * [simplify]: iteration 1 : 1078 enodes (cost 989 ) 2.717 * * [simplify]: iteration 2 : 5001 enodes (cost 912 ) 2.728 * [simplify]: Simplified to: (expm1 (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (log1p (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) 2/3 2 (* (* 500.0 500.0) (* (- x y) (- x y))) (pow (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) 4) 2 (* 2 (log (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (* 2 (log (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (pow (exp 1) (pow (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) 4)) (* (* 500.0 500.0) (* (- x y) (- x y))) (* (cbrt (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (cbrt (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))))) (cbrt (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (* (* 500.0 500.0) (* (- x y) (- x y))) (fabs (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (fabs (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3)))))) (* (cbrt (+ (* x x) (+ (* y y) (* x y)))) (cbrt (+ (* x x) (+ (* y y) (* x y))))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y)))))) (* (cbrt (+ (* x x) (+ (* y y) (* x y)))) (cbrt (+ x y))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y)))))) (* (cbrt (+ (* x x) (+ (* y y) (* x y)))) (cbrt (+ x y))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y)))))) (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (- x y)))) (pow (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) 4) (* (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) 1 (pow (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) 4) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) 2/3 2 (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (sqrt 500.0))) (* (pow (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) 4) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (pow (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) 3) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (* (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (pow (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) 4) (pow (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) 3) (pow (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) 4) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3)))))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y)))))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3)))))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y)))))) (expm1 (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log1p (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (exp (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (sqrt 500.0)) (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3))))) (cbrt (+ (* x x) (+ (* y y) (* x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y))))) (cbrt (+ x y)) (* (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (- x y) 500.0) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (expm1 (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log1p (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (exp (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (sqrt 500.0)) (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3))))) (cbrt (+ (* x x) (+ (* y y) (* x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y))))) (cbrt (+ x y)) (* (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (- x y) 500.0) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (expm1 (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log1p (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (exp (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (sqrt 500.0)) (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3))))) (cbrt (+ (* x x) (+ (* y y) (* x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y))))) (cbrt (+ x y)) (* (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (- x y) 500.0) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (+ (* (pow y 2/3) (pow (* 500.0 500.0) 1/3)) (- (* (- (* 1/9 (pow x 2))) (pow (exp 1/3) (* 4 (- (log (sqrt 500.0)) (log y))))) (* 2/3 (* (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (log y)))) x)))) (pow (exp 1/3) (fma 4 (log (sqrt 500.0)) (* (log x) 2))) (exp (* 1/3 (- (log (pow (sqrt 500.0) 4)) (* 2 (log (/ -1 x)))))) (- (* (pow y 1/3) (pow (* -1 (pow (sqrt 500.0) 2)) 1/3)) (- (* 1/3 (* x (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 2 (log y))))))) (- (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 5 (log y)))))))))) (pow (exp 1/3) (fma 2 (log (sqrt 500.0)) (log x))) (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log (/ -1 x))))) (- (* (pow y 1/3) (pow (* -1 (pow (sqrt 500.0) 2)) 1/3)) (- (* 1/3 (* x (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 2 (log y))))))) (- (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 5 (log y)))))))))) (pow (exp 1/3) (fma 2 (log (sqrt 500.0)) (log x))) (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log (/ -1 x))))) (- (* (pow y 1/3) (pow (* -1 (pow (sqrt 500.0) 2)) 1/3)) (- (* 1/3 (* x (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 2 (log y))))))) (- (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 5 (log y)))))))))) (pow (exp 1/3) (fma 2 (log (sqrt 500.0)) (log x))) (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log (/ -1 x))))) 2.729 * * * [progress]: adding candidates to table 3.011 * * [progress]: iteration 4 / 4 3.011 * * * [progress]: picking best candidate 3.014 * * * * [pick]: Picked # 3.014 * * * [progress]: localizing error 3.027 * * * [progress]: generating rewritten candidates 3.027 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 3.028 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 3.032 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 3.046 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 3.064 * * * [progress]: generating series expansions 3.065 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 3.065 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 3.065 * [approximate]: Taking taylor expansion of (pow (* (sqrt 500.0) (- x y)) 1/3) in (x y) around 0 3.065 * [taylor]: Taking taylor expansion of (pow (* (sqrt 500.0) (- x y)) 1/3) in y 3.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sqrt 500.0) (- x y))))) in y 3.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sqrt 500.0) (- x y)))) in y 3.065 * [taylor]: Taking taylor expansion of 1/3 in y 3.065 * [taylor]: Taking taylor expansion of (log (* (sqrt 500.0) (- x y))) in y 3.065 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- x y)) in y 3.065 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.065 * [taylor]: Taking taylor expansion of 500.0 in y 3.066 * [taylor]: Taking taylor expansion of (- x y) in y 3.066 * [taylor]: Taking taylor expansion of x in y 3.066 * [taylor]: Taking taylor expansion of y in y 3.068 * [taylor]: Taking taylor expansion of (pow (* (sqrt 500.0) (- x y)) 1/3) in x 3.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sqrt 500.0) (- x y))))) in x 3.068 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sqrt 500.0) (- x y)))) in x 3.068 * [taylor]: Taking taylor expansion of 1/3 in x 3.068 * [taylor]: Taking taylor expansion of (log (* (sqrt 500.0) (- x y))) in x 3.068 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- x y)) in x 3.068 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 3.068 * [taylor]: Taking taylor expansion of 500.0 in x 3.068 * [taylor]: Taking taylor expansion of (- x y) in x 3.068 * [taylor]: Taking taylor expansion of x in x 3.068 * [taylor]: Taking taylor expansion of y in x 3.070 * [taylor]: Taking taylor expansion of (pow (* (sqrt 500.0) (- x y)) 1/3) in x 3.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sqrt 500.0) (- x y))))) in x 3.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sqrt 500.0) (- x y)))) in x 3.070 * [taylor]: Taking taylor expansion of 1/3 in x 3.070 * [taylor]: Taking taylor expansion of (log (* (sqrt 500.0) (- x y))) in x 3.070 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- x y)) in x 3.070 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 3.070 * [taylor]: Taking taylor expansion of 500.0 in x 3.070 * [taylor]: Taking taylor expansion of (- x y) in x 3.071 * [taylor]: Taking taylor expansion of x in x 3.071 * [taylor]: Taking taylor expansion of y in x 3.072 * [taylor]: Taking taylor expansion of (pow (* -1 (* y (sqrt 500.0))) 1/3) in y 3.072 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* -1 (* y (sqrt 500.0)))))) in y 3.072 * [taylor]: Taking taylor expansion of (* 1/3 (log (* -1 (* y (sqrt 500.0))))) in y 3.072 * [taylor]: Taking taylor expansion of 1/3 in y 3.072 * [taylor]: Taking taylor expansion of (log (* -1 (* y (sqrt 500.0)))) in y 3.072 * [taylor]: Taking taylor expansion of (* -1 (* y (sqrt 500.0))) in y 3.072 * [taylor]: Taking taylor expansion of -1 in y 3.072 * [taylor]: Taking taylor expansion of (* y (sqrt 500.0)) in y 3.072 * [taylor]: Taking taylor expansion of y in y 3.072 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.072 * [taylor]: Taking taylor expansion of 500.0 in y 3.085 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ (* -1 (sqrt 500.0)) (pow y 2)) 1/3)) in y 3.085 * [taylor]: Taking taylor expansion of -1/3 in y 3.085 * [taylor]: Taking taylor expansion of (pow (/ (* -1 (sqrt 500.0)) (pow y 2)) 1/3) in y 3.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 (sqrt 500.0)) (pow y 2))))) in y 3.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 (sqrt 500.0)) (pow y 2)))) in y 3.085 * [taylor]: Taking taylor expansion of 1/3 in y 3.085 * [taylor]: Taking taylor expansion of (log (/ (* -1 (sqrt 500.0)) (pow y 2))) in y 3.085 * [taylor]: Taking taylor expansion of (/ (* -1 (sqrt 500.0)) (pow y 2)) in y 3.085 * [taylor]: Taking taylor expansion of (* -1 (sqrt 500.0)) in y 3.085 * [taylor]: Taking taylor expansion of -1 in y 3.085 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.085 * [taylor]: Taking taylor expansion of 500.0 in y 3.086 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.086 * [taylor]: Taking taylor expansion of y in y 3.114 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ (* -1 (sqrt 500.0)) (pow y 5)) 1/3)) in y 3.114 * [taylor]: Taking taylor expansion of -1/9 in y 3.114 * [taylor]: Taking taylor expansion of (pow (/ (* -1 (sqrt 500.0)) (pow y 5)) 1/3) in y 3.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 (sqrt 500.0)) (pow y 5))))) in y 3.114 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 (sqrt 500.0)) (pow y 5)))) in y 3.114 * [taylor]: Taking taylor expansion of 1/3 in y 3.114 * [taylor]: Taking taylor expansion of (log (/ (* -1 (sqrt 500.0)) (pow y 5))) in y 3.114 * [taylor]: Taking taylor expansion of (/ (* -1 (sqrt 500.0)) (pow y 5)) in y 3.114 * [taylor]: Taking taylor expansion of (* -1 (sqrt 500.0)) in y 3.114 * [taylor]: Taking taylor expansion of -1 in y 3.114 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.114 * [taylor]: Taking taylor expansion of 500.0 in y 3.115 * [taylor]: Taking taylor expansion of (pow y 5) in y 3.115 * [taylor]: Taking taylor expansion of y in y 3.131 * [approximate]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) 1/3) in (x y) around 0 3.131 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) 1/3) in y 3.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0))))) in y 3.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)))) in y 3.131 * [taylor]: Taking taylor expansion of 1/3 in y 3.131 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0))) in y 3.131 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in y 3.131 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 3.131 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.131 * [taylor]: Taking taylor expansion of x in y 3.131 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.131 * [taylor]: Taking taylor expansion of y in y 3.132 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.132 * [taylor]: Taking taylor expansion of 500.0 in y 3.138 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) 1/3) in x 3.138 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0))))) in x 3.138 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)))) in x 3.138 * [taylor]: Taking taylor expansion of 1/3 in x 3.138 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0))) in x 3.138 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in x 3.138 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 3.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.138 * [taylor]: Taking taylor expansion of x in x 3.138 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.138 * [taylor]: Taking taylor expansion of y in x 3.138 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 3.138 * [taylor]: Taking taylor expansion of 500.0 in x 3.142 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) 1/3) in x 3.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0))))) in x 3.142 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)))) in x 3.142 * [taylor]: Taking taylor expansion of 1/3 in x 3.142 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0))) in x 3.142 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in x 3.142 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 3.142 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.142 * [taylor]: Taking taylor expansion of x in x 3.142 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.143 * [taylor]: Taking taylor expansion of y in x 3.143 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 3.143 * [taylor]: Taking taylor expansion of 500.0 in x 3.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sqrt 500.0)) (log x)))) in y 3.147 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sqrt 500.0)) (log x))) in y 3.147 * [taylor]: Taking taylor expansion of 1/3 in y 3.147 * [taylor]: Taking taylor expansion of (- (log (sqrt 500.0)) (log x)) in y 3.147 * [taylor]: Taking taylor expansion of (log (sqrt 500.0)) in y 3.147 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.147 * [taylor]: Taking taylor expansion of 500.0 in y 3.148 * [taylor]: Taking taylor expansion of (log x) in y 3.148 * [taylor]: Taking taylor expansion of x in y 3.162 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (sqrt 500.0)) (log x)))) y)) in y 3.162 * [taylor]: Taking taylor expansion of -1/3 in y 3.162 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (sqrt 500.0)) (log x)))) y) in y 3.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sqrt 500.0)) (log x)))) in y 3.162 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sqrt 500.0)) (log x))) in y 3.162 * [taylor]: Taking taylor expansion of 1/3 in y 3.162 * [taylor]: Taking taylor expansion of (- (log (sqrt 500.0)) (log x)) in y 3.162 * [taylor]: Taking taylor expansion of (log (sqrt 500.0)) in y 3.162 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.162 * [taylor]: Taking taylor expansion of 500.0 in y 3.163 * [taylor]: Taking taylor expansion of (log x) in y 3.163 * [taylor]: Taking taylor expansion of x in y 3.165 * [taylor]: Taking taylor expansion of y in y 3.181 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (sqrt 500.0)) (log x)))) (pow y 2))) in y 3.181 * [taylor]: Taking taylor expansion of -1/9 in y 3.181 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (sqrt 500.0)) (log x)))) (pow y 2)) in y 3.181 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sqrt 500.0)) (log x)))) in y 3.181 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sqrt 500.0)) (log x))) in y 3.181 * [taylor]: Taking taylor expansion of 1/3 in y 3.181 * [taylor]: Taking taylor expansion of (- (log (sqrt 500.0)) (log x)) in y 3.181 * [taylor]: Taking taylor expansion of (log (sqrt 500.0)) in y 3.181 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.181 * [taylor]: Taking taylor expansion of 500.0 in y 3.183 * [taylor]: Taking taylor expansion of (log x) in y 3.183 * [taylor]: Taking taylor expansion of x in y 3.184 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.184 * [taylor]: Taking taylor expansion of y in y 3.222 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (sqrt 500.0)) (log x)))) (pow y 3))) in y 3.222 * [taylor]: Taking taylor expansion of -5/81 in y 3.222 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (sqrt 500.0)) (log x)))) (pow y 3)) in y 3.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sqrt 500.0)) (log x)))) in y 3.222 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sqrt 500.0)) (log x))) in y 3.222 * [taylor]: Taking taylor expansion of 1/3 in y 3.222 * [taylor]: Taking taylor expansion of (- (log (sqrt 500.0)) (log x)) in y 3.222 * [taylor]: Taking taylor expansion of (log (sqrt 500.0)) in y 3.222 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.222 * [taylor]: Taking taylor expansion of 500.0 in y 3.223 * [taylor]: Taking taylor expansion of (log x) in y 3.223 * [taylor]: Taking taylor expansion of x in y 3.225 * [taylor]: Taking taylor expansion of (pow y 3) in y 3.225 * [taylor]: Taking taylor expansion of y in y 3.259 * [approximate]: Taking taylor expansion of (pow (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) 1/3) in (x y) around 0 3.259 * [taylor]: Taking taylor expansion of (pow (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) 1/3) in y 3.259 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sqrt 500.0) (- (/ 1 y) (/ 1 x)))))) in y 3.259 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))))) in y 3.259 * [taylor]: Taking taylor expansion of 1/3 in y 3.259 * [taylor]: Taking taylor expansion of (log (* (sqrt 500.0) (- (/ 1 y) (/ 1 x)))) in y 3.259 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) in y 3.259 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.259 * [taylor]: Taking taylor expansion of 500.0 in y 3.260 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 3.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.260 * [taylor]: Taking taylor expansion of y in y 3.260 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.260 * [taylor]: Taking taylor expansion of x in y 3.264 * [taylor]: Taking taylor expansion of (pow (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) 1/3) in x 3.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sqrt 500.0) (- (/ 1 y) (/ 1 x)))))) in x 3.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))))) in x 3.264 * [taylor]: Taking taylor expansion of 1/3 in x 3.264 * [taylor]: Taking taylor expansion of (log (* (sqrt 500.0) (- (/ 1 y) (/ 1 x)))) in x 3.264 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) in x 3.264 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 3.264 * [taylor]: Taking taylor expansion of 500.0 in x 3.265 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 3.265 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.265 * [taylor]: Taking taylor expansion of y in x 3.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.265 * [taylor]: Taking taylor expansion of x in x 3.270 * [taylor]: Taking taylor expansion of (pow (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) 1/3) in x 3.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sqrt 500.0) (- (/ 1 y) (/ 1 x)))))) in x 3.271 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))))) in x 3.271 * [taylor]: Taking taylor expansion of 1/3 in x 3.271 * [taylor]: Taking taylor expansion of (log (* (sqrt 500.0) (- (/ 1 y) (/ 1 x)))) in x 3.271 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) in x 3.271 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 3.271 * [taylor]: Taking taylor expansion of 500.0 in x 3.271 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 3.271 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.271 * [taylor]: Taking taylor expansion of y in x 3.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.271 * [taylor]: Taking taylor expansion of x in x 3.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (sqrt 500.0))) (log x)))) in y 3.277 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (sqrt 500.0))) (log x))) in y 3.277 * [taylor]: Taking taylor expansion of 1/3 in y 3.277 * [taylor]: Taking taylor expansion of (- (log (* -1 (sqrt 500.0))) (log x)) in y 3.277 * [taylor]: Taking taylor expansion of (log (* -1 (sqrt 500.0))) in y 3.277 * [taylor]: Taking taylor expansion of (* -1 (sqrt 500.0)) in y 3.277 * [taylor]: Taking taylor expansion of -1 in y 3.277 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.277 * [taylor]: Taking taylor expansion of 500.0 in y 3.279 * [taylor]: Taking taylor expansion of (log x) in y 3.279 * [taylor]: Taking taylor expansion of x in y 3.289 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (* -1 (sqrt 500.0))) (log x)))) y)) in y 3.289 * [taylor]: Taking taylor expansion of -1/3 in y 3.289 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* -1 (sqrt 500.0))) (log x)))) y) in y 3.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (sqrt 500.0))) (log x)))) in y 3.289 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (sqrt 500.0))) (log x))) in y 3.289 * [taylor]: Taking taylor expansion of 1/3 in y 3.289 * [taylor]: Taking taylor expansion of (- (log (* -1 (sqrt 500.0))) (log x)) in y 3.289 * [taylor]: Taking taylor expansion of (log (* -1 (sqrt 500.0))) in y 3.289 * [taylor]: Taking taylor expansion of (* -1 (sqrt 500.0)) in y 3.289 * [taylor]: Taking taylor expansion of -1 in y 3.289 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.289 * [taylor]: Taking taylor expansion of 500.0 in y 3.292 * [taylor]: Taking taylor expansion of (log x) in y 3.292 * [taylor]: Taking taylor expansion of x in y 3.295 * [taylor]: Taking taylor expansion of y in y 3.317 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (* -1 (sqrt 500.0))) (log x)))) (pow y 2))) in y 3.317 * [taylor]: Taking taylor expansion of -1/9 in y 3.317 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* -1 (sqrt 500.0))) (log x)))) (pow y 2)) in y 3.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (sqrt 500.0))) (log x)))) in y 3.317 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (sqrt 500.0))) (log x))) in y 3.317 * [taylor]: Taking taylor expansion of 1/3 in y 3.317 * [taylor]: Taking taylor expansion of (- (log (* -1 (sqrt 500.0))) (log x)) in y 3.317 * [taylor]: Taking taylor expansion of (log (* -1 (sqrt 500.0))) in y 3.317 * [taylor]: Taking taylor expansion of (* -1 (sqrt 500.0)) in y 3.317 * [taylor]: Taking taylor expansion of -1 in y 3.317 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.317 * [taylor]: Taking taylor expansion of 500.0 in y 3.319 * [taylor]: Taking taylor expansion of (log x) in y 3.319 * [taylor]: Taking taylor expansion of x in y 3.322 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.322 * [taylor]: Taking taylor expansion of y in y 3.377 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (* -1 (sqrt 500.0))) (log x)))) (pow y 3))) in y 3.377 * [taylor]: Taking taylor expansion of -5/81 in y 3.377 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* -1 (sqrt 500.0))) (log x)))) (pow y 3)) in y 3.377 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (sqrt 500.0))) (log x)))) in y 3.377 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (sqrt 500.0))) (log x))) in y 3.377 * [taylor]: Taking taylor expansion of 1/3 in y 3.377 * [taylor]: Taking taylor expansion of (- (log (* -1 (sqrt 500.0))) (log x)) in y 3.377 * [taylor]: Taking taylor expansion of (log (* -1 (sqrt 500.0))) in y 3.377 * [taylor]: Taking taylor expansion of (* -1 (sqrt 500.0)) in y 3.377 * [taylor]: Taking taylor expansion of -1 in y 3.377 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.377 * [taylor]: Taking taylor expansion of 500.0 in y 3.380 * [taylor]: Taking taylor expansion of (log x) in y 3.380 * [taylor]: Taking taylor expansion of x in y 3.383 * [taylor]: Taking taylor expansion of (pow y 3) in y 3.383 * [taylor]: Taking taylor expansion of y in y 3.418 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 3.419 * [approximate]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in (x y) around 0 3.419 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in y 3.419 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y))))) in y 3.419 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y)))) in y 3.419 * [taylor]: Taking taylor expansion of 1/3 in y 3.419 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- x y))) in y 3.419 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in y 3.419 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 3.419 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.419 * [taylor]: Taking taylor expansion of 500.0 in y 3.419 * [taylor]: Taking taylor expansion of (- x y) in y 3.419 * [taylor]: Taking taylor expansion of x in y 3.420 * [taylor]: Taking taylor expansion of y in y 3.429 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in x 3.430 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y))))) in x 3.430 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y)))) in x 3.430 * [taylor]: Taking taylor expansion of 1/3 in x 3.430 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- x y))) in x 3.430 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in x 3.430 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 3.430 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 3.430 * [taylor]: Taking taylor expansion of 500.0 in x 3.430 * [taylor]: Taking taylor expansion of (- x y) in x 3.430 * [taylor]: Taking taylor expansion of x in x 3.430 * [taylor]: Taking taylor expansion of y in x 3.434 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in x 3.434 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y))))) in x 3.434 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y)))) in x 3.434 * [taylor]: Taking taylor expansion of 1/3 in x 3.434 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- x y))) in x 3.434 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in x 3.434 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 3.434 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 3.434 * [taylor]: Taking taylor expansion of 500.0 in x 3.435 * [taylor]: Taking taylor expansion of (- x y) in x 3.435 * [taylor]: Taking taylor expansion of x in x 3.435 * [taylor]: Taking taylor expansion of y in x 3.438 * [taylor]: Taking taylor expansion of (pow (* -1 (* y (pow (sqrt 500.0) 2))) 1/3) in y 3.438 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* -1 (* y (pow (sqrt 500.0) 2)))))) in y 3.438 * [taylor]: Taking taylor expansion of (* 1/3 (log (* -1 (* y (pow (sqrt 500.0) 2))))) in y 3.438 * [taylor]: Taking taylor expansion of 1/3 in y 3.438 * [taylor]: Taking taylor expansion of (log (* -1 (* y (pow (sqrt 500.0) 2)))) in y 3.438 * [taylor]: Taking taylor expansion of (* -1 (* y (pow (sqrt 500.0) 2))) in y 3.438 * [taylor]: Taking taylor expansion of -1 in y 3.439 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 500.0) 2)) in y 3.439 * [taylor]: Taking taylor expansion of y in y 3.439 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 3.439 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.439 * [taylor]: Taking taylor expansion of 500.0 in y 3.459 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)) 1/3)) in y 3.459 * [taylor]: Taking taylor expansion of -1/3 in y 3.459 * [taylor]: Taking taylor expansion of (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)) 1/3) in y 3.459 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2))))) in y 3.459 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)))) in y 3.459 * [taylor]: Taking taylor expansion of 1/3 in y 3.459 * [taylor]: Taking taylor expansion of (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2))) in y 3.459 * [taylor]: Taking taylor expansion of (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)) in y 3.459 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 3.459 * [taylor]: Taking taylor expansion of -1 in y 3.459 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 3.459 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.459 * [taylor]: Taking taylor expansion of 500.0 in y 3.460 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.460 * [taylor]: Taking taylor expansion of y in y 3.490 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)) 1/3)) in y 3.490 * [taylor]: Taking taylor expansion of -1/9 in y 3.490 * [taylor]: Taking taylor expansion of (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)) 1/3) in y 3.490 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5))))) in y 3.490 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)))) in y 3.490 * [taylor]: Taking taylor expansion of 1/3 in y 3.490 * [taylor]: Taking taylor expansion of (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5))) in y 3.490 * [taylor]: Taking taylor expansion of (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)) in y 3.490 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 3.490 * [taylor]: Taking taylor expansion of -1 in y 3.490 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 3.490 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.490 * [taylor]: Taking taylor expansion of 500.0 in y 3.491 * [taylor]: Taking taylor expansion of (pow y 5) in y 3.491 * [taylor]: Taking taylor expansion of y in y 3.510 * [approximate]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in (x y) around 0 3.510 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in y 3.510 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))))) in y 3.510 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)))) in y 3.510 * [taylor]: Taking taylor expansion of 1/3 in y 3.510 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))) in y 3.510 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in y 3.510 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 3.510 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.510 * [taylor]: Taking taylor expansion of x in y 3.510 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.510 * [taylor]: Taking taylor expansion of y in y 3.510 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 3.511 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.511 * [taylor]: Taking taylor expansion of 500.0 in y 3.525 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in x 3.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))))) in x 3.526 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)))) in x 3.526 * [taylor]: Taking taylor expansion of 1/3 in x 3.526 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))) in x 3.526 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in x 3.526 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 3.526 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.526 * [taylor]: Taking taylor expansion of x in x 3.526 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.526 * [taylor]: Taking taylor expansion of y in x 3.526 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 3.526 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 3.526 * [taylor]: Taking taylor expansion of 500.0 in x 3.533 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in x 3.533 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))))) in x 3.534 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)))) in x 3.534 * [taylor]: Taking taylor expansion of 1/3 in x 3.534 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))) in x 3.534 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in x 3.534 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 3.534 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.534 * [taylor]: Taking taylor expansion of x in x 3.534 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.534 * [taylor]: Taking taylor expansion of y in x 3.534 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 3.534 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 3.534 * [taylor]: Taking taylor expansion of 500.0 in x 3.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 3.541 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 3.541 * [taylor]: Taking taylor expansion of 1/3 in y 3.541 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 3.541 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 3.541 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 3.541 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.541 * [taylor]: Taking taylor expansion of 500.0 in y 3.544 * [taylor]: Taking taylor expansion of (log x) in y 3.544 * [taylor]: Taking taylor expansion of x in y 3.555 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) y)) in y 3.555 * [taylor]: Taking taylor expansion of -1/3 in y 3.555 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) y) in y 3.555 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 3.555 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 3.555 * [taylor]: Taking taylor expansion of 1/3 in y 3.555 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 3.555 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 3.555 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 3.555 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.555 * [taylor]: Taking taylor expansion of 500.0 in y 3.557 * [taylor]: Taking taylor expansion of (log x) in y 3.557 * [taylor]: Taking taylor expansion of x in y 3.560 * [taylor]: Taking taylor expansion of y in y 3.583 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 2))) in y 3.583 * [taylor]: Taking taylor expansion of -1/9 in y 3.583 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 2)) in y 3.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 3.583 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 3.583 * [taylor]: Taking taylor expansion of 1/3 in y 3.583 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 3.583 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 3.583 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 3.583 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.583 * [taylor]: Taking taylor expansion of 500.0 in y 3.586 * [taylor]: Taking taylor expansion of (log x) in y 3.586 * [taylor]: Taking taylor expansion of x in y 3.589 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.589 * [taylor]: Taking taylor expansion of y in y 3.646 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 3))) in y 3.646 * [taylor]: Taking taylor expansion of -5/81 in y 3.646 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 3)) in y 3.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 3.647 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 3.647 * [taylor]: Taking taylor expansion of 1/3 in y 3.647 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 3.647 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 3.647 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 3.647 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.647 * [taylor]: Taking taylor expansion of 500.0 in y 3.649 * [taylor]: Taking taylor expansion of (log x) in y 3.649 * [taylor]: Taking taylor expansion of x in y 3.652 * [taylor]: Taking taylor expansion of (pow y 3) in y 3.652 * [taylor]: Taking taylor expansion of y in y 3.689 * [approximate]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in (x y) around 0 3.689 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in y 3.689 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))))) in y 3.689 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))))) in y 3.689 * [taylor]: Taking taylor expansion of 1/3 in y 3.689 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))) in y 3.689 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in y 3.689 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 3.689 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.689 * [taylor]: Taking taylor expansion of 500.0 in y 3.690 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 3.690 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.690 * [taylor]: Taking taylor expansion of y in y 3.690 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.690 * [taylor]: Taking taylor expansion of x in y 3.703 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in x 3.703 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))))) in x 3.703 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))))) in x 3.703 * [taylor]: Taking taylor expansion of 1/3 in x 3.703 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))) in x 3.703 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in x 3.703 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 3.703 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 3.703 * [taylor]: Taking taylor expansion of 500.0 in x 3.704 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 3.704 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.704 * [taylor]: Taking taylor expansion of y in x 3.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.704 * [taylor]: Taking taylor expansion of x in x 3.713 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in x 3.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))))) in x 3.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))))) in x 3.713 * [taylor]: Taking taylor expansion of 1/3 in x 3.713 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))) in x 3.713 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in x 3.713 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 3.713 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 3.713 * [taylor]: Taking taylor expansion of 500.0 in x 3.713 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 3.713 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.714 * [taylor]: Taking taylor expansion of y in x 3.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.714 * [taylor]: Taking taylor expansion of x in x 3.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 3.722 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 3.722 * [taylor]: Taking taylor expansion of 1/3 in y 3.722 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 3.722 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 3.722 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 3.722 * [taylor]: Taking taylor expansion of -1 in y 3.722 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 3.722 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.722 * [taylor]: Taking taylor expansion of 500.0 in y 3.726 * [taylor]: Taking taylor expansion of (log x) in y 3.726 * [taylor]: Taking taylor expansion of x in y 3.742 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) y)) in y 3.743 * [taylor]: Taking taylor expansion of -1/3 in y 3.743 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) y) in y 3.743 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 3.743 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 3.743 * [taylor]: Taking taylor expansion of 1/3 in y 3.743 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 3.743 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 3.743 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 3.743 * [taylor]: Taking taylor expansion of -1 in y 3.743 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 3.743 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.743 * [taylor]: Taking taylor expansion of 500.0 in y 3.747 * [taylor]: Taking taylor expansion of (log x) in y 3.747 * [taylor]: Taking taylor expansion of x in y 3.751 * [taylor]: Taking taylor expansion of y in y 3.789 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 2))) in y 3.789 * [taylor]: Taking taylor expansion of -1/9 in y 3.789 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 2)) in y 3.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 3.789 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 3.789 * [taylor]: Taking taylor expansion of 1/3 in y 3.789 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 3.789 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 3.789 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 3.789 * [taylor]: Taking taylor expansion of -1 in y 3.789 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 3.789 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.789 * [taylor]: Taking taylor expansion of 500.0 in y 3.793 * [taylor]: Taking taylor expansion of (log x) in y 3.793 * [taylor]: Taking taylor expansion of x in y 3.798 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.798 * [taylor]: Taking taylor expansion of y in y 3.863 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 3))) in y 3.863 * [taylor]: Taking taylor expansion of -5/81 in y 3.863 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 3)) in y 3.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 3.863 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 3.863 * [taylor]: Taking taylor expansion of 1/3 in y 3.863 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 3.863 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 3.863 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 3.863 * [taylor]: Taking taylor expansion of -1 in y 3.863 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 3.863 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.863 * [taylor]: Taking taylor expansion of 500.0 in y 3.867 * [taylor]: Taking taylor expansion of (log x) in y 3.867 * [taylor]: Taking taylor expansion of x in y 3.878 * [taylor]: Taking taylor expansion of (pow y 3) in y 3.878 * [taylor]: Taking taylor expansion of y in y 3.921 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 3.922 * [approximate]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in (x y) around 0 3.922 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in y 3.922 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y))))) in y 3.922 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y)))) in y 3.922 * [taylor]: Taking taylor expansion of 1/3 in y 3.922 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- x y))) in y 3.922 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in y 3.922 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 3.922 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.922 * [taylor]: Taking taylor expansion of 500.0 in y 3.923 * [taylor]: Taking taylor expansion of (- x y) in y 3.923 * [taylor]: Taking taylor expansion of x in y 3.923 * [taylor]: Taking taylor expansion of y in y 3.926 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in x 3.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y))))) in x 3.926 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y)))) in x 3.926 * [taylor]: Taking taylor expansion of 1/3 in x 3.926 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- x y))) in x 3.927 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in x 3.927 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 3.927 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 3.927 * [taylor]: Taking taylor expansion of 500.0 in x 3.927 * [taylor]: Taking taylor expansion of (- x y) in x 3.927 * [taylor]: Taking taylor expansion of x in x 3.927 * [taylor]: Taking taylor expansion of y in x 3.931 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- x y)) 1/3) in x 3.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y))))) in x 3.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- x y)))) in x 3.931 * [taylor]: Taking taylor expansion of 1/3 in x 3.931 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- x y))) in x 3.931 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in x 3.931 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 3.931 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 3.931 * [taylor]: Taking taylor expansion of 500.0 in x 3.931 * [taylor]: Taking taylor expansion of (- x y) in x 3.931 * [taylor]: Taking taylor expansion of x in x 3.932 * [taylor]: Taking taylor expansion of y in x 3.935 * [taylor]: Taking taylor expansion of (pow (* -1 (* y (pow (sqrt 500.0) 2))) 1/3) in y 3.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* -1 (* y (pow (sqrt 500.0) 2)))))) in y 3.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (* -1 (* y (pow (sqrt 500.0) 2))))) in y 3.935 * [taylor]: Taking taylor expansion of 1/3 in y 3.935 * [taylor]: Taking taylor expansion of (log (* -1 (* y (pow (sqrt 500.0) 2)))) in y 3.935 * [taylor]: Taking taylor expansion of (* -1 (* y (pow (sqrt 500.0) 2))) in y 3.935 * [taylor]: Taking taylor expansion of -1 in y 3.935 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 500.0) 2)) in y 3.935 * [taylor]: Taking taylor expansion of y in y 3.935 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 3.935 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.935 * [taylor]: Taking taylor expansion of 500.0 in y 3.955 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)) 1/3)) in y 3.955 * [taylor]: Taking taylor expansion of -1/3 in y 3.955 * [taylor]: Taking taylor expansion of (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)) 1/3) in y 3.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2))))) in y 3.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)))) in y 3.955 * [taylor]: Taking taylor expansion of 1/3 in y 3.955 * [taylor]: Taking taylor expansion of (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2))) in y 3.955 * [taylor]: Taking taylor expansion of (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 2)) in y 3.955 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 3.955 * [taylor]: Taking taylor expansion of -1 in y 3.955 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 3.955 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.955 * [taylor]: Taking taylor expansion of 500.0 in y 3.956 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.956 * [taylor]: Taking taylor expansion of y in y 3.993 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)) 1/3)) in y 3.993 * [taylor]: Taking taylor expansion of -1/9 in y 3.993 * [taylor]: Taking taylor expansion of (pow (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)) 1/3) in y 3.993 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5))))) in y 3.993 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)))) in y 3.993 * [taylor]: Taking taylor expansion of 1/3 in y 3.993 * [taylor]: Taking taylor expansion of (log (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5))) in y 3.993 * [taylor]: Taking taylor expansion of (/ (* -1 (pow (sqrt 500.0) 2)) (pow y 5)) in y 3.993 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 3.994 * [taylor]: Taking taylor expansion of -1 in y 3.994 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 3.994 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 3.994 * [taylor]: Taking taylor expansion of 500.0 in y 3.994 * [taylor]: Taking taylor expansion of (pow y 5) in y 3.994 * [taylor]: Taking taylor expansion of y in y 4.013 * [approximate]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in (x y) around 0 4.013 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in y 4.013 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))))) in y 4.013 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)))) in y 4.013 * [taylor]: Taking taylor expansion of 1/3 in y 4.013 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))) in y 4.013 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in y 4.013 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 4.013 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.013 * [taylor]: Taking taylor expansion of x in y 4.013 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.013 * [taylor]: Taking taylor expansion of y in y 4.014 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 4.014 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 4.014 * [taylor]: Taking taylor expansion of 500.0 in y 4.023 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in x 4.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))))) in x 4.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)))) in x 4.023 * [taylor]: Taking taylor expansion of 1/3 in x 4.023 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))) in x 4.023 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in x 4.023 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 4.023 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.023 * [taylor]: Taking taylor expansion of x in x 4.023 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.023 * [taylor]: Taking taylor expansion of y in x 4.023 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 4.023 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 4.023 * [taylor]: Taking taylor expansion of 500.0 in x 4.030 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) 1/3) in x 4.030 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))))) in x 4.030 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)))) in x 4.030 * [taylor]: Taking taylor expansion of 1/3 in x 4.030 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2))) in x 4.030 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in x 4.030 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 4.030 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.030 * [taylor]: Taking taylor expansion of x in x 4.031 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.031 * [taylor]: Taking taylor expansion of y in x 4.031 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 4.031 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 4.031 * [taylor]: Taking taylor expansion of 500.0 in x 4.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 4.038 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 4.038 * [taylor]: Taking taylor expansion of 1/3 in y 4.038 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 4.038 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 4.038 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 4.038 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 4.038 * [taylor]: Taking taylor expansion of 500.0 in y 4.040 * [taylor]: Taking taylor expansion of (log x) in y 4.040 * [taylor]: Taking taylor expansion of x in y 4.059 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) y)) in y 4.059 * [taylor]: Taking taylor expansion of -1/3 in y 4.059 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) y) in y 4.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 4.059 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 4.059 * [taylor]: Taking taylor expansion of 1/3 in y 4.059 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 4.059 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 4.059 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 4.059 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 4.059 * [taylor]: Taking taylor expansion of 500.0 in y 4.062 * [taylor]: Taking taylor expansion of (log x) in y 4.062 * [taylor]: Taking taylor expansion of x in y 4.065 * [taylor]: Taking taylor expansion of y in y 4.088 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 2))) in y 4.088 * [taylor]: Taking taylor expansion of -1/9 in y 4.088 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 2)) in y 4.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 4.088 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 4.088 * [taylor]: Taking taylor expansion of 1/3 in y 4.088 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 4.088 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 4.088 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 4.088 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 4.088 * [taylor]: Taking taylor expansion of 500.0 in y 4.091 * [taylor]: Taking taylor expansion of (log x) in y 4.091 * [taylor]: Taking taylor expansion of x in y 4.094 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.094 * [taylor]: Taking taylor expansion of y in y 4.153 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 3))) in y 4.153 * [taylor]: Taking taylor expansion of -5/81 in y 4.153 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) (pow y 3)) in y 4.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x)))) in y 4.153 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log x))) in y 4.153 * [taylor]: Taking taylor expansion of 1/3 in y 4.153 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt 500.0) 2)) (log x)) in y 4.153 * [taylor]: Taking taylor expansion of (log (pow (sqrt 500.0) 2)) in y 4.153 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 4.153 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 4.153 * [taylor]: Taking taylor expansion of 500.0 in y 4.155 * [taylor]: Taking taylor expansion of (log x) in y 4.156 * [taylor]: Taking taylor expansion of x in y 4.159 * [taylor]: Taking taylor expansion of (pow y 3) in y 4.159 * [taylor]: Taking taylor expansion of y in y 4.196 * [approximate]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in (x y) around 0 4.196 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in y 4.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))))) in y 4.196 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))))) in y 4.196 * [taylor]: Taking taylor expansion of 1/3 in y 4.196 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))) in y 4.196 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in y 4.196 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 4.196 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 4.196 * [taylor]: Taking taylor expansion of 500.0 in y 4.197 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 4.197 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.197 * [taylor]: Taking taylor expansion of y in y 4.197 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.197 * [taylor]: Taking taylor expansion of x in y 4.203 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in x 4.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))))) in x 4.204 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))))) in x 4.204 * [taylor]: Taking taylor expansion of 1/3 in x 4.204 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))) in x 4.204 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in x 4.204 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 4.204 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 4.204 * [taylor]: Taking taylor expansion of 500.0 in x 4.204 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 4.204 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.204 * [taylor]: Taking taylor expansion of y in x 4.204 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.204 * [taylor]: Taking taylor expansion of x in x 4.213 * [taylor]: Taking taylor expansion of (pow (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) 1/3) in x 4.213 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))))) in x 4.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))))) in x 4.214 * [taylor]: Taking taylor expansion of 1/3 in x 4.214 * [taylor]: Taking taylor expansion of (log (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x)))) in x 4.214 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in x 4.214 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 4.214 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 4.214 * [taylor]: Taking taylor expansion of 500.0 in x 4.214 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 4.214 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.214 * [taylor]: Taking taylor expansion of y in x 4.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.214 * [taylor]: Taking taylor expansion of x in x 4.223 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 4.223 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 4.223 * [taylor]: Taking taylor expansion of 1/3 in y 4.223 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 4.223 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 4.223 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 4.223 * [taylor]: Taking taylor expansion of -1 in y 4.223 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 4.223 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 4.223 * [taylor]: Taking taylor expansion of 500.0 in y 4.227 * [taylor]: Taking taylor expansion of (log x) in y 4.227 * [taylor]: Taking taylor expansion of x in y 4.251 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) y)) in y 4.251 * [taylor]: Taking taylor expansion of -1/3 in y 4.251 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) y) in y 4.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 4.251 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 4.251 * [taylor]: Taking taylor expansion of 1/3 in y 4.251 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 4.251 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 4.251 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 4.251 * [taylor]: Taking taylor expansion of -1 in y 4.251 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 4.251 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 4.251 * [taylor]: Taking taylor expansion of 500.0 in y 4.255 * [taylor]: Taking taylor expansion of (log x) in y 4.255 * [taylor]: Taking taylor expansion of x in y 4.260 * [taylor]: Taking taylor expansion of y in y 4.290 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 2))) in y 4.290 * [taylor]: Taking taylor expansion of -1/9 in y 4.290 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 2)) in y 4.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 4.291 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 4.291 * [taylor]: Taking taylor expansion of 1/3 in y 4.291 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 4.291 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 4.291 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 4.291 * [taylor]: Taking taylor expansion of -1 in y 4.291 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 4.291 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 4.291 * [taylor]: Taking taylor expansion of 500.0 in y 4.295 * [taylor]: Taking taylor expansion of (log x) in y 4.295 * [taylor]: Taking taylor expansion of x in y 4.299 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.299 * [taylor]: Taking taylor expansion of y in y 4.371 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 3))) in y 4.371 * [taylor]: Taking taylor expansion of -5/81 in y 4.371 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) (pow y 3)) in y 4.371 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)))) in y 4.371 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log x))) in y 4.371 * [taylor]: Taking taylor expansion of 1/3 in y 4.371 * [taylor]: Taking taylor expansion of (- (log (* -1 (pow (sqrt 500.0) 2))) (log x)) in y 4.371 * [taylor]: Taking taylor expansion of (log (* -1 (pow (sqrt 500.0) 2))) in y 4.371 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 4.371 * [taylor]: Taking taylor expansion of -1 in y 4.371 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 4.371 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 4.371 * [taylor]: Taking taylor expansion of 500.0 in y 4.375 * [taylor]: Taking taylor expansion of (log x) in y 4.375 * [taylor]: Taking taylor expansion of x in y 4.380 * [taylor]: Taking taylor expansion of (pow y 3) in y 4.380 * [taylor]: Taking taylor expansion of y in y 4.431 * * * [progress]: simplifying candidates 4.432 * [simplify]: Simplifying using # : (expm1 (cbrt (sqrt 500.0))) (log1p (cbrt (sqrt 500.0))) (log (cbrt (sqrt 500.0))) (exp (cbrt (sqrt 500.0))) (cbrt (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))) (cbrt (cbrt (sqrt 500.0))) (cbrt (sqrt (* (cbrt 500.0) (cbrt 500.0)))) (cbrt (sqrt (cbrt 500.0))) (cbrt (sqrt (sqrt 500.0))) (cbrt (sqrt (sqrt 500.0))) (cbrt (sqrt 1)) (cbrt (sqrt 500.0)) (cbrt (sqrt (sqrt 500.0))) (cbrt (sqrt (sqrt 500.0))) (cbrt 1) (cbrt (sqrt 500.0)) (* (cbrt (cbrt (sqrt 500.0))) (cbrt (cbrt (sqrt 500.0)))) (cbrt (cbrt (sqrt 500.0))) (* (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (cbrt (sqrt 500.0))) (sqrt (cbrt (sqrt 500.0))) (sqrt (cbrt (sqrt 500.0))) (expm1 (cbrt (* (sqrt 500.0) (- x y)))) (log1p (cbrt (* (sqrt 500.0) (- x y)))) (log (cbrt (* (sqrt 500.0) (- x y)))) (exp (cbrt (* (sqrt 500.0) (- x y)))) (cbrt (sqrt 500.0)) (cbrt (- x y)) (cbrt (* (sqrt 500.0) (- (pow x 3) (pow y 3)))) (cbrt (+ (* x x) (+ (* y y) (* x y)))) (cbrt (* (sqrt 500.0) (- (* x x) (* y y)))) (cbrt (+ x y)) (* (cbrt (cbrt (* (sqrt 500.0) (- x y)))) (cbrt (cbrt (* (sqrt 500.0) (- x y))))) (cbrt (cbrt (* (sqrt 500.0) (- x y)))) (* (* (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (- x y)))) (sqrt (cbrt (* (sqrt 500.0) (- x y)))) (sqrt (cbrt (* (sqrt 500.0) (- x y)))) (expm1 (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log1p (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (exp (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (sqrt 500.0)) (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3))))) (cbrt (+ (* x x) (+ (* y y) (* x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y))))) (cbrt (+ x y)) (* (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (expm1 (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log1p (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (exp (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (sqrt 500.0)) (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3))))) (cbrt (+ (* x x) (+ (* y y) (* x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y))))) (cbrt (+ x y)) (* (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (- (exp (* 1/3 (+ (log y) (log (- (sqrt 500.0)))))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log (* -1 (sqrt 500.0))) (* 5 (log y))))))) (* 1/3 (* x (exp (* 1/3 (- (log (* -1 (sqrt 500.0))) (* 2 (log y))))))))) (exp (* 1/3 (- (log (sqrt 500.0)) (log (/ 1 x))))) (exp (* 1/3 (- (log (* -1 (sqrt 500.0))) (log (/ -1 x))))) (- (exp (* 1/3 (+ (log (- (pow (sqrt 500.0) 2))) (log y)))) (+ (* 1/3 (* x (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 2 (log y))))))) (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 5 (log y))))))))) (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log (/ 1 x))))) (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log (/ -1 x))))) (- (exp (* 1/3 (+ (log (- (pow (sqrt 500.0) 2))) (log y)))) (+ (* 1/3 (* x (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 2 (log y))))))) (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 5 (log y))))))))) (exp (* 1/3 (- (log (pow (sqrt 500.0) 2)) (log (/ 1 x))))) (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (log (/ -1 x))))) 4.437 * * [simplify]: iteration 0 : 271 enodes (cost 540 ) 4.441 * * [simplify]: iteration 1 : 674 enodes (cost 500 ) 4.452 * * [simplify]: iteration 2 : 2325 enodes (cost 483 ) 4.491 * * [simplify]: iteration 3 : 5002 enodes (cost 447 ) 4.493 * [simplify]: Simplified to: (expm1 (cbrt (sqrt 500.0))) (log1p (cbrt (sqrt 500.0))) (log (cbrt (sqrt 500.0))) (exp (cbrt (sqrt 500.0))) (cbrt (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))) (cbrt (cbrt (sqrt 500.0))) (cbrt (sqrt (* (cbrt 500.0) (cbrt 500.0)))) (cbrt (sqrt (cbrt 500.0))) (cbrt (sqrt (sqrt 500.0))) (cbrt (sqrt (sqrt 500.0))) (cbrt 1) (cbrt (sqrt 500.0)) (cbrt (sqrt (sqrt 500.0))) (cbrt (sqrt (sqrt 500.0))) (cbrt 1) (cbrt (sqrt 500.0)) (* (cbrt (cbrt (sqrt 500.0))) (cbrt (cbrt (sqrt 500.0)))) (cbrt (cbrt (sqrt 500.0))) (sqrt 500.0) (sqrt (cbrt (sqrt 500.0))) (sqrt (cbrt (sqrt 500.0))) (expm1 (cbrt (* (sqrt 500.0) (- x y)))) (log1p (cbrt (* (sqrt 500.0) (- x y)))) (log (cbrt (* (sqrt 500.0) (- x y)))) (exp (cbrt (* (sqrt 500.0) (- x y)))) (cbrt (sqrt 500.0)) (cbrt (- x y)) (cbrt (* (sqrt 500.0) (- (pow x 3) (pow y 3)))) (cbrt (+ (* x x) (+ (* y y) (* x y)))) (cbrt (* (sqrt 500.0) (- (* x x) (* y y)))) (cbrt (+ x y)) (* (cbrt (cbrt (* (sqrt 500.0) (- x y)))) (cbrt (cbrt (* (sqrt 500.0) (- x y))))) (cbrt (cbrt (* (sqrt 500.0) (- x y)))) (* (sqrt 500.0) (- x y)) (sqrt (cbrt (* (sqrt 500.0) (- x y)))) (sqrt (cbrt (* (sqrt 500.0) (- x y)))) (expm1 (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log1p (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (exp (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (sqrt 500.0)) (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3))))) (cbrt (+ (* x x) (+ (* y y) (* x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y))))) (cbrt (+ x y)) (* (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (- x y) 500.0) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (expm1 (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log1p (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (log (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (exp (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (sqrt 500.0)) (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3))))) (cbrt (+ (* x x) (+ (* y y) (* x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y))))) (cbrt (+ x y)) (* (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))) (cbrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (- x y) 500.0) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (sqrt (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (* (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (fma (pow (* -1 (sqrt 500.0)) 1/3) (pow y 1/3) (- (fma 1/9 (* (pow x 2) (exp (* 1/3 (- (log (* -1 (sqrt 500.0))) (* 5 (log y)))))) (* 1/3 (* x (exp (* 1/3 (- (log (* -1 (sqrt 500.0))) (* 2 (log y)))))))))) (* (pow x 1/3) (pow (sqrt 500.0) 1/3)) (* (pow x 1/3) (pow (sqrt 500.0) 1/3)) (fma (pow y 1/3) (pow (* -1 (pow (sqrt 500.0) 2)) 1/3) (- (fma 1/3 (* x (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 2 (log y)))))) (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 5 (log y)))))))))) (* (pow x 1/3) (pow 500.0 1/3)) (* (pow x 1/3) (pow 500.0 1/3)) (fma (pow y 1/3) (pow (* -1 (pow (sqrt 500.0) 2)) 1/3) (- (fma 1/3 (* x (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 2 (log y)))))) (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log (* -1 (pow (sqrt 500.0) 2))) (* 5 (log y)))))))))) (* (pow x 1/3) (pow 500.0 1/3)) (* (pow x 1/3) (pow 500.0 1/3)) 4.493 * * * [progress]: adding candidates to table 4.727 * [progress]: [Phase 3 of 3] Extracting. 4.728 * * [regime]: Finding splitpoints for: (# # # #) 4.732 * * * [regime-changes]: Trying 4 branch expressions: ((- x y) (* 500.0 (- x y)) y x) 4.732 * * * * [regimes]: Trying to branch on (- x y) from (# # # #) 4.748 * * * * [regimes]: Trying to branch on (* 500.0 (- x y)) from (# # # #) 4.765 * * * * [regimes]: Trying to branch on y from (# # # #) 4.784 * * * * [regimes]: Trying to branch on x from (# # # #) 4.800 * * * [regime]: Found split indices: #