58.124 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying using # : (* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0)) 0.033 * * [simplify]: iteration 0 : 24 enodes (cost 7 ) 0.034 * * [simplify]: iteration 1 : 65 enodes (cost 7 ) 0.037 * * [simplify]: iteration 2 : 182 enodes (cost 7 ) 0.041 * * [simplify]: iteration 3 : 338 enodes (cost 7 ) 0.046 * * [simplify]: iteration 4 : 488 enodes (cost 7 ) 0.054 * * [simplify]: iteration 5 : 757 enodes (cost 7 ) 0.067 * * [simplify]: iteration 6 : 1166 enodes (cost 7 ) 0.083 * * [simplify]: iteration 7 : 1729 enodes (cost 7 ) 0.108 * * [simplify]: iteration 8 : 2793 enodes (cost 7 ) 0.153 * * [simplify]: iteration 9 : 5001 enodes (cost 7 ) 0.154 * [simplify]: Simplified to: (* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0)) 0.154 * * [progress]: iteration 1 / 4 0.154 * * * [progress]: picking best candidate 0.156 * * * * [pick]: Picked # 0.156 * * * [progress]: localizing error 0.165 * * * [progress]: generating rewritten candidates 0.165 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 0.167 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 0.170 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.176 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 0.180 * * * [progress]: generating series expansions 0.180 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 0.180 * [approximate]: Taking taylor expansion of (* 3.0 (sqrt x)) in (x) around 0 0.180 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt x)) in x 0.180 * [taylor]: Taking taylor expansion of 3.0 in x 0.180 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.180 * [taylor]: Taking taylor expansion of x in x 0.181 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt x)) in x 0.181 * [taylor]: Taking taylor expansion of 3.0 in x 0.181 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.181 * [taylor]: Taking taylor expansion of x in x 0.192 * [approximate]: Taking taylor expansion of (* 3.0 (sqrt (/ 1 x))) in (x) around 0 0.192 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ 1 x))) in x 0.192 * [taylor]: Taking taylor expansion of 3.0 in x 0.192 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.192 * [taylor]: Taking taylor expansion of x in x 0.193 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ 1 x))) in x 0.193 * [taylor]: Taking taylor expansion of 3.0 in x 0.193 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.193 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.193 * [taylor]: Taking taylor expansion of x in x 0.208 * [approximate]: Taking taylor expansion of (* 3.0 (sqrt (/ -1 x))) in (x) around 0 0.208 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ -1 x))) in x 0.208 * [taylor]: Taking taylor expansion of 3.0 in x 0.208 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.208 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.208 * [taylor]: Taking taylor expansion of -1 in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.209 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ -1 x))) in x 0.209 * [taylor]: Taking taylor expansion of 3.0 in x 0.209 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.209 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.209 * [taylor]: Taking taylor expansion of -1 in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.221 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 0.222 * [approximate]: Taking taylor expansion of (/ 0.1111111111111111 x) in (x) around 0 0.222 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 x) in x 0.222 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.222 * [taylor]: Taking taylor expansion of x in x 0.222 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 x) in x 0.222 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.222 * [taylor]: Taking taylor expansion of x in x 0.226 * [approximate]: Taking taylor expansion of (* 0.1111111111111111 x) in (x) around 0 0.226 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.226 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.226 * [taylor]: Taking taylor expansion of x in x 0.226 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.226 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.226 * [taylor]: Taking taylor expansion of x in x 0.232 * [approximate]: Taking taylor expansion of (* -0.1111111111111111 x) in (x) around 0 0.232 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 x) in x 0.232 * [taylor]: Taking taylor expansion of -0.1111111111111111 in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 x) in x 0.232 * [taylor]: Taking taylor expansion of -0.1111111111111111 in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.238 * * * * [progress]: [ 3 / 4 ] generating series at (2) 0.238 * [approximate]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0))) in (x y) around 0 0.238 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0))) in y 0.238 * [taylor]: Taking taylor expansion of 3.0 in y 0.238 * [taylor]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in y 0.238 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.238 * [taylor]: Taking taylor expansion of x in y 0.238 * [taylor]: Taking taylor expansion of (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0) in y 0.238 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in y 0.238 * [taylor]: Taking taylor expansion of y in y 0.238 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in y 0.238 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.238 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.238 * [taylor]: Taking taylor expansion of x in y 0.238 * [taylor]: Taking taylor expansion of 1.0 in y 0.238 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0))) in x 0.239 * [taylor]: Taking taylor expansion of 3.0 in x 0.239 * [taylor]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in x 0.239 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.239 * [taylor]: Taking taylor expansion of x in x 0.240 * [taylor]: Taking taylor expansion of (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0) in x 0.240 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in x 0.240 * [taylor]: Taking taylor expansion of y in x 0.240 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x 0.240 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.240 * [taylor]: Taking taylor expansion of x in x 0.240 * [taylor]: Taking taylor expansion of 1.0 in x 0.240 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0))) in x 0.240 * [taylor]: Taking taylor expansion of 3.0 in x 0.240 * [taylor]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in x 0.240 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.240 * [taylor]: Taking taylor expansion of x in x 0.241 * [taylor]: Taking taylor expansion of (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0) in x 0.241 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in x 0.241 * [taylor]: Taking taylor expansion of y in x 0.241 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x 0.241 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.241 * [taylor]: Taking taylor expansion of x in x 0.242 * [taylor]: Taking taylor expansion of 1.0 in x 0.243 * [taylor]: Taking taylor expansion of 0 in y 0.246 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.246 * [taylor]: Taking taylor expansion of +nan.0 in y 0.251 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 0.251 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 0.251 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 0.251 * [taylor]: Taking taylor expansion of +nan.0 in y 0.251 * [taylor]: Taking taylor expansion of y in y 0.251 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.251 * [taylor]: Taking taylor expansion of +nan.0 in y 0.259 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 0.259 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 0.259 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 0.259 * [taylor]: Taking taylor expansion of +nan.0 in y 0.259 * [taylor]: Taking taylor expansion of y in y 0.259 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.259 * [taylor]: Taking taylor expansion of +nan.0 in y 0.262 * [approximate]: Taking taylor expansion of (* 3.0 (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0))) in (x y) around 0 0.262 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0))) in y 0.262 * [taylor]: Taking taylor expansion of 3.0 in y 0.262 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0)) in y 0.262 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.262 * [taylor]: Taking taylor expansion of x in y 0.262 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0) in y 0.262 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in y 0.262 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.262 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.262 * [taylor]: Taking taylor expansion of x in y 0.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.262 * [taylor]: Taking taylor expansion of y in y 0.262 * [taylor]: Taking taylor expansion of 1.0 in y 0.262 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0))) in x 0.262 * [taylor]: Taking taylor expansion of 3.0 in x 0.262 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0)) in x 0.263 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.263 * [taylor]: Taking taylor expansion of x in x 0.264 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0) in x 0.264 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in x 0.264 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.264 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.264 * [taylor]: Taking taylor expansion of x in x 0.264 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.264 * [taylor]: Taking taylor expansion of y in x 0.264 * [taylor]: Taking taylor expansion of 1.0 in x 0.264 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0))) in x 0.264 * [taylor]: Taking taylor expansion of 3.0 in x 0.264 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0)) in x 0.264 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.264 * [taylor]: Taking taylor expansion of x in x 0.266 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0) in x 0.266 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in x 0.266 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.266 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.266 * [taylor]: Taking taylor expansion of x in x 0.266 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.266 * [taylor]: Taking taylor expansion of y in x 0.266 * [taylor]: Taking taylor expansion of 1.0 in x 0.267 * [taylor]: Taking taylor expansion of 0 in y 0.270 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.270 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.270 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.270 * [taylor]: Taking taylor expansion of +nan.0 in y 0.270 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.270 * [taylor]: Taking taylor expansion of y in y 0.270 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.270 * [taylor]: Taking taylor expansion of +nan.0 in y 0.276 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.276 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.276 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.276 * [taylor]: Taking taylor expansion of +nan.0 in y 0.276 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.276 * [taylor]: Taking taylor expansion of y in y 0.277 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.277 * [taylor]: Taking taylor expansion of +nan.0 in y 0.281 * [approximate]: Taking taylor expansion of (* -3.0 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in (x y) around 0 0.281 * [taylor]: Taking taylor expansion of (* -3.0 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in y 0.281 * [taylor]: Taking taylor expansion of -3.0 in y 0.281 * [taylor]: Taking taylor expansion of (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x))) in y 0.281 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) in y 0.281 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.281 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.281 * [taylor]: Taking taylor expansion of x in y 0.281 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 0.281 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.281 * [taylor]: Taking taylor expansion of y in y 0.282 * [taylor]: Taking taylor expansion of 1.0 in y 0.282 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.282 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.282 * [taylor]: Taking taylor expansion of -1 in y 0.282 * [taylor]: Taking taylor expansion of x in y 0.282 * [taylor]: Taking taylor expansion of (* -3.0 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in x 0.282 * [taylor]: Taking taylor expansion of -3.0 in x 0.282 * [taylor]: Taking taylor expansion of (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x))) in x 0.282 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) in x 0.282 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.282 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.282 * [taylor]: Taking taylor expansion of x in x 0.282 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 0.282 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.282 * [taylor]: Taking taylor expansion of y in x 0.282 * [taylor]: Taking taylor expansion of 1.0 in x 0.282 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.282 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.282 * [taylor]: Taking taylor expansion of -1 in x 0.282 * [taylor]: Taking taylor expansion of x in x 0.284 * [taylor]: Taking taylor expansion of (* -3.0 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in x 0.284 * [taylor]: Taking taylor expansion of -3.0 in x 0.284 * [taylor]: Taking taylor expansion of (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x))) in x 0.284 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) in x 0.284 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.284 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.284 * [taylor]: Taking taylor expansion of x in x 0.284 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 0.284 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.284 * [taylor]: Taking taylor expansion of y in x 0.284 * [taylor]: Taking taylor expansion of 1.0 in x 0.284 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.284 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.284 * [taylor]: Taking taylor expansion of -1 in x 0.284 * [taylor]: Taking taylor expansion of x in x 0.288 * [taylor]: Taking taylor expansion of 0 in y 0.291 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.291 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.291 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.291 * [taylor]: Taking taylor expansion of +nan.0 in y 0.291 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.291 * [taylor]: Taking taylor expansion of y in y 0.291 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.291 * [taylor]: Taking taylor expansion of +nan.0 in y 0.297 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.297 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.298 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.298 * [taylor]: Taking taylor expansion of +nan.0 in y 0.298 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.298 * [taylor]: Taking taylor expansion of y in y 0.298 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.298 * [taylor]: Taking taylor expansion of +nan.0 in y 0.302 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 0.302 * [approximate]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in (y x) around 0 0.302 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in x 0.302 * [taylor]: Taking taylor expansion of y in x 0.302 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x 0.302 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.302 * [taylor]: Taking taylor expansion of x in x 0.303 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in y 0.303 * [taylor]: Taking taylor expansion of y in y 0.303 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in y 0.303 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.303 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.303 * [taylor]: Taking taylor expansion of x in y 0.303 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in y 0.303 * [taylor]: Taking taylor expansion of y in y 0.303 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in y 0.303 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.303 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.303 * [taylor]: Taking taylor expansion of x in y 0.303 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x 0.303 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.303 * [taylor]: Taking taylor expansion of x in x 0.304 * [taylor]: Taking taylor expansion of 1 in x 0.306 * [taylor]: Taking taylor expansion of 0 in x 0.308 * [taylor]: Taking taylor expansion of 0 in x 0.310 * [taylor]: Taking taylor expansion of 0 in x 0.311 * [approximate]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in (y x) around 0 0.311 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in x 0.311 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.311 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.311 * [taylor]: Taking taylor expansion of y in x 0.311 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in y 0.311 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.311 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.311 * [taylor]: Taking taylor expansion of x in y 0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.311 * [taylor]: Taking taylor expansion of y in y 0.311 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in y 0.311 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.311 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.311 * [taylor]: Taking taylor expansion of x in y 0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.311 * [taylor]: Taking taylor expansion of y in y 0.312 * [taylor]: Taking taylor expansion of 1 in x 0.312 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.312 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.312 * [taylor]: Taking taylor expansion of x in x 0.314 * [taylor]: Taking taylor expansion of 0 in x 0.316 * [taylor]: Taking taylor expansion of 0 in x 0.318 * [taylor]: Taking taylor expansion of 0 in x 0.318 * [approximate]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y))) in (y x) around 0 0.318 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y))) in x 0.318 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in x 0.318 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.318 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.318 * [taylor]: Taking taylor expansion of x in x 0.318 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.318 * [taylor]: Taking taylor expansion of y in x 0.319 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y))) in y 0.319 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in y 0.319 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.319 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.319 * [taylor]: Taking taylor expansion of x in y 0.319 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.319 * [taylor]: Taking taylor expansion of y in y 0.319 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y))) in y 0.319 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in y 0.319 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.319 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.319 * [taylor]: Taking taylor expansion of x in y 0.319 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.319 * [taylor]: Taking taylor expansion of y in y 0.320 * [taylor]: Taking taylor expansion of -1 in x 0.320 * [taylor]: Taking taylor expansion of (- (* 0.1111111111111111 x)) in x 0.320 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.320 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.320 * [taylor]: Taking taylor expansion of x in x 0.322 * [taylor]: Taking taylor expansion of 0 in x 0.325 * [taylor]: Taking taylor expansion of 0 in x 0.327 * [taylor]: Taking taylor expansion of 0 in x 0.328 * * * [progress]: simplifying candidates 0.328 * [simplify]: Simplifying using # : (- 1.0) (- (* x 9.0)) (/ 1 (* x 9.0)) (/ (* x 9.0) 1.0) (/ 1.0 x) (/ 1.0 9.0) (* (* 3.0 (sqrt x)) (+ y (/ 1.0 (* x 9.0)))) (* (* 3.0 (sqrt x)) (- 1.0)) (* (* 3.0 (sqrt x)) y) (* (* 3.0 (sqrt x)) (- (/ 1.0 (* x 9.0)) 1.0)) (* (* 3.0 (sqrt x)) (/ 1.0 (* x 9.0))) (* (* 3.0 (sqrt x)) (- y 1.0)) (* (* 3.0 (sqrt x)) (+ y (/ 1.0 (* x 9.0)))) (* (* 3.0 (sqrt x)) (- 1.0)) (* (+ y (/ 1.0 (* x 9.0))) (* 3.0 (sqrt x))) (* (- 1.0) (* 3.0 (sqrt x))) (* y (* 3.0 (sqrt x))) (* (- (/ 1.0 (* x 9.0)) 1.0) (* 3.0 (sqrt x))) (* (/ 1.0 (* x 9.0)) (* 3.0 (sqrt x))) (* (- y 1.0) (* 3.0 (sqrt x))) (* (+ y (/ 1.0 (* x 9.0))) (* 3.0 (sqrt x))) (* (- 1.0) (* 3.0 (sqrt x))) (* (sqrt x) (- (+ y (/ 1.0 (* x 9.0))) 1.0)) (* 3.0 (- (+ y (/ 1.0 (* x 9.0))) 1.0)) (* (* 3.0 (sqrt x)) (- (pow (+ y (/ 1.0 (* x 9.0))) 3) (pow 1.0 3))) (* (* 3.0 (sqrt x)) (- (* (+ y (/ 1.0 (* x 9.0))) (+ y (/ 1.0 (* x 9.0)))) (* 1.0 1.0))) (+ (pow y 3) (pow (/ 1.0 (* x 9.0)) 3)) (+ (* y y) (- (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))) (* y (/ 1.0 (* x 9.0))))) (- (* y y) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0)))) (- y (/ 1.0 (* x 9.0))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 x)))))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) (/ 0.1111111111111111 x) (/ 0.1111111111111111 x) (/ 0.1111111111111111 x) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- +nan.0))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (+ y (* 0.1111111111111111 (/ 1 x))) (+ y (* 0.1111111111111111 (/ 1 x))) (+ y (* 0.1111111111111111 (/ 1 x))) 0.332 * * [simplify]: iteration 0 : 250 enodes (cost 206 ) 0.337 * * [simplify]: iteration 1 : 745 enodes (cost 191 ) 0.352 * * [simplify]: iteration 2 : 3056 enodes (cost 183 ) 0.417 * * [simplify]: iteration 3 : 5001 enodes (cost 183 ) 0.418 * [simplify]: Simplified to: (- 1.0) (- (* x 9.0)) (/ 1 (* x 9.0)) (/ (* x 9.0) 1.0) (/ 1.0 x) (/ 1.0 9.0) (* (* 3.0 (sqrt x)) (+ y (/ 1.0 (* x 9.0)))) (* (* 3.0 (sqrt x)) (- 1.0)) (* (* 3.0 (sqrt x)) y) (* (* 3.0 (sqrt x)) (- (/ 1.0 (* x 9.0)) 1.0)) (* (* 3.0 (sqrt x)) (/ 1.0 (* x 9.0))) (* (* 3.0 (sqrt x)) (- y 1.0)) (* (* 3.0 (sqrt x)) (+ y (/ 1.0 (* x 9.0)))) (* (* 3.0 (sqrt x)) (- 1.0)) (* (* 3.0 (sqrt x)) (+ y (/ 1.0 (* x 9.0)))) (* (* 3.0 (sqrt x)) (- 1.0)) (* (* 3.0 (sqrt x)) y) (* (* 3.0 (sqrt x)) (- (/ 1.0 (* x 9.0)) 1.0)) (* (* 3.0 (sqrt x)) (/ 1.0 (* x 9.0))) (* (* 3.0 (sqrt x)) (- y 1.0)) (* (* 3.0 (sqrt x)) (+ y (/ 1.0 (* x 9.0)))) (* (* 3.0 (sqrt x)) (- 1.0)) (* (sqrt x) (- (+ y (/ 1.0 (* x 9.0))) 1.0)) (* 3.0 (- (+ y (/ 1.0 (* x 9.0))) 1.0)) (* (* 3.0 (sqrt x)) (- (pow (+ y (/ 1.0 (* x 9.0))) 3) (pow 1.0 3))) (* (* 3.0 (sqrt x)) (- (* (+ y (/ 1.0 (* x 9.0))) (+ y (/ 1.0 (* x 9.0)))) (* 1.0 1.0))) (+ (pow y 3) (pow (/ 1.0 (* x 9.0)) 3)) (+ (* (/ 1.0 (* x 9.0)) (- (/ 1.0 (* x 9.0)) y)) (* y y)) (- (* y y) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0)))) (- y (/ 1.0 (* x 9.0))) (* +nan.0 (+ (- (pow x 2)) (- (pow x 3) x))) (- (- (/ +nan.0 x) +nan.0) (/ +nan.0 (pow x 2))) (- (- (/ +nan.0 x) +nan.0) (/ +nan.0 (pow x 2))) (/ 0.1111111111111111 x) (/ 0.1111111111111111 x) (/ 0.1111111111111111 x) (- (- (* +nan.0 x) +nan.0) (* +nan.0 (pow x 2))) (- (- (* +nan.0 y) +nan.0) (* +nan.0 (/ y x))) (- (- (* +nan.0 y) +nan.0) (* +nan.0 (/ y x))) (+ y (* 0.1111111111111111 (/ 1 x))) (+ y (* 0.1111111111111111 (/ 1 x))) (+ y (* 0.1111111111111111 (/ 1 x))) 0.419 * * * [progress]: adding candidates to table 0.479 * * [progress]: iteration 2 / 4 0.480 * * * [progress]: picking best candidate 0.490 * * * * [pick]: Picked # 0.490 * * * [progress]: localizing error 0.502 * * * [progress]: generating rewritten candidates 0.502 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.509 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2) 0.512 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.517 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 0.521 * * * [progress]: generating series expansions 0.521 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.522 * [approximate]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0))) in (x y) around 0 0.522 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0))) in y 0.522 * [taylor]: Taking taylor expansion of 3.0 in y 0.522 * [taylor]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in y 0.522 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.522 * [taylor]: Taking taylor expansion of x in y 0.522 * [taylor]: Taking taylor expansion of (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0) in y 0.522 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in y 0.522 * [taylor]: Taking taylor expansion of y in y 0.522 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in y 0.522 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.522 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.522 * [taylor]: Taking taylor expansion of x in y 0.522 * [taylor]: Taking taylor expansion of 1.0 in y 0.522 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0))) in x 0.522 * [taylor]: Taking taylor expansion of 3.0 in x 0.522 * [taylor]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in x 0.522 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.522 * [taylor]: Taking taylor expansion of x in x 0.524 * [taylor]: Taking taylor expansion of (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0) in x 0.524 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in x 0.524 * [taylor]: Taking taylor expansion of y in x 0.524 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x 0.524 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.524 * [taylor]: Taking taylor expansion of x in x 0.524 * [taylor]: Taking taylor expansion of 1.0 in x 0.524 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0))) in x 0.524 * [taylor]: Taking taylor expansion of 3.0 in x 0.524 * [taylor]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in x 0.524 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.524 * [taylor]: Taking taylor expansion of x in x 0.525 * [taylor]: Taking taylor expansion of (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0) in x 0.525 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in x 0.525 * [taylor]: Taking taylor expansion of y in x 0.525 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x 0.525 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.525 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.525 * [taylor]: Taking taylor expansion of x in x 0.526 * [taylor]: Taking taylor expansion of 1.0 in x 0.527 * [taylor]: Taking taylor expansion of 0 in y 0.530 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.530 * [taylor]: Taking taylor expansion of +nan.0 in y 0.535 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 0.535 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 0.535 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 0.535 * [taylor]: Taking taylor expansion of +nan.0 in y 0.535 * [taylor]: Taking taylor expansion of y in y 0.536 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.536 * [taylor]: Taking taylor expansion of +nan.0 in y 0.543 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 0.543 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 0.543 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 0.543 * [taylor]: Taking taylor expansion of +nan.0 in y 0.543 * [taylor]: Taking taylor expansion of y in y 0.543 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.543 * [taylor]: Taking taylor expansion of +nan.0 in y 0.546 * [approximate]: Taking taylor expansion of (* 3.0 (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0))) in (x y) around 0 0.546 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0))) in y 0.546 * [taylor]: Taking taylor expansion of 3.0 in y 0.546 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0)) in y 0.546 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.546 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.546 * [taylor]: Taking taylor expansion of x in y 0.547 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0) in y 0.547 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in y 0.547 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.547 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.547 * [taylor]: Taking taylor expansion of x in y 0.547 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.547 * [taylor]: Taking taylor expansion of y in y 0.547 * [taylor]: Taking taylor expansion of 1.0 in y 0.547 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0))) in x 0.547 * [taylor]: Taking taylor expansion of 3.0 in x 0.547 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0)) in x 0.547 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.547 * [taylor]: Taking taylor expansion of x in x 0.548 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0) in x 0.548 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in x 0.548 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.548 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.548 * [taylor]: Taking taylor expansion of x in x 0.548 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.548 * [taylor]: Taking taylor expansion of y in x 0.549 * [taylor]: Taking taylor expansion of 1.0 in x 0.549 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0))) in x 0.549 * [taylor]: Taking taylor expansion of 3.0 in x 0.549 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0)) in x 0.549 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.549 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.549 * [taylor]: Taking taylor expansion of x in x 0.550 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0) in x 0.550 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in x 0.550 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.550 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.550 * [taylor]: Taking taylor expansion of x in x 0.550 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.550 * [taylor]: Taking taylor expansion of y in x 0.550 * [taylor]: Taking taylor expansion of 1.0 in x 0.551 * [taylor]: Taking taylor expansion of 0 in y 0.554 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.554 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.554 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.554 * [taylor]: Taking taylor expansion of +nan.0 in y 0.554 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.554 * [taylor]: Taking taylor expansion of y in y 0.554 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.554 * [taylor]: Taking taylor expansion of +nan.0 in y 0.560 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.560 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.560 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.561 * [taylor]: Taking taylor expansion of +nan.0 in y 0.561 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.561 * [taylor]: Taking taylor expansion of y in y 0.561 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.561 * [taylor]: Taking taylor expansion of +nan.0 in y 0.565 * [approximate]: Taking taylor expansion of (* -3.0 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in (x y) around 0 0.565 * [taylor]: Taking taylor expansion of (* -3.0 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in y 0.565 * [taylor]: Taking taylor expansion of -3.0 in y 0.565 * [taylor]: Taking taylor expansion of (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x))) in y 0.565 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) in y 0.565 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.566 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.566 * [taylor]: Taking taylor expansion of x in y 0.566 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 0.566 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.566 * [taylor]: Taking taylor expansion of y in y 0.566 * [taylor]: Taking taylor expansion of 1.0 in y 0.566 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.566 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.566 * [taylor]: Taking taylor expansion of -1 in y 0.566 * [taylor]: Taking taylor expansion of x in y 0.566 * [taylor]: Taking taylor expansion of (* -3.0 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in x 0.566 * [taylor]: Taking taylor expansion of -3.0 in x 0.566 * [taylor]: Taking taylor expansion of (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x))) in x 0.566 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) in x 0.566 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.566 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.566 * [taylor]: Taking taylor expansion of x in x 0.566 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 0.566 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.566 * [taylor]: Taking taylor expansion of y in x 0.566 * [taylor]: Taking taylor expansion of 1.0 in x 0.566 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.566 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.566 * [taylor]: Taking taylor expansion of -1 in x 0.566 * [taylor]: Taking taylor expansion of x in x 0.568 * [taylor]: Taking taylor expansion of (* -3.0 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in x 0.568 * [taylor]: Taking taylor expansion of -3.0 in x 0.568 * [taylor]: Taking taylor expansion of (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x))) in x 0.568 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) in x 0.568 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.568 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.568 * [taylor]: Taking taylor expansion of x in x 0.568 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 0.568 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.568 * [taylor]: Taking taylor expansion of y in x 0.568 * [taylor]: Taking taylor expansion of 1.0 in x 0.568 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.568 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.568 * [taylor]: Taking taylor expansion of -1 in x 0.568 * [taylor]: Taking taylor expansion of x in x 0.570 * [taylor]: Taking taylor expansion of 0 in y 0.572 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.572 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.572 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.572 * [taylor]: Taking taylor expansion of +nan.0 in y 0.572 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.572 * [taylor]: Taking taylor expansion of y in y 0.573 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.573 * [taylor]: Taking taylor expansion of +nan.0 in y 0.579 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.579 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.579 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.579 * [taylor]: Taking taylor expansion of +nan.0 in y 0.580 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.580 * [taylor]: Taking taylor expansion of y in y 0.580 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.580 * [taylor]: Taking taylor expansion of +nan.0 in y 0.584 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2) 0.584 * [approximate]: Taking taylor expansion of (/ 0.1111111111111111 x) in (x) around 0 0.584 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 x) in x 0.584 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.584 * [taylor]: Taking taylor expansion of x in x 0.585 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 x) in x 0.585 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.585 * [taylor]: Taking taylor expansion of x in x 0.592 * [approximate]: Taking taylor expansion of (* 0.1111111111111111 x) in (x) around 0 0.592 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.592 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.592 * [taylor]: Taking taylor expansion of x in x 0.592 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.592 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.592 * [taylor]: Taking taylor expansion of x in x 0.598 * [approximate]: Taking taylor expansion of (* -0.1111111111111111 x) in (x) around 0 0.598 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 x) in x 0.598 * [taylor]: Taking taylor expansion of -0.1111111111111111 in x 0.598 * [taylor]: Taking taylor expansion of x in x 0.598 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 x) in x 0.598 * [taylor]: Taking taylor expansion of -0.1111111111111111 in x 0.598 * [taylor]: Taking taylor expansion of x in x 0.604 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.604 * [approximate]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in (x y) around 0 0.604 * [taylor]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in y 0.604 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.604 * [taylor]: Taking taylor expansion of x in y 0.604 * [taylor]: Taking taylor expansion of (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0) in y 0.604 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in y 0.604 * [taylor]: Taking taylor expansion of y in y 0.604 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in y 0.604 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.604 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.604 * [taylor]: Taking taylor expansion of x in y 0.604 * [taylor]: Taking taylor expansion of 1.0 in y 0.604 * [taylor]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in x 0.604 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.604 * [taylor]: Taking taylor expansion of x in x 0.605 * [taylor]: Taking taylor expansion of (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0) in x 0.605 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in x 0.605 * [taylor]: Taking taylor expansion of y in x 0.605 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x 0.605 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.605 * [taylor]: Taking taylor expansion of x in x 0.606 * [taylor]: Taking taylor expansion of 1.0 in x 0.606 * [taylor]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in x 0.606 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.606 * [taylor]: Taking taylor expansion of x in x 0.607 * [taylor]: Taking taylor expansion of (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0) in x 0.607 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in x 0.607 * [taylor]: Taking taylor expansion of y in x 0.607 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x 0.607 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.607 * [taylor]: Taking taylor expansion of x in x 0.607 * [taylor]: Taking taylor expansion of 1.0 in x 0.608 * [taylor]: Taking taylor expansion of 0 in y 0.610 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.610 * [taylor]: Taking taylor expansion of +nan.0 in y 0.614 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 0.614 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 0.614 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 0.614 * [taylor]: Taking taylor expansion of +nan.0 in y 0.614 * [taylor]: Taking taylor expansion of y in y 0.614 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.614 * [taylor]: Taking taylor expansion of +nan.0 in y 0.621 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 0.621 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 0.621 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 0.621 * [taylor]: Taking taylor expansion of +nan.0 in y 0.621 * [taylor]: Taking taylor expansion of y in y 0.621 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.621 * [taylor]: Taking taylor expansion of +nan.0 in y 0.624 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0)) in (x y) around 0 0.624 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0)) in y 0.624 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.624 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.624 * [taylor]: Taking taylor expansion of x in y 0.624 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0) in y 0.624 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in y 0.624 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.624 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.624 * [taylor]: Taking taylor expansion of x in y 0.624 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.624 * [taylor]: Taking taylor expansion of y in y 0.625 * [taylor]: Taking taylor expansion of 1.0 in y 0.625 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0)) in x 0.625 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.625 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.625 * [taylor]: Taking taylor expansion of x in x 0.626 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0) in x 0.626 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in x 0.626 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.626 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.626 * [taylor]: Taking taylor expansion of x in x 0.626 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.626 * [taylor]: Taking taylor expansion of y in x 0.626 * [taylor]: Taking taylor expansion of 1.0 in x 0.626 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0)) in x 0.626 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.626 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.626 * [taylor]: Taking taylor expansion of x in x 0.628 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0) in x 0.628 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in x 0.628 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.628 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.628 * [taylor]: Taking taylor expansion of x in x 0.628 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.628 * [taylor]: Taking taylor expansion of y in x 0.628 * [taylor]: Taking taylor expansion of 1.0 in x 0.629 * [taylor]: Taking taylor expansion of 0 in y 0.631 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.631 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.631 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.631 * [taylor]: Taking taylor expansion of +nan.0 in y 0.631 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.631 * [taylor]: Taking taylor expansion of y in y 0.631 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.631 * [taylor]: Taking taylor expansion of +nan.0 in y 0.637 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.637 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.637 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.637 * [taylor]: Taking taylor expansion of +nan.0 in y 0.637 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.637 * [taylor]: Taking taylor expansion of y in y 0.637 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.637 * [taylor]: Taking taylor expansion of +nan.0 in y 0.642 * [approximate]: Taking taylor expansion of (* -1 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in (x y) around 0 0.642 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in y 0.642 * [taylor]: Taking taylor expansion of -1 in y 0.642 * [taylor]: Taking taylor expansion of (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x))) in y 0.642 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) in y 0.642 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.642 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.642 * [taylor]: Taking taylor expansion of x in y 0.642 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 0.642 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.642 * [taylor]: Taking taylor expansion of y in y 0.642 * [taylor]: Taking taylor expansion of 1.0 in y 0.642 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.642 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.642 * [taylor]: Taking taylor expansion of -1 in y 0.642 * [taylor]: Taking taylor expansion of x in y 0.642 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in x 0.642 * [taylor]: Taking taylor expansion of -1 in x 0.642 * [taylor]: Taking taylor expansion of (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x))) in x 0.642 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) in x 0.642 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.642 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.642 * [taylor]: Taking taylor expansion of x in x 0.642 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 0.642 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.642 * [taylor]: Taking taylor expansion of y in x 0.642 * [taylor]: Taking taylor expansion of 1.0 in x 0.642 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.643 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.643 * [taylor]: Taking taylor expansion of -1 in x 0.643 * [taylor]: Taking taylor expansion of x in x 0.644 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in x 0.644 * [taylor]: Taking taylor expansion of -1 in x 0.644 * [taylor]: Taking taylor expansion of (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x))) in x 0.644 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) in x 0.644 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.644 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.644 * [taylor]: Taking taylor expansion of x in x 0.644 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 0.644 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.644 * [taylor]: Taking taylor expansion of y in x 0.644 * [taylor]: Taking taylor expansion of 1.0 in x 0.644 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.644 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.644 * [taylor]: Taking taylor expansion of -1 in x 0.644 * [taylor]: Taking taylor expansion of x in x 0.646 * [taylor]: Taking taylor expansion of 0 in y 0.648 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.648 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.648 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.649 * [taylor]: Taking taylor expansion of +nan.0 in y 0.649 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.649 * [taylor]: Taking taylor expansion of y in y 0.649 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.649 * [taylor]: Taking taylor expansion of +nan.0 in y 0.655 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.655 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.655 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.655 * [taylor]: Taking taylor expansion of +nan.0 in y 0.655 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.655 * [taylor]: Taking taylor expansion of y in y 0.656 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.656 * [taylor]: Taking taylor expansion of +nan.0 in y 0.660 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 0.660 * [approximate]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in (y x) around 0 0.660 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in x 0.660 * [taylor]: Taking taylor expansion of y in x 0.660 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x 0.660 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.660 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.660 * [taylor]: Taking taylor expansion of x in x 0.660 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in y 0.661 * [taylor]: Taking taylor expansion of y in y 0.661 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in y 0.661 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.661 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.661 * [taylor]: Taking taylor expansion of x in y 0.661 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in y 0.661 * [taylor]: Taking taylor expansion of y in y 0.661 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in y 0.661 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.661 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.661 * [taylor]: Taking taylor expansion of x in y 0.661 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x 0.661 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.661 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.661 * [taylor]: Taking taylor expansion of x in x 0.662 * [taylor]: Taking taylor expansion of 1 in x 0.664 * [taylor]: Taking taylor expansion of 0 in x 0.666 * [taylor]: Taking taylor expansion of 0 in x 0.668 * [taylor]: Taking taylor expansion of 0 in x 0.668 * [approximate]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in (y x) around 0 0.669 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in x 0.669 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.669 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.669 * [taylor]: Taking taylor expansion of x in x 0.669 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.669 * [taylor]: Taking taylor expansion of y in x 0.669 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in y 0.669 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.669 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.669 * [taylor]: Taking taylor expansion of x in y 0.669 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.669 * [taylor]: Taking taylor expansion of y in y 0.669 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in y 0.669 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.669 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.669 * [taylor]: Taking taylor expansion of x in y 0.669 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.669 * [taylor]: Taking taylor expansion of y in y 0.670 * [taylor]: Taking taylor expansion of 1 in x 0.670 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.670 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.670 * [taylor]: Taking taylor expansion of x in x 0.672 * [taylor]: Taking taylor expansion of 0 in x 0.676 * [taylor]: Taking taylor expansion of 0 in x 0.679 * [taylor]: Taking taylor expansion of 0 in x 0.679 * [approximate]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y))) in (y x) around 0 0.679 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y))) in x 0.679 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in x 0.679 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.679 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.679 * [taylor]: Taking taylor expansion of x in x 0.679 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.679 * [taylor]: Taking taylor expansion of y in x 0.679 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y))) in y 0.679 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in y 0.679 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.679 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.679 * [taylor]: Taking taylor expansion of x in y 0.679 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.679 * [taylor]: Taking taylor expansion of y in y 0.680 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y))) in y 0.680 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in y 0.680 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.680 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.680 * [taylor]: Taking taylor expansion of x in y 0.680 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.680 * [taylor]: Taking taylor expansion of y in y 0.680 * [taylor]: Taking taylor expansion of -1 in x 0.681 * [taylor]: Taking taylor expansion of (- (* 0.1111111111111111 x)) in x 0.681 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.681 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.681 * [taylor]: Taking taylor expansion of x in x 0.683 * [taylor]: Taking taylor expansion of 0 in x 0.686 * [taylor]: Taking taylor expansion of 0 in x 0.688 * [taylor]: Taking taylor expansion of 0 in x 0.688 * * * [progress]: simplifying candidates 0.689 * [simplify]: Simplifying using # : (* 3.0 (* (sqrt x) (+ y (/ 1.0 (* x 9.0))))) (* 3.0 (* (sqrt x) (- 1.0))) (* 3.0 (* (sqrt x) y)) (* 3.0 (* (sqrt x) (- (/ 1.0 (* x 9.0)) 1.0))) (* 3.0 (* (sqrt x) (/ 1.0 (* x 9.0)))) (* 3.0 (* (sqrt x) (- y 1.0))) (* 3.0 (* (sqrt x) (+ y (/ 1.0 (* x 9.0))))) (* 3.0 (* (sqrt x) (- 1.0))) (* 3.0 (* (+ y (/ 1.0 (* x 9.0))) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* 3.0 (* y (sqrt x))) (* 3.0 (* (- (/ 1.0 (* x 9.0)) 1.0) (sqrt x))) (* 3.0 (* (/ 1.0 (* x 9.0)) (sqrt x))) (* 3.0 (* (- y 1.0) (sqrt x))) (* 3.0 (* (+ y (/ 1.0 (* x 9.0))) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* (* (sqrt x) (+ y (/ 1.0 (* x 9.0)))) 3.0) (* (* (sqrt x) (- 1.0)) 3.0) (* (* (sqrt x) y) 3.0) (* (* (sqrt x) (- (/ 1.0 (* x 9.0)) 1.0)) 3.0) (* (* (sqrt x) (/ 1.0 (* x 9.0))) 3.0) (* (* (sqrt x) (- y 1.0)) 3.0) (* (* (sqrt x) (+ y (/ 1.0 (* x 9.0)))) 3.0) (* (* (sqrt x) (- 1.0)) 3.0) (* (* (+ y (/ 1.0 (* x 9.0))) (sqrt x)) 3.0) (* (* (- 1.0) (sqrt x)) 3.0) (* (* y (sqrt x)) 3.0) (* (* (- (/ 1.0 (* x 9.0)) 1.0) (sqrt x)) 3.0) (* (* (/ 1.0 (* x 9.0)) (sqrt x)) 3.0) (* (* (- y 1.0) (sqrt x)) 3.0) (* (* (+ y (/ 1.0 (* x 9.0))) (sqrt x)) 3.0) (* (* (- 1.0) (sqrt x)) 3.0) (* 3.0 (sqrt x)) (* 3.0 (- (+ y (/ 1.0 (* x 9.0))) 1.0)) (* 3.0 (* (sqrt x) (- (pow (+ y (/ 1.0 (* x 9.0))) 3) (pow 1.0 3)))) (* 3.0 (* (sqrt x) (- (* (+ y (/ 1.0 (* x 9.0))) (+ y (/ 1.0 (* x 9.0)))) (* 1.0 1.0)))) (- 1.0) (- (* x 9.0)) (/ 1 (* x 9.0)) (/ (* x 9.0) 1.0) (/ 1.0 x) (/ 1.0 9.0) (* (sqrt x) (+ y (/ 1.0 (* x 9.0)))) (* (sqrt x) (- 1.0)) (* (sqrt x) y) (* (sqrt x) (- (/ 1.0 (* x 9.0)) 1.0)) (* (sqrt x) (/ 1.0 (* x 9.0))) (* (sqrt x) (- y 1.0)) (* (sqrt x) (+ y (/ 1.0 (* x 9.0)))) (* (sqrt x) (- 1.0)) (* (+ y (/ 1.0 (* x 9.0))) (sqrt x)) (* (- 1.0) (sqrt x)) (* y (sqrt x)) (* (- (/ 1.0 (* x 9.0)) 1.0) (sqrt x)) (* (/ 1.0 (* x 9.0)) (sqrt x)) (* (- y 1.0) (sqrt x)) (* (+ y (/ 1.0 (* x 9.0))) (sqrt x)) (* (- 1.0) (sqrt x)) (* (sqrt x) (- (pow (+ y (/ 1.0 (* x 9.0))) 3) (pow 1.0 3))) (* (sqrt x) (- (* (+ y (/ 1.0 (* x 9.0))) (+ y (/ 1.0 (* x 9.0)))) (* 1.0 1.0))) (+ (pow y 3) (pow (/ 1.0 (* x 9.0)) 3)) (+ (* y y) (- (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0))) (* y (/ 1.0 (* x 9.0))))) (- (* y y) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0)))) (- y (/ 1.0 (* x 9.0))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- +nan.0))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (/ 0.1111111111111111 x) (/ 0.1111111111111111 x) (/ 0.1111111111111111 x) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- +nan.0))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (+ y (* 0.1111111111111111 (/ 1 x))) (+ y (* 0.1111111111111111 (/ 1 x))) (+ y (* 0.1111111111111111 (/ 1 x))) 0.694 * * [simplify]: iteration 0 : 244 enodes (cost 351 ) 0.698 * * [simplify]: iteration 1 : 639 enodes (cost 339 ) 0.710 * * [simplify]: iteration 2 : 2310 enodes (cost 333 ) 0.751 * * [simplify]: iteration 3 : 5001 enodes (cost 333 ) 0.753 * [simplify]: Simplified to: (* 3.0 (* (+ y (/ 1.0 (* x 9.0))) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* 3.0 (* y (sqrt x))) (* 3.0 (* (- (/ 1.0 (* x 9.0)) 1.0) (sqrt x))) (* 3.0 (* (/ 1.0 (* x 9.0)) (sqrt x))) (* 3.0 (* (- y 1.0) (sqrt x))) (* 3.0 (* (+ y (/ 1.0 (* x 9.0))) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* 3.0 (* (+ y (/ 1.0 (* x 9.0))) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* 3.0 (* y (sqrt x))) (* 3.0 (* (- (/ 1.0 (* x 9.0)) 1.0) (sqrt x))) (* 3.0 (* (/ 1.0 (* x 9.0)) (sqrt x))) (* 3.0 (* (- y 1.0) (sqrt x))) (* 3.0 (* (+ y (/ 1.0 (* x 9.0))) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* 3.0 (* (+ y (/ 1.0 (* x 9.0))) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* 3.0 (* y (sqrt x))) (* 3.0 (* (- (/ 1.0 (* x 9.0)) 1.0) (sqrt x))) (* 3.0 (* (/ 1.0 (* x 9.0)) (sqrt x))) (* 3.0 (* (- y 1.0) (sqrt x))) (* 3.0 (* (+ y (/ 1.0 (* x 9.0))) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* 3.0 (* (+ y (/ 1.0 (* x 9.0))) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* 3.0 (* y (sqrt x))) (* 3.0 (* (- (/ 1.0 (* x 9.0)) 1.0) (sqrt x))) (* 3.0 (* (/ 1.0 (* x 9.0)) (sqrt x))) (* 3.0 (* (- y 1.0) (sqrt x))) (* 3.0 (* (+ y (/ 1.0 (* x 9.0))) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* 3.0 (sqrt x)) (* 3.0 (- (+ y (/ 1.0 (* x 9.0))) 1.0)) (* 3.0 (* (sqrt x) (- (pow (+ y (/ 1.0 (* x 9.0))) 3) (pow 1.0 3)))) (* 3.0 (* (sqrt x) (- (* (+ y (/ 1.0 (* x 9.0))) (+ y (/ 1.0 (* x 9.0)))) (* 1.0 1.0)))) (- 1.0) (- (* x 9.0)) (/ 1 (* x 9.0)) (/ (* x 9.0) 1.0) (/ 1.0 x) (/ 1.0 9.0) (* (sqrt x) (+ y (/ 1.0 (* x 9.0)))) (* (sqrt x) (- 1.0)) (* (sqrt x) y) (* (sqrt x) (- (/ 1.0 (* x 9.0)) 1.0)) (* (sqrt x) (/ 1.0 (* x 9.0))) (* (sqrt x) (- y 1.0)) (* (sqrt x) (+ y (/ 1.0 (* x 9.0)))) (* (sqrt x) (- 1.0)) (* (sqrt x) (+ y (/ 1.0 (* x 9.0)))) (* (sqrt x) (- 1.0)) (* (sqrt x) y) (* (sqrt x) (- (/ 1.0 (* x 9.0)) 1.0)) (* (sqrt x) (/ 1.0 (* x 9.0))) (* (sqrt x) (- y 1.0)) (* (sqrt x) (+ y (/ 1.0 (* x 9.0)))) (* (sqrt x) (- 1.0)) (* (sqrt x) (- (pow (+ y (/ 1.0 (* x 9.0))) 3) (pow 1.0 3))) (* (sqrt x) (- (* (+ y (/ 1.0 (* x 9.0))) (+ y (/ 1.0 (* x 9.0)))) (* 1.0 1.0))) (+ (pow y 3) (pow (/ 1.0 (* x 9.0)) 3)) (+ (* (/ 1.0 (* x 9.0)) (- (/ 1.0 (* x 9.0)) y)) (* y y)) (- (* y y) (* (/ 1.0 (* x 9.0)) (/ 1.0 (* x 9.0)))) (- y (/ 1.0 (* x 9.0))) (- (- (* +nan.0 x) +nan.0) (* +nan.0 (pow x 2))) (- (- (* +nan.0 y) +nan.0) (* +nan.0 (/ y x))) (- (- (* +nan.0 y) +nan.0) (* +nan.0 (/ y x))) (/ 0.1111111111111111 x) (/ 0.1111111111111111 x) (/ 0.1111111111111111 x) (- (- (* +nan.0 x) +nan.0) (* +nan.0 (pow x 2))) (- (- (* +nan.0 y) +nan.0) (* +nan.0 (/ y x))) (- (- (* +nan.0 y) +nan.0) (* +nan.0 (/ y x))) (+ y (* 0.1111111111111111 (/ 1 x))) (+ y (* 0.1111111111111111 (/ 1 x))) (+ y (* 0.1111111111111111 (/ 1 x))) 0.753 * * * [progress]: adding candidates to table 0.825 * * [progress]: iteration 3 / 4 0.825 * * * [progress]: picking best candidate 0.836 * * * * [pick]: Picked # 0.837 * * * [progress]: localizing error 0.848 * * * [progress]: generating rewritten candidates 0.848 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.855 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.860 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2 1) 0.864 * * * [progress]: generating series expansions 0.864 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.864 * [approximate]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0))) in (x y) around 0 0.864 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0))) in y 0.865 * [taylor]: Taking taylor expansion of 3.0 in y 0.865 * [taylor]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in y 0.865 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.865 * [taylor]: Taking taylor expansion of x in y 0.865 * [taylor]: Taking taylor expansion of (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0) in y 0.865 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in y 0.865 * [taylor]: Taking taylor expansion of y in y 0.865 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in y 0.865 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.865 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.865 * [taylor]: Taking taylor expansion of x in y 0.865 * [taylor]: Taking taylor expansion of 1.0 in y 0.865 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0))) in x 0.865 * [taylor]: Taking taylor expansion of 3.0 in x 0.865 * [taylor]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in x 0.865 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.865 * [taylor]: Taking taylor expansion of x in x 0.866 * [taylor]: Taking taylor expansion of (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0) in x 0.866 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in x 0.866 * [taylor]: Taking taylor expansion of y in x 0.866 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x 0.866 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.867 * [taylor]: Taking taylor expansion of x in x 0.867 * [taylor]: Taking taylor expansion of 1.0 in x 0.867 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0))) in x 0.867 * [taylor]: Taking taylor expansion of 3.0 in x 0.867 * [taylor]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in x 0.867 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.867 * [taylor]: Taking taylor expansion of x in x 0.868 * [taylor]: Taking taylor expansion of (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0) in x 0.868 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in x 0.868 * [taylor]: Taking taylor expansion of y in x 0.868 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x 0.868 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.868 * [taylor]: Taking taylor expansion of x in x 0.868 * [taylor]: Taking taylor expansion of 1.0 in x 0.870 * [taylor]: Taking taylor expansion of 0 in y 0.873 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.873 * [taylor]: Taking taylor expansion of +nan.0 in y 0.878 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 0.878 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 0.878 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 0.878 * [taylor]: Taking taylor expansion of +nan.0 in y 0.878 * [taylor]: Taking taylor expansion of y in y 0.878 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.878 * [taylor]: Taking taylor expansion of +nan.0 in y 0.886 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 0.886 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 0.886 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 0.886 * [taylor]: Taking taylor expansion of +nan.0 in y 0.886 * [taylor]: Taking taylor expansion of y in y 0.886 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.886 * [taylor]: Taking taylor expansion of +nan.0 in y 0.889 * [approximate]: Taking taylor expansion of (* 3.0 (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0))) in (x y) around 0 0.889 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0))) in y 0.889 * [taylor]: Taking taylor expansion of 3.0 in y 0.889 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0)) in y 0.889 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.889 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.889 * [taylor]: Taking taylor expansion of x in y 0.889 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0) in y 0.889 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in y 0.889 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.889 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.889 * [taylor]: Taking taylor expansion of x in y 0.889 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.889 * [taylor]: Taking taylor expansion of y in y 0.889 * [taylor]: Taking taylor expansion of 1.0 in y 0.889 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0))) in x 0.889 * [taylor]: Taking taylor expansion of 3.0 in x 0.889 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0)) in x 0.890 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.890 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.890 * [taylor]: Taking taylor expansion of x in x 0.891 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0) in x 0.891 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in x 0.891 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.891 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.891 * [taylor]: Taking taylor expansion of x in x 0.891 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.891 * [taylor]: Taking taylor expansion of y in x 0.891 * [taylor]: Taking taylor expansion of 1.0 in x 0.891 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0))) in x 0.891 * [taylor]: Taking taylor expansion of 3.0 in x 0.891 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0)) in x 0.891 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.891 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.891 * [taylor]: Taking taylor expansion of x in x 0.892 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0) in x 0.892 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in x 0.892 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.892 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.892 * [taylor]: Taking taylor expansion of x in x 0.892 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.892 * [taylor]: Taking taylor expansion of y in x 0.892 * [taylor]: Taking taylor expansion of 1.0 in x 0.894 * [taylor]: Taking taylor expansion of 0 in y 0.896 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.896 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.896 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.896 * [taylor]: Taking taylor expansion of +nan.0 in y 0.896 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.896 * [taylor]: Taking taylor expansion of y in y 0.897 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.897 * [taylor]: Taking taylor expansion of +nan.0 in y 0.903 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.903 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.903 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.903 * [taylor]: Taking taylor expansion of +nan.0 in y 0.903 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.903 * [taylor]: Taking taylor expansion of y in y 0.903 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.903 * [taylor]: Taking taylor expansion of +nan.0 in y 0.908 * [approximate]: Taking taylor expansion of (* -3.0 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in (x y) around 0 0.908 * [taylor]: Taking taylor expansion of (* -3.0 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in y 0.908 * [taylor]: Taking taylor expansion of -3.0 in y 0.908 * [taylor]: Taking taylor expansion of (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x))) in y 0.908 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) in y 0.908 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.908 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.908 * [taylor]: Taking taylor expansion of x in y 0.908 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 0.908 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.908 * [taylor]: Taking taylor expansion of y in y 0.908 * [taylor]: Taking taylor expansion of 1.0 in y 0.909 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.909 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.909 * [taylor]: Taking taylor expansion of -1 in y 0.909 * [taylor]: Taking taylor expansion of x in y 0.909 * [taylor]: Taking taylor expansion of (* -3.0 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in x 0.909 * [taylor]: Taking taylor expansion of -3.0 in x 0.909 * [taylor]: Taking taylor expansion of (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x))) in x 0.909 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) in x 0.909 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.909 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.909 * [taylor]: Taking taylor expansion of x in x 0.909 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 0.909 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.909 * [taylor]: Taking taylor expansion of y in x 0.909 * [taylor]: Taking taylor expansion of 1.0 in x 0.909 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.909 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.909 * [taylor]: Taking taylor expansion of -1 in x 0.909 * [taylor]: Taking taylor expansion of x in x 0.910 * [taylor]: Taking taylor expansion of (* -3.0 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in x 0.910 * [taylor]: Taking taylor expansion of -3.0 in x 0.910 * [taylor]: Taking taylor expansion of (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x))) in x 0.911 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) in x 0.911 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.911 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.911 * [taylor]: Taking taylor expansion of x in x 0.911 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 0.911 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.911 * [taylor]: Taking taylor expansion of y in x 0.911 * [taylor]: Taking taylor expansion of 1.0 in x 0.911 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.911 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.911 * [taylor]: Taking taylor expansion of -1 in x 0.911 * [taylor]: Taking taylor expansion of x in x 0.913 * [taylor]: Taking taylor expansion of 0 in y 0.915 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.915 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.915 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.915 * [taylor]: Taking taylor expansion of +nan.0 in y 0.915 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.915 * [taylor]: Taking taylor expansion of y in y 0.915 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.915 * [taylor]: Taking taylor expansion of +nan.0 in y 0.922 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.922 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.922 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.922 * [taylor]: Taking taylor expansion of +nan.0 in y 0.922 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.922 * [taylor]: Taking taylor expansion of y in y 0.922 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.922 * [taylor]: Taking taylor expansion of +nan.0 in y 0.927 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.927 * [approximate]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in (x y) around 0 0.927 * [taylor]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in y 0.927 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.927 * [taylor]: Taking taylor expansion of x in y 0.927 * [taylor]: Taking taylor expansion of (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0) in y 0.927 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in y 0.927 * [taylor]: Taking taylor expansion of y in y 0.927 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in y 0.927 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.927 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.927 * [taylor]: Taking taylor expansion of x in y 0.927 * [taylor]: Taking taylor expansion of 1.0 in y 0.927 * [taylor]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in x 0.927 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.927 * [taylor]: Taking taylor expansion of x in x 0.928 * [taylor]: Taking taylor expansion of (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0) in x 0.928 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in x 0.928 * [taylor]: Taking taylor expansion of y in x 0.928 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x 0.928 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.928 * [taylor]: Taking taylor expansion of x in x 0.929 * [taylor]: Taking taylor expansion of 1.0 in x 0.929 * [taylor]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in x 0.929 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.929 * [taylor]: Taking taylor expansion of x in x 0.930 * [taylor]: Taking taylor expansion of (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0) in x 0.930 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in x 0.930 * [taylor]: Taking taylor expansion of y in x 0.930 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x 0.930 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.930 * [taylor]: Taking taylor expansion of x in x 0.930 * [taylor]: Taking taylor expansion of 1.0 in x 0.931 * [taylor]: Taking taylor expansion of 0 in y 0.933 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.933 * [taylor]: Taking taylor expansion of +nan.0 in y 0.938 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 0.938 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 0.938 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 0.938 * [taylor]: Taking taylor expansion of +nan.0 in y 0.938 * [taylor]: Taking taylor expansion of y in y 0.938 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.938 * [taylor]: Taking taylor expansion of +nan.0 in y 0.948 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 0.948 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 0.948 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 0.948 * [taylor]: Taking taylor expansion of +nan.0 in y 0.948 * [taylor]: Taking taylor expansion of y in y 0.948 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.948 * [taylor]: Taking taylor expansion of +nan.0 in y 0.951 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0)) in (x y) around 0 0.951 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0)) in y 0.951 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.951 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.951 * [taylor]: Taking taylor expansion of x in y 0.951 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0) in y 0.951 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in y 0.951 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.951 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.951 * [taylor]: Taking taylor expansion of x in y 0.951 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.951 * [taylor]: Taking taylor expansion of y in y 0.952 * [taylor]: Taking taylor expansion of 1.0 in y 0.952 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0)) in x 0.952 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.952 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.952 * [taylor]: Taking taylor expansion of x in x 0.953 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0) in x 0.953 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in x 0.953 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.953 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.953 * [taylor]: Taking taylor expansion of x in x 0.953 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.953 * [taylor]: Taking taylor expansion of y in x 0.953 * [taylor]: Taking taylor expansion of 1.0 in x 0.953 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0)) in x 0.953 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.953 * [taylor]: Taking taylor expansion of x in x 0.955 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y)) 1.0) in x 0.955 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in x 0.955 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.955 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.955 * [taylor]: Taking taylor expansion of x in x 0.955 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.955 * [taylor]: Taking taylor expansion of y in x 0.955 * [taylor]: Taking taylor expansion of 1.0 in x 0.956 * [taylor]: Taking taylor expansion of 0 in y 0.958 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.958 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.958 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.958 * [taylor]: Taking taylor expansion of +nan.0 in y 0.958 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.958 * [taylor]: Taking taylor expansion of y in y 0.958 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.958 * [taylor]: Taking taylor expansion of +nan.0 in y 0.963 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.963 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.964 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.964 * [taylor]: Taking taylor expansion of +nan.0 in y 0.964 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.964 * [taylor]: Taking taylor expansion of y in y 0.964 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.964 * [taylor]: Taking taylor expansion of +nan.0 in y 0.968 * [approximate]: Taking taylor expansion of (* -1 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in (x y) around 0 0.968 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in y 0.968 * [taylor]: Taking taylor expansion of -1 in y 0.969 * [taylor]: Taking taylor expansion of (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x))) in y 0.969 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) in y 0.969 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.969 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.969 * [taylor]: Taking taylor expansion of x in y 0.969 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 0.969 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.969 * [taylor]: Taking taylor expansion of y in y 0.969 * [taylor]: Taking taylor expansion of 1.0 in y 0.969 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.969 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.969 * [taylor]: Taking taylor expansion of -1 in y 0.969 * [taylor]: Taking taylor expansion of x in y 0.969 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in x 0.969 * [taylor]: Taking taylor expansion of -1 in x 0.969 * [taylor]: Taking taylor expansion of (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x))) in x 0.969 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) in x 0.969 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.969 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.969 * [taylor]: Taking taylor expansion of x in x 0.969 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 0.969 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.969 * [taylor]: Taking taylor expansion of y in x 0.969 * [taylor]: Taking taylor expansion of 1.0 in x 0.969 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.969 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.969 * [taylor]: Taking taylor expansion of -1 in x 0.969 * [taylor]: Taking taylor expansion of x in x 0.971 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x)))) in x 0.971 * [taylor]: Taking taylor expansion of -1 in x 0.971 * [taylor]: Taking taylor expansion of (* (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) (sqrt (/ -1 x))) in x 0.971 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (+ (/ 1 y) 1.0)) in x 0.971 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.971 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.971 * [taylor]: Taking taylor expansion of x in x 0.971 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 0.971 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.971 * [taylor]: Taking taylor expansion of y in x 0.971 * [taylor]: Taking taylor expansion of 1.0 in x 0.971 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.971 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.971 * [taylor]: Taking taylor expansion of -1 in x 0.971 * [taylor]: Taking taylor expansion of x in x 0.973 * [taylor]: Taking taylor expansion of 0 in y 0.975 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.975 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.975 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.975 * [taylor]: Taking taylor expansion of +nan.0 in y 0.975 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.976 * [taylor]: Taking taylor expansion of y in y 0.976 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.976 * [taylor]: Taking taylor expansion of +nan.0 in y 0.982 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 0.982 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 0.982 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.982 * [taylor]: Taking taylor expansion of +nan.0 in y 0.982 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.982 * [taylor]: Taking taylor expansion of y in y 0.983 * [taylor]: Taking taylor expansion of (- +nan.0) in y 0.983 * [taylor]: Taking taylor expansion of +nan.0 in y 0.987 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2 1) 0.987 * [approximate]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in (y x) around 0 0.987 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in x 0.987 * [taylor]: Taking taylor expansion of y in x 0.987 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x 0.987 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.987 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.987 * [taylor]: Taking taylor expansion of x in x 0.988 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in y 0.988 * [taylor]: Taking taylor expansion of y in y 0.988 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in y 0.988 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.988 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.988 * [taylor]: Taking taylor expansion of x in y 0.988 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in y 0.988 * [taylor]: Taking taylor expansion of y in y 0.988 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in y 0.988 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.988 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.988 * [taylor]: Taking taylor expansion of x in y 0.988 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x 0.988 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.988 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.988 * [taylor]: Taking taylor expansion of x in x 0.989 * [taylor]: Taking taylor expansion of 1 in x 0.991 * [taylor]: Taking taylor expansion of 0 in x 0.993 * [taylor]: Taking taylor expansion of 0 in x 0.996 * [taylor]: Taking taylor expansion of 0 in x 0.996 * [approximate]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in (y x) around 0 0.996 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in x 0.996 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.996 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.996 * [taylor]: Taking taylor expansion of x in x 0.996 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.996 * [taylor]: Taking taylor expansion of y in x 0.996 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in y 0.996 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.996 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.997 * [taylor]: Taking taylor expansion of x in y 0.997 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.997 * [taylor]: Taking taylor expansion of y in y 0.997 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in y 0.997 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 0.997 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 0.997 * [taylor]: Taking taylor expansion of x in y 0.997 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.997 * [taylor]: Taking taylor expansion of y in y 0.998 * [taylor]: Taking taylor expansion of 1 in x 0.998 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 0.998 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.998 * [taylor]: Taking taylor expansion of x in x 1.000 * [taylor]: Taking taylor expansion of 0 in x 1.002 * [taylor]: Taking taylor expansion of 0 in x 1.004 * [taylor]: Taking taylor expansion of 0 in x 1.004 * [approximate]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y))) in (y x) around 0 1.004 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y))) in x 1.004 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in x 1.005 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 1.005 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.005 * [taylor]: Taking taylor expansion of x in x 1.005 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.005 * [taylor]: Taking taylor expansion of y in x 1.005 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y))) in y 1.005 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in y 1.005 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 1.005 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 1.005 * [taylor]: Taking taylor expansion of x in y 1.005 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.005 * [taylor]: Taking taylor expansion of y in y 1.005 * [taylor]: Taking taylor expansion of (- (+ (* 0.1111111111111111 x) (/ 1 y))) in y 1.005 * [taylor]: Taking taylor expansion of (+ (* 0.1111111111111111 x) (/ 1 y)) in y 1.005 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in y 1.005 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 1.005 * [taylor]: Taking taylor expansion of x in y 1.005 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.005 * [taylor]: Taking taylor expansion of y in y 1.006 * [taylor]: Taking taylor expansion of -1 in x 1.006 * [taylor]: Taking taylor expansion of (- (* 0.1111111111111111 x)) in x 1.007 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x 1.007 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.007 * [taylor]: Taking taylor expansion of x in x 1.008 * [taylor]: Taking taylor expansion of 0 in x 1.011 * [taylor]: Taking taylor expansion of 0 in x 1.014 * [taylor]: Taking taylor expansion of 0 in x 1.014 * * * [progress]: simplifying candidates 1.015 * [simplify]: Simplifying using # : (* 3.0 (* (sqrt x) (+ y (/ 0.1111111111111111 x)))) (* 3.0 (* (sqrt x) (- 1.0))) (* 3.0 (* (sqrt x) y)) (* 3.0 (* (sqrt x) (- (/ 0.1111111111111111 x) 1.0))) (* 3.0 (* (sqrt x) (/ 0.1111111111111111 x))) (* 3.0 (* (sqrt x) (- y 1.0))) (* 3.0 (* (sqrt x) (+ y (/ 0.1111111111111111 x)))) (* 3.0 (* (sqrt x) (- 1.0))) (* 3.0 (* (+ y (/ 0.1111111111111111 x)) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* 3.0 (* y (sqrt x))) (* 3.0 (* (- (/ 0.1111111111111111 x) 1.0) (sqrt x))) (* 3.0 (* (/ 0.1111111111111111 x) (sqrt x))) (* 3.0 (* (- y 1.0) (sqrt x))) (* 3.0 (* (+ y (/ 0.1111111111111111 x)) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* (* (sqrt x) (+ y (/ 0.1111111111111111 x))) 3.0) (* (* (sqrt x) (- 1.0)) 3.0) (* (* (sqrt x) y) 3.0) (* (* (sqrt x) (- (/ 0.1111111111111111 x) 1.0)) 3.0) (* (* (sqrt x) (/ 0.1111111111111111 x)) 3.0) (* (* (sqrt x) (- y 1.0)) 3.0) (* (* (sqrt x) (+ y (/ 0.1111111111111111 x))) 3.0) (* (* (sqrt x) (- 1.0)) 3.0) (* (* (+ y (/ 0.1111111111111111 x)) (sqrt x)) 3.0) (* (* (- 1.0) (sqrt x)) 3.0) (* (* y (sqrt x)) 3.0) (* (* (- (/ 0.1111111111111111 x) 1.0) (sqrt x)) 3.0) (* (* (/ 0.1111111111111111 x) (sqrt x)) 3.0) (* (* (- y 1.0) (sqrt x)) 3.0) (* (* (+ y (/ 0.1111111111111111 x)) (sqrt x)) 3.0) (* (* (- 1.0) (sqrt x)) 3.0) (* 3.0 (sqrt x)) (* 3.0 (- (+ y (/ 0.1111111111111111 x)) 1.0)) (* 3.0 (* (sqrt x) (- (pow (+ y (/ 0.1111111111111111 x)) 3) (pow 1.0 3)))) (* 3.0 (* (sqrt x) (- (* (+ y (/ 0.1111111111111111 x)) (+ y (/ 0.1111111111111111 x))) (* 1.0 1.0)))) (* (sqrt x) (+ y (/ 0.1111111111111111 x))) (* (sqrt x) (- 1.0)) (* (sqrt x) y) (* (sqrt x) (- (/ 0.1111111111111111 x) 1.0)) (* (sqrt x) (/ 0.1111111111111111 x)) (* (sqrt x) (- y 1.0)) (* (sqrt x) (+ y (/ 0.1111111111111111 x))) (* (sqrt x) (- 1.0)) (* (+ y (/ 0.1111111111111111 x)) (sqrt x)) (* (- 1.0) (sqrt x)) (* y (sqrt x)) (* (- (/ 0.1111111111111111 x) 1.0) (sqrt x)) (* (/ 0.1111111111111111 x) (sqrt x)) (* (- y 1.0) (sqrt x)) (* (+ y (/ 0.1111111111111111 x)) (sqrt x)) (* (- 1.0) (sqrt x)) (* (sqrt x) (- (pow (+ y (/ 0.1111111111111111 x)) 3) (pow 1.0 3))) (* (sqrt x) (- (* (+ y (/ 0.1111111111111111 x)) (+ y (/ 0.1111111111111111 x))) (* 1.0 1.0))) (+ (pow y 3) (pow (/ 0.1111111111111111 x) 3)) (+ (* y y) (- (* (/ 0.1111111111111111 x) (/ 0.1111111111111111 x)) (* y (/ 0.1111111111111111 x)))) (- (* y y) (* (/ 0.1111111111111111 x) (/ 0.1111111111111111 x))) (- y (/ 0.1111111111111111 x)) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- +nan.0))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- +nan.0))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (+ y (* 0.1111111111111111 (/ 1 x))) (+ y (* 0.1111111111111111 (/ 1 x))) (+ y (* 0.1111111111111111 (/ 1 x))) 1.019 * * [simplify]: iteration 0 : 230 enodes (cost 302 ) 1.024 * * [simplify]: iteration 1 : 558 enodes (cost 287 ) 1.035 * * [simplify]: iteration 2 : 2264 enodes (cost 281 ) 1.080 * * [simplify]: iteration 3 : 5001 enodes (cost 275 ) 1.082 * [simplify]: Simplified to: (* 3.0 (* (+ y (/ 0.1111111111111111 x)) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* 3.0 (* y (sqrt x))) (* 3.0 (* (- (/ 0.1111111111111111 x) 1.0) (sqrt x))) (/ (* 3.0 0.1111111111111111) (pow x 1/2)) (* 3.0 (* (- y 1.0) (sqrt x))) (* 3.0 (* (+ y (/ 0.1111111111111111 x)) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* 3.0 (* (+ y (/ 0.1111111111111111 x)) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* 3.0 (* y (sqrt x))) (* 3.0 (* (- (/ 0.1111111111111111 x) 1.0) (sqrt x))) (/ (* 3.0 0.1111111111111111) (pow x 1/2)) (* 3.0 (* (- y 1.0) (sqrt x))) (* 3.0 (* (+ y (/ 0.1111111111111111 x)) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* 3.0 (* (+ y (/ 0.1111111111111111 x)) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* 3.0 (* y (sqrt x))) (* 3.0 (* (- (/ 0.1111111111111111 x) 1.0) (sqrt x))) (/ (* 3.0 0.1111111111111111) (pow x 1/2)) (* 3.0 (* (- y 1.0) (sqrt x))) (* 3.0 (* (+ y (/ 0.1111111111111111 x)) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* 3.0 (* (+ y (/ 0.1111111111111111 x)) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* 3.0 (* y (sqrt x))) (* 3.0 (* (- (/ 0.1111111111111111 x) 1.0) (sqrt x))) (/ (* 3.0 0.1111111111111111) (pow x 1/2)) (* 3.0 (* (- y 1.0) (sqrt x))) (* 3.0 (* (+ y (/ 0.1111111111111111 x)) (sqrt x))) (* 3.0 (* (- 1.0) (sqrt x))) (* 3.0 (sqrt x)) (* 3.0 (- (+ y (/ 0.1111111111111111 x)) 1.0)) (* 3.0 (* (sqrt x) (- (pow (+ y (/ 0.1111111111111111 x)) 3) (pow 1.0 3)))) (* 3.0 (* (sqrt x) (- (* (+ y (/ 0.1111111111111111 x)) (+ y (/ 0.1111111111111111 x))) (* 1.0 1.0)))) (* (sqrt x) (+ y (/ 0.1111111111111111 x))) (* (sqrt x) (- 1.0)) (* (sqrt x) y) (* (sqrt x) (- (/ 0.1111111111111111 x) 1.0)) (/ 0.1111111111111111 (pow x 1/2)) (* (sqrt x) (- y 1.0)) (* (sqrt x) (+ y (/ 0.1111111111111111 x))) (* (sqrt x) (- 1.0)) (* (sqrt x) (+ y (/ 0.1111111111111111 x))) (* (sqrt x) (- 1.0)) (* (sqrt x) y) (* (sqrt x) (- (/ 0.1111111111111111 x) 1.0)) (/ 0.1111111111111111 (pow x 1/2)) (* (sqrt x) (- y 1.0)) (* (sqrt x) (+ y (/ 0.1111111111111111 x))) (* (sqrt x) (- 1.0)) (* (sqrt x) (- (pow (+ y (/ 0.1111111111111111 x)) 3) (pow 1.0 3))) (* (sqrt x) (- (* (+ y (/ 0.1111111111111111 x)) (+ y (/ 0.1111111111111111 x))) (* 1.0 1.0))) (+ (pow y 3) (pow (/ 0.1111111111111111 x) 3)) (+ (* (/ 0.1111111111111111 x) (- (/ 0.1111111111111111 x) y)) (* y y)) (- (* y y) (* (/ 0.1111111111111111 x) (/ 0.1111111111111111 x))) (- y (/ 0.1111111111111111 x)) (- (- (* +nan.0 x) +nan.0) (* +nan.0 (pow x 2))) (- (- (* +nan.0 y) +nan.0) (* +nan.0 (/ y x))) (- (- (* +nan.0 y) +nan.0) (* +nan.0 (/ y x))) (- (- (* +nan.0 x) +nan.0) (* +nan.0 (pow x 2))) (- (- (* +nan.0 y) +nan.0) (* +nan.0 (/ y x))) (- (- (* +nan.0 y) +nan.0) (* +nan.0 (/ y x))) (+ y (/ 0.1111111111111111 x)) (+ y (/ 0.1111111111111111 x)) (+ y (/ 0.1111111111111111 x)) 1.082 * * * [progress]: adding candidates to table 1.141 * * [progress]: iteration 4 / 4 1.141 * * * [progress]: picking best candidate 1.154 * * * * [pick]: Picked # 1.155 * * * [progress]: localizing error 1.170 * * * [progress]: generating rewritten candidates 1.170 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.174 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.177 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 1.181 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.191 * * * [progress]: generating series expansions 1.191 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.192 * [approximate]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- y 1.0))) in (y x) around 0 1.192 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- y 1.0))) in x 1.192 * [taylor]: Taking taylor expansion of 3.0 in x 1.192 * [taylor]: Taking taylor expansion of (* (sqrt x) (- y 1.0)) in x 1.192 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.192 * [taylor]: Taking taylor expansion of x in x 1.193 * [taylor]: Taking taylor expansion of (- y 1.0) in x 1.193 * [taylor]: Taking taylor expansion of y in x 1.193 * [taylor]: Taking taylor expansion of 1.0 in x 1.193 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- y 1.0))) in y 1.193 * [taylor]: Taking taylor expansion of 3.0 in y 1.193 * [taylor]: Taking taylor expansion of (* (sqrt x) (- y 1.0)) in y 1.193 * [taylor]: Taking taylor expansion of (sqrt x) in y 1.193 * [taylor]: Taking taylor expansion of x in y 1.193 * [taylor]: Taking taylor expansion of (- y 1.0) in y 1.193 * [taylor]: Taking taylor expansion of y in y 1.193 * [taylor]: Taking taylor expansion of 1.0 in y 1.193 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- y 1.0))) in y 1.193 * [taylor]: Taking taylor expansion of 3.0 in y 1.193 * [taylor]: Taking taylor expansion of (* (sqrt x) (- y 1.0)) in y 1.193 * [taylor]: Taking taylor expansion of (sqrt x) in y 1.193 * [taylor]: Taking taylor expansion of x in y 1.193 * [taylor]: Taking taylor expansion of (- y 1.0) in y 1.193 * [taylor]: Taking taylor expansion of y in y 1.193 * [taylor]: Taking taylor expansion of 1.0 in y 1.195 * [taylor]: Taking taylor expansion of (* -3.0 (sqrt x)) in x 1.195 * [taylor]: Taking taylor expansion of -3.0 in x 1.195 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.195 * [taylor]: Taking taylor expansion of x in x 1.197 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt x)) in x 1.197 * [taylor]: Taking taylor expansion of 3.0 in x 1.197 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.197 * [taylor]: Taking taylor expansion of x in x 1.201 * [taylor]: Taking taylor expansion of 0 in x 1.206 * [approximate]: Taking taylor expansion of (* 3.0 (* (sqrt (/ 1 x)) (- (/ 1 y) 1.0))) in (y x) around 0 1.206 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (/ 1 x)) (- (/ 1 y) 1.0))) in x 1.206 * [taylor]: Taking taylor expansion of 3.0 in x 1.206 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (/ 1 y) 1.0)) in x 1.206 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.206 * [taylor]: Taking taylor expansion of x in x 1.208 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 1.208 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.208 * [taylor]: Taking taylor expansion of y in x 1.208 * [taylor]: Taking taylor expansion of 1.0 in x 1.208 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (/ 1 x)) (- (/ 1 y) 1.0))) in y 1.208 * [taylor]: Taking taylor expansion of 3.0 in y 1.208 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (/ 1 y) 1.0)) in y 1.208 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 1.208 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.208 * [taylor]: Taking taylor expansion of x in y 1.208 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 1.208 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.208 * [taylor]: Taking taylor expansion of y in y 1.208 * [taylor]: Taking taylor expansion of 1.0 in y 1.208 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (/ 1 x)) (- (/ 1 y) 1.0))) in y 1.208 * [taylor]: Taking taylor expansion of 3.0 in y 1.208 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (/ 1 y) 1.0)) in y 1.208 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 1.208 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.208 * [taylor]: Taking taylor expansion of x in y 1.209 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 1.209 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.209 * [taylor]: Taking taylor expansion of y in y 1.209 * [taylor]: Taking taylor expansion of 1.0 in y 1.209 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ 1 x))) in x 1.209 * [taylor]: Taking taylor expansion of 3.0 in x 1.209 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.209 * [taylor]: Taking taylor expansion of x in x 1.213 * [taylor]: Taking taylor expansion of (- (* 3.0 (sqrt (/ 1 x)))) in x 1.213 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ 1 x))) in x 1.213 * [taylor]: Taking taylor expansion of 3.0 in x 1.213 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.213 * [taylor]: Taking taylor expansion of x in x 1.218 * [taylor]: Taking taylor expansion of 0 in x 1.224 * [approximate]: Taking taylor expansion of (* -3.0 (* (+ (/ 1 y) 1.0) (sqrt (/ -1 x)))) in (y x) around 0 1.224 * [taylor]: Taking taylor expansion of (* -3.0 (* (+ (/ 1 y) 1.0) (sqrt (/ -1 x)))) in x 1.224 * [taylor]: Taking taylor expansion of -3.0 in x 1.224 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (sqrt (/ -1 x))) in x 1.224 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 1.224 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.224 * [taylor]: Taking taylor expansion of y in x 1.224 * [taylor]: Taking taylor expansion of 1.0 in x 1.224 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.224 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.224 * [taylor]: Taking taylor expansion of -1 in x 1.224 * [taylor]: Taking taylor expansion of x in x 1.226 * [taylor]: Taking taylor expansion of (* -3.0 (* (+ (/ 1 y) 1.0) (sqrt (/ -1 x)))) in y 1.226 * [taylor]: Taking taylor expansion of -3.0 in y 1.226 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (sqrt (/ -1 x))) in y 1.226 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.226 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.226 * [taylor]: Taking taylor expansion of y in y 1.226 * [taylor]: Taking taylor expansion of 1.0 in y 1.226 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 1.226 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.226 * [taylor]: Taking taylor expansion of -1 in y 1.226 * [taylor]: Taking taylor expansion of x in y 1.226 * [taylor]: Taking taylor expansion of (* -3.0 (* (+ (/ 1 y) 1.0) (sqrt (/ -1 x)))) in y 1.226 * [taylor]: Taking taylor expansion of -3.0 in y 1.226 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (sqrt (/ -1 x))) in y 1.226 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.226 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.226 * [taylor]: Taking taylor expansion of y in y 1.227 * [taylor]: Taking taylor expansion of 1.0 in y 1.227 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 1.227 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.227 * [taylor]: Taking taylor expansion of -1 in y 1.227 * [taylor]: Taking taylor expansion of x in y 1.227 * [taylor]: Taking taylor expansion of (* -3.0 (sqrt (/ -1 x))) in x 1.227 * [taylor]: Taking taylor expansion of -3.0 in x 1.227 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.227 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.227 * [taylor]: Taking taylor expansion of -1 in x 1.227 * [taylor]: Taking taylor expansion of x in x 1.233 * [taylor]: Taking taylor expansion of (- (* 3.0 (sqrt (/ -1 x)))) in x 1.233 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ -1 x))) in x 1.233 * [taylor]: Taking taylor expansion of 3.0 in x 1.234 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.234 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.234 * [taylor]: Taking taylor expansion of -1 in x 1.234 * [taylor]: Taking taylor expansion of x in x 1.238 * [taylor]: Taking taylor expansion of 0 in x 1.245 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.245 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (sqrt (/ 1 x))) in (x) around 0 1.245 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt (/ 1 x))) in x 1.245 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.245 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.245 * [taylor]: Taking taylor expansion of x in x 1.247 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt (/ 1 x))) in x 1.247 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.247 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.247 * [taylor]: Taking taylor expansion of x in x 1.259 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (sqrt x)) in (x) around 0 1.259 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt x)) in x 1.259 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.259 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.259 * [taylor]: Taking taylor expansion of x in x 1.260 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt x)) in x 1.260 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.260 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.260 * [taylor]: Taking taylor expansion of x in x 1.271 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (sqrt (/ x -1))) in (x) around 0 1.271 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt (/ x -1))) in x 1.271 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.271 * [taylor]: Taking taylor expansion of (sqrt (/ x -1)) in x 1.271 * [taylor]: Taking taylor expansion of (/ x -1) in x 1.271 * [taylor]: Taking taylor expansion of x in x 1.271 * [taylor]: Taking taylor expansion of -1 in x 1.272 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt (/ x -1))) in x 1.272 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.272 * [taylor]: Taking taylor expansion of (sqrt (/ x -1)) in x 1.272 * [taylor]: Taking taylor expansion of (/ x -1) in x 1.272 * [taylor]: Taking taylor expansion of x in x 1.272 * [taylor]: Taking taylor expansion of -1 in x 1.284 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 1.284 * [approximate]: Taking taylor expansion of (* (sqrt x) (- y 1.0)) in (y x) around 0 1.284 * [taylor]: Taking taylor expansion of (* (sqrt x) (- y 1.0)) in x 1.284 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.284 * [taylor]: Taking taylor expansion of x in x 1.285 * [taylor]: Taking taylor expansion of (- y 1.0) in x 1.285 * [taylor]: Taking taylor expansion of y in x 1.285 * [taylor]: Taking taylor expansion of 1.0 in x 1.285 * [taylor]: Taking taylor expansion of (* (sqrt x) (- y 1.0)) in y 1.285 * [taylor]: Taking taylor expansion of (sqrt x) in y 1.285 * [taylor]: Taking taylor expansion of x in y 1.285 * [taylor]: Taking taylor expansion of (- y 1.0) in y 1.285 * [taylor]: Taking taylor expansion of y in y 1.285 * [taylor]: Taking taylor expansion of 1.0 in y 1.285 * [taylor]: Taking taylor expansion of (* (sqrt x) (- y 1.0)) in y 1.285 * [taylor]: Taking taylor expansion of (sqrt x) in y 1.285 * [taylor]: Taking taylor expansion of x in y 1.285 * [taylor]: Taking taylor expansion of (- y 1.0) in y 1.285 * [taylor]: Taking taylor expansion of y in y 1.285 * [taylor]: Taking taylor expansion of 1.0 in y 1.286 * [taylor]: Taking taylor expansion of (* -1.0 (sqrt x)) in x 1.286 * [taylor]: Taking taylor expansion of -1.0 in x 1.286 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.286 * [taylor]: Taking taylor expansion of x in x 1.288 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.288 * [taylor]: Taking taylor expansion of x in x 1.292 * [taylor]: Taking taylor expansion of 0 in x 1.296 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (/ 1 y) 1.0)) in (y x) around 0 1.296 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (/ 1 y) 1.0)) in x 1.296 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.297 * [taylor]: Taking taylor expansion of x in x 1.298 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 1.298 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.298 * [taylor]: Taking taylor expansion of y in x 1.298 * [taylor]: Taking taylor expansion of 1.0 in x 1.298 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (/ 1 y) 1.0)) in y 1.298 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 1.298 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.298 * [taylor]: Taking taylor expansion of x in y 1.298 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 1.298 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.298 * [taylor]: Taking taylor expansion of y in y 1.298 * [taylor]: Taking taylor expansion of 1.0 in y 1.298 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- (/ 1 y) 1.0)) in y 1.298 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 1.298 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.299 * [taylor]: Taking taylor expansion of x in y 1.299 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 1.299 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.299 * [taylor]: Taking taylor expansion of y in y 1.299 * [taylor]: Taking taylor expansion of 1.0 in y 1.299 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.299 * [taylor]: Taking taylor expansion of x in x 1.302 * [taylor]: Taking taylor expansion of (- (* 1.0 (sqrt (/ 1 x)))) in x 1.302 * [taylor]: Taking taylor expansion of (* 1.0 (sqrt (/ 1 x))) in x 1.302 * [taylor]: Taking taylor expansion of 1.0 in x 1.302 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.302 * [taylor]: Taking taylor expansion of x in x 1.306 * [taylor]: Taking taylor expansion of 0 in x 1.310 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) 1.0) (sqrt (/ -1 x)))) in (y x) around 0 1.310 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) 1.0) (sqrt (/ -1 x)))) in x 1.310 * [taylor]: Taking taylor expansion of -1 in x 1.311 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (sqrt (/ -1 x))) in x 1.311 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 1.311 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.311 * [taylor]: Taking taylor expansion of y in x 1.311 * [taylor]: Taking taylor expansion of 1.0 in x 1.311 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.311 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.311 * [taylor]: Taking taylor expansion of -1 in x 1.311 * [taylor]: Taking taylor expansion of x in x 1.312 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) 1.0) (sqrt (/ -1 x)))) in y 1.312 * [taylor]: Taking taylor expansion of -1 in y 1.312 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (sqrt (/ -1 x))) in y 1.312 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.312 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.312 * [taylor]: Taking taylor expansion of y in y 1.312 * [taylor]: Taking taylor expansion of 1.0 in y 1.312 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 1.312 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.312 * [taylor]: Taking taylor expansion of -1 in y 1.312 * [taylor]: Taking taylor expansion of x in y 1.313 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) 1.0) (sqrt (/ -1 x)))) in y 1.313 * [taylor]: Taking taylor expansion of -1 in y 1.313 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (sqrt (/ -1 x))) in y 1.313 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.313 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.313 * [taylor]: Taking taylor expansion of y in y 1.313 * [taylor]: Taking taylor expansion of 1.0 in y 1.313 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 1.313 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.313 * [taylor]: Taking taylor expansion of -1 in y 1.313 * [taylor]: Taking taylor expansion of x in y 1.314 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x 1.314 * [taylor]: Taking taylor expansion of -1 in x 1.314 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.314 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.314 * [taylor]: Taking taylor expansion of -1 in x 1.314 * [taylor]: Taking taylor expansion of x in x 1.319 * [taylor]: Taking taylor expansion of (- (* 1.0 (sqrt (/ -1 x)))) in x 1.319 * [taylor]: Taking taylor expansion of (* 1.0 (sqrt (/ -1 x))) in x 1.319 * [taylor]: Taking taylor expansion of 1.0 in x 1.319 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.319 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.319 * [taylor]: Taking taylor expansion of -1 in x 1.319 * [taylor]: Taking taylor expansion of x in x 1.324 * [taylor]: Taking taylor expansion of 0 in x 1.330 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.331 * [approximate]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (sqrt (/ 1 x))) (* 3.0 (* (sqrt x) y))) (* 3.0 (sqrt x))) in (x y) around 0 1.331 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (sqrt (/ 1 x))) (* 3.0 (* (sqrt x) y))) (* 3.0 (sqrt x))) in y 1.331 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (sqrt (/ 1 x))) (* 3.0 (* (sqrt x) y))) in y 1.331 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt (/ 1 x))) in y 1.331 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 1.331 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 1.331 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.331 * [taylor]: Taking taylor expansion of x in y 1.331 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt x) y)) in y 1.331 * [taylor]: Taking taylor expansion of 3.0 in y 1.331 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 1.331 * [taylor]: Taking taylor expansion of (sqrt x) in y 1.331 * [taylor]: Taking taylor expansion of x in y 1.331 * [taylor]: Taking taylor expansion of y in y 1.331 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt x)) in y 1.331 * [taylor]: Taking taylor expansion of 3.0 in y 1.331 * [taylor]: Taking taylor expansion of (sqrt x) in y 1.331 * [taylor]: Taking taylor expansion of x in y 1.331 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (sqrt (/ 1 x))) (* 3.0 (* (sqrt x) y))) (* 3.0 (sqrt x))) in x 1.331 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (sqrt (/ 1 x))) (* 3.0 (* (sqrt x) y))) in x 1.331 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt (/ 1 x))) in x 1.331 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.331 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.332 * [taylor]: Taking taylor expansion of x in x 1.333 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt x) y)) in x 1.333 * [taylor]: Taking taylor expansion of 3.0 in x 1.333 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 1.333 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.333 * [taylor]: Taking taylor expansion of x in x 1.334 * [taylor]: Taking taylor expansion of y in x 1.334 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt x)) in x 1.334 * [taylor]: Taking taylor expansion of 3.0 in x 1.334 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.334 * [taylor]: Taking taylor expansion of x in x 1.335 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (sqrt (/ 1 x))) (* 3.0 (* (sqrt x) y))) (* 3.0 (sqrt x))) in x 1.335 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (sqrt (/ 1 x))) (* 3.0 (* (sqrt x) y))) in x 1.335 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt (/ 1 x))) in x 1.335 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.335 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.335 * [taylor]: Taking taylor expansion of x in x 1.336 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt x) y)) in x 1.336 * [taylor]: Taking taylor expansion of 3.0 in x 1.336 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 1.336 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.336 * [taylor]: Taking taylor expansion of x in x 1.337 * [taylor]: Taking taylor expansion of y in x 1.337 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt x)) in x 1.337 * [taylor]: Taking taylor expansion of 3.0 in x 1.337 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.337 * [taylor]: Taking taylor expansion of x in x 1.339 * [taylor]: Taking taylor expansion of 0 in y 1.342 * [taylor]: Taking taylor expansion of (- +nan.0) in y 1.342 * [taylor]: Taking taylor expansion of +nan.0 in y 1.348 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 1.348 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 1.348 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 1.348 * [taylor]: Taking taylor expansion of +nan.0 in y 1.349 * [taylor]: Taking taylor expansion of y in y 1.349 * [taylor]: Taking taylor expansion of (- +nan.0) in y 1.349 * [taylor]: Taking taylor expansion of +nan.0 in y 1.361 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 1.362 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 1.362 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 1.362 * [taylor]: Taking taylor expansion of +nan.0 in y 1.362 * [taylor]: Taking taylor expansion of y in y 1.362 * [taylor]: Taking taylor expansion of (- +nan.0) in y 1.362 * [taylor]: Taking taylor expansion of +nan.0 in y 1.365 * [approximate]: Taking taylor expansion of (- (+ (* 3.0 (* (sqrt (/ 1 x)) (/ 1 y))) (* 0.3333333333333333 (sqrt x))) (* 3.0 (sqrt (/ 1 x)))) in (x y) around 0 1.365 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (* (sqrt (/ 1 x)) (/ 1 y))) (* 0.3333333333333333 (sqrt x))) (* 3.0 (sqrt (/ 1 x)))) in y 1.365 * [taylor]: Taking taylor expansion of (+ (* 3.0 (* (sqrt (/ 1 x)) (/ 1 y))) (* 0.3333333333333333 (sqrt x))) in y 1.365 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (/ 1 x)) (/ 1 y))) in y 1.365 * [taylor]: Taking taylor expansion of 3.0 in y 1.365 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 1.365 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 1.365 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.365 * [taylor]: Taking taylor expansion of x in y 1.365 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.365 * [taylor]: Taking taylor expansion of y in y 1.365 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt x)) in y 1.365 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 1.365 * [taylor]: Taking taylor expansion of (sqrt x) in y 1.366 * [taylor]: Taking taylor expansion of x in y 1.366 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ 1 x))) in y 1.366 * [taylor]: Taking taylor expansion of 3.0 in y 1.366 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 1.366 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.366 * [taylor]: Taking taylor expansion of x in y 1.366 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (* (sqrt (/ 1 x)) (/ 1 y))) (* 0.3333333333333333 (sqrt x))) (* 3.0 (sqrt (/ 1 x)))) in x 1.366 * [taylor]: Taking taylor expansion of (+ (* 3.0 (* (sqrt (/ 1 x)) (/ 1 y))) (* 0.3333333333333333 (sqrt x))) in x 1.366 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (/ 1 x)) (/ 1 y))) in x 1.366 * [taylor]: Taking taylor expansion of 3.0 in x 1.366 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 1.366 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.366 * [taylor]: Taking taylor expansion of x in x 1.367 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.367 * [taylor]: Taking taylor expansion of y in x 1.367 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt x)) in x 1.367 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.367 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.367 * [taylor]: Taking taylor expansion of x in x 1.368 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ 1 x))) in x 1.368 * [taylor]: Taking taylor expansion of 3.0 in x 1.368 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.368 * [taylor]: Taking taylor expansion of x in x 1.370 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (* (sqrt (/ 1 x)) (/ 1 y))) (* 0.3333333333333333 (sqrt x))) (* 3.0 (sqrt (/ 1 x)))) in x 1.370 * [taylor]: Taking taylor expansion of (+ (* 3.0 (* (sqrt (/ 1 x)) (/ 1 y))) (* 0.3333333333333333 (sqrt x))) in x 1.370 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt (/ 1 x)) (/ 1 y))) in x 1.370 * [taylor]: Taking taylor expansion of 3.0 in x 1.370 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 1.370 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.370 * [taylor]: Taking taylor expansion of x in x 1.371 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.371 * [taylor]: Taking taylor expansion of y in x 1.371 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt x)) in x 1.371 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.371 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.371 * [taylor]: Taking taylor expansion of x in x 1.372 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ 1 x))) in x 1.372 * [taylor]: Taking taylor expansion of 3.0 in x 1.372 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.372 * [taylor]: Taking taylor expansion of x in x 1.375 * [taylor]: Taking taylor expansion of 0 in y 1.377 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 1.377 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 1.377 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 1.377 * [taylor]: Taking taylor expansion of +nan.0 in y 1.377 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.377 * [taylor]: Taking taylor expansion of y in y 1.378 * [taylor]: Taking taylor expansion of (- +nan.0) in y 1.378 * [taylor]: Taking taylor expansion of +nan.0 in y 1.388 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 1.388 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 1.388 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 1.388 * [taylor]: Taking taylor expansion of +nan.0 in y 1.388 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.388 * [taylor]: Taking taylor expansion of y in y 1.388 * [taylor]: Taking taylor expansion of (- +nan.0) in y 1.388 * [taylor]: Taking taylor expansion of +nan.0 in y 1.393 * [approximate]: Taking taylor expansion of (- (* 0.3333333333333333 (sqrt (/ x -1))) (+ (* 3.0 (/ (sqrt (/ -1 x)) y)) (* 3.0 (sqrt (/ -1 x))))) in (x y) around 0 1.393 * [taylor]: Taking taylor expansion of (- (* 0.3333333333333333 (sqrt (/ x -1))) (+ (* 3.0 (/ (sqrt (/ -1 x)) y)) (* 3.0 (sqrt (/ -1 x))))) in y 1.393 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt (/ x -1))) in y 1.393 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 1.393 * [taylor]: Taking taylor expansion of (sqrt (/ x -1)) in y 1.393 * [taylor]: Taking taylor expansion of (/ x -1) in y 1.393 * [taylor]: Taking taylor expansion of x in y 1.393 * [taylor]: Taking taylor expansion of -1 in y 1.394 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ (sqrt (/ -1 x)) y)) (* 3.0 (sqrt (/ -1 x)))) in y 1.394 * [taylor]: Taking taylor expansion of (* 3.0 (/ (sqrt (/ -1 x)) y)) in y 1.394 * [taylor]: Taking taylor expansion of 3.0 in y 1.394 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 1.394 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 1.394 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.394 * [taylor]: Taking taylor expansion of -1 in y 1.394 * [taylor]: Taking taylor expansion of x in y 1.394 * [taylor]: Taking taylor expansion of y in y 1.395 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ -1 x))) in y 1.395 * [taylor]: Taking taylor expansion of 3.0 in y 1.395 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 1.395 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.395 * [taylor]: Taking taylor expansion of -1 in y 1.395 * [taylor]: Taking taylor expansion of x in y 1.395 * [taylor]: Taking taylor expansion of (- (* 0.3333333333333333 (sqrt (/ x -1))) (+ (* 3.0 (/ (sqrt (/ -1 x)) y)) (* 3.0 (sqrt (/ -1 x))))) in x 1.395 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt (/ x -1))) in x 1.395 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.395 * [taylor]: Taking taylor expansion of (sqrt (/ x -1)) in x 1.395 * [taylor]: Taking taylor expansion of (/ x -1) in x 1.395 * [taylor]: Taking taylor expansion of x in x 1.395 * [taylor]: Taking taylor expansion of -1 in x 1.396 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ (sqrt (/ -1 x)) y)) (* 3.0 (sqrt (/ -1 x)))) in x 1.396 * [taylor]: Taking taylor expansion of (* 3.0 (/ (sqrt (/ -1 x)) y)) in x 1.396 * [taylor]: Taking taylor expansion of 3.0 in x 1.396 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 1.396 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.396 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.396 * [taylor]: Taking taylor expansion of -1 in x 1.396 * [taylor]: Taking taylor expansion of x in x 1.398 * [taylor]: Taking taylor expansion of y in x 1.398 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ -1 x))) in x 1.398 * [taylor]: Taking taylor expansion of 3.0 in x 1.398 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.398 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.398 * [taylor]: Taking taylor expansion of -1 in x 1.398 * [taylor]: Taking taylor expansion of x in x 1.402 * [taylor]: Taking taylor expansion of (- (* 0.3333333333333333 (sqrt (/ x -1))) (+ (* 3.0 (/ (sqrt (/ -1 x)) y)) (* 3.0 (sqrt (/ -1 x))))) in x 1.402 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (sqrt (/ x -1))) in x 1.402 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.402 * [taylor]: Taking taylor expansion of (sqrt (/ x -1)) in x 1.402 * [taylor]: Taking taylor expansion of (/ x -1) in x 1.402 * [taylor]: Taking taylor expansion of x in x 1.402 * [taylor]: Taking taylor expansion of -1 in x 1.404 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ (sqrt (/ -1 x)) y)) (* 3.0 (sqrt (/ -1 x)))) in x 1.404 * [taylor]: Taking taylor expansion of (* 3.0 (/ (sqrt (/ -1 x)) y)) in x 1.404 * [taylor]: Taking taylor expansion of 3.0 in x 1.404 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 1.404 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.404 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.404 * [taylor]: Taking taylor expansion of -1 in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.405 * [taylor]: Taking taylor expansion of y in x 1.405 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (/ -1 x))) in x 1.405 * [taylor]: Taking taylor expansion of 3.0 in x 1.405 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.405 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.405 * [taylor]: Taking taylor expansion of -1 in x 1.405 * [taylor]: Taking taylor expansion of x in x 1.408 * [taylor]: Taking taylor expansion of 0 in y 1.410 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 1.410 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 1.410 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 1.410 * [taylor]: Taking taylor expansion of +nan.0 in y 1.410 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.410 * [taylor]: Taking taylor expansion of y in y 1.410 * [taylor]: Taking taylor expansion of (- +nan.0) in y 1.410 * [taylor]: Taking taylor expansion of +nan.0 in y 1.419 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 1.419 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 1.419 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 1.419 * [taylor]: Taking taylor expansion of +nan.0 in y 1.419 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.419 * [taylor]: Taking taylor expansion of y in y 1.420 * [taylor]: Taking taylor expansion of (- +nan.0) in y 1.420 * [taylor]: Taking taylor expansion of +nan.0 in y 1.424 * * * [progress]: simplifying candidates 1.425 * [simplify]: Simplifying using # : (* 3.0 (- y 1.0)) (* 3.0 (sqrt x)) (* 3.0 (* (- (pow y 3) (pow 1.0 3)) (sqrt x))) (* 3.0 (* (- (* y y) (* 1.0 1.0)) (sqrt x))) (- (* 3.0 0.1111111111111111)) (- (pow x 1/2)) (/ 3.0 (pow x (/ 1/2 2))) (/ 0.1111111111111111 (pow x (/ 1/2 2))) (/ 0.1111111111111111 (pow x (/ 1/2 2))) (/ 3.0 (pow x (/ 1/2 2))) (/ 1 (pow x 1/2)) (/ (pow x 1/2) (* 3.0 0.1111111111111111)) (/ (* 3.0 0.1111111111111111) (pow x (/ 1/2 2))) (/ (pow x 1/2) 0.1111111111111111) (/ (pow x 1/2) 3.0) (* (- (pow y 3) (pow 1.0 3)) (sqrt x)) (* (- (* y y) (* 1.0 1.0)) (sqrt x)) (+ (* (* 3.0 0.1111111111111111) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (* (pow x 1/2) (* 3.0 (* (- (pow y 3) (pow 1.0 3)) (sqrt x))))) (* (pow x 1/2) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (+ (* (* 3.0 0.1111111111111111) (+ y 1.0)) (* (pow x 1/2) (* 3.0 (* (- (* y y) (* 1.0 1.0)) (sqrt x))))) (* (pow x 1/2) (+ y 1.0)) (+ (* (- (* 3.0 0.1111111111111111)) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (* (- (pow x 1/2)) (* 3.0 (* (- (pow y 3) (pow 1.0 3)) (sqrt x))))) (* (- (pow x 1/2)) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (+ (* (- (* 3.0 0.1111111111111111)) (+ y 1.0)) (* (- (pow x 1/2)) (* 3.0 (* (- (* y y) (* 1.0 1.0)) (sqrt x))))) (* (- (pow x 1/2)) (+ y 1.0)) (+ (* 1 (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (* (/ (pow x 1/2) (* 3.0 0.1111111111111111)) (* 3.0 (* (- (pow y 3) (pow 1.0 3)) (sqrt x))))) (* (/ (pow x 1/2) (* 3.0 0.1111111111111111)) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (+ (* 1 (+ y 1.0)) (* (/ (pow x 1/2) (* 3.0 0.1111111111111111)) (* 3.0 (* (- (* y y) (* 1.0 1.0)) (sqrt x))))) (* (/ (pow x 1/2) (* 3.0 0.1111111111111111)) (+ y 1.0)) (+ (* (/ (* 3.0 0.1111111111111111) (pow x (/ 1/2 2))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (* (pow x (/ 1/2 2)) (* 3.0 (* (- (pow y 3) (pow 1.0 3)) (sqrt x))))) (* (pow x (/ 1/2 2)) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (+ (* (/ (* 3.0 0.1111111111111111) (pow x (/ 1/2 2))) (+ y 1.0)) (* (pow x (/ 1/2 2)) (* 3.0 (* (- (* y y) (* 1.0 1.0)) (sqrt x))))) (* (pow x (/ 1/2 2)) (+ y 1.0)) (+ (* 3.0 (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (* (/ (pow x 1/2) 0.1111111111111111) (* 3.0 (* (- (pow y 3) (pow 1.0 3)) (sqrt x))))) (* (/ (pow x 1/2) 0.1111111111111111) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (+ (* 3.0 (+ y 1.0)) (* (/ (pow x 1/2) 0.1111111111111111) (* 3.0 (* (- (* y y) (* 1.0 1.0)) (sqrt x))))) (* (/ (pow x 1/2) 0.1111111111111111) (+ y 1.0)) (+ (* 0.1111111111111111 (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (* (/ (pow x 1/2) 3.0) (* 3.0 (* (- (pow y 3) (pow 1.0 3)) (sqrt x))))) (* (/ (pow x 1/2) 3.0) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (+ (* 0.1111111111111111 (+ y 1.0)) (* (/ (pow x 1/2) 3.0) (* 3.0 (* (- (* y y) (* 1.0 1.0)) (sqrt x))))) (* (/ (pow x 1/2) 3.0) (+ y 1.0)) (+ (pow (/ (* 3.0 0.1111111111111111) (pow x 1/2)) 3) (pow (* 3.0 (* (- y 1.0) (sqrt x))) 3)) (+ (* (/ (* 3.0 0.1111111111111111) (pow x 1/2)) (/ (* 3.0 0.1111111111111111) (pow x 1/2))) (- (* (* 3.0 (* (- y 1.0) (sqrt x))) (* 3.0 (* (- y 1.0) (sqrt x)))) (* (/ (* 3.0 0.1111111111111111) (pow x 1/2)) (* 3.0 (* (- y 1.0) (sqrt x)))))) (- (* (/ (* 3.0 0.1111111111111111) (pow x 1/2)) (/ (* 3.0 0.1111111111111111) (pow x 1/2))) (* (* 3.0 (* (- y 1.0) (sqrt x))) (* 3.0 (* (- y 1.0) (sqrt x))))) (- (/ (* 3.0 0.1111111111111111) (pow x 1/2)) (* 3.0 (* (- y 1.0) (sqrt x)))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 (* x y))))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 3)))))))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 3)))))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 (* x y))))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- +nan.0))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) 1.431 * * [simplify]: iteration 0 : 518 enodes (cost 455 ) 1.444 * * [simplify]: iteration 1 : 2454 enodes (cost 422 ) 1.495 * * [simplify]: iteration 2 : 5002 enodes (cost 422 ) 1.498 * [simplify]: Simplified to: (* 3.0 (- y 1.0)) (* 3.0 (sqrt x)) (* 3.0 (* (- (pow y 3) (pow 1.0 3)) (sqrt x))) (* 3.0 (* (- (* y y) (* 1.0 1.0)) (sqrt x))) (- (* 3.0 0.1111111111111111)) (- (pow x 1/2)) (/ 3.0 (pow x 1/4)) (/ 0.1111111111111111 (pow x 1/4)) (/ 0.1111111111111111 (pow x 1/4)) (/ 3.0 (pow x 1/4)) (/ 1 (pow x 1/2)) (/ (pow x 1/2) (* 3.0 0.1111111111111111)) (/ (* 3.0 0.1111111111111111) (pow x 1/4)) (/ (pow x 1/2) 0.1111111111111111) (/ (pow x 1/2) 3.0) (* (- (pow y 3) (pow 1.0 3)) (sqrt x)) (* (- (* y y) (* 1.0 1.0)) (sqrt x)) (+ (* (* 3.0 0.1111111111111111) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (* (pow x 1/2) (* 3.0 (* (- (pow y 3) (pow 1.0 3)) (sqrt x))))) (* (+ (* 1.0 (+ 1.0 y)) (* y y)) (pow x 1/2)) (+ (* (* 3.0 0.1111111111111111) (+ y 1.0)) (* (pow x 1/2) (* 3.0 (* (- (* y y) (* 1.0 1.0)) (sqrt x))))) (* (pow x 1/2) (+ y 1.0)) (- (* (- (pow x 1/2)) (* 3.0 (* (- (pow y 3) (pow 1.0 3)) (sqrt x)))) (* (+ (* 1.0 (+ 1.0 y)) (* y y)) (* 3.0 0.1111111111111111))) (* (+ (* 1.0 (+ 1.0 y)) (* y y)) (- (pow x 1/2))) (- (+ (* (* 3.0 0.1111111111111111) (+ y 1.0)) (* (pow x 1/2) (* 3.0 (* (- (* y y) (* 1.0 1.0)) (sqrt x)))))) (* (- (pow x 1/2)) (+ y 1.0)) (+ (* (/ (pow x 1/2) (* 3.0 0.1111111111111111)) (* 3.0 (* (- (pow y 3) (pow 1.0 3)) (sqrt x)))) (+ (* 1.0 (+ 1.0 y)) (* y y))) (* (+ (* 1.0 (+ 1.0 y)) (* y y)) (/ (pow x 1/2) (* 3.0 0.1111111111111111))) (+ (* (/ (pow x 1/2) (* 3.0 0.1111111111111111)) (* 3.0 (* (- (* y y) (* 1.0 1.0)) (sqrt x)))) (+ y 1.0)) (* (/ (pow x 1/2) (* 3.0 0.1111111111111111)) (+ y 1.0)) (+ (* (/ (* 3.0 0.1111111111111111) (pow x 1/4)) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (* (pow x 1/4) (* 3.0 (* (- (pow y 3) (pow 1.0 3)) (sqrt x))))) (* (+ (* 1.0 (+ 1.0 y)) (* y y)) (pow x 1/4)) (+ (* (/ (* 3.0 0.1111111111111111) (pow x 1/4)) (+ y 1.0)) (* (pow x 1/4) (* 3.0 (* (- (* y y) (* 1.0 1.0)) (sqrt x))))) (* (pow x 1/4) (+ y 1.0)) (+ (* 3.0 (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (* (/ (pow x 1/2) 0.1111111111111111) (* 3.0 (* (- (pow y 3) (pow 1.0 3)) (sqrt x))))) (* (+ (* 1.0 (+ 1.0 y)) (* y y)) (/ (pow x 1/2) 0.1111111111111111)) (+ (* 3.0 (+ y 1.0)) (* (/ (pow x 1/2) 0.1111111111111111) (* 3.0 (* (- (* y y) (* 1.0 1.0)) (sqrt x))))) (* (/ (pow x 1/2) 0.1111111111111111) (+ y 1.0)) (+ (* 0.1111111111111111 (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (* (/ (pow x 1/2) 3.0) (* 3.0 (* (- (pow y 3) (pow 1.0 3)) (sqrt x))))) (* (+ (* 1.0 (+ 1.0 y)) (* y y)) (/ (pow x 1/2) 3.0)) (+ (* 0.1111111111111111 (+ y 1.0)) (* (/ (pow x 1/2) 3.0) (* 3.0 (* (- (* y y) (* 1.0 1.0)) (sqrt x))))) (* (/ (pow x 1/2) 3.0) (+ y 1.0)) (+ (pow (/ (* 3.0 0.1111111111111111) (pow x 1/2)) 3) (pow (* 3.0 (* (- y 1.0) (sqrt x))) 3)) (+ (* (* 3.0 (* (- y 1.0) (sqrt x))) (- (* 3.0 (* (- y 1.0) (sqrt x))) (/ (* 3.0 0.1111111111111111) (pow x 1/2)))) (* (/ (* 3.0 0.1111111111111111) (pow x 1/2)) (/ (* 3.0 0.1111111111111111) (pow x 1/2)))) (- (* (/ (* 3.0 0.1111111111111111) (pow x 1/2)) (/ (* 3.0 0.1111111111111111) (pow x 1/2))) (* (* 3.0 (* (- y 1.0) (sqrt x))) (* 3.0 (* (- y 1.0) (sqrt x))))) (- (/ (* 3.0 0.1111111111111111) (pow x 1/2)) (* 3.0 (* (- y 1.0) (sqrt x)))) (+ (* +nan.0 (- x (* x y))) (- (* +nan.0 (pow x 2)))) (+ (- (* +nan.0 (/ y x))) (- (* +nan.0 y) +nan.0)) (+ (- (* +nan.0 (/ y x))) (- (* +nan.0 y) +nan.0)) (+ (- (* +nan.0 (pow x 2))) (- (* +nan.0 x) +nan.0)) (+ (* +nan.0 (- (/ 1 x) (/ 1 (pow x 3)))) (/ (- +nan.0) (pow x 2))) (+ (* +nan.0 (- (/ 1 x) (/ 1 (pow x 3)))) (/ (- +nan.0) (pow x 2))) (+ (* +nan.0 (- x (* x y))) (- (* +nan.0 (pow x 2)))) (+ (- (* +nan.0 (/ y x))) (- (* +nan.0 y) +nan.0)) (+ (- (* +nan.0 (/ y x))) (- (* +nan.0 y) +nan.0)) (+ (- (* +nan.0 (pow x 2))) (- (* +nan.0 x) +nan.0)) (+ (- (* +nan.0 (/ y x))) (- (* +nan.0 y) +nan.0)) (+ (- (* +nan.0 (/ y x))) (- (* +nan.0 y) +nan.0)) 1.498 * * * [progress]: adding candidates to table 1.642 * [progress]: [Phase 3 of 3] Extracting. 1.642 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 1.645 * * * [regime-changes]: Trying 2 branch expressions: (y x) 1.645 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # #) 1.686 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # #) 1.727 * * * [regime]: Found split indices: #