86.021 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.051 * * * [progress]: [2/2] Setting up program. 0.055 * [progress]: [Phase 2 of 3] Improving. 0.055 * [simplify]: Simplifying: (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y)) 0.055 * * [simplify]: iteration 0: 7 enodes 0.057 * * [simplify]: iteration 1: 13 enodes 0.063 * * [simplify]: iteration 2: 23 enodes 0.074 * * [simplify]: iteration 3: 35 enodes 0.086 * * [simplify]: iteration 4: 42 enodes 0.097 * * [simplify]: iteration 5: 45 enodes 0.112 * * [simplify]: iteration complete: 45 enodes 0.112 * * [simplify]: Extracting #0: cost 1 inf + 0 0.112 * * [simplify]: Extracting #1: cost 7 inf + 0 0.113 * * [simplify]: Extracting #2: cost 13 inf + 0 0.113 * * [simplify]: Extracting #3: cost 6 inf + 167 0.113 * * [simplify]: Extracting #4: cost 2 inf + 494 0.113 * * [simplify]: Extracting #5: cost 0 inf + 779 0.114 * [simplify]: Simplified to: (+ (* x x) (* (* y y) 3)) 0.123 * * [progress]: iteration 1 / 4 0.123 * * * [progress]: picking best candidate 0.136 * * * * [pick]: Picked # 0.137 * * * [progress]: localizing error 0.156 * * * [progress]: generating rewritten candidates 0.156 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.207 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.227 * * * [progress]: generating series expansions 0.227 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.227 * [backup-simplify]: Simplify (* (* y y) 3) into (* 3 (pow y 2)) 0.227 * [approximate]: Taking taylor expansion of (* 3 (pow y 2)) in (y) around 0 0.227 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 0.228 * [taylor]: Taking taylor expansion of 3 in y 0.228 * [backup-simplify]: Simplify 3 into 3 0.228 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.228 * [taylor]: Taking taylor expansion of y in y 0.228 * [backup-simplify]: Simplify 0 into 0 0.228 * [backup-simplify]: Simplify 1 into 1 0.228 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 0.228 * [taylor]: Taking taylor expansion of 3 in y 0.228 * [backup-simplify]: Simplify 3 into 3 0.228 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.228 * [taylor]: Taking taylor expansion of y in y 0.228 * [backup-simplify]: Simplify 0 into 0 0.228 * [backup-simplify]: Simplify 1 into 1 0.229 * [backup-simplify]: Simplify (* 1 1) into 1 0.230 * [backup-simplify]: Simplify (* 3 1) into 3 0.230 * [backup-simplify]: Simplify 3 into 3 0.231 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.232 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 0.232 * [backup-simplify]: Simplify 0 into 0 0.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.234 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 0.234 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.236 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.236 * [backup-simplify]: Simplify 0 into 0 0.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.240 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.240 * [backup-simplify]: Simplify 0 into 0 0.241 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.243 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.243 * [backup-simplify]: Simplify 0 into 0 0.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.246 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.246 * [backup-simplify]: Simplify 0 into 0 0.246 * [backup-simplify]: Simplify (* 3 (pow y 2)) into (* 3 (pow y 2)) 0.247 * [backup-simplify]: Simplify (* (* (/ 1 y) (/ 1 y)) 3) into (/ 3 (pow y 2)) 0.247 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0 0.247 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 0.247 * [taylor]: Taking taylor expansion of 3 in y 0.247 * [backup-simplify]: Simplify 3 into 3 0.247 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.247 * [taylor]: Taking taylor expansion of y in y 0.247 * [backup-simplify]: Simplify 0 into 0 0.247 * [backup-simplify]: Simplify 1 into 1 0.247 * [backup-simplify]: Simplify (* 1 1) into 1 0.248 * [backup-simplify]: Simplify (/ 3 1) into 3 0.248 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 0.248 * [taylor]: Taking taylor expansion of 3 in y 0.248 * [backup-simplify]: Simplify 3 into 3 0.248 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.248 * [taylor]: Taking taylor expansion of y in y 0.248 * [backup-simplify]: Simplify 0 into 0 0.248 * [backup-simplify]: Simplify 1 into 1 0.248 * [backup-simplify]: Simplify (* 1 1) into 1 0.249 * [backup-simplify]: Simplify (/ 3 1) into 3 0.249 * [backup-simplify]: Simplify 3 into 3 0.250 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.250 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 0.250 * [backup-simplify]: Simplify 0 into 0 0.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.252 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.253 * [backup-simplify]: Simplify 0 into 0 0.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.255 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.255 * [backup-simplify]: Simplify 0 into 0 0.256 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.257 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.257 * [backup-simplify]: Simplify 0 into 0 0.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.260 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.260 * [backup-simplify]: Simplify 0 into 0 0.262 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.263 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.263 * [backup-simplify]: Simplify 0 into 0 0.263 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 y)) 2)) into (* 3 (pow y 2)) 0.263 * [backup-simplify]: Simplify (* (* (/ 1 (- y)) (/ 1 (- y))) 3) into (/ 3 (pow y 2)) 0.263 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0 0.264 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 0.264 * [taylor]: Taking taylor expansion of 3 in y 0.264 * [backup-simplify]: Simplify 3 into 3 0.264 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.264 * [taylor]: Taking taylor expansion of y in y 0.264 * [backup-simplify]: Simplify 0 into 0 0.264 * [backup-simplify]: Simplify 1 into 1 0.264 * [backup-simplify]: Simplify (* 1 1) into 1 0.265 * [backup-simplify]: Simplify (/ 3 1) into 3 0.265 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 0.265 * [taylor]: Taking taylor expansion of 3 in y 0.265 * [backup-simplify]: Simplify 3 into 3 0.265 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.265 * [taylor]: Taking taylor expansion of y in y 0.265 * [backup-simplify]: Simplify 0 into 0 0.265 * [backup-simplify]: Simplify 1 into 1 0.265 * [backup-simplify]: Simplify (* 1 1) into 1 0.266 * [backup-simplify]: Simplify (/ 3 1) into 3 0.266 * [backup-simplify]: Simplify 3 into 3 0.266 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.267 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 0.268 * [backup-simplify]: Simplify 0 into 0 0.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.270 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.270 * [backup-simplify]: Simplify 0 into 0 0.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.272 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.273 * [backup-simplify]: Simplify 0 into 0 0.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.276 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.276 * [backup-simplify]: Simplify 0 into 0 0.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.278 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.278 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.281 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.281 * [backup-simplify]: Simplify 0 into 0 0.282 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- y))) 2)) into (* 3 (pow y 2)) 0.282 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.282 * [backup-simplify]: Simplify (+ (* x x) (* (* y y) 3)) into (+ (pow x 2) (* 3 (pow y 2))) 0.282 * [approximate]: Taking taylor expansion of (+ (pow x 2) (* 3 (pow y 2))) in (x y) around 0 0.282 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 3 (pow y 2))) in y 0.282 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.282 * [taylor]: Taking taylor expansion of x in y 0.282 * [backup-simplify]: Simplify x into x 0.282 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 0.282 * [taylor]: Taking taylor expansion of 3 in y 0.282 * [backup-simplify]: Simplify 3 into 3 0.282 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.282 * [taylor]: Taking taylor expansion of y in y 0.282 * [backup-simplify]: Simplify 0 into 0 0.282 * [backup-simplify]: Simplify 1 into 1 0.282 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 3 (pow y 2))) in x 0.282 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.283 * [taylor]: Taking taylor expansion of x in x 0.283 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify 1 into 1 0.283 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in x 0.283 * [taylor]: Taking taylor expansion of 3 in x 0.283 * [backup-simplify]: Simplify 3 into 3 0.283 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.283 * [taylor]: Taking taylor expansion of y in x 0.283 * [backup-simplify]: Simplify y into y 0.283 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 3 (pow y 2))) in x 0.283 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.283 * [taylor]: Taking taylor expansion of x in x 0.283 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify 1 into 1 0.283 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in x 0.283 * [taylor]: Taking taylor expansion of 3 in x 0.283 * [backup-simplify]: Simplify 3 into 3 0.283 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.283 * [taylor]: Taking taylor expansion of y in x 0.283 * [backup-simplify]: Simplify y into y 0.283 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.283 * [backup-simplify]: Simplify (* 3 (pow y 2)) into (* 3 (pow y 2)) 0.284 * [backup-simplify]: Simplify (+ 0 (* 3 (pow y 2))) into (* 3 (pow y 2)) 0.284 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 0.284 * [taylor]: Taking taylor expansion of 3 in y 0.284 * [backup-simplify]: Simplify 3 into 3 0.284 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.284 * [taylor]: Taking taylor expansion of y in y 0.284 * [backup-simplify]: Simplify 0 into 0 0.284 * [backup-simplify]: Simplify 1 into 1 0.284 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 0.285 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow y 2))) into 0 0.285 * [backup-simplify]: Simplify (+ 0 0) into 0 0.285 * [taylor]: Taking taylor expansion of 0 in y 0.285 * [backup-simplify]: Simplify 0 into 0 0.285 * [backup-simplify]: Simplify 0 into 0 0.285 * [backup-simplify]: Simplify (* 1 1) into 1 0.286 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 0.287 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 0.288 * [backup-simplify]: Simplify (+ 1 0) into 1 0.288 * [taylor]: Taking taylor expansion of 1 in y 0.288 * [backup-simplify]: Simplify 1 into 1 0.288 * [backup-simplify]: Simplify 1 into 1 0.288 * [backup-simplify]: Simplify 0 into 0 0.289 * [backup-simplify]: Simplify (* 1 1) into 1 0.289 * [backup-simplify]: Simplify (* 3 1) into 3 0.289 * [backup-simplify]: Simplify 3 into 3 0.290 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.291 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 0.293 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 0.293 * [backup-simplify]: Simplify (+ 0 0) into 0 0.293 * [taylor]: Taking taylor expansion of 0 in y 0.293 * [backup-simplify]: Simplify 0 into 0 0.293 * [backup-simplify]: Simplify 0 into 0 0.293 * [backup-simplify]: Simplify 0 into 0 0.293 * [backup-simplify]: Simplify 0 into 0 0.294 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.295 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 0.295 * [backup-simplify]: Simplify 0 into 0 0.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.297 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.299 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0 0.299 * [backup-simplify]: Simplify (+ 0 0) into 0 0.299 * [taylor]: Taking taylor expansion of 0 in y 0.299 * [backup-simplify]: Simplify 0 into 0 0.299 * [backup-simplify]: Simplify 0 into 0 0.299 * [backup-simplify]: Simplify 0 into 0 0.300 * [backup-simplify]: Simplify (+ (* 3 (pow (* y 1) 2)) (* 1 (pow (* 1 x) 2))) into (+ (pow x 2) (* 3 (pow y 2))) 0.300 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 x)) (* (* (/ 1 y) (/ 1 y)) 3)) into (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) 0.300 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in (x y) around 0 0.300 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in y 0.300 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.300 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.300 * [taylor]: Taking taylor expansion of x in y 0.300 * [backup-simplify]: Simplify x into x 0.300 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.300 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.300 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y 0.301 * [taylor]: Taking taylor expansion of 3 in y 0.301 * [backup-simplify]: Simplify 3 into 3 0.301 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.301 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.301 * [taylor]: Taking taylor expansion of y in y 0.301 * [backup-simplify]: Simplify 0 into 0 0.301 * [backup-simplify]: Simplify 1 into 1 0.301 * [backup-simplify]: Simplify (* 1 1) into 1 0.301 * [backup-simplify]: Simplify (/ 1 1) into 1 0.302 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in x 0.302 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.302 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.302 * [taylor]: Taking taylor expansion of x in x 0.302 * [backup-simplify]: Simplify 0 into 0 0.302 * [backup-simplify]: Simplify 1 into 1 0.302 * [backup-simplify]: Simplify (* 1 1) into 1 0.302 * [backup-simplify]: Simplify (/ 1 1) into 1 0.302 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in x 0.302 * [taylor]: Taking taylor expansion of 3 in x 0.303 * [backup-simplify]: Simplify 3 into 3 0.303 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.303 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.303 * [taylor]: Taking taylor expansion of y in x 0.303 * [backup-simplify]: Simplify y into y 0.303 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.303 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 0.303 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in x 0.303 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.303 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.303 * [taylor]: Taking taylor expansion of x in x 0.303 * [backup-simplify]: Simplify 0 into 0 0.303 * [backup-simplify]: Simplify 1 into 1 0.303 * [backup-simplify]: Simplify (* 1 1) into 1 0.304 * [backup-simplify]: Simplify (/ 1 1) into 1 0.304 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in x 0.304 * [taylor]: Taking taylor expansion of 3 in x 0.304 * [backup-simplify]: Simplify 3 into 3 0.304 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.304 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.304 * [taylor]: Taking taylor expansion of y in x 0.304 * [backup-simplify]: Simplify y into y 0.304 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.304 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 0.305 * [backup-simplify]: Simplify (+ 1 0) into 1 0.305 * [taylor]: Taking taylor expansion of 1 in y 0.305 * [backup-simplify]: Simplify 1 into 1 0.306 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.307 * [backup-simplify]: Simplify (+ 0 0) into 0 0.307 * [taylor]: Taking taylor expansion of 0 in y 0.307 * [backup-simplify]: Simplify 0 into 0 0.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.309 * [backup-simplify]: Simplify (* 3 (/ 1 (pow y 2))) into (/ 3 (pow y 2)) 0.309 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow y 2))) into (* 3 (/ 1 (pow y 2))) 0.309 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y 0.310 * [taylor]: Taking taylor expansion of 3 in y 0.310 * [backup-simplify]: Simplify 3 into 3 0.310 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.310 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.310 * [taylor]: Taking taylor expansion of y in y 0.310 * [backup-simplify]: Simplify 0 into 0 0.310 * [backup-simplify]: Simplify 1 into 1 0.310 * [backup-simplify]: Simplify (* 1 1) into 1 0.311 * [backup-simplify]: Simplify (/ 1 1) into 1 0.311 * [backup-simplify]: Simplify (* 3 1) into 3 0.311 * [backup-simplify]: Simplify 3 into 3 0.311 * [backup-simplify]: Simplify 1 into 1 0.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.313 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 0.314 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 0.314 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow y 2)))) into 0 0.315 * [backup-simplify]: Simplify (+ 0 0) into 0 0.315 * [taylor]: Taking taylor expansion of 0 in y 0.315 * [backup-simplify]: Simplify 0 into 0 0.316 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.316 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.317 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 0.317 * [backup-simplify]: Simplify 0 into 0 0.317 * [backup-simplify]: Simplify 0 into 0 0.317 * [backup-simplify]: Simplify 0 into 0 0.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.319 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 0.320 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 0.321 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow y 2))))) into 0 0.321 * [backup-simplify]: Simplify (+ 0 0) into 0 0.321 * [taylor]: Taking taylor expansion of 0 in y 0.321 * [backup-simplify]: Simplify 0 into 0 0.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.323 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.324 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 0.324 * [backup-simplify]: Simplify 0 into 0 0.324 * [backup-simplify]: Simplify 0 into 0 0.324 * [backup-simplify]: Simplify 0 into 0 0.325 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 3 (pow (* (/ 1 (/ 1 y)) 1) 2))) into (+ (pow x 2) (* 3 (pow y 2))) 0.325 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (* (/ 1 (- y)) (/ 1 (- y))) 3)) into (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) 0.325 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in (x y) around 0 0.325 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in y 0.325 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.325 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.325 * [taylor]: Taking taylor expansion of x in y 0.325 * [backup-simplify]: Simplify x into x 0.325 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.326 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.326 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y 0.326 * [taylor]: Taking taylor expansion of 3 in y 0.326 * [backup-simplify]: Simplify 3 into 3 0.326 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.326 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.326 * [taylor]: Taking taylor expansion of y in y 0.326 * [backup-simplify]: Simplify 0 into 0 0.326 * [backup-simplify]: Simplify 1 into 1 0.326 * [backup-simplify]: Simplify (* 1 1) into 1 0.327 * [backup-simplify]: Simplify (/ 1 1) into 1 0.327 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in x 0.327 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.327 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.327 * [taylor]: Taking taylor expansion of x in x 0.327 * [backup-simplify]: Simplify 0 into 0 0.327 * [backup-simplify]: Simplify 1 into 1 0.327 * [backup-simplify]: Simplify (* 1 1) into 1 0.328 * [backup-simplify]: Simplify (/ 1 1) into 1 0.328 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in x 0.328 * [taylor]: Taking taylor expansion of 3 in x 0.328 * [backup-simplify]: Simplify 3 into 3 0.328 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.328 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.328 * [taylor]: Taking taylor expansion of y in x 0.328 * [backup-simplify]: Simplify y into y 0.328 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.328 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 0.328 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in x 0.328 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.328 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.328 * [taylor]: Taking taylor expansion of x in x 0.328 * [backup-simplify]: Simplify 0 into 0 0.328 * [backup-simplify]: Simplify 1 into 1 0.328 * [backup-simplify]: Simplify (* 1 1) into 1 0.329 * [backup-simplify]: Simplify (/ 1 1) into 1 0.329 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in x 0.329 * [taylor]: Taking taylor expansion of 3 in x 0.329 * [backup-simplify]: Simplify 3 into 3 0.329 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.329 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.329 * [taylor]: Taking taylor expansion of y in x 0.329 * [backup-simplify]: Simplify y into y 0.329 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.329 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 0.330 * [backup-simplify]: Simplify (+ 1 0) into 1 0.330 * [taylor]: Taking taylor expansion of 1 in y 0.330 * [backup-simplify]: Simplify 1 into 1 0.335 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.336 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.336 * [backup-simplify]: Simplify (+ 0 0) into 0 0.336 * [taylor]: Taking taylor expansion of 0 in y 0.336 * [backup-simplify]: Simplify 0 into 0 0.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.339 * [backup-simplify]: Simplify (* 3 (/ 1 (pow y 2))) into (/ 3 (pow y 2)) 0.339 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow y 2))) into (* 3 (/ 1 (pow y 2))) 0.339 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y 0.339 * [taylor]: Taking taylor expansion of 3 in y 0.339 * [backup-simplify]: Simplify 3 into 3 0.339 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.339 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.339 * [taylor]: Taking taylor expansion of y in y 0.339 * [backup-simplify]: Simplify 0 into 0 0.339 * [backup-simplify]: Simplify 1 into 1 0.340 * [backup-simplify]: Simplify (* 1 1) into 1 0.340 * [backup-simplify]: Simplify (/ 1 1) into 1 0.340 * [backup-simplify]: Simplify (* 3 1) into 3 0.341 * [backup-simplify]: Simplify 3 into 3 0.341 * [backup-simplify]: Simplify 1 into 1 0.342 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.343 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 0.343 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 0.344 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow y 2)))) into 0 0.344 * [backup-simplify]: Simplify (+ 0 0) into 0 0.344 * [taylor]: Taking taylor expansion of 0 in y 0.344 * [backup-simplify]: Simplify 0 into 0 0.345 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.346 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 0.346 * [backup-simplify]: Simplify 0 into 0 0.346 * [backup-simplify]: Simplify 0 into 0 0.346 * [backup-simplify]: Simplify 0 into 0 0.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.348 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 0.349 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 0.350 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow y 2))))) into 0 0.350 * [backup-simplify]: Simplify (+ 0 0) into 0 0.350 * [taylor]: Taking taylor expansion of 0 in y 0.350 * [backup-simplify]: Simplify 0 into 0 0.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.352 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.352 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 0.353 * [backup-simplify]: Simplify 0 into 0 0.353 * [backup-simplify]: Simplify 0 into 0 0.353 * [backup-simplify]: Simplify 0 into 0 0.353 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* 3 (pow (* (/ 1 (/ 1 (- y))) 1) 2))) into (+ (pow x 2) (* 3 (pow y 2))) 0.353 * * * [progress]: simplifying candidates 0.354 * [simplify]: Simplifying: (* (* y y) 3) (* (* y y) 3) (+ (+ (log y) (log y)) (log 3)) (+ (log (* y y)) (log 3)) (log (* (* y y) 3)) (exp (* (* y y) 3)) (* (* (* (* y y) y) (* (* y y) y)) (* (* 3 3) 3)) (* (* (* (* y y) (* y y)) (* y y)) (* (* 3 3) 3)) (* (cbrt (* (* y y) 3)) (cbrt (* (* y y) 3))) (cbrt (* (* y y) 3)) (* (* (* (* y y) 3) (* (* y y) 3)) (* (* y y) 3)) (sqrt (* (* y y) 3)) (sqrt (* (* y y) 3)) (* y (sqrt 3)) (* y (sqrt 3)) (* (* y y) (* (cbrt 3) (cbrt 3))) (* (* y y) (sqrt 3)) (* (* y y) 1) (* y 3) (* (exp (* x x)) (exp (* (* y y) 3))) (log (+ (* x x) (* (* y y) 3))) (exp (+ (* x x) (* (* y y) 3))) (* (cbrt (+ (* x x) (* (* y y) 3))) (cbrt (+ (* x x) (* (* y y) 3)))) (cbrt (+ (* x x) (* (* y y) 3))) (* (* (+ (* x x) (* (* y y) 3)) (+ (* x x) (* (* y y) 3))) (+ (* x x) (* (* y y) 3))) (sqrt (+ (* x x) (* (* y y) 3))) (sqrt (+ (* x x) (* (* y y) 3))) (+ (pow (* x x) 3) (pow (* (* y y) 3) 3)) (+ (* (* x x) (* x x)) (- (* (* (* y y) 3) (* (* y y) 3)) (* (* x x) (* (* y y) 3)))) (- (* (* x x) (* x x)) (* (* (* y y) 3) (* (* y y) 3))) (- (* x x) (* (* y y) 3)) (* 3 (pow y 2)) (* 3 (pow y 2)) (* 3 (pow y 2)) (+ (pow x 2) (* 3 (pow y 2))) (+ (pow x 2) (* 3 (pow y 2))) (+ (pow x 2) (* 3 (pow y 2))) 0.355 * * [simplify]: iteration 0: 60 enodes 0.389 * * [simplify]: iteration 1: 181 enodes 0.553 * * [simplify]: iteration 2: 675 enodes 1.647 * * [simplify]: iteration 3: 2777 enodes 4.289 * * [simplify]: iteration complete: 5000 enodes 4.289 * * [simplify]: Extracting #0: cost 23 inf + 0 4.290 * * [simplify]: Extracting #1: cost 243 inf + 0 4.295 * * [simplify]: Extracting #2: cost 1096 inf + 4552 4.312 * * [simplify]: Extracting #3: cost 1182 inf + 40969 4.368 * * [simplify]: Extracting #4: cost 523 inf + 134322 4.479 * * [simplify]: Extracting #5: cost 149 inf + 227216 4.581 * * [simplify]: Extracting #6: cost 11 inf + 272681 4.735 * * [simplify]: Extracting #7: cost 0 inf + 276177 4.847 * [simplify]: Simplified to: (* (* y y) 3) (* (* y y) 3) (log (* (* y y) 3)) (log (* (* y y) 3)) (log (* (* y y) 3)) (exp (* (* y y) 3)) (* (* 27 (* y y)) (* (* y y) (* y y))) (* (* 27 (* y y)) (* (* y y) (* y y))) (* (cbrt (* (* y y) 3)) (cbrt (* (* y y) 3))) (cbrt (* (* y y) 3)) (* (* 27 (* y y)) (* (* y y) (* y y))) (sqrt (* (* y y) 3)) (sqrt (* (* y y) 3)) (* (sqrt 3) y) (* (sqrt 3) y) (* (* y (cbrt 3)) (* y (cbrt 3))) (* (* y (sqrt 3)) y) (* y y) (* y 3) (exp (+ (* (* y y) 3) (* x x))) (log (+ (* x x) (* (* y y) 3))) (exp (+ (* (* y y) 3) (* x x))) (* (cbrt (+ (* x x) (* (* y y) 3))) (cbrt (+ (* x x) (* (* y y) 3)))) (cbrt (+ (* x x) (* (* y y) 3))) (* (* (+ (* x x) (* (* y y) 3)) (+ (* x x) (* (* y y) 3))) (+ (* x x) (* (* y y) 3))) (sqrt (+ (* x x) (* (* y y) 3))) (sqrt (+ (* x x) (* (* y y) 3))) (+ (* (* x (* x x)) (* x (* x x))) (* (* 27 (* y y)) (* (* y y) (* y y)))) (+ (* (* (* y y) 3) (- (* (* y y) 3) (* x x))) (* (* x x) (* x x))) (+ (* (* x x) (* x x)) (* (* -9 (* y y)) (* y y))) (+ (* x x) (* y (* y -3))) (* (* y y) 3) (* (* y y) 3) (* (* y y) 3) (+ (* x x) (* (* y y) 3)) (+ (* x x) (* (* y y) 3)) (+ (* x x) (* (* y y) 3)) 4.850 * * * [progress]: adding candidates to table 5.108 * * [progress]: iteration 2 / 4 5.109 * * * [progress]: picking best candidate 5.148 * * * * [pick]: Picked # 5.148 * * * [progress]: localizing error 5.169 * * * [progress]: generating rewritten candidates 5.169 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 5.206 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 5.225 * * * [progress]: generating series expansions 5.225 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 5.225 * [backup-simplify]: Simplify (* y (* y 3)) into (* 3 (pow y 2)) 5.225 * [approximate]: Taking taylor expansion of (* 3 (pow y 2)) in (y) around 0 5.225 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 5.225 * [taylor]: Taking taylor expansion of 3 in y 5.225 * [backup-simplify]: Simplify 3 into 3 5.225 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.225 * [taylor]: Taking taylor expansion of y in y 5.225 * [backup-simplify]: Simplify 0 into 0 5.225 * [backup-simplify]: Simplify 1 into 1 5.225 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 5.225 * [taylor]: Taking taylor expansion of 3 in y 5.225 * [backup-simplify]: Simplify 3 into 3 5.225 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.225 * [taylor]: Taking taylor expansion of y in y 5.225 * [backup-simplify]: Simplify 0 into 0 5.225 * [backup-simplify]: Simplify 1 into 1 5.226 * [backup-simplify]: Simplify (* 1 1) into 1 5.226 * [backup-simplify]: Simplify (* 3 1) into 3 5.226 * [backup-simplify]: Simplify 3 into 3 5.227 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.228 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 5.228 * [backup-simplify]: Simplify 0 into 0 5.229 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.230 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 5.230 * [backup-simplify]: Simplify 0 into 0 5.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.232 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.232 * [backup-simplify]: Simplify 0 into 0 5.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.234 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.234 * [backup-simplify]: Simplify 0 into 0 5.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.237 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.237 * [backup-simplify]: Simplify 0 into 0 5.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.240 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.240 * [backup-simplify]: Simplify 0 into 0 5.240 * [backup-simplify]: Simplify (* 3 (pow y 2)) into (* 3 (pow y 2)) 5.241 * [backup-simplify]: Simplify (* (/ 1 y) (* (/ 1 y) 3)) into (/ 3 (pow y 2)) 5.241 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0 5.241 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 5.241 * [taylor]: Taking taylor expansion of 3 in y 5.241 * [backup-simplify]: Simplify 3 into 3 5.241 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.241 * [taylor]: Taking taylor expansion of y in y 5.241 * [backup-simplify]: Simplify 0 into 0 5.241 * [backup-simplify]: Simplify 1 into 1 5.241 * [backup-simplify]: Simplify (* 1 1) into 1 5.242 * [backup-simplify]: Simplify (/ 3 1) into 3 5.242 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 5.242 * [taylor]: Taking taylor expansion of 3 in y 5.242 * [backup-simplify]: Simplify 3 into 3 5.242 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.242 * [taylor]: Taking taylor expansion of y in y 5.242 * [backup-simplify]: Simplify 0 into 0 5.242 * [backup-simplify]: Simplify 1 into 1 5.242 * [backup-simplify]: Simplify (* 1 1) into 1 5.243 * [backup-simplify]: Simplify (/ 3 1) into 3 5.243 * [backup-simplify]: Simplify 3 into 3 5.244 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.245 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 5.245 * [backup-simplify]: Simplify 0 into 0 5.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.248 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.248 * [backup-simplify]: Simplify 0 into 0 5.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.251 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.251 * [backup-simplify]: Simplify 0 into 0 5.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.254 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.254 * [backup-simplify]: Simplify 0 into 0 5.256 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.258 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.258 * [backup-simplify]: Simplify 0 into 0 5.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.261 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.261 * [backup-simplify]: Simplify 0 into 0 5.261 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 y)) 2)) into (* 3 (pow y 2)) 5.261 * [backup-simplify]: Simplify (* (/ 1 (- y)) (* (/ 1 (- y)) 3)) into (/ 3 (pow y 2)) 5.261 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0 5.261 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 5.261 * [taylor]: Taking taylor expansion of 3 in y 5.261 * [backup-simplify]: Simplify 3 into 3 5.261 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.262 * [taylor]: Taking taylor expansion of y in y 5.262 * [backup-simplify]: Simplify 0 into 0 5.262 * [backup-simplify]: Simplify 1 into 1 5.262 * [backup-simplify]: Simplify (* 1 1) into 1 5.262 * [backup-simplify]: Simplify (/ 3 1) into 3 5.262 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 5.263 * [taylor]: Taking taylor expansion of 3 in y 5.263 * [backup-simplify]: Simplify 3 into 3 5.263 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.263 * [taylor]: Taking taylor expansion of y in y 5.263 * [backup-simplify]: Simplify 0 into 0 5.263 * [backup-simplify]: Simplify 1 into 1 5.263 * [backup-simplify]: Simplify (* 1 1) into 1 5.263 * [backup-simplify]: Simplify (/ 3 1) into 3 5.264 * [backup-simplify]: Simplify 3 into 3 5.264 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.265 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 5.265 * [backup-simplify]: Simplify 0 into 0 5.266 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.268 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.268 * [backup-simplify]: Simplify 0 into 0 5.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.270 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.270 * [backup-simplify]: Simplify 0 into 0 5.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.273 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.273 * [backup-simplify]: Simplify 0 into 0 5.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.276 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.276 * [backup-simplify]: Simplify 0 into 0 5.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.278 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.279 * [backup-simplify]: Simplify 0 into 0 5.279 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- y))) 2)) into (* 3 (pow y 2)) 5.279 * * * * [progress]: [ 2 / 2 ] generating series at (2) 5.279 * [backup-simplify]: Simplify (+ (* x x) (* y (* y 3))) into (+ (pow x 2) (* 3 (pow y 2))) 5.279 * [approximate]: Taking taylor expansion of (+ (pow x 2) (* 3 (pow y 2))) in (x y) around 0 5.279 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 3 (pow y 2))) in y 5.279 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.279 * [taylor]: Taking taylor expansion of x in y 5.279 * [backup-simplify]: Simplify x into x 5.279 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 5.279 * [taylor]: Taking taylor expansion of 3 in y 5.279 * [backup-simplify]: Simplify 3 into 3 5.279 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.280 * [taylor]: Taking taylor expansion of y in y 5.280 * [backup-simplify]: Simplify 0 into 0 5.280 * [backup-simplify]: Simplify 1 into 1 5.280 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 3 (pow y 2))) in x 5.280 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.280 * [taylor]: Taking taylor expansion of x in x 5.280 * [backup-simplify]: Simplify 0 into 0 5.280 * [backup-simplify]: Simplify 1 into 1 5.280 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in x 5.280 * [taylor]: Taking taylor expansion of 3 in x 5.280 * [backup-simplify]: Simplify 3 into 3 5.280 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.280 * [taylor]: Taking taylor expansion of y in x 5.280 * [backup-simplify]: Simplify y into y 5.280 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 3 (pow y 2))) in x 5.280 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.280 * [taylor]: Taking taylor expansion of x in x 5.280 * [backup-simplify]: Simplify 0 into 0 5.280 * [backup-simplify]: Simplify 1 into 1 5.280 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in x 5.280 * [taylor]: Taking taylor expansion of 3 in x 5.280 * [backup-simplify]: Simplify 3 into 3 5.280 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.280 * [taylor]: Taking taylor expansion of y in x 5.280 * [backup-simplify]: Simplify y into y 5.280 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.280 * [backup-simplify]: Simplify (* 3 (pow y 2)) into (* 3 (pow y 2)) 5.281 * [backup-simplify]: Simplify (+ 0 (* 3 (pow y 2))) into (* 3 (pow y 2)) 5.281 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 5.281 * [taylor]: Taking taylor expansion of 3 in y 5.281 * [backup-simplify]: Simplify 3 into 3 5.281 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.281 * [taylor]: Taking taylor expansion of y in y 5.281 * [backup-simplify]: Simplify 0 into 0 5.281 * [backup-simplify]: Simplify 1 into 1 5.281 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 5.282 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow y 2))) into 0 5.282 * [backup-simplify]: Simplify (+ 0 0) into 0 5.282 * [taylor]: Taking taylor expansion of 0 in y 5.282 * [backup-simplify]: Simplify 0 into 0 5.282 * [backup-simplify]: Simplify 0 into 0 5.282 * [backup-simplify]: Simplify (* 1 1) into 1 5.283 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 5.284 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 5.284 * [backup-simplify]: Simplify (+ 1 0) into 1 5.284 * [taylor]: Taking taylor expansion of 1 in y 5.284 * [backup-simplify]: Simplify 1 into 1 5.284 * [backup-simplify]: Simplify 1 into 1 5.284 * [backup-simplify]: Simplify 0 into 0 5.285 * [backup-simplify]: Simplify (* 1 1) into 1 5.285 * [backup-simplify]: Simplify (* 3 1) into 3 5.285 * [backup-simplify]: Simplify 3 into 3 5.286 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.287 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 5.288 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 5.289 * [backup-simplify]: Simplify (+ 0 0) into 0 5.289 * [taylor]: Taking taylor expansion of 0 in y 5.289 * [backup-simplify]: Simplify 0 into 0 5.289 * [backup-simplify]: Simplify 0 into 0 5.289 * [backup-simplify]: Simplify 0 into 0 5.289 * [backup-simplify]: Simplify 0 into 0 5.289 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.290 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 5.290 * [backup-simplify]: Simplify 0 into 0 5.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.292 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.294 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0 5.295 * [backup-simplify]: Simplify (+ 0 0) into 0 5.295 * [taylor]: Taking taylor expansion of 0 in y 5.295 * [backup-simplify]: Simplify 0 into 0 5.295 * [backup-simplify]: Simplify 0 into 0 5.295 * [backup-simplify]: Simplify 0 into 0 5.295 * [backup-simplify]: Simplify (+ (* 3 (pow (* y 1) 2)) (* 1 (pow (* 1 x) 2))) into (+ (pow x 2) (* 3 (pow y 2))) 5.296 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (* (/ 1 y) 3))) into (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) 5.296 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in (x y) around 0 5.296 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in y 5.296 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 5.296 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.296 * [taylor]: Taking taylor expansion of x in y 5.296 * [backup-simplify]: Simplify x into x 5.296 * [backup-simplify]: Simplify (* x x) into (pow x 2) 5.296 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 5.296 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y 5.296 * [taylor]: Taking taylor expansion of 3 in y 5.296 * [backup-simplify]: Simplify 3 into 3 5.296 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.296 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.296 * [taylor]: Taking taylor expansion of y in y 5.296 * [backup-simplify]: Simplify 0 into 0 5.296 * [backup-simplify]: Simplify 1 into 1 5.297 * [backup-simplify]: Simplify (* 1 1) into 1 5.297 * [backup-simplify]: Simplify (/ 1 1) into 1 5.297 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in x 5.297 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.297 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.297 * [taylor]: Taking taylor expansion of x in x 5.297 * [backup-simplify]: Simplify 0 into 0 5.297 * [backup-simplify]: Simplify 1 into 1 5.298 * [backup-simplify]: Simplify (* 1 1) into 1 5.298 * [backup-simplify]: Simplify (/ 1 1) into 1 5.298 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in x 5.298 * [taylor]: Taking taylor expansion of 3 in x 5.298 * [backup-simplify]: Simplify 3 into 3 5.298 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.298 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.298 * [taylor]: Taking taylor expansion of y in x 5.298 * [backup-simplify]: Simplify y into y 5.298 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.299 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 5.299 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in x 5.299 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.299 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.299 * [taylor]: Taking taylor expansion of x in x 5.299 * [backup-simplify]: Simplify 0 into 0 5.299 * [backup-simplify]: Simplify 1 into 1 5.299 * [backup-simplify]: Simplify (* 1 1) into 1 5.300 * [backup-simplify]: Simplify (/ 1 1) into 1 5.300 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in x 5.300 * [taylor]: Taking taylor expansion of 3 in x 5.300 * [backup-simplify]: Simplify 3 into 3 5.300 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.300 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.300 * [taylor]: Taking taylor expansion of y in x 5.300 * [backup-simplify]: Simplify y into y 5.300 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.300 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 5.300 * [backup-simplify]: Simplify (+ 1 0) into 1 5.300 * [taylor]: Taking taylor expansion of 1 in y 5.301 * [backup-simplify]: Simplify 1 into 1 5.301 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.302 * [backup-simplify]: Simplify (+ 0 0) into 0 5.302 * [taylor]: Taking taylor expansion of 0 in y 5.302 * [backup-simplify]: Simplify 0 into 0 5.303 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.304 * [backup-simplify]: Simplify (* 3 (/ 1 (pow y 2))) into (/ 3 (pow y 2)) 5.304 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow y 2))) into (* 3 (/ 1 (pow y 2))) 5.304 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y 5.305 * [taylor]: Taking taylor expansion of 3 in y 5.305 * [backup-simplify]: Simplify 3 into 3 5.305 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.305 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.305 * [taylor]: Taking taylor expansion of y in y 5.305 * [backup-simplify]: Simplify 0 into 0 5.305 * [backup-simplify]: Simplify 1 into 1 5.305 * [backup-simplify]: Simplify (* 1 1) into 1 5.305 * [backup-simplify]: Simplify (/ 1 1) into 1 5.306 * [backup-simplify]: Simplify (* 3 1) into 3 5.306 * [backup-simplify]: Simplify 3 into 3 5.306 * [backup-simplify]: Simplify 1 into 1 5.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.308 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 5.308 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 5.309 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow y 2)))) into 0 5.309 * [backup-simplify]: Simplify (+ 0 0) into 0 5.309 * [taylor]: Taking taylor expansion of 0 in y 5.309 * [backup-simplify]: Simplify 0 into 0 5.310 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.311 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 5.311 * [backup-simplify]: Simplify 0 into 0 5.312 * [backup-simplify]: Simplify 0 into 0 5.312 * [backup-simplify]: Simplify 0 into 0 5.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.314 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.314 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 5.315 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 5.315 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow y 2))))) into 0 5.316 * [backup-simplify]: Simplify (+ 0 0) into 0 5.316 * [taylor]: Taking taylor expansion of 0 in y 5.316 * [backup-simplify]: Simplify 0 into 0 5.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.319 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 5.319 * [backup-simplify]: Simplify 0 into 0 5.319 * [backup-simplify]: Simplify 0 into 0 5.319 * [backup-simplify]: Simplify 0 into 0 5.320 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 3 (pow (* (/ 1 (/ 1 y)) 1) 2))) into (+ (pow x 2) (* 3 (pow y 2))) 5.320 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (* (/ 1 (- y)) 3))) into (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) 5.320 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in (x y) around 0 5.320 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in y 5.320 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 5.320 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.320 * [taylor]: Taking taylor expansion of x in y 5.320 * [backup-simplify]: Simplify x into x 5.320 * [backup-simplify]: Simplify (* x x) into (pow x 2) 5.320 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 5.320 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y 5.320 * [taylor]: Taking taylor expansion of 3 in y 5.320 * [backup-simplify]: Simplify 3 into 3 5.320 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.320 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.320 * [taylor]: Taking taylor expansion of y in y 5.321 * [backup-simplify]: Simplify 0 into 0 5.321 * [backup-simplify]: Simplify 1 into 1 5.321 * [backup-simplify]: Simplify (* 1 1) into 1 5.321 * [backup-simplify]: Simplify (/ 1 1) into 1 5.321 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in x 5.321 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.321 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.321 * [taylor]: Taking taylor expansion of x in x 5.322 * [backup-simplify]: Simplify 0 into 0 5.322 * [backup-simplify]: Simplify 1 into 1 5.322 * [backup-simplify]: Simplify (* 1 1) into 1 5.322 * [backup-simplify]: Simplify (/ 1 1) into 1 5.322 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in x 5.322 * [taylor]: Taking taylor expansion of 3 in x 5.322 * [backup-simplify]: Simplify 3 into 3 5.322 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.322 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.322 * [taylor]: Taking taylor expansion of y in x 5.322 * [backup-simplify]: Simplify y into y 5.323 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.323 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 5.323 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in x 5.323 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.323 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.323 * [taylor]: Taking taylor expansion of x in x 5.323 * [backup-simplify]: Simplify 0 into 0 5.323 * [backup-simplify]: Simplify 1 into 1 5.323 * [backup-simplify]: Simplify (* 1 1) into 1 5.324 * [backup-simplify]: Simplify (/ 1 1) into 1 5.324 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in x 5.324 * [taylor]: Taking taylor expansion of 3 in x 5.324 * [backup-simplify]: Simplify 3 into 3 5.324 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.324 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.324 * [taylor]: Taking taylor expansion of y in x 5.324 * [backup-simplify]: Simplify y into y 5.324 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.324 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 5.324 * [backup-simplify]: Simplify (+ 1 0) into 1 5.324 * [taylor]: Taking taylor expansion of 1 in y 5.325 * [backup-simplify]: Simplify 1 into 1 5.325 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.326 * [backup-simplify]: Simplify (+ 0 0) into 0 5.326 * [taylor]: Taking taylor expansion of 0 in y 5.326 * [backup-simplify]: Simplify 0 into 0 5.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.329 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.329 * [backup-simplify]: Simplify (* 3 (/ 1 (pow y 2))) into (/ 3 (pow y 2)) 5.329 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow y 2))) into (* 3 (/ 1 (pow y 2))) 5.329 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y 5.329 * [taylor]: Taking taylor expansion of 3 in y 5.329 * [backup-simplify]: Simplify 3 into 3 5.329 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.329 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.329 * [taylor]: Taking taylor expansion of y in y 5.329 * [backup-simplify]: Simplify 0 into 0 5.329 * [backup-simplify]: Simplify 1 into 1 5.330 * [backup-simplify]: Simplify (* 1 1) into 1 5.330 * [backup-simplify]: Simplify (/ 1 1) into 1 5.330 * [backup-simplify]: Simplify (* 3 1) into 3 5.330 * [backup-simplify]: Simplify 3 into 3 5.331 * [backup-simplify]: Simplify 1 into 1 5.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.333 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 5.333 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 5.334 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow y 2)))) into 0 5.334 * [backup-simplify]: Simplify (+ 0 0) into 0 5.334 * [taylor]: Taking taylor expansion of 0 in y 5.334 * [backup-simplify]: Simplify 0 into 0 5.335 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.336 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 5.336 * [backup-simplify]: Simplify 0 into 0 5.336 * [backup-simplify]: Simplify 0 into 0 5.336 * [backup-simplify]: Simplify 0 into 0 5.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.339 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 5.339 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 5.340 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow y 2))))) into 0 5.341 * [backup-simplify]: Simplify (+ 0 0) into 0 5.341 * [taylor]: Taking taylor expansion of 0 in y 5.341 * [backup-simplify]: Simplify 0 into 0 5.342 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.344 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 5.344 * [backup-simplify]: Simplify 0 into 0 5.344 * [backup-simplify]: Simplify 0 into 0 5.344 * [backup-simplify]: Simplify 0 into 0 5.344 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* 3 (pow (* (/ 1 (/ 1 (- y))) 1) 2))) into (+ (pow x 2) (* 3 (pow y 2))) 5.344 * * * [progress]: simplifying candidates 5.345 * [simplify]: Simplifying: (* y (* y 3)) (* y (* y 3)) (+ (log y) (+ (log y) (log 3))) (+ (log y) (log (* y 3))) (log (* y (* y 3))) (exp (* y (* y 3))) (* (* (* y y) y) (* (* (* y y) y) (* (* 3 3) 3))) (* (* (* y y) y) (* (* (* y 3) (* y 3)) (* y 3))) (* (cbrt (* y (* y 3))) (cbrt (* y (* y 3)))) (cbrt (* y (* y 3))) (* (* (* y (* y 3)) (* y (* y 3))) (* y (* y 3))) (sqrt (* y (* y 3))) (sqrt (* y (* y 3))) (* y y) (* (cbrt y) (* y 3)) (* (sqrt y) (* y 3)) (* y (* y 3)) (* (exp (* x x)) (exp (* y (* y 3)))) (log (+ (* x x) (* y (* y 3)))) (exp (+ (* x x) (* y (* y 3)))) (* (cbrt (+ (* x x) (* y (* y 3)))) (cbrt (+ (* x x) (* y (* y 3))))) (cbrt (+ (* x x) (* y (* y 3)))) (* (* (+ (* x x) (* y (* y 3))) (+ (* x x) (* y (* y 3)))) (+ (* x x) (* y (* y 3)))) (sqrt (+ (* x x) (* y (* y 3)))) (sqrt (+ (* x x) (* y (* y 3)))) (+ (pow (* x x) 3) (pow (* y (* y 3)) 3)) (+ (* (* x x) (* x x)) (- (* (* y (* y 3)) (* y (* y 3))) (* (* x x) (* y (* y 3))))) (- (* (* x x) (* x x)) (* (* y (* y 3)) (* y (* y 3)))) (- (* x x) (* y (* y 3))) (* 3 (pow y 2)) (* 3 (pow y 2)) (* 3 (pow y 2)) (+ (pow x 2) (* 3 (pow y 2))) (+ (pow x 2) (* 3 (pow y 2))) (+ (pow x 2) (* 3 (pow y 2))) 5.347 * * [simplify]: iteration 0: 56 enodes 5.383 * * [simplify]: iteration 1: 167 enodes 5.530 * * [simplify]: iteration 2: 665 enodes 7.935 * * [simplify]: iteration 3: 3683 enodes 13.310 * * [simplify]: iteration complete: 5007 enodes 13.313 * * [simplify]: Extracting #0: cost 21 inf + 0 13.315 * * [simplify]: Extracting #1: cost 225 inf + 0 13.363 * * [simplify]: Extracting #2: cost 1140 inf + 3869 13.444 * * [simplify]: Extracting #3: cost 1002 inf + 66820 13.814 * * [simplify]: Extracting #4: cost 422 inf + 142566 13.895 * * [simplify]: Extracting #5: cost 80 inf + 219369 13.971 * * [simplify]: Extracting #6: cost 23 inf + 226789 14.054 * * [simplify]: Extracting #7: cost 2 inf + 229522 14.165 * * [simplify]: Extracting #8: cost 0 inf + 230108 14.246 * [simplify]: Simplified to: (* (* y y) 3) (* (* y y) 3) (log (* (* y y) 3)) (log (* (* y y) 3)) (log (* (* y y) 3)) (exp (* (* y y) 3)) (* (* (* (* y y) y) 27) (* (* y y) y)) (* (* (* (* y y) y) 27) (* (* y y) y)) (* (cbrt (* (* y y) 3)) (cbrt (* (* y y) 3))) (cbrt (* (* y y) 3)) (* (* (* (* y y) y) 27) (* (* y y) y)) (sqrt (* (* y y) 3)) (sqrt (* (* y y) 3)) (* y y) (* (* 3 y) (cbrt y)) (* (* 3 y) (sqrt y)) (* (* y y) 3) (exp (+ (* x x) (* (* y y) 3))) (log (+ (* x x) (* (* y y) 3))) (exp (+ (* x x) (* (* y y) 3))) (* (cbrt (+ (* x x) (* (* y y) 3))) (cbrt (+ (* x x) (* (* y y) 3)))) (cbrt (+ (* x x) (* (* y y) 3))) (* (* (+ (* x x) (* (* y y) 3)) (+ (* x x) (* (* y y) 3))) (+ (* x x) (* (* y y) 3))) (sqrt (+ (* x x) (* (* y y) 3))) (sqrt (+ (* x x) (* (* y y) 3))) (+ (* (* (* (* y y) y) 27) (* (* y y) y)) (* (* (* x x) (* x x)) (* x x))) (+ (* (* (* y y) 3) (- (* (* y y) 3) (* x x))) (* (* x x) (* x x))) (- (* (* x x) (* x x)) (* 9 (* (* y y) (* y y)))) (- (* x x) (* (* y y) 3)) (* (* y y) 3) (* (* y y) 3) (* (* y y) 3) (+ (* x x) (* (* y y) 3)) (+ (* x x) (* (* y y) 3)) (+ (* x x) (* (* y y) 3)) 14.249 * * * [progress]: adding candidates to table 14.493 * * [progress]: iteration 3 / 4 14.493 * * * [progress]: picking best candidate 14.551 * * * * [pick]: Picked # 14.551 * * * [progress]: localizing error 14.578 * * * [progress]: generating rewritten candidates 14.578 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 14.824 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 14.885 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 14.903 * * * [progress]: generating series expansions 14.903 * * * * [progress]: [ 1 / 3 ] generating series at (2) 14.904 * [backup-simplify]: Simplify (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y)) into (+ (pow x 2) (* 3 (pow y 2))) 14.904 * [approximate]: Taking taylor expansion of (+ (pow x 2) (* 3 (pow y 2))) in (x y) around 0 14.904 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 3 (pow y 2))) in y 14.904 * [taylor]: Taking taylor expansion of (pow x 2) in y 14.904 * [taylor]: Taking taylor expansion of x in y 14.904 * [backup-simplify]: Simplify x into x 14.904 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 14.904 * [taylor]: Taking taylor expansion of 3 in y 14.904 * [backup-simplify]: Simplify 3 into 3 14.904 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.904 * [taylor]: Taking taylor expansion of y in y 14.904 * [backup-simplify]: Simplify 0 into 0 14.904 * [backup-simplify]: Simplify 1 into 1 14.904 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 3 (pow y 2))) in x 14.904 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.904 * [taylor]: Taking taylor expansion of x in x 14.904 * [backup-simplify]: Simplify 0 into 0 14.904 * [backup-simplify]: Simplify 1 into 1 14.905 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in x 14.905 * [taylor]: Taking taylor expansion of 3 in x 14.905 * [backup-simplify]: Simplify 3 into 3 14.905 * [taylor]: Taking taylor expansion of (pow y 2) in x 14.905 * [taylor]: Taking taylor expansion of y in x 14.905 * [backup-simplify]: Simplify y into y 14.905 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 3 (pow y 2))) in x 14.905 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.905 * [taylor]: Taking taylor expansion of x in x 14.905 * [backup-simplify]: Simplify 0 into 0 14.905 * [backup-simplify]: Simplify 1 into 1 14.905 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in x 14.905 * [taylor]: Taking taylor expansion of 3 in x 14.905 * [backup-simplify]: Simplify 3 into 3 14.905 * [taylor]: Taking taylor expansion of (pow y 2) in x 14.905 * [taylor]: Taking taylor expansion of y in x 14.905 * [backup-simplify]: Simplify y into y 14.905 * [backup-simplify]: Simplify (* y y) into (pow y 2) 14.905 * [backup-simplify]: Simplify (* 3 (pow y 2)) into (* 3 (pow y 2)) 14.905 * [backup-simplify]: Simplify (+ 0 (* 3 (pow y 2))) into (* 3 (pow y 2)) 14.905 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 14.906 * [taylor]: Taking taylor expansion of 3 in y 14.906 * [backup-simplify]: Simplify 3 into 3 14.906 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.906 * [taylor]: Taking taylor expansion of y in y 14.906 * [backup-simplify]: Simplify 0 into 0 14.906 * [backup-simplify]: Simplify 1 into 1 14.906 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 14.907 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow y 2))) into 0 14.907 * [backup-simplify]: Simplify (+ 0 0) into 0 14.907 * [taylor]: Taking taylor expansion of 0 in y 14.907 * [backup-simplify]: Simplify 0 into 0 14.907 * [backup-simplify]: Simplify 0 into 0 14.908 * [backup-simplify]: Simplify (* 1 1) into 1 14.908 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 14.909 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 14.909 * [backup-simplify]: Simplify (+ 1 0) into 1 14.909 * [taylor]: Taking taylor expansion of 1 in y 14.909 * [backup-simplify]: Simplify 1 into 1 14.909 * [backup-simplify]: Simplify 1 into 1 14.909 * [backup-simplify]: Simplify 0 into 0 14.910 * [backup-simplify]: Simplify (* 1 1) into 1 14.910 * [backup-simplify]: Simplify (* 3 1) into 3 14.910 * [backup-simplify]: Simplify 3 into 3 14.911 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.912 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 14.913 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 14.916 * [backup-simplify]: Simplify (+ 0 0) into 0 14.916 * [taylor]: Taking taylor expansion of 0 in y 14.916 * [backup-simplify]: Simplify 0 into 0 14.916 * [backup-simplify]: Simplify 0 into 0 14.916 * [backup-simplify]: Simplify 0 into 0 14.916 * [backup-simplify]: Simplify 0 into 0 14.917 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.917 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 14.917 * [backup-simplify]: Simplify 0 into 0 14.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.919 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 14.920 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0 14.921 * [backup-simplify]: Simplify (+ 0 0) into 0 14.921 * [taylor]: Taking taylor expansion of 0 in y 14.921 * [backup-simplify]: Simplify 0 into 0 14.921 * [backup-simplify]: Simplify 0 into 0 14.921 * [backup-simplify]: Simplify 0 into 0 14.921 * [backup-simplify]: Simplify (+ (* 3 (pow (* y 1) 2)) (* 1 (pow (* 1 x) 2))) into (+ (pow x 2) (* 3 (pow y 2))) 14.922 * [backup-simplify]: Simplify (+ (+ (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) (* (/ 1 y) (/ 1 y))) (* (/ 1 y) (/ 1 y))) into (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) 14.922 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in (x y) around 0 14.922 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in y 14.922 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 14.922 * [taylor]: Taking taylor expansion of (pow x 2) in y 14.922 * [taylor]: Taking taylor expansion of x in y 14.922 * [backup-simplify]: Simplify x into x 14.922 * [backup-simplify]: Simplify (* x x) into (pow x 2) 14.922 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 14.922 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y 14.922 * [taylor]: Taking taylor expansion of 3 in y 14.922 * [backup-simplify]: Simplify 3 into 3 14.922 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 14.922 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.922 * [taylor]: Taking taylor expansion of y in y 14.922 * [backup-simplify]: Simplify 0 into 0 14.922 * [backup-simplify]: Simplify 1 into 1 14.922 * [backup-simplify]: Simplify (* 1 1) into 1 14.923 * [backup-simplify]: Simplify (/ 1 1) into 1 14.923 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in x 14.923 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.923 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.923 * [taylor]: Taking taylor expansion of x in x 14.923 * [backup-simplify]: Simplify 0 into 0 14.923 * [backup-simplify]: Simplify 1 into 1 14.923 * [backup-simplify]: Simplify (* 1 1) into 1 14.923 * [backup-simplify]: Simplify (/ 1 1) into 1 14.923 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in x 14.923 * [taylor]: Taking taylor expansion of 3 in x 14.923 * [backup-simplify]: Simplify 3 into 3 14.923 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 14.923 * [taylor]: Taking taylor expansion of (pow y 2) in x 14.924 * [taylor]: Taking taylor expansion of y in x 14.924 * [backup-simplify]: Simplify y into y 14.924 * [backup-simplify]: Simplify (* y y) into (pow y 2) 14.924 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 14.924 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in x 14.924 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.924 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.924 * [taylor]: Taking taylor expansion of x in x 14.924 * [backup-simplify]: Simplify 0 into 0 14.924 * [backup-simplify]: Simplify 1 into 1 14.925 * [backup-simplify]: Simplify (* 1 1) into 1 14.925 * [backup-simplify]: Simplify (/ 1 1) into 1 14.925 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in x 14.925 * [taylor]: Taking taylor expansion of 3 in x 14.925 * [backup-simplify]: Simplify 3 into 3 14.925 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 14.925 * [taylor]: Taking taylor expansion of (pow y 2) in x 14.925 * [taylor]: Taking taylor expansion of y in x 14.925 * [backup-simplify]: Simplify y into y 14.925 * [backup-simplify]: Simplify (* y y) into (pow y 2) 14.925 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 14.926 * [backup-simplify]: Simplify (+ 1 0) into 1 14.926 * [taylor]: Taking taylor expansion of 1 in y 14.926 * [backup-simplify]: Simplify 1 into 1 14.927 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.927 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.928 * [backup-simplify]: Simplify (+ 0 0) into 0 14.928 * [taylor]: Taking taylor expansion of 0 in y 14.928 * [backup-simplify]: Simplify 0 into 0 14.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.929 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.929 * [backup-simplify]: Simplify (* 3 (/ 1 (pow y 2))) into (/ 3 (pow y 2)) 14.930 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow y 2))) into (* 3 (/ 1 (pow y 2))) 14.930 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y 14.930 * [taylor]: Taking taylor expansion of 3 in y 14.930 * [backup-simplify]: Simplify 3 into 3 14.930 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 14.930 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.930 * [taylor]: Taking taylor expansion of y in y 14.930 * [backup-simplify]: Simplify 0 into 0 14.930 * [backup-simplify]: Simplify 1 into 1 14.930 * [backup-simplify]: Simplify (* 1 1) into 1 14.930 * [backup-simplify]: Simplify (/ 1 1) into 1 14.930 * [backup-simplify]: Simplify (* 3 1) into 3 14.930 * [backup-simplify]: Simplify 3 into 3 14.931 * [backup-simplify]: Simplify 1 into 1 14.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.932 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.933 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 14.933 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 14.934 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow y 2)))) into 0 14.934 * [backup-simplify]: Simplify (+ 0 0) into 0 14.934 * [taylor]: Taking taylor expansion of 0 in y 14.934 * [backup-simplify]: Simplify 0 into 0 14.938 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.939 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.939 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 14.939 * [backup-simplify]: Simplify 0 into 0 14.939 * [backup-simplify]: Simplify 0 into 0 14.939 * [backup-simplify]: Simplify 0 into 0 14.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.940 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.941 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 14.941 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 14.942 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow y 2))))) into 0 14.942 * [backup-simplify]: Simplify (+ 0 0) into 0 14.942 * [taylor]: Taking taylor expansion of 0 in y 14.942 * [backup-simplify]: Simplify 0 into 0 14.942 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.943 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.944 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 14.944 * [backup-simplify]: Simplify 0 into 0 14.944 * [backup-simplify]: Simplify 0 into 0 14.944 * [backup-simplify]: Simplify 0 into 0 14.945 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 3 (pow (* (/ 1 (/ 1 y)) 1) 2))) into (+ (pow x 2) (* 3 (pow y 2))) 14.945 * [backup-simplify]: Simplify (+ (+ (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y)))) (* (/ 1 (- y)) (/ 1 (- y)))) (* (/ 1 (- y)) (/ 1 (- y)))) into (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) 14.945 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in (x y) around 0 14.945 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in y 14.946 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 14.946 * [taylor]: Taking taylor expansion of (pow x 2) in y 14.946 * [taylor]: Taking taylor expansion of x in y 14.946 * [backup-simplify]: Simplify x into x 14.946 * [backup-simplify]: Simplify (* x x) into (pow x 2) 14.946 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 14.946 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y 14.946 * [taylor]: Taking taylor expansion of 3 in y 14.946 * [backup-simplify]: Simplify 3 into 3 14.946 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 14.946 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.946 * [taylor]: Taking taylor expansion of y in y 14.946 * [backup-simplify]: Simplify 0 into 0 14.946 * [backup-simplify]: Simplify 1 into 1 14.947 * [backup-simplify]: Simplify (* 1 1) into 1 14.948 * [backup-simplify]: Simplify (/ 1 1) into 1 14.948 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in x 14.948 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.948 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.948 * [taylor]: Taking taylor expansion of x in x 14.948 * [backup-simplify]: Simplify 0 into 0 14.948 * [backup-simplify]: Simplify 1 into 1 14.949 * [backup-simplify]: Simplify (* 1 1) into 1 14.949 * [backup-simplify]: Simplify (/ 1 1) into 1 14.949 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in x 14.949 * [taylor]: Taking taylor expansion of 3 in x 14.949 * [backup-simplify]: Simplify 3 into 3 14.949 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 14.949 * [taylor]: Taking taylor expansion of (pow y 2) in x 14.949 * [taylor]: Taking taylor expansion of y in x 14.949 * [backup-simplify]: Simplify y into y 14.949 * [backup-simplify]: Simplify (* y y) into (pow y 2) 14.950 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 14.950 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 3 (/ 1 (pow y 2)))) in x 14.950 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.950 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.950 * [taylor]: Taking taylor expansion of x in x 14.950 * [backup-simplify]: Simplify 0 into 0 14.950 * [backup-simplify]: Simplify 1 into 1 14.950 * [backup-simplify]: Simplify (* 1 1) into 1 14.951 * [backup-simplify]: Simplify (/ 1 1) into 1 14.951 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in x 14.951 * [taylor]: Taking taylor expansion of 3 in x 14.951 * [backup-simplify]: Simplify 3 into 3 14.951 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 14.951 * [taylor]: Taking taylor expansion of (pow y 2) in x 14.951 * [taylor]: Taking taylor expansion of y in x 14.951 * [backup-simplify]: Simplify y into y 14.951 * [backup-simplify]: Simplify (* y y) into (pow y 2) 14.951 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 14.952 * [backup-simplify]: Simplify (+ 1 0) into 1 14.952 * [taylor]: Taking taylor expansion of 1 in y 14.952 * [backup-simplify]: Simplify 1 into 1 14.952 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.953 * [backup-simplify]: Simplify (+ 0 0) into 0 14.953 * [taylor]: Taking taylor expansion of 0 in y 14.953 * [backup-simplify]: Simplify 0 into 0 14.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.956 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.956 * [backup-simplify]: Simplify (* 3 (/ 1 (pow y 2))) into (/ 3 (pow y 2)) 14.957 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow y 2))) into (* 3 (/ 1 (pow y 2))) 14.957 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y 14.957 * [taylor]: Taking taylor expansion of 3 in y 14.957 * [backup-simplify]: Simplify 3 into 3 14.957 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 14.957 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.957 * [taylor]: Taking taylor expansion of y in y 14.957 * [backup-simplify]: Simplify 0 into 0 14.957 * [backup-simplify]: Simplify 1 into 1 14.958 * [backup-simplify]: Simplify (* 1 1) into 1 14.958 * [backup-simplify]: Simplify (/ 1 1) into 1 14.959 * [backup-simplify]: Simplify (* 3 1) into 3 14.959 * [backup-simplify]: Simplify 3 into 3 14.959 * [backup-simplify]: Simplify 1 into 1 14.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.961 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 14.961 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 14.962 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow y 2)))) into 0 14.962 * [backup-simplify]: Simplify (+ 0 0) into 0 14.962 * [taylor]: Taking taylor expansion of 0 in y 14.962 * [backup-simplify]: Simplify 0 into 0 14.963 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.964 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.964 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 14.964 * [backup-simplify]: Simplify 0 into 0 14.964 * [backup-simplify]: Simplify 0 into 0 14.965 * [backup-simplify]: Simplify 0 into 0 14.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.967 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.967 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 14.968 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 14.969 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow y 2))))) into 0 14.969 * [backup-simplify]: Simplify (+ 0 0) into 0 14.969 * [taylor]: Taking taylor expansion of 0 in y 14.969 * [backup-simplify]: Simplify 0 into 0 14.970 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.974 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 14.974 * [backup-simplify]: Simplify 0 into 0 14.974 * [backup-simplify]: Simplify 0 into 0 14.974 * [backup-simplify]: Simplify 0 into 0 14.975 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* 3 (pow (* (/ 1 (/ 1 (- y))) 1) 2))) into (+ (pow x 2) (* 3 (pow y 2))) 14.975 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 14.975 * [backup-simplify]: Simplify (+ (+ (* x x) (* y y)) (* y y)) into (+ (pow x 2) (* 2 (pow y 2))) 14.975 * [approximate]: Taking taylor expansion of (+ (pow x 2) (* 2 (pow y 2))) in (x y) around 0 14.975 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 (pow y 2))) in y 14.975 * [taylor]: Taking taylor expansion of (pow x 2) in y 14.975 * [taylor]: Taking taylor expansion of x in y 14.975 * [backup-simplify]: Simplify x into x 14.975 * [taylor]: Taking taylor expansion of (* 2 (pow y 2)) in y 14.975 * [taylor]: Taking taylor expansion of 2 in y 14.975 * [backup-simplify]: Simplify 2 into 2 14.976 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.976 * [taylor]: Taking taylor expansion of y in y 14.976 * [backup-simplify]: Simplify 0 into 0 14.976 * [backup-simplify]: Simplify 1 into 1 14.976 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 (pow y 2))) in x 14.976 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.976 * [taylor]: Taking taylor expansion of x in x 14.976 * [backup-simplify]: Simplify 0 into 0 14.976 * [backup-simplify]: Simplify 1 into 1 14.976 * [taylor]: Taking taylor expansion of (* 2 (pow y 2)) in x 14.976 * [taylor]: Taking taylor expansion of 2 in x 14.976 * [backup-simplify]: Simplify 2 into 2 14.976 * [taylor]: Taking taylor expansion of (pow y 2) in x 14.976 * [taylor]: Taking taylor expansion of y in x 14.976 * [backup-simplify]: Simplify y into y 14.976 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 (pow y 2))) in x 14.976 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.976 * [taylor]: Taking taylor expansion of x in x 14.976 * [backup-simplify]: Simplify 0 into 0 14.976 * [backup-simplify]: Simplify 1 into 1 14.976 * [taylor]: Taking taylor expansion of (* 2 (pow y 2)) in x 14.976 * [taylor]: Taking taylor expansion of 2 in x 14.976 * [backup-simplify]: Simplify 2 into 2 14.976 * [taylor]: Taking taylor expansion of (pow y 2) in x 14.976 * [taylor]: Taking taylor expansion of y in x 14.976 * [backup-simplify]: Simplify y into y 14.976 * [backup-simplify]: Simplify (* y y) into (pow y 2) 14.976 * [backup-simplify]: Simplify (* 2 (pow y 2)) into (* 2 (pow y 2)) 14.977 * [backup-simplify]: Simplify (+ 0 (* 2 (pow y 2))) into (* 2 (pow y 2)) 14.977 * [taylor]: Taking taylor expansion of (* 2 (pow y 2)) in y 14.977 * [taylor]: Taking taylor expansion of 2 in y 14.977 * [backup-simplify]: Simplify 2 into 2 14.977 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.977 * [taylor]: Taking taylor expansion of y in y 14.977 * [backup-simplify]: Simplify 0 into 0 14.977 * [backup-simplify]: Simplify 1 into 1 14.977 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 14.977 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (pow y 2))) into 0 14.978 * [backup-simplify]: Simplify (+ 0 0) into 0 14.978 * [taylor]: Taking taylor expansion of 0 in y 14.978 * [backup-simplify]: Simplify 0 into 0 14.978 * [backup-simplify]: Simplify 0 into 0 14.978 * [backup-simplify]: Simplify (* 1 1) into 1 14.978 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 14.979 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 14.979 * [backup-simplify]: Simplify (+ 1 0) into 1 14.979 * [taylor]: Taking taylor expansion of 1 in y 14.979 * [backup-simplify]: Simplify 1 into 1 14.979 * [backup-simplify]: Simplify 1 into 1 14.979 * [backup-simplify]: Simplify 0 into 0 14.980 * [backup-simplify]: Simplify (* 1 1) into 1 14.980 * [backup-simplify]: Simplify (* 2 1) into 2 14.980 * [backup-simplify]: Simplify 2 into 2 14.981 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.982 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 14.983 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 14.983 * [backup-simplify]: Simplify (+ 0 0) into 0 14.983 * [taylor]: Taking taylor expansion of 0 in y 14.983 * [backup-simplify]: Simplify 0 into 0 14.983 * [backup-simplify]: Simplify 0 into 0 14.983 * [backup-simplify]: Simplify 0 into 0 14.983 * [backup-simplify]: Simplify 0 into 0 14.984 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.984 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 14.985 * [backup-simplify]: Simplify 0 into 0 14.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.987 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 14.989 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0 14.989 * [backup-simplify]: Simplify (+ 0 0) into 0 14.989 * [taylor]: Taking taylor expansion of 0 in y 14.989 * [backup-simplify]: Simplify 0 into 0 14.989 * [backup-simplify]: Simplify 0 into 0 14.989 * [backup-simplify]: Simplify 0 into 0 14.990 * [backup-simplify]: Simplify (+ (* 2 (pow (* y 1) 2)) (* 1 (pow (* 1 x) 2))) into (+ (pow x 2) (* 2 (pow y 2))) 14.990 * [backup-simplify]: Simplify (+ (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) (* (/ 1 y) (/ 1 y))) into (+ (/ 1 (pow x 2)) (* 2 (/ 1 (pow y 2)))) 14.990 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (pow y 2)))) in (x y) around 0 14.990 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (pow y 2)))) in y 14.990 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 14.990 * [taylor]: Taking taylor expansion of (pow x 2) in y 14.991 * [taylor]: Taking taylor expansion of x in y 14.991 * [backup-simplify]: Simplify x into x 14.991 * [backup-simplify]: Simplify (* x x) into (pow x 2) 14.991 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 14.991 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y 14.991 * [taylor]: Taking taylor expansion of 2 in y 14.991 * [backup-simplify]: Simplify 2 into 2 14.991 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 14.991 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.991 * [taylor]: Taking taylor expansion of y in y 14.991 * [backup-simplify]: Simplify 0 into 0 14.991 * [backup-simplify]: Simplify 1 into 1 14.992 * [backup-simplify]: Simplify (* 1 1) into 1 14.992 * [backup-simplify]: Simplify (/ 1 1) into 1 14.992 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (pow y 2)))) in x 14.992 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.992 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.992 * [taylor]: Taking taylor expansion of x in x 14.992 * [backup-simplify]: Simplify 0 into 0 14.992 * [backup-simplify]: Simplify 1 into 1 14.993 * [backup-simplify]: Simplify (* 1 1) into 1 14.993 * [backup-simplify]: Simplify (/ 1 1) into 1 14.993 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in x 14.993 * [taylor]: Taking taylor expansion of 2 in x 14.994 * [backup-simplify]: Simplify 2 into 2 14.994 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 14.994 * [taylor]: Taking taylor expansion of (pow y 2) in x 14.994 * [taylor]: Taking taylor expansion of y in x 14.994 * [backup-simplify]: Simplify y into y 14.994 * [backup-simplify]: Simplify (* y y) into (pow y 2) 14.994 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 14.994 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (pow y 2)))) in x 14.994 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.994 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.994 * [taylor]: Taking taylor expansion of x in x 14.994 * [backup-simplify]: Simplify 0 into 0 14.994 * [backup-simplify]: Simplify 1 into 1 14.995 * [backup-simplify]: Simplify (* 1 1) into 1 15.008 * [backup-simplify]: Simplify (/ 1 1) into 1 15.008 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in x 15.008 * [taylor]: Taking taylor expansion of 2 in x 15.008 * [backup-simplify]: Simplify 2 into 2 15.008 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 15.008 * [taylor]: Taking taylor expansion of (pow y 2) in x 15.008 * [taylor]: Taking taylor expansion of y in x 15.008 * [backup-simplify]: Simplify y into y 15.008 * [backup-simplify]: Simplify (* y y) into (pow y 2) 15.008 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 15.009 * [backup-simplify]: Simplify (+ 1 0) into 1 15.009 * [taylor]: Taking taylor expansion of 1 in y 15.009 * [backup-simplify]: Simplify 1 into 1 15.009 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.010 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.010 * [backup-simplify]: Simplify (+ 0 0) into 0 15.010 * [taylor]: Taking taylor expansion of 0 in y 15.010 * [backup-simplify]: Simplify 0 into 0 15.010 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.011 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.011 * [backup-simplify]: Simplify (* 2 (/ 1 (pow y 2))) into (/ 2 (pow y 2)) 15.011 * [backup-simplify]: Simplify (+ 0 (/ 2 (pow y 2))) into (* 2 (/ 1 (pow y 2))) 15.011 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y 15.011 * [taylor]: Taking taylor expansion of 2 in y 15.011 * [backup-simplify]: Simplify 2 into 2 15.011 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 15.011 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.011 * [taylor]: Taking taylor expansion of y in y 15.011 * [backup-simplify]: Simplify 0 into 0 15.011 * [backup-simplify]: Simplify 1 into 1 15.012 * [backup-simplify]: Simplify (* 1 1) into 1 15.012 * [backup-simplify]: Simplify (/ 1 1) into 1 15.013 * [backup-simplify]: Simplify (* 2 1) into 2 15.013 * [backup-simplify]: Simplify 2 into 2 15.013 * [backup-simplify]: Simplify 1 into 1 15.014 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.015 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.015 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 15.025 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 15.026 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 (pow y 2)))) into 0 15.027 * [backup-simplify]: Simplify (+ 0 0) into 0 15.027 * [taylor]: Taking taylor expansion of 0 in y 15.027 * [backup-simplify]: Simplify 0 into 0 15.027 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.028 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.029 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 15.029 * [backup-simplify]: Simplify 0 into 0 15.029 * [backup-simplify]: Simplify 0 into 0 15.029 * [backup-simplify]: Simplify 0 into 0 15.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.055 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.056 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 15.056 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 15.057 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 (pow y 2))))) into 0 15.058 * [backup-simplify]: Simplify (+ 0 0) into 0 15.058 * [taylor]: Taking taylor expansion of 0 in y 15.058 * [backup-simplify]: Simplify 0 into 0 15.059 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.072 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.074 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 15.074 * [backup-simplify]: Simplify 0 into 0 15.074 * [backup-simplify]: Simplify 0 into 0 15.074 * [backup-simplify]: Simplify 0 into 0 15.074 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 2 (pow (* (/ 1 (/ 1 y)) 1) 2))) into (+ (pow x 2) (* 2 (pow y 2))) 15.075 * [backup-simplify]: Simplify (+ (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y)))) (* (/ 1 (- y)) (/ 1 (- y)))) into (+ (/ 1 (pow x 2)) (* 2 (/ 1 (pow y 2)))) 15.089 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (pow y 2)))) in (x y) around 0 15.090 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (pow y 2)))) in y 15.090 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 15.090 * [taylor]: Taking taylor expansion of (pow x 2) in y 15.090 * [taylor]: Taking taylor expansion of x in y 15.090 * [backup-simplify]: Simplify x into x 15.090 * [backup-simplify]: Simplify (* x x) into (pow x 2) 15.090 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 15.090 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y 15.090 * [taylor]: Taking taylor expansion of 2 in y 15.090 * [backup-simplify]: Simplify 2 into 2 15.090 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 15.090 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.090 * [taylor]: Taking taylor expansion of y in y 15.090 * [backup-simplify]: Simplify 0 into 0 15.090 * [backup-simplify]: Simplify 1 into 1 15.091 * [backup-simplify]: Simplify (* 1 1) into 1 15.091 * [backup-simplify]: Simplify (/ 1 1) into 1 15.091 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (pow y 2)))) in x 15.091 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.091 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.091 * [taylor]: Taking taylor expansion of x in x 15.092 * [backup-simplify]: Simplify 0 into 0 15.092 * [backup-simplify]: Simplify 1 into 1 15.092 * [backup-simplify]: Simplify (* 1 1) into 1 15.092 * [backup-simplify]: Simplify (/ 1 1) into 1 15.092 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in x 15.092 * [taylor]: Taking taylor expansion of 2 in x 15.092 * [backup-simplify]: Simplify 2 into 2 15.092 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 15.092 * [taylor]: Taking taylor expansion of (pow y 2) in x 15.092 * [taylor]: Taking taylor expansion of y in x 15.092 * [backup-simplify]: Simplify y into y 15.093 * [backup-simplify]: Simplify (* y y) into (pow y 2) 15.093 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 15.093 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (pow y 2)))) in x 15.093 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.093 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.093 * [taylor]: Taking taylor expansion of x in x 15.093 * [backup-simplify]: Simplify 0 into 0 15.093 * [backup-simplify]: Simplify 1 into 1 15.103 * [backup-simplify]: Simplify (* 1 1) into 1 15.103 * [backup-simplify]: Simplify (/ 1 1) into 1 15.103 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in x 15.103 * [taylor]: Taking taylor expansion of 2 in x 15.104 * [backup-simplify]: Simplify 2 into 2 15.104 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 15.104 * [taylor]: Taking taylor expansion of (pow y 2) in x 15.104 * [taylor]: Taking taylor expansion of y in x 15.104 * [backup-simplify]: Simplify y into y 15.104 * [backup-simplify]: Simplify (* y y) into (pow y 2) 15.104 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 15.105 * [backup-simplify]: Simplify (+ 1 0) into 1 15.105 * [taylor]: Taking taylor expansion of 1 in y 15.105 * [backup-simplify]: Simplify 1 into 1 15.105 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.106 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.107 * [backup-simplify]: Simplify (+ 0 0) into 0 15.107 * [taylor]: Taking taylor expansion of 0 in y 15.107 * [backup-simplify]: Simplify 0 into 0 15.107 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.109 * [backup-simplify]: Simplify (* 2 (/ 1 (pow y 2))) into (/ 2 (pow y 2)) 15.109 * [backup-simplify]: Simplify (+ 0 (/ 2 (pow y 2))) into (* 2 (/ 1 (pow y 2))) 15.109 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y 15.109 * [taylor]: Taking taylor expansion of 2 in y 15.109 * [backup-simplify]: Simplify 2 into 2 15.109 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 15.109 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.109 * [taylor]: Taking taylor expansion of y in y 15.109 * [backup-simplify]: Simplify 0 into 0 15.109 * [backup-simplify]: Simplify 1 into 1 15.109 * [backup-simplify]: Simplify (* 1 1) into 1 15.110 * [backup-simplify]: Simplify (/ 1 1) into 1 15.110 * [backup-simplify]: Simplify (* 2 1) into 2 15.110 * [backup-simplify]: Simplify 2 into 2 15.110 * [backup-simplify]: Simplify 1 into 1 15.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.112 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.113 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 15.113 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 15.114 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 (pow y 2)))) into 0 15.114 * [backup-simplify]: Simplify (+ 0 0) into 0 15.114 * [taylor]: Taking taylor expansion of 0 in y 15.114 * [backup-simplify]: Simplify 0 into 0 15.115 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.116 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.116 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 15.116 * [backup-simplify]: Simplify 0 into 0 15.116 * [backup-simplify]: Simplify 0 into 0 15.116 * [backup-simplify]: Simplify 0 into 0 15.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.118 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.119 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 15.120 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 15.121 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 (pow y 2))))) into 0 15.121 * [backup-simplify]: Simplify (+ 0 0) into 0 15.121 * [taylor]: Taking taylor expansion of 0 in y 15.121 * [backup-simplify]: Simplify 0 into 0 15.122 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.123 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.125 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 15.125 * [backup-simplify]: Simplify 0 into 0 15.125 * [backup-simplify]: Simplify 0 into 0 15.125 * [backup-simplify]: Simplify 0 into 0 15.126 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* 2 (pow (* (/ 1 (/ 1 (- y))) 1) 2))) into (+ (pow x 2) (* 2 (pow y 2))) 15.126 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 15.126 * [backup-simplify]: Simplify (+ (* x x) (* y y)) into (+ (pow x 2) (pow y 2)) 15.126 * [approximate]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in (x y) around 0 15.126 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y 15.126 * [taylor]: Taking taylor expansion of (pow x 2) in y 15.126 * [taylor]: Taking taylor expansion of x in y 15.126 * [backup-simplify]: Simplify x into x 15.126 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.126 * [taylor]: Taking taylor expansion of y in y 15.126 * [backup-simplify]: Simplify 0 into 0 15.126 * [backup-simplify]: Simplify 1 into 1 15.126 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 15.126 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.126 * [taylor]: Taking taylor expansion of x in x 15.126 * [backup-simplify]: Simplify 0 into 0 15.126 * [backup-simplify]: Simplify 1 into 1 15.126 * [taylor]: Taking taylor expansion of (pow y 2) in x 15.126 * [taylor]: Taking taylor expansion of y in x 15.126 * [backup-simplify]: Simplify y into y 15.127 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 15.127 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.127 * [taylor]: Taking taylor expansion of x in x 15.127 * [backup-simplify]: Simplify 0 into 0 15.127 * [backup-simplify]: Simplify 1 into 1 15.127 * [taylor]: Taking taylor expansion of (pow y 2) in x 15.127 * [taylor]: Taking taylor expansion of y in x 15.127 * [backup-simplify]: Simplify y into y 15.127 * [backup-simplify]: Simplify (* y y) into (pow y 2) 15.127 * [backup-simplify]: Simplify (+ 0 (pow y 2)) into (pow y 2) 15.127 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.127 * [taylor]: Taking taylor expansion of y in y 15.127 * [backup-simplify]: Simplify 0 into 0 15.127 * [backup-simplify]: Simplify 1 into 1 15.127 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 15.128 * [backup-simplify]: Simplify (+ 0 0) into 0 15.128 * [taylor]: Taking taylor expansion of 0 in y 15.128 * [backup-simplify]: Simplify 0 into 0 15.128 * [backup-simplify]: Simplify 0 into 0 15.129 * [backup-simplify]: Simplify (* 1 1) into 1 15.129 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 15.130 * [backup-simplify]: Simplify (+ 1 0) into 1 15.130 * [taylor]: Taking taylor expansion of 1 in y 15.130 * [backup-simplify]: Simplify 1 into 1 15.130 * [backup-simplify]: Simplify 1 into 1 15.130 * [backup-simplify]: Simplify 0 into 0 15.130 * [backup-simplify]: Simplify (* 1 1) into 1 15.130 * [backup-simplify]: Simplify 1 into 1 15.131 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.132 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 15.132 * [backup-simplify]: Simplify (+ 0 0) into 0 15.132 * [taylor]: Taking taylor expansion of 0 in y 15.132 * [backup-simplify]: Simplify 0 into 0 15.132 * [backup-simplify]: Simplify 0 into 0 15.132 * [backup-simplify]: Simplify 0 into 0 15.132 * [backup-simplify]: Simplify 0 into 0 15.133 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.133 * [backup-simplify]: Simplify 0 into 0 15.134 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.135 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 15.136 * [backup-simplify]: Simplify (+ 0 0) into 0 15.136 * [taylor]: Taking taylor expansion of 0 in y 15.136 * [backup-simplify]: Simplify 0 into 0 15.136 * [backup-simplify]: Simplify 0 into 0 15.136 * [backup-simplify]: Simplify 0 into 0 15.136 * [backup-simplify]: Simplify (+ (* 1 (pow (* y 1) 2)) (* 1 (pow (* 1 x) 2))) into (+ (pow x 2) (pow y 2)) 15.137 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) into (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) 15.137 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (x y) around 0 15.137 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 15.137 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 15.137 * [taylor]: Taking taylor expansion of (pow x 2) in y 15.137 * [taylor]: Taking taylor expansion of x in y 15.137 * [backup-simplify]: Simplify x into x 15.137 * [backup-simplify]: Simplify (* x x) into (pow x 2) 15.137 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 15.137 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 15.137 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.137 * [taylor]: Taking taylor expansion of y in y 15.137 * [backup-simplify]: Simplify 0 into 0 15.137 * [backup-simplify]: Simplify 1 into 1 15.138 * [backup-simplify]: Simplify (* 1 1) into 1 15.138 * [backup-simplify]: Simplify (/ 1 1) into 1 15.138 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 15.138 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.139 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.139 * [taylor]: Taking taylor expansion of x in x 15.139 * [backup-simplify]: Simplify 0 into 0 15.139 * [backup-simplify]: Simplify 1 into 1 15.139 * [backup-simplify]: Simplify (* 1 1) into 1 15.139 * [backup-simplify]: Simplify (/ 1 1) into 1 15.139 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 15.139 * [taylor]: Taking taylor expansion of (pow y 2) in x 15.140 * [taylor]: Taking taylor expansion of y in x 15.140 * [backup-simplify]: Simplify y into y 15.140 * [backup-simplify]: Simplify (* y y) into (pow y 2) 15.140 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 15.140 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 15.140 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.140 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.140 * [taylor]: Taking taylor expansion of x in x 15.140 * [backup-simplify]: Simplify 0 into 0 15.140 * [backup-simplify]: Simplify 1 into 1 15.141 * [backup-simplify]: Simplify (* 1 1) into 1 15.141 * [backup-simplify]: Simplify (/ 1 1) into 1 15.141 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 15.141 * [taylor]: Taking taylor expansion of (pow y 2) in x 15.141 * [taylor]: Taking taylor expansion of y in x 15.141 * [backup-simplify]: Simplify y into y 15.141 * [backup-simplify]: Simplify (* y y) into (pow y 2) 15.142 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 15.142 * [backup-simplify]: Simplify (+ 1 0) into 1 15.142 * [taylor]: Taking taylor expansion of 1 in y 15.142 * [backup-simplify]: Simplify 1 into 1 15.143 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.144 * [backup-simplify]: Simplify (+ 0 0) into 0 15.144 * [taylor]: Taking taylor expansion of 0 in y 15.144 * [backup-simplify]: Simplify 0 into 0 15.145 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.147 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.147 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow y 2))) into (/ 1 (pow y 2)) 15.147 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 15.147 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.147 * [taylor]: Taking taylor expansion of y in y 15.147 * [backup-simplify]: Simplify 0 into 0 15.147 * [backup-simplify]: Simplify 1 into 1 15.148 * [backup-simplify]: Simplify (* 1 1) into 1 15.148 * [backup-simplify]: Simplify (/ 1 1) into 1 15.148 * [backup-simplify]: Simplify 1 into 1 15.148 * [backup-simplify]: Simplify 1 into 1 15.149 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.150 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 15.151 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 15.151 * [backup-simplify]: Simplify (+ 0 0) into 0 15.151 * [taylor]: Taking taylor expansion of 0 in y 15.151 * [backup-simplify]: Simplify 0 into 0 15.152 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.153 * [backup-simplify]: Simplify 0 into 0 15.153 * [backup-simplify]: Simplify 0 into 0 15.153 * [backup-simplify]: Simplify 0 into 0 15.154 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.156 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 15.156 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 15.156 * [backup-simplify]: Simplify (+ 0 0) into 0 15.157 * [taylor]: Taking taylor expansion of 0 in y 15.157 * [backup-simplify]: Simplify 0 into 0 15.158 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.158 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.159 * [backup-simplify]: Simplify 0 into 0 15.159 * [backup-simplify]: Simplify 0 into 0 15.159 * [backup-simplify]: Simplify 0 into 0 15.159 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 1 (pow (* (/ 1 (/ 1 y)) 1) 2))) into (+ (pow x 2) (pow y 2)) 15.160 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y)))) into (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) 15.160 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (x y) around 0 15.160 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 15.160 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 15.160 * [taylor]: Taking taylor expansion of (pow x 2) in y 15.160 * [taylor]: Taking taylor expansion of x in y 15.160 * [backup-simplify]: Simplify x into x 15.160 * [backup-simplify]: Simplify (* x x) into (pow x 2) 15.160 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 15.160 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 15.160 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.160 * [taylor]: Taking taylor expansion of y in y 15.160 * [backup-simplify]: Simplify 0 into 0 15.160 * [backup-simplify]: Simplify 1 into 1 15.161 * [backup-simplify]: Simplify (* 1 1) into 1 15.161 * [backup-simplify]: Simplify (/ 1 1) into 1 15.161 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 15.161 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.161 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.161 * [taylor]: Taking taylor expansion of x in x 15.161 * [backup-simplify]: Simplify 0 into 0 15.161 * [backup-simplify]: Simplify 1 into 1 15.162 * [backup-simplify]: Simplify (* 1 1) into 1 15.162 * [backup-simplify]: Simplify (/ 1 1) into 1 15.162 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 15.162 * [taylor]: Taking taylor expansion of (pow y 2) in x 15.162 * [taylor]: Taking taylor expansion of y in x 15.162 * [backup-simplify]: Simplify y into y 15.162 * [backup-simplify]: Simplify (* y y) into (pow y 2) 15.163 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 15.163 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 15.163 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.163 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.163 * [taylor]: Taking taylor expansion of x in x 15.163 * [backup-simplify]: Simplify 0 into 0 15.163 * [backup-simplify]: Simplify 1 into 1 15.163 * [backup-simplify]: Simplify (* 1 1) into 1 15.164 * [backup-simplify]: Simplify (/ 1 1) into 1 15.164 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 15.164 * [taylor]: Taking taylor expansion of (pow y 2) in x 15.164 * [taylor]: Taking taylor expansion of y in x 15.164 * [backup-simplify]: Simplify y into y 15.164 * [backup-simplify]: Simplify (* y y) into (pow y 2) 15.164 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 15.164 * [backup-simplify]: Simplify (+ 1 0) into 1 15.165 * [taylor]: Taking taylor expansion of 1 in y 15.165 * [backup-simplify]: Simplify 1 into 1 15.165 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.166 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.166 * [backup-simplify]: Simplify (+ 0 0) into 0 15.167 * [taylor]: Taking taylor expansion of 0 in y 15.167 * [backup-simplify]: Simplify 0 into 0 15.168 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.169 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.169 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow y 2))) into (/ 1 (pow y 2)) 15.169 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 15.169 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.169 * [taylor]: Taking taylor expansion of y in y 15.169 * [backup-simplify]: Simplify 0 into 0 15.169 * [backup-simplify]: Simplify 1 into 1 15.170 * [backup-simplify]: Simplify (* 1 1) into 1 15.170 * [backup-simplify]: Simplify (/ 1 1) into 1 15.170 * [backup-simplify]: Simplify 1 into 1 15.170 * [backup-simplify]: Simplify 1 into 1 15.171 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.172 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 15.173 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 15.173 * [backup-simplify]: Simplify (+ 0 0) into 0 15.173 * [taylor]: Taking taylor expansion of 0 in y 15.173 * [backup-simplify]: Simplify 0 into 0 15.174 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.175 * [backup-simplify]: Simplify 0 into 0 15.175 * [backup-simplify]: Simplify 0 into 0 15.175 * [backup-simplify]: Simplify 0 into 0 15.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.178 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.178 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 15.179 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 15.179 * [backup-simplify]: Simplify (+ 0 0) into 0 15.179 * [taylor]: Taking taylor expansion of 0 in y 15.179 * [backup-simplify]: Simplify 0 into 0 15.180 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.181 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.181 * [backup-simplify]: Simplify 0 into 0 15.181 * [backup-simplify]: Simplify 0 into 0 15.181 * [backup-simplify]: Simplify 0 into 0 15.182 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* 1 (pow (* (/ 1 (/ 1 (- y))) 1) 2))) into (+ (pow x 2) (pow y 2)) 15.182 * * * [progress]: simplifying candidates 15.189 * [simplify]: Simplifying: (* (* (* (exp (* x x)) (exp (* y y))) (exp (* y y))) (exp (* y y))) (* (* (exp (+ (* x x) (* y y))) (exp (* y y))) (exp (* y y))) (* (exp (+ (+ (* x x) (* y y)) (* y y))) (exp (* y y))) (log (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y))) (exp (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y))) (* (cbrt (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y))) (cbrt (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y)))) (cbrt (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y))) (* (* (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y)) (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y))) (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y))) (sqrt (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y))) (sqrt (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y))) (+ (pow (+ (+ (* x x) (* y y)) (* y y)) 3) (pow (* y y) 3)) (+ (* (+ (+ (* x x) (* y y)) (* y y)) (+ (+ (* x x) (* y y)) (* y y))) (- (* (* y y) (* y y)) (* (+ (+ (* x x) (* y y)) (* y y)) (* y y)))) (- (* (+ (+ (* x x) (* y y)) (* y y)) (+ (+ (* x x) (* y y)) (* y y))) (* (* y y) (* y y))) (- (+ (+ (* x x) (* y y)) (* y y)) (* y y)) (+ (* y y) (* y y)) (* (* (exp (* x x)) (exp (* y y))) (exp (* y y))) (* (exp (+ (* x x) (* y y))) (exp (* y y))) (log (+ (+ (* x x) (* y y)) (* y y))) (exp (+ (+ (* x x) (* y y)) (* y y))) (* (cbrt (+ (+ (* x x) (* y y)) (* y y))) (cbrt (+ (+ (* x x) (* y y)) (* y y)))) (cbrt (+ (+ (* x x) (* y y)) (* y y))) (* (* (+ (+ (* x x) (* y y)) (* y y)) (+ (+ (* x x) (* y y)) (* y y))) (+ (+ (* x x) (* y y)) (* y y))) (sqrt (+ (+ (* x x) (* y y)) (* y y))) (sqrt (+ (+ (* x x) (* y y)) (* y y))) (+ (pow (+ (* x x) (* y y)) 3) (pow (* y y) 3)) (+ (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (- (* (* y y) (* y y)) (* (+ (* x x) (* y y)) (* y y)))) (- (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (* (* y y) (* y y))) (- (+ (* x x) (* y y)) (* y y)) (+ (* y y) (* y y)) (* (exp (* x x)) (exp (* y y))) (log (+ (* x x) (* y y))) (exp (+ (* x x) (* y y))) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))) (cbrt (+ (* x x) (* y y))) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))) (+ (pow (* x x) 3) (pow (* y y) 3)) (+ (* (* x x) (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* y y)))) (- (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* x x) (* y y)) (+ (pow x 2) (* 3 (pow y 2))) (+ (pow x 2) (* 3 (pow y 2))) (+ (pow x 2) (* 3 (pow y 2))) (+ (pow x 2) (* 2 (pow y 2))) (+ (pow x 2) (* 2 (pow y 2))) (+ (pow x 2) (* 2 (pow y 2))) (+ (pow x 2) (pow y 2)) (+ (pow x 2) (pow y 2)) (+ (pow x 2) (pow y 2)) 15.191 * * [simplify]: iteration 0: 70 enodes 15.235 * * [simplify]: iteration 1: 237 enodes 15.566 * * [simplify]: iteration 2: 1029 enodes 16.888 * * [simplify]: iteration complete: 5004 enodes 16.889 * * [simplify]: Extracting #0: cost 33 inf + 0 16.890 * * [simplify]: Extracting #1: cost 353 inf + 0 16.899 * * [simplify]: Extracting #2: cost 1537 inf + 1302 16.940 * * [simplify]: Extracting #3: cost 2115 inf + 41048 17.335 * * [simplify]: Extracting #4: cost 834 inf + 338150 17.735 * * [simplify]: Extracting #5: cost 57 inf + 526517 17.963 * * [simplify]: Extracting #6: cost 9 inf + 537094 18.551 * * [simplify]: Extracting #7: cost 0 inf + 539731 18.794 * [simplify]: Simplified to: (exp (+ (+ (* y y) (* y y)) (+ (* x x) (* y y)))) (exp (+ (+ (* y y) (* y y)) (+ (* x x) (* y y)))) (exp (+ (+ (* y y) (* y y)) (+ (* x x) (* y y)))) (log (+ (* y y) (+ (+ (* x x) (* y y)) (* y y)))) (exp (+ (+ (* y y) (* y y)) (+ (* x x) (* y y)))) (* (cbrt (+ (* y y) (+ (+ (* x x) (* y y)) (* y y)))) (cbrt (+ (* y y) (+ (+ (* x x) (* y y)) (* y y))))) (cbrt (+ (* y y) (+ (+ (* x x) (* y y)) (* y y)))) (* (+ (* y y) (+ (+ (* x x) (* y y)) (* y y))) (* (+ (* y y) (+ (+ (* x x) (* y y)) (* y y))) (+ (* y y) (+ (+ (* x x) (* y y)) (* y y))))) (sqrt (+ (* y y) (+ (+ (* x x) (* y y)) (* y y)))) (sqrt (+ (* y y) (+ (+ (* x x) (* y y)) (* y y)))) (+ (* (* (+ (+ (* x x) (* y y)) (* y y)) (+ (+ (* x x) (* y y)) (* y y))) (+ (+ (* x x) (* y y)) (* y y))) (* (* y y) (* (* y y) (* y y)))) (+ (* (* y y) (- (* y y) (+ (+ (* x x) (* y y)) (* y y)))) (* (+ (+ (* x x) (* y y)) (* y y)) (+ (+ (* x x) (* y y)) (* y y)))) (* (+ (* y y) (+ (+ (* x x) (* y y)) (* y y))) (+ (* x x) (* y y))) (+ (* x x) (* y y)) (+ (* y y) (* y y)) (exp (+ (* y y) (+ (* y y) (* x x)))) (exp (+ (* y y) (+ (* y y) (* x x)))) (log (+ (+ (* x x) (* y y)) (* y y))) (exp (+ (* y y) (+ (* y y) (* x x)))) (* (cbrt (+ (+ (* x x) (* y y)) (* y y))) (cbrt (+ (+ (* x x) (* y y)) (* y y)))) (cbrt (+ (+ (* x x) (* y y)) (* y y))) (* (* (+ (+ (* x x) (* y y)) (* y y)) (+ (+ (* x x) (* y y)) (* y y))) (+ (+ (* x x) (* y y)) (* y y))) (sqrt (+ (+ (* x x) (* y y)) (* y y))) (sqrt (+ (+ (* x x) (* y y)) (* y y))) (+ (* (+ (* x x) (* y y)) (* (+ (* x x) (* y y)) (+ (* x x) (* y y)))) (* (* y y) (* (* y y) (* y y)))) (+ (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (* (* y y) (- (* y y) (+ (* x x) (* y y))))) (- (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (* (* y y) (* y y))) (* x x) (+ (* y y) (* y y)) (exp (+ (* y y) (* x x))) (log (+ (* x x) (* y y))) (exp (+ (* y y) (* x x))) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))) (cbrt (+ (* x x) (* y y))) (* (+ (* x x) (* y y)) (* (+ (* x x) (* y y)) (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))) (+ (* (* y y) (* (* y y) (* y y))) (* (* x x) (* (* x x) (* x x)))) (+ (* (* x x) (* x x)) (* (* y y) (- (* y y) (* x x)))) (- (* (* x x) (* x x)) (* (* y y) (* y y))) (* (+ y x) (- x y)) (+ (* 3 (* y y)) (* x x)) (+ (* 3 (* y y)) (* x x)) (+ (* 3 (* y y)) (* x x)) (+ (+ (* x x) (* y y)) (* y y)) (+ (+ (* x x) (* y y)) (* y y)) (+ (+ (* x x) (* y y)) (* y y)) (+ (* x x) (* y y)) (+ (* x x) (* y y)) (+ (* x x) (* y y)) 18.865 * * * [progress]: adding candidates to table 19.431 * * [progress]: iteration 4 / 4 19.433 * * * [progress]: picking best candidate 19.465 * * * * [pick]: Picked # 19.471 * * * [progress]: localizing error 19.533 * * * [progress]: generating rewritten candidates 19.533 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 19.557 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 19.579 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 20.195 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 20.238 * * * [progress]: generating series expansions 20.238 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 20.238 * [backup-simplify]: Simplify (sqrt (* y (* y 3))) into (* (sqrt 3) y) 20.238 * [approximate]: Taking taylor expansion of (* (sqrt 3) y) in (y) around 0 20.238 * [taylor]: Taking taylor expansion of (* (sqrt 3) y) in y 20.238 * [taylor]: Taking taylor expansion of (sqrt 3) in y 20.238 * [taylor]: Taking taylor expansion of 3 in y 20.238 * [backup-simplify]: Simplify 3 into 3 20.239 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.240 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 20.240 * [taylor]: Taking taylor expansion of y in y 20.240 * [backup-simplify]: Simplify 0 into 0 20.240 * [backup-simplify]: Simplify 1 into 1 20.240 * [taylor]: Taking taylor expansion of (* (sqrt 3) y) in y 20.240 * [taylor]: Taking taylor expansion of (sqrt 3) in y 20.240 * [taylor]: Taking taylor expansion of 3 in y 20.240 * [backup-simplify]: Simplify 3 into 3 20.240 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.241 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 20.241 * [taylor]: Taking taylor expansion of y in y 20.241 * [backup-simplify]: Simplify 0 into 0 20.241 * [backup-simplify]: Simplify 1 into 1 20.242 * [backup-simplify]: Simplify (* (sqrt 3) 0) into 0 20.242 * [backup-simplify]: Simplify 0 into 0 20.244 * [backup-simplify]: Simplify (+ (* (sqrt 3) 1) (* 0 0)) into (sqrt 3) 20.245 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.246 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 20.247 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 1) (* 0 0))) into 0 20.247 * [backup-simplify]: Simplify 0 into 0 20.249 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.250 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 20.250 * [backup-simplify]: Simplify 0 into 0 20.252 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.254 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 20.254 * [backup-simplify]: Simplify 0 into 0 20.255 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.257 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 20.257 * [backup-simplify]: Simplify 0 into 0 20.259 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.260 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 20.261 * [backup-simplify]: Simplify 0 into 0 20.262 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.264 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 20.264 * [backup-simplify]: Simplify 0 into 0 20.265 * [backup-simplify]: Simplify (* (sqrt 3) y) into (* (sqrt 3) y) 20.265 * [backup-simplify]: Simplify (sqrt (* (/ 1 y) (* (/ 1 y) 3))) into (/ (sqrt 3) y) 20.265 * [approximate]: Taking taylor expansion of (/ (sqrt 3) y) in (y) around 0 20.265 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 20.265 * [taylor]: Taking taylor expansion of (sqrt 3) in y 20.265 * [taylor]: Taking taylor expansion of 3 in y 20.265 * [backup-simplify]: Simplify 3 into 3 20.265 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.266 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 20.266 * [taylor]: Taking taylor expansion of y in y 20.266 * [backup-simplify]: Simplify 0 into 0 20.266 * [backup-simplify]: Simplify 1 into 1 20.267 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 20.267 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 20.267 * [taylor]: Taking taylor expansion of (sqrt 3) in y 20.267 * [taylor]: Taking taylor expansion of 3 in y 20.267 * [backup-simplify]: Simplify 3 into 3 20.268 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.268 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 20.268 * [taylor]: Taking taylor expansion of y in y 20.268 * [backup-simplify]: Simplify 0 into 0 20.268 * [backup-simplify]: Simplify 1 into 1 20.269 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 20.270 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.271 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0 20.271 * [backup-simplify]: Simplify 0 into 0 20.272 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 20.273 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.273 * [backup-simplify]: Simplify 0 into 0 20.274 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.276 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.276 * [backup-simplify]: Simplify 0 into 0 20.277 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.278 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.278 * [backup-simplify]: Simplify 0 into 0 20.280 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.281 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.281 * [backup-simplify]: Simplify 0 into 0 20.283 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.284 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.284 * [backup-simplify]: Simplify 0 into 0 20.285 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 y))) into (* (sqrt 3) y) 20.285 * [backup-simplify]: Simplify (sqrt (* (/ 1 (- y)) (* (/ 1 (- y)) 3))) into (/ (sqrt 3) y) 20.285 * [approximate]: Taking taylor expansion of (/ (sqrt 3) y) in (y) around 0 20.285 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 20.285 * [taylor]: Taking taylor expansion of (sqrt 3) in y 20.285 * [taylor]: Taking taylor expansion of 3 in y 20.285 * [backup-simplify]: Simplify 3 into 3 20.286 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.286 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 20.286 * [taylor]: Taking taylor expansion of y in y 20.286 * [backup-simplify]: Simplify 0 into 0 20.286 * [backup-simplify]: Simplify 1 into 1 20.287 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 20.287 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 20.287 * [taylor]: Taking taylor expansion of (sqrt 3) in y 20.287 * [taylor]: Taking taylor expansion of 3 in y 20.287 * [backup-simplify]: Simplify 3 into 3 20.288 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.288 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 20.289 * [taylor]: Taking taylor expansion of y in y 20.289 * [backup-simplify]: Simplify 0 into 0 20.289 * [backup-simplify]: Simplify 1 into 1 20.289 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 20.290 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.291 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0 20.291 * [backup-simplify]: Simplify 0 into 0 20.292 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 20.293 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.294 * [backup-simplify]: Simplify 0 into 0 20.340 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.342 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.342 * [backup-simplify]: Simplify 0 into 0 20.344 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.345 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.345 * [backup-simplify]: Simplify 0 into 0 20.346 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.347 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.348 * [backup-simplify]: Simplify 0 into 0 20.349 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.351 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.351 * [backup-simplify]: Simplify 0 into 0 20.352 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 (- y)))) into (* -1 (* (sqrt 3) y)) 20.352 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 20.352 * [backup-simplify]: Simplify (sqrt (* y (* y 3))) into (* (sqrt 3) y) 20.352 * [approximate]: Taking taylor expansion of (* (sqrt 3) y) in (y) around 0 20.352 * [taylor]: Taking taylor expansion of (* (sqrt 3) y) in y 20.352 * [taylor]: Taking taylor expansion of (sqrt 3) in y 20.352 * [taylor]: Taking taylor expansion of 3 in y 20.352 * [backup-simplify]: Simplify 3 into 3 20.352 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.353 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 20.353 * [taylor]: Taking taylor expansion of y in y 20.353 * [backup-simplify]: Simplify 0 into 0 20.353 * [backup-simplify]: Simplify 1 into 1 20.353 * [taylor]: Taking taylor expansion of (* (sqrt 3) y) in y 20.353 * [taylor]: Taking taylor expansion of (sqrt 3) in y 20.353 * [taylor]: Taking taylor expansion of 3 in y 20.353 * [backup-simplify]: Simplify 3 into 3 20.354 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.354 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 20.354 * [taylor]: Taking taylor expansion of y in y 20.354 * [backup-simplify]: Simplify 0 into 0 20.354 * [backup-simplify]: Simplify 1 into 1 20.355 * [backup-simplify]: Simplify (* (sqrt 3) 0) into 0 20.355 * [backup-simplify]: Simplify 0 into 0 20.357 * [backup-simplify]: Simplify (+ (* (sqrt 3) 1) (* 0 0)) into (sqrt 3) 20.357 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.359 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 20.360 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 1) (* 0 0))) into 0 20.360 * [backup-simplify]: Simplify 0 into 0 20.361 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.363 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 20.363 * [backup-simplify]: Simplify 0 into 0 20.364 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.366 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 20.366 * [backup-simplify]: Simplify 0 into 0 20.368 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.370 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 20.370 * [backup-simplify]: Simplify 0 into 0 20.371 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.373 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 20.373 * [backup-simplify]: Simplify 0 into 0 20.374 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.376 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 20.376 * [backup-simplify]: Simplify 0 into 0 20.376 * [backup-simplify]: Simplify (* (sqrt 3) y) into (* (sqrt 3) y) 20.376 * [backup-simplify]: Simplify (sqrt (* (/ 1 y) (* (/ 1 y) 3))) into (/ (sqrt 3) y) 20.376 * [approximate]: Taking taylor expansion of (/ (sqrt 3) y) in (y) around 0 20.376 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 20.376 * [taylor]: Taking taylor expansion of (sqrt 3) in y 20.376 * [taylor]: Taking taylor expansion of 3 in y 20.376 * [backup-simplify]: Simplify 3 into 3 20.376 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.377 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 20.377 * [taylor]: Taking taylor expansion of y in y 20.377 * [backup-simplify]: Simplify 0 into 0 20.377 * [backup-simplify]: Simplify 1 into 1 20.377 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 20.377 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 20.377 * [taylor]: Taking taylor expansion of (sqrt 3) in y 20.377 * [taylor]: Taking taylor expansion of 3 in y 20.377 * [backup-simplify]: Simplify 3 into 3 20.378 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.378 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 20.378 * [taylor]: Taking taylor expansion of y in y 20.378 * [backup-simplify]: Simplify 0 into 0 20.378 * [backup-simplify]: Simplify 1 into 1 20.379 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 20.379 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.380 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0 20.380 * [backup-simplify]: Simplify 0 into 0 20.380 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 20.381 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.381 * [backup-simplify]: Simplify 0 into 0 20.382 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.382 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.382 * [backup-simplify]: Simplify 0 into 0 20.383 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.384 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.385 * [backup-simplify]: Simplify 0 into 0 20.385 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.386 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.386 * [backup-simplify]: Simplify 0 into 0 20.387 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.388 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.388 * [backup-simplify]: Simplify 0 into 0 20.388 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 y))) into (* (sqrt 3) y) 20.389 * [backup-simplify]: Simplify (sqrt (* (/ 1 (- y)) (* (/ 1 (- y)) 3))) into (/ (sqrt 3) y) 20.389 * [approximate]: Taking taylor expansion of (/ (sqrt 3) y) in (y) around 0 20.389 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 20.389 * [taylor]: Taking taylor expansion of (sqrt 3) in y 20.389 * [taylor]: Taking taylor expansion of 3 in y 20.389 * [backup-simplify]: Simplify 3 into 3 20.389 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.390 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 20.390 * [taylor]: Taking taylor expansion of y in y 20.390 * [backup-simplify]: Simplify 0 into 0 20.390 * [backup-simplify]: Simplify 1 into 1 20.391 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 20.391 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 20.391 * [taylor]: Taking taylor expansion of (sqrt 3) in y 20.391 * [taylor]: Taking taylor expansion of 3 in y 20.391 * [backup-simplify]: Simplify 3 into 3 20.391 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.392 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 20.392 * [taylor]: Taking taylor expansion of y in y 20.392 * [backup-simplify]: Simplify 0 into 0 20.392 * [backup-simplify]: Simplify 1 into 1 20.394 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 20.394 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.395 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0 20.395 * [backup-simplify]: Simplify 0 into 0 20.396 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 20.397 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.397 * [backup-simplify]: Simplify 0 into 0 20.398 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.399 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.399 * [backup-simplify]: Simplify 0 into 0 20.400 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.401 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.401 * [backup-simplify]: Simplify 0 into 0 20.402 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.403 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.403 * [backup-simplify]: Simplify 0 into 0 20.404 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.407 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.407 * [backup-simplify]: Simplify 0 into 0 20.408 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 (- y)))) into (* -1 (* (sqrt 3) y)) 20.408 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 20.408 * [backup-simplify]: Simplify (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3)))) into (* (pow (sqrt 3) 2) (pow y 2)) 20.408 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow y 2)) in (y) around 0 20.408 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow y 2)) in y 20.408 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 20.408 * [taylor]: Taking taylor expansion of (sqrt 3) in y 20.409 * [taylor]: Taking taylor expansion of 3 in y 20.409 * [backup-simplify]: Simplify 3 into 3 20.409 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.410 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 20.410 * [taylor]: Taking taylor expansion of (pow y 2) in y 20.410 * [taylor]: Taking taylor expansion of y in y 20.410 * [backup-simplify]: Simplify 0 into 0 20.410 * [backup-simplify]: Simplify 1 into 1 20.410 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow y 2)) in y 20.410 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 20.410 * [taylor]: Taking taylor expansion of (sqrt 3) in y 20.410 * [taylor]: Taking taylor expansion of 3 in y 20.410 * [backup-simplify]: Simplify 3 into 3 20.410 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.411 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 20.411 * [taylor]: Taking taylor expansion of (pow y 2) in y 20.411 * [taylor]: Taking taylor expansion of y in y 20.411 * [backup-simplify]: Simplify 0 into 0 20.411 * [backup-simplify]: Simplify 1 into 1 20.412 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2) 20.413 * [backup-simplify]: Simplify (* 1 1) into 1 20.414 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2) 20.415 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2) 20.415 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 20.416 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0 20.417 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (* 0 1)) into 0 20.417 * [backup-simplify]: Simplify 0 into 0 20.417 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 20.418 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 20.418 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0 20.419 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (* 0 1))) into 0 20.419 * [backup-simplify]: Simplify 0 into 0 20.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.421 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.421 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0 20.422 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.422 * [backup-simplify]: Simplify 0 into 0 20.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.424 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.425 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0 20.426 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.426 * [backup-simplify]: Simplify 0 into 0 20.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.427 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.429 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0 20.430 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.430 * [backup-simplify]: Simplify 0 into 0 20.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.432 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.433 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0 20.434 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.435 * [backup-simplify]: Simplify 0 into 0 20.436 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow y 2)) into (* (pow (sqrt 3) 2) (pow y 2)) 20.436 * [backup-simplify]: Simplify (* (sqrt (* (/ 1 y) (* (/ 1 y) 3))) (sqrt (* (/ 1 y) (* (/ 1 y) 3)))) into (/ (pow (sqrt 3) 2) (pow y 2)) 20.436 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow y 2)) in (y) around 0 20.436 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow y 2)) in y 20.436 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 20.436 * [taylor]: Taking taylor expansion of (sqrt 3) in y 20.437 * [taylor]: Taking taylor expansion of 3 in y 20.437 * [backup-simplify]: Simplify 3 into 3 20.437 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.438 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 20.438 * [taylor]: Taking taylor expansion of (pow y 2) in y 20.438 * [taylor]: Taking taylor expansion of y in y 20.438 * [backup-simplify]: Simplify 0 into 0 20.438 * [backup-simplify]: Simplify 1 into 1 20.439 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2) 20.439 * [backup-simplify]: Simplify (* 1 1) into 1 20.441 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2) 20.441 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow y 2)) in y 20.441 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 20.441 * [taylor]: Taking taylor expansion of (sqrt 3) in y 20.441 * [taylor]: Taking taylor expansion of 3 in y 20.441 * [backup-simplify]: Simplify 3 into 3 20.442 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.443 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 20.443 * [taylor]: Taking taylor expansion of (pow y 2) in y 20.443 * [taylor]: Taking taylor expansion of y in y 20.443 * [backup-simplify]: Simplify 0 into 0 20.443 * [backup-simplify]: Simplify 1 into 1 20.444 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2) 20.444 * [backup-simplify]: Simplify (* 1 1) into 1 20.446 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2) 20.447 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2) 20.448 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0 20.449 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 20.450 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)))) into 0 20.450 * [backup-simplify]: Simplify 0 into 0 20.451 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 20.453 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0 20.454 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 20.455 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.455 * [backup-simplify]: Simplify 0 into 0 20.456 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.458 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0 20.459 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.461 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.461 * [backup-simplify]: Simplify 0 into 0 20.462 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.464 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0 20.465 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.466 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.466 * [backup-simplify]: Simplify 0 into 0 20.468 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.472 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0 20.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.476 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.476 * [backup-simplify]: Simplify 0 into 0 20.477 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.479 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0 20.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.482 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.482 * [backup-simplify]: Simplify 0 into 0 20.484 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow (/ 1 (/ 1 y)) 2)) into (* (pow (sqrt 3) 2) (pow y 2)) 20.484 * [backup-simplify]: Simplify (* (sqrt (* (/ 1 (- y)) (* (/ 1 (- y)) 3))) (sqrt (* (/ 1 (- y)) (* (/ 1 (- y)) 3)))) into (/ (pow (sqrt 3) 2) (pow y 2)) 20.484 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow y 2)) in (y) around 0 20.484 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow y 2)) in y 20.484 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 20.484 * [taylor]: Taking taylor expansion of (sqrt 3) in y 20.484 * [taylor]: Taking taylor expansion of 3 in y 20.485 * [backup-simplify]: Simplify 3 into 3 20.485 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.486 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 20.486 * [taylor]: Taking taylor expansion of (pow y 2) in y 20.486 * [taylor]: Taking taylor expansion of y in y 20.486 * [backup-simplify]: Simplify 0 into 0 20.486 * [backup-simplify]: Simplify 1 into 1 20.487 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2) 20.488 * [backup-simplify]: Simplify (* 1 1) into 1 20.489 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2) 20.489 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow y 2)) in y 20.489 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 20.489 * [taylor]: Taking taylor expansion of (sqrt 3) in y 20.490 * [taylor]: Taking taylor expansion of 3 in y 20.490 * [backup-simplify]: Simplify 3 into 3 20.490 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 20.491 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 20.491 * [taylor]: Taking taylor expansion of (pow y 2) in y 20.491 * [taylor]: Taking taylor expansion of y in y 20.491 * [backup-simplify]: Simplify 0 into 0 20.491 * [backup-simplify]: Simplify 1 into 1 20.492 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2) 20.492 * [backup-simplify]: Simplify (* 1 1) into 1 20.494 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2) 20.494 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2) 20.495 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0 20.496 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 20.497 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)))) into 0 20.497 * [backup-simplify]: Simplify 0 into 0 20.498 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 20.498 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0 20.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 20.513 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.513 * [backup-simplify]: Simplify 0 into 0 20.514 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.515 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0 20.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.516 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.516 * [backup-simplify]: Simplify 0 into 0 20.517 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.518 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0 20.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.520 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.520 * [backup-simplify]: Simplify 0 into 0 20.521 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.522 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0 20.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.525 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.525 * [backup-simplify]: Simplify 0 into 0 20.527 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 20.528 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0 20.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.532 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.532 * [backup-simplify]: Simplify 0 into 0 20.533 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow (/ 1 (/ 1 (- y))) 2)) into (* (pow (sqrt 3) 2) (pow y 2)) 20.533 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 20.533 * [backup-simplify]: Simplify (* y (* y 3)) into (* 3 (pow y 2)) 20.533 * [approximate]: Taking taylor expansion of (* 3 (pow y 2)) in (y) around 0 20.533 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 20.533 * [taylor]: Taking taylor expansion of 3 in y 20.533 * [backup-simplify]: Simplify 3 into 3 20.533 * [taylor]: Taking taylor expansion of (pow y 2) in y 20.533 * [taylor]: Taking taylor expansion of y in y 20.533 * [backup-simplify]: Simplify 0 into 0 20.533 * [backup-simplify]: Simplify 1 into 1 20.533 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 20.533 * [taylor]: Taking taylor expansion of 3 in y 20.533 * [backup-simplify]: Simplify 3 into 3 20.533 * [taylor]: Taking taylor expansion of (pow y 2) in y 20.533 * [taylor]: Taking taylor expansion of y in y 20.533 * [backup-simplify]: Simplify 0 into 0 20.533 * [backup-simplify]: Simplify 1 into 1 20.534 * [backup-simplify]: Simplify (* 1 1) into 1 20.534 * [backup-simplify]: Simplify (* 3 1) into 3 20.534 * [backup-simplify]: Simplify 3 into 3 20.535 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 20.536 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 20.536 * [backup-simplify]: Simplify 0 into 0 20.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 20.537 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 20.537 * [backup-simplify]: Simplify 0 into 0 20.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.540 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.540 * [backup-simplify]: Simplify 0 into 0 20.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.542 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.543 * [backup-simplify]: Simplify 0 into 0 20.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.546 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.546 * [backup-simplify]: Simplify 0 into 0 20.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.551 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.552 * [backup-simplify]: Simplify 0 into 0 20.552 * [backup-simplify]: Simplify (* 3 (pow y 2)) into (* 3 (pow y 2)) 20.552 * [backup-simplify]: Simplify (* (/ 1 y) (* (/ 1 y) 3)) into (/ 3 (pow y 2)) 20.552 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0 20.552 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 20.552 * [taylor]: Taking taylor expansion of 3 in y 20.552 * [backup-simplify]: Simplify 3 into 3 20.552 * [taylor]: Taking taylor expansion of (pow y 2) in y 20.552 * [taylor]: Taking taylor expansion of y in y 20.552 * [backup-simplify]: Simplify 0 into 0 20.552 * [backup-simplify]: Simplify 1 into 1 20.553 * [backup-simplify]: Simplify (* 1 1) into 1 20.553 * [backup-simplify]: Simplify (/ 3 1) into 3 20.553 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 20.553 * [taylor]: Taking taylor expansion of 3 in y 20.553 * [backup-simplify]: Simplify 3 into 3 20.553 * [taylor]: Taking taylor expansion of (pow y 2) in y 20.553 * [taylor]: Taking taylor expansion of y in y 20.553 * [backup-simplify]: Simplify 0 into 0 20.553 * [backup-simplify]: Simplify 1 into 1 20.553 * [backup-simplify]: Simplify (* 1 1) into 1 20.554 * [backup-simplify]: Simplify (/ 3 1) into 3 20.554 * [backup-simplify]: Simplify 3 into 3 20.554 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 20.555 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 20.555 * [backup-simplify]: Simplify 0 into 0 20.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 20.556 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.556 * [backup-simplify]: Simplify 0 into 0 20.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.558 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.558 * [backup-simplify]: Simplify 0 into 0 20.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.561 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.561 * [backup-simplify]: Simplify 0 into 0 20.562 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.563 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.563 * [backup-simplify]: Simplify 0 into 0 20.565 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.566 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.566 * [backup-simplify]: Simplify 0 into 0 20.566 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 y)) 2)) into (* 3 (pow y 2)) 20.566 * [backup-simplify]: Simplify (* (/ 1 (- y)) (* (/ 1 (- y)) 3)) into (/ 3 (pow y 2)) 20.566 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0 20.566 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 20.566 * [taylor]: Taking taylor expansion of 3 in y 20.566 * [backup-simplify]: Simplify 3 into 3 20.566 * [taylor]: Taking taylor expansion of (pow y 2) in y 20.566 * [taylor]: Taking taylor expansion of y in y 20.567 * [backup-simplify]: Simplify 0 into 0 20.567 * [backup-simplify]: Simplify 1 into 1 20.567 * [backup-simplify]: Simplify (* 1 1) into 1 20.567 * [backup-simplify]: Simplify (/ 3 1) into 3 20.567 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 20.567 * [taylor]: Taking taylor expansion of 3 in y 20.567 * [backup-simplify]: Simplify 3 into 3 20.567 * [taylor]: Taking taylor expansion of (pow y 2) in y 20.568 * [taylor]: Taking taylor expansion of y in y 20.568 * [backup-simplify]: Simplify 0 into 0 20.568 * [backup-simplify]: Simplify 1 into 1 20.568 * [backup-simplify]: Simplify (* 1 1) into 1 20.568 * [backup-simplify]: Simplify (/ 3 1) into 3 20.568 * [backup-simplify]: Simplify 3 into 3 20.569 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 20.570 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 20.570 * [backup-simplify]: Simplify 0 into 0 20.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 20.572 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.572 * [backup-simplify]: Simplify 0 into 0 20.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.574 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.574 * [backup-simplify]: Simplify 0 into 0 20.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.576 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.576 * [backup-simplify]: Simplify 0 into 0 20.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.579 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.579 * [backup-simplify]: Simplify 0 into 0 20.581 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.582 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.582 * [backup-simplify]: Simplify 0 into 0 20.582 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- y))) 2)) into (* 3 (pow y 2)) 20.584 * * * [progress]: simplifying candidates 20.644 * [simplify]: Simplifying: (log (sqrt (* y (* y 3)))) (exp (sqrt (* y (* y 3)))) (* (cbrt (sqrt (* y (* y 3)))) (cbrt (sqrt (* y (* y 3))))) (cbrt (sqrt (* y (* y 3)))) (* (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3)))) (sqrt (* y (* y 3)))) (sqrt y) (sqrt (* y 3)) (/ 1 2) (/ 1 2) (/ 1 2) (sqrt (sqrt (* y (* y 3)))) (sqrt (sqrt (* y (* y 3)))) (log (sqrt (* y (* y 3)))) (exp (sqrt (* y (* y 3)))) (* (cbrt (sqrt (* y (* y 3)))) (cbrt (sqrt (* y (* y 3))))) (cbrt (sqrt (* y (* y 3)))) (* (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3)))) (sqrt (* y (* y 3)))) (sqrt y) (sqrt (* y 3)) (/ 1 2) (/ 1 2) (/ 1 2) (sqrt (sqrt (* y (* y 3)))) (sqrt (sqrt (* y (* y 3)))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1/2 (/ 1 2)) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (* (* y (* y 3)) (* y (* y 3))) (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3)))) (* (* y (* y 3)) (* y (* y 3))) (* (* y (* y 3)) (* y (* y 3))) (* (* y (* y 3)) (* y (* y 3))) (* (* y (* y 3)) (* y (* y 3))) (* (* y (* y 3)) (* y (* y 3))) (* (* y (* y 3)) (* y (* y 3))) (* (* y (* y 3)) (* y (* y 3))) (* (* y (* y 3)) (* y (* y 3))) (* (* y (* y 3)) (* y (* y 3))) (+ 1 1) (+ (log (sqrt (* y (* y 3)))) (log (sqrt (* y (* y 3))))) (log (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3))))) (exp (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3))))) (* (* (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3)))) (sqrt (* y (* y 3)))) (* (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3)))) (sqrt (* y (* y 3))))) (* (cbrt (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3))))) (cbrt (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3)))))) (cbrt (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3))))) (* (* (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3)))) (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3))))) (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3))))) (* (* y (* y 3)) (* y (* y 3))) (sqrt (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3))))) (sqrt (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3))))) (* (* (cbrt (sqrt (* y (* y 3)))) (cbrt (sqrt (* y (* y 3))))) (* (cbrt (sqrt (* y (* y 3)))) (cbrt (sqrt (* y (* y 3)))))) (* (cbrt (sqrt (* y (* y 3)))) (cbrt (sqrt (* y (* y 3))))) (* (sqrt y) (sqrt y)) (* (sqrt (* y 3)) (sqrt (* y 3))) (* (sqrt (sqrt (* y (* y 3)))) (sqrt (sqrt (* y (* y 3))))) (* (sqrt (sqrt (* y (* y 3)))) (sqrt (sqrt (* y (* y 3))))) (* 1 1) (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3)))) (* (sqrt (sqrt (* y (* y 3)))) (sqrt (sqrt (* y (* y 3))))) (* (sqrt (sqrt (* y (* y 3)))) (sqrt (sqrt (* y (* y 3))))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* (sqrt (* y (* y 3))) (* (cbrt (sqrt (* y (* y 3)))) (cbrt (sqrt (* y (* y 3)))))) (* (sqrt (* y (* y 3))) (sqrt y)) (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (* (sqrt (* y (* y 3))) 1) (* (cbrt (sqrt (* y (* y 3)))) (sqrt (* y (* y 3)))) (* (sqrt (* y 3)) (sqrt (* y (* y 3)))) (* (sqrt (sqrt (* y (* y 3)))) (sqrt (* y (* y 3)))) (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3)))) (* y (* y 3)) (* y (* y 3)) (+ (log y) (+ (log y) (log 3))) (+ (log y) (log (* y 3))) (log (* y (* y 3))) (exp (* y (* y 3))) (* (* (* y y) y) (* (* (* y y) y) (* (* 3 3) 3))) (* (* (* y y) y) (* (* (* y 3) (* y 3)) (* y 3))) (* (cbrt (* y (* y 3))) (cbrt (* y (* y 3)))) (cbrt (* y (* y 3))) (* (* (* y (* y 3)) (* y (* y 3))) (* y (* y 3))) (sqrt (* y (* y 3))) (sqrt (* y (* y 3))) (* y y) (* (cbrt y) (* y 3)) (* (sqrt y) (* y 3)) (* y (* y 3)) (* (sqrt 3) y) (* (sqrt 3) y) (* -1 (* (sqrt 3) y)) (* (sqrt 3) y) (* (sqrt 3) y) (* -1 (* (sqrt 3) y)) (* (pow (sqrt 3) 2) (pow y 2)) (* (pow (sqrt 3) 2) (pow y 2)) (* (pow (sqrt 3) 2) (pow y 2)) (* 3 (pow y 2)) (* 3 (pow y 2)) (* 3 (pow y 2)) 20.647 * * [simplify]: iteration 0: 79 enodes 20.906 * * [simplify]: iteration 1: 203 enodes 21.208 * * [simplify]: iteration 2: 547 enodes 23.371 * * [simplify]: iteration 3: 2127 enodes 28.419 * * [simplify]: iteration complete: 5005 enodes 28.419 * * [simplify]: Extracting #0: cost 31 inf + 0 28.422 * * [simplify]: Extracting #1: cost 666 inf + 45 28.524 * * [simplify]: Extracting #2: cost 1395 inf + 26042 28.603 * * [simplify]: Extracting #3: cost 955 inf + 153498 28.767 * * [simplify]: Extracting #4: cost 99 inf + 312961 28.945 * * [simplify]: Extracting #5: cost 11 inf + 334473 29.063 * * [simplify]: Extracting #6: cost 0 inf + 337676 29.343 * [simplify]: Simplified to: (log (sqrt (* 3 (* y y)))) (exp (sqrt (* 3 (* y y)))) (* (cbrt (sqrt (* 3 (* y y)))) (cbrt (sqrt (* 3 (* y y))))) (cbrt (sqrt (* 3 (* y y)))) (* (* 3 (* y y)) (sqrt (* 3 (* y y)))) (sqrt y) (sqrt (* y 3)) 1/2 1/2 1/2 (sqrt (sqrt (* 3 (* y y)))) (sqrt (sqrt (* 3 (* y y)))) (log (sqrt (* 3 (* y y)))) (exp (sqrt (* 3 (* y y)))) (* (cbrt (sqrt (* 3 (* y y)))) (cbrt (sqrt (* 3 (* y y))))) (cbrt (sqrt (* 3 (* y y)))) (* (* 3 (* y y)) (sqrt (* 3 (* y y)))) (sqrt y) (sqrt (* y 3)) 1/2 1/2 1/2 (sqrt (sqrt (* 3 (* y y)))) (sqrt (sqrt (* 3 (* y y)))) 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 (* (* (* y y) (* y y)) 9) (* 3 (* y y)) (* (* (* y y) (* y y)) 9) (* (* (* y y) (* y y)) 9) (* (* (* y y) (* y y)) 9) (* (* (* y y) (* y y)) 9) (* (* (* y y) (* y y)) 9) (* (* (* y y) (* y y)) 9) (* (* (* y y) (* y y)) 9) (* (* (* y y) (* y y)) 9) (* (* (* y y) (* y y)) 9) 2 (log (* 3 (* y y))) (log (* 3 (* y y))) (exp (* 3 (* y y))) (* (* (* y y) y) (* 27 (* (* y y) y))) (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y)))) (cbrt (* 3 (* y y))) (* (* (* y y) y) (* 27 (* (* y y) y))) (* (* (* y y) (* y y)) 9) (sqrt (* 3 (* y y))) (sqrt (* 3 (* y y))) (* (sqrt (* 3 (* y y))) (cbrt (sqrt (* 3 (* y y))))) (* (cbrt (sqrt (* 3 (* y y)))) (cbrt (sqrt (* 3 (* y y))))) y (* y 3) (sqrt (* 3 (* y y))) (sqrt (* 3 (* y y))) 1 (* 3 (* y y)) (sqrt (* 3 (* y y))) (sqrt (* 3 (* y y))) 1 2 1 1 1 1 1 1 1 1 1 (* (sqrt (* 3 (* y y))) (* (cbrt (sqrt (* 3 (* y y)))) (cbrt (sqrt (* 3 (* y y)))))) (* (sqrt (* 3 (* y y))) (sqrt y)) (* (sqrt (sqrt (* 3 (* y y)))) (sqrt (* 3 (* y y)))) (sqrt (* 3 (* y y))) (* (sqrt (* 3 (* y y))) (cbrt (sqrt (* 3 (* y y))))) (* (sqrt (* 3 (* y y))) (sqrt (* y 3))) (* (sqrt (sqrt (* 3 (* y y)))) (sqrt (* 3 (* y y)))) (* 3 (* y y)) (* 3 (* y y)) (* 3 (* y y)) (log (* 3 (* y y))) (log (* 3 (* y y))) (log (* 3 (* y y))) (exp (* 3 (* y y))) (* (* (* y y) y) (* 27 (* (* y y) y))) (* (* (* y y) y) (* 27 (* (* y y) y))) (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y)))) (cbrt (* 3 (* y y))) (* (* (* y y) y) (* 27 (* (* y y) y))) (sqrt (* 3 (* y y))) (sqrt (* 3 (* y y))) (* y y) (* (* 3 (cbrt y)) y) (* (sqrt y) (* y 3)) (* 3 (* y y)) (* y (sqrt 3)) (* y (sqrt 3)) (* (- (sqrt 3)) y) (* y (sqrt 3)) (* y (sqrt 3)) (* (- (sqrt 3)) y) (* 3 (* y y)) (* 3 (* y y)) (* 3 (* y y)) (* 3 (* y y)) (* 3 (* y y)) (* 3 (* y y)) 29.511 * * * [progress]: adding candidates to table 31.177 * [progress]: [Phase 3 of 3] Extracting. 31.177 * * [regime]: Finding splitpoints for: (# # # # # #) 31.180 * * * [regime-changes]: Trying 5 branch expressions: ((* y y) (* x x) (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y)) y x) 31.180 * * * * [regimes]: Trying to branch on (* y y) from (# # # # # #) 31.265 * * * * [regimes]: Trying to branch on (* x x) from (# # # # # #) 31.380 * * * * [regimes]: Trying to branch on (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y)) from (# # # # # #) 31.691 * * * * [regimes]: Trying to branch on y from (# # # # # #) 31.888 * * * * [regimes]: Trying to branch on x from (# # # # # #) 31.979 * * * [regime]: Found split indices: #