19.278 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.012 * * * [progress]: [2/2] Setting up program. 0.014 * [progress]: [Phase 2 of 3] Improving. 0.014 * [simplify]: Simplifying using # : (+ x (/ (- x y) 2.0)) 0.016 * * [simplify]: iteration 0 : 12 enodes (cost 3 ) 0.018 * * [simplify]: iteration 1 : 19 enodes (cost 3 ) 0.019 * * [simplify]: iteration 2 : 29 enodes (cost 3 ) 0.020 * * [simplify]: iteration 3 : 41 enodes (cost 3 ) 0.022 * * [simplify]: iteration 4 : 51 enodes (cost 3 ) 0.024 * * [simplify]: iteration 5 : 79 enodes (cost 3 ) 0.025 * * [simplify]: iteration 6 : 134 enodes (cost 3 ) 0.027 * * [simplify]: iteration 7 : 169 enodes (cost 3 ) 0.029 * * [simplify]: iteration 8 : 185 enodes (cost 3 ) 0.031 * * [simplify]: iteration 9 : 213 enodes (cost 3 ) 0.033 * * [simplify]: iteration 10 : 226 enodes (cost 3 ) 0.035 * * [simplify]: iteration 11 : 226 enodes (cost 3 ) 0.036 * [simplify]: Simplified to: (+ x (/ (- x y) 2.0)) 0.036 * * [progress]: iteration 1 / 4 0.036 * * * [progress]: picking best candidate 0.037 * * * * [pick]: Picked # 0.037 * * * [progress]: localizing error 0.042 * * * [progress]: generating rewritten candidates 0.042 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.045 * * * [progress]: generating series expansions 0.046 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.046 * [approximate]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in (x y) around 0 0.046 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in y 0.046 * [taylor]: Taking taylor expansion of (* 1.5 x) in y 0.046 * [taylor]: Taking taylor expansion of 1.5 in y 0.046 * [taylor]: Taking taylor expansion of x in y 0.046 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 0.046 * [taylor]: Taking taylor expansion of 0.5 in y 0.046 * [taylor]: Taking taylor expansion of y in y 0.046 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 0.046 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 0.046 * [taylor]: Taking taylor expansion of 1.5 in x 0.046 * [taylor]: Taking taylor expansion of x in x 0.046 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 0.046 * [taylor]: Taking taylor expansion of 0.5 in x 0.046 * [taylor]: Taking taylor expansion of y in x 0.046 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 0.046 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 0.046 * [taylor]: Taking taylor expansion of 1.5 in x 0.046 * [taylor]: Taking taylor expansion of x in x 0.046 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 0.046 * [taylor]: Taking taylor expansion of 0.5 in x 0.046 * [taylor]: Taking taylor expansion of y in x 0.047 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 0.047 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 0.047 * [taylor]: Taking taylor expansion of 0.5 in y 0.047 * [taylor]: Taking taylor expansion of y in y 0.049 * [taylor]: Taking taylor expansion of 1.5 in y 0.052 * [taylor]: Taking taylor expansion of 0 in y 0.054 * [taylor]: Taking taylor expansion of 0 in y 0.055 * [approximate]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0 0.055 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y 0.055 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 0.055 * [taylor]: Taking taylor expansion of 1.5 in y 0.055 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.055 * [taylor]: Taking taylor expansion of x in y 0.055 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.055 * [taylor]: Taking taylor expansion of 0.5 in y 0.055 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.055 * [taylor]: Taking taylor expansion of y in y 0.055 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 0.056 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 0.056 * [taylor]: Taking taylor expansion of 1.5 in x 0.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.056 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 0.056 * [taylor]: Taking taylor expansion of 0.5 in x 0.056 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.056 * [taylor]: Taking taylor expansion of y in x 0.056 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 0.056 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 0.056 * [taylor]: Taking taylor expansion of 1.5 in x 0.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.056 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 0.056 * [taylor]: Taking taylor expansion of 0.5 in x 0.056 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.056 * [taylor]: Taking taylor expansion of y in x 0.057 * [taylor]: Taking taylor expansion of 1.5 in y 0.058 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 0.058 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.058 * [taylor]: Taking taylor expansion of 0.5 in y 0.058 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.058 * [taylor]: Taking taylor expansion of y in y 0.061 * [taylor]: Taking taylor expansion of 0 in y 0.064 * [taylor]: Taking taylor expansion of 0 in y 0.068 * [taylor]: Taking taylor expansion of 0 in y 0.069 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in (x y) around 0 0.069 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y 0.069 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.069 * [taylor]: Taking taylor expansion of 0.5 in y 0.069 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.069 * [taylor]: Taking taylor expansion of y in y 0.069 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 0.069 * [taylor]: Taking taylor expansion of 1.5 in y 0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.069 * [taylor]: Taking taylor expansion of x in y 0.069 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 0.069 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 0.069 * [taylor]: Taking taylor expansion of 0.5 in x 0.069 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.069 * [taylor]: Taking taylor expansion of y in x 0.069 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 0.069 * [taylor]: Taking taylor expansion of 1.5 in x 0.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.070 * [taylor]: Taking taylor expansion of x in x 0.070 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 0.070 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 0.070 * [taylor]: Taking taylor expansion of 0.5 in x 0.070 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.070 * [taylor]: Taking taylor expansion of y in x 0.070 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 0.070 * [taylor]: Taking taylor expansion of 1.5 in x 0.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.070 * [taylor]: Taking taylor expansion of x in x 0.071 * [taylor]: Taking taylor expansion of (- 1.5) in y 0.071 * [taylor]: Taking taylor expansion of 1.5 in y 0.073 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.073 * [taylor]: Taking taylor expansion of 0.5 in y 0.073 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.073 * [taylor]: Taking taylor expansion of y in y 0.076 * [taylor]: Taking taylor expansion of 0 in y 0.079 * [taylor]: Taking taylor expansion of 0 in y 0.083 * [taylor]: Taking taylor expansion of 0 in y 0.084 * * * [progress]: simplifying candidates 0.084 * [simplify]: Simplifying using # : (+ (pow x 3) (pow (/ (- x y) 2.0) 3)) (+ (* x x) (- (* (/ (- x y) 2.0) (/ (- x y) 2.0)) (* x (/ (- x y) 2.0)))) (- (* x x) (* (/ (- x y) 2.0) (/ (- x y) 2.0))) (- x (/ (- x y) 2.0)) (+ x (/ x 2.0)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) 0.087 * * [simplify]: iteration 0 : 65 enodes (cost 34 ) 0.089 * * [simplify]: iteration 1 : 155 enodes (cost 33 ) 0.093 * * [simplify]: iteration 2 : 414 enodes (cost 33 ) 0.101 * * [simplify]: iteration 3 : 1636 enodes (cost 33 ) 0.130 * * [simplify]: iteration 4 : 5001 enodes (cost 32 ) 0.131 * [simplify]: Simplified to: (+ (pow x 3) (pow (/ (- x y) 2.0) 3)) (fma (/ (- x y) 2.0) (- (/ (- x y) 2.0) x) (* x x)) (fma (/ (/ (- x y) 2.0) 2.0) (- y x) (* x x)) (- x (/ (- x y) 2.0)) (+ x (/ x 2.0)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) 0.131 * * * [progress]: adding candidates to table 0.149 * * [progress]: iteration 2 / 4 0.149 * * * [progress]: picking best candidate 0.155 * * * * [pick]: Picked # 0.155 * * * [progress]: localizing error 0.160 * * * [progress]: generating rewritten candidates 0.160 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.166 * * * [progress]: generating series expansions 0.166 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.166 * [approximate]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in (x y) around 0 0.166 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in y 0.166 * [taylor]: Taking taylor expansion of (* 1.5 x) in y 0.166 * [taylor]: Taking taylor expansion of 1.5 in y 0.166 * [taylor]: Taking taylor expansion of x in y 0.166 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 0.166 * [taylor]: Taking taylor expansion of 0.5 in y 0.166 * [taylor]: Taking taylor expansion of y in y 0.166 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 0.166 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 0.166 * [taylor]: Taking taylor expansion of 1.5 in x 0.166 * [taylor]: Taking taylor expansion of x in x 0.166 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 0.166 * [taylor]: Taking taylor expansion of 0.5 in x 0.166 * [taylor]: Taking taylor expansion of y in x 0.166 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 0.166 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 0.166 * [taylor]: Taking taylor expansion of 1.5 in x 0.166 * [taylor]: Taking taylor expansion of x in x 0.166 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 0.166 * [taylor]: Taking taylor expansion of 0.5 in x 0.166 * [taylor]: Taking taylor expansion of y in x 0.167 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 0.167 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 0.167 * [taylor]: Taking taylor expansion of 0.5 in y 0.167 * [taylor]: Taking taylor expansion of y in y 0.169 * [taylor]: Taking taylor expansion of 1.5 in y 0.172 * [taylor]: Taking taylor expansion of 0 in y 0.175 * [taylor]: Taking taylor expansion of 0 in y 0.175 * [approximate]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0 0.175 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y 0.175 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 0.175 * [taylor]: Taking taylor expansion of 1.5 in y 0.175 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.175 * [taylor]: Taking taylor expansion of x in y 0.175 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.175 * [taylor]: Taking taylor expansion of 0.5 in y 0.175 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.175 * [taylor]: Taking taylor expansion of y in y 0.176 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 0.176 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 0.176 * [taylor]: Taking taylor expansion of 1.5 in x 0.176 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.176 * [taylor]: Taking taylor expansion of x in x 0.176 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 0.176 * [taylor]: Taking taylor expansion of 0.5 in x 0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.176 * [taylor]: Taking taylor expansion of y in x 0.176 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 0.176 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 0.176 * [taylor]: Taking taylor expansion of 1.5 in x 0.176 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.176 * [taylor]: Taking taylor expansion of x in x 0.177 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 0.177 * [taylor]: Taking taylor expansion of 0.5 in x 0.177 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.177 * [taylor]: Taking taylor expansion of y in x 0.178 * [taylor]: Taking taylor expansion of 1.5 in y 0.179 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 0.179 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.179 * [taylor]: Taking taylor expansion of 0.5 in y 0.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.179 * [taylor]: Taking taylor expansion of y in y 0.181 * [taylor]: Taking taylor expansion of 0 in y 0.185 * [taylor]: Taking taylor expansion of 0 in y 0.189 * [taylor]: Taking taylor expansion of 0 in y 0.189 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in (x y) around 0 0.189 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y 0.189 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.189 * [taylor]: Taking taylor expansion of 0.5 in y 0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.189 * [taylor]: Taking taylor expansion of y in y 0.190 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 0.190 * [taylor]: Taking taylor expansion of 1.5 in y 0.190 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.190 * [taylor]: Taking taylor expansion of x in y 0.190 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 0.190 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 0.190 * [taylor]: Taking taylor expansion of 0.5 in x 0.190 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.190 * [taylor]: Taking taylor expansion of y in x 0.190 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 0.190 * [taylor]: Taking taylor expansion of 1.5 in x 0.190 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.190 * [taylor]: Taking taylor expansion of x in x 0.190 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 0.190 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 0.190 * [taylor]: Taking taylor expansion of 0.5 in x 0.190 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.190 * [taylor]: Taking taylor expansion of y in x 0.190 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 0.190 * [taylor]: Taking taylor expansion of 1.5 in x 0.190 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.190 * [taylor]: Taking taylor expansion of x in x 0.192 * [taylor]: Taking taylor expansion of (- 1.5) in y 0.192 * [taylor]: Taking taylor expansion of 1.5 in y 0.193 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.193 * [taylor]: Taking taylor expansion of 0.5 in y 0.193 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.193 * [taylor]: Taking taylor expansion of y in y 0.196 * [taylor]: Taking taylor expansion of 0 in y 0.199 * [taylor]: Taking taylor expansion of 0 in y 0.203 * [taylor]: Taking taylor expansion of 0 in y 0.204 * * * [progress]: simplifying candidates 0.204 * [simplify]: Simplifying using # : (- (* (+ (pow x 3) (pow (/ x 2.0) 3)) 2.0) (* (+ (* x x) (- (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) y)) (* (+ (* x x) (- (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) 2.0) (- (* (+ (pow x 3) (pow (/ x 2.0) 3)) (- 2.0)) (* (+ (* x x) (- (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) (- y))) (* (+ (* x x) (- (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) (- 2.0)) (- (* (+ (pow x 3) (pow (/ x 2.0) 3)) (/ 2.0 y)) (* (+ (* x x) (- (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) 1)) (* (+ (* x x) (- (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) (/ 2.0 y)) (- (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) 2.0) (* (- x (/ x 2.0)) y)) (* (- x (/ x 2.0)) 2.0) (- (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) (- 2.0)) (* (- x (/ x 2.0)) (- y))) (* (- x (/ x 2.0)) (- 2.0)) (- (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) (/ 2.0 y)) (* (- x (/ x 2.0)) 1)) (* (- x (/ x 2.0)) (/ 2.0 y)) (- (pow (+ x (/ x 2.0)) 3) (pow (/ y 2.0) 3)) (+ (* (+ x (/ x 2.0)) (+ x (/ x 2.0))) (+ (* (/ y 2.0) (/ y 2.0)) (* (+ x (/ x 2.0)) (/ y 2.0)))) (- (/ y 2.0)) (- (* (+ x (/ x 2.0)) (+ x (/ x 2.0))) (* (/ y 2.0) (/ y 2.0))) (+ (+ x (/ x 2.0)) (/ y 2.0)) (- (/ x 2.0) (/ y 2.0)) (- x (/ y 2.0)) (- (/ y 2.0)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) 0.208 * * [simplify]: iteration 0 : 182 enodes (cost 164 ) 0.212 * * [simplify]: iteration 1 : 651 enodes (cost 150 ) 0.227 * * [simplify]: iteration 2 : 3304 enodes (cost 137 ) 0.271 * * [simplify]: iteration 3 : 5003 enodes (cost 136 ) 0.273 * [simplify]: Simplified to: (fma (fma (/ x 2.0) (- (/ x 2.0) x) (* x x)) (- y) (* (+ (pow x 3) (pow (/ x 2.0) 3)) 2.0)) (* 2.0 (fma (/ x 2.0) (- (/ x 2.0) x) (* x x))) (fma y (fma (/ x 2.0) (- (/ x 2.0) x) (* x x)) (* (+ (pow x 3) (pow (/ x 2.0) 3)) (- 2.0))) (* (- (fma (/ x 2.0) (- (/ x 2.0) x) (* x x))) 2.0) (fma (+ (pow x 3) (pow (/ x 2.0) 3)) (/ 2.0 y) (- (fma (/ x 2.0) (- (/ x 2.0) x) (* x x)))) (/ 2.0 (/ y (fma (/ x 2.0) (- (/ x 2.0) x) (* x x)))) (* (- x (/ x 2.0)) (- (* 2.0 (+ x (/ x 2.0))) y)) (* (- x (/ x 2.0)) 2.0) (* (- x (/ x 2.0)) (+ (* (- 2.0) (+ x (/ x 2.0))) y)) (* 2.0 (- (/ x 2.0) x)) (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- x (/ x 2.0)) (/ 2.0 y)) (- (pow (+ x (/ x 2.0)) 3) (pow (/ y 2.0) 3)) (fma (+ x (/ x 2.0)) (+ (+ x (/ x 2.0)) (/ y 2.0)) (* (/ y 2.0) (/ y 2.0))) (- (/ y 2.0)) (- (* (+ x (/ x 2.0)) (+ x (/ x 2.0))) (* (/ y 2.0) (/ y 2.0))) (+ (+ x (/ x 2.0)) (/ y 2.0)) (- (/ x 2.0) (/ y 2.0)) (- x (/ y 2.0)) (- (/ y 2.0)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) 0.273 * * * [progress]: adding candidates to table 0.310 * * [progress]: iteration 3 / 4 0.310 * * * [progress]: picking best candidate 0.320 * * * * [pick]: Picked # 0.320 * * * [progress]: localizing error 0.331 * * * [progress]: generating rewritten candidates 0.331 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.347 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 0.352 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.357 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.374 * * * [progress]: generating series expansions 0.374 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.374 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (* 3.0 (/ x y)) 1) y)) in (x y) around 0 0.374 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (* 3.0 (/ x y)) 1) y)) in y 0.374 * [taylor]: Taking taylor expansion of 0.5 in y 0.374 * [taylor]: Taking taylor expansion of (* (- (* 3.0 (/ x y)) 1) y) in y 0.374 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ x y)) 1) in y 0.374 * [taylor]: Taking taylor expansion of (* 3.0 (/ x y)) in y 0.374 * [taylor]: Taking taylor expansion of 3.0 in y 0.374 * [taylor]: Taking taylor expansion of (/ x y) in y 0.374 * [taylor]: Taking taylor expansion of x in y 0.374 * [taylor]: Taking taylor expansion of y in y 0.374 * [taylor]: Taking taylor expansion of 1 in y 0.375 * [taylor]: Taking taylor expansion of y in y 0.375 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (* 3.0 (/ x y)) 1) y)) in x 0.375 * [taylor]: Taking taylor expansion of 0.5 in x 0.375 * [taylor]: Taking taylor expansion of (* (- (* 3.0 (/ x y)) 1) y) in x 0.375 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ x y)) 1) in x 0.375 * [taylor]: Taking taylor expansion of (* 3.0 (/ x y)) in x 0.375 * [taylor]: Taking taylor expansion of 3.0 in x 0.375 * [taylor]: Taking taylor expansion of (/ x y) in x 0.375 * [taylor]: Taking taylor expansion of x in x 0.375 * [taylor]: Taking taylor expansion of y in x 0.375 * [taylor]: Taking taylor expansion of 1 in x 0.375 * [taylor]: Taking taylor expansion of y in x 0.375 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (* 3.0 (/ x y)) 1) y)) in x 0.375 * [taylor]: Taking taylor expansion of 0.5 in x 0.375 * [taylor]: Taking taylor expansion of (* (- (* 3.0 (/ x y)) 1) y) in x 0.375 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ x y)) 1) in x 0.375 * [taylor]: Taking taylor expansion of (* 3.0 (/ x y)) in x 0.375 * [taylor]: Taking taylor expansion of 3.0 in x 0.375 * [taylor]: Taking taylor expansion of (/ x y) in x 0.375 * [taylor]: Taking taylor expansion of x in x 0.375 * [taylor]: Taking taylor expansion of y in x 0.375 * [taylor]: Taking taylor expansion of 1 in x 0.375 * [taylor]: Taking taylor expansion of y in x 0.376 * [taylor]: Taking taylor expansion of (* -0.5 y) in y 0.376 * [taylor]: Taking taylor expansion of -0.5 in y 0.376 * [taylor]: Taking taylor expansion of y in y 0.377 * [taylor]: Taking taylor expansion of 1.5 in y 0.379 * [taylor]: Taking taylor expansion of 0 in y 0.383 * [taylor]: Taking taylor expansion of 0 in y 0.386 * [taylor]: Taking taylor expansion of 0 in y 0.387 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (* 3.0 (/ y x)) 1) y)) in (x y) around 0 0.387 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* 3.0 (/ y x)) 1) y)) in y 0.387 * [taylor]: Taking taylor expansion of 0.5 in y 0.387 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ y x)) 1) y) in y 0.387 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ y x)) 1) in y 0.387 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in y 0.387 * [taylor]: Taking taylor expansion of 3.0 in y 0.387 * [taylor]: Taking taylor expansion of (/ y x) in y 0.387 * [taylor]: Taking taylor expansion of y in y 0.387 * [taylor]: Taking taylor expansion of x in y 0.387 * [taylor]: Taking taylor expansion of 1 in y 0.387 * [taylor]: Taking taylor expansion of y in y 0.388 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* 3.0 (/ y x)) 1) y)) in x 0.388 * [taylor]: Taking taylor expansion of 0.5 in x 0.388 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ y x)) 1) y) in x 0.388 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ y x)) 1) in x 0.388 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in x 0.388 * [taylor]: Taking taylor expansion of 3.0 in x 0.388 * [taylor]: Taking taylor expansion of (/ y x) in x 0.388 * [taylor]: Taking taylor expansion of y in x 0.388 * [taylor]: Taking taylor expansion of x in x 0.388 * [taylor]: Taking taylor expansion of 1 in x 0.388 * [taylor]: Taking taylor expansion of y in x 0.389 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* 3.0 (/ y x)) 1) y)) in x 0.389 * [taylor]: Taking taylor expansion of 0.5 in x 0.389 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ y x)) 1) y) in x 0.389 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ y x)) 1) in x 0.389 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in x 0.389 * [taylor]: Taking taylor expansion of 3.0 in x 0.389 * [taylor]: Taking taylor expansion of (/ y x) in x 0.389 * [taylor]: Taking taylor expansion of y in x 0.389 * [taylor]: Taking taylor expansion of x in x 0.389 * [taylor]: Taking taylor expansion of 1 in x 0.389 * [taylor]: Taking taylor expansion of y in x 0.389 * [taylor]: Taking taylor expansion of 1.5 in y 0.391 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 0.391 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.391 * [taylor]: Taking taylor expansion of 0.5 in y 0.391 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.391 * [taylor]: Taking taylor expansion of y in y 0.395 * [taylor]: Taking taylor expansion of 0 in y 0.399 * [taylor]: Taking taylor expansion of 0 in y 0.404 * [taylor]: Taking taylor expansion of 0 in y 0.405 * [approximate]: Taking taylor expansion of (* -0.5 (/ (- (* 3.0 (/ y x)) 1) y)) in (x y) around 0 0.405 * [taylor]: Taking taylor expansion of (* -0.5 (/ (- (* 3.0 (/ y x)) 1) y)) in y 0.405 * [taylor]: Taking taylor expansion of -0.5 in y 0.405 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ y x)) 1) y) in y 0.405 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ y x)) 1) in y 0.405 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in y 0.405 * [taylor]: Taking taylor expansion of 3.0 in y 0.405 * [taylor]: Taking taylor expansion of (/ y x) in y 0.405 * [taylor]: Taking taylor expansion of y in y 0.405 * [taylor]: Taking taylor expansion of x in y 0.405 * [taylor]: Taking taylor expansion of 1 in y 0.405 * [taylor]: Taking taylor expansion of y in y 0.406 * [taylor]: Taking taylor expansion of (* -0.5 (/ (- (* 3.0 (/ y x)) 1) y)) in x 0.406 * [taylor]: Taking taylor expansion of -0.5 in x 0.406 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ y x)) 1) y) in x 0.406 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ y x)) 1) in x 0.406 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in x 0.406 * [taylor]: Taking taylor expansion of 3.0 in x 0.406 * [taylor]: Taking taylor expansion of (/ y x) in x 0.406 * [taylor]: Taking taylor expansion of y in x 0.407 * [taylor]: Taking taylor expansion of x in x 0.407 * [taylor]: Taking taylor expansion of 1 in x 0.407 * [taylor]: Taking taylor expansion of y in x 0.407 * [taylor]: Taking taylor expansion of (* -0.5 (/ (- (* 3.0 (/ y x)) 1) y)) in x 0.407 * [taylor]: Taking taylor expansion of -0.5 in x 0.407 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ y x)) 1) y) in x 0.407 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ y x)) 1) in x 0.407 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in x 0.407 * [taylor]: Taking taylor expansion of 3.0 in x 0.407 * [taylor]: Taking taylor expansion of (/ y x) in x 0.407 * [taylor]: Taking taylor expansion of y in x 0.407 * [taylor]: Taking taylor expansion of x in x 0.407 * [taylor]: Taking taylor expansion of 1 in x 0.407 * [taylor]: Taking taylor expansion of y in x 0.407 * [taylor]: Taking taylor expansion of -1.5 in y 0.409 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.409 * [taylor]: Taking taylor expansion of 0.5 in y 0.409 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.409 * [taylor]: Taking taylor expansion of y in y 0.412 * [taylor]: Taking taylor expansion of 0 in y 0.416 * [taylor]: Taking taylor expansion of 0 in y 0.422 * [taylor]: Taking taylor expansion of 0 in y 0.422 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 0.422 * [approximate]: Taking taylor expansion of (* 3.0 (/ x y)) in (y x) around 0 0.422 * [taylor]: Taking taylor expansion of (* 3.0 (/ x y)) in x 0.422 * [taylor]: Taking taylor expansion of 3.0 in x 0.422 * [taylor]: Taking taylor expansion of (/ x y) in x 0.422 * [taylor]: Taking taylor expansion of x in x 0.422 * [taylor]: Taking taylor expansion of y in x 0.422 * [taylor]: Taking taylor expansion of (* 3.0 (/ x y)) in y 0.422 * [taylor]: Taking taylor expansion of 3.0 in y 0.422 * [taylor]: Taking taylor expansion of (/ x y) in y 0.422 * [taylor]: Taking taylor expansion of x in y 0.422 * [taylor]: Taking taylor expansion of y in y 0.422 * [taylor]: Taking taylor expansion of (* 3.0 (/ x y)) in y 0.422 * [taylor]: Taking taylor expansion of 3.0 in y 0.422 * [taylor]: Taking taylor expansion of (/ x y) in y 0.422 * [taylor]: Taking taylor expansion of x in y 0.422 * [taylor]: Taking taylor expansion of y in y 0.422 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 0.422 * [taylor]: Taking taylor expansion of 3.0 in x 0.422 * [taylor]: Taking taylor expansion of x in x 0.424 * [taylor]: Taking taylor expansion of 0 in x 0.426 * [taylor]: Taking taylor expansion of 0 in x 0.429 * [taylor]: Taking taylor expansion of 0 in x 0.429 * [approximate]: Taking taylor expansion of (* 3.0 (/ y x)) in (y x) around 0 0.429 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in x 0.429 * [taylor]: Taking taylor expansion of 3.0 in x 0.429 * [taylor]: Taking taylor expansion of (/ y x) in x 0.429 * [taylor]: Taking taylor expansion of y in x 0.429 * [taylor]: Taking taylor expansion of x in x 0.429 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in y 0.429 * [taylor]: Taking taylor expansion of 3.0 in y 0.429 * [taylor]: Taking taylor expansion of (/ y x) in y 0.429 * [taylor]: Taking taylor expansion of y in y 0.429 * [taylor]: Taking taylor expansion of x in y 0.429 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in y 0.429 * [taylor]: Taking taylor expansion of 3.0 in y 0.429 * [taylor]: Taking taylor expansion of (/ y x) in y 0.429 * [taylor]: Taking taylor expansion of y in y 0.429 * [taylor]: Taking taylor expansion of x in y 0.430 * [taylor]: Taking taylor expansion of (/ 3.0 x) in x 0.430 * [taylor]: Taking taylor expansion of 3.0 in x 0.430 * [taylor]: Taking taylor expansion of x in x 0.431 * [taylor]: Taking taylor expansion of 0 in x 0.432 * [taylor]: Taking taylor expansion of 0 in x 0.434 * [taylor]: Taking taylor expansion of 0 in x 0.435 * [approximate]: Taking taylor expansion of (* 3.0 (/ y x)) in (y x) around 0 0.435 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in x 0.435 * [taylor]: Taking taylor expansion of 3.0 in x 0.435 * [taylor]: Taking taylor expansion of (/ y x) in x 0.435 * [taylor]: Taking taylor expansion of y in x 0.435 * [taylor]: Taking taylor expansion of x in x 0.435 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in y 0.435 * [taylor]: Taking taylor expansion of 3.0 in y 0.435 * [taylor]: Taking taylor expansion of (/ y x) in y 0.435 * [taylor]: Taking taylor expansion of y in y 0.435 * [taylor]: Taking taylor expansion of x in y 0.435 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in y 0.435 * [taylor]: Taking taylor expansion of 3.0 in y 0.435 * [taylor]: Taking taylor expansion of (/ y x) in y 0.435 * [taylor]: Taking taylor expansion of y in y 0.435 * [taylor]: Taking taylor expansion of x in y 0.435 * [taylor]: Taking taylor expansion of (/ 3.0 x) in x 0.435 * [taylor]: Taking taylor expansion of 3.0 in x 0.435 * [taylor]: Taking taylor expansion of x in x 0.436 * [taylor]: Taking taylor expansion of 0 in x 0.437 * [taylor]: Taking taylor expansion of 0 in x 0.439 * [taylor]: Taking taylor expansion of 0 in x 0.439 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.439 * [approximate]: Taking taylor expansion of (* 1.0 (/ x y)) in (x y) around 0 0.440 * [taylor]: Taking taylor expansion of (* 1.0 (/ x y)) in y 0.440 * [taylor]: Taking taylor expansion of 1.0 in y 0.440 * [taylor]: Taking taylor expansion of (/ x y) in y 0.440 * [taylor]: Taking taylor expansion of x in y 0.440 * [taylor]: Taking taylor expansion of y in y 0.440 * [taylor]: Taking taylor expansion of (* 1.0 (/ x y)) in x 0.440 * [taylor]: Taking taylor expansion of 1.0 in x 0.440 * [taylor]: Taking taylor expansion of (/ x y) in x 0.440 * [taylor]: Taking taylor expansion of x in x 0.440 * [taylor]: Taking taylor expansion of y in x 0.440 * [taylor]: Taking taylor expansion of (* 1.0 (/ x y)) in x 0.440 * [taylor]: Taking taylor expansion of 1.0 in x 0.440 * [taylor]: Taking taylor expansion of (/ x y) in x 0.440 * [taylor]: Taking taylor expansion of x in x 0.440 * [taylor]: Taking taylor expansion of y in x 0.440 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y 0.440 * [taylor]: Taking taylor expansion of 1.0 in y 0.440 * [taylor]: Taking taylor expansion of y in y 0.441 * [taylor]: Taking taylor expansion of 0 in y 0.442 * [taylor]: Taking taylor expansion of 0 in y 0.444 * [taylor]: Taking taylor expansion of 0 in y 0.444 * [approximate]: Taking taylor expansion of (* 1.0 (/ y x)) in (x y) around 0 0.444 * [taylor]: Taking taylor expansion of (* 1.0 (/ y x)) in y 0.444 * [taylor]: Taking taylor expansion of 1.0 in y 0.445 * [taylor]: Taking taylor expansion of (/ y x) in y 0.445 * [taylor]: Taking taylor expansion of y in y 0.445 * [taylor]: Taking taylor expansion of x in y 0.445 * [taylor]: Taking taylor expansion of (* 1.0 (/ y x)) in x 0.445 * [taylor]: Taking taylor expansion of 1.0 in x 0.445 * [taylor]: Taking taylor expansion of (/ y x) in x 0.445 * [taylor]: Taking taylor expansion of y in x 0.445 * [taylor]: Taking taylor expansion of x in x 0.445 * [taylor]: Taking taylor expansion of (* 1.0 (/ y x)) in x 0.445 * [taylor]: Taking taylor expansion of 1.0 in x 0.445 * [taylor]: Taking taylor expansion of (/ y x) in x 0.445 * [taylor]: Taking taylor expansion of y in x 0.445 * [taylor]: Taking taylor expansion of x in x 0.445 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.445 * [taylor]: Taking taylor expansion of 1.0 in y 0.445 * [taylor]: Taking taylor expansion of y in y 0.447 * [taylor]: Taking taylor expansion of 0 in y 0.449 * [taylor]: Taking taylor expansion of 0 in y 0.451 * [taylor]: Taking taylor expansion of 0 in y 0.452 * [approximate]: Taking taylor expansion of (* 1.0 (/ y x)) in (x y) around 0 0.452 * [taylor]: Taking taylor expansion of (* 1.0 (/ y x)) in y 0.452 * [taylor]: Taking taylor expansion of 1.0 in y 0.452 * [taylor]: Taking taylor expansion of (/ y x) in y 0.452 * [taylor]: Taking taylor expansion of y in y 0.452 * [taylor]: Taking taylor expansion of x in y 0.452 * [taylor]: Taking taylor expansion of (* 1.0 (/ y x)) in x 0.452 * [taylor]: Taking taylor expansion of 1.0 in x 0.452 * [taylor]: Taking taylor expansion of (/ y x) in x 0.452 * [taylor]: Taking taylor expansion of y in x 0.452 * [taylor]: Taking taylor expansion of x in x 0.452 * [taylor]: Taking taylor expansion of (* 1.0 (/ y x)) in x 0.452 * [taylor]: Taking taylor expansion of 1.0 in x 0.452 * [taylor]: Taking taylor expansion of (/ y x) in x 0.452 * [taylor]: Taking taylor expansion of y in x 0.452 * [taylor]: Taking taylor expansion of x in x 0.452 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.452 * [taylor]: Taking taylor expansion of 1.0 in y 0.452 * [taylor]: Taking taylor expansion of y in y 0.454 * [taylor]: Taking taylor expansion of 0 in y 0.456 * [taylor]: Taking taylor expansion of 0 in y 0.458 * [taylor]: Taking taylor expansion of 0 in y 0.459 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.459 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (* 3.0 (/ x y)) 1) x)) in (x y) around 0 0.459 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (* 3.0 (/ x y)) 1) x)) in y 0.459 * [taylor]: Taking taylor expansion of 0.5 in y 0.459 * [taylor]: Taking taylor expansion of (* (- (* 3.0 (/ x y)) 1) x) in y 0.459 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ x y)) 1) in y 0.459 * [taylor]: Taking taylor expansion of (* 3.0 (/ x y)) in y 0.459 * [taylor]: Taking taylor expansion of 3.0 in y 0.459 * [taylor]: Taking taylor expansion of (/ x y) in y 0.459 * [taylor]: Taking taylor expansion of x in y 0.459 * [taylor]: Taking taylor expansion of y in y 0.459 * [taylor]: Taking taylor expansion of 1 in y 0.459 * [taylor]: Taking taylor expansion of x in y 0.459 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (* 3.0 (/ x y)) 1) x)) in x 0.459 * [taylor]: Taking taylor expansion of 0.5 in x 0.459 * [taylor]: Taking taylor expansion of (* (- (* 3.0 (/ x y)) 1) x) in x 0.459 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ x y)) 1) in x 0.459 * [taylor]: Taking taylor expansion of (* 3.0 (/ x y)) in x 0.459 * [taylor]: Taking taylor expansion of 3.0 in x 0.459 * [taylor]: Taking taylor expansion of (/ x y) in x 0.459 * [taylor]: Taking taylor expansion of x in x 0.459 * [taylor]: Taking taylor expansion of y in x 0.459 * [taylor]: Taking taylor expansion of 1 in x 0.459 * [taylor]: Taking taylor expansion of x in x 0.459 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (* 3.0 (/ x y)) 1) x)) in x 0.459 * [taylor]: Taking taylor expansion of 0.5 in x 0.459 * [taylor]: Taking taylor expansion of (* (- (* 3.0 (/ x y)) 1) x) in x 0.459 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ x y)) 1) in x 0.459 * [taylor]: Taking taylor expansion of (* 3.0 (/ x y)) in x 0.459 * [taylor]: Taking taylor expansion of 3.0 in x 0.459 * [taylor]: Taking taylor expansion of (/ x y) in x 0.459 * [taylor]: Taking taylor expansion of x in x 0.460 * [taylor]: Taking taylor expansion of y in x 0.460 * [taylor]: Taking taylor expansion of 1 in x 0.460 * [taylor]: Taking taylor expansion of x in x 0.466 * [taylor]: Taking taylor expansion of 0 in y 0.468 * [taylor]: Taking taylor expansion of (- 0.5) in y 0.468 * [taylor]: Taking taylor expansion of 0.5 in y 0.470 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 y)) in y 0.470 * [taylor]: Taking taylor expansion of 1.5 in y 0.470 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.470 * [taylor]: Taking taylor expansion of y in y 0.473 * [taylor]: Taking taylor expansion of 0 in y 0.477 * [taylor]: Taking taylor expansion of 0 in y 0.479 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (* 3.0 (/ y x)) 1) x)) in (x y) around 0 0.479 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* 3.0 (/ y x)) 1) x)) in y 0.479 * [taylor]: Taking taylor expansion of 0.5 in y 0.479 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ y x)) 1) x) in y 0.479 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ y x)) 1) in y 0.479 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in y 0.479 * [taylor]: Taking taylor expansion of 3.0 in y 0.479 * [taylor]: Taking taylor expansion of (/ y x) in y 0.479 * [taylor]: Taking taylor expansion of y in y 0.479 * [taylor]: Taking taylor expansion of x in y 0.479 * [taylor]: Taking taylor expansion of 1 in y 0.479 * [taylor]: Taking taylor expansion of x in y 0.480 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* 3.0 (/ y x)) 1) x)) in x 0.480 * [taylor]: Taking taylor expansion of 0.5 in x 0.480 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ y x)) 1) x) in x 0.480 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ y x)) 1) in x 0.480 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in x 0.480 * [taylor]: Taking taylor expansion of 3.0 in x 0.480 * [taylor]: Taking taylor expansion of (/ y x) in x 0.480 * [taylor]: Taking taylor expansion of y in x 0.480 * [taylor]: Taking taylor expansion of x in x 0.480 * [taylor]: Taking taylor expansion of 1 in x 0.480 * [taylor]: Taking taylor expansion of x in x 0.480 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* 3.0 (/ y x)) 1) x)) in x 0.480 * [taylor]: Taking taylor expansion of 0.5 in x 0.481 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ y x)) 1) x) in x 0.481 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ y x)) 1) in x 0.481 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in x 0.481 * [taylor]: Taking taylor expansion of 3.0 in x 0.481 * [taylor]: Taking taylor expansion of (/ y x) in x 0.481 * [taylor]: Taking taylor expansion of y in x 0.481 * [taylor]: Taking taylor expansion of x in x 0.481 * [taylor]: Taking taylor expansion of 1 in x 0.481 * [taylor]: Taking taylor expansion of x in x 0.481 * [taylor]: Taking taylor expansion of (* 1.5 y) in y 0.481 * [taylor]: Taking taylor expansion of 1.5 in y 0.481 * [taylor]: Taking taylor expansion of y in y 0.484 * [taylor]: Taking taylor expansion of (- 0.5) in y 0.484 * [taylor]: Taking taylor expansion of 0.5 in y 0.489 * [taylor]: Taking taylor expansion of 0 in y 0.494 * [taylor]: Taking taylor expansion of 0 in y 0.495 * [approximate]: Taking taylor expansion of (* -0.5 (/ (- (* 3.0 (/ y x)) 1) x)) in (x y) around 0 0.495 * [taylor]: Taking taylor expansion of (* -0.5 (/ (- (* 3.0 (/ y x)) 1) x)) in y 0.495 * [taylor]: Taking taylor expansion of -0.5 in y 0.495 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ y x)) 1) x) in y 0.495 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ y x)) 1) in y 0.495 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in y 0.495 * [taylor]: Taking taylor expansion of 3.0 in y 0.495 * [taylor]: Taking taylor expansion of (/ y x) in y 0.495 * [taylor]: Taking taylor expansion of y in y 0.495 * [taylor]: Taking taylor expansion of x in y 0.495 * [taylor]: Taking taylor expansion of 1 in y 0.496 * [taylor]: Taking taylor expansion of x in y 0.496 * [taylor]: Taking taylor expansion of (* -0.5 (/ (- (* 3.0 (/ y x)) 1) x)) in x 0.496 * [taylor]: Taking taylor expansion of -0.5 in x 0.496 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ y x)) 1) x) in x 0.496 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ y x)) 1) in x 0.496 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in x 0.496 * [taylor]: Taking taylor expansion of 3.0 in x 0.496 * [taylor]: Taking taylor expansion of (/ y x) in x 0.496 * [taylor]: Taking taylor expansion of y in x 0.496 * [taylor]: Taking taylor expansion of x in x 0.496 * [taylor]: Taking taylor expansion of 1 in x 0.496 * [taylor]: Taking taylor expansion of x in x 0.497 * [taylor]: Taking taylor expansion of (* -0.5 (/ (- (* 3.0 (/ y x)) 1) x)) in x 0.497 * [taylor]: Taking taylor expansion of -0.5 in x 0.497 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ y x)) 1) x) in x 0.497 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ y x)) 1) in x 0.497 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in x 0.497 * [taylor]: Taking taylor expansion of 3.0 in x 0.497 * [taylor]: Taking taylor expansion of (/ y x) in x 0.497 * [taylor]: Taking taylor expansion of y in x 0.497 * [taylor]: Taking taylor expansion of x in x 0.497 * [taylor]: Taking taylor expansion of 1 in x 0.497 * [taylor]: Taking taylor expansion of x in x 0.497 * [taylor]: Taking taylor expansion of (* -1.5 y) in y 0.497 * [taylor]: Taking taylor expansion of -1.5 in y 0.497 * [taylor]: Taking taylor expansion of y in y 0.500 * [taylor]: Taking taylor expansion of 0.5 in y 0.504 * [taylor]: Taking taylor expansion of 0 in y 0.509 * [taylor]: Taking taylor expansion of 0 in y 0.510 * * * [progress]: simplifying candidates 0.512 * [simplify]: Simplifying using # : (- (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1))) (- (* (- x (/ x 2.0)) (/ 2.0 y))) (/ (- x (/ x 2.0)) (- x (/ x 2.0))) (/ (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) (/ 2.0 y)) (/ (- x (/ x 2.0)) (* (- x (/ x 2.0)) 2.0)) (/ (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) (/ 1 y)) (/ (- x (/ x 2.0)) (/ 2.0 y)) (/ (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) (- x (/ x 2.0))) (/ (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) (- x (/ x 2.0))) (/ (- x (/ x 2.0)) (/ 2.0 y)) (/ (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) (* (- x (/ x 2.0)) 2.0)) (/ (- x (/ x 2.0)) (/ 1 y)) (/ (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) (/ 2.0 y)) (/ (- x (/ x 2.0)) (- x (/ x 2.0))) (/ 1 (* (- x (/ x 2.0)) (/ 2.0 y))) (/ (* (- x (/ x 2.0)) (/ 2.0 y)) (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1))) (/ (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (- x (/ x 2.0))) (/ (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- x (/ x 2.0)) 2.0)) (/ (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (/ 2.0 y)) (/ (* (- x (/ x 2.0)) (/ 2.0 y)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (/ (* (- x (/ x 2.0)) (/ 2.0 y)) (- x (/ x 2.0))) (/ (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- (pow x 3) (pow (/ x 2.0) 3)) 2.0)) (/ (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- (pow x 3) (pow (/ x 2.0) 3)) (- 2.0))) (/ (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- (pow x 3) (pow (/ x 2.0) 3)) 1)) (/ (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) 2.0)) (/ (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) (- 2.0))) (/ (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) 1)) (/ (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (- x (/ x 2.0))) (/ (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- x (/ x 2.0)) 2.0)) (/ (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- x (/ x 2.0)) (- 2.0))) (/ (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- x (/ x 2.0)) 1)) (/ (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- (pow x 3) (pow (/ x 2.0) 3)) (/ 2.0 y))) (/ (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) (/ 2.0 y))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (* (+ (* x x) (+ (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) (+ (* (* (/ 2.0 y) (+ x (/ x 2.0))) (* (/ 2.0 y) (+ x (/ x 2.0)))) (+ (* 1 1) (* (* (/ 2.0 y) (+ x (/ x 2.0))) 1))))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (* (+ (* x x) (+ (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) (+ (* (/ 2.0 y) (+ x (/ x 2.0))) 1))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (* (+ x (/ x 2.0)) (+ (* (* (/ 2.0 y) (+ x (/ x 2.0))) (* (/ 2.0 y) (+ x (/ x 2.0)))) (+ (* 1 1) (* (* (/ 2.0 y) (+ x (/ x 2.0))) 1))))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (* (+ x (/ x 2.0)) (+ (* (/ 2.0 y) (+ x (/ x 2.0))) 1))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ (* (* (/ 2.0 y) (+ x (/ x 2.0))) (* (/ 2.0 y) (+ x (/ x 2.0)))) (+ (* 1 1) (* (* (/ 2.0 y) (+ x (/ x 2.0))) 1)))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ (* x x) (+ (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0))))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ x (/ x 2.0))) (* 2.0 (+ (pow x 3) (pow (/ x 2.0) 3))) (* y (+ (* x x) (- (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0))))) (* 2.0 (- (* x x) (* (/ x 2.0) (/ x 2.0)))) (* y (- x (/ x 2.0))) (* (- 2.0) (+ (pow x 3) (pow (/ x 2.0) 3))) (* (- y) (+ (* x x) (- (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0))))) (* (- 2.0) (- (* x x) (* (/ x 2.0) (/ x 2.0)))) (* (- y) (- x (/ x 2.0))) (* 1 (+ (pow x 3) (pow (/ x 2.0) 3))) (* (/ y 2.0) (+ (* x x) (- (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0))))) (* 1 (- (* x x) (* (/ x 2.0) (/ x 2.0)))) (* (/ y 2.0) (- x (/ x 2.0))) (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0)) (* (/ 2.0 y) (/ x 2.0)) (* (/ 2.0 y) x) (* x (/ 2.0 y)) (* (/ x 2.0) (/ 2.0 y)) (* (/ x 2.0) (/ 2.0 y)) (* x (/ 2.0 y)) (* (/ 1 y) (+ x (/ x 2.0))) (* (/ 2.0 y) (+ (pow x 3) (pow (/ x 2.0) 3))) (* (/ 2.0 y) (- (* x x) (* (/ x 2.0) (/ x 2.0)))) (* 2.0 (+ x (/ x 2.0))) (* (- 2.0) (+ x (/ x 2.0))) (* 1 (+ x (/ x 2.0))) (* (- (pow x 3) (pow (/ x 2.0) 3)) 2.0) (* (+ (* x x) (+ (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) y) (* (- (pow x 3) (pow (/ x 2.0) 3)) (- 2.0)) (* (+ (* x x) (+ (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) (- y)) (* (- (pow x 3) (pow (/ x 2.0) 3)) 1) (* (+ (* x x) (+ (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) (/ y 2.0)) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) 2.0) (* (+ x (/ x 2.0)) y) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) (- 2.0)) (* (+ x (/ x 2.0)) (- y)) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) 1) (* (+ x (/ x 2.0)) (/ y 2.0)) (* (- x (/ x 2.0)) 2.0) (* (- x (/ x 2.0)) 2.0) (* (- x (/ x 2.0)) (- 2.0)) (* (- x (/ x 2.0)) 1) (* (- (pow x 3) (pow (/ x 2.0) 3)) (/ 2.0 y)) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) (/ 2.0 y)) (* (- (pow x 3) (pow (/ x 2.0) 3)) (- (pow (* (/ 2.0 y) (+ x (/ x 2.0))) 3) (pow 1 3))) (* (+ (* x x) (+ (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) (+ (* (* (/ 2.0 y) (+ x (/ x 2.0))) (* (/ 2.0 y) (+ x (/ x 2.0)))) (+ (* 1 1) (* (* (/ 2.0 y) (+ x (/ x 2.0))) 1)))) (* (- (pow x 3) (pow (/ x 2.0) 3)) (- (* (* (/ 2.0 y) (+ x (/ x 2.0))) (* (/ 2.0 y) (+ x (/ x 2.0)))) (* 1 1))) (* (+ (* x x) (+ (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) (+ (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) (- (pow (* (/ 2.0 y) (+ x (/ x 2.0))) 3) (pow 1 3))) (* (+ x (/ x 2.0)) (+ (* (* (/ 2.0 y) (+ x (/ x 2.0))) (* (/ 2.0 y) (+ x (/ x 2.0)))) (+ (* 1 1) (* (* (/ 2.0 y) (+ x (/ x 2.0))) 1)))) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) (- (* (* (/ 2.0 y) (+ x (/ x 2.0))) (* (/ 2.0 y) (+ x (/ x 2.0)))) (* 1 1))) (* (+ x (/ x 2.0)) (+ (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- x (/ x 2.0)) (* (/ 2.0 y) (+ x (/ x 2.0)))) (* (- x (/ x 2.0)) (- 1)) (* (- x (/ x 2.0)) (* (/ 2.0 y) x)) (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (/ x 2.0)) 1)) (* (- x (/ x 2.0)) (* (/ 2.0 y) (/ x 2.0))) (* (- x (/ x 2.0)) (- (* (/ 2.0 y) x) 1)) (* (- x (/ x 2.0)) (* x (/ 2.0 y))) (* (- x (/ x 2.0)) (- (* (/ x 2.0) (/ 2.0 y)) 1)) (* (- x (/ x 2.0)) (* (/ x 2.0) (/ 2.0 y))) (* (- x (/ x 2.0)) (- (* x (/ 2.0 y)) 1)) (* (- x (/ x 2.0)) (* (/ 2.0 y) (+ x (/ x 2.0)))) (* (- x (/ x 2.0)) (- 1)) (* (* (/ 2.0 y) (+ x (/ x 2.0))) (- x (/ x 2.0))) (* (- 1) (- x (/ x 2.0))) (* (* (/ 2.0 y) x) (- x (/ x 2.0))) (* (- (* (/ 2.0 y) (/ x 2.0)) 1) (- x (/ x 2.0))) (* (* (/ 2.0 y) (/ x 2.0)) (- x (/ x 2.0))) (* (- (* (/ 2.0 y) x) 1) (- x (/ x 2.0))) (* (* x (/ 2.0 y)) (- x (/ x 2.0))) (* (- (* (/ x 2.0) (/ 2.0 y)) 1) (- x (/ x 2.0))) (* (* (/ x 2.0) (/ 2.0 y)) (- x (/ x 2.0))) (* (- (* x (/ 2.0 y)) 1) (- x (/ x 2.0))) (* (* (/ 2.0 y) (+ x (/ x 2.0))) (- x (/ x 2.0))) (* (- 1) (- x (/ x 2.0))) (* (- x (/ x 2.0)) (- (pow (* (/ 2.0 y) (+ x (/ x 2.0))) 3) (pow 1 3))) (* (- x (/ x 2.0)) (- (* (* (/ 2.0 y) (+ x (/ x 2.0))) (* (/ 2.0 y) (+ x (/ x 2.0)))) (* 1 1))) (* (- (pow x 3) (pow (/ x 2.0) 3)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (* 3.0 (/ x y)) (* 3.0 (/ x y)) (* 3.0 (/ x y)) (* 1.0 (/ x y)) (* 1.0 (/ x y)) (* 1.0 (/ x y)) (- (* 1.5 (/ (pow x 2) y)) (* 0.5 x)) (- (* 1.5 (/ (pow x 2) y)) (* 0.5 x)) (- (* 1.5 (/ (pow x 2) y)) (* 0.5 x)) 0.519 * * [simplify]: iteration 0 : 593 enodes (cost 962 ) 0.534 * * [simplify]: iteration 1 : 3837 enodes (cost 876 ) 0.616 * * [simplify]: iteration 2 : 5001 enodes (cost 876 ) 0.621 * [simplify]: Simplified to: (- (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1))) (- (* (- x (/ x 2.0)) (/ 2.0 y))) 1 (/ (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) (/ 2.0 y)) (/ 1 2.0) (* y (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (/ y 2.0) (- x (/ x 2.0))) (/ (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) (- x (/ x 2.0))) (/ (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) (- x (/ x 2.0))) (* (/ y 2.0) (- x (/ x 2.0))) (/ (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) (* (- x (/ x 2.0)) 2.0)) (* y (- x (/ x 2.0))) (/ (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) (/ 2.0 y)) 1 (/ 1 (* (- x (/ x 2.0)) (/ 2.0 y))) (/ (/ 2.0 y) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) (/ (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) 2.0) (/ (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (/ 2.0 y)) (/ (* (- x (/ x 2.0)) (/ 2.0 y)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* 1 (/ 2.0 y)) (/ (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- (pow x 3) (pow (/ x 2.0) 3)) 2.0)) (/ (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- (pow x 3) (pow (/ x 2.0) 3)) (- 2.0))) (/ (- x (/ x 2.0)) (/ (- (pow x 3) (pow (/ x 2.0) 3)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1))) (/ (/ (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) (+ x (/ x 2.0))) (* 2.0 1)) (/ (/ (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) (+ x (/ x 2.0))) (* (- 2.0) 1)) (/ (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) (+ x (/ x 2.0))) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) (/ (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) 2.0) (/ (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) (- 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) (/ (* (- x (/ x 2.0)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- (pow x 3) (pow (/ x 2.0) 3)) (/ 2.0 y))) (/ (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1) (* (/ 2.0 y) (+ x (/ x 2.0)))) (* (fma (/ x 2.0) (+ x (/ x 2.0)) (pow x 2)) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (fma (* (/ 2.0 y) (/ 2.0 y)) (* (+ x (/ x 2.0)) (+ x (/ x 2.0))) (fma (/ 2.0 y) (+ x (/ x 2.0)) 1)))) (* (* (- x (/ x 2.0)) (* (/ 2.0 y) (fma (/ 2.0 y) (+ x (/ x 2.0)) 1))) (fma (/ x 2.0) (+ x (/ x 2.0)) (pow x 2))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (* (+ x (/ x 2.0)) (fma (* (/ 2.0 y) (/ 2.0 y)) (* (+ x (/ x 2.0)) (+ x (/ x 2.0))) (fma (/ 2.0 y) (+ x (/ x 2.0)) 1)))) (* (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ x (/ x 2.0))) (fma (/ 2.0 y) (+ x (/ x 2.0)) 1)) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (fma (* (/ 2.0 y) (/ 2.0 y)) (* (+ x (/ x 2.0)) (+ x (/ x 2.0))) (fma (/ 2.0 y) (+ x (/ x 2.0)) 1))) (* (- x (/ x 2.0)) (* (/ 2.0 y) (fma (/ 2.0 y) (+ x (/ x 2.0)) 1))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (fma (/ x 2.0) (+ x (/ x 2.0)) (pow x 2))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ x (/ x 2.0))) (* 2.0 (+ (pow x 3) (pow (/ x 2.0) 3))) (* (+ (* (/ x 2.0) (- (/ x 2.0) x)) (pow x 2)) y) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) 2.0) (* y (- x (/ x 2.0))) (* (- 2.0) (+ (pow x 3) (pow (/ x 2.0) 3))) (* (- (fma (/ x 2.0) (- (/ x 2.0) x) (pow x 2))) y) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) (- 2.0)) (* (- y) (- x (/ x 2.0))) (+ (pow x 3) (pow (/ x 2.0) 3)) (/ y (/ 2.0 (fma (/ x 2.0) (- (/ x 2.0) x) (pow x 2)))) (- (* x x) (* (/ x 2.0) (/ x 2.0))) (* (/ y 2.0) (- x (/ x 2.0))) (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0)) (* (/ 2.0 y) (/ x 2.0)) (* (/ 2.0 y) x) (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0)) (* (/ 2.0 y) (/ x 2.0)) (* (/ 2.0 y) x) (/ (+ x (/ x 2.0)) y) (* (/ 2.0 y) (+ (pow x 3) (pow (/ x 2.0) 3))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ x (/ x 2.0))) (* 2.0 (+ x (/ x 2.0))) (* (- 2.0) (+ x (/ x 2.0))) (+ x (/ x 2.0)) (* (- (pow x 3) (pow (/ x 2.0) 3)) 2.0) (* y (fma x x (fma (/ x 2.0) (/ x 2.0) (* x (/ x 2.0))))) (* (- (pow x 3) (pow (/ x 2.0) 3)) (- 2.0)) (* (- (fma (/ x 2.0) (+ x (/ x 2.0)) (pow x 2))) y) (- (pow x 3) (pow (/ x 2.0) 3)) (/ y (/ 2.0 (fma (/ x 2.0) (+ x (/ x 2.0)) (pow x 2)))) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) 2.0) (* (+ x (/ x 2.0)) y) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) (- 2.0)) (* (+ x (/ x 2.0)) (- y)) (- (* x x) (* (/ x 2.0) (/ x 2.0))) (* (+ x (/ x 2.0)) (/ y 2.0)) (* (- x (/ x 2.0)) 2.0) (* (- x (/ x 2.0)) 2.0) (* (- x (/ x 2.0)) (- 2.0)) (- x (/ x 2.0)) (* (- (pow x 3) (pow (/ x 2.0) 3)) (/ 2.0 y)) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ x (/ x 2.0))) (* (- (pow x 3) (pow (/ x 2.0) 3)) (- (pow (* (/ 2.0 y) (+ x (/ x 2.0))) 3) 1)) (* (fma (* (/ 2.0 y) (+ x (/ x 2.0))) (* (/ 2.0 y) (+ x (/ x 2.0))) (+ 1 (* (* (/ 2.0 y) (+ x (/ x 2.0))) 1))) (fma x x (fma (/ x 2.0) (/ x 2.0) (* x (/ x 2.0))))) (* (- (pow x 3) (pow (/ x 2.0) 3)) (- (* (* (/ 2.0 y) (+ x (/ x 2.0))) (* (/ 2.0 y) (+ x (/ x 2.0)))) 1)) (* (fma (/ 2.0 y) (+ x (/ x 2.0)) 1) (fma x x (fma (/ x 2.0) (/ x 2.0) (* x (/ x 2.0))))) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) (- (pow (* (/ 2.0 y) (+ x (/ x 2.0))) 3) 1)) (* (+ x (/ x 2.0)) (fma (* (/ 2.0 y) (/ 2.0 y)) (* (+ x (/ x 2.0)) (+ x (/ x 2.0))) (fma (/ 2.0 y) (+ x (/ x 2.0)) 1))) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) (- (* (* (/ 2.0 y) (+ x (/ x 2.0))) (* (/ 2.0 y) (+ x (/ x 2.0)))) 1)) (* (fma (/ 2.0 y) (+ x (/ x 2.0)) 1) (+ x (/ x 2.0))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ x (/ x 2.0))) (- (- x (/ x 2.0))) (* (- x (/ x 2.0)) (* x (/ 2.0 y))) (* (- x (/ x 2.0)) (- (* (/ x 2.0) (/ 2.0 y)) 1)) (* (- x (/ x 2.0)) (* (/ x 2.0) (/ 2.0 y))) (* (- x (/ x 2.0)) (- (* x (/ 2.0 y)) 1)) (* (- x (/ x 2.0)) (* x (/ 2.0 y))) (* (- x (/ x 2.0)) (- (* (/ x 2.0) (/ 2.0 y)) 1)) (* (- x (/ x 2.0)) (* (/ x 2.0) (/ 2.0 y))) (* (- x (/ x 2.0)) (- (* x (/ 2.0 y)) 1)) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ x (/ x 2.0))) (- (- x (/ x 2.0))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ x (/ x 2.0))) (- (- x (/ x 2.0))) (* (- x (/ x 2.0)) (* x (/ 2.0 y))) (* (- x (/ x 2.0)) (- (* (/ x 2.0) (/ 2.0 y)) 1)) (* (- x (/ x 2.0)) (* (/ x 2.0) (/ 2.0 y))) (* (- x (/ x 2.0)) (- (* x (/ 2.0 y)) 1)) (* (- x (/ x 2.0)) (* x (/ 2.0 y))) (* (- x (/ x 2.0)) (- (* (/ x 2.0) (/ 2.0 y)) 1)) (* (- x (/ x 2.0)) (* (/ x 2.0) (/ 2.0 y))) (* (- x (/ x 2.0)) (- (* x (/ 2.0 y)) 1)) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ x (/ x 2.0))) (- (- x (/ x 2.0))) (* (- x (/ x 2.0)) (- (pow (* (/ 2.0 y) (+ x (/ x 2.0))) 3) 1)) (* (- x (/ x 2.0)) (- (* (* (/ 2.0 y) (+ x (/ x 2.0))) (* (/ 2.0 y) (+ x (/ x 2.0)))) 1)) (* (- (pow x 3) (pow (/ x 2.0) 3)) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) (- (* (/ 2.0 y) (+ x (/ x 2.0))) 1)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (* 3.0 (/ x y)) (* 3.0 (/ x y)) (* 3.0 (/ x y)) (* 1.0 (/ x y)) (* 1.0 (/ x y)) (* 1.0 (/ x y)) (- (* 1.5 (/ (pow x 2) y)) (* 0.5 x)) (- (* 1.5 (/ (pow x 2) y)) (* 0.5 x)) (- (* 1.5 (/ (pow x 2) y)) (* 0.5 x)) 0.622 * * * [progress]: adding candidates to table 0.876 * * [progress]: iteration 4 / 4 0.876 * * * [progress]: picking best candidate 0.886 * * * * [pick]: Picked # 0.886 * * * [progress]: localizing error 0.898 * * * [progress]: generating rewritten candidates 0.899 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.924 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 0.927 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.932 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2) 0.939 * * * [progress]: generating series expansions 0.939 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.939 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (* 3.0 (/ x y)) 1) y)) in (x y) around 0 0.939 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (* 3.0 (/ x y)) 1) y)) in y 0.939 * [taylor]: Taking taylor expansion of 0.5 in y 0.939 * [taylor]: Taking taylor expansion of (* (- (* 3.0 (/ x y)) 1) y) in y 0.939 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ x y)) 1) in y 0.939 * [taylor]: Taking taylor expansion of (* 3.0 (/ x y)) in y 0.939 * [taylor]: Taking taylor expansion of 3.0 in y 0.939 * [taylor]: Taking taylor expansion of (/ x y) in y 0.939 * [taylor]: Taking taylor expansion of x in y 0.939 * [taylor]: Taking taylor expansion of y in y 0.939 * [taylor]: Taking taylor expansion of 1 in y 0.940 * [taylor]: Taking taylor expansion of y in y 0.940 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (* 3.0 (/ x y)) 1) y)) in x 0.940 * [taylor]: Taking taylor expansion of 0.5 in x 0.940 * [taylor]: Taking taylor expansion of (* (- (* 3.0 (/ x y)) 1) y) in x 0.940 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ x y)) 1) in x 0.940 * [taylor]: Taking taylor expansion of (* 3.0 (/ x y)) in x 0.940 * [taylor]: Taking taylor expansion of 3.0 in x 0.940 * [taylor]: Taking taylor expansion of (/ x y) in x 0.940 * [taylor]: Taking taylor expansion of x in x 0.940 * [taylor]: Taking taylor expansion of y in x 0.940 * [taylor]: Taking taylor expansion of 1 in x 0.940 * [taylor]: Taking taylor expansion of y in x 0.940 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (* 3.0 (/ x y)) 1) y)) in x 0.940 * [taylor]: Taking taylor expansion of 0.5 in x 0.940 * [taylor]: Taking taylor expansion of (* (- (* 3.0 (/ x y)) 1) y) in x 0.940 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ x y)) 1) in x 0.940 * [taylor]: Taking taylor expansion of (* 3.0 (/ x y)) in x 0.940 * [taylor]: Taking taylor expansion of 3.0 in x 0.940 * [taylor]: Taking taylor expansion of (/ x y) in x 0.940 * [taylor]: Taking taylor expansion of x in x 0.940 * [taylor]: Taking taylor expansion of y in x 0.940 * [taylor]: Taking taylor expansion of 1 in x 0.940 * [taylor]: Taking taylor expansion of y in x 0.941 * [taylor]: Taking taylor expansion of (* -0.5 y) in y 0.941 * [taylor]: Taking taylor expansion of -0.5 in y 0.941 * [taylor]: Taking taylor expansion of y in y 0.942 * [taylor]: Taking taylor expansion of 1.5 in y 0.944 * [taylor]: Taking taylor expansion of 0 in y 0.948 * [taylor]: Taking taylor expansion of 0 in y 0.951 * [taylor]: Taking taylor expansion of 0 in y 0.952 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (* 3.0 (/ y x)) 1) y)) in (x y) around 0 0.952 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* 3.0 (/ y x)) 1) y)) in y 0.952 * [taylor]: Taking taylor expansion of 0.5 in y 0.952 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ y x)) 1) y) in y 0.952 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ y x)) 1) in y 0.952 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in y 0.952 * [taylor]: Taking taylor expansion of 3.0 in y 0.952 * [taylor]: Taking taylor expansion of (/ y x) in y 0.952 * [taylor]: Taking taylor expansion of y in y 0.952 * [taylor]: Taking taylor expansion of x in y 0.952 * [taylor]: Taking taylor expansion of 1 in y 0.952 * [taylor]: Taking taylor expansion of y in y 0.953 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* 3.0 (/ y x)) 1) y)) in x 0.953 * [taylor]: Taking taylor expansion of 0.5 in x 0.953 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ y x)) 1) y) in x 0.953 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ y x)) 1) in x 0.953 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in x 0.953 * [taylor]: Taking taylor expansion of 3.0 in x 0.954 * [taylor]: Taking taylor expansion of (/ y x) in x 0.954 * [taylor]: Taking taylor expansion of y in x 0.954 * [taylor]: Taking taylor expansion of x in x 0.954 * [taylor]: Taking taylor expansion of 1 in x 0.954 * [taylor]: Taking taylor expansion of y in x 0.954 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* 3.0 (/ y x)) 1) y)) in x 0.954 * [taylor]: Taking taylor expansion of 0.5 in x 0.954 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ y x)) 1) y) in x 0.954 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ y x)) 1) in x 0.954 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in x 0.954 * [taylor]: Taking taylor expansion of 3.0 in x 0.954 * [taylor]: Taking taylor expansion of (/ y x) in x 0.954 * [taylor]: Taking taylor expansion of y in x 0.954 * [taylor]: Taking taylor expansion of x in x 0.954 * [taylor]: Taking taylor expansion of 1 in x 0.954 * [taylor]: Taking taylor expansion of y in x 0.954 * [taylor]: Taking taylor expansion of 1.5 in y 0.956 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 0.956 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.956 * [taylor]: Taking taylor expansion of 0.5 in y 0.956 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.956 * [taylor]: Taking taylor expansion of y in y 0.960 * [taylor]: Taking taylor expansion of 0 in y 0.964 * [taylor]: Taking taylor expansion of 0 in y 0.970 * [taylor]: Taking taylor expansion of 0 in y 0.971 * [approximate]: Taking taylor expansion of (* -0.5 (/ (- (* 3.0 (/ y x)) 1) y)) in (x y) around 0 0.971 * [taylor]: Taking taylor expansion of (* -0.5 (/ (- (* 3.0 (/ y x)) 1) y)) in y 0.971 * [taylor]: Taking taylor expansion of -0.5 in y 0.971 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ y x)) 1) y) in y 0.971 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ y x)) 1) in y 0.971 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in y 0.971 * [taylor]: Taking taylor expansion of 3.0 in y 0.971 * [taylor]: Taking taylor expansion of (/ y x) in y 0.971 * [taylor]: Taking taylor expansion of y in y 0.971 * [taylor]: Taking taylor expansion of x in y 0.971 * [taylor]: Taking taylor expansion of 1 in y 0.971 * [taylor]: Taking taylor expansion of y in y 0.972 * [taylor]: Taking taylor expansion of (* -0.5 (/ (- (* 3.0 (/ y x)) 1) y)) in x 0.972 * [taylor]: Taking taylor expansion of -0.5 in x 0.972 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ y x)) 1) y) in x 0.972 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ y x)) 1) in x 0.972 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in x 0.972 * [taylor]: Taking taylor expansion of 3.0 in x 0.972 * [taylor]: Taking taylor expansion of (/ y x) in x 0.972 * [taylor]: Taking taylor expansion of y in x 0.972 * [taylor]: Taking taylor expansion of x in x 0.972 * [taylor]: Taking taylor expansion of 1 in x 0.972 * [taylor]: Taking taylor expansion of y in x 0.972 * [taylor]: Taking taylor expansion of (* -0.5 (/ (- (* 3.0 (/ y x)) 1) y)) in x 0.972 * [taylor]: Taking taylor expansion of -0.5 in x 0.972 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ y x)) 1) y) in x 0.972 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ y x)) 1) in x 0.972 * [taylor]: Taking taylor expansion of (* 3.0 (/ y x)) in x 0.972 * [taylor]: Taking taylor expansion of 3.0 in x 0.972 * [taylor]: Taking taylor expansion of (/ y x) in x 0.972 * [taylor]: Taking taylor expansion of y in x 0.972 * [taylor]: Taking taylor expansion of x in x 0.972 * [taylor]: Taking taylor expansion of 1 in x 0.972 * [taylor]: Taking taylor expansion of y in x 0.973 * [taylor]: Taking taylor expansion of -1.5 in y 0.980 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.980 * [taylor]: Taking taylor expansion of 0.5 in y 0.980 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.981 * [taylor]: Taking taylor expansion of y in y 0.984 * [taylor]: Taking taylor expansion of 0 in y 0.988 * [taylor]: Taking taylor expansion of 0 in y 0.993 * [taylor]: Taking taylor expansion of 0 in y 0.993 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 0.993 * [approximate]: Taking taylor expansion of (* 2.0 (/ x y)) in (y x) around 0 0.993 * [taylor]: Taking taylor expansion of (* 2.0 (/ x y)) in x 0.993 * [taylor]: Taking taylor expansion of 2.0 in x 0.993 * [taylor]: Taking taylor expansion of (/ x y) in x 0.993 * [taylor]: Taking taylor expansion of x in x 0.993 * [taylor]: Taking taylor expansion of y in x 0.993 * [taylor]: Taking taylor expansion of (* 2.0 (/ x y)) in y 0.993 * [taylor]: Taking taylor expansion of 2.0 in y 0.993 * [taylor]: Taking taylor expansion of (/ x y) in y 0.993 * [taylor]: Taking taylor expansion of x in y 0.993 * [taylor]: Taking taylor expansion of y in y 0.993 * [taylor]: Taking taylor expansion of (* 2.0 (/ x y)) in y 0.993 * [taylor]: Taking taylor expansion of 2.0 in y 0.993 * [taylor]: Taking taylor expansion of (/ x y) in y 0.993 * [taylor]: Taking taylor expansion of x in y 0.993 * [taylor]: Taking taylor expansion of y in y 0.994 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 0.994 * [taylor]: Taking taylor expansion of 2.0 in x 0.994 * [taylor]: Taking taylor expansion of x in x 0.995 * [taylor]: Taking taylor expansion of 0 in x 0.997 * [taylor]: Taking taylor expansion of 0 in x 1.000 * [taylor]: Taking taylor expansion of 0 in x 1.000 * [approximate]: Taking taylor expansion of (* 2.0 (/ y x)) in (y x) around 0 1.000 * [taylor]: Taking taylor expansion of (* 2.0 (/ y x)) in x 1.000 * [taylor]: Taking taylor expansion of 2.0 in x 1.000 * [taylor]: Taking taylor expansion of (/ y x) in x 1.000 * [taylor]: Taking taylor expansion of y in x 1.000 * [taylor]: Taking taylor expansion of x in x 1.000 * [taylor]: Taking taylor expansion of (* 2.0 (/ y x)) in y 1.000 * [taylor]: Taking taylor expansion of 2.0 in y 1.000 * [taylor]: Taking taylor expansion of (/ y x) in y 1.000 * [taylor]: Taking taylor expansion of y in y 1.000 * [taylor]: Taking taylor expansion of x in y 1.001 * [taylor]: Taking taylor expansion of (* 2.0 (/ y x)) in y 1.001 * [taylor]: Taking taylor expansion of 2.0 in y 1.001 * [taylor]: Taking taylor expansion of (/ y x) in y 1.001 * [taylor]: Taking taylor expansion of y in y 1.001 * [taylor]: Taking taylor expansion of x in y 1.001 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.001 * [taylor]: Taking taylor expansion of 2.0 in x 1.001 * [taylor]: Taking taylor expansion of x in x 1.002 * [taylor]: Taking taylor expansion of 0 in x 1.003 * [taylor]: Taking taylor expansion of 0 in x 1.004 * [taylor]: Taking taylor expansion of 0 in x 1.005 * [approximate]: Taking taylor expansion of (* 2.0 (/ y x)) in (y x) around 0 1.005 * [taylor]: Taking taylor expansion of (* 2.0 (/ y x)) in x 1.005 * [taylor]: Taking taylor expansion of 2.0 in x 1.005 * [taylor]: Taking taylor expansion of (/ y x) in x 1.005 * [taylor]: Taking taylor expansion of y in x 1.005 * [taylor]: Taking taylor expansion of x in x 1.005 * [taylor]: Taking taylor expansion of (* 2.0 (/ y x)) in y 1.005 * [taylor]: Taking taylor expansion of 2.0 in y 1.005 * [taylor]: Taking taylor expansion of (/ y x) in y 1.005 * [taylor]: Taking taylor expansion of y in y 1.005 * [taylor]: Taking taylor expansion of x in y 1.005 * [taylor]: Taking taylor expansion of (* 2.0 (/ y x)) in y 1.005 * [taylor]: Taking taylor expansion of 2.0 in y 1.005 * [taylor]: Taking taylor expansion of (/ y x) in y 1.005 * [taylor]: Taking taylor expansion of y in y 1.006 * [taylor]: Taking taylor expansion of x in y 1.006 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.006 * [taylor]: Taking taylor expansion of 2.0 in x 1.006 * [taylor]: Taking taylor expansion of x in x 1.007 * [taylor]: Taking taylor expansion of 0 in x 1.008 * [taylor]: Taking taylor expansion of 0 in x 1.010 * [taylor]: Taking taylor expansion of 0 in x 1.010 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 1.011 * [approximate]: Taking taylor expansion of (* 1.0 (/ x y)) in (x y) around 0 1.011 * [taylor]: Taking taylor expansion of (* 1.0 (/ x y)) in y 1.011 * [taylor]: Taking taylor expansion of 1.0 in y 1.011 * [taylor]: Taking taylor expansion of (/ x y) in y 1.011 * [taylor]: Taking taylor expansion of x in y 1.011 * [taylor]: Taking taylor expansion of y in y 1.011 * [taylor]: Taking taylor expansion of (* 1.0 (/ x y)) in x 1.011 * [taylor]: Taking taylor expansion of 1.0 in x 1.011 * [taylor]: Taking taylor expansion of (/ x y) in x 1.011 * [taylor]: Taking taylor expansion of x in x 1.011 * [taylor]: Taking taylor expansion of y in x 1.011 * [taylor]: Taking taylor expansion of (* 1.0 (/ x y)) in x 1.011 * [taylor]: Taking taylor expansion of 1.0 in x 1.011 * [taylor]: Taking taylor expansion of (/ x y) in x 1.011 * [taylor]: Taking taylor expansion of x in x 1.011 * [taylor]: Taking taylor expansion of y in x 1.011 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y 1.011 * [taylor]: Taking taylor expansion of 1.0 in y 1.011 * [taylor]: Taking taylor expansion of y in y 1.012 * [taylor]: Taking taylor expansion of 0 in y 1.013 * [taylor]: Taking taylor expansion of 0 in y 1.015 * [taylor]: Taking taylor expansion of 0 in y 1.016 * [approximate]: Taking taylor expansion of (* 1.0 (/ y x)) in (x y) around 0 1.016 * [taylor]: Taking taylor expansion of (* 1.0 (/ y x)) in y 1.016 * [taylor]: Taking taylor expansion of 1.0 in y 1.016 * [taylor]: Taking taylor expansion of (/ y x) in y 1.016 * [taylor]: Taking taylor expansion of y in y 1.016 * [taylor]: Taking taylor expansion of x in y 1.016 * [taylor]: Taking taylor expansion of (* 1.0 (/ y x)) in x 1.016 * [taylor]: Taking taylor expansion of 1.0 in x 1.016 * [taylor]: Taking taylor expansion of (/ y 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.0 (/ y x)) in x 1.016 * [taylor]: Taking taylor expansion of 1.0 in x 1.016 * [taylor]: Taking taylor expansion of (/ y 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.0 y) in y 1.016 * [taylor]: Taking taylor expansion of 1.0 in y 1.016 * [taylor]: Taking taylor expansion of y in y 1.018 * [taylor]: Taking taylor expansion of 0 in y 1.021 * [taylor]: Taking taylor expansion of 0 in y 1.023 * [taylor]: Taking taylor expansion of 0 in y 1.023 * [approximate]: Taking taylor expansion of (* 1.0 (/ y x)) in (x y) around 0 1.023 * [taylor]: Taking taylor expansion of (* 1.0 (/ y x)) in y 1.024 * [taylor]: Taking taylor expansion of 1.0 in y 1.024 * [taylor]: Taking taylor expansion of (/ y x) in y 1.024 * [taylor]: Taking taylor expansion of y in y 1.024 * [taylor]: Taking taylor expansion of x in y 1.024 * [taylor]: Taking taylor expansion of (* 1.0 (/ y x)) in x 1.024 * [taylor]: Taking taylor expansion of 1.0 in x 1.024 * [taylor]: Taking taylor expansion of (/ y x) in x 1.024 * [taylor]: Taking taylor expansion of y in x 1.024 * [taylor]: Taking taylor expansion of x in x 1.024 * [taylor]: Taking taylor expansion of (* 1.0 (/ y x)) in x 1.024 * [taylor]: Taking taylor expansion of 1.0 in x 1.024 * [taylor]: Taking taylor expansion of (/ y x) in x 1.024 * [taylor]: Taking taylor expansion of y in x 1.024 * [taylor]: Taking taylor expansion of x in x 1.024 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.024 * [taylor]: Taking taylor expansion of 1.0 in y 1.024 * [taylor]: Taking taylor expansion of y in y 1.026 * [taylor]: Taking taylor expansion of 0 in y 1.028 * [taylor]: Taking taylor expansion of 0 in y 1.030 * [taylor]: Taking taylor expansion of 0 in y 1.031 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2) 1.031 * [approximate]: Taking taylor expansion of (* 1.0 (/ x y)) in (y x) around 0 1.031 * [taylor]: Taking taylor expansion of (* 1.0 (/ x y)) in x 1.031 * [taylor]: Taking taylor expansion of 1.0 in x 1.031 * [taylor]: Taking taylor expansion of (/ x y) in x 1.031 * [taylor]: Taking taylor expansion of x in x 1.031 * [taylor]: Taking taylor expansion of y in x 1.031 * [taylor]: Taking taylor expansion of (* 1.0 (/ x y)) in y 1.031 * [taylor]: Taking taylor expansion of 1.0 in y 1.031 * [taylor]: Taking taylor expansion of (/ x y) in y 1.031 * [taylor]: Taking taylor expansion of x in y 1.031 * [taylor]: Taking taylor expansion of y in y 1.031 * [taylor]: Taking taylor expansion of (* 1.0 (/ x y)) in y 1.031 * [taylor]: Taking taylor expansion of 1.0 in y 1.031 * [taylor]: Taking taylor expansion of (/ x y) in y 1.031 * [taylor]: Taking taylor expansion of x in y 1.031 * [taylor]: Taking taylor expansion of y in y 1.031 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.031 * [taylor]: Taking taylor expansion of 1.0 in x 1.031 * [taylor]: Taking taylor expansion of x in x 1.033 * [taylor]: Taking taylor expansion of 0 in x 1.035 * [taylor]: Taking taylor expansion of 0 in x 1.037 * [taylor]: Taking taylor expansion of 0 in x 1.038 * [approximate]: Taking taylor expansion of (* 1.0 (/ y x)) in (y x) around 0 1.038 * [taylor]: Taking taylor expansion of (* 1.0 (/ y x)) in x 1.038 * [taylor]: Taking taylor expansion of 1.0 in x 1.038 * [taylor]: Taking taylor expansion of (/ y x) in x 1.038 * [taylor]: Taking taylor expansion of y in x 1.038 * [taylor]: Taking taylor expansion of x in x 1.038 * [taylor]: Taking taylor expansion of (* 1.0 (/ y x)) in y 1.038 * [taylor]: Taking taylor expansion of 1.0 in y 1.038 * [taylor]: Taking taylor expansion of (/ y x) in y 1.038 * [taylor]: Taking taylor expansion of y in y 1.038 * [taylor]: Taking taylor expansion of x in y 1.038 * [taylor]: Taking taylor expansion of (* 1.0 (/ y x)) in y 1.038 * [taylor]: Taking taylor expansion of 1.0 in y 1.038 * [taylor]: Taking taylor expansion of (/ y x) in y 1.038 * [taylor]: Taking taylor expansion of y in y 1.038 * [taylor]: Taking taylor expansion of x in y 1.038 * [taylor]: Taking taylor expansion of (/ 1.0 x) in x 1.038 * [taylor]: Taking taylor expansion of 1.0 in x 1.038 * [taylor]: Taking taylor expansion of x in x 1.039 * [taylor]: Taking taylor expansion of 0 in x 1.040 * [taylor]: Taking taylor expansion of 0 in x 1.042 * [taylor]: Taking taylor expansion of 0 in x 1.043 * [approximate]: Taking taylor expansion of (* 1.0 (/ y x)) in (y x) around 0 1.043 * [taylor]: Taking taylor expansion of (* 1.0 (/ y x)) in x 1.043 * [taylor]: Taking taylor expansion of 1.0 in x 1.043 * [taylor]: Taking taylor expansion of (/ y x) in x 1.043 * [taylor]: Taking taylor expansion of y in x 1.043 * [taylor]: Taking taylor expansion of x in x 1.043 * [taylor]: Taking taylor expansion of (* 1.0 (/ y x)) in y 1.043 * [taylor]: Taking taylor expansion of 1.0 in y 1.043 * [taylor]: Taking taylor expansion of (/ y x) in y 1.043 * [taylor]: Taking taylor expansion of y in y 1.043 * [taylor]: Taking taylor expansion of x in y 1.043 * [taylor]: Taking taylor expansion of (* 1.0 (/ y x)) in y 1.043 * [taylor]: Taking taylor expansion of 1.0 in y 1.043 * [taylor]: Taking taylor expansion of (/ y x) in y 1.043 * [taylor]: Taking taylor expansion of y in y 1.043 * [taylor]: Taking taylor expansion of x in y 1.043 * [taylor]: Taking taylor expansion of (/ 1.0 x) in x 1.043 * [taylor]: Taking taylor expansion of 1.0 in x 1.043 * [taylor]: Taking taylor expansion of x in x 1.044 * [taylor]: Taking taylor expansion of 0 in x 1.045 * [taylor]: Taking taylor expansion of 0 in x 1.047 * [taylor]: Taking taylor expansion of 0 in x 1.047 * * * [progress]: simplifying candidates 1.049 * [simplify]: Simplifying using # : (- (* (- x (/ x 2.0)) (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1))) (- (* (- x (/ x 2.0)) (/ 2.0 y))) (/ (- x (/ x 2.0)) (- x (/ x 2.0))) (/ (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1) (/ 2.0 y)) (/ (- x (/ x 2.0)) (* (- x (/ x 2.0)) 2.0)) (/ (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1) (/ 1 y)) (/ (- x (/ x 2.0)) (/ 2.0 y)) (/ (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1) (- x (/ x 2.0))) (/ (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1) (- x (/ x 2.0))) (/ (- x (/ x 2.0)) (/ 2.0 y)) (/ (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1) (* (- x (/ x 2.0)) 2.0)) (/ (- x (/ x 2.0)) (/ 1 y)) (/ (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1) (/ 2.0 y)) (/ (- x (/ x 2.0)) (- x (/ x 2.0))) (/ 1 (* (- x (/ x 2.0)) (/ 2.0 y))) (/ (* (- x (/ x 2.0)) (/ 2.0 y)) (* (- x (/ x 2.0)) (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1))) (/ (* (- x (/ x 2.0)) (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1)) (- x (/ x 2.0))) (/ (* (- x (/ x 2.0)) (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1)) (* (- x (/ x 2.0)) 2.0)) (/ (* (- x (/ x 2.0)) (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1)) (/ 2.0 y)) (/ (* (- x (/ x 2.0)) (/ 2.0 y)) (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1)) (/ (* (- x (/ x 2.0)) (/ 2.0 y)) (- x (/ x 2.0))) (/ (* (- x (/ x 2.0)) (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1)) (* (- (pow x 3) (pow (/ x 2.0) 3)) 2.0)) (/ (* (- x (/ x 2.0)) (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1)) (* (- (pow x 3) (pow (/ x 2.0) 3)) (- 2.0))) (/ (* (- x (/ x 2.0)) (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1)) (* (- (pow x 3) (pow (/ x 2.0) 3)) 1)) (/ (* (- x (/ x 2.0)) (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1)) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) 2.0)) (/ (* (- x (/ x 2.0)) (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1)) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) (- 2.0))) (/ (* (- x (/ x 2.0)) (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1)) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) 1)) (/ (* (- x (/ x 2.0)) (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1)) (- x (/ x 2.0))) (/ (* (- x (/ x 2.0)) (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1)) (* (- x (/ x 2.0)) 2.0)) (/ (* (- x (/ x 2.0)) (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1)) (* (- x (/ x 2.0)) (- 2.0))) (/ (* (- x (/ x 2.0)) (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1)) (* (- x (/ x 2.0)) 1)) (/ (* (- x (/ x 2.0)) (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1)) (* (- (pow x 3) (pow (/ x 2.0) 3)) (/ 2.0 y))) (/ (* (- x (/ x 2.0)) (- (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1)) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) (/ 2.0 y))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (* (+ (* x x) (+ (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) (+ (* (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0)))) (+ (* 1 1) (* (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1))))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (* (+ (* x x) (+ (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) (+ (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (* (+ x (/ x 2.0)) (+ (* (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0)))) (+ (* 1 1) (* (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1))))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (* (+ x (/ x 2.0)) (+ (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ (* (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0)))) (+ (* 1 1) (* (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1)))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ (+ (* (/ 2.0 y) x) (* (/ 2.0 y) (/ x 2.0))) 1)) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ (* x x) (+ (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0))))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ x (/ x 2.0))) (* (/ 1 y) x) (* 2.0 x) (* (- 2.0) x) (* 1 x) (* (- (pow x 3) (pow (/ x 2.0) 3)) 2.0) (* (+ (* x x) (+ (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) y) (* (- (pow x 3) (pow (/ x 2.0) 3)) (- 2.0)) (* (+ (* x x) (+ (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) (- y)) (* (- (pow x 3) (pow (/ x 2.0) 3)) 1) (* (+ (* x x) (+ (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) (/ y 2.0)) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) 2.0) (* (+ x (/ x 2.0)) y) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) (- 2.0)) (* (+ x (/ x 2.0)) (- y)) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) 1) (* (+ x (/ x 2.0)) (/ y 2.0)) (* (- x (/ x 2.0)) 2.0) (* (- x (/ x 2.0)) 2.0) (* (- x (/ x 2.0)) (- 2.0)) (* (- x (/ x 2.0)) 1) (* (- (pow x 3) (pow (/ x 2.0) 3)) (/ 2.0 y)) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) (/ 2.0 y)) (* 2.0 x) (* y 2.0) (* 2.0 (- x)) (* y (- 2.0)) (* 2.0 1) (* y (/ 2.0 x)) (* (- 2.0) x) (* (- y) 2.0) (* (- 2.0) (- x)) (* (- y) (- 2.0)) (* (- 2.0) 1) (* (- y) (/ 2.0 x)) (* 1 x) (* (/ y 2.0) 2.0) (* 1 (- x)) (* (/ y 2.0) (- 2.0)) (* 1 1) (* (/ y 2.0) (/ 2.0 x)) (* (/ 2.0 y) x) (* (/ 1 y) (/ x 2.0)) (* (/ 2.0 y) x) (* (/ 2.0 y) (- x)) (* (/ 2.0 y) 1) (* 2.0 (/ x 2.0)) (* (- 2.0) (/ x 2.0)) (* 1 (/ x 2.0)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (* 2.0 (/ x y)) (* 2.0 (/ x y)) (* 2.0 (/ x y)) (* 1.0 (/ x y)) (* 1.0 (/ x y)) (* 1.0 (/ x y)) (* 1.0 (/ x y)) (* 1.0 (/ x y)) (* 1.0 (/ x y)) 1.055 * * [simplify]: iteration 0 : 453 enodes (cost 664 ) 1.067 * * [simplify]: iteration 1 : 3083 enodes (cost 520 ) 1.141 * * [simplify]: iteration 2 : 5001 enodes (cost 520 ) 1.144 * [simplify]: Simplified to: (* (- (- x (/ x 2.0))) (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1))) (- (* (- x (/ x 2.0)) (/ 2.0 y))) 1 (/ (* (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) y) 2.0) (/ 1 2.0) (* (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) y) (/ (- x (/ x 2.0)) (/ 2.0 y)) (/ (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) (- x (/ x 2.0))) (/ (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) (- x (/ x 2.0))) (/ (- x (/ x 2.0)) (/ 2.0 y)) (/ (/ (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) 2.0) (- x (/ x 2.0))) (* (- x (/ x 2.0)) y) (/ (* (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) y) 2.0) 1 (/ 1 (* (- x (/ x 2.0)) (/ 2.0 y))) (/ (/ 2.0 y) (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1))) (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) (/ (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) 2.0) (/ (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) (/ (/ 2.0 y) (- x (/ x 2.0)))) (/ (- x (/ x 2.0)) (/ (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) (/ 2.0 y))) (/ 2.0 y) (* (/ (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) 2.0) (/ (- x (/ x 2.0)) (- (pow x 3) (pow (/ x 2.0) 3)))) (* (/ (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) (- (pow x 3) (pow (/ x 2.0) 3))) (/ (- x (/ x 2.0)) (- 2.0))) (/ (* (- x (/ x 2.0)) (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1))) (- (pow x 3) (pow (/ x 2.0) 3))) (* (/ (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) 2.0) (/ 1 (+ x (/ x 2.0)))) (* (/ (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) (- 2.0)) (/ 1 (+ x (/ x 2.0)))) (/ (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) (+ x (/ x 2.0))) (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) (/ (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) 2.0) (/ (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) (- 2.0)) (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) (* (/ (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) (- (pow x 3) (pow (/ x 2.0) 3))) (/ (- x (/ x 2.0)) (/ 2.0 y))) (/ (/ (fma (/ 2.0 y) (+ x (/ x 2.0)) (- 1)) (+ x (/ x 2.0))) (/ 2.0 y)) (* (fma x x (* (/ x 2.0) (+ (/ x 2.0) x))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ (+ (* (* (/ 2.0 y) (/ 2.0 y)) (* (+ x (/ x 2.0)) (+ x (/ x 2.0)))) 1) (* (/ 2.0 y) (+ x (/ x 2.0)))))) (* (fma x x (* (/ x 2.0) (+ (/ x 2.0) x))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (fma (/ 2.0 y) (+ x (/ x 2.0)) 1))) (* (- x (/ x 2.0)) (* (* (/ 2.0 y) (+ x (/ x 2.0))) (+ (+ (* (* (/ 2.0 y) (/ 2.0 y)) (* (+ x (/ x 2.0)) (+ x (/ x 2.0)))) 1) (* (/ 2.0 y) (+ x (/ x 2.0)))))) (* (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ x (/ x 2.0))) (fma (/ 2.0 y) (+ x (/ x 2.0)) 1)) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ (+ (* (* (/ 2.0 y) (/ 2.0 y)) (* (+ x (/ x 2.0)) (+ x (/ x 2.0)))) 1) (* (/ 2.0 y) (+ x (/ x 2.0))))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (fma (/ 2.0 y) (+ x (/ x 2.0)) 1)) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (fma x x (* (/ x 2.0) (+ (/ x 2.0) x)))) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ x (/ x 2.0))) (/ x y) (* 2.0 x) (* (- 2.0) x) x (* (- (pow x 3) (pow (/ x 2.0) 3)) 2.0) (* y (fma x x (fma (/ x 2.0) (/ x 2.0) (* x (/ x 2.0))))) (* (- (pow x 3) (pow (/ x 2.0) 3)) (- 2.0)) (* (- (fma x x (* (/ x 2.0) (+ (/ x 2.0) x)))) y) (- (pow x 3) (pow (/ x 2.0) 3)) (/ y (/ 2.0 (fma x x (* (/ x 2.0) (+ (/ x 2.0) x))))) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) 2.0) (* (+ x (/ x 2.0)) y) (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) (- 2.0)) (* (+ x (/ x 2.0)) (- y)) (- (* x x) (* (/ x 2.0) (/ x 2.0))) (* (+ x (/ x 2.0)) (/ y 2.0)) (* (- x (/ x 2.0)) 2.0) (* (- x (/ x 2.0)) 2.0) (* (- x (/ x 2.0)) (- 2.0)) (- x (/ x 2.0)) (* (- (pow x 3) (pow (/ x 2.0) 3)) (/ 2.0 y)) (* (* (- x (/ x 2.0)) (/ 2.0 y)) (+ x (/ x 2.0))) (* 2.0 x) (* y 2.0) (* (- 2.0) x) (* (- y) 2.0) 2.0 (* y (/ 2.0 x)) (* (- 2.0) x) (* (- y) 2.0) (* 2.0 x) (* y 2.0) (- 2.0) (* (- y) (/ 2.0 x)) x (* (/ y 2.0) 2.0) (- x) (* (/ y 2.0) (- 2.0)) 1 (* (/ y 2.0) (/ 2.0 x)) (* 2.0 (/ x y)) (/ (/ x 2.0) y) (* 2.0 (/ x y)) (* (/ 2.0 y) (- x)) (/ 2.0 y) (* 2.0 (/ x 2.0)) (* (- 2.0) (/ x 2.0)) (/ x 2.0) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (* 2.0 (/ x y)) (* 2.0 (/ x y)) (* 2.0 (/ x y)) (* 1.0 (/ x y)) (* 1.0 (/ x y)) (* 1.0 (/ x y)) (* 1.0 (/ x y)) (* 1.0 (/ x y)) (* 1.0 (/ x y)) 1.144 * * * [progress]: adding candidates to table 1.377 * [progress]: [Phase 3 of 3] Extracting. 1.377 * * [regime]: Finding splitpoints for: (# # # #) 1.378 * * * [regime-changes]: Trying 3 branch expressions: ((+ x (/ (- x y) 2.0)) y x) 1.378 * * * * [regimes]: Trying to branch on (+ x (/ (- x y) 2.0)) from (# # # #) 1.399 * * * * [regimes]: Trying to branch on y from (# # # #) 1.415 * * * * [regimes]: Trying to branch on x from (# # # #) 1.435 * * * [regime]: Found split indices: #