20.627 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.014 * [progress]: [Phase 2 of 3] Improving. 0.014 * [simplify]: Simplifying using # : (* x (- 1.0 (* x y))) 0.017 * * [simplify]: iteration 0 : 10 enodes (cost 3 ) 0.018 * * [simplify]: iteration 1 : 23 enodes (cost 3 ) 0.019 * * [simplify]: iteration 2 : 44 enodes (cost 3 ) 0.021 * * [simplify]: iteration 3 : 62 enodes (cost 3 ) 0.022 * * [simplify]: iteration 4 : 63 enodes (cost 3 ) 0.024 * * [simplify]: iteration 5 : 63 enodes (cost 3 ) 0.024 * [simplify]: Simplified to: (* x (- 1.0 (* x y))) 0.024 * * [progress]: iteration 1 / 4 0.024 * * * [progress]: picking best candidate 0.026 * * * * [pick]: Picked # 0.026 * * * [progress]: localizing error 0.030 * * * [progress]: generating rewritten candidates 0.030 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.034 * * * [progress]: generating series expansions 0.034 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.034 * [approximate]: Taking taylor expansion of (* x (- 1.0 (* x y))) in (x y) around 0 0.034 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* x y))) in y 0.034 * [taylor]: Taking taylor expansion of x in y 0.034 * [taylor]: Taking taylor expansion of (- 1.0 (* x y)) in y 0.034 * [taylor]: Taking taylor expansion of 1.0 in y 0.034 * [taylor]: Taking taylor expansion of (* x y) in y 0.034 * [taylor]: Taking taylor expansion of x in y 0.034 * [taylor]: Taking taylor expansion of y in y 0.034 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* x y))) in x 0.034 * [taylor]: Taking taylor expansion of x in x 0.034 * [taylor]: Taking taylor expansion of (- 1.0 (* x y)) in x 0.034 * [taylor]: Taking taylor expansion of 1.0 in x 0.034 * [taylor]: Taking taylor expansion of (* x y) in x 0.034 * [taylor]: Taking taylor expansion of x in x 0.034 * [taylor]: Taking taylor expansion of y in x 0.034 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* x y))) in x 0.034 * [taylor]: Taking taylor expansion of x in x 0.034 * [taylor]: Taking taylor expansion of (- 1.0 (* x y)) in x 0.034 * [taylor]: Taking taylor expansion of 1.0 in x 0.034 * [taylor]: Taking taylor expansion of (* x y) in x 0.034 * [taylor]: Taking taylor expansion of x in x 0.034 * [taylor]: Taking taylor expansion of y in x 0.035 * [taylor]: Taking taylor expansion of 0 in y 0.036 * [taylor]: Taking taylor expansion of 1.0 in y 0.038 * [taylor]: Taking taylor expansion of (- y) in y 0.038 * [taylor]: Taking taylor expansion of y in y 0.040 * [taylor]: Taking taylor expansion of 0 in y 0.043 * [taylor]: Taking taylor expansion of 0 in y 0.043 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in (x y) around 0 0.043 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in y 0.043 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in y 0.043 * [taylor]: Taking taylor expansion of 1.0 in y 0.043 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.043 * [taylor]: Taking taylor expansion of (* x y) in y 0.043 * [taylor]: Taking taylor expansion of x in y 0.043 * [taylor]: Taking taylor expansion of y in y 0.044 * [taylor]: Taking taylor expansion of x in y 0.044 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in x 0.044 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in x 0.044 * [taylor]: Taking taylor expansion of 1.0 in x 0.044 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.044 * [taylor]: Taking taylor expansion of (* x y) in x 0.044 * [taylor]: Taking taylor expansion of x in x 0.044 * [taylor]: Taking taylor expansion of y in x 0.044 * [taylor]: Taking taylor expansion of x in x 0.044 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in x 0.044 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in x 0.044 * [taylor]: Taking taylor expansion of 1.0 in x 0.044 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.044 * [taylor]: Taking taylor expansion of (* x y) in x 0.044 * [taylor]: Taking taylor expansion of x in x 0.044 * [taylor]: Taking taylor expansion of y in x 0.045 * [taylor]: Taking taylor expansion of x in x 0.045 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.045 * [taylor]: Taking taylor expansion of -1 in y 0.045 * [taylor]: Taking taylor expansion of y in y 0.047 * [taylor]: Taking taylor expansion of 1.0 in y 0.049 * [taylor]: Taking taylor expansion of 0 in y 0.053 * [taylor]: Taking taylor expansion of 0 in y 0.057 * [taylor]: Taking taylor expansion of 0 in y 0.057 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* x y))) x)) in (x y) around 0 0.057 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* x y))) x)) in y 0.057 * [taylor]: Taking taylor expansion of -1 in y 0.057 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in y 0.057 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in y 0.057 * [taylor]: Taking taylor expansion of 1.0 in y 0.057 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.057 * [taylor]: Taking taylor expansion of (* x y) in y 0.057 * [taylor]: Taking taylor expansion of x in y 0.057 * [taylor]: Taking taylor expansion of y in y 0.058 * [taylor]: Taking taylor expansion of x in y 0.058 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* x y))) x)) in x 0.058 * [taylor]: Taking taylor expansion of -1 in x 0.058 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in x 0.058 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in x 0.058 * [taylor]: Taking taylor expansion of 1.0 in x 0.058 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.058 * [taylor]: Taking taylor expansion of (* x y) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of y in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* x y))) x)) in x 0.058 * [taylor]: Taking taylor expansion of -1 in x 0.058 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in x 0.058 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in x 0.058 * [taylor]: Taking taylor expansion of 1.0 in x 0.058 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.058 * [taylor]: Taking taylor expansion of (* x y) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of y in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.059 * [taylor]: Taking taylor expansion of y in y 0.061 * [taylor]: Taking taylor expansion of (- 1.0) in y 0.061 * [taylor]: Taking taylor expansion of 1.0 in y 0.065 * [taylor]: Taking taylor expansion of 0 in y 0.069 * [taylor]: Taking taylor expansion of 0 in y 0.074 * [taylor]: Taking taylor expansion of 0 in y 0.075 * * * [progress]: simplifying candidates 0.075 * [simplify]: Simplifying using # : (* x 1.0) (* x (- (* x y))) (* x 1.0) (* x (- (* x y))) (* 1.0 x) (* (- (* x y)) x) (* 1.0 x) (* (- (* x y)) x) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* x (- (* 1.0 1.0) (* (* x y) (* x y)))) (- (* 1.0 x) (* (pow x 2) y)) (- (* 1.0 x) (* (pow x 2) y)) (- (* 1.0 x) (* (pow x 2) y)) 0.078 * * [simplify]: iteration 0 : 61 enodes (cost 39 ) 0.080 * * [simplify]: iteration 1 : 162 enodes (cost 39 ) 0.084 * * [simplify]: iteration 2 : 627 enodes (cost 35 ) 0.098 * * [simplify]: iteration 3 : 2459 enodes (cost 35 ) 0.165 * * [simplify]: iteration 4 : 5003 enodes (cost 35 ) 0.166 * [simplify]: Simplified to: (* x 1.0) (* x (- (* x y))) (* x 1.0) (* x (- (* x y))) (* x 1.0) (* x (- (* x y))) (* x 1.0) (* x (- (* x y))) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* (* x (fma y x 1.0)) (- 1.0 (* x y))) (* x (- 1.0 (* x y))) (* x (- 1.0 (* x y))) (* x (- 1.0 (* x y))) 0.166 * * * [progress]: adding candidates to table 0.178 * * [progress]: iteration 2 / 4 0.179 * * * [progress]: picking best candidate 0.181 * * * * [pick]: Picked # 0.181 * * * [progress]: localizing error 0.195 * * * [progress]: generating rewritten candidates 0.195 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.213 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.220 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 0.224 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 0.228 * * * [progress]: generating series expansions 0.228 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.230 * [approximate]: Taking taylor expansion of (/ (* x (- 1.0 (* (pow x 3) (pow y 3)))) (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0))) in (x y) around 0 0.230 * [taylor]: Taking taylor expansion of (/ (* x (- 1.0 (* (pow x 3) (pow y 3)))) (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0))) in y 0.230 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* (pow x 3) (pow y 3)))) in y 0.230 * [taylor]: Taking taylor expansion of x in y 0.230 * [taylor]: Taking taylor expansion of (- 1.0 (* (pow x 3) (pow y 3))) in y 0.230 * [taylor]: Taking taylor expansion of 1.0 in y 0.230 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y 0.230 * [taylor]: Taking taylor expansion of (pow x 3) in y 0.230 * [taylor]: Taking taylor expansion of x in y 0.230 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.230 * [taylor]: Taking taylor expansion of y in y 0.230 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0)) in y 0.230 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.230 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.230 * [taylor]: Taking taylor expansion of x in y 0.230 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.230 * [taylor]: Taking taylor expansion of y in y 0.230 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* x y)) 1.0) in y 0.230 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in y 0.230 * [taylor]: Taking taylor expansion of 1.0 in y 0.230 * [taylor]: Taking taylor expansion of (* x y) in y 0.230 * [taylor]: Taking taylor expansion of x in y 0.230 * [taylor]: Taking taylor expansion of y in y 0.230 * [taylor]: Taking taylor expansion of 1.0 in y 0.231 * [taylor]: Taking taylor expansion of (/ (* x (- 1.0 (* (pow x 3) (pow y 3)))) (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0))) in x 0.232 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* (pow x 3) (pow y 3)))) in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [taylor]: Taking taylor expansion of (- 1.0 (* (pow x 3) (pow y 3))) in x 0.232 * [taylor]: Taking taylor expansion of 1.0 in x 0.232 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.232 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.232 * [taylor]: Taking taylor expansion of y in x 0.232 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0)) in x 0.232 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.232 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.232 * [taylor]: Taking taylor expansion of y in x 0.232 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* x y)) 1.0) in x 0.232 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in x 0.232 * [taylor]: Taking taylor expansion of 1.0 in x 0.232 * [taylor]: Taking taylor expansion of (* x y) in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [taylor]: Taking taylor expansion of y in x 0.232 * [taylor]: Taking taylor expansion of 1.0 in x 0.234 * [taylor]: Taking taylor expansion of (/ (* x (- 1.0 (* (pow x 3) (pow y 3)))) (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0))) in x 0.235 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* (pow x 3) (pow y 3)))) in x 0.235 * [taylor]: Taking taylor expansion of x in x 0.235 * [taylor]: Taking taylor expansion of (- 1.0 (* (pow x 3) (pow y 3))) in x 0.235 * [taylor]: Taking taylor expansion of 1.0 in x 0.235 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.235 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.235 * [taylor]: Taking taylor expansion of x in x 0.235 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.235 * [taylor]: Taking taylor expansion of y in x 0.235 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0)) in x 0.235 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.235 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.235 * [taylor]: Taking taylor expansion of x in x 0.235 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.235 * [taylor]: Taking taylor expansion of y in x 0.235 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* x y)) 1.0) in x 0.235 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in x 0.235 * [taylor]: Taking taylor expansion of 1.0 in x 0.235 * [taylor]: Taking taylor expansion of (* x y) in x 0.235 * [taylor]: Taking taylor expansion of x in x 0.235 * [taylor]: Taking taylor expansion of y in x 0.235 * [taylor]: Taking taylor expansion of 1.0 in x 0.238 * [taylor]: Taking taylor expansion of 1.0 in y 0.239 * [taylor]: Taking taylor expansion of (- (* 1.0 y)) in y 0.239 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.239 * [taylor]: Taking taylor expansion of 1.0 in y 0.239 * [taylor]: Taking taylor expansion of y in y 0.243 * [taylor]: Taking taylor expansion of 0 in y 0.251 * [taylor]: Taking taylor expansion of 0 in y 0.263 * [taylor]: Taking taylor expansion of 0 in y 0.264 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)))) in (x y) around 0 0.264 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)))) in y 0.264 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) in y 0.264 * [taylor]: Taking taylor expansion of 1.0 in y 0.264 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y 0.264 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y 0.264 * [taylor]: Taking taylor expansion of (pow x 3) in y 0.264 * [taylor]: Taking taylor expansion of x in y 0.264 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.264 * [taylor]: Taking taylor expansion of y in y 0.265 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0))) in y 0.265 * [taylor]: Taking taylor expansion of x in y 0.265 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) in y 0.265 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 0.265 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.265 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.265 * [taylor]: Taking taylor expansion of x in y 0.265 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.265 * [taylor]: Taking taylor expansion of y in y 0.266 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x y))) 1.0) in y 0.266 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in y 0.266 * [taylor]: Taking taylor expansion of 1.0 in y 0.266 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.266 * [taylor]: Taking taylor expansion of (* x y) in y 0.266 * [taylor]: Taking taylor expansion of x in y 0.266 * [taylor]: Taking taylor expansion of y in y 0.266 * [taylor]: Taking taylor expansion of 1.0 in y 0.267 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)))) in x 0.267 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) in x 0.267 * [taylor]: Taking taylor expansion of 1.0 in x 0.267 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x 0.267 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.267 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.267 * [taylor]: Taking taylor expansion of x in x 0.267 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.267 * [taylor]: Taking taylor expansion of y in x 0.268 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0))) in x 0.268 * [taylor]: Taking taylor expansion of x in x 0.268 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) in x 0.268 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.268 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.268 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.268 * [taylor]: Taking taylor expansion of x in x 0.268 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.268 * [taylor]: Taking taylor expansion of y in x 0.268 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x y))) 1.0) in x 0.268 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 0.268 * [taylor]: Taking taylor expansion of 1.0 in x 0.268 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.268 * [taylor]: Taking taylor expansion of (* x y) in x 0.268 * [taylor]: Taking taylor expansion of x in x 0.268 * [taylor]: Taking taylor expansion of y in x 0.269 * [taylor]: Taking taylor expansion of 1.0 in x 0.270 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)))) in x 0.270 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) in x 0.270 * [taylor]: Taking taylor expansion of 1.0 in x 0.270 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x 0.270 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.270 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.270 * [taylor]: Taking taylor expansion of x in x 0.270 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.270 * [taylor]: Taking taylor expansion of y in x 0.271 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0))) in x 0.271 * [taylor]: Taking taylor expansion of x in x 0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) in x 0.271 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.271 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.271 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.271 * [taylor]: Taking taylor expansion of x in x 0.271 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.271 * [taylor]: Taking taylor expansion of y in x 0.271 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x y))) 1.0) in x 0.272 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 0.272 * [taylor]: Taking taylor expansion of 1.0 in x 0.272 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.272 * [taylor]: Taking taylor expansion of (* x y) in x 0.272 * [taylor]: Taking taylor expansion of x in x 0.272 * [taylor]: Taking taylor expansion of y in x 0.272 * [taylor]: Taking taylor expansion of 1.0 in x 0.273 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.274 * [taylor]: Taking taylor expansion of -1 in y 0.274 * [taylor]: Taking taylor expansion of y in y 0.279 * [taylor]: Taking taylor expansion of 1.0 in y 0.287 * [taylor]: Taking taylor expansion of 0 in y 0.298 * [taylor]: Taking taylor expansion of 0 in y 0.311 * [taylor]: Taking taylor expansion of 0 in y 0.312 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0))))) in (x y) around 0 0.312 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0))))) in y 0.312 * [taylor]: Taking taylor expansion of -1 in y 0.312 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)))) in y 0.313 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) in y 0.313 * [taylor]: Taking taylor expansion of 1.0 in y 0.313 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y 0.313 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y 0.313 * [taylor]: Taking taylor expansion of (pow x 3) in y 0.313 * [taylor]: Taking taylor expansion of x in y 0.313 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.313 * [taylor]: Taking taylor expansion of y in y 0.313 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0))) in y 0.313 * [taylor]: Taking taylor expansion of x in y 0.313 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) in y 0.313 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 0.313 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.313 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.313 * [taylor]: Taking taylor expansion of x in y 0.313 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.314 * [taylor]: Taking taylor expansion of y in y 0.314 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x y))) 1.0) in y 0.314 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in y 0.314 * [taylor]: Taking taylor expansion of 1.0 in y 0.314 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.314 * [taylor]: Taking taylor expansion of (* x y) in y 0.314 * [taylor]: Taking taylor expansion of x in y 0.314 * [taylor]: Taking taylor expansion of y in y 0.314 * [taylor]: Taking taylor expansion of 1.0 in y 0.315 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0))))) in x 0.315 * [taylor]: Taking taylor expansion of -1 in x 0.315 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)))) in x 0.315 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) in x 0.315 * [taylor]: Taking taylor expansion of 1.0 in x 0.315 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x 0.315 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.315 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.315 * [taylor]: Taking taylor expansion of x in x 0.315 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.315 * [taylor]: Taking taylor expansion of y in x 0.316 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0))) in x 0.316 * [taylor]: Taking taylor expansion of x in x 0.316 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) in x 0.316 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.316 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.316 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.316 * [taylor]: Taking taylor expansion of x in x 0.316 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.316 * [taylor]: Taking taylor expansion of y in x 0.316 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x y))) 1.0) in x 0.316 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 0.316 * [taylor]: Taking taylor expansion of 1.0 in x 0.316 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.316 * [taylor]: Taking taylor expansion of (* x y) in x 0.316 * [taylor]: Taking taylor expansion of x in x 0.316 * [taylor]: Taking taylor expansion of y in x 0.317 * [taylor]: Taking taylor expansion of 1.0 in x 0.318 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0))))) in x 0.318 * [taylor]: Taking taylor expansion of -1 in x 0.318 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)))) in x 0.318 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) in x 0.319 * [taylor]: Taking taylor expansion of 1.0 in x 0.319 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x 0.319 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.319 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.319 * [taylor]: Taking taylor expansion of x in x 0.319 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.319 * [taylor]: Taking taylor expansion of y in x 0.319 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0))) in x 0.319 * [taylor]: Taking taylor expansion of x in x 0.319 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) in x 0.319 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.319 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.319 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.319 * [taylor]: Taking taylor expansion of x in x 0.320 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.320 * [taylor]: Taking taylor expansion of y in x 0.320 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x y))) 1.0) in x 0.320 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 0.320 * [taylor]: Taking taylor expansion of 1.0 in x 0.320 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.320 * [taylor]: Taking taylor expansion of (* x y) in x 0.320 * [taylor]: Taking taylor expansion of x in x 0.320 * [taylor]: Taking taylor expansion of y in x 0.320 * [taylor]: Taking taylor expansion of 1.0 in x 0.322 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.322 * [taylor]: Taking taylor expansion of y in y 0.328 * [taylor]: Taking taylor expansion of (- 1.0) in y 0.328 * [taylor]: Taking taylor expansion of 1.0 in y 0.337 * [taylor]: Taking taylor expansion of 0 in y 0.351 * [taylor]: Taking taylor expansion of 0 in y 0.365 * [taylor]: Taking taylor expansion of 0 in y 0.366 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.367 * [approximate]: Taking taylor expansion of (* x (- 1.0 (* (pow x 3) (pow y 3)))) in (x y) around 0 0.367 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* (pow x 3) (pow y 3)))) in y 0.367 * [taylor]: Taking taylor expansion of x in y 0.367 * [taylor]: Taking taylor expansion of (- 1.0 (* (pow x 3) (pow y 3))) in y 0.367 * [taylor]: Taking taylor expansion of 1.0 in y 0.367 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y 0.367 * [taylor]: Taking taylor expansion of (pow x 3) in y 0.367 * [taylor]: Taking taylor expansion of x in y 0.367 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.367 * [taylor]: Taking taylor expansion of y in y 0.367 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* (pow x 3) (pow y 3)))) in x 0.367 * [taylor]: Taking taylor expansion of x in x 0.367 * [taylor]: Taking taylor expansion of (- 1.0 (* (pow x 3) (pow y 3))) in x 0.367 * [taylor]: Taking taylor expansion of 1.0 in x 0.367 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.367 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.367 * [taylor]: Taking taylor expansion of x in x 0.367 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.367 * [taylor]: Taking taylor expansion of y in x 0.367 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* (pow x 3) (pow y 3)))) in x 0.367 * [taylor]: Taking taylor expansion of x in x 0.367 * [taylor]: Taking taylor expansion of (- 1.0 (* (pow x 3) (pow y 3))) in x 0.367 * [taylor]: Taking taylor expansion of 1.0 in x 0.367 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.367 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.367 * [taylor]: Taking taylor expansion of x in x 0.367 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.367 * [taylor]: Taking taylor expansion of y in x 0.368 * [taylor]: Taking taylor expansion of 0 in y 0.369 * [taylor]: Taking taylor expansion of 1.0 in y 0.370 * [taylor]: Taking taylor expansion of 0 in y 0.371 * [taylor]: Taking taylor expansion of 0 in y 0.372 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) x) in (x y) around 0 0.372 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) x) in y 0.372 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) in y 0.372 * [taylor]: Taking taylor expansion of 1.0 in y 0.372 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y 0.372 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y 0.372 * [taylor]: Taking taylor expansion of (pow x 3) in y 0.372 * [taylor]: Taking taylor expansion of x in y 0.372 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.372 * [taylor]: Taking taylor expansion of y in y 0.373 * [taylor]: Taking taylor expansion of x in y 0.373 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) x) in x 0.373 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) in x 0.373 * [taylor]: Taking taylor expansion of 1.0 in x 0.373 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x 0.373 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.373 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.373 * [taylor]: Taking taylor expansion of x in x 0.373 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.373 * [taylor]: Taking taylor expansion of y in x 0.374 * [taylor]: Taking taylor expansion of x in x 0.374 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) x) in x 0.374 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) in x 0.374 * [taylor]: Taking taylor expansion of 1.0 in x 0.374 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x 0.374 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.374 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.374 * [taylor]: Taking taylor expansion of x in x 0.374 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.374 * [taylor]: Taking taylor expansion of y in x 0.375 * [taylor]: Taking taylor expansion of x in x 0.375 * [taylor]: Taking taylor expansion of (/ -1 (pow y 3)) in y 0.375 * [taylor]: Taking taylor expansion of -1 in y 0.375 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.375 * [taylor]: Taking taylor expansion of y in y 0.378 * [taylor]: Taking taylor expansion of 0 in y 0.383 * [taylor]: Taking taylor expansion of 0 in y 0.390 * [taylor]: Taking taylor expansion of 1.0 in y 0.398 * [taylor]: Taking taylor expansion of 0 in y 0.407 * [taylor]: Taking taylor expansion of 0 in y 0.408 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) x)) in (x y) around 0 0.408 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) x)) in y 0.408 * [taylor]: Taking taylor expansion of -1 in y 0.408 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) x) in y 0.408 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) in y 0.408 * [taylor]: Taking taylor expansion of 1.0 in y 0.408 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y 0.408 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y 0.408 * [taylor]: Taking taylor expansion of (pow x 3) in y 0.408 * [taylor]: Taking taylor expansion of x in y 0.408 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.408 * [taylor]: Taking taylor expansion of y in y 0.409 * [taylor]: Taking taylor expansion of x in y 0.409 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) x)) in x 0.409 * [taylor]: Taking taylor expansion of -1 in x 0.409 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) x) in x 0.409 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) in x 0.409 * [taylor]: Taking taylor expansion of 1.0 in x 0.409 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x 0.409 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.409 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.409 * [taylor]: Taking taylor expansion of x in x 0.409 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.409 * [taylor]: Taking taylor expansion of y in x 0.410 * [taylor]: Taking taylor expansion of x in x 0.410 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) x)) in x 0.410 * [taylor]: Taking taylor expansion of -1 in x 0.410 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) x) in x 0.410 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* (pow x 3) (pow y 3)))) in x 0.410 * [taylor]: Taking taylor expansion of 1.0 in x 0.410 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x 0.410 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x 0.410 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.410 * [taylor]: Taking taylor expansion of x in x 0.410 * [taylor]: Taking taylor expansion of (pow y 3) in x 0.410 * [taylor]: Taking taylor expansion of y in x 0.411 * [taylor]: Taking taylor expansion of x in x 0.411 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.411 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.411 * [taylor]: Taking taylor expansion of y in y 0.415 * [taylor]: Taking taylor expansion of 0 in y 0.421 * [taylor]: Taking taylor expansion of 0 in y 0.431 * [taylor]: Taking taylor expansion of (- 1.0) in y 0.431 * [taylor]: Taking taylor expansion of 1.0 in y 0.441 * [taylor]: Taking taylor expansion of 0 in y 0.451 * [taylor]: Taking taylor expansion of 0 in y 0.451 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 0.452 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in (x y) around 0 0.452 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.452 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.452 * [taylor]: Taking taylor expansion of x in y 0.452 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.452 * [taylor]: Taking taylor expansion of y in y 0.452 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.452 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.452 * [taylor]: Taking taylor expansion of x in x 0.452 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.452 * [taylor]: Taking taylor expansion of y in x 0.452 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.452 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.452 * [taylor]: Taking taylor expansion of x in x 0.452 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.452 * [taylor]: Taking taylor expansion of y in x 0.452 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.452 * [taylor]: Taking taylor expansion of y in y 0.453 * [taylor]: Taking taylor expansion of 0 in y 0.455 * [taylor]: Taking taylor expansion of 0 in y 0.457 * [taylor]: Taking taylor expansion of 0 in y 0.458 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in (x y) around 0 0.458 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 0.458 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.458 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.458 * [taylor]: Taking taylor expansion of x 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 (/ 1 (* (pow x 2) (pow y 2))) in x 0.458 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.458 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.458 * [taylor]: Taking taylor expansion of x in x 0.458 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.458 * [taylor]: Taking taylor expansion of y in x 0.459 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.459 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.459 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.459 * [taylor]: Taking taylor expansion of x in x 0.459 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.459 * [taylor]: Taking taylor expansion of y in x 0.459 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.459 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.459 * [taylor]: Taking taylor expansion of y in y 0.461 * [taylor]: Taking taylor expansion of 0 in y 0.463 * [taylor]: Taking taylor expansion of 0 in y 0.466 * [taylor]: Taking taylor expansion of 0 in y 0.470 * [taylor]: Taking taylor expansion of 0 in y 0.471 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in (x y) around 0 0.471 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 0.471 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.471 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.471 * [taylor]: Taking taylor expansion of x in y 0.471 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.471 * [taylor]: Taking taylor expansion of y in y 0.471 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.471 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.471 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.471 * [taylor]: Taking taylor expansion of x in x 0.471 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.471 * [taylor]: Taking taylor expansion of y in x 0.472 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.472 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.472 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.472 * [taylor]: Taking taylor expansion of x in x 0.472 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.472 * [taylor]: Taking taylor expansion of y in x 0.472 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.472 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.472 * [taylor]: Taking taylor expansion of y in y 0.474 * [taylor]: Taking taylor expansion of 0 in y 0.476 * [taylor]: Taking taylor expansion of 0 in y 0.479 * [taylor]: Taking taylor expansion of 0 in y 0.483 * [taylor]: Taking taylor expansion of 0 in y 0.484 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 0.484 * [approximate]: Taking taylor expansion of (pow (* x y) 3) in (x y) around 0 0.484 * [taylor]: Taking taylor expansion of (pow (* x y) 3) in y 0.484 * [taylor]: Taking taylor expansion of (* x y) in y 0.484 * [taylor]: Taking taylor expansion of x in y 0.484 * [taylor]: Taking taylor expansion of y in y 0.484 * [taylor]: Taking taylor expansion of (pow (* x y) 3) in x 0.484 * [taylor]: Taking taylor expansion of (* x y) in x 0.484 * [taylor]: Taking taylor expansion of x in x 0.484 * [taylor]: Taking taylor expansion of y in x 0.484 * [taylor]: Taking taylor expansion of (pow (* x y) 3) in x 0.484 * [taylor]: Taking taylor expansion of (* x y) in x 0.484 * [taylor]: Taking taylor expansion of x in x 0.484 * [taylor]: Taking taylor expansion of y in x 0.485 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.485 * [taylor]: Taking taylor expansion of y in y 0.486 * [taylor]: Taking taylor expansion of 0 in y 0.488 * [taylor]: Taking taylor expansion of 0 in y 0.491 * [taylor]: Taking taylor expansion of 0 in y 0.492 * [approximate]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in (x y) around 0 0.492 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in y 0.492 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.492 * [taylor]: Taking taylor expansion of (* x y) in y 0.492 * [taylor]: Taking taylor expansion of x in y 0.492 * [taylor]: Taking taylor expansion of y in y 0.492 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in x 0.492 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.492 * [taylor]: Taking taylor expansion of (* x y) in x 0.492 * [taylor]: Taking taylor expansion of x in x 0.492 * [taylor]: Taking taylor expansion of y in x 0.492 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in x 0.492 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.492 * [taylor]: Taking taylor expansion of (* x y) in x 0.492 * [taylor]: Taking taylor expansion of x in x 0.492 * [taylor]: Taking taylor expansion of y in x 0.493 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.493 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.493 * [taylor]: Taking taylor expansion of y in y 0.494 * [taylor]: Taking taylor expansion of 0 in y 0.497 * [taylor]: Taking taylor expansion of 0 in y 0.501 * [taylor]: Taking taylor expansion of 0 in y 0.505 * [taylor]: Taking taylor expansion of 0 in y 0.511 * [taylor]: Taking taylor expansion of 0 in y 0.511 * [approximate]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in (x y) around 0 0.511 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in y 0.511 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.511 * [taylor]: Taking taylor expansion of (* x y) in y 0.511 * [taylor]: Taking taylor expansion of x in y 0.511 * [taylor]: Taking taylor expansion of y in y 0.511 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in x 0.511 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.511 * [taylor]: Taking taylor expansion of (* x y) in x 0.511 * [taylor]: Taking taylor expansion of x in x 0.511 * [taylor]: Taking taylor expansion of y in x 0.512 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in x 0.512 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.512 * [taylor]: Taking taylor expansion of (* x y) in x 0.512 * [taylor]: Taking taylor expansion of x in x 0.512 * [taylor]: Taking taylor expansion of y in x 0.512 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.512 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.512 * [taylor]: Taking taylor expansion of y in y 0.514 * [taylor]: Taking taylor expansion of 0 in y 0.519 * [taylor]: Taking taylor expansion of 0 in y 0.522 * [taylor]: Taking taylor expansion of 0 in y 0.527 * [taylor]: Taking taylor expansion of 0 in y 0.532 * [taylor]: Taking taylor expansion of 0 in y 0.532 * * * [progress]: simplifying candidates 0.533 * [simplify]: Simplifying using # : (- (* x (- (pow 1.0 3) (pow (* x y) 3)))) (- (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (/ 1 (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (* x (- (pow 1.0 3) (pow (* x y) 3)))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- (pow 1.0 3) (pow (* x y) 3))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- 1.0 (* x y))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- (pow 1.0 (/ 3 2)) (pow (* x y) (/ 3 2)))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) x) (/ (* x (- (pow 1.0 3) (pow (* x y) 3))) (+ (pow (* 1.0 1.0) 3) (pow (+ (* (* x y) (* x y)) (* 1.0 (* x y))) 3))) (/ (* x (- (pow 1.0 3) (pow (* x y) 3))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* (* x y) (* x y)) (* 1.0 (* x y))) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))))) (* (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow (* x y) 3) (pow (* x y) 3)) (* (pow 1.0 3) (pow (* x y) 3))))) (* (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (+ (pow 1.0 3) (pow (* x y) 3))) (* x (fma (* 1.0 1.0) 1.0 (- (* (pow y 3) (pow x 3))))) (* x (fma (- (pow y 3)) (pow x 3) (* (pow y 3) (pow x 3)))) (* x (fma (* 1.0 1.0) 1.0 (- (* (pow x 3) (pow y 3))))) (* x (fma (- (pow x 3)) (pow y 3) (* (pow x 3) (pow y 3)))) (* x (fma (* 1.0 1.0) 1.0 (- (* (* x y) (* (* x y) (* x y)))))) (* x (fma (- (* x y)) (* (* x y) (* x y)) (* (* x y) (* (* x y) (* x y))))) (* x (fma (* 1.0 1.0) 1.0 (- (* (pow (* x y) (/ 3 2)) (pow (* x y) (/ 3 2)))))) (* x (fma (- (pow (* x y) (/ 3 2))) (pow (* x y) (/ 3 2)) (* (pow (* x y) (/ 3 2)) (pow (* x y) (/ 3 2))))) (* x (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (pow y 3) (pow x 3))))) (* x (fma (- (pow y 3)) (pow x 3) (* (pow y 3) (pow x 3)))) (* x (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (pow x 3) (pow y 3))))) (* x (fma (- (pow x 3)) (pow y 3) (* (pow x 3) (pow y 3)))) (* x (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (* x y) (* (* x y) (* x y)))))) (* x (fma (- (* x y)) (* (* x y) (* x y)) (* (* x y) (* (* x y) (* x y))))) (* x (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (pow (* x y) (/ 3 2)) (pow (* x y) (/ 3 2)))))) (* x (fma (- (pow (* x y) (/ 3 2))) (pow (* x y) (/ 3 2)) (* (pow (* x y) (/ 3 2)) (pow (* x y) (/ 3 2))))) (* x (pow 1.0 3)) (* x (- (pow (* x y) 3))) (* x (pow 1.0 3)) (* x (- (pow (* x y) 3))) (* (fma (* 1.0 1.0) 1.0 (- (* (pow y 3) (pow x 3)))) x) (* (fma (- (pow y 3)) (pow x 3) (* (pow y 3) (pow x 3))) x) (* (fma (* 1.0 1.0) 1.0 (- (* (pow x 3) (pow y 3)))) x) (* (fma (- (pow x 3)) (pow y 3) (* (pow x 3) (pow y 3))) x) (* (fma (* 1.0 1.0) 1.0 (- (* (* x y) (* (* x y) (* x y))))) x) (* (fma (- (* x y)) (* (* x y) (* x y)) (* (* x y) (* (* x y) (* x y)))) x) (* (fma (* 1.0 1.0) 1.0 (- (* (pow (* x y) (/ 3 2)) (pow (* x y) (/ 3 2))))) x) (* (fma (- (pow (* x y) (/ 3 2))) (pow (* x y) (/ 3 2)) (* (pow (* x y) (/ 3 2)) (pow (* x y) (/ 3 2)))) x) (* (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (pow y 3) (pow x 3)))) x) (* (fma (- (pow y 3)) (pow x 3) (* (pow y 3) (pow x 3))) x) (* (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (pow x 3) (pow y 3)))) x) (* (fma (- (pow x 3)) (pow y 3) (* (pow x 3) (pow y 3))) x) (* (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (* x y) (* (* x y) (* x y))))) x) (* (fma (- (* x y)) (* (* x y) (* x y)) (* (* x y) (* (* x y) (* x y)))) x) (* (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (pow (* x y) (/ 3 2)) (pow (* x y) (/ 3 2))))) x) (* (fma (- (pow (* x y) (/ 3 2))) (pow (* x y) (/ 3 2)) (* (pow (* x y) (/ 3 2)) (pow (* x y) (/ 3 2)))) x) (* (pow 1.0 3) x) (* (- (pow (* x y) 3)) x) (* (pow 1.0 3) x) (* (- (pow (* x y) 3)) x) (* x (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (* x (+ (pow 1.0 (/ 3 2)) (pow (* x y) (/ 3 2)))) (* x (- (pow (pow 1.0 3) 3) (pow (pow (* x y) 3) 3))) (* x (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow (* x y) 3) (pow (* x y) 3)))) (* x x) (* y y) (* y y) (* x x) (* (* x y) x) (* (* x y) y) (* y (* x y)) (* x (* x y)) (* (log (* x y)) 3) (pow x 3) (pow y 3) (pow y 3) (pow x 3) (* (* x y) (* x y)) (pow (* x y) (/ 3 2)) (pow (* x y) (/ 3 2)) (- (* 1.0 x) (* 1.0 (* (pow x 2) y))) (- (* 1.0 x) (* (pow x 2) y)) (- (* 1.0 x) (* (pow x 2) y)) (* 1.0 x) (* -1 (* (pow x 4) (pow y 3))) (* -1 (* (pow x 4) (pow y 3))) (* (pow x 2) (pow y 2)) (* (pow x 2) (pow y 2)) (* (pow x 2) (pow y 2)) (* (pow x 3) (pow y 3)) (* (pow x 3) (pow y 3)) (* (pow x 3) (pow y 3)) 0.539 * * [simplify]: iteration 0 : 317 enodes (cost 520 ) 0.545 * * [simplify]: iteration 1 : 1227 enodes (cost 455 ) 0.576 * * [simplify]: iteration 2 : 5001 enodes (cost 402 ) 0.579 * [simplify]: Simplified to: (- (* x (- (pow 1.0 3) (pow (* x y) 3)))) (- (- (* 1.0 1.0)) (* y (* x (fma y x 1.0)))) (* (/ 2 (fma y (* x (fma y x 1.0)) (* 1.0 1.0))) 1/2) (/ (/ (fma (* x y) (+ (* x y) 1.0) (* 1.0 1.0)) (- (pow 1.0 3) (pow (* x y) 3))) x) (/ (fma (* x y) (+ (* x y) 1.0) (* 1.0 1.0)) (- (pow 1.0 3) (pow (* x y) 3))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- 1.0 (* x y))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- (pow 1.0 3/2) (pow (* x y) 3/2))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) x) (/ (* x (- (pow 1.0 3) (pow (* x y) 3))) (+ (pow (* 1.0 1.0) 3) (pow (+ (* (* x y) (* x y)) (* 1.0 (* x y))) 3))) (* (/ (- (pow 1.0 3) (pow (* x y) 3)) (fma (* x y) (+ (* x y) 1.0) (* 1.0 1.0))) (/ x (+ (* 1.0 1.0) (* (- (* x y)) (fma y x 1.0))))) (* (+ (+ (pow 1.0 6) (pow (* x y) 6)) (* (pow 1.0 3) (pow (* x y) 3))) (fma 1.0 1.0 (fma (* x y) (* x y) (* 1.0 (* x y))))) (* (+ (pow 1.0 3) (pow (* x y) 3)) (fma 1.0 1.0 (fma (* x y) (* x y) (* 1.0 (* x y))))) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* (pow (* x y) 3) (+ (- x) x)) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* (pow (* x y) 3) (+ (- x) x)) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* (pow (* x y) 3) (+ (- x) x)) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* (pow (* x y) 3) (+ (- x) x)) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* (pow (* x y) 3) (+ (- x) x)) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* (pow (* x y) 3) (+ (- x) x)) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* (pow (* x y) 3) (+ (- x) x)) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* (pow (* x y) 3) (+ (- x) x)) (* x (pow 1.0 3)) (* x (- (pow (* x y) 3))) (* x (pow 1.0 3)) (* x (- (pow (* x y) 3))) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* (pow (* x y) 3) (+ (- x) x)) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* (pow (* x y) 3) (+ (- x) x)) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* (pow (* x y) 3) (+ (- x) x)) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* (pow (* x y) 3) (+ (- x) x)) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* (pow (* x y) 3) (+ (- x) x)) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* (pow (* x y) 3) (+ (- x) x)) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* (pow (* x y) 3) (+ (- x) x)) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* (pow (* x y) 3) (+ (- x) x)) (* x (pow 1.0 3)) (* x (- (pow (* x y) 3))) (* x (pow 1.0 3)) (* x (- (pow (* x y) 3))) (* x (fma y (* x (fma y x 1.0)) (* 1.0 1.0))) (* x (+ (pow 1.0 3/2) (pow (* x y) 3/2))) (* x (- (pow (pow 1.0 3) 3) (pow (pow (* x y) 3) 3))) (* x (fma (- (pow (* x y) 3)) (pow (* x y) 3) (pow 1.0 6))) (pow x 2) (pow y 2) (pow y 2) (pow x 2) (* (* x y) x) (* (* x y) y) (* (* x y) y) (* (* x y) x) (* (log (* x y)) 3) (pow x 3) (pow y 3) (pow y 3) (pow x 3) (* (* x y) (* x y)) (pow (* x y) 3/2) (pow (* x y) 3/2) (* 1.0 (- x (* (pow x 2) y))) (* x (- 1.0 (* x y))) (* x (- 1.0 (* x y))) (* 1.0 x) (* x (- (pow (* x y) 3))) (* x (- (pow (* x y) 3))) (* (* x y) (* x y)) (* (* x y) (* x y)) (* (* x y) (* x y)) (pow (* x y) 3) (pow (* x y) 3) (pow (* x y) 3) 0.580 * * * [progress]: adding candidates to table 0.695 * * [progress]: iteration 3 / 4 0.695 * * * [progress]: picking best candidate 0.701 * * * * [pick]: Picked # 0.701 * * * [progress]: localizing error 0.707 * * * [progress]: generating rewritten candidates 0.707 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2) 0.710 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.713 * * * [progress]: generating series expansions 0.713 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2) 0.713 * [approximate]: Taking taylor expansion of (* (pow x 2) y) in (x y) around 0 0.713 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 0.713 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.713 * [taylor]: Taking taylor expansion of x in y 0.713 * [taylor]: Taking taylor expansion of y in y 0.713 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 0.713 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.713 * [taylor]: Taking taylor expansion of x in x 0.713 * [taylor]: Taking taylor expansion of y in x 0.713 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 0.713 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.713 * [taylor]: Taking taylor expansion of x in x 0.713 * [taylor]: Taking taylor expansion of y in x 0.714 * [taylor]: Taking taylor expansion of y in y 0.714 * [taylor]: Taking taylor expansion of 0 in y 0.715 * [taylor]: Taking taylor expansion of 0 in y 0.717 * [taylor]: Taking taylor expansion of 0 in y 0.717 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in (x y) around 0 0.717 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y 0.717 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 0.717 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.717 * [taylor]: Taking taylor expansion of x in y 0.717 * [taylor]: Taking taylor expansion of y in y 0.717 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x 0.717 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 0.717 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.718 * [taylor]: Taking taylor expansion of x in x 0.718 * [taylor]: Taking taylor expansion of y in x 0.718 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x 0.718 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 0.718 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.718 * [taylor]: Taking taylor expansion of x in x 0.718 * [taylor]: Taking taylor expansion of y in x 0.718 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.718 * [taylor]: Taking taylor expansion of y in y 0.719 * [taylor]: Taking taylor expansion of 0 in y 0.721 * [taylor]: Taking taylor expansion of 0 in y 0.723 * [taylor]: Taking taylor expansion of 0 in y 0.723 * [approximate]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in (x y) around 0 0.723 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in y 0.723 * [taylor]: Taking taylor expansion of -1 in y 0.723 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 0.723 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.723 * [taylor]: Taking taylor expansion of x in y 0.723 * [taylor]: Taking taylor expansion of y in y 0.724 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in x 0.724 * [taylor]: Taking taylor expansion of -1 in x 0.724 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 0.724 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.724 * [taylor]: Taking taylor expansion of x in x 0.724 * [taylor]: Taking taylor expansion of y in x 0.724 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in x 0.724 * [taylor]: Taking taylor expansion of -1 in x 0.724 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 0.724 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.724 * [taylor]: Taking taylor expansion of x in x 0.724 * [taylor]: Taking taylor expansion of y in x 0.725 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.725 * [taylor]: Taking taylor expansion of -1 in y 0.725 * [taylor]: Taking taylor expansion of y in y 0.726 * [taylor]: Taking taylor expansion of 0 in y 0.728 * [taylor]: Taking taylor expansion of 0 in y 0.730 * [taylor]: Taking taylor expansion of 0 in y 0.730 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.730 * [approximate]: Taking taylor expansion of (- x (* (pow x 2) y)) in (x y) around 0 0.730 * [taylor]: Taking taylor expansion of (- x (* (pow x 2) y)) in y 0.730 * [taylor]: Taking taylor expansion of x in y 0.731 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 0.731 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.731 * [taylor]: Taking taylor expansion of x in y 0.731 * [taylor]: Taking taylor expansion of y in y 0.731 * [taylor]: Taking taylor expansion of (- x (* (pow x 2) y)) in x 0.731 * [taylor]: Taking taylor expansion of x in x 0.731 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 0.731 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.731 * [taylor]: Taking taylor expansion of x in x 0.731 * [taylor]: Taking taylor expansion of y in x 0.731 * [taylor]: Taking taylor expansion of (- x (* (pow x 2) y)) in x 0.731 * [taylor]: Taking taylor expansion of x in x 0.731 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 0.731 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.731 * [taylor]: Taking taylor expansion of x in x 0.731 * [taylor]: Taking taylor expansion of y in x 0.731 * [taylor]: Taking taylor expansion of 0 in y 0.731 * [taylor]: Taking taylor expansion of 1 in y 0.732 * [taylor]: Taking taylor expansion of (- y) in y 0.732 * [taylor]: Taking taylor expansion of y in y 0.733 * [taylor]: Taking taylor expansion of 0 in y 0.735 * [taylor]: Taking taylor expansion of 0 in y 0.735 * [approximate]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* (pow x 2) y))) in (x y) around 0 0.735 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* (pow x 2) y))) in y 0.735 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.735 * [taylor]: Taking taylor expansion of x in y 0.735 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y 0.735 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 0.735 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.735 * [taylor]: Taking taylor expansion of x in y 0.735 * [taylor]: Taking taylor expansion of y in y 0.738 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* (pow x 2) y))) in x 0.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.739 * [taylor]: Taking taylor expansion of x in x 0.739 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x 0.739 * [taylor]: Taking taylor expansion of (* (pow x 2) y) 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 y in x 0.739 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* (pow x 2) y))) in x 0.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.739 * [taylor]: Taking taylor expansion of x in x 0.740 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x 0.740 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 0.740 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.740 * [taylor]: Taking taylor expansion of x in x 0.740 * [taylor]: Taking taylor expansion of y in x 0.740 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.740 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.740 * [taylor]: Taking taylor expansion of y in y 0.742 * [taylor]: Taking taylor expansion of 1 in y 0.744 * [taylor]: Taking taylor expansion of 0 in y 0.747 * [taylor]: Taking taylor expansion of 0 in y 0.751 * [taylor]: Taking taylor expansion of 0 in y 0.751 * [approximate]: Taking taylor expansion of (- (/ 1 (* (pow x 2) y)) (/ 1 x)) in (x y) around 0 0.751 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) y)) (/ 1 x)) in y 0.751 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y 0.751 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 0.751 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.751 * [taylor]: Taking taylor expansion of x in y 0.751 * [taylor]: Taking taylor expansion of y in y 0.752 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.752 * [taylor]: Taking taylor expansion of x in y 0.752 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) y)) (/ 1 x)) in x 0.752 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x 0.752 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 0.752 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.752 * [taylor]: Taking taylor expansion of x in x 0.752 * [taylor]: Taking taylor expansion of y in x 0.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.752 * [taylor]: Taking taylor expansion of x in x 0.752 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) y)) (/ 1 x)) in x 0.752 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x 0.753 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 0.753 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.753 * [taylor]: Taking taylor expansion of x in x 0.753 * [taylor]: Taking taylor expansion of y in x 0.753 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.753 * [taylor]: Taking taylor expansion of x in x 0.753 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.753 * [taylor]: Taking taylor expansion of y in y 0.755 * [taylor]: Taking taylor expansion of -1 in y 0.757 * [taylor]: Taking taylor expansion of 0 in y 0.760 * [taylor]: Taking taylor expansion of 0 in y 0.763 * [taylor]: Taking taylor expansion of 0 in y 0.763 * * * [progress]: simplifying candidates 0.764 * [simplify]: Simplifying using # : (* x y) (* (pow x (/ 2 2)) y) (- (pow x 3) (pow (* (pow x 2) y) 3)) (+ (* x x) (+ (* (* (pow x 2) y) (* (pow x 2) y)) (* x (* (pow x 2) y)))) (- (* (pow x 2) y)) (- (* x x) (* (* (pow x 2) y) (* (pow x 2) y))) (+ x (* (pow x 2) y)) (- (* (pow x 2) y)) (* (pow x 2) y) (* (pow x 2) y) (* (pow x 2) y) (- x (* (pow x 2) y)) (- x (* (pow x 2) y)) (- x (* (pow x 2) y)) 0.766 * * [simplify]: iteration 0 : 68 enodes (cost 46 ) 0.769 * * [simplify]: iteration 1 : 241 enodes (cost 42 ) 0.775 * * [simplify]: iteration 2 : 1027 enodes (cost 41 ) 0.810 * * [simplify]: iteration 3 : 5002 enodes (cost 40 ) 0.810 * [simplify]: Simplified to: (* y x) (* y x) (- (pow x 3) (pow (* (pow x 2) y) 3)) (fma (fma y (pow x 4) (pow x 3)) y (pow x 2)) (- (* (pow x 2) y)) (- (pow x 2) (* (* (pow x 4) y) y)) (fma y (pow x 2) x) (- (* (pow x 2) y)) (* (pow x 2) y) (* (pow x 2) y) (* (pow x 2) y) (- x (* (pow x 2) y)) (- x (* (pow x 2) y)) (- x (* (pow x 2) y)) 0.810 * * * [progress]: adding candidates to table 0.826 * * [progress]: iteration 4 / 4 0.826 * * * [progress]: picking best candidate 0.830 * * * * [pick]: Picked # 0.830 * * * [progress]: localizing error 0.842 * * * [progress]: generating rewritten candidates 0.842 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.857 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.881 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 0.893 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1) 0.898 * * * [progress]: generating series expansions 0.898 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.899 * [approximate]: Taking taylor expansion of (/ (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0)) (- 1.0 (* x y))) in (x y) around 0 0.899 * [taylor]: Taking taylor expansion of (/ (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0)) (- 1.0 (* x y))) in y 0.899 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0)) in y 0.899 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.899 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.899 * [taylor]: Taking taylor expansion of x in y 0.899 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.899 * [taylor]: Taking taylor expansion of y in y 0.899 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* x y)) 1.0) in y 0.899 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in y 0.899 * [taylor]: Taking taylor expansion of 1.0 in y 0.899 * [taylor]: Taking taylor expansion of (* x y) in y 0.899 * [taylor]: Taking taylor expansion of x in y 0.900 * [taylor]: Taking taylor expansion of y in y 0.900 * [taylor]: Taking taylor expansion of 1.0 in y 0.900 * [taylor]: Taking taylor expansion of (- 1.0 (* x y)) in y 0.900 * [taylor]: Taking taylor expansion of 1.0 in y 0.900 * [taylor]: Taking taylor expansion of (* x y) in y 0.900 * [taylor]: Taking taylor expansion of x in y 0.900 * [taylor]: Taking taylor expansion of y in y 0.901 * [taylor]: Taking taylor expansion of (/ (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0)) (- 1.0 (* x y))) in x 0.901 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0)) in x 0.901 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.901 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.901 * [taylor]: Taking taylor expansion of x in x 0.901 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.901 * [taylor]: Taking taylor expansion of y in x 0.901 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* x y)) 1.0) in x 0.901 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in x 0.901 * [taylor]: Taking taylor expansion of 1.0 in x 0.901 * [taylor]: Taking taylor expansion of (* x y) in x 0.901 * [taylor]: Taking taylor expansion of x in x 0.902 * [taylor]: Taking taylor expansion of y in x 0.902 * [taylor]: Taking taylor expansion of 1.0 in x 0.902 * [taylor]: Taking taylor expansion of (- 1.0 (* x y)) in x 0.902 * [taylor]: Taking taylor expansion of 1.0 in x 0.902 * [taylor]: Taking taylor expansion of (* x y) in x 0.902 * [taylor]: Taking taylor expansion of x in x 0.902 * [taylor]: Taking taylor expansion of y in x 0.903 * [taylor]: Taking taylor expansion of (/ (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0)) (- 1.0 (* x y))) in x 0.903 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0)) in x 0.903 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.903 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.903 * [taylor]: Taking taylor expansion of x in x 0.903 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.903 * [taylor]: Taking taylor expansion of y in x 0.903 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* x y)) 1.0) in x 0.903 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in x 0.903 * [taylor]: Taking taylor expansion of 1.0 in x 0.903 * [taylor]: Taking taylor expansion of (* x y) in x 0.903 * [taylor]: Taking taylor expansion of x in x 0.903 * [taylor]: Taking taylor expansion of y in x 0.903 * [taylor]: Taking taylor expansion of 1.0 in x 0.903 * [taylor]: Taking taylor expansion of (- 1.0 (* x y)) in x 0.903 * [taylor]: Taking taylor expansion of 1.0 in x 0.903 * [taylor]: Taking taylor expansion of (* x y) in x 0.903 * [taylor]: Taking taylor expansion of x in x 0.903 * [taylor]: Taking taylor expansion of y in x 0.905 * [taylor]: Taking taylor expansion of 1.0 in y 0.906 * [taylor]: Taking taylor expansion of (* 2.0 y) in y 0.906 * [taylor]: Taking taylor expansion of 2.0 in y 0.906 * [taylor]: Taking taylor expansion of y in y 0.910 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 2)) in y 0.910 * [taylor]: Taking taylor expansion of 3.0 in y 0.910 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.910 * [taylor]: Taking taylor expansion of y in y 0.915 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 3)) in y 0.916 * [taylor]: Taking taylor expansion of 3.0 in y 0.916 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.916 * [taylor]: Taking taylor expansion of y in y 0.923 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 4)) in y 0.923 * [taylor]: Taking taylor expansion of 3.0 in y 0.923 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.923 * [taylor]: Taking taylor expansion of y in y 0.924 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) (- 1.0 (/ 1 (* x y)))) in (x y) around 0 0.924 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) (- 1.0 (/ 1 (* x y)))) in y 0.924 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) in y 0.924 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 0.924 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.924 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.924 * [taylor]: Taking taylor expansion of x in y 0.924 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.924 * [taylor]: Taking taylor expansion of y in y 0.925 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x y))) 1.0) in y 0.925 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in y 0.925 * [taylor]: Taking taylor expansion of 1.0 in y 0.925 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.925 * [taylor]: Taking taylor expansion of (* x y) in y 0.925 * [taylor]: Taking taylor expansion of x in y 0.925 * [taylor]: Taking taylor expansion of y in y 0.925 * [taylor]: Taking taylor expansion of 1.0 in y 0.925 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in y 0.925 * [taylor]: Taking taylor expansion of 1.0 in y 0.925 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.925 * [taylor]: Taking taylor expansion of (* x y) in y 0.925 * [taylor]: Taking taylor expansion of x in y 0.925 * [taylor]: Taking taylor expansion of y in y 0.926 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) (- 1.0 (/ 1 (* x y)))) in x 0.926 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) in x 0.926 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.926 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.926 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.926 * [taylor]: Taking taylor expansion of x in x 0.926 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.926 * [taylor]: Taking taylor expansion of y in x 0.926 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x y))) 1.0) in x 0.926 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 0.926 * [taylor]: Taking taylor expansion of 1.0 in x 0.926 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.926 * [taylor]: Taking taylor expansion of (* x y) in x 0.927 * [taylor]: Taking taylor expansion of x in x 0.927 * [taylor]: Taking taylor expansion of y in x 0.927 * [taylor]: Taking taylor expansion of 1.0 in x 0.927 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in x 0.927 * [taylor]: Taking taylor expansion of 1.0 in x 0.927 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.927 * [taylor]: Taking taylor expansion of (* x y) in x 0.927 * [taylor]: Taking taylor expansion of x in x 0.927 * [taylor]: Taking taylor expansion of y in x 0.928 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) (- 1.0 (/ 1 (* x y)))) in x 0.928 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) in x 0.928 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.928 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.928 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.928 * [taylor]: Taking taylor expansion of x in x 0.928 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.928 * [taylor]: Taking taylor expansion of y in x 0.928 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x y))) 1.0) in x 0.928 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 0.928 * [taylor]: Taking taylor expansion of 1.0 in x 0.928 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.928 * [taylor]: Taking taylor expansion of (* x y) in x 0.928 * [taylor]: Taking taylor expansion of x in x 0.928 * [taylor]: Taking taylor expansion of y in x 0.929 * [taylor]: Taking taylor expansion of 1.0 in x 0.929 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in x 0.929 * [taylor]: Taking taylor expansion of 1.0 in x 0.929 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.929 * [taylor]: Taking taylor expansion of (* x y) in x 0.929 * [taylor]: Taking taylor expansion of x in x 0.929 * [taylor]: Taking taylor expansion of y in x 0.929 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.929 * [taylor]: Taking taylor expansion of -1 in y 0.929 * [taylor]: Taking taylor expansion of y in y 0.932 * [taylor]: Taking taylor expansion of (- 2.0) in y 0.932 * [taylor]: Taking taylor expansion of 2.0 in y 0.937 * [taylor]: Taking taylor expansion of (- (* 3.0 y)) in y 0.937 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 0.937 * [taylor]: Taking taylor expansion of 3.0 in y 0.937 * [taylor]: Taking taylor expansion of y in y 0.944 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow y 2))) in y 0.944 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 2)) in y 0.944 * [taylor]: Taking taylor expansion of 3.0 in y 0.944 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.944 * [taylor]: Taking taylor expansion of y in y 0.956 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow y 3))) in y 0.956 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 3)) in y 0.956 * [taylor]: Taking taylor expansion of 3.0 in y 0.956 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.956 * [taylor]: Taking taylor expansion of y in y 0.958 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) (- 1.0 (/ 1 (* x y)))) in (x y) around 0 0.958 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) (- 1.0 (/ 1 (* x y)))) in y 0.958 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) in y 0.958 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 0.958 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 0.958 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.958 * [taylor]: Taking taylor expansion of x in y 0.958 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.959 * [taylor]: Taking taylor expansion of y in y 0.959 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x y))) 1.0) in y 0.959 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in y 0.959 * [taylor]: Taking taylor expansion of 1.0 in y 0.959 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.959 * [taylor]: Taking taylor expansion of (* x y) in y 0.959 * [taylor]: Taking taylor expansion of x in y 0.959 * [taylor]: Taking taylor expansion of y in y 0.959 * [taylor]: Taking taylor expansion of 1.0 in y 0.959 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in y 0.959 * [taylor]: Taking taylor expansion of 1.0 in y 0.959 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.959 * [taylor]: Taking taylor expansion of (* x y) in y 0.959 * [taylor]: Taking taylor expansion of x in y 0.959 * [taylor]: Taking taylor expansion of y in y 0.960 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) (- 1.0 (/ 1 (* x y)))) in x 0.960 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) in x 0.960 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.960 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.960 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.960 * [taylor]: Taking taylor expansion of x in x 0.960 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.960 * [taylor]: Taking taylor expansion of y in x 0.961 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x y))) 1.0) in x 0.961 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 0.961 * [taylor]: Taking taylor expansion of 1.0 in x 0.961 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.961 * [taylor]: Taking taylor expansion of (* x y) in x 0.961 * [taylor]: Taking taylor expansion of x in x 0.961 * [taylor]: Taking taylor expansion of y in x 0.961 * [taylor]: Taking taylor expansion of 1.0 in x 0.961 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in x 0.961 * [taylor]: Taking taylor expansion of 1.0 in x 0.961 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.961 * [taylor]: Taking taylor expansion of (* x y) in x 0.961 * [taylor]: Taking taylor expansion of x in x 0.961 * [taylor]: Taking taylor expansion of y in x 0.962 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) (- 1.0 (/ 1 (* x y)))) in x 0.962 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) in x 0.962 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 0.962 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 0.962 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.962 * [taylor]: Taking taylor expansion of x in x 0.962 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.962 * [taylor]: Taking taylor expansion of y in x 0.962 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x y))) 1.0) in x 0.962 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 0.962 * [taylor]: Taking taylor expansion of 1.0 in x 0.962 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.962 * [taylor]: Taking taylor expansion of (* x y) in x 0.962 * [taylor]: Taking taylor expansion of x in x 0.962 * [taylor]: Taking taylor expansion of y in x 0.963 * [taylor]: Taking taylor expansion of 1.0 in x 0.963 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in x 0.963 * [taylor]: Taking taylor expansion of 1.0 in x 0.963 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.963 * [taylor]: Taking taylor expansion of (* x y) in x 0.963 * [taylor]: Taking taylor expansion of x in x 0.963 * [taylor]: Taking taylor expansion of y in x 0.963 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.963 * [taylor]: Taking taylor expansion of -1 in y 0.964 * [taylor]: Taking taylor expansion of y in y 0.966 * [taylor]: Taking taylor expansion of (- 2.0) in y 0.966 * [taylor]: Taking taylor expansion of 2.0 in y 0.971 * [taylor]: Taking taylor expansion of (- (* 3.0 y)) in y 0.971 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 0.971 * [taylor]: Taking taylor expansion of 3.0 in y 0.971 * [taylor]: Taking taylor expansion of y in y 0.978 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow y 2))) in y 0.978 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 2)) in y 0.978 * [taylor]: Taking taylor expansion of 3.0 in y 0.978 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.978 * [taylor]: Taking taylor expansion of y in y 0.987 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow y 3))) in y 0.987 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 3)) in y 0.987 * [taylor]: Taking taylor expansion of 3.0 in y 0.987 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.987 * [taylor]: Taking taylor expansion of y in y 0.989 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.990 * [approximate]: Taking taylor expansion of (* (- 1.0 (* x y)) x) in (x y) around 0 0.990 * [taylor]: Taking taylor expansion of (* (- 1.0 (* x y)) x) in y 0.990 * [taylor]: Taking taylor expansion of (- 1.0 (* x y)) in y 0.990 * [taylor]: Taking taylor expansion of 1.0 in y 0.990 * [taylor]: Taking taylor expansion of (* x y) in y 0.990 * [taylor]: Taking taylor expansion of x in y 0.990 * [taylor]: Taking taylor expansion of y in y 0.990 * [taylor]: Taking taylor expansion of x in y 0.990 * [taylor]: Taking taylor expansion of (* (- 1.0 (* x y)) x) in x 0.990 * [taylor]: Taking taylor expansion of (- 1.0 (* x y)) in x 0.990 * [taylor]: Taking taylor expansion of 1.0 in x 0.990 * [taylor]: Taking taylor expansion of (* x y) in x 0.990 * [taylor]: Taking taylor expansion of x in x 0.990 * [taylor]: Taking taylor expansion of y in x 0.990 * [taylor]: Taking taylor expansion of x in x 0.990 * [taylor]: Taking taylor expansion of (* (- 1.0 (* x y)) x) in x 0.990 * [taylor]: Taking taylor expansion of (- 1.0 (* x y)) in x 0.990 * [taylor]: Taking taylor expansion of 1.0 in x 0.990 * [taylor]: Taking taylor expansion of (* x y) in x 0.990 * [taylor]: Taking taylor expansion of x in x 0.990 * [taylor]: Taking taylor expansion of y in x 0.990 * [taylor]: Taking taylor expansion of x in x 0.991 * [taylor]: Taking taylor expansion of 0 in y 0.992 * [taylor]: Taking taylor expansion of 1.0 in y 0.993 * [taylor]: Taking taylor expansion of (- y) in y 0.993 * [taylor]: Taking taylor expansion of y in y 0.995 * [taylor]: Taking taylor expansion of 0 in y 0.998 * [taylor]: Taking taylor expansion of 0 in y 0.999 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in (x y) around 0 0.999 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in y 0.999 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in y 0.999 * [taylor]: Taking taylor expansion of 1.0 in y 0.999 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.000 * [taylor]: Taking taylor expansion of (* x y) in y 1.000 * [taylor]: Taking taylor expansion of x in y 1.000 * [taylor]: Taking taylor expansion of y in y 1.000 * [taylor]: Taking taylor expansion of x in y 1.000 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in x 1.000 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in x 1.000 * [taylor]: Taking taylor expansion of 1.0 in x 1.000 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.000 * [taylor]: Taking taylor expansion of (* x y) in x 1.000 * [taylor]: Taking taylor expansion of x in x 1.000 * [taylor]: Taking taylor expansion of y in x 1.000 * [taylor]: Taking taylor expansion of x in x 1.001 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in x 1.001 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in x 1.001 * [taylor]: Taking taylor expansion of 1.0 in x 1.001 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.001 * [taylor]: Taking taylor expansion of (* x y) in x 1.001 * [taylor]: Taking taylor expansion of x in x 1.001 * [taylor]: Taking taylor expansion of y in x 1.001 * [taylor]: Taking taylor expansion of x in x 1.001 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.001 * [taylor]: Taking taylor expansion of -1 in y 1.001 * [taylor]: Taking taylor expansion of y in y 1.003 * [taylor]: Taking taylor expansion of 1.0 in y 1.006 * [taylor]: Taking taylor expansion of 0 in y 1.009 * [taylor]: Taking taylor expansion of 0 in y 1.013 * [taylor]: Taking taylor expansion of 0 in y 1.015 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* x y))) x)) in (x y) around 0 1.015 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* x y))) x)) in y 1.015 * [taylor]: Taking taylor expansion of -1 in y 1.015 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in y 1.015 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in y 1.015 * [taylor]: Taking taylor expansion of 1.0 in y 1.015 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.015 * [taylor]: Taking taylor expansion of (* x y) in y 1.015 * [taylor]: Taking taylor expansion of x in y 1.015 * [taylor]: Taking taylor expansion of y in y 1.015 * [taylor]: Taking taylor expansion of x in y 1.015 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* x y))) x)) in x 1.015 * [taylor]: Taking taylor expansion of -1 in x 1.015 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in x 1.015 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in x 1.015 * [taylor]: Taking taylor expansion of 1.0 in x 1.015 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.015 * [taylor]: Taking taylor expansion of (* x y) in x 1.015 * [taylor]: Taking taylor expansion of x in x 1.015 * [taylor]: Taking taylor expansion of y in x 1.016 * [taylor]: Taking taylor expansion of x in x 1.016 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* x y))) x)) in x 1.016 * [taylor]: Taking taylor expansion of -1 in x 1.016 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in x 1.016 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in x 1.016 * [taylor]: Taking taylor expansion of 1.0 in x 1.016 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.016 * [taylor]: Taking taylor expansion of (* x y) in x 1.016 * [taylor]: Taking taylor expansion of x in x 1.016 * [taylor]: Taking taylor expansion of y in x 1.016 * [taylor]: Taking taylor expansion of x in x 1.016 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.016 * [taylor]: Taking taylor expansion of y in y 1.019 * [taylor]: Taking taylor expansion of (- 1.0) in y 1.019 * [taylor]: Taking taylor expansion of 1.0 in y 1.022 * [taylor]: Taking taylor expansion of 0 in y 1.026 * [taylor]: Taking taylor expansion of 0 in y 1.031 * [taylor]: Taking taylor expansion of 0 in y 1.032 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.033 * [approximate]: Taking taylor expansion of (* x (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0))) in (x y) around 0 1.033 * [taylor]: Taking taylor expansion of (* x (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0))) in y 1.033 * [taylor]: Taking taylor expansion of x in y 1.033 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0)) in y 1.033 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 1.033 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.033 * [taylor]: Taking taylor expansion of x in y 1.033 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.033 * [taylor]: Taking taylor expansion of y in y 1.033 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* x y)) 1.0) in y 1.033 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in y 1.033 * [taylor]: Taking taylor expansion of 1.0 in y 1.033 * [taylor]: Taking taylor expansion of (* x y) in y 1.033 * [taylor]: Taking taylor expansion of x in y 1.033 * [taylor]: Taking taylor expansion of y in y 1.033 * [taylor]: Taking taylor expansion of 1.0 in y 1.033 * [taylor]: Taking taylor expansion of (* x (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0))) in x 1.033 * [taylor]: Taking taylor expansion of x in x 1.033 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0)) in x 1.033 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 1.033 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.033 * [taylor]: Taking taylor expansion of x in x 1.033 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.033 * [taylor]: Taking taylor expansion of y in x 1.033 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* x y)) 1.0) in x 1.033 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in x 1.033 * [taylor]: Taking taylor expansion of 1.0 in x 1.033 * [taylor]: Taking taylor expansion of (* x y) in x 1.033 * [taylor]: Taking taylor expansion of x in x 1.033 * [taylor]: Taking taylor expansion of y in x 1.033 * [taylor]: Taking taylor expansion of 1.0 in x 1.033 * [taylor]: Taking taylor expansion of (* x (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0))) in x 1.033 * [taylor]: Taking taylor expansion of x in x 1.033 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x y)) 1.0)) in x 1.033 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 1.033 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.033 * [taylor]: Taking taylor expansion of x in x 1.033 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.033 * [taylor]: Taking taylor expansion of y in x 1.033 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* x y)) 1.0) in x 1.033 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in x 1.033 * [taylor]: Taking taylor expansion of 1.0 in x 1.033 * [taylor]: Taking taylor expansion of (* x y) in x 1.033 * [taylor]: Taking taylor expansion of x in x 1.033 * [taylor]: Taking taylor expansion of y in x 1.033 * [taylor]: Taking taylor expansion of 1.0 in x 1.034 * [taylor]: Taking taylor expansion of 0 in y 1.038 * [taylor]: Taking taylor expansion of 1.0 in y 1.040 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.040 * [taylor]: Taking taylor expansion of 1.0 in y 1.040 * [taylor]: Taking taylor expansion of y in y 1.043 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.043 * [taylor]: Taking taylor expansion of y in y 1.049 * [taylor]: Taking taylor expansion of 0 in y 1.050 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) x) in (x y) around 0 1.050 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) x) in y 1.050 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) in y 1.050 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 1.050 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 1.050 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.050 * [taylor]: Taking taylor expansion of x in y 1.050 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.050 * [taylor]: Taking taylor expansion of y in y 1.050 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x y))) 1.0) in y 1.050 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in y 1.050 * [taylor]: Taking taylor expansion of 1.0 in y 1.051 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.051 * [taylor]: Taking taylor expansion of (* x y) in y 1.051 * [taylor]: Taking taylor expansion of x in y 1.051 * [taylor]: Taking taylor expansion of y in y 1.051 * [taylor]: Taking taylor expansion of 1.0 in y 1.051 * [taylor]: Taking taylor expansion of x in y 1.051 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) x) in x 1.051 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) in x 1.051 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 1.051 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 1.051 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.051 * [taylor]: Taking taylor expansion of x in x 1.051 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.051 * [taylor]: Taking taylor expansion of y in x 1.052 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x y))) 1.0) in x 1.052 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 1.052 * [taylor]: Taking taylor expansion of 1.0 in x 1.052 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.052 * [taylor]: Taking taylor expansion of (* x y) in x 1.052 * [taylor]: Taking taylor expansion of x in x 1.052 * [taylor]: Taking taylor expansion of y in x 1.052 * [taylor]: Taking taylor expansion of 1.0 in x 1.052 * [taylor]: Taking taylor expansion of x in x 1.052 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) x) in x 1.052 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) in x 1.052 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 1.052 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 1.052 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.052 * [taylor]: Taking taylor expansion of x in x 1.052 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.052 * [taylor]: Taking taylor expansion of y in x 1.053 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x y))) 1.0) in x 1.053 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 1.053 * [taylor]: Taking taylor expansion of 1.0 in x 1.053 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.053 * [taylor]: Taking taylor expansion of (* x y) in x 1.053 * [taylor]: Taking taylor expansion of x in x 1.053 * [taylor]: Taking taylor expansion of y in x 1.053 * [taylor]: Taking taylor expansion of 1.0 in x 1.053 * [taylor]: Taking taylor expansion of x in x 1.053 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.053 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.053 * [taylor]: Taking taylor expansion of y in y 1.055 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 1.055 * [taylor]: Taking taylor expansion of 1.0 in y 1.055 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.055 * [taylor]: Taking taylor expansion of y in y 1.060 * [taylor]: Taking taylor expansion of 1.0 in y 1.067 * [taylor]: Taking taylor expansion of 0 in y 1.075 * [taylor]: Taking taylor expansion of 0 in y 1.076 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) x)) in (x y) around 0 1.076 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) x)) in y 1.076 * [taylor]: Taking taylor expansion of -1 in y 1.076 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) x) in y 1.076 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) in y 1.076 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 1.076 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 1.076 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.076 * [taylor]: Taking taylor expansion of x in y 1.076 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.076 * [taylor]: Taking taylor expansion of y in y 1.076 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x y))) 1.0) in y 1.077 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in y 1.077 * [taylor]: Taking taylor expansion of 1.0 in y 1.077 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.077 * [taylor]: Taking taylor expansion of (* x y) in y 1.077 * [taylor]: Taking taylor expansion of x in y 1.077 * [taylor]: Taking taylor expansion of y in y 1.077 * [taylor]: Taking taylor expansion of 1.0 in y 1.077 * [taylor]: Taking taylor expansion of x in y 1.077 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) x)) in x 1.077 * [taylor]: Taking taylor expansion of -1 in x 1.077 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) x) in x 1.077 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) in x 1.077 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 1.077 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 1.077 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.077 * [taylor]: Taking taylor expansion of x in x 1.077 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.077 * [taylor]: Taking taylor expansion of y in x 1.078 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x y))) 1.0) in x 1.078 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 1.078 * [taylor]: Taking taylor expansion of 1.0 in x 1.078 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.078 * [taylor]: Taking taylor expansion of (* x y) in x 1.078 * [taylor]: Taking taylor expansion of x in x 1.078 * [taylor]: Taking taylor expansion of y in x 1.078 * [taylor]: Taking taylor expansion of 1.0 in x 1.078 * [taylor]: Taking taylor expansion of x in x 1.078 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) x)) in x 1.078 * [taylor]: Taking taylor expansion of -1 in x 1.078 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) x) in x 1.078 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (* 1.0 (/ 1 (* x y))) 1.0)) in x 1.078 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 1.078 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 1.078 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.078 * [taylor]: Taking taylor expansion of x in x 1.078 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.078 * [taylor]: Taking taylor expansion of y in x 1.079 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x y))) 1.0) in x 1.079 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 1.079 * [taylor]: Taking taylor expansion of 1.0 in x 1.079 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.079 * [taylor]: Taking taylor expansion of (* x y) in x 1.079 * [taylor]: Taking taylor expansion of x in x 1.079 * [taylor]: Taking taylor expansion of y in x 1.079 * [taylor]: Taking taylor expansion of 1.0 in x 1.079 * [taylor]: Taking taylor expansion of x in x 1.080 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y 1.080 * [taylor]: Taking taylor expansion of -1 in y 1.080 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.080 * [taylor]: Taking taylor expansion of y in y 1.082 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 1.082 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 1.082 * [taylor]: Taking taylor expansion of 1.0 in y 1.082 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.082 * [taylor]: Taking taylor expansion of y in y 1.087 * [taylor]: Taking taylor expansion of (- 1.0) in y 1.087 * [taylor]: Taking taylor expansion of 1.0 in y 1.094 * [taylor]: Taking taylor expansion of 0 in y 1.104 * [taylor]: Taking taylor expansion of 0 in y 1.105 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1) 1.105 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in (x y) around 0 1.105 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 1.105 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.105 * [taylor]: Taking taylor expansion of x in y 1.105 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.105 * [taylor]: Taking taylor expansion of y in y 1.105 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 1.105 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.105 * [taylor]: Taking taylor expansion of x in x 1.105 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.105 * [taylor]: Taking taylor expansion of y in x 1.105 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 1.105 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.105 * [taylor]: Taking taylor expansion of x in x 1.105 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.106 * [taylor]: Taking taylor expansion of y in x 1.106 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.106 * [taylor]: Taking taylor expansion of y in y 1.107 * [taylor]: Taking taylor expansion of 0 in y 1.109 * [taylor]: Taking taylor expansion of 0 in y 1.111 * [taylor]: Taking taylor expansion of 0 in y 1.111 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in (x y) around 0 1.111 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 1.111 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 1.111 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.111 * [taylor]: Taking taylor expansion of x in y 1.111 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.111 * [taylor]: Taking taylor expansion of y in y 1.112 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 1.112 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 1.112 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.112 * [taylor]: Taking taylor expansion of x in x 1.112 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.112 * [taylor]: Taking taylor expansion of y in x 1.112 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 1.112 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 1.112 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.112 * [taylor]: Taking taylor expansion of x in x 1.112 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.112 * [taylor]: Taking taylor expansion of y in x 1.113 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.113 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.113 * [taylor]: Taking taylor expansion of y in y 1.114 * [taylor]: Taking taylor expansion of 0 in y 1.117 * [taylor]: Taking taylor expansion of 0 in y 1.122 * [taylor]: Taking taylor expansion of 0 in y 1.126 * [taylor]: Taking taylor expansion of 0 in y 1.126 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in (x y) around 0 1.126 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 1.126 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 1.126 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.126 * [taylor]: Taking taylor expansion of x in y 1.126 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.126 * [taylor]: Taking taylor expansion of y in y 1.127 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 1.127 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 1.127 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.127 * [taylor]: Taking taylor expansion of x in x 1.127 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.127 * [taylor]: Taking taylor expansion of y in x 1.127 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 1.127 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 1.127 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.127 * [taylor]: Taking taylor expansion of x in x 1.127 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.127 * [taylor]: Taking taylor expansion of y in x 1.128 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.128 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.128 * [taylor]: Taking taylor expansion of y in y 1.129 * [taylor]: Taking taylor expansion of 0 in y 1.131 * [taylor]: Taking taylor expansion of 0 in y 1.134 * [taylor]: Taking taylor expansion of 0 in y 1.138 * [taylor]: Taking taylor expansion of 0 in y 1.138 * * * [progress]: simplifying candidates 1.139 * [simplify]: Simplifying using # : (- (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (- (- 1.0 (* x y))) (/ 1 (- 1.0 (* x y))) (/ (- 1.0 (* x y)) (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- (pow 1.0 3) (pow (* x y) 3))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- (* 1.0 1.0) (* (* x y) (* x y)))) (* (- 1.0 (* x y)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* (* x y) (* x y)) (* 1.0 (* x y))) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (* (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))))) (* (- 1.0 (* x y)) (- (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (- (* x (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))))) (- (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- 1.0 (* x y)))) (/ x (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (/ 1 (- 1.0 (* x y)))) (/ x (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- (pow 1.0 3) (pow (* x y) 3)))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (/ x (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- (* 1.0 1.0) (* (* x y) (* x y))))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (+ 1.0 (* x y))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (/ x (/ 1 (- 1.0 (* x y)))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- (pow 1.0 3) (pow (* x y) 3)))) (/ x (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- (* 1.0 1.0) (* (* x y) (* x y))))) (/ x (+ 1.0 (* x y))) (/ 1 (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- 1.0 (* x y)))) (/ (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- 1.0 (* x y))) (* x (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))))) (/ (* x (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (/ (* x (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- (pow 1.0 3) (pow (* x y) 3)))) (/ (* x (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- (* 1.0 1.0) (* (* x y) (* x y))))) (/ (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- 1.0 (* x y))) (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (/ (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- 1.0 (* x y))) x) (/ (* x (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (/ (* x (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (- (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))))) (/ (* x (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) 1) (/ (* x (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (+ (pow (* 1.0 1.0) 3) (pow (+ (* (* x y) (* x y)) (* 1.0 (* x y))) 3))) (/ (* x (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* (* x y) (* x y)) (* 1.0 (* x y))) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))))) (* (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- 1.0 (* x y))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* (* x y) (* x y)) (* 1.0 (* x y))) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (* (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))))) (* (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- 1.0 (* x y))) (- (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y))))) (* x (* 1.0 1.0)) (* x (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (* x (+ (* 1.0 1.0) (* (* x y) (* x y)))) (* x (* 1.0 (* x y))) (* x (+ (* 1.0 1.0) (* 1.0 (* x y)))) (* x (* (* x y) (* x y))) (* x (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (* x (* 1.0 1.0)) (* (* 1.0 1.0) x) (* (+ (* (* x y) (* x y)) (* 1.0 (* x y))) x) (* (+ (* 1.0 1.0) (* (* x y) (* x y))) x) (* (* 1.0 (* x y)) x) (* (+ (* 1.0 1.0) (* 1.0 (* x y))) x) (* (* (* x y) (* x y)) x) (* (+ (* (* x y) (* x y)) (* 1.0 (* x y))) x) (* (* 1.0 1.0) x) (* x (+ (pow (* 1.0 1.0) 3) (pow (+ (* (* x y) (* x y)) (* 1.0 (* x y))) 3))) (* x (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* (* x y) (* x y)) (* 1.0 (* x y))) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))))) (* x x) (* y y) (* y y) (* x x) (* (* x y) x) (* (* x y) y) (* y (* x y)) (* x (* x y)) (+ (* 3.0 (* (pow x 2) (pow y 2))) (+ (* 2.0 (* x y)) 1.0)) (- (+ 2.0 (+ (* x y) (* 3.0 (/ 1 (* x y)))))) (- (+ 2.0 (+ (* x y) (* 3.0 (/ 1 (* x y)))))) (- (* 1.0 x) (* (pow x 2) y)) (- (* 1.0 x) (* (pow x 2) y)) (- (* 1.0 x) (* (pow x 2) y)) (+ (* 1.0 (* (pow x 2) y)) (* 1.0 x)) (+ (* 1.0 (* (pow x 2) y)) (+ (* 1.0 x) (* (pow x 3) (pow y 2)))) (+ (* 1.0 (* (pow x 2) y)) (+ (* 1.0 x) (* (pow x 3) (pow y 2)))) (* (pow x 2) (pow y 2)) (* (pow x 2) (pow y 2)) (* (pow x 2) (pow y 2)) 1.145 * * [simplify]: iteration 0 : 320 enodes (cost 531 ) 1.151 * * [simplify]: iteration 1 : 1302 enodes (cost 442 ) 1.181 * * [simplify]: iteration 2 : 5002 enodes (cost 393 ) 1.183 * [simplify]: Simplified to: (- (- (* 1.0 1.0)) (* (* x y) (fma y x 1.0))) (- (- 1.0 (* x y))) (/ 1 (- 1.0 (* x y))) (/ (* 1 (- 1.0 (* x y))) (fma (* x y) (+ 1.0 (* x y)) (* 1.0 1.0))) (* (/ 1 (- (pow 1.0 3) (pow (* x y) 3))) (fma y (* x (fma y x 1.0)) (* 1.0 1.0))) (* (/ 1 (* (- 1.0 (* x y)) (fma y x 1.0))) (fma y (* x (fma y x 1.0)) (* 1.0 1.0))) (fma (pow 1.0 4) (- 1.0 (* x y)) (* (* (- 1.0 (* x y)) (* (* x y) (fma y x 1.0))) (fma (* x y) (fma y x 1.0) (- (* 1.0 1.0))))) (* (fma 1.0 1.0 (- (fma (* x y) (* x y) (* 1.0 (* x y))))) (- 1.0 (* x y))) (* (- x) (fma y (* x (fma y x 1.0)) (* 1.0 1.0))) (- (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (- 1.0 (* x y)))) (/ x (fma y (* x (fma y x 1.0)) (* 1.0 1.0))) (* (- 1.0 (* x y)) (fma (* x y) (+ 1.0 (* x y)) (* 1.0 1.0))) (/ (* x (- (pow 1.0 3) (pow (* x y) 3))) (fma (* x y) (+ 1.0 (* x y)) (* 1.0 1.0))) 1 (* (/ x 1) (/ (* (- 1.0 (* x y)) (fma y x 1.0)) (fma y (* x (fma y x 1.0)) (* 1.0 1.0)))) (/ (+ (* 1.0 1.0) (+ (* (* x y) (* x y)) (* 1.0 (* x y)))) (+ 1.0 (* x y))) 1 (* x (- 1.0 (* x y))) (- (pow 1.0 3) (pow (* x y) 3)) (/ x (fma y (* x (fma y x 1.0)) (* 1.0 1.0))) (* (- 1.0 (* x y)) (fma y x 1.0)) (/ x (+ 1.0 (* x y))) (/ (* 1 (- 1.0 (* x y))) (fma (* x y) (+ 1.0 (* x y)) (* 1.0 1.0))) (* (/ 1 x) (/ 1 (- 1.0 (* x y)))) x (* (- (pow 1.0 3) (pow (* x y) 3)) x) (* (* x (fma y x 1.0)) (- 1.0 (* x y))) (/ 1 (- 1.0 (* x y))) (/ (/ (fma (* x y) (+ 1.0 (* x y)) (* 1.0 1.0)) x) (- 1.0 (* x y))) x (* (/ x (- (- (* 1.0 1.0)) (* (* x y) (fma y x 1.0)))) (fma y (* x (fma y x 1.0)) (* 1.0 1.0))) (* (fma y (* x (fma y x 1.0)) (* 1.0 1.0)) x) (* (/ x (fma (pow 1.0 3) (pow 1.0 3) (pow (* (* x y) (+ (* x y) 1.0)) 3))) (fma y (* x (fma y x 1.0)) (* 1.0 1.0))) (/ x (fma (- (* x y)) (fma y x 1.0) (* 1.0 1.0))) (/ (* (fma (pow 1.0 3) 1.0 (* (* (* x y) (+ (* x y) 1.0)) (- (* (* x y) (+ (* x y) 1.0)) (* 1.0 1.0)))) (fma (* x y) (+ 1.0 (* x y)) (* 1.0 1.0))) (- 1.0 (* x y))) (/ (* (fma 1.0 1.0 (- (fma (* x y) (* x y) (* 1.0 (* x y))))) (fma (* x y) (+ 1.0 (* x y)) (* 1.0 1.0))) (- 1.0 (* x y))) (* x (* 1.0 1.0)) (* (* (* x y) x) (fma y x 1.0)) (fma (* 1.0 1.0) x (* (pow x 3) (pow y 2))) (* x (* 1.0 (* x y))) (* (* 1.0 x) (fma y x 1.0)) (* (pow x 3) (pow y 2)) (* (* (* x y) x) (fma y x 1.0)) (* x (* 1.0 1.0)) (* x (* 1.0 1.0)) (* (* (* x y) x) (fma y x 1.0)) (fma (* 1.0 1.0) x (* (pow x 3) (pow y 2))) (* x (* 1.0 (* x y))) (* (* 1.0 x) (fma y x 1.0)) (* (pow x 3) (pow y 2)) (* (* (* x y) x) (fma y x 1.0)) (* x (* 1.0 1.0)) (fma (pow (* (* x y) (+ (* x y) 1.0)) 3) x (* x (pow (* 1.0 1.0) 3))) (* x (fma (* (- (* x y)) (fma y x 1.0)) (* (* x y) (fma y x 1.0)) (pow 1.0 4))) (pow x 2) (pow y 2) (pow y 2) (pow x 2) (* (* x y) x) (* (* x y) y) (* (* x y) y) (* (* x y) x) (fma 3.0 (* (pow x 2) (pow y 2)) (fma 2.0 (* x y) 1.0)) (- (- 2.0) (fma x y (* 3.0 (/ 1 (* x y))))) (- (- 2.0) (fma x y (* 3.0 (/ 1 (* x y))))) (* x (- 1.0 (* x y))) (* x (- 1.0 (* x y))) (* x (- 1.0 (* x y))) (* (fma (pow x 2) y x) 1.0) (fma x (* (* x y) (fma y x 1.0)) (* 1.0 x)) (fma x (* (* x y) (fma y x 1.0)) (* 1.0 x)) (* (* x y) (* x y)) (* (* x y) (* x y)) (* (* x y) (* x y)) 1.183 * * * [progress]: adding candidates to table 1.325 * [progress]: [Phase 3 of 3] Extracting. 1.325 * * [regime]: Finding splitpoints for: (# # # #) 1.326 * * * [regime-changes]: Trying 3 branch expressions: ((* x (- 1.0 (* x y))) y x) 1.326 * * * * [regimes]: Trying to branch on (* x (- 1.0 (* x y))) from (# # # #) 1.341 * * * * [regimes]: Trying to branch on y from (# # # #) 1.358 * * * * [regimes]: Trying to branch on x from (# # # #) 1.373 * * * [regime]: Found split indices: #