9.281 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.064 * * * [progress]: [2/2] Setting up program. 0.067 * [progress]: [Phase 2 of 3] Improving. 0.067 * [simplify]: Simplifying using # : (- x (/ y (+ 1.0 (/ (* x y) 2.0)))) 0.241 * * [simplify]: iteration 0 : 2641 enodes (cost 11 ) 0.241 * * [simplify]: iteration 1 : 2641 enodes (cost 11 ) 0.242 * [simplify]: Simplified to: (+ x (/ -1 (+ (/ x 2.0) (/ 1.0 y)))) 0.245 * * [progress]: iteration 1 / 4 0.245 * * * [progress]: picking best candidate 0.250 * * * * [pick]: Picked # 0.250 * * * [progress]: localizing error 0.257 * * * [progress]: generating rewritten candidates 0.257 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.269 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 0.283 * * * [progress]: generating series expansions 0.283 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.283 * [approximate]: Taking taylor expansion of (/ -1 (+ (* 0.5 x) (* 1.0 (/ 1 y)))) in (x y) around 0 0.283 * [taylor]: Taking taylor expansion of (/ -1 (+ (* 0.5 x) (* 1.0 (/ 1 y)))) in y 0.283 * [taylor]: Taking taylor expansion of -1 in y 0.283 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 1.0 (/ 1 y))) in y 0.283 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 0.283 * [taylor]: Taking taylor expansion of 0.5 in y 0.283 * [taylor]: Taking taylor expansion of x in y 0.283 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.283 * [taylor]: Taking taylor expansion of 1.0 in y 0.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.283 * [taylor]: Taking taylor expansion of y in y 0.283 * [taylor]: Taking taylor expansion of (/ -1 (+ (* 0.5 x) (* 1.0 (/ 1 y)))) in x 0.283 * [taylor]: Taking taylor expansion of -1 in x 0.283 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 1.0 (/ 1 y))) in x 0.283 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 0.283 * [taylor]: Taking taylor expansion of 0.5 in x 0.283 * [taylor]: Taking taylor expansion of x in x 0.283 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 0.284 * [taylor]: Taking taylor expansion of 1.0 in x 0.284 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.284 * [taylor]: Taking taylor expansion of y in x 0.284 * [taylor]: Taking taylor expansion of (/ -1 (+ (* 0.5 x) (* 1.0 (/ 1 y)))) in x 0.284 * [taylor]: Taking taylor expansion of -1 in x 0.284 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 1.0 (/ 1 y))) in x 0.284 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 0.284 * [taylor]: Taking taylor expansion of 0.5 in x 0.284 * [taylor]: Taking taylor expansion of x in x 0.284 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 0.284 * [taylor]: Taking taylor expansion of 1.0 in x 0.284 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.284 * [taylor]: Taking taylor expansion of y in x 0.284 * [taylor]: Taking taylor expansion of (* -1.0 y) in y 0.284 * [taylor]: Taking taylor expansion of -1.0 in y 0.284 * [taylor]: Taking taylor expansion of y in y 0.284 * [taylor]: Taking taylor expansion of (* 0.5 (pow y 2)) in y 0.284 * [taylor]: Taking taylor expansion of 0.5 in y 0.284 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.284 * [taylor]: Taking taylor expansion of y in y 0.288 * [taylor]: Taking taylor expansion of (neg (* 0.25 (pow y 3))) in y 0.288 * [taylor]: Taking taylor expansion of (* 0.25 (pow y 3)) in y 0.288 * [taylor]: Taking taylor expansion of 0.25 in y 0.288 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.288 * [taylor]: Taking taylor expansion of y in y 0.289 * [taylor]: Taking taylor expansion of (* 0.125 (pow y 4)) in y 0.289 * [taylor]: Taking taylor expansion of 0.125 in y 0.289 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.289 * [taylor]: Taking taylor expansion of y in y 0.290 * [taylor]: Taking taylor expansion of (neg (* 0.0625 (pow y 5))) in y 0.290 * [taylor]: Taking taylor expansion of (* 0.0625 (pow y 5)) in y 0.290 * [taylor]: Taking taylor expansion of 0.0625 in y 0.290 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.290 * [taylor]: Taking taylor expansion of y in y 0.290 * [approximate]: Taking taylor expansion of (/ -1 (+ (* 1.0 y) (* 0.5 (/ 1 x)))) in (x y) around 0 0.290 * [taylor]: Taking taylor expansion of (/ -1 (+ (* 1.0 y) (* 0.5 (/ 1 x)))) in y 0.290 * [taylor]: Taking taylor expansion of -1 in y 0.291 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* 0.5 (/ 1 x))) in y 0.291 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.291 * [taylor]: Taking taylor expansion of 1.0 in y 0.291 * [taylor]: Taking taylor expansion of y in y 0.291 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 0.291 * [taylor]: Taking taylor expansion of 0.5 in y 0.291 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.291 * [taylor]: Taking taylor expansion of x in y 0.291 * [taylor]: Taking taylor expansion of (/ -1 (+ (* 1.0 y) (* 0.5 (/ 1 x)))) in x 0.291 * [taylor]: Taking taylor expansion of -1 in x 0.291 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* 0.5 (/ 1 x))) in x 0.291 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 0.291 * [taylor]: Taking taylor expansion of 1.0 in x 0.291 * [taylor]: Taking taylor expansion of y in x 0.291 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.291 * [taylor]: Taking taylor expansion of 0.5 in x 0.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.291 * [taylor]: Taking taylor expansion of x in x 0.291 * [taylor]: Taking taylor expansion of (/ -1 (+ (* 1.0 y) (* 0.5 (/ 1 x)))) in x 0.291 * [taylor]: Taking taylor expansion of -1 in x 0.291 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* 0.5 (/ 1 x))) in x 0.291 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 0.291 * [taylor]: Taking taylor expansion of 1.0 in x 0.291 * [taylor]: Taking taylor expansion of y in x 0.291 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.291 * [taylor]: Taking taylor expansion of 0.5 in x 0.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.291 * [taylor]: Taking taylor expansion of x in x 0.291 * [taylor]: Taking taylor expansion of -2.0 in y 0.292 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.292 * [taylor]: Taking taylor expansion of 4.0 in y 0.292 * [taylor]: Taking taylor expansion of y in y 0.292 * [taylor]: Taking taylor expansion of (neg (* 8.0 (pow y 2))) in y 0.292 * [taylor]: Taking taylor expansion of (* 8.0 (pow y 2)) in y 0.292 * [taylor]: Taking taylor expansion of 8.0 in y 0.292 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.292 * [taylor]: Taking taylor expansion of y in y 0.293 * [taylor]: Taking taylor expansion of (* 16.0 (pow y 3)) in y 0.293 * [taylor]: Taking taylor expansion of 16.0 in y 0.293 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.293 * [taylor]: Taking taylor expansion of y in y 0.293 * [taylor]: Taking taylor expansion of (neg (* 32.0 (pow y 4))) in y 0.293 * [taylor]: Taking taylor expansion of (* 32.0 (pow y 4)) in y 0.293 * [taylor]: Taking taylor expansion of 32.0 in y 0.293 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.293 * [taylor]: Taking taylor expansion of y in y 0.294 * [approximate]: Taking taylor expansion of (/ 1 (+ (* 1.0 y) (* 0.5 (/ 1 x)))) in (x y) around 0 0.294 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 y) (* 0.5 (/ 1 x)))) in y 0.294 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* 0.5 (/ 1 x))) in y 0.294 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.294 * [taylor]: Taking taylor expansion of 1.0 in y 0.294 * [taylor]: Taking taylor expansion of y in y 0.294 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 0.294 * [taylor]: Taking taylor expansion of 0.5 in y 0.294 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.294 * [taylor]: Taking taylor expansion of x in y 0.294 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 y) (* 0.5 (/ 1 x)))) in x 0.294 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* 0.5 (/ 1 x))) in x 0.294 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 0.294 * [taylor]: Taking taylor expansion of 1.0 in x 0.294 * [taylor]: Taking taylor expansion of y in x 0.294 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.294 * [taylor]: Taking taylor expansion of 0.5 in x 0.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.294 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 y) (* 0.5 (/ 1 x)))) in x 0.294 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* 0.5 (/ 1 x))) in x 0.294 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 0.294 * [taylor]: Taking taylor expansion of 1.0 in x 0.294 * [taylor]: Taking taylor expansion of y in x 0.294 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.294 * [taylor]: Taking taylor expansion of 0.5 in x 0.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.295 * [taylor]: Taking taylor expansion of 2.0 in y 0.295 * [taylor]: Taking taylor expansion of (neg (* 4.0 y)) in y 0.295 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.295 * [taylor]: Taking taylor expansion of 4.0 in y 0.295 * [taylor]: Taking taylor expansion of y in y 0.295 * [taylor]: Taking taylor expansion of (* 8.0 (pow y 2)) in y 0.295 * [taylor]: Taking taylor expansion of 8.0 in y 0.295 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.295 * [taylor]: Taking taylor expansion of y in y 0.296 * [taylor]: Taking taylor expansion of (neg (* 16.0 (pow y 3))) in y 0.296 * [taylor]: Taking taylor expansion of (* 16.0 (pow y 3)) in y 0.296 * [taylor]: Taking taylor expansion of 16.0 in y 0.296 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.296 * [taylor]: Taking taylor expansion of y in y 0.296 * [taylor]: Taking taylor expansion of (* 32.0 (pow y 4)) in y 0.296 * [taylor]: Taking taylor expansion of 32.0 in y 0.296 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.296 * [taylor]: Taking taylor expansion of y in y 0.297 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 0.297 * [approximate]: Taking taylor expansion of (+ (* 0.5 x) (* 1.0 (/ 1 y))) in (x y) around 0 0.297 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 1.0 (/ 1 y))) in y 0.297 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 0.297 * [taylor]: Taking taylor expansion of 0.5 in y 0.297 * [taylor]: Taking taylor expansion of x in y 0.297 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.297 * [taylor]: Taking taylor expansion of 1.0 in y 0.297 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.297 * [taylor]: Taking taylor expansion of y in y 0.297 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 1.0 (/ 1 y))) in x 0.297 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 0.297 * [taylor]: Taking taylor expansion of 0.5 in x 0.297 * [taylor]: Taking taylor expansion of x in x 0.297 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 0.297 * [taylor]: Taking taylor expansion of 1.0 in x 0.297 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.297 * [taylor]: Taking taylor expansion of y in x 0.297 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 1.0 (/ 1 y))) in x 0.297 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 0.297 * [taylor]: Taking taylor expansion of 0.5 in x 0.297 * [taylor]: Taking taylor expansion of x in x 0.297 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 0.297 * [taylor]: Taking taylor expansion of 1.0 in x 0.297 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.297 * [taylor]: Taking taylor expansion of y in x 0.297 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.297 * [taylor]: Taking taylor expansion of 1.0 in y 0.297 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.297 * [taylor]: Taking taylor expansion of y in y 0.297 * [taylor]: Taking taylor expansion of 0.5 in y 0.298 * [taylor]: Taking taylor expansion of 0 in y 0.298 * [taylor]: Taking taylor expansion of 0 in y 0.298 * [taylor]: Taking taylor expansion of 0 in y 0.298 * [approximate]: Taking taylor expansion of (+ (* 1.0 y) (* 0.5 (/ 1 x))) in (x y) around 0 0.298 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* 0.5 (/ 1 x))) in y 0.298 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.298 * [taylor]: Taking taylor expansion of 1.0 in y 0.298 * [taylor]: Taking taylor expansion of y in y 0.299 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 0.299 * [taylor]: Taking taylor expansion of 0.5 in y 0.299 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.299 * [taylor]: Taking taylor expansion of x in y 0.299 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* 0.5 (/ 1 x))) in x 0.299 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 0.299 * [taylor]: Taking taylor expansion of 1.0 in x 0.299 * [taylor]: Taking taylor expansion of y in x 0.299 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.299 * [taylor]: Taking taylor expansion of 0.5 in x 0.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.299 * [taylor]: Taking taylor expansion of x in x 0.299 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* 0.5 (/ 1 x))) in x 0.299 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 0.299 * [taylor]: Taking taylor expansion of 1.0 in x 0.299 * [taylor]: Taking taylor expansion of y in x 0.299 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.299 * [taylor]: Taking taylor expansion of 0.5 in x 0.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.299 * [taylor]: Taking taylor expansion of x in x 0.299 * [taylor]: Taking taylor expansion of 0.5 in y 0.299 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.299 * [taylor]: Taking taylor expansion of 1.0 in y 0.299 * [taylor]: Taking taylor expansion of y in y 0.299 * [taylor]: Taking taylor expansion of 0 in y 0.299 * [taylor]: Taking taylor expansion of 0 in y 0.300 * [taylor]: Taking taylor expansion of 0 in y 0.300 * [approximate]: Taking taylor expansion of (neg (+ (* 1.0 y) (* 0.5 (/ 1 x)))) in (x y) around 0 0.300 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 y) (* 0.5 (/ 1 x)))) in y 0.300 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* 0.5 (/ 1 x))) in y 0.300 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.300 * [taylor]: Taking taylor expansion of 1.0 in y 0.300 * [taylor]: Taking taylor expansion of y in y 0.300 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 0.300 * [taylor]: Taking taylor expansion of 0.5 in y 0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.300 * [taylor]: Taking taylor expansion of x in y 0.300 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 y) (* 0.5 (/ 1 x)))) in x 0.300 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* 0.5 (/ 1 x))) in x 0.300 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 0.300 * [taylor]: Taking taylor expansion of 1.0 in x 0.300 * [taylor]: Taking taylor expansion of y in x 0.300 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.300 * [taylor]: Taking taylor expansion of 0.5 in x 0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.300 * [taylor]: Taking taylor expansion of x in x 0.300 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 y) (* 0.5 (/ 1 x)))) in x 0.300 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* 0.5 (/ 1 x))) in x 0.300 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 0.300 * [taylor]: Taking taylor expansion of 1.0 in x 0.300 * [taylor]: Taking taylor expansion of y in x 0.300 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.300 * [taylor]: Taking taylor expansion of 0.5 in x 0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.300 * [taylor]: Taking taylor expansion of x in x 0.300 * [taylor]: Taking taylor expansion of (neg 0.5) in y 0.300 * [taylor]: Taking taylor expansion of 0.5 in y 0.301 * [taylor]: Taking taylor expansion of (neg (* 1.0 y)) in y 0.301 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.301 * [taylor]: Taking taylor expansion of 1.0 in y 0.301 * [taylor]: Taking taylor expansion of y in y 0.301 * [taylor]: Taking taylor expansion of 0 in y 0.301 * [taylor]: Taking taylor expansion of 0 in y 0.301 * [taylor]: Taking taylor expansion of 0 in y 0.301 * * * [progress]: simplifying candidates 0.302 * [simplify]: Simplifying using # : (- (log -1) (log (+ (/ x 2.0) (/ 1.0 y)))) (log (/ -1 (+ (/ x 2.0) (/ 1.0 y)))) (exp (/ -1 (+ (/ x 2.0) (/ 1.0 y)))) (/ (* (* -1 -1) -1) (* (* (+ (/ x 2.0) (/ 1.0 y)) (+ (/ x 2.0) (/ 1.0 y))) (+ (/ x 2.0) (/ 1.0 y)))) (* (cbrt (/ -1 (+ (/ x 2.0) (/ 1.0 y)))) (cbrt (/ -1 (+ (/ x 2.0) (/ 1.0 y))))) (cbrt (/ -1 (+ (/ x 2.0) (/ 1.0 y)))) (* (* (/ -1 (+ (/ x 2.0) (/ 1.0 y))) (/ -1 (+ (/ x 2.0) (/ 1.0 y)))) (/ -1 (+ (/ x 2.0) (/ 1.0 y)))) (sqrt (/ -1 (+ (/ x 2.0) (/ 1.0 y)))) (sqrt (/ -1 (+ (/ x 2.0) (/ 1.0 y)))) (neg -1) (neg (+ (/ x 2.0) (/ 1.0 y))) (/ (* (cbrt -1) (cbrt -1)) (* (cbrt (+ (/ x 2.0) (/ 1.0 y))) (cbrt (+ (/ x 2.0) (/ 1.0 y))))) (/ (cbrt -1) (cbrt (+ (/ x 2.0) (/ 1.0 y)))) (/ (* (cbrt -1) (cbrt -1)) (sqrt (+ (/ x 2.0) (/ 1.0 y)))) (/ (cbrt -1) (sqrt (+ (/ x 2.0) (/ 1.0 y)))) (/ (* (cbrt -1) (cbrt -1)) 1) (/ (cbrt -1) (+ (/ x 2.0) (/ 1.0 y))) (/ (* (cbrt -1) (cbrt -1)) (/ 1 1)) (/ (cbrt -1) (+ (/ x 2.0) (/ 1.0 y))) (/ (* (cbrt -1) (cbrt -1)) 1) (/ (cbrt -1) (+ (/ x 2.0) (/ 1.0 y))) (/ (sqrt -1) (* (cbrt (+ (/ x 2.0) (/ 1.0 y))) (cbrt (+ (/ x 2.0) (/ 1.0 y))))) (/ (sqrt -1) (cbrt (+ (/ x 2.0) (/ 1.0 y)))) (/ (sqrt -1) (sqrt (+ (/ x 2.0) (/ 1.0 y)))) (/ (sqrt -1) (sqrt (+ (/ x 2.0) (/ 1.0 y)))) (/ (sqrt -1) 1) (/ (sqrt -1) (+ (/ x 2.0) (/ 1.0 y))) (/ (sqrt -1) (/ 1 1)) (/ (sqrt -1) (+ (/ x 2.0) (/ 1.0 y))) (/ (sqrt -1) 1) (/ (sqrt -1) (+ (/ x 2.0) (/ 1.0 y))) (/ 1 (* (cbrt (+ (/ x 2.0) (/ 1.0 y))) (cbrt (+ (/ x 2.0) (/ 1.0 y))))) (/ -1 (cbrt (+ (/ x 2.0) (/ 1.0 y)))) (/ 1 (sqrt (+ (/ x 2.0) (/ 1.0 y)))) (/ -1 (sqrt (+ (/ x 2.0) (/ 1.0 y)))) (/ 1 1) (/ -1 (+ (/ x 2.0) (/ 1.0 y))) (/ 1 (/ 1 1)) (/ -1 (+ (/ x 2.0) (/ 1.0 y))) (/ 1 1) (/ -1 (+ (/ x 2.0) (/ 1.0 y))) (/ 1 (+ (/ x 2.0) (/ 1.0 y))) (/ (+ (/ x 2.0) (/ 1.0 y)) -1) (/ -1 (* (cbrt (+ (/ x 2.0) (/ 1.0 y))) (cbrt (+ (/ x 2.0) (/ 1.0 y))))) (/ -1 (sqrt (+ (/ x 2.0) (/ 1.0 y)))) (/ -1 1) (/ -1 (/ 1 1)) (/ -1 1) (/ (+ (/ x 2.0) (/ 1.0 y)) (cbrt -1)) (/ (+ (/ x 2.0) (/ 1.0 y)) (sqrt -1)) (/ (+ (/ x 2.0) (/ 1.0 y)) -1) (/ -1 (+ (* x y) (* 2.0 1.0))) (/ -1 (+ (pow (/ x 2.0) 3) (pow (/ 1.0 y) 3))) (/ -1 (- (* (/ x 2.0) (/ x 2.0)) (* (/ 1.0 y) (/ 1.0 y)))) (* (exp (/ x 2.0)) (exp (/ 1.0 y))) (log (+ (/ x 2.0) (/ 1.0 y))) (exp (+ (/ x 2.0) (/ 1.0 y))) (* (cbrt (+ (/ x 2.0) (/ 1.0 y))) (cbrt (+ (/ x 2.0) (/ 1.0 y)))) (cbrt (+ (/ x 2.0) (/ 1.0 y))) (* (* (+ (/ x 2.0) (/ 1.0 y)) (+ (/ x 2.0) (/ 1.0 y))) (+ (/ x 2.0) (/ 1.0 y))) (sqrt (+ (/ x 2.0) (/ 1.0 y))) (sqrt (+ (/ x 2.0) (/ 1.0 y))) (+ (* x y) (* 2.0 1.0)) (* 2.0 y) (+ (pow (/ x 2.0) 3) (pow (/ 1.0 y) 3)) (+ (* (/ x 2.0) (/ x 2.0)) (- (* (/ 1.0 y) (/ 1.0 y)) (* (/ x 2.0) (/ 1.0 y)))) (- (* (/ x 2.0) (/ x 2.0)) (* (/ 1.0 y) (/ 1.0 y))) (- (/ x 2.0) (/ 1.0 y)) (+ (/ x 2.0) (/ 1.0 y)) (+ (/ x 2.0) (/ 1.0 y)) (- (* 0.5 (* x (pow y 2))) (+ (* 1.0 y) (* 0.25 (* (pow x 2) (pow y 3))))) (- (* 4.0 (/ 1 (* (pow x 2) y))) (+ (* 8.0 (/ 1 (* (pow x 3) (pow y 2)))) (* 2.0 (/ 1 x)))) (- (* 4.0 (/ 1 (* (pow x 2) y))) (+ (* 8.0 (/ 1 (* (pow x 3) (pow y 2)))) (* 2.0 (/ 1 x)))) (+ (* 0.5 x) (* 1.0 (/ 1 y))) (+ (* 0.5 x) (* 1.0 (/ 1 y))) (+ (* 0.5 x) (* 1.0 (/ 1 y))) 0.339 * * [simplify]: iteration 0 : 5021 enodes (cost 732 ) 0.343 * [simplify]: Simplified to: (log (/ -1 (+ (/ x 2.0) (/ 1.0 y)))) (log (/ -1 (+ (/ x 2.0) (/ 1.0 y)))) (exp (/ -1 (+ (/ x 2.0) (/ 1.0 y)))) (/ -1 (pow (+ (/ x 2.0) (/ 1.0 y)) 3)) (* (cbrt (/ -1 (+ (/ x 2.0) (/ 1.0 y)))) (cbrt (/ -1 (+ (/ x 2.0) (/ 1.0 y))))) (cbrt (/ -1 (+ (/ x 2.0) (/ 1.0 y)))) (/ -1 (pow (+ (/ x 2.0) (/ 1.0 y)) 3)) (sqrt (/ -1 (+ (/ x 2.0) (/ 1.0 y)))) (sqrt (/ -1 (+ (/ x 2.0) (/ 1.0 y)))) 1 (- (/ (neg 1.0) y) (/ x 2.0)) (* (cbrt -1) (/ (cbrt -1) (* (cbrt (+ (/ x 2.0) (/ 1.0 y))) (cbrt (+ (/ x 2.0) (/ 1.0 y)))))) (/ (cbrt -1) (cbrt (+ (/ x 2.0) (/ 1.0 y)))) (* (cbrt -1) (/ (cbrt -1) (sqrt (+ (/ x 2.0) (/ 1.0 y))))) (/ (cbrt -1) (sqrt (+ (/ x 2.0) (/ 1.0 y)))) (* (cbrt -1) (cbrt -1)) (/ (cbrt -1) (+ (/ x 2.0) (/ 1.0 y))) (* (cbrt -1) (cbrt -1)) (/ (cbrt -1) (+ (/ x 2.0) (/ 1.0 y))) (* (cbrt -1) (cbrt -1)) (/ (cbrt -1) (+ (/ x 2.0) (/ 1.0 y))) (/ (sqrt -1) (* (cbrt (+ (/ x 2.0) (/ 1.0 y))) (cbrt (+ (/ x 2.0) (/ 1.0 y))))) (/ (sqrt -1) (cbrt (+ (/ x 2.0) (/ 1.0 y)))) (/ (sqrt -1) (sqrt (+ (/ x 2.0) (/ 1.0 y)))) (/ (sqrt -1) (sqrt (+ (/ x 2.0) (/ 1.0 y)))) (sqrt -1) (/ (sqrt -1) (+ (/ x 2.0) (/ 1.0 y))) (sqrt -1) (/ (sqrt -1) (+ (/ x 2.0) (/ 1.0 y))) (sqrt -1) (/ (sqrt -1) (+ (/ x 2.0) (/ 1.0 y))) (/ 1 (* (cbrt (+ (/ x 2.0) (/ 1.0 y))) (cbrt (+ (/ x 2.0) (/ 1.0 y))))) (/ -1 (cbrt (+ (/ x 2.0) (/ 1.0 y)))) (/ 1 (sqrt (+ (/ x 2.0) (/ 1.0 y)))) (/ -1 (sqrt (+ (/ x 2.0) (/ 1.0 y)))) 1 (/ -1 (+ (/ x 2.0) (/ 1.0 y))) 1 (/ -1 (+ (/ x 2.0) (/ 1.0 y))) 1 (/ -1 (+ (/ x 2.0) (/ 1.0 y))) (/ 1 (+ (/ x 2.0) (/ 1.0 y))) (/ (+ (/ x 2.0) (/ 1.0 y)) -1) (/ -1 (* (cbrt (+ (/ x 2.0) (/ 1.0 y))) (cbrt (+ (/ x 2.0) (/ 1.0 y))))) (/ -1 (sqrt (+ (/ x 2.0) (/ 1.0 y)))) -1 -1 -1 (/ (+ (/ x 2.0) (/ 1.0 y)) (cbrt -1)) (/ (+ (/ x 2.0) (/ 1.0 y)) (sqrt -1)) (/ (+ (/ x 2.0) (/ 1.0 y)) -1) (/ -1 (+ (* x y) (* 2.0 1.0))) (/ -1 (+ (pow (/ x 2.0) 3) (pow (/ 1.0 y) 3))) (/ -1 (- (* x (/ x (* 2.0 2.0))) (* (/ 1.0 y) (/ 1.0 y)))) (exp (+ (/ x 2.0) (/ 1.0 y))) (log (+ (/ x 2.0) (/ 1.0 y))) (exp (+ (/ x 2.0) (/ 1.0 y))) (* (cbrt (+ (/ x 2.0) (/ 1.0 y))) (cbrt (+ (/ x 2.0) (/ 1.0 y)))) (cbrt (+ (/ x 2.0) (/ 1.0 y))) (pow (+ (/ x 2.0) (/ 1.0 y)) 3) (sqrt (+ (/ x 2.0) (/ 1.0 y))) (sqrt (+ (/ x 2.0) (/ 1.0 y))) (+ (* x y) (* 2.0 1.0)) (* 2.0 y) (+ (pow (/ x 2.0) 3) (pow (/ 1.0 y) 3)) (+ (* x (/ x (* 2.0 2.0))) (* (/ 1.0 y) (- (/ 1.0 y) (/ x 2.0)))) (- (* x (/ x (* 2.0 2.0))) (* (/ 1.0 y) (/ 1.0 y))) (- (/ x 2.0) (/ 1.0 y)) (+ (/ x 2.0) (/ 1.0 y)) (+ (/ x 2.0) (/ 1.0 y)) (* y (- (* y (- (* x 0.5) (* y (* x (* x 0.25))))) 1.0)) (- (/ 4.0 (* x (* x y))) (+ (/ 8.0 (* y (* y (pow x 3)))) (/ 2.0 x))) (- (/ 4.0 (* x (* x y))) (+ (/ 8.0 (* y (* y (pow x 3)))) (/ 2.0 x))) (+ (/ 1.0 y) (* x 0.5)) (+ (/ 1.0 y) (* x 0.5)) (+ (/ 1.0 y) (* x 0.5)) 0.343 * * * [progress]: adding candidates to table 0.410 * * [progress]: iteration 2 / 4 0.410 * * * [progress]: picking best candidate 0.413 * * * * [pick]: Picked # 0.413 * * * [progress]: localizing error 0.422 * * * [progress]: generating rewritten candidates 0.422 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.432 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1) 0.439 * * * [progress]: generating series expansions 0.439 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.439 * [approximate]: Taking taylor expansion of (* -2.0 (/ y (+ (* x y) 2.0))) in (x y) around 0 0.439 * [taylor]: Taking taylor expansion of (* -2.0 (/ y (+ (* x y) 2.0))) in y 0.439 * [taylor]: Taking taylor expansion of -2.0 in y 0.439 * [taylor]: Taking taylor expansion of (/ y (+ (* x y) 2.0)) in y 0.439 * [taylor]: Taking taylor expansion of y in y 0.439 * [taylor]: Taking taylor expansion of (+ (* x y) 2.0) in y 0.439 * [taylor]: Taking taylor expansion of (* x y) in y 0.439 * [taylor]: Taking taylor expansion of x in y 0.439 * [taylor]: Taking taylor expansion of y in y 0.439 * [taylor]: Taking taylor expansion of 2.0 in y 0.439 * [taylor]: Taking taylor expansion of (* -2.0 (/ y (+ (* x y) 2.0))) in x 0.439 * [taylor]: Taking taylor expansion of -2.0 in x 0.439 * [taylor]: Taking taylor expansion of (/ y (+ (* x y) 2.0)) in x 0.439 * [taylor]: Taking taylor expansion of y in x 0.439 * [taylor]: Taking taylor expansion of (+ (* x y) 2.0) in x 0.439 * [taylor]: Taking taylor expansion of (* x y) in x 0.440 * [taylor]: Taking taylor expansion of x in x 0.440 * [taylor]: Taking taylor expansion of y in x 0.440 * [taylor]: Taking taylor expansion of 2.0 in x 0.440 * [taylor]: Taking taylor expansion of (* -2.0 (/ y (+ (* x y) 2.0))) in x 0.440 * [taylor]: Taking taylor expansion of -2.0 in x 0.440 * [taylor]: Taking taylor expansion of (/ y (+ (* x y) 2.0)) in x 0.440 * [taylor]: Taking taylor expansion of y in x 0.440 * [taylor]: Taking taylor expansion of (+ (* x y) 2.0) in x 0.440 * [taylor]: Taking taylor expansion of (* x y) in x 0.440 * [taylor]: Taking taylor expansion of x in x 0.440 * [taylor]: Taking taylor expansion of y in x 0.440 * [taylor]: Taking taylor expansion of 2.0 in x 0.440 * [taylor]: Taking taylor expansion of (* -1.0 y) in y 0.440 * [taylor]: Taking taylor expansion of -1.0 in y 0.440 * [taylor]: Taking taylor expansion of y in y 0.440 * [taylor]: Taking taylor expansion of (* 0.5 (pow y 2)) in y 0.440 * [taylor]: Taking taylor expansion of 0.5 in y 0.440 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.440 * [taylor]: Taking taylor expansion of y in y 0.441 * [taylor]: Taking taylor expansion of (neg (* 0.25 (pow y 3))) in y 0.441 * [taylor]: Taking taylor expansion of (* 0.25 (pow y 3)) in y 0.441 * [taylor]: Taking taylor expansion of 0.25 in y 0.441 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.441 * [taylor]: Taking taylor expansion of y in y 0.441 * [taylor]: Taking taylor expansion of (* 0.125 (pow y 4)) in y 0.441 * [taylor]: Taking taylor expansion of 0.125 in y 0.441 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.442 * [taylor]: Taking taylor expansion of y in y 0.442 * [taylor]: Taking taylor expansion of (neg (* 0.0625 (pow y 5))) in y 0.442 * [taylor]: Taking taylor expansion of (* 0.0625 (pow y 5)) in y 0.442 * [taylor]: Taking taylor expansion of 0.0625 in y 0.442 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.442 * [taylor]: Taking taylor expansion of y in y 0.443 * [approximate]: Taking taylor expansion of (/ -2.0 (* (+ 2.0 (/ 1 (* x y))) y)) in (x y) around 0 0.443 * [taylor]: Taking taylor expansion of (/ -2.0 (* (+ 2.0 (/ 1 (* x y))) y)) in y 0.443 * [taylor]: Taking taylor expansion of -2.0 in y 0.443 * [taylor]: Taking taylor expansion of (* (+ 2.0 (/ 1 (* x y))) y) in y 0.443 * [taylor]: Taking taylor expansion of (+ 2.0 (/ 1 (* x y))) in y 0.443 * [taylor]: Taking taylor expansion of 2.0 in y 0.443 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.443 * [taylor]: Taking taylor expansion of (* x y) in y 0.443 * [taylor]: Taking taylor expansion of x in y 0.443 * [taylor]: Taking taylor expansion of y in y 0.443 * [taylor]: Taking taylor expansion of y in y 0.443 * [taylor]: Taking taylor expansion of (/ -2.0 (* (+ 2.0 (/ 1 (* x y))) y)) in x 0.443 * [taylor]: Taking taylor expansion of -2.0 in x 0.443 * [taylor]: Taking taylor expansion of (* (+ 2.0 (/ 1 (* x y))) y) in x 0.443 * [taylor]: Taking taylor expansion of (+ 2.0 (/ 1 (* x y))) in x 0.443 * [taylor]: Taking taylor expansion of 2.0 in x 0.443 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.443 * [taylor]: Taking taylor expansion of (* x y) in x 0.443 * [taylor]: Taking taylor expansion of x in x 0.443 * [taylor]: Taking taylor expansion of y in x 0.443 * [taylor]: Taking taylor expansion of y in x 0.444 * [taylor]: Taking taylor expansion of (/ -2.0 (* (+ 2.0 (/ 1 (* x y))) y)) in x 0.444 * [taylor]: Taking taylor expansion of -2.0 in x 0.444 * [taylor]: Taking taylor expansion of (* (+ 2.0 (/ 1 (* x y))) y) in x 0.444 * [taylor]: Taking taylor expansion of (+ 2.0 (/ 1 (* x y))) in x 0.444 * [taylor]: Taking taylor expansion of 2.0 in x 0.444 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.444 * [taylor]: Taking taylor expansion of (* x y) in x 0.444 * [taylor]: Taking taylor expansion of x in x 0.444 * [taylor]: Taking taylor expansion of y in x 0.444 * [taylor]: Taking taylor expansion of y in x 0.444 * [taylor]: Taking taylor expansion of -2.0 in y 0.444 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.444 * [taylor]: Taking taylor expansion of 4.0 in y 0.444 * [taylor]: Taking taylor expansion of y in y 0.444 * [taylor]: Taking taylor expansion of (neg (* 8.0 (pow y 2))) in y 0.444 * [taylor]: Taking taylor expansion of (* 8.0 (pow y 2)) in y 0.444 * [taylor]: Taking taylor expansion of 8.0 in y 0.444 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.444 * [taylor]: Taking taylor expansion of y in y 0.445 * [taylor]: Taking taylor expansion of (* 16.0 (pow y 3)) in y 0.445 * [taylor]: Taking taylor expansion of 16.0 in y 0.445 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.445 * [taylor]: Taking taylor expansion of y in y 0.446 * [taylor]: Taking taylor expansion of (neg (* 32.0 (pow y 4))) in y 0.446 * [taylor]: Taking taylor expansion of (* 32.0 (pow y 4)) in y 0.446 * [taylor]: Taking taylor expansion of 32.0 in y 0.446 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.446 * [taylor]: Taking taylor expansion of y in y 0.446 * [approximate]: Taking taylor expansion of (/ 2.0 (* (+ 2.0 (/ 1 (* x y))) y)) in (x y) around 0 0.446 * [taylor]: Taking taylor expansion of (/ 2.0 (* (+ 2.0 (/ 1 (* x y))) y)) in y 0.446 * [taylor]: Taking taylor expansion of 2.0 in y 0.446 * [taylor]: Taking taylor expansion of (* (+ 2.0 (/ 1 (* x y))) y) in y 0.446 * [taylor]: Taking taylor expansion of (+ 2.0 (/ 1 (* x y))) in y 0.446 * [taylor]: Taking taylor expansion of 2.0 in y 0.446 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.446 * [taylor]: Taking taylor expansion of (* x y) in y 0.446 * [taylor]: Taking taylor expansion of x in y 0.446 * [taylor]: Taking taylor expansion of y in y 0.446 * [taylor]: Taking taylor expansion of y in y 0.447 * [taylor]: Taking taylor expansion of (/ 2.0 (* (+ 2.0 (/ 1 (* x y))) y)) in x 0.447 * [taylor]: Taking taylor expansion of 2.0 in x 0.447 * [taylor]: Taking taylor expansion of (* (+ 2.0 (/ 1 (* x y))) y) in x 0.447 * [taylor]: Taking taylor expansion of (+ 2.0 (/ 1 (* x y))) in x 0.447 * [taylor]: Taking taylor expansion of 2.0 in x 0.447 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.447 * [taylor]: Taking taylor expansion of (* x y) in x 0.447 * [taylor]: Taking taylor expansion of x in x 0.447 * [taylor]: Taking taylor expansion of y in x 0.447 * [taylor]: Taking taylor expansion of y in x 0.447 * [taylor]: Taking taylor expansion of (/ 2.0 (* (+ 2.0 (/ 1 (* x y))) y)) in x 0.447 * [taylor]: Taking taylor expansion of 2.0 in x 0.447 * [taylor]: Taking taylor expansion of (* (+ 2.0 (/ 1 (* x y))) y) in x 0.447 * [taylor]: Taking taylor expansion of (+ 2.0 (/ 1 (* x y))) in x 0.447 * [taylor]: Taking taylor expansion of 2.0 in x 0.447 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.447 * [taylor]: Taking taylor expansion of (* x y) in x 0.447 * [taylor]: Taking taylor expansion of x in x 0.447 * [taylor]: Taking taylor expansion of y in x 0.447 * [taylor]: Taking taylor expansion of y in x 0.447 * [taylor]: Taking taylor expansion of 2.0 in y 0.447 * [taylor]: Taking taylor expansion of (neg (* 4.0 y)) in y 0.447 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.447 * [taylor]: Taking taylor expansion of 4.0 in y 0.447 * [taylor]: Taking taylor expansion of y in y 0.448 * [taylor]: Taking taylor expansion of (* 8.0 (pow y 2)) in y 0.448 * [taylor]: Taking taylor expansion of 8.0 in y 0.448 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.448 * [taylor]: Taking taylor expansion of y in y 0.448 * [taylor]: Taking taylor expansion of (neg (* 16.0 (pow y 3))) in y 0.448 * [taylor]: Taking taylor expansion of (* 16.0 (pow y 3)) in y 0.448 * [taylor]: Taking taylor expansion of 16.0 in y 0.448 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.448 * [taylor]: Taking taylor expansion of y in y 0.449 * [taylor]: Taking taylor expansion of (* 32.0 (pow y 4)) in y 0.449 * [taylor]: Taking taylor expansion of 32.0 in y 0.449 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.449 * [taylor]: Taking taylor expansion of y in y 0.450 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1) 0.450 * [approximate]: Taking taylor expansion of (/ -1 (+ (* x y) 2.0)) in (x y) around 0 0.450 * [taylor]: Taking taylor expansion of (/ -1 (+ (* x y) 2.0)) in y 0.450 * [taylor]: Taking taylor expansion of -1 in y 0.450 * [taylor]: Taking taylor expansion of (+ (* x y) 2.0) in y 0.450 * [taylor]: Taking taylor expansion of (* x y) in y 0.450 * [taylor]: Taking taylor expansion of x in y 0.450 * [taylor]: Taking taylor expansion of y in y 0.450 * [taylor]: Taking taylor expansion of 2.0 in y 0.450 * [taylor]: Taking taylor expansion of (/ -1 (+ (* x y) 2.0)) in x 0.450 * [taylor]: Taking taylor expansion of -1 in x 0.450 * [taylor]: Taking taylor expansion of (+ (* x y) 2.0) in x 0.450 * [taylor]: Taking taylor expansion of (* x y) in x 0.450 * [taylor]: Taking taylor expansion of x in x 0.450 * [taylor]: Taking taylor expansion of y in x 0.450 * [taylor]: Taking taylor expansion of 2.0 in x 0.450 * [taylor]: Taking taylor expansion of (/ -1 (+ (* x y) 2.0)) in x 0.450 * [taylor]: Taking taylor expansion of -1 in x 0.450 * [taylor]: Taking taylor expansion of (+ (* x y) 2.0) in x 0.450 * [taylor]: Taking taylor expansion of (* x y) in x 0.450 * [taylor]: Taking taylor expansion of x in x 0.450 * [taylor]: Taking taylor expansion of y in x 0.450 * [taylor]: Taking taylor expansion of 2.0 in x 0.450 * [taylor]: Taking taylor expansion of -0.5 in y 0.450 * [taylor]: Taking taylor expansion of (* 0.25 y) in y 0.450 * [taylor]: Taking taylor expansion of 0.25 in y 0.450 * [taylor]: Taking taylor expansion of y in y 0.450 * [taylor]: Taking taylor expansion of (neg (* 0.125 (pow y 2))) in y 0.451 * [taylor]: Taking taylor expansion of (* 0.125 (pow y 2)) in y 0.451 * [taylor]: Taking taylor expansion of 0.125 in y 0.451 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.451 * [taylor]: Taking taylor expansion of y in y 0.451 * [taylor]: Taking taylor expansion of (* 0.0625 (pow y 3)) in y 0.451 * [taylor]: Taking taylor expansion of 0.0625 in y 0.451 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.451 * [taylor]: Taking taylor expansion of y in y 0.451 * [taylor]: Taking taylor expansion of (neg (* 0.03125 (pow y 4))) in y 0.451 * [taylor]: Taking taylor expansion of (* 0.03125 (pow y 4)) in y 0.451 * [taylor]: Taking taylor expansion of 0.03125 in y 0.451 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.451 * [taylor]: Taking taylor expansion of y in y 0.452 * [approximate]: Taking taylor expansion of (/ -1 (+ 2.0 (/ 1 (* x y)))) in (x y) around 0 0.452 * [taylor]: Taking taylor expansion of (/ -1 (+ 2.0 (/ 1 (* x y)))) in y 0.452 * [taylor]: Taking taylor expansion of -1 in y 0.452 * [taylor]: Taking taylor expansion of (+ 2.0 (/ 1 (* x y))) in y 0.452 * [taylor]: Taking taylor expansion of 2.0 in y 0.452 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.452 * [taylor]: Taking taylor expansion of (* x y) in y 0.452 * [taylor]: Taking taylor expansion of x in y 0.452 * [taylor]: Taking taylor expansion of y in y 0.452 * [taylor]: Taking taylor expansion of (/ -1 (+ 2.0 (/ 1 (* x y)))) in x 0.452 * [taylor]: Taking taylor expansion of -1 in x 0.452 * [taylor]: Taking taylor expansion of (+ 2.0 (/ 1 (* x y))) in x 0.452 * [taylor]: Taking taylor expansion of 2.0 in x 0.452 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.452 * [taylor]: Taking taylor expansion of (* x y) in x 0.452 * [taylor]: Taking taylor expansion of x in x 0.452 * [taylor]: Taking taylor expansion of y in x 0.452 * [taylor]: Taking taylor expansion of (/ -1 (+ 2.0 (/ 1 (* x y)))) in x 0.452 * [taylor]: Taking taylor expansion of -1 in x 0.452 * [taylor]: Taking taylor expansion of (+ 2.0 (/ 1 (* x y))) in x 0.452 * [taylor]: Taking taylor expansion of 2.0 in x 0.452 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.452 * [taylor]: Taking taylor expansion of (* x y) in x 0.452 * [taylor]: Taking taylor expansion of x in x 0.452 * [taylor]: Taking taylor expansion of y in x 0.452 * [taylor]: Taking taylor expansion of (* -1 y) in y 0.452 * [taylor]: Taking taylor expansion of -1 in y 0.452 * [taylor]: Taking taylor expansion of y in y 0.453 * [taylor]: Taking taylor expansion of (* 2.0 (pow y 2)) in y 0.453 * [taylor]: Taking taylor expansion of 2.0 in y 0.453 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.453 * [taylor]: Taking taylor expansion of y in y 0.453 * [taylor]: Taking taylor expansion of (neg (* 4.0 (pow y 3))) in y 0.453 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 3)) in y 0.453 * [taylor]: Taking taylor expansion of 4.0 in y 0.453 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.453 * [taylor]: Taking taylor expansion of y in y 0.454 * [taylor]: Taking taylor expansion of (* 8.0 (pow y 4)) in y 0.454 * [taylor]: Taking taylor expansion of 8.0 in y 0.454 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.454 * [taylor]: Taking taylor expansion of y in y 0.454 * [taylor]: Taking taylor expansion of (neg (* 16.0 (pow y 5))) in y 0.454 * [taylor]: Taking taylor expansion of (* 16.0 (pow y 5)) in y 0.454 * [taylor]: Taking taylor expansion of 16.0 in y 0.454 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.454 * [taylor]: Taking taylor expansion of y in y 0.455 * [approximate]: Taking taylor expansion of (/ -1 (+ 2.0 (/ 1 (* x y)))) in (x y) around 0 0.455 * [taylor]: Taking taylor expansion of (/ -1 (+ 2.0 (/ 1 (* x y)))) in y 0.455 * [taylor]: Taking taylor expansion of -1 in y 0.455 * [taylor]: Taking taylor expansion of (+ 2.0 (/ 1 (* x y))) in y 0.455 * [taylor]: Taking taylor expansion of 2.0 in y 0.455 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.455 * [taylor]: Taking taylor expansion of (* x y) in y 0.455 * [taylor]: Taking taylor expansion of x in y 0.455 * [taylor]: Taking taylor expansion of y in y 0.455 * [taylor]: Taking taylor expansion of (/ -1 (+ 2.0 (/ 1 (* x y)))) in x 0.455 * [taylor]: Taking taylor expansion of -1 in x 0.455 * [taylor]: Taking taylor expansion of (+ 2.0 (/ 1 (* x y))) in x 0.455 * [taylor]: Taking taylor expansion of 2.0 in x 0.455 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.455 * [taylor]: Taking taylor expansion of (* x y) in x 0.455 * [taylor]: Taking taylor expansion of x in x 0.455 * [taylor]: Taking taylor expansion of y in x 0.455 * [taylor]: Taking taylor expansion of (/ -1 (+ 2.0 (/ 1 (* x y)))) in x 0.455 * [taylor]: Taking taylor expansion of -1 in x 0.455 * [taylor]: Taking taylor expansion of (+ 2.0 (/ 1 (* x y))) in x 0.455 * [taylor]: Taking taylor expansion of 2.0 in x 0.455 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.455 * [taylor]: Taking taylor expansion of (* x y) in x 0.455 * [taylor]: Taking taylor expansion of x in x 0.455 * [taylor]: Taking taylor expansion of y in x 0.456 * [taylor]: Taking taylor expansion of (* -1 y) in y 0.456 * [taylor]: Taking taylor expansion of -1 in y 0.456 * [taylor]: Taking taylor expansion of y in y 0.458 * [taylor]: Taking taylor expansion of (* 2.0 (pow y 2)) in y 0.458 * [taylor]: Taking taylor expansion of 2.0 in y 0.458 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.458 * [taylor]: Taking taylor expansion of y in y 0.458 * [taylor]: Taking taylor expansion of (neg (* 4.0 (pow y 3))) in y 0.458 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 3)) in y 0.458 * [taylor]: Taking taylor expansion of 4.0 in y 0.458 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.458 * [taylor]: Taking taylor expansion of y in y 0.459 * [taylor]: Taking taylor expansion of (* 8.0 (pow y 4)) in y 0.459 * [taylor]: Taking taylor expansion of 8.0 in y 0.459 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.459 * [taylor]: Taking taylor expansion of y in y 0.460 * [taylor]: Taking taylor expansion of (neg (* 16.0 (pow y 5))) in y 0.460 * [taylor]: Taking taylor expansion of (* 16.0 (pow y 5)) in y 0.460 * [taylor]: Taking taylor expansion of 16.0 in y 0.460 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.460 * [taylor]: Taking taylor expansion of y in y 0.460 * * * [progress]: simplifying candidates 0.461 * [simplify]: Simplifying using # : (* (/ -1 (+ (* x y) (* 2.0 1.0))) (* 2.0 y)) (* (/ -1 (+ (* x y) (* 2.0 1.0))) (* 2.0 y)) (+ (- (log -1) (log (+ (* x y) (* 2.0 1.0)))) (+ (log 2.0) (log y))) (+ (- (log -1) (log (+ (* x y) (* 2.0 1.0)))) (log (* 2.0 y))) (+ (log (/ -1 (+ (* x y) (* 2.0 1.0)))) (+ (log 2.0) (log y))) (+ (log (/ -1 (+ (* x y) (* 2.0 1.0)))) (log (* 2.0 y))) (log (* (/ -1 (+ (* x y) (* 2.0 1.0))) (* 2.0 y))) (exp (* (/ -1 (+ (* x y) (* 2.0 1.0))) (* 2.0 y))) (* (/ (* (* -1 -1) -1) (* (* (+ (* x y) (* 2.0 1.0)) (+ (* x y) (* 2.0 1.0))) (+ (* x y) (* 2.0 1.0)))) (* (* (* 2.0 2.0) 2.0) (* (* y y) y))) (* (/ (* (* -1 -1) -1) (* (* (+ (* x y) (* 2.0 1.0)) (+ (* x y) (* 2.0 1.0))) (+ (* x y) (* 2.0 1.0)))) (* (* (* 2.0 y) (* 2.0 y)) (* 2.0 y))) (* (* (* (/ -1 (+ (* x y) (* 2.0 1.0))) (/ -1 (+ (* x y) (* 2.0 1.0)))) (/ -1 (+ (* x y) (* 2.0 1.0)))) (* (* (* 2.0 2.0) 2.0) (* (* y y) y))) (* (* (* (/ -1 (+ (* x y) (* 2.0 1.0))) (/ -1 (+ (* x y) (* 2.0 1.0)))) (/ -1 (+ (* x y) (* 2.0 1.0)))) (* (* (* 2.0 y) (* 2.0 y)) (* 2.0 y))) (* (cbrt (* (/ -1 (+ (* x y) (* 2.0 1.0))) (* 2.0 y))) (cbrt (* (/ -1 (+ (* x y) (* 2.0 1.0))) (* 2.0 y)))) (cbrt (* (/ -1 (+ (* x y) (* 2.0 1.0))) (* 2.0 y))) (* (* (* (/ -1 (+ (* x y) (* 2.0 1.0))) (* 2.0 y)) (* (/ -1 (+ (* x y) (* 2.0 1.0))) (* 2.0 y))) (* (/ -1 (+ (* x y) (* 2.0 1.0))) (* 2.0 y))) (sqrt (* (/ -1 (+ (* x y) (* 2.0 1.0))) (* 2.0 y))) (sqrt (* (/ -1 (+ (* x y) (* 2.0 1.0))) (* 2.0 y))) (* (/ -1 (+ (* x y) (* 2.0 1.0))) 2.0) (* (cbrt (/ -1 (+ (* x y) (* 2.0 1.0)))) (* 2.0 y)) (* (sqrt (/ -1 (+ (* x y) (* 2.0 1.0)))) (* 2.0 y)) (* (/ (cbrt -1) (cbrt (+ (* x y) (* 2.0 1.0)))) (* 2.0 y)) (* (/ (cbrt -1) (sqrt (+ (* x y) (* 2.0 1.0)))) (* 2.0 y)) (* (/ (cbrt -1) (+ (* x y) (* 2.0 1.0))) (* 2.0 y)) (* (/ (sqrt -1) (cbrt (+ (* x y) (* 2.0 1.0)))) (* 2.0 y)) (* (/ (sqrt -1) (sqrt (+ (* x y) (* 2.0 1.0)))) (* 2.0 y)) (* (/ (sqrt -1) (+ (* x y) (* 2.0 1.0))) (* 2.0 y)) (* (/ -1 (cbrt (+ (* x y) (* 2.0 1.0)))) (* 2.0 y)) (* (/ -1 (sqrt (+ (* x y) (* 2.0 1.0)))) (* 2.0 y)) (* (/ -1 (+ (* x y) (* 2.0 1.0))) (* 2.0 y)) (* (/ -1 (+ (* x y) (* 2.0 1.0))) (* 2.0 y)) (* (/ 1 (+ (* x y) (* 2.0 1.0))) (* 2.0 y)) (* (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))) (* 2.0 y)) (* (- (* x y) (* 2.0 1.0)) (* 2.0 y)) (* -1 (* 2.0 y)) (- (log -1) (log (+ (* x y) (* 2.0 1.0)))) (log (/ -1 (+ (* x y) (* 2.0 1.0)))) (exp (/ -1 (+ (* x y) (* 2.0 1.0)))) (/ (* (* -1 -1) -1) (* (* (+ (* x y) (* 2.0 1.0)) (+ (* x y) (* 2.0 1.0))) (+ (* x y) (* 2.0 1.0)))) (* (cbrt (/ -1 (+ (* x y) (* 2.0 1.0)))) (cbrt (/ -1 (+ (* x y) (* 2.0 1.0))))) (cbrt (/ -1 (+ (* x y) (* 2.0 1.0)))) (* (* (/ -1 (+ (* x y) (* 2.0 1.0))) (/ -1 (+ (* x y) (* 2.0 1.0)))) (/ -1 (+ (* x y) (* 2.0 1.0)))) (sqrt (/ -1 (+ (* x y) (* 2.0 1.0)))) (sqrt (/ -1 (+ (* x y) (* 2.0 1.0)))) (neg -1) (neg (+ (* x y) (* 2.0 1.0))) (/ (* (cbrt -1) (cbrt -1)) (* (cbrt (+ (* x y) (* 2.0 1.0))) (cbrt (+ (* x y) (* 2.0 1.0))))) (/ (cbrt -1) (cbrt (+ (* x y) (* 2.0 1.0)))) (/ (* (cbrt -1) (cbrt -1)) (sqrt (+ (* x y) (* 2.0 1.0)))) (/ (cbrt -1) (sqrt (+ (* x y) (* 2.0 1.0)))) (/ (* (cbrt -1) (cbrt -1)) 1) (/ (cbrt -1) (+ (* x y) (* 2.0 1.0))) (/ (sqrt -1) (* (cbrt (+ (* x y) (* 2.0 1.0))) (cbrt (+ (* x y) (* 2.0 1.0))))) (/ (sqrt -1) (cbrt (+ (* x y) (* 2.0 1.0)))) (/ (sqrt -1) (sqrt (+ (* x y) (* 2.0 1.0)))) (/ (sqrt -1) (sqrt (+ (* x y) (* 2.0 1.0)))) (/ (sqrt -1) 1) (/ (sqrt -1) (+ (* x y) (* 2.0 1.0))) (/ 1 (* (cbrt (+ (* x y) (* 2.0 1.0))) (cbrt (+ (* x y) (* 2.0 1.0))))) (/ -1 (cbrt (+ (* x y) (* 2.0 1.0)))) (/ 1 (sqrt (+ (* x y) (* 2.0 1.0)))) (/ -1 (sqrt (+ (* x y) (* 2.0 1.0)))) (/ 1 1) (/ -1 (+ (* x y) (* 2.0 1.0))) (/ 1 (+ (* x y) (* 2.0 1.0))) (/ (+ (* x y) (* 2.0 1.0)) -1) (/ -1 (* (cbrt (+ (* x y) (* 2.0 1.0))) (cbrt (+ (* x y) (* 2.0 1.0))))) (/ -1 (sqrt (+ (* x y) (* 2.0 1.0)))) (/ -1 1) (/ (+ (* x y) (* 2.0 1.0)) (cbrt -1)) (/ (+ (* x y) (* 2.0 1.0)) (sqrt -1)) (/ (+ (* x y) (* 2.0 1.0)) -1) (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (/ -1 (- (* (* x y) (* x y)) (* (* 2.0 1.0) (* 2.0 1.0)))) (- (* 0.5 (* x (pow y 2))) (+ (* 1.0 y) (* 0.25 (* (pow x 2) (pow y 3))))) (- (* 4.0 (/ 1 (* (pow x 2) y))) (+ (* 8.0 (/ 1 (* (pow x 3) (pow y 2)))) (* 2.0 (/ 1 x)))) (- (* 4.0 (/ 1 (* (pow x 2) y))) (+ (* 8.0 (/ 1 (* (pow x 3) (pow y 2)))) (* 2.0 (/ 1 x)))) (- (* 0.25 (* x y)) (+ (* 0.125 (* (pow x 2) (pow y 2))) 0.5)) (- (* 2.0 (/ 1 (* (pow x 2) (pow y 2)))) (+ (* 4.0 (/ 1 (* (pow x 3) (pow y 3)))) (/ 1 (* x y)))) (- (* 2.0 (/ 1 (* (pow x 2) (pow y 2)))) (+ (* 4.0 (/ 1 (* (pow x 3) (pow y 3)))) (/ 1 (* x y)))) 0.516 * * [simplify]: iteration 0 : 4960 enodes (cost 1000 ) 0.517 * * [simplify]: iteration 1 : 4960 enodes (cost 1000 ) 0.520 * [simplify]: Simplified to: (* y (/ (neg 2.0) (+ (* x y) (* 2.0 1.0)))) (* y (/ (neg 2.0) (+ (* x y) (* 2.0 1.0)))) (log (* y (/ (neg 2.0) (+ (* x y) (* 2.0 1.0))))) (log (* y (/ (neg 2.0) (+ (* x y) (* 2.0 1.0))))) (log (* y (/ (neg 2.0) (+ (* x y) (* 2.0 1.0))))) (log (* y (/ (neg 2.0) (+ (* x y) (* 2.0 1.0))))) (log (* y (/ (neg 2.0) (+ (* x y) (* 2.0 1.0))))) (pow (exp (/ (neg 2.0) (+ (* x y) (* 2.0 1.0)))) y) (pow (* y (/ (neg 2.0) (+ (* x y) (* 2.0 1.0)))) 3) (pow (* y (/ (neg 2.0) (+ (* x y) (* 2.0 1.0)))) 3) (pow (* y (/ (neg 2.0) (+ (* x y) (* 2.0 1.0)))) 3) (pow (* y (/ (neg 2.0) (+ (* x y) (* 2.0 1.0)))) 3) (* (cbrt (* y (/ (neg 2.0) (+ (* x y) (* 2.0 1.0))))) (cbrt (* y (/ (neg 2.0) (+ (* x y) (* 2.0 1.0)))))) (cbrt (* y (/ (neg 2.0) (+ (* x y) (* 2.0 1.0))))) (pow (* y (/ (neg 2.0) (+ (* x y) (* 2.0 1.0)))) 3) (sqrt (* y (/ (neg 2.0) (+ (* x y) (* 2.0 1.0))))) (sqrt (* y (/ (neg 2.0) (+ (* x y) (* 2.0 1.0))))) (/ (neg 2.0) (+ (* x y) (* 2.0 1.0))) (* y (* 2.0 (cbrt (/ -1 (+ (* x y) (* 2.0 1.0)))))) (* y (* 2.0 (sqrt (/ -1 (+ (* x y) (* 2.0 1.0)))))) (* y (* 2.0 (/ (cbrt -1) (cbrt (+ (* x y) (* 2.0 1.0)))))) (* y (* 2.0 (/ (cbrt -1) (sqrt (+ (* x y) (* 2.0 1.0)))))) (* y (* 2.0 (/ (cbrt -1) (+ (* x y) (* 2.0 1.0))))) (* y (* 2.0 (/ (sqrt -1) (cbrt (+ (* x y) (* 2.0 1.0)))))) (* y (* 2.0 (/ (sqrt -1) (sqrt (+ (* x y) (* 2.0 1.0)))))) (* y (* 2.0 (/ (sqrt -1) (+ (* x y) (* 2.0 1.0))))) (* y (/ (neg 2.0) (cbrt (+ (* x y) (* 2.0 1.0))))) (* y (/ (neg 2.0) (sqrt (+ (* x y) (* 2.0 1.0))))) (* y (/ (neg 2.0) (+ (* x y) (* 2.0 1.0)))) (* y (/ (neg 2.0) (+ (* x y) (* 2.0 1.0)))) (* y (/ 2.0 (+ (* x y) (* 2.0 1.0)))) (* y (* 2.0 (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))))) (* y (* 2.0 (- (* x y) (* 2.0 1.0)))) (* y (neg 2.0)) (log (/ -1 (+ (* x y) (* 2.0 1.0)))) (log (/ -1 (+ (* x y) (* 2.0 1.0)))) (exp (/ -1 (+ (* x y) (* 2.0 1.0)))) (/ -1 (pow (+ (* x y) (* 2.0 1.0)) 3)) (* (cbrt (/ -1 (+ (* x y) (* 2.0 1.0)))) (cbrt (/ -1 (+ (* x y) (* 2.0 1.0))))) (cbrt (/ -1 (+ (* x y) (* 2.0 1.0)))) (/ -1 (pow (+ (* x y) (* 2.0 1.0)) 3)) (sqrt (/ -1 (+ (* x y) (* 2.0 1.0)))) (sqrt (/ -1 (+ (* x y) (* 2.0 1.0)))) 1 (- (* 2.0 (neg 1.0)) (* x y)) (* (cbrt -1) (/ (cbrt -1) (* (cbrt (+ (* x y) (* 2.0 1.0))) (cbrt (+ (* x y) (* 2.0 1.0)))))) (/ (cbrt -1) (cbrt (+ (* x y) (* 2.0 1.0)))) (* (cbrt -1) (/ (cbrt -1) (sqrt (+ (* x y) (* 2.0 1.0))))) (/ (cbrt -1) (sqrt (+ (* x y) (* 2.0 1.0)))) (* (cbrt -1) (cbrt -1)) (/ (cbrt -1) (+ (* x y) (* 2.0 1.0))) (/ (sqrt -1) (* (cbrt (+ (* x y) (* 2.0 1.0))) (cbrt (+ (* x y) (* 2.0 1.0))))) (/ (sqrt -1) (cbrt (+ (* x y) (* 2.0 1.0)))) (/ (sqrt -1) (sqrt (+ (* x y) (* 2.0 1.0)))) (/ (sqrt -1) (sqrt (+ (* x y) (* 2.0 1.0)))) (sqrt -1) (/ (sqrt -1) (+ (* x y) (* 2.0 1.0))) (/ 1 (* (cbrt (+ (* x y) (* 2.0 1.0))) (cbrt (+ (* x y) (* 2.0 1.0))))) (/ -1 (cbrt (+ (* x y) (* 2.0 1.0)))) (/ 1 (sqrt (+ (* x y) (* 2.0 1.0)))) (/ -1 (sqrt (+ (* x y) (* 2.0 1.0)))) 1 (/ -1 (+ (* x y) (* 2.0 1.0))) (/ 1 (+ (* x y) (* 2.0 1.0))) (/ (+ (* x y) (* 2.0 1.0)) -1) (/ -1 (* (cbrt (+ (* x y) (* 2.0 1.0))) (cbrt (+ (* x y) (* 2.0 1.0))))) (/ -1 (sqrt (+ (* x y) (* 2.0 1.0)))) -1 (/ (+ (* x y) (* 2.0 1.0)) (cbrt -1)) (/ (+ (* x y) (* 2.0 1.0)) (sqrt -1)) (/ (+ (* x y) (* 2.0 1.0)) -1) (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (/ -1 (- (* x (* x (* y y))) (* 2.0 (* 2.0 (* 1.0 1.0))))) (- (* y (- (* y (* x 0.5)) 1.0)) (* (pow y 3) (* x (* x 0.25)))) (- (/ 4.0 (* x (* x y))) (+ (/ 8.0 (* y (* y (pow x 3)))) (/ 2.0 x))) (- (/ 4.0 (* x (* x y))) (+ (/ 8.0 (* y (* y (pow x 3)))) (/ 2.0 x))) (- (* (* x y) (- 0.25 (* (* x y) 0.125))) 0.5) (+ (/ 2.0 (* x (* x (* y y)))) (- (/ -1 (* x y)) (/ 4.0 (pow (* x y) 3)))) (+ (/ 2.0 (* x (* x (* y y)))) (- (/ -1 (* x y)) (/ 4.0 (pow (* x y) 3)))) 0.521 * * * [progress]: adding candidates to table 0.616 * * [progress]: iteration 3 / 4 0.616 * * * [progress]: picking best candidate 0.620 * * * * [pick]: Picked # 0.620 * * * [progress]: localizing error 0.642 * * * [progress]: generating rewritten candidates 0.642 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 0.667 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 0.695 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 0.707 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1) 0.721 * * * [progress]: generating series expansions 0.721 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 0.721 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y))) (+ (* (pow x 3) (pow y 3)) 8.0))) in (x y) around 0 0.721 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y))) (+ (* (pow x 3) (pow y 3)) 8.0))) in y 0.721 * [taylor]: Taking taylor expansion of -1 in y 0.721 * [taylor]: Taking taylor expansion of (/ (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y))) (+ (* (pow x 3) (pow y 3)) 8.0)) in y 0.721 * [taylor]: Taking taylor expansion of (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y))) in y 0.721 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) 4.0) in y 0.721 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.721 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.721 * [taylor]: Taking taylor expansion of x in y 0.721 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.721 * [taylor]: Taking taylor expansion of y in y 0.721 * [taylor]: Taking taylor expansion of 4.0 in y 0.721 * [taylor]: Taking taylor expansion of (* 2.0 (* x y)) in y 0.721 * [taylor]: Taking taylor expansion of 2.0 in y 0.722 * [taylor]: Taking taylor expansion of (* x y) in y 0.722 * [taylor]: Taking taylor expansion of x in y 0.722 * [taylor]: Taking taylor expansion of y in y 0.722 * [taylor]: Taking taylor expansion of (+ (* (pow x 3) (pow y 3)) 8.0) in y 0.722 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y 0.722 * [taylor]: Taking taylor expansion of (pow x 3) in y 0.722 * [taylor]: Taking taylor expansion of x in y 0.722 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.722 * [taylor]: Taking taylor expansion of y in y 0.722 * [taylor]: Taking taylor expansion of 8.0 in y 0.722 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y))) (+ (* (pow x 3) (pow y 3)) 8.0))) in x 0.722 * [taylor]: Taking taylor expansion of -1 in x 0.722 * [taylor]: Taking taylor expansion of (/ (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y))) (+ (* (pow x 3) (pow y 3)) 8.0)) in x 0.722 * [taylor]: Taking taylor expansion of (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y))) in x 0.722 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) 4.0) in x 0.722 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.722 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.722 * [taylor]: Taking taylor expansion of x in x 0.722 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.722 * [taylor]: Taking taylor expansion of y in x 0.722 * [taylor]: Taking taylor expansion of 4.0 in x 0.722 * [taylor]: Taking taylor expansion of (* 2.0 (* x y)) in x 0.722 * [taylor]: Taking taylor expansion of 2.0 in x 0.722 * [taylor]: Taking taylor expansion of (* x y) in x 0.722 * [taylor]: Taking taylor expansion of x in x 0.722 * [taylor]: Taking taylor expansion of y in x 0.722 * [taylor]: Taking taylor expansion of (+ (* (pow x 3) (pow y 3)) 8.0) in x 0.722 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.722 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.722 * [taylor]: Taking taylor expansion of x in x 0.722 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.722 * [taylor]: Taking taylor expansion of y in x 0.722 * [taylor]: Taking taylor expansion of 8.0 in x 0.722 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y))) (+ (* (pow x 3) (pow y 3)) 8.0))) in x 0.722 * [taylor]: Taking taylor expansion of -1 in x 0.722 * [taylor]: Taking taylor expansion of (/ (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y))) (+ (* (pow x 3) (pow y 3)) 8.0)) in x 0.722 * [taylor]: Taking taylor expansion of (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y))) in x 0.722 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) 4.0) in x 0.722 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.722 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.722 * [taylor]: Taking taylor expansion of x in x 0.722 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.722 * [taylor]: Taking taylor expansion of y in x 0.722 * [taylor]: Taking taylor expansion of 4.0 in x 0.722 * [taylor]: Taking taylor expansion of (* 2.0 (* x y)) in x 0.722 * [taylor]: Taking taylor expansion of 2.0 in x 0.722 * [taylor]: Taking taylor expansion of (* x y) in x 0.722 * [taylor]: Taking taylor expansion of x in x 0.722 * [taylor]: Taking taylor expansion of y in x 0.722 * [taylor]: Taking taylor expansion of (+ (* (pow x 3) (pow y 3)) 8.0) in x 0.723 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.723 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.723 * [taylor]: Taking taylor expansion of x in x 0.723 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.723 * [taylor]: Taking taylor expansion of y in x 0.723 * [taylor]: Taking taylor expansion of 8.0 in x 0.723 * [taylor]: Taking taylor expansion of -0.5 in y 0.723 * [taylor]: Taking taylor expansion of (* 0.25 y) in y 0.723 * [taylor]: Taking taylor expansion of 0.25 in y 0.723 * [taylor]: Taking taylor expansion of y in y 0.724 * [taylor]: Taking taylor expansion of (neg (* 0.125 (pow y 2))) in y 0.724 * [taylor]: Taking taylor expansion of (* 0.125 (pow y 2)) in y 0.724 * [taylor]: Taking taylor expansion of 0.125 in y 0.724 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.724 * [taylor]: Taking taylor expansion of y in y 0.724 * [taylor]: Taking taylor expansion of (* 0.0625 (pow y 3)) in y 0.724 * [taylor]: Taking taylor expansion of 0.0625 in y 0.724 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.724 * [taylor]: Taking taylor expansion of y in y 0.725 * [taylor]: Taking taylor expansion of (neg (* 0.03125 (pow y 4))) in y 0.725 * [taylor]: Taking taylor expansion of (* 0.03125 (pow y 4)) in y 0.725 * [taylor]: Taking taylor expansion of 0.03125 in y 0.726 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.726 * [taylor]: Taking taylor expansion of y in y 0.726 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0))) in (x y) around 0 0.726 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0))) in y 0.726 * [taylor]: Taking taylor expansion of -1 in y 0.726 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0)) in y 0.726 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in y 0.726 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) in y 0.726 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 0.726 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.726 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.726 * [taylor]: Taking taylor expansion of x in y 0.726 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.726 * [taylor]: Taking taylor expansion of y in y 0.726 * [taylor]: Taking taylor expansion of 4.0 in y 0.727 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x y))) in y 0.727 * [taylor]: Taking taylor expansion of 2.0 in y 0.727 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.727 * [taylor]: Taking taylor expansion of (* x y) in y 0.727 * [taylor]: Taking taylor expansion of x in y 0.727 * [taylor]: Taking taylor expansion of y in y 0.727 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) in y 0.727 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y 0.727 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y 0.727 * [taylor]: Taking taylor expansion of (pow x 3) in y 0.727 * [taylor]: Taking taylor expansion of x in y 0.727 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.727 * [taylor]: Taking taylor expansion of y in y 0.727 * [taylor]: Taking taylor expansion of 8.0 in y 0.727 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0))) in x 0.728 * [taylor]: Taking taylor expansion of -1 in x 0.728 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0)) in x 0.728 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in x 0.728 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) in x 0.728 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.728 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.728 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.728 * [taylor]: Taking taylor expansion of x in x 0.728 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.728 * [taylor]: Taking taylor expansion of y in x 0.728 * [taylor]: Taking taylor expansion of 4.0 in x 0.728 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x y))) in x 0.728 * [taylor]: Taking taylor expansion of 2.0 in x 0.728 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.728 * [taylor]: Taking taylor expansion of (* x y) in x 0.728 * [taylor]: Taking taylor expansion of x in x 0.728 * [taylor]: Taking taylor expansion of y in x 0.728 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) in x 0.728 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x 0.728 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.728 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.728 * [taylor]: Taking taylor expansion of x in x 0.728 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.728 * [taylor]: Taking taylor expansion of y in x 0.728 * [taylor]: Taking taylor expansion of 8.0 in x 0.729 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0))) in x 0.729 * [taylor]: Taking taylor expansion of -1 in x 0.729 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0)) in x 0.729 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in x 0.729 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) in x 0.729 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.729 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.729 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.729 * [taylor]: Taking taylor expansion of x in x 0.729 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.729 * [taylor]: Taking taylor expansion of y in x 0.729 * [taylor]: Taking taylor expansion of 4.0 in x 0.729 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x y))) in x 0.729 * [taylor]: Taking taylor expansion of 2.0 in x 0.729 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.729 * [taylor]: Taking taylor expansion of (* x y) in x 0.729 * [taylor]: Taking taylor expansion of x in x 0.729 * [taylor]: Taking taylor expansion of y in x 0.729 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) in x 0.729 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x 0.729 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.729 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.729 * [taylor]: Taking taylor expansion of x in x 0.729 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.729 * [taylor]: Taking taylor expansion of y in x 0.729 * [taylor]: Taking taylor expansion of 8.0 in x 0.730 * [taylor]: Taking taylor expansion of (* -1 y) in y 0.730 * [taylor]: Taking taylor expansion of -1 in y 0.730 * [taylor]: Taking taylor expansion of y in y 0.731 * [taylor]: Taking taylor expansion of (* 2.0 (pow y 2)) in y 0.731 * [taylor]: Taking taylor expansion of 2.0 in y 0.731 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.731 * [taylor]: Taking taylor expansion of y in y 0.732 * [taylor]: Taking taylor expansion of (neg (* 4.0 (pow y 3))) in y 0.732 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 3)) in y 0.732 * [taylor]: Taking taylor expansion of 4.0 in y 0.732 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.732 * [taylor]: Taking taylor expansion of y in y 0.734 * [taylor]: Taking taylor expansion of (* 8.0 (pow y 4)) in y 0.734 * [taylor]: Taking taylor expansion of 8.0 in y 0.734 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.734 * [taylor]: Taking taylor expansion of y in y 0.736 * [taylor]: Taking taylor expansion of (neg (* 16.0 (pow y 5))) in y 0.736 * [taylor]: Taking taylor expansion of (* 16.0 (pow y 5)) in y 0.736 * [taylor]: Taking taylor expansion of 16.0 in y 0.736 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.736 * [taylor]: Taking taylor expansion of y in y 0.736 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0))) in (x y) around 0 0.737 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0))) in y 0.737 * [taylor]: Taking taylor expansion of -1 in y 0.737 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0)) in y 0.737 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in y 0.737 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) in y 0.737 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 0.737 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.737 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.737 * [taylor]: Taking taylor expansion of x in y 0.737 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.737 * [taylor]: Taking taylor expansion of y in y 0.737 * [taylor]: Taking taylor expansion of 4.0 in y 0.737 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x y))) in y 0.737 * [taylor]: Taking taylor expansion of 2.0 in y 0.737 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.737 * [taylor]: Taking taylor expansion of (* x y) in y 0.737 * [taylor]: Taking taylor expansion of x in y 0.737 * [taylor]: Taking taylor expansion of y in y 0.737 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) in y 0.737 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y 0.737 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y 0.737 * [taylor]: Taking taylor expansion of (pow x 3) in y 0.737 * [taylor]: Taking taylor expansion of x in y 0.737 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.737 * [taylor]: Taking taylor expansion of y in y 0.737 * [taylor]: Taking taylor expansion of 8.0 in y 0.738 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0))) in x 0.738 * [taylor]: Taking taylor expansion of -1 in x 0.738 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0)) in x 0.738 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in x 0.738 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) in x 0.738 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.738 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.738 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.738 * [taylor]: Taking taylor expansion of x in x 0.738 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.738 * [taylor]: Taking taylor expansion of y in x 0.738 * [taylor]: Taking taylor expansion of 4.0 in x 0.738 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x y))) in x 0.738 * [taylor]: Taking taylor expansion of 2.0 in x 0.738 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.738 * [taylor]: Taking taylor expansion of (* x y) in x 0.738 * [taylor]: Taking taylor expansion of x in x 0.738 * [taylor]: Taking taylor expansion of y in x 0.738 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) in x 0.738 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x 0.738 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.738 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.738 * [taylor]: Taking taylor expansion of x in x 0.738 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.738 * [taylor]: Taking taylor expansion of y in x 0.738 * [taylor]: Taking taylor expansion of 8.0 in x 0.739 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0))) in x 0.739 * [taylor]: Taking taylor expansion of -1 in x 0.739 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0)) in x 0.739 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in x 0.739 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) in x 0.739 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.739 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.739 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.739 * [taylor]: Taking taylor expansion of x in x 0.739 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.739 * [taylor]: Taking taylor expansion of y in x 0.739 * [taylor]: Taking taylor expansion of 4.0 in x 0.739 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x y))) in x 0.739 * [taylor]: Taking taylor expansion of 2.0 in x 0.739 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.739 * [taylor]: Taking taylor expansion of (* x y) in x 0.739 * [taylor]: Taking taylor expansion of x in x 0.739 * [taylor]: Taking taylor expansion of y in x 0.739 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) in x 0.739 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x 0.739 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.739 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.739 * [taylor]: Taking taylor expansion of x in x 0.739 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.739 * [taylor]: Taking taylor expansion of y in x 0.739 * [taylor]: Taking taylor expansion of 8.0 in x 0.740 * [taylor]: Taking taylor expansion of (* -1 y) in y 0.740 * [taylor]: Taking taylor expansion of -1 in y 0.740 * [taylor]: Taking taylor expansion of y in y 0.741 * [taylor]: Taking taylor expansion of (* 2.0 (pow y 2)) in y 0.741 * [taylor]: Taking taylor expansion of 2.0 in y 0.741 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.741 * [taylor]: Taking taylor expansion of y in y 0.742 * [taylor]: Taking taylor expansion of (neg (* 4.0 (pow y 3))) in y 0.742 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 3)) in y 0.742 * [taylor]: Taking taylor expansion of 4.0 in y 0.742 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.742 * [taylor]: Taking taylor expansion of y in y 0.744 * [taylor]: Taking taylor expansion of (* 8.0 (pow y 4)) in y 0.744 * [taylor]: Taking taylor expansion of 8.0 in y 0.744 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.744 * [taylor]: Taking taylor expansion of y in y 0.746 * [taylor]: Taking taylor expansion of (neg (* 16.0 (pow y 5))) in y 0.746 * [taylor]: Taking taylor expansion of (* 16.0 (pow y 5)) in y 0.746 * [taylor]: Taking taylor expansion of 16.0 in y 0.746 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.746 * [taylor]: Taking taylor expansion of y in y 0.746 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 0.747 * [approximate]: Taking taylor expansion of (* -2.0 (/ (* y (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y)))) (+ (* (pow x 3) (pow y 3)) 8.0))) in (x y) around 0 0.747 * [taylor]: Taking taylor expansion of (* -2.0 (/ (* y (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y)))) (+ (* (pow x 3) (pow y 3)) 8.0))) in y 0.747 * [taylor]: Taking taylor expansion of -2.0 in y 0.747 * [taylor]: Taking taylor expansion of (/ (* y (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y)))) (+ (* (pow x 3) (pow y 3)) 8.0)) in y 0.747 * [taylor]: Taking taylor expansion of (* y (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y)))) in y 0.747 * [taylor]: Taking taylor expansion of y in y 0.747 * [taylor]: Taking taylor expansion of (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y))) in y 0.747 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) 4.0) in y 0.747 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.747 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.747 * [taylor]: Taking taylor expansion of x in y 0.747 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.747 * [taylor]: Taking taylor expansion of y in y 0.747 * [taylor]: Taking taylor expansion of 4.0 in y 0.747 * [taylor]: Taking taylor expansion of (* 2.0 (* x y)) in y 0.747 * [taylor]: Taking taylor expansion of 2.0 in y 0.747 * [taylor]: Taking taylor expansion of (* x y) in y 0.747 * [taylor]: Taking taylor expansion of x in y 0.747 * [taylor]: Taking taylor expansion of y in y 0.747 * [taylor]: Taking taylor expansion of (+ (* (pow x 3) (pow y 3)) 8.0) in y 0.747 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y 0.747 * [taylor]: Taking taylor expansion of (pow x 3) in y 0.747 * [taylor]: Taking taylor expansion of x in y 0.747 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.747 * [taylor]: Taking taylor expansion of y in y 0.747 * [taylor]: Taking taylor expansion of 8.0 in y 0.747 * [taylor]: Taking taylor expansion of (* -2.0 (/ (* y (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y)))) (+ (* (pow x 3) (pow y 3)) 8.0))) in x 0.747 * [taylor]: Taking taylor expansion of -2.0 in x 0.747 * [taylor]: Taking taylor expansion of (/ (* y (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y)))) (+ (* (pow x 3) (pow y 3)) 8.0)) in x 0.747 * [taylor]: Taking taylor expansion of (* y (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y)))) in x 0.747 * [taylor]: Taking taylor expansion of y in x 0.747 * [taylor]: Taking taylor expansion of (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y))) in x 0.747 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) 4.0) in x 0.747 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.747 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.748 * [taylor]: Taking taylor expansion of x in x 0.748 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.748 * [taylor]: Taking taylor expansion of y in x 0.748 * [taylor]: Taking taylor expansion of 4.0 in x 0.748 * [taylor]: Taking taylor expansion of (* 2.0 (* x y)) in x 0.748 * [taylor]: Taking taylor expansion of 2.0 in x 0.748 * [taylor]: Taking taylor expansion of (* x y) in x 0.748 * [taylor]: Taking taylor expansion of x in x 0.748 * [taylor]: Taking taylor expansion of y in x 0.748 * [taylor]: Taking taylor expansion of (+ (* (pow x 3) (pow y 3)) 8.0) in x 0.748 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.748 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.748 * [taylor]: Taking taylor expansion of x in x 0.748 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.748 * [taylor]: Taking taylor expansion of y in x 0.748 * [taylor]: Taking taylor expansion of 8.0 in x 0.748 * [taylor]: Taking taylor expansion of (* -2.0 (/ (* y (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y)))) (+ (* (pow x 3) (pow y 3)) 8.0))) in x 0.748 * [taylor]: Taking taylor expansion of -2.0 in x 0.748 * [taylor]: Taking taylor expansion of (/ (* y (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y)))) (+ (* (pow x 3) (pow y 3)) 8.0)) in x 0.748 * [taylor]: Taking taylor expansion of (* y (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y)))) in x 0.748 * [taylor]: Taking taylor expansion of y in x 0.748 * [taylor]: Taking taylor expansion of (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y))) in x 0.748 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) 4.0) in x 0.748 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.748 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.748 * [taylor]: Taking taylor expansion of x in x 0.748 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.748 * [taylor]: Taking taylor expansion of y in x 0.748 * [taylor]: Taking taylor expansion of 4.0 in x 0.748 * [taylor]: Taking taylor expansion of (* 2.0 (* x y)) in x 0.748 * [taylor]: Taking taylor expansion of 2.0 in x 0.748 * [taylor]: Taking taylor expansion of (* x y) in x 0.748 * [taylor]: Taking taylor expansion of x in x 0.748 * [taylor]: Taking taylor expansion of y in x 0.748 * [taylor]: Taking taylor expansion of (+ (* (pow x 3) (pow y 3)) 8.0) in x 0.748 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.748 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.748 * [taylor]: Taking taylor expansion of x in x 0.748 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.748 * [taylor]: Taking taylor expansion of y in x 0.748 * [taylor]: Taking taylor expansion of 8.0 in x 0.748 * [taylor]: Taking taylor expansion of (* -1.0 y) in y 0.748 * [taylor]: Taking taylor expansion of -1.0 in y 0.748 * [taylor]: Taking taylor expansion of y in y 0.749 * [taylor]: Taking taylor expansion of (* 0.5 (pow y 2)) in y 0.749 * [taylor]: Taking taylor expansion of 0.5 in y 0.749 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.749 * [taylor]: Taking taylor expansion of y in y 0.750 * [taylor]: Taking taylor expansion of (neg (* 0.25 (pow y 3))) in y 0.750 * [taylor]: Taking taylor expansion of (* 0.25 (pow y 3)) in y 0.750 * [taylor]: Taking taylor expansion of 0.25 in y 0.750 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.750 * [taylor]: Taking taylor expansion of y in y 0.751 * [taylor]: Taking taylor expansion of (* 0.125 (pow y 4)) in y 0.751 * [taylor]: Taking taylor expansion of 0.125 in y 0.751 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.751 * [taylor]: Taking taylor expansion of y in y 0.752 * [taylor]: Taking taylor expansion of (neg (* 0.0625 (pow y 5))) in y 0.752 * [taylor]: Taking taylor expansion of (* 0.0625 (pow y 5)) in y 0.752 * [taylor]: Taking taylor expansion of 0.0625 in y 0.752 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.752 * [taylor]: Taking taylor expansion of y in y 0.753 * [approximate]: Taking taylor expansion of (* -2.0 (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y))) in (x y) around 0 0.753 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y))) in y 0.753 * [taylor]: Taking taylor expansion of -2.0 in y 0.753 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y)) in y 0.753 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in y 0.753 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) in y 0.753 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 0.753 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.753 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.753 * [taylor]: Taking taylor expansion of x in y 0.753 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.753 * [taylor]: Taking taylor expansion of y in y 0.753 * [taylor]: Taking taylor expansion of 4.0 in y 0.753 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x y))) in y 0.754 * [taylor]: Taking taylor expansion of 2.0 in y 0.754 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.754 * [taylor]: Taking taylor expansion of (* x y) in y 0.754 * [taylor]: Taking taylor expansion of x in y 0.754 * [taylor]: Taking taylor expansion of y in y 0.754 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y) in y 0.754 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) in y 0.754 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y 0.754 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y 0.754 * [taylor]: Taking taylor expansion of (pow x 3) in y 0.754 * [taylor]: Taking taylor expansion of x in y 0.754 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.754 * [taylor]: Taking taylor expansion of y in y 0.754 * [taylor]: Taking taylor expansion of 8.0 in y 0.754 * [taylor]: Taking taylor expansion of y in y 0.755 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y))) in x 0.755 * [taylor]: Taking taylor expansion of -2.0 in x 0.755 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y)) in x 0.755 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in x 0.755 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) in x 0.755 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.755 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.755 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.755 * [taylor]: Taking taylor expansion of x in x 0.755 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.755 * [taylor]: Taking taylor expansion of y in x 0.755 * [taylor]: Taking taylor expansion of 4.0 in x 0.755 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x y))) in x 0.755 * [taylor]: Taking taylor expansion of 2.0 in x 0.755 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.755 * [taylor]: Taking taylor expansion of (* x y) in x 0.755 * [taylor]: Taking taylor expansion of x in x 0.755 * [taylor]: Taking taylor expansion of y in x 0.755 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y) in x 0.755 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) in x 0.755 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x 0.755 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.755 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.755 * [taylor]: Taking taylor expansion of x in x 0.755 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.755 * [taylor]: Taking taylor expansion of y in x 0.755 * [taylor]: Taking taylor expansion of 8.0 in x 0.756 * [taylor]: Taking taylor expansion of y in x 0.756 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y))) in x 0.756 * [taylor]: Taking taylor expansion of -2.0 in x 0.756 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y)) in x 0.756 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in x 0.756 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) in x 0.756 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.756 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.756 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.756 * [taylor]: Taking taylor expansion of x in x 0.756 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.756 * [taylor]: Taking taylor expansion of y in x 0.756 * [taylor]: Taking taylor expansion of 4.0 in x 0.756 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x y))) in x 0.756 * [taylor]: Taking taylor expansion of 2.0 in x 0.756 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.756 * [taylor]: Taking taylor expansion of (* x y) in x 0.756 * [taylor]: Taking taylor expansion of x in x 0.756 * [taylor]: Taking taylor expansion of y in x 0.756 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y) in x 0.756 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) in x 0.756 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x 0.756 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.756 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.756 * [taylor]: Taking taylor expansion of x in x 0.756 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.756 * [taylor]: Taking taylor expansion of y in x 0.757 * [taylor]: Taking taylor expansion of 8.0 in x 0.757 * [taylor]: Taking taylor expansion of y in x 0.757 * [taylor]: Taking taylor expansion of -2.0 in y 0.758 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.758 * [taylor]: Taking taylor expansion of 4.0 in y 0.758 * [taylor]: Taking taylor expansion of y in y 0.759 * [taylor]: Taking taylor expansion of (neg (* 8.0 (pow y 2))) in y 0.759 * [taylor]: Taking taylor expansion of (* 8.0 (pow y 2)) in y 0.759 * [taylor]: Taking taylor expansion of 8.0 in y 0.759 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.759 * [taylor]: Taking taylor expansion of y in y 0.761 * [taylor]: Taking taylor expansion of (* 16.0 (pow y 3)) in y 0.761 * [taylor]: Taking taylor expansion of 16.0 in y 0.761 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.761 * [taylor]: Taking taylor expansion of y in y 0.763 * [taylor]: Taking taylor expansion of (neg (* 32.0 (pow y 4))) in y 0.763 * [taylor]: Taking taylor expansion of (* 32.0 (pow y 4)) in y 0.763 * [taylor]: Taking taylor expansion of 32.0 in y 0.763 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.763 * [taylor]: Taking taylor expansion of y in y 0.764 * [approximate]: Taking taylor expansion of (* 2.0 (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y))) in (x y) around 0 0.764 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y))) in y 0.764 * [taylor]: Taking taylor expansion of 2.0 in y 0.764 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y)) in y 0.764 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in y 0.764 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) in y 0.764 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 0.764 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.764 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.764 * [taylor]: Taking taylor expansion of x in y 0.764 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.764 * [taylor]: Taking taylor expansion of y in y 0.764 * [taylor]: Taking taylor expansion of 4.0 in y 0.764 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x y))) in y 0.764 * [taylor]: Taking taylor expansion of 2.0 in y 0.764 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.764 * [taylor]: Taking taylor expansion of (* x y) in y 0.764 * [taylor]: Taking taylor expansion of x in y 0.764 * [taylor]: Taking taylor expansion of y in y 0.764 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y) in y 0.764 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) in y 0.764 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y 0.764 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y 0.764 * [taylor]: Taking taylor expansion of (pow x 3) in y 0.764 * [taylor]: Taking taylor expansion of x in y 0.764 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.764 * [taylor]: Taking taylor expansion of y in y 0.765 * [taylor]: Taking taylor expansion of 8.0 in y 0.765 * [taylor]: Taking taylor expansion of y in y 0.765 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y))) in x 0.765 * [taylor]: Taking taylor expansion of 2.0 in x 0.765 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y)) in x 0.765 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in x 0.765 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) in x 0.765 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.765 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.765 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.765 * [taylor]: Taking taylor expansion of x in x 0.765 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.765 * [taylor]: Taking taylor expansion of y in x 0.766 * [taylor]: Taking taylor expansion of 4.0 in x 0.766 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x y))) in x 0.766 * [taylor]: Taking taylor expansion of 2.0 in x 0.766 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.766 * [taylor]: Taking taylor expansion of (* x y) in x 0.766 * [taylor]: Taking taylor expansion of x in x 0.766 * [taylor]: Taking taylor expansion of y in x 0.766 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y) in x 0.766 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) in x 0.766 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x 0.766 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.766 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.766 * [taylor]: Taking taylor expansion of x in x 0.766 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.766 * [taylor]: Taking taylor expansion of y in x 0.766 * [taylor]: Taking taylor expansion of 8.0 in x 0.766 * [taylor]: Taking taylor expansion of y in x 0.766 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y))) in x 0.766 * [taylor]: Taking taylor expansion of 2.0 in x 0.766 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y)) in x 0.767 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in x 0.767 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) in x 0.767 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.767 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.767 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.767 * [taylor]: Taking taylor expansion of x in x 0.767 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.767 * [taylor]: Taking taylor expansion of y in x 0.767 * [taylor]: Taking taylor expansion of 4.0 in x 0.767 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x y))) in x 0.767 * [taylor]: Taking taylor expansion of 2.0 in x 0.767 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.767 * [taylor]: Taking taylor expansion of (* x y) in x 0.767 * [taylor]: Taking taylor expansion of x in x 0.767 * [taylor]: Taking taylor expansion of y in x 0.767 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) y) in x 0.767 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 3) (pow y 3))) 8.0) in x 0.767 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x 0.767 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.767 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.767 * [taylor]: Taking taylor expansion of x in x 0.767 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.767 * [taylor]: Taking taylor expansion of y in x 0.767 * [taylor]: Taking taylor expansion of 8.0 in x 0.767 * [taylor]: Taking taylor expansion of y in x 0.768 * [taylor]: Taking taylor expansion of 2.0 in y 0.768 * [taylor]: Taking taylor expansion of (neg (* 4.0 y)) in y 0.769 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.769 * [taylor]: Taking taylor expansion of 4.0 in y 0.769 * [taylor]: Taking taylor expansion of y in y 0.770 * [taylor]: Taking taylor expansion of (* 8.0 (pow y 2)) in y 0.770 * [taylor]: Taking taylor expansion of 8.0 in y 0.770 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.770 * [taylor]: Taking taylor expansion of y in y 0.771 * [taylor]: Taking taylor expansion of (neg (* 16.0 (pow y 3))) in y 0.771 * [taylor]: Taking taylor expansion of (* 16.0 (pow y 3)) in y 0.771 * [taylor]: Taking taylor expansion of 16.0 in y 0.771 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.771 * [taylor]: Taking taylor expansion of y in y 0.773 * [taylor]: Taking taylor expansion of (* 32.0 (pow y 4)) in y 0.773 * [taylor]: Taking taylor expansion of 32.0 in y 0.773 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.774 * [taylor]: Taking taylor expansion of y in y 0.774 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 0.774 * [approximate]: Taking taylor expansion of (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y))) in (x y) around 0 0.774 * [taylor]: Taking taylor expansion of (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y))) in y 0.774 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) 4.0) in y 0.774 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.774 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.774 * [taylor]: Taking taylor expansion of x in y 0.774 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.774 * [taylor]: Taking taylor expansion of y in y 0.774 * [taylor]: Taking taylor expansion of 4.0 in y 0.774 * [taylor]: Taking taylor expansion of (* 2.0 (* x y)) in y 0.774 * [taylor]: Taking taylor expansion of 2.0 in y 0.774 * [taylor]: Taking taylor expansion of (* x y) in y 0.774 * [taylor]: Taking taylor expansion of x in y 0.774 * [taylor]: Taking taylor expansion of y in y 0.774 * [taylor]: Taking taylor expansion of (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y))) in x 0.774 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) 4.0) in x 0.774 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.774 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.774 * [taylor]: Taking taylor expansion of x in x 0.774 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.774 * [taylor]: Taking taylor expansion of y in x 0.774 * [taylor]: Taking taylor expansion of 4.0 in x 0.774 * [taylor]: Taking taylor expansion of (* 2.0 (* x y)) in x 0.775 * [taylor]: Taking taylor expansion of 2.0 in x 0.775 * [taylor]: Taking taylor expansion of (* x y) in x 0.775 * [taylor]: Taking taylor expansion of x in x 0.775 * [taylor]: Taking taylor expansion of y in x 0.775 * [taylor]: Taking taylor expansion of (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y))) in x 0.775 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) 4.0) in x 0.775 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.775 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.775 * [taylor]: Taking taylor expansion of x in x 0.775 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.775 * [taylor]: Taking taylor expansion of y in x 0.775 * [taylor]: Taking taylor expansion of 4.0 in x 0.775 * [taylor]: Taking taylor expansion of (* 2.0 (* x y)) in x 0.775 * [taylor]: Taking taylor expansion of 2.0 in x 0.775 * [taylor]: Taking taylor expansion of (* x y) in x 0.775 * [taylor]: Taking taylor expansion of x in x 0.775 * [taylor]: Taking taylor expansion of y in x 0.775 * [taylor]: Taking taylor expansion of 4.0 in y 0.775 * [taylor]: Taking taylor expansion of (neg (* 2.0 y)) in y 0.775 * [taylor]: Taking taylor expansion of (* 2.0 y) in y 0.775 * [taylor]: Taking taylor expansion of 2.0 in y 0.775 * [taylor]: Taking taylor expansion of y in y 0.775 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.775 * [taylor]: Taking taylor expansion of y in y 0.776 * [taylor]: Taking taylor expansion of 0 in y 0.776 * [taylor]: Taking taylor expansion of 0 in y 0.776 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in (x y) around 0 0.776 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in y 0.776 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) in y 0.776 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 0.776 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.776 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.776 * [taylor]: Taking taylor expansion of x in y 0.776 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.776 * [taylor]: Taking taylor expansion of y in y 0.777 * [taylor]: Taking taylor expansion of 4.0 in y 0.777 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x y))) in y 0.777 * [taylor]: Taking taylor expansion of 2.0 in y 0.777 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.777 * [taylor]: Taking taylor expansion of (* x y) in y 0.777 * [taylor]: Taking taylor expansion of x in y 0.777 * [taylor]: Taking taylor expansion of y in y 0.777 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in x 0.777 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) in x 0.777 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.777 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.777 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.777 * [taylor]: Taking taylor expansion of x in x 0.777 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.777 * [taylor]: Taking taylor expansion of y in x 0.777 * [taylor]: Taking taylor expansion of 4.0 in x 0.777 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x y))) in x 0.777 * [taylor]: Taking taylor expansion of 2.0 in x 0.777 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.777 * [taylor]: Taking taylor expansion of (* x y) in x 0.777 * [taylor]: Taking taylor expansion of x in x 0.777 * [taylor]: Taking taylor expansion of y in x 0.777 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in x 0.777 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) in x 0.777 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.777 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.777 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.777 * [taylor]: Taking taylor expansion of x in x 0.777 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.777 * [taylor]: Taking taylor expansion of y in x 0.778 * [taylor]: Taking taylor expansion of 4.0 in x 0.778 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x y))) in x 0.778 * [taylor]: Taking taylor expansion of 2.0 in x 0.778 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.778 * [taylor]: Taking taylor expansion of (* x y) in x 0.778 * [taylor]: Taking taylor expansion of x in x 0.778 * [taylor]: Taking taylor expansion of y in x 0.778 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.778 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.778 * [taylor]: Taking taylor expansion of y in y 0.778 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 y))) in y 0.778 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 0.778 * [taylor]: Taking taylor expansion of 2.0 in y 0.778 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.778 * [taylor]: Taking taylor expansion of y in y 0.779 * [taylor]: Taking taylor expansion of 4.0 in y 0.779 * [taylor]: Taking taylor expansion of 0 in y 0.780 * [taylor]: Taking taylor expansion of 0 in y 0.781 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in (x y) around 0 0.781 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in y 0.781 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) in y 0.781 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 0.781 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.781 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.781 * [taylor]: Taking taylor expansion of x in y 0.781 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.781 * [taylor]: Taking taylor expansion of y in y 0.781 * [taylor]: Taking taylor expansion of 4.0 in y 0.781 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x y))) in y 0.781 * [taylor]: Taking taylor expansion of 2.0 in y 0.781 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.781 * [taylor]: Taking taylor expansion of (* x y) in y 0.781 * [taylor]: Taking taylor expansion of x in y 0.781 * [taylor]: Taking taylor expansion of y in y 0.781 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in x 0.781 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) in x 0.781 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.781 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.781 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.781 * [taylor]: Taking taylor expansion of x in x 0.781 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.781 * [taylor]: Taking taylor expansion of y in x 0.781 * [taylor]: Taking taylor expansion of 4.0 in x 0.781 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x y))) in x 0.781 * [taylor]: Taking taylor expansion of 2.0 in x 0.781 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.781 * [taylor]: Taking taylor expansion of (* x y) in x 0.781 * [taylor]: Taking taylor expansion of x in x 0.782 * [taylor]: Taking taylor expansion of y in x 0.782 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) (* 2.0 (/ 1 (* x y)))) in x 0.782 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) 4.0) in x 0.782 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.782 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.782 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.782 * [taylor]: Taking taylor expansion of x in x 0.782 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.782 * [taylor]: Taking taylor expansion of y in x 0.782 * [taylor]: Taking taylor expansion of 4.0 in x 0.782 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x y))) in x 0.782 * [taylor]: Taking taylor expansion of 2.0 in x 0.782 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.782 * [taylor]: Taking taylor expansion of (* x y) in x 0.782 * [taylor]: Taking taylor expansion of x in x 0.782 * [taylor]: Taking taylor expansion of y in x 0.782 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.782 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.782 * [taylor]: Taking taylor expansion of y in y 0.783 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 y))) in y 0.783 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 0.783 * [taylor]: Taking taylor expansion of 2.0 in y 0.783 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.783 * [taylor]: Taking taylor expansion of y in y 0.783 * [taylor]: Taking taylor expansion of 4.0 in y 0.784 * [taylor]: Taking taylor expansion of 0 in y 0.784 * [taylor]: Taking taylor expansion of 0 in y 0.785 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1) 0.785 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in (x y) around 0 0.785 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.785 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.785 * [taylor]: Taking taylor expansion of x in y 0.785 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.785 * [taylor]: Taking taylor expansion of y in y 0.785 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.785 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.785 * [taylor]: Taking taylor expansion of x in x 0.785 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.785 * [taylor]: Taking taylor expansion of y in x 0.785 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.785 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.785 * [taylor]: Taking taylor expansion of x in x 0.785 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.785 * [taylor]: Taking taylor expansion of y in x 0.785 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.785 * [taylor]: Taking taylor expansion of y in y 0.785 * [taylor]: Taking taylor expansion of 0 in y 0.786 * [taylor]: Taking taylor expansion of 0 in y 0.786 * [taylor]: Taking taylor expansion of 0 in y 0.786 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in (x y) around 0 0.786 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 0.786 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.786 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.786 * [taylor]: Taking taylor expansion of x in y 0.786 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.786 * [taylor]: Taking taylor expansion of y in y 0.786 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.786 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.786 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.786 * [taylor]: Taking taylor expansion of x in x 0.786 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.786 * [taylor]: Taking taylor expansion of y in x 0.786 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.786 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.786 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.786 * [taylor]: Taking taylor expansion of x in x 0.786 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.786 * [taylor]: Taking taylor expansion of y in x 0.787 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.787 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.787 * [taylor]: Taking taylor expansion of y in y 0.787 * [taylor]: Taking taylor expansion of 0 in y 0.787 * [taylor]: Taking taylor expansion of 0 in y 0.788 * [taylor]: Taking taylor expansion of 0 in y 0.788 * [taylor]: Taking taylor expansion of 0 in y 0.789 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in (x y) around 0 0.789 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 0.789 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.789 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.789 * [taylor]: Taking taylor expansion of x in y 0.789 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.789 * [taylor]: Taking taylor expansion of y in y 0.789 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.789 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.789 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.789 * [taylor]: Taking taylor expansion of x in x 0.789 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.789 * [taylor]: Taking taylor expansion of y in x 0.789 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.789 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.789 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.789 * [taylor]: Taking taylor expansion of x in x 0.789 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.789 * [taylor]: Taking taylor expansion of y in x 0.789 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.789 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.789 * [taylor]: Taking taylor expansion of y in y 0.790 * [taylor]: Taking taylor expansion of 0 in y 0.790 * [taylor]: Taking taylor expansion of 0 in y 0.790 * [taylor]: Taking taylor expansion of 0 in y 0.791 * [taylor]: Taking taylor expansion of 0 in y 0.791 * * * [progress]: simplifying candidates 0.793 * [simplify]: Simplifying using # : (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (+ (- (log -1) (log (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (log (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (+ (log (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (log (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (log (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (exp (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* (/ (* (* -1 -1) -1) (* (* (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (* (* (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (* (* (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* (cbrt (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (cbrt (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))))) (cbrt (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (sqrt (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (sqrt (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* -1 (+ (pow (* (* x y) (* x y)) 3) (pow (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))) 3))) (* (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)) (+ (* (* (* x y) (* x y)) (* (* x y) (* x y))) (- (* (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))) (* (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))))) (* -1 (- (* (* (* x y) (* x y)) (* (* x y) (* x y))) (* (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)) (- (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (sqrt (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (sqrt (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* (sqrt (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (sqrt (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* (/ (sqrt -1) (sqrt (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (sqrt (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* (/ (sqrt -1) (sqrt (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (sqrt (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (* (* x y) (* x y))) (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))) (* (* (* x y) (* x y)) (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (* (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))) (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (* (cbrt (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (cbrt (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))))) (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (sqrt (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) 1) (* (cbrt (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (sqrt (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ (cbrt -1) (cbrt (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ (cbrt -1) (sqrt (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ (cbrt -1) (+ (* x y) (* 2.0 1.0))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ (cbrt -1) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ (cbrt -1) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ (sqrt -1) (cbrt (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ (sqrt -1) (sqrt (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ (sqrt -1) (+ (* x y) (* 2.0 1.0))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ (sqrt -1) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ (sqrt -1) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ -1 (cbrt (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ -1 (sqrt (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ -1 (+ (* x y) (* 2.0 1.0))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ 1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (+ (* (pow (* x y) 3) (pow (* x y) 3)) (- (* (pow (* 2.0 1.0) 3) (pow (* 2.0 1.0) 3)) (* (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (- (pow (* x y) 3) (pow (* 2.0 1.0) 3)) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (pow (* (* x y) (* x y)) 3) (pow (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))) 3))) (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (- (* (* (* x y) (* x y)) (* (* x y) (* x y))) (* (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* -1 (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* 2.0 y)) (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* 2.0 y)) (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* 2.0 y)) (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* 2.0 y)) (+ (+ (- (log -1) (log (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (log (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (+ (log 2.0) (log y))) (+ (+ (- (log -1) (log (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (log (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (log (* 2.0 y))) (+ (+ (log (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (log (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (+ (log 2.0) (log y))) (+ (+ (log (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (log (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (log (* 2.0 y))) (+ (log (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (+ (log 2.0) (log y))) (+ (log (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (log (* 2.0 y))) (log (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* 2.0 y))) (exp (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* 2.0 y))) (* (* (/ (* (* -1 -1) -1) (* (* (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (* (* (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* (* (* 2.0 2.0) 2.0) (* (* y y) y))) (* (* (/ (* (* -1 -1) -1) (* (* (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (* (* (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* (* (* 2.0 y) (* 2.0 y)) (* 2.0 y))) (* (* (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (* (* (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* (* (* 2.0 2.0) 2.0) (* (* y y) y))) (* (* (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (* (* (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* (* (* 2.0 y) (* 2.0 y)) (* 2.0 y))) (* (* (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* (* (* 2.0 2.0) 2.0) (* (* y y) y))) (* (* (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* (* (* 2.0 y) (* 2.0 y)) (* 2.0 y))) (* (cbrt (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* 2.0 y))) (cbrt (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* 2.0 y)))) (cbrt (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* 2.0 y))) (* (* (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* 2.0 y)) (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* 2.0 y))) (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* 2.0 y))) (sqrt (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* 2.0 y))) (sqrt (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* 2.0 y))) (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) 2.0) (* (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))) (* 2.0 y)) (* (* -1 (+ (pow (* (* x y) (* x y)) 3) (pow (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))) 3))) (* 2.0 y)) (* (* -1 (- (* (* (* x y) (* x y)) (* (* x y) (* x y))) (* (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* 2.0 y)) (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (+ (pow (* (* x y) (* x y)) 3) (pow (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))) 3))) (* 2.0 y)) (* (* (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (- (* (* (* x y) (* x y)) (* (* x y) (* x y))) (* (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (* 2.0 y)) (* (* -1 (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* 2.0 y)) (* (exp (* (* x y) (* x y))) (/ (exp (* (* 2.0 1.0) (* 2.0 1.0))) (exp (* (* x y) (* 2.0 1.0))))) (* (exp (* (* x y) (* x y))) (exp (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (log (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (exp (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (cbrt (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (cbrt (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (cbrt (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (* (* (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (sqrt (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (sqrt (+ (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (+ (pow (* (* x y) (* x y)) 3) (pow (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))) 3)) (+ (* (* (* x y) (* x y)) (* (* x y) (* x y))) (- (* (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))) (* (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))))) (- (* (* (* x y) (* x y)) (* (* x y) (* x y))) (* (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0))))) (- (* (* x y) (* x y)) (- (* (* 2.0 1.0) (* 2.0 1.0)) (* (* x y) (* 2.0 1.0)))) (+ (* (* x y) (* x y)) (* (* 2.0 1.0) (* 2.0 1.0))) (+ (* (* x y) (* x y)) (* (* 2.0 1.0) (* 2.0 1.0))) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (* (* x y) (* x y)) (* (* x y) (* x y)) (* (* x y) (* x y)) (* (* x y) (* x y)) (+ 1 1) (+ 1 1) (+ (+ (log x) (log y)) (+ (log x) (log y))) (+ (+ (log x) (log y)) (log (* x y))) (+ (log (* x y)) (+ (log x) (log y))) (+ (log (* x y)) (log (* x y))) (log (* (* x y) (* x y))) (exp (* (* x y) (* x y))) (* (* (* (* x x) x) (* (* y y) y)) (* (* (* x x) x) (* (* y y) y))) (* (* (* (* x x) x) (* (* y y) y)) (* (* (* x y) (* x y)) (* x y))) (* (* (* (* x y) (* x y)) (* x y)) (* (* (* x x) x) (* (* y y) y))) (* (* (* (* x y) (* x y)) (* x y)) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* (* x y) (* x y))) (cbrt (* (* x y) (* x y)))) (cbrt (* (* x y) (* x y))) (* (* (* (* x y) (* x y)) (* (* x y) (* x y))) (* (* x y) (* x y))) (sqrt (* (* x y) (* x y))) (sqrt (* (* x y) (* x y))) (* x x) (* y y) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* (* x y) x) (* y (* x y)) (- (* 0.25 (* x y)) (+ (* 0.125 (* (pow x 2) (pow y 2))) 0.5)) (- (* 2.0 (/ 1 (* (pow x 2) (pow y 2)))) (+ (* 4.0 (/ 1 (* (pow x 3) (pow y 3)))) (/ 1 (* x y)))) (- (* 2.0 (/ 1 (* (pow x 2) (pow y 2)))) (+ (* 4.0 (/ 1 (* (pow x 3) (pow y 3)))) (/ 1 (* x y)))) (- (* 0.5 (* x (pow y 2))) (+ (* 1.0 y) (* 0.25 (* (pow x 2) (pow y 3))))) (- (* 4.0 (/ 1 (* (pow x 2) y))) (+ (* 8.0 (/ 1 (* (pow x 3) (pow y 2)))) (* 2.0 (/ 1 x)))) (- (* 4.0 (/ 1 (* (pow x 2) y))) (+ (* 8.0 (/ 1 (* (pow x 3) (pow y 2)))) (* 2.0 (/ 1 x)))) (- 4.0 (* 2.0 (* x y))) (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y))) (- (+ (* (pow x 2) (pow y 2)) 4.0) (* 2.0 (* x y))) (* (pow x 2) (pow y 2)) (* (pow x 2) (pow y 2)) (* (pow x 2) (pow y 2)) 0.859 * * [simplify]: iteration 0 : 4989 enodes (cost 3468 ) 0.859 * * [simplify]: iteration 1 : 4989 enodes (cost 3468 ) 0.868 * [simplify]: Simplified to: (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (log (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (log (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (log (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (exp (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (pow (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) 3) (pow (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) 3) (* (cbrt (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (cbrt (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) (cbrt (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (pow (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) 3) (sqrt (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (sqrt (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (- (neg (pow (* x y) 6)) (pow (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y)))) 3)) (* (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)) (+ (pow (* x y) 4) (* (* 2.0 1.0) (* (- (* 2.0 1.0) (* x y)) (- (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))))))) (+ (neg (pow (* x y) 4)) (* (* 2.0 1.0) (* (- (* 2.0 1.0) (* x y)) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))))) (* (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)) (- (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y)))))) (* (sqrt (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (sqrt (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))))) (* (sqrt (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (sqrt (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))))) (* (sqrt (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y)))))) (/ (sqrt -1) (sqrt (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) (* (sqrt (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y)))))) (/ (sqrt -1) (sqrt (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) (* x (* y (/ (neg (* x y)) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) (/ (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (* x (* y (/ (neg (* x y)) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) (/ (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (* (cbrt (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y)))))) (/ (neg (cbrt (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (/ (neg (sqrt (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (* (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))) (cbrt (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) (* (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))) (sqrt (/ -1 (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) (* (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))) (/ (cbrt -1) (cbrt (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) (* (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))) (/ (cbrt -1) (sqrt (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) (* (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))) (/ (cbrt -1) (+ (* x y) (* 2.0 1.0)))) (* (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))) (/ (cbrt -1) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (* (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))) (/ (cbrt -1) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (* (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))) (/ (sqrt -1) (cbrt (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) (* (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))) (/ (sqrt -1) (sqrt (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) (* (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))) (/ (sqrt -1) (+ (* x y) (* 2.0 1.0)))) (* (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))) (/ (sqrt -1) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (* (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))) (/ (sqrt -1) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (cbrt (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (sqrt (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (* x y) (* 2.0 1.0))) (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (/ (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (* (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))) (+ (pow (* x y) 6) (- (pow (* 2.0 1.0) 6) (* (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) (* (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))) (- (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (/ (- (neg (pow (* x y) 6)) (pow (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y)))) 3)) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (/ (+ (neg (pow (* x y) 4)) (* (* 2.0 1.0) (* (- (* 2.0 1.0) (* x y)) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))) (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) (log (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))))) (log (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))))) (log (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))))) (log (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))))) (log (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))))) (log (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))))) (log (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))))) (pow (exp (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (* y 2.0)) (pow (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) 3) (pow (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) 3) (pow (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) 3) (pow (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) 3) (pow (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) 3) (pow (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) 3) (* (cbrt (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))))) (cbrt (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))))) (cbrt (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))))) (pow (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) 3) (sqrt (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))))) (sqrt (* y (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))))) (* 2.0 (/ (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3)))) (* y (* 2.0 (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))))) (* y (* 2.0 (- (neg (pow (* x y) 6)) (pow (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y)))) 3)))) (* y (* 2.0 (+ (neg (pow (* x y) 4)) (* (* 2.0 1.0) (* (- (* 2.0 1.0) (* x y)) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))))))) (* y (* 2.0 (/ (- (neg (pow (* x y) 6)) (pow (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y)))) 3)) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) (* y (* 2.0 (/ (+ (neg (pow (* x y) 4)) (* (* 2.0 1.0) (* (- (* 2.0 1.0) (* x y)) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))))) (+ (pow (* x y) 3) (pow (* 2.0 1.0) 3))))) (* y (* 2.0 (- (* (* 2.0 1.0) (neg (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y)))))) (exp (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y)))))) (exp (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y)))))) (log (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y)))))) (exp (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y)))))) (* (cbrt (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y)))))) (cbrt (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))))) (cbrt (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y)))))) (pow (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))) 3) (sqrt (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y)))))) (sqrt (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y)))))) (+ (pow (* x y) 6) (pow (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y)))) 3)) (+ (pow (* x y) 4) (* (* 2.0 1.0) (* (- (* 2.0 1.0) (* x y)) (- (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y)))) (* x (* x (* y y))))))) (- (pow (* x y) 4) (* (* 2.0 1.0) (* (- (* 2.0 1.0) (* x y)) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))))) (- (* x (* x (* y y))) (* 2.0 (* 1.0 (- (* 2.0 1.0) (* x y))))) (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (* 2.0 1.0)))) (+ (* x (* x (* y y))) (* 2.0 (* 1.0 (* 2.0 1.0)))) 2 2 2 2 (* x (* x (* y y))) (* x (* x (* y y))) (* x (* x (* y y))) (* x (* x (* y y))) 2 2 (* 2 (log (* x y))) (* 2 (log (* x y))) (* 2 (log (* x y))) (* 2 (log (* x y))) (* 2 (log (* x y))) (pow (pow (exp x) y) (* x y)) (pow (* x y) 6) (pow (* x y) 6) (pow (* x y) 6) (pow (* x y) 6) (* (cbrt (* x (* x (* y y)))) (cbrt (* x (* x (* y y))))) (cbrt (* x (* x (* y y)))) (pow (* x y) 6) (fabs (* x y)) (fabs (* x y)) (* x x) (* y y) 2 2 2 2 (* x (* x y)) (* x (* y y)) (- (* x (* y 0.25)) (+ (* x (* (* x (* y y)) 0.125)) 0.5)) (- (/ 2.0 (* x (* x (* y y)))) (+ (/ 4.0 (pow (* x y) 3)) (/ 1 (* x y)))) (- (/ 2.0 (* x (* x (* y y)))) (+ (/ 4.0 (pow (* x y) 3)) (/ 1 (* x y)))) (- (* x (* (* y y) 0.5)) (+ (* y 1.0) (* (pow y 3) (* (* x x) 0.25)))) (- (/ 4.0 (* x (* x y))) (+ (/ 8.0 (* y (* y (pow x 3)))) (/ 2.0 x))) (- (/ 4.0 (* x (* x y))) (+ (/ 8.0 (* y (* y (pow x 3)))) (/ 2.0 x))) (- 4.0 (* x (* y 2.0))) (+ (* x (* x (* y y))) (- 4.0 (* x (* y 2.0)))) (+ (* x (* x (* y y))) (- 4.0 (* x (* y 2.0)))) (* x (* x (* y y))) (* x (* x (* y y))) (* x (* x (* y y))) 0.869 * * * [progress]: adding candidates to table 1.114 * [progress]: [Phase 3 of 3] Extracting. 1.114 * * [regime]: Finding splitpoints for: (# #) 1.114 * * * [regime-changes]: Trying 2 branch expressions: (y x) 1.114 * * * * [regimes]: Trying to branch on y from (# #) 1.146 * * * * [regimes]: Trying to branch on x from (# #) 1.179 * * * [regime]: Found split indices: #