102.666 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.077 * * * [progress]: [2/2] Setting up program. 0.087 * [progress]: [Phase 2 of 3] Improving. 0.088 * [simplify]: Simplifying: (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y)) 0.088 * * [simplify]: iteration 0: 7 enodes 0.091 * * [simplify]: iteration 1: 14 enodes 0.098 * * [simplify]: iteration 2: 29 enodes 0.114 * * [simplify]: iteration 3: 50 enodes 0.147 * * [simplify]: iteration 4: 65 enodes 0.166 * * [simplify]: iteration 5: 69 enodes 0.185 * * [simplify]: iteration complete: 69 enodes 0.185 * * [simplify]: Extracting #0: cost 1 inf + 0 0.185 * * [simplify]: Extracting #1: cost 13 inf + 0 0.185 * * [simplify]: Extracting #2: cost 9 inf + 4 0.185 * * [simplify]: Extracting #3: cost 2 inf + 523 0.186 * * [simplify]: Extracting #4: cost 0 inf + 704 0.187 * [simplify]: Simplified to: (fma 3 (* y y) (* x x)) 0.197 * * [progress]: iteration 1 / 4 0.197 * * * [progress]: picking best candidate 0.210 * * * * [pick]: Picked # 0.210 * * * [progress]: localizing error 0.228 * * * [progress]: generating rewritten candidates 0.228 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.230 * * * [progress]: generating series expansions 0.230 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.230 * [backup-simplify]: Simplify (fma 3 (* y y) (* x x)) into (fma 3 (pow y 2) (pow x 2)) 0.230 * [approximate]: Taking taylor expansion of (fma 3 (pow y 2) (pow x 2)) in (y x) around 0 0.230 * [taylor]: Taking taylor expansion of (fma 3 (pow y 2) (pow x 2)) in x 0.230 * [taylor]: Rewrote expression to (+ (* 3 (pow y 2)) (pow x 2)) 0.230 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in x 0.230 * [taylor]: Taking taylor expansion of 3 in x 0.230 * [backup-simplify]: Simplify 3 into 3 0.230 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.230 * [taylor]: Taking taylor expansion of y in x 0.230 * [backup-simplify]: Simplify y into y 0.230 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.230 * [taylor]: Taking taylor expansion of x in x 0.230 * [backup-simplify]: Simplify 0 into 0 0.231 * [backup-simplify]: Simplify 1 into 1 0.231 * [taylor]: Taking taylor expansion of (fma 3 (pow y 2) (pow x 2)) in y 0.231 * [taylor]: Rewrote expression to (+ (* 3 (pow y 2)) (pow x 2)) 0.231 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 0.231 * [taylor]: Taking taylor expansion of 3 in y 0.231 * [backup-simplify]: Simplify 3 into 3 0.231 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.231 * [taylor]: Taking taylor expansion of y in y 0.231 * [backup-simplify]: Simplify 0 into 0 0.231 * [backup-simplify]: Simplify 1 into 1 0.231 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.231 * [taylor]: Taking taylor expansion of x in y 0.231 * [backup-simplify]: Simplify x into x 0.231 * [taylor]: Taking taylor expansion of (fma 3 (pow y 2) (pow x 2)) in y 0.231 * [taylor]: Rewrote expression to (+ (* 3 (pow y 2)) (pow x 2)) 0.231 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 0.231 * [taylor]: Taking taylor expansion of 3 in y 0.231 * [backup-simplify]: Simplify 3 into 3 0.231 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.231 * [taylor]: Taking taylor expansion of y in y 0.231 * [backup-simplify]: Simplify 0 into 0 0.231 * [backup-simplify]: Simplify 1 into 1 0.231 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.231 * [taylor]: Taking taylor expansion of x in y 0.231 * [backup-simplify]: Simplify x into x 0.232 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.232 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2) 0.232 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [backup-simplify]: Simplify 0 into 0 0.232 * [backup-simplify]: Simplify 1 into 1 0.232 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 0.233 * [backup-simplify]: Simplify (+ 0 0) into 0 0.233 * [taylor]: Taking taylor expansion of 0 in x 0.233 * [backup-simplify]: Simplify 0 into 0 0.233 * [backup-simplify]: Simplify 0 into 0 0.233 * [backup-simplify]: Simplify (* 1 1) into 1 0.234 * [backup-simplify]: Simplify (* 3 1) into 3 0.234 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 0.235 * [backup-simplify]: Simplify (+ 3 0) into 3 0.235 * [taylor]: Taking taylor expansion of 3 in x 0.235 * [backup-simplify]: Simplify 3 into 3 0.235 * [backup-simplify]: Simplify 3 into 3 0.235 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify (* 1 1) into 1 0.235 * [backup-simplify]: Simplify 1 into 1 0.236 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.237 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 0.238 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0 0.238 * [backup-simplify]: Simplify (+ 0 0) into 0 0.238 * [taylor]: Taking taylor expansion of 0 in x 0.238 * [backup-simplify]: Simplify 0 into 0 0.238 * [backup-simplify]: Simplify 0 into 0 0.238 * [backup-simplify]: Simplify 0 into 0 0.238 * [backup-simplify]: Simplify 0 into 0 0.239 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.239 * [backup-simplify]: Simplify 0 into 0 0.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.241 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 0.242 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 0.243 * [backup-simplify]: Simplify (+ 0 0) into 0 0.243 * [taylor]: Taking taylor expansion of 0 in x 0.243 * [backup-simplify]: Simplify 0 into 0 0.243 * [backup-simplify]: Simplify 0 into 0 0.243 * [backup-simplify]: Simplify 0 into 0 0.243 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (* 3 (pow (* 1 y) 2))) into (+ (pow x 2) (* 3 (pow y 2))) 0.244 * [backup-simplify]: Simplify (fma 3 (* (/ 1 y) (/ 1 y)) (* (/ 1 x) (/ 1 x))) into (fma 3 (/ 1 (pow y 2)) (/ 1 (pow x 2))) 0.244 * [approximate]: Taking taylor expansion of (fma 3 (/ 1 (pow y 2)) (/ 1 (pow x 2))) in (y x) around 0 0.244 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 0.244 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 (pow y 2))) (/ 1 (pow x 2))) 0.244 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in x 0.244 * [taylor]: Taking taylor expansion of 3 in x 0.244 * [backup-simplify]: Simplify 3 into 3 0.244 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.244 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.244 * [taylor]: Taking taylor expansion of y in x 0.244 * [backup-simplify]: Simplify y into y 0.244 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.244 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 0.244 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.244 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.244 * [taylor]: Taking taylor expansion of x in x 0.244 * [backup-simplify]: Simplify 0 into 0 0.244 * [backup-simplify]: Simplify 1 into 1 0.245 * [backup-simplify]: Simplify (* 1 1) into 1 0.245 * [backup-simplify]: Simplify (/ 1 1) into 1 0.245 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 0.246 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 (pow y 2))) (/ 1 (pow x 2))) 0.246 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y 0.246 * [taylor]: Taking taylor expansion of 3 in y 0.246 * [backup-simplify]: Simplify 3 into 3 0.246 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.246 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.246 * [taylor]: Taking taylor expansion of y in y 0.246 * [backup-simplify]: Simplify 0 into 0 0.246 * [backup-simplify]: Simplify 1 into 1 0.246 * [backup-simplify]: Simplify (* 1 1) into 1 0.247 * [backup-simplify]: Simplify (/ 1 1) into 1 0.247 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.247 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.247 * [taylor]: Taking taylor expansion of x in y 0.247 * [backup-simplify]: Simplify x into x 0.247 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.247 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.247 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 0.247 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 (pow y 2))) (/ 1 (pow x 2))) 0.247 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (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 (/ 1 (pow y 2)) in y 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.250 * [backup-simplify]: Simplify (* 1 1) into 1 0.250 * [backup-simplify]: Simplify (/ 1 1) into 1 0.250 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.250 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.250 * [taylor]: Taking taylor expansion of x in y 0.250 * [backup-simplify]: Simplify x into x 0.250 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.251 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.251 * [backup-simplify]: Simplify (* 3 1) into 3 0.251 * [backup-simplify]: Simplify (+ 3 0) into 3 0.251 * [taylor]: Taking taylor expansion of 3 in x 0.251 * [backup-simplify]: Simplify 3 into 3 0.252 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.253 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 0.253 * [backup-simplify]: Simplify (+ 0 0) into 0 0.253 * [taylor]: Taking taylor expansion of 0 in x 0.253 * [backup-simplify]: Simplify 0 into 0 0.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.255 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 0.255 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2)) 0.255 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.255 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.255 * [taylor]: Taking taylor expansion of x in x 0.255 * [backup-simplify]: Simplify 0 into 0 0.255 * [backup-simplify]: Simplify 1 into 1 0.255 * [backup-simplify]: Simplify (* 1 1) into 1 0.256 * [backup-simplify]: Simplify (/ 1 1) into 1 0.256 * [backup-simplify]: Simplify 1 into 1 0.256 * [backup-simplify]: Simplify 3 into 3 0.256 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.259 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.259 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 0.259 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0 0.259 * [backup-simplify]: Simplify (+ 0 0) into 0 0.259 * [taylor]: Taking taylor expansion of 0 in x 0.260 * [backup-simplify]: Simplify 0 into 0 0.260 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.261 * [backup-simplify]: Simplify 0 into 0 0.261 * [backup-simplify]: Simplify 0 into 0 0.261 * [backup-simplify]: Simplify 0 into 0 0.262 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.265 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.265 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 0.265 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 0.266 * [backup-simplify]: Simplify (+ 0 0) into 0 0.266 * [taylor]: Taking taylor expansion of 0 in x 0.266 * [backup-simplify]: Simplify 0 into 0 0.266 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.267 * [backup-simplify]: Simplify 0 into 0 0.267 * [backup-simplify]: Simplify 0 into 0 0.267 * [backup-simplify]: Simplify 0 into 0 0.267 * [backup-simplify]: Simplify (+ (* 3 (pow (* 1 (/ 1 (/ 1 y))) 2)) (* 1 (pow (* (/ 1 (/ 1 x)) 1) 2))) into (+ (pow x 2) (* 3 (pow y 2))) 0.267 * [backup-simplify]: Simplify (fma 3 (* (/ 1 (- y)) (/ 1 (- y))) (* (/ 1 (- x)) (/ 1 (- x)))) into (fma 3 (/ 1 (pow y 2)) (/ 1 (pow x 2))) 0.267 * [approximate]: Taking taylor expansion of (fma 3 (/ 1 (pow y 2)) (/ 1 (pow x 2))) in (y x) around 0 0.267 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 0.268 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 (pow y 2))) (/ 1 (pow x 2))) 0.268 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in x 0.268 * [taylor]: Taking taylor expansion of 3 in x 0.268 * [backup-simplify]: Simplify 3 into 3 0.268 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.268 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.268 * [taylor]: Taking taylor expansion of y in x 0.268 * [backup-simplify]: Simplify y into y 0.268 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.268 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 0.268 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.268 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.268 * [taylor]: Taking taylor expansion of x in x 0.268 * [backup-simplify]: Simplify 0 into 0 0.268 * [backup-simplify]: Simplify 1 into 1 0.269 * [backup-simplify]: Simplify (* 1 1) into 1 0.269 * [backup-simplify]: Simplify (/ 1 1) into 1 0.269 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 0.269 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 (pow y 2))) (/ 1 (pow x 2))) 0.269 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y 0.269 * [taylor]: Taking taylor expansion of 3 in y 0.269 * [backup-simplify]: Simplify 3 into 3 0.269 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.269 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.269 * [taylor]: Taking taylor expansion of y in y 0.269 * [backup-simplify]: Simplify 0 into 0 0.269 * [backup-simplify]: Simplify 1 into 1 0.270 * [backup-simplify]: Simplify (* 1 1) into 1 0.270 * [backup-simplify]: Simplify (/ 1 1) into 1 0.270 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.270 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.270 * [taylor]: Taking taylor expansion of x in y 0.270 * [backup-simplify]: Simplify x into x 0.270 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.271 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.271 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 0.271 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 (pow y 2))) (/ 1 (pow x 2))) 0.271 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y 0.271 * [taylor]: Taking taylor expansion of 3 in y 0.271 * [backup-simplify]: Simplify 3 into 3 0.271 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.271 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.271 * [taylor]: Taking taylor expansion of y in y 0.271 * [backup-simplify]: Simplify 0 into 0 0.271 * [backup-simplify]: Simplify 1 into 1 0.271 * [backup-simplify]: Simplify (* 1 1) into 1 0.272 * [backup-simplify]: Simplify (/ 1 1) into 1 0.272 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.272 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.272 * [taylor]: Taking taylor expansion of x in y 0.272 * [backup-simplify]: Simplify x into x 0.272 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.272 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.273 * [backup-simplify]: Simplify (* 3 1) into 3 0.273 * [backup-simplify]: Simplify (+ 3 0) into 3 0.273 * [taylor]: Taking taylor expansion of 3 in x 0.273 * [backup-simplify]: Simplify 3 into 3 0.274 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.275 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.275 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 0.276 * [backup-simplify]: Simplify (+ 0 0) into 0 0.276 * [taylor]: Taking taylor expansion of 0 in x 0.276 * [backup-simplify]: Simplify 0 into 0 0.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.279 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 0.279 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2)) 0.279 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.279 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.279 * [taylor]: Taking taylor expansion of x in x 0.279 * [backup-simplify]: Simplify 0 into 0 0.279 * [backup-simplify]: Simplify 1 into 1 0.280 * [backup-simplify]: Simplify (* 1 1) into 1 0.280 * [backup-simplify]: Simplify (/ 1 1) into 1 0.280 * [backup-simplify]: Simplify 1 into 1 0.280 * [backup-simplify]: Simplify 3 into 3 0.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.283 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.284 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 0.284 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0 0.284 * [backup-simplify]: Simplify (+ 0 0) into 0 0.284 * [taylor]: Taking taylor expansion of 0 in x 0.284 * [backup-simplify]: Simplify 0 into 0 0.285 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.286 * [backup-simplify]: Simplify 0 into 0 0.286 * [backup-simplify]: Simplify 0 into 0 0.286 * [backup-simplify]: Simplify 0 into 0 0.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.298 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.298 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 0.299 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 0.299 * [backup-simplify]: Simplify (+ 0 0) into 0 0.299 * [taylor]: Taking taylor expansion of 0 in x 0.299 * [backup-simplify]: Simplify 0 into 0 0.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.301 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.301 * [backup-simplify]: Simplify 0 into 0 0.301 * [backup-simplify]: Simplify 0 into 0 0.301 * [backup-simplify]: Simplify 0 into 0 0.302 * [backup-simplify]: Simplify (+ (* 3 (pow (* 1 (/ 1 (/ 1 (- y)))) 2)) (* 1 (pow (* (/ 1 (/ 1 (- x))) 1) 2))) into (+ (pow x 2) (* 3 (pow y 2))) 0.302 * * * [progress]: simplifying candidates 0.302 * [simplify]: Simplifying: (expm1 (fma 3 (* y y) (* x x))) (log1p (fma 3 (* y y) (* x x))) (* 3 (* y y)) (log (fma 3 (* y y) (* x x))) (exp (fma 3 (* y y) (* x x))) (* (cbrt (fma 3 (* y y) (* x x))) (cbrt (fma 3 (* y y) (* x x)))) (cbrt (fma 3 (* y y) (* x x))) (* (* (fma 3 (* y y) (* x x)) (fma 3 (* y y) (* x x))) (fma 3 (* y y) (* x x))) (sqrt (fma 3 (* y y) (* x x))) (sqrt (fma 3 (* y y) (* x x))) (+ (pow x 2) (* 3 (pow y 2))) (+ (pow x 2) (* 3 (pow y 2))) (+ (pow x 2) (* 3 (pow y 2))) 0.303 * * [simplify]: iteration 0: 21 enodes 0.312 * * [simplify]: iteration 1: 33 enodes 0.328 * * [simplify]: iteration 2: 74 enodes 0.365 * * [simplify]: iteration 3: 222 enodes 0.787 * * [simplify]: iteration 4: 907 enodes 8.540 * * [simplify]: iteration complete: 5000 enodes 8.540 * * [simplify]: Extracting #0: cost 10 inf + 0 8.540 * * [simplify]: Extracting #1: cost 128 inf + 0 8.550 * * [simplify]: Extracting #2: cost 950 inf + 2691 8.575 * * [simplify]: Extracting #3: cost 770 inf + 73878 8.694 * * [simplify]: Extracting #4: cost 90 inf + 237587 8.853 * * [simplify]: Extracting #5: cost 7 inf + 255823 9.043 * * [simplify]: Extracting #6: cost 0 inf + 257844 9.270 * [simplify]: Simplified to: (expm1 (fma x x (* y (* y 3)))) (log1p (fma x x (* y (* y 3)))) (* y (* y 3)) (log (fma x x (* y (* y 3)))) (exp (fma x x (* y (* y 3)))) (* (cbrt (fma x x (* y (* y 3)))) (cbrt (fma x x (* y (* y 3))))) (cbrt (fma x x (* y (* y 3)))) (* (* (fma x x (* y (* y 3))) (fma x x (* y (* y 3)))) (fma x x (* y (* y 3)))) (sqrt (fma x x (* y (* y 3)))) (sqrt (fma x x (* y (* y 3)))) (fma x x (* y (* y 3))) (fma x x (* y (* y 3))) (fma x x (* y (* y 3))) 9.275 * * * [progress]: adding candidates to table 9.510 * * [progress]: iteration 2 / 4 9.510 * * * [progress]: picking best candidate 9.534 * * * * [pick]: Picked # 9.534 * * * [progress]: localizing error 9.555 * * * [progress]: generating rewritten candidates 9.555 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3) 9.602 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 9.604 * * * [progress]: generating series expansions 9.604 * * * * [progress]: [ 1 / 2 ] generating series at (2 3) 9.608 * [backup-simplify]: Simplify (* y (* y 3)) into (* 3 (pow y 2)) 9.608 * [approximate]: Taking taylor expansion of (* 3 (pow y 2)) in (y) around 0 9.608 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 9.609 * [taylor]: Taking taylor expansion of 3 in y 9.609 * [backup-simplify]: Simplify 3 into 3 9.609 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.609 * [taylor]: Taking taylor expansion of y in y 9.609 * [backup-simplify]: Simplify 0 into 0 9.609 * [backup-simplify]: Simplify 1 into 1 9.609 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 9.609 * [taylor]: Taking taylor expansion of 3 in y 9.609 * [backup-simplify]: Simplify 3 into 3 9.610 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.610 * [taylor]: Taking taylor expansion of y in y 9.610 * [backup-simplify]: Simplify 0 into 0 9.610 * [backup-simplify]: Simplify 1 into 1 9.612 * [backup-simplify]: Simplify (* 1 1) into 1 9.613 * [backup-simplify]: Simplify (* 3 1) into 3 9.613 * [backup-simplify]: Simplify 3 into 3 9.614 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.616 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 9.616 * [backup-simplify]: Simplify 0 into 0 9.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.621 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 9.621 * [backup-simplify]: Simplify 0 into 0 9.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.624 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.624 * [backup-simplify]: Simplify 0 into 0 9.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.626 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.626 * [backup-simplify]: Simplify 0 into 0 9.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.633 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.633 * [backup-simplify]: Simplify 0 into 0 9.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.637 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.637 * [backup-simplify]: Simplify 0 into 0 9.637 * [backup-simplify]: Simplify (* 3 (pow y 2)) into (* 3 (pow y 2)) 9.637 * [backup-simplify]: Simplify (* (/ 1 y) (* (/ 1 y) 3)) into (/ 3 (pow y 2)) 9.638 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0 9.638 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 9.638 * [taylor]: Taking taylor expansion of 3 in y 9.638 * [backup-simplify]: Simplify 3 into 3 9.638 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.638 * [taylor]: Taking taylor expansion of y in y 9.638 * [backup-simplify]: Simplify 0 into 0 9.638 * [backup-simplify]: Simplify 1 into 1 9.638 * [backup-simplify]: Simplify (* 1 1) into 1 9.639 * [backup-simplify]: Simplify (/ 3 1) into 3 9.639 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 9.639 * [taylor]: Taking taylor expansion of 3 in y 9.639 * [backup-simplify]: Simplify 3 into 3 9.639 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.639 * [taylor]: Taking taylor expansion of y in y 9.639 * [backup-simplify]: Simplify 0 into 0 9.639 * [backup-simplify]: Simplify 1 into 1 9.639 * [backup-simplify]: Simplify (* 1 1) into 1 9.640 * [backup-simplify]: Simplify (/ 3 1) into 3 9.640 * [backup-simplify]: Simplify 3 into 3 9.641 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.641 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 9.642 * [backup-simplify]: Simplify 0 into 0 9.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.646 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.646 * [backup-simplify]: Simplify 0 into 0 9.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.650 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.650 * [backup-simplify]: Simplify 0 into 0 9.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.810 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.810 * [backup-simplify]: Simplify 0 into 0 9.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.813 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.813 * [backup-simplify]: Simplify 0 into 0 9.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.815 * [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 9.815 * [backup-simplify]: Simplify 0 into 0 9.816 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 y)) 2)) into (* 3 (pow y 2)) 9.817 * [backup-simplify]: Simplify (* (/ 1 (- y)) (* (/ 1 (- y)) 3)) into (/ 3 (pow y 2)) 9.817 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0 9.817 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 9.817 * [taylor]: Taking taylor expansion of 3 in y 9.817 * [backup-simplify]: Simplify 3 into 3 9.817 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.817 * [taylor]: Taking taylor expansion of y in y 9.817 * [backup-simplify]: Simplify 0 into 0 9.817 * [backup-simplify]: Simplify 1 into 1 9.818 * [backup-simplify]: Simplify (* 1 1) into 1 9.818 * [backup-simplify]: Simplify (/ 3 1) into 3 9.818 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 9.818 * [taylor]: Taking taylor expansion of 3 in y 9.818 * [backup-simplify]: Simplify 3 into 3 9.818 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.818 * [taylor]: Taking taylor expansion of y in y 9.818 * [backup-simplify]: Simplify 0 into 0 9.818 * [backup-simplify]: Simplify 1 into 1 9.819 * [backup-simplify]: Simplify (* 1 1) into 1 9.819 * [backup-simplify]: Simplify (/ 3 1) into 3 9.819 * [backup-simplify]: Simplify 3 into 3 9.820 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.821 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 9.822 * [backup-simplify]: Simplify 0 into 0 9.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.824 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.824 * [backup-simplify]: Simplify 0 into 0 9.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.826 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.826 * [backup-simplify]: Simplify 0 into 0 9.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.828 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.828 * [backup-simplify]: Simplify 0 into 0 9.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.830 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.830 * [backup-simplify]: Simplify 0 into 0 9.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.833 * [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 9.833 * [backup-simplify]: Simplify 0 into 0 9.833 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- y))) 2)) into (* 3 (pow y 2)) 9.842 * * * * [progress]: [ 2 / 2 ] generating series at (2) 9.842 * [backup-simplify]: Simplify (fma x x (* y (* y 3))) into (fma x x (* 3 (pow y 2))) 9.842 * [approximate]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in (x y) around 0 9.842 * [taylor]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in y 9.843 * [taylor]: Rewrote expression to (+ (* x x) (* 3 (pow y 2))) 9.843 * [taylor]: Taking taylor expansion of (* x x) in y 9.843 * [taylor]: Taking taylor expansion of x in y 9.843 * [backup-simplify]: Simplify x into x 9.843 * [taylor]: Taking taylor expansion of x in y 9.843 * [backup-simplify]: Simplify x into x 9.843 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 9.843 * [taylor]: Taking taylor expansion of 3 in y 9.843 * [backup-simplify]: Simplify 3 into 3 9.843 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.843 * [taylor]: Taking taylor expansion of y in y 9.844 * [backup-simplify]: Simplify 0 into 0 9.844 * [backup-simplify]: Simplify 1 into 1 9.844 * [taylor]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in x 9.844 * [taylor]: Rewrote expression to (+ (* x x) (* 3 (pow y 2))) 9.844 * [taylor]: Taking taylor expansion of (* x x) in x 9.844 * [taylor]: Taking taylor expansion of x in x 9.844 * [backup-simplify]: Simplify 0 into 0 9.844 * [backup-simplify]: Simplify 1 into 1 9.844 * [taylor]: Taking taylor expansion of x in x 9.844 * [backup-simplify]: Simplify 0 into 0 9.844 * [backup-simplify]: Simplify 1 into 1 9.844 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in x 9.844 * [taylor]: Taking taylor expansion of 3 in x 9.844 * [backup-simplify]: Simplify 3 into 3 9.844 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.844 * [taylor]: Taking taylor expansion of y in x 9.844 * [backup-simplify]: Simplify y into y 9.844 * [taylor]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in x 9.844 * [taylor]: Rewrote expression to (+ (* x x) (* 3 (pow y 2))) 9.845 * [taylor]: Taking taylor expansion of (* x x) in x 9.845 * [taylor]: Taking taylor expansion of x in x 9.845 * [backup-simplify]: Simplify 0 into 0 9.845 * [backup-simplify]: Simplify 1 into 1 9.845 * [taylor]: Taking taylor expansion of x in x 9.845 * [backup-simplify]: Simplify 0 into 0 9.845 * [backup-simplify]: Simplify 1 into 1 9.845 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in x 9.845 * [taylor]: Taking taylor expansion of 3 in x 9.845 * [backup-simplify]: Simplify 3 into 3 9.845 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.845 * [taylor]: Taking taylor expansion of y in x 9.845 * [backup-simplify]: Simplify y into y 9.846 * [backup-simplify]: Simplify (* 0 0) into 0 9.846 * [backup-simplify]: Simplify (* y y) into (pow y 2) 9.846 * [backup-simplify]: Simplify (* 3 (pow y 2)) into (* 3 (pow y 2)) 9.846 * [backup-simplify]: Simplify (+ 0 (* 3 (pow y 2))) into (* 3 (pow y 2)) 9.846 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 9.846 * [taylor]: Taking taylor expansion of 3 in y 9.846 * [backup-simplify]: Simplify 3 into 3 9.846 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.846 * [taylor]: Taking taylor expansion of y in y 9.846 * [backup-simplify]: Simplify 0 into 0 9.846 * [backup-simplify]: Simplify 1 into 1 9.847 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 9.847 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 9.848 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow y 2))) into 0 9.848 * [backup-simplify]: Simplify (+ 0 0) into 0 9.848 * [taylor]: Taking taylor expansion of 0 in y 9.848 * [backup-simplify]: Simplify 0 into 0 9.848 * [backup-simplify]: Simplify 0 into 0 9.849 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 9.850 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 9.851 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 9.851 * [backup-simplify]: Simplify (+ 1 0) into 1 9.851 * [taylor]: Taking taylor expansion of 1 in y 9.851 * [backup-simplify]: Simplify 1 into 1 9.851 * [backup-simplify]: Simplify 1 into 1 9.852 * [backup-simplify]: Simplify 0 into 0 9.852 * [backup-simplify]: Simplify (* 1 1) into 1 9.852 * [backup-simplify]: Simplify (* 3 1) into 3 9.852 * [backup-simplify]: Simplify 3 into 3 9.854 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 9.854 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 9.856 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 9.856 * [backup-simplify]: Simplify (+ 0 0) into 0 9.856 * [taylor]: Taking taylor expansion of 0 in y 9.856 * [backup-simplify]: Simplify 0 into 0 9.856 * [backup-simplify]: Simplify 0 into 0 9.856 * [backup-simplify]: Simplify 0 into 0 9.856 * [backup-simplify]: Simplify 0 into 0 9.857 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.858 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 9.858 * [backup-simplify]: Simplify 0 into 0 9.859 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 9.860 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 9.863 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0 9.863 * [backup-simplify]: Simplify (+ 0 0) into 0 9.863 * [taylor]: Taking taylor expansion of 0 in y 9.863 * [backup-simplify]: Simplify 0 into 0 9.863 * [backup-simplify]: Simplify 0 into 0 9.863 * [backup-simplify]: Simplify 0 into 0 9.864 * [backup-simplify]: Simplify (+ (* 3 (pow (* y 1) 2)) (* 1 (pow (* 1 x) 2))) into (+ (pow x 2) (* 3 (pow y 2))) 9.864 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 x) (* (/ 1 y) (* (/ 1 y) 3))) into (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) 9.864 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in (x y) around 0 9.864 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in y 9.864 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 3 (pow y 2))) 9.864 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 9.864 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.864 * [taylor]: Taking taylor expansion of x in y 9.864 * [backup-simplify]: Simplify x into x 9.865 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.865 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.865 * [taylor]: Taking taylor expansion of x in y 9.865 * [backup-simplify]: Simplify x into x 9.865 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.865 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 9.865 * [taylor]: Taking taylor expansion of 3 in y 9.865 * [backup-simplify]: Simplify 3 into 3 9.865 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.865 * [taylor]: Taking taylor expansion of y in y 9.865 * [backup-simplify]: Simplify 0 into 0 9.865 * [backup-simplify]: Simplify 1 into 1 9.866 * [backup-simplify]: Simplify (* 1 1) into 1 9.866 * [backup-simplify]: Simplify (/ 3 1) into 3 9.866 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in x 9.866 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 3 (pow y 2))) 9.866 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 9.866 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.866 * [taylor]: Taking taylor expansion of x in x 9.866 * [backup-simplify]: Simplify 0 into 0 9.866 * [backup-simplify]: Simplify 1 into 1 9.867 * [backup-simplify]: Simplify (/ 1 1) into 1 9.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.867 * [taylor]: Taking taylor expansion of x in x 9.867 * [backup-simplify]: Simplify 0 into 0 9.867 * [backup-simplify]: Simplify 1 into 1 9.867 * [backup-simplify]: Simplify (/ 1 1) into 1 9.867 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x 9.867 * [taylor]: Taking taylor expansion of 3 in x 9.867 * [backup-simplify]: Simplify 3 into 3 9.867 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.867 * [taylor]: Taking taylor expansion of y in x 9.867 * [backup-simplify]: Simplify y into y 9.868 * [backup-simplify]: Simplify (* y y) into (pow y 2) 9.868 * [backup-simplify]: Simplify (/ 3 (pow y 2)) into (/ 3 (pow y 2)) 9.868 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in x 9.868 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 3 (pow y 2))) 9.868 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 9.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.868 * [taylor]: Taking taylor expansion of x in x 9.868 * [backup-simplify]: Simplify 0 into 0 9.868 * [backup-simplify]: Simplify 1 into 1 9.868 * [backup-simplify]: Simplify (/ 1 1) into 1 9.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.868 * [taylor]: Taking taylor expansion of x in x 9.869 * [backup-simplify]: Simplify 0 into 0 9.869 * [backup-simplify]: Simplify 1 into 1 9.869 * [backup-simplify]: Simplify (/ 1 1) into 1 9.869 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x 9.869 * [taylor]: Taking taylor expansion of 3 in x 9.869 * [backup-simplify]: Simplify 3 into 3 9.869 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.869 * [taylor]: Taking taylor expansion of y in x 9.869 * [backup-simplify]: Simplify y into y 9.869 * [backup-simplify]: Simplify (* y y) into (pow y 2) 9.869 * [backup-simplify]: Simplify (/ 3 (pow y 2)) into (/ 3 (pow y 2)) 9.870 * [backup-simplify]: Simplify (* 1 1) into 1 9.870 * [backup-simplify]: Simplify (+ 1 0) into 1 9.870 * [taylor]: Taking taylor expansion of 1 in y 9.870 * [backup-simplify]: Simplify 1 into 1 9.871 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.872 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.873 * [backup-simplify]: Simplify (+ 0 0) into 0 9.873 * [taylor]: Taking taylor expansion of 0 in y 9.873 * [backup-simplify]: Simplify 0 into 0 9.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.876 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.876 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow y 2))) into (* 3 (/ 1 (pow y 2))) 9.876 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y 9.876 * [taylor]: Taking taylor expansion of 3 in y 9.876 * [backup-simplify]: Simplify 3 into 3 9.876 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.876 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.876 * [taylor]: Taking taylor expansion of y in y 9.876 * [backup-simplify]: Simplify 0 into 0 9.876 * [backup-simplify]: Simplify 1 into 1 9.877 * [backup-simplify]: Simplify (* 1 1) into 1 9.877 * [backup-simplify]: Simplify (/ 1 1) into 1 9.877 * [backup-simplify]: Simplify (* 3 1) into 3 9.877 * [backup-simplify]: Simplify 3 into 3 9.878 * [backup-simplify]: Simplify 1 into 1 9.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.879 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.881 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 9.881 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3 (pow y 2)) (/ 0 (pow y 2))))) into 0 9.881 * [backup-simplify]: Simplify (+ 0 0) into 0 9.881 * [taylor]: Taking taylor expansion of 0 in y 9.882 * [backup-simplify]: Simplify 0 into 0 9.882 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.883 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.884 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 9.884 * [backup-simplify]: Simplify 0 into 0 9.884 * [backup-simplify]: Simplify 0 into 0 9.884 * [backup-simplify]: Simplify 0 into 0 9.885 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.887 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.887 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 9.888 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 9.888 * [backup-simplify]: Simplify (+ 0 0) into 0 9.888 * [taylor]: Taking taylor expansion of 0 in y 9.888 * [backup-simplify]: Simplify 0 into 0 9.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.892 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 9.892 * [backup-simplify]: Simplify 0 into 0 9.892 * [backup-simplify]: Simplify 0 into 0 9.892 * [backup-simplify]: Simplify 0 into 0 9.892 * [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))) 9.893 * [backup-simplify]: Simplify (fma (/ 1 (- x)) (/ 1 (- x)) (* (/ 1 (- y)) (* (/ 1 (- y)) 3))) into (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) 9.893 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in (x y) around 0 9.893 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in y 9.893 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 3 (pow y 2))) 9.893 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 9.893 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.893 * [taylor]: Taking taylor expansion of -1 in y 9.893 * [backup-simplify]: Simplify -1 into -1 9.893 * [taylor]: Taking taylor expansion of x in y 9.893 * [backup-simplify]: Simplify x into x 9.893 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 9.893 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.893 * [taylor]: Taking taylor expansion of -1 in y 9.893 * [backup-simplify]: Simplify -1 into -1 9.893 * [taylor]: Taking taylor expansion of x in y 9.893 * [backup-simplify]: Simplify x into x 9.893 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 9.893 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 9.894 * [taylor]: Taking taylor expansion of 3 in y 9.894 * [backup-simplify]: Simplify 3 into 3 9.894 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.894 * [taylor]: Taking taylor expansion of y in y 9.894 * [backup-simplify]: Simplify 0 into 0 9.894 * [backup-simplify]: Simplify 1 into 1 9.894 * [backup-simplify]: Simplify (* 1 1) into 1 9.895 * [backup-simplify]: Simplify (/ 3 1) into 3 9.895 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in x 9.895 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 3 (pow y 2))) 9.895 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 9.895 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.895 * [taylor]: Taking taylor expansion of -1 in x 9.895 * [backup-simplify]: Simplify -1 into -1 9.895 * [taylor]: Taking taylor expansion of x in x 9.895 * [backup-simplify]: Simplify 0 into 0 9.895 * [backup-simplify]: Simplify 1 into 1 9.896 * [backup-simplify]: Simplify (/ -1 1) into -1 9.896 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.896 * [taylor]: Taking taylor expansion of -1 in x 9.896 * [backup-simplify]: Simplify -1 into -1 9.896 * [taylor]: Taking taylor expansion of x in x 9.896 * [backup-simplify]: Simplify 0 into 0 9.896 * [backup-simplify]: Simplify 1 into 1 9.896 * [backup-simplify]: Simplify (/ -1 1) into -1 9.896 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x 9.896 * [taylor]: Taking taylor expansion of 3 in x 9.896 * [backup-simplify]: Simplify 3 into 3 9.896 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.896 * [taylor]: Taking taylor expansion of y in x 9.896 * [backup-simplify]: Simplify y into y 9.897 * [backup-simplify]: Simplify (* y y) into (pow y 2) 9.897 * [backup-simplify]: Simplify (/ 3 (pow y 2)) into (/ 3 (pow y 2)) 9.897 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in x 9.897 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 3 (pow y 2))) 9.897 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 9.897 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.897 * [taylor]: Taking taylor expansion of -1 in x 9.897 * [backup-simplify]: Simplify -1 into -1 9.897 * [taylor]: Taking taylor expansion of x in x 9.897 * [backup-simplify]: Simplify 0 into 0 9.897 * [backup-simplify]: Simplify 1 into 1 9.898 * [backup-simplify]: Simplify (/ -1 1) into -1 9.898 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.898 * [taylor]: Taking taylor expansion of -1 in x 9.898 * [backup-simplify]: Simplify -1 into -1 9.898 * [taylor]: Taking taylor expansion of x in x 9.898 * [backup-simplify]: Simplify 0 into 0 9.898 * [backup-simplify]: Simplify 1 into 1 9.898 * [backup-simplify]: Simplify (/ -1 1) into -1 9.898 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x 9.898 * [taylor]: Taking taylor expansion of 3 in x 9.898 * [backup-simplify]: Simplify 3 into 3 9.898 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.898 * [taylor]: Taking taylor expansion of y in x 9.899 * [backup-simplify]: Simplify y into y 9.899 * [backup-simplify]: Simplify (* y y) into (pow y 2) 9.899 * [backup-simplify]: Simplify (/ 3 (pow y 2)) into (/ 3 (pow y 2)) 9.899 * [backup-simplify]: Simplify (* -1 -1) into 1 9.900 * [backup-simplify]: Simplify (+ 1 0) into 1 9.900 * [taylor]: Taking taylor expansion of 1 in y 9.900 * [backup-simplify]: Simplify 1 into 1 9.901 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 9.902 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 9.902 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 9.903 * [backup-simplify]: Simplify (+ 0 0) into 0 9.903 * [taylor]: Taking taylor expansion of 0 in y 9.903 * [backup-simplify]: Simplify 0 into 0 9.904 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.906 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.907 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 9.907 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow y 2))) into (* 3 (/ 1 (pow y 2))) 9.907 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y 9.907 * [taylor]: Taking taylor expansion of 3 in y 9.907 * [backup-simplify]: Simplify 3 into 3 9.907 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.907 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.907 * [taylor]: Taking taylor expansion of y in y 9.907 * [backup-simplify]: Simplify 0 into 0 9.907 * [backup-simplify]: Simplify 1 into 1 9.907 * [backup-simplify]: Simplify (* 1 1) into 1 9.908 * [backup-simplify]: Simplify (/ 1 1) into 1 9.908 * [backup-simplify]: Simplify (* 3 1) into 3 9.908 * [backup-simplify]: Simplify 3 into 3 9.908 * [backup-simplify]: Simplify 1 into 1 9.909 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.910 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.911 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 9.912 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 9.912 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3 (pow y 2)) (/ 0 (pow y 2))))) into 0 9.912 * [backup-simplify]: Simplify (+ 0 0) into 0 9.912 * [taylor]: Taking taylor expansion of 0 in y 9.913 * [backup-simplify]: Simplify 0 into 0 9.913 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.914 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.915 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 9.915 * [backup-simplify]: Simplify 0 into 0 9.915 * [backup-simplify]: Simplify 0 into 0 9.915 * [backup-simplify]: Simplify 0 into 0 9.916 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.917 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.918 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 9.919 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 9.919 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 9.920 * [backup-simplify]: Simplify (+ 0 0) into 0 9.920 * [taylor]: Taking taylor expansion of 0 in y 9.920 * [backup-simplify]: Simplify 0 into 0 9.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.921 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.922 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 9.922 * [backup-simplify]: Simplify 0 into 0 9.922 * [backup-simplify]: Simplify 0 into 0 9.923 * [backup-simplify]: Simplify 0 into 0 9.923 * [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))) 9.923 * * * [progress]: simplifying candidates 9.924 * [simplify]: Simplifying: (expm1 (* y (* y 3))) (log1p (* 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)) (expm1 (fma x x (* y (* y 3)))) (log1p (fma x x (* y (* y 3)))) (* x x) (log (fma x x (* y (* y 3)))) (exp (fma x x (* y (* y 3)))) (* (cbrt (fma x x (* y (* y 3)))) (cbrt (fma x x (* y (* y 3))))) (cbrt (fma x x (* y (* y 3)))) (* (* (fma x x (* y (* y 3))) (fma x x (* y (* y 3)))) (fma x x (* y (* y 3)))) (sqrt (fma x x (* y (* y 3)))) (sqrt (fma 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))) 9.925 * * [simplify]: iteration 0: 49 enodes 9.950 * * [simplify]: iteration 1: 108 enodes 10.049 * * [simplify]: iteration 2: 323 enodes 11.017 * * [simplify]: iteration 3: 1558 enodes 13.021 * * [simplify]: iteration complete: 5001 enodes 13.021 * * [simplify]: Extracting #0: cost 22 inf + 0 13.023 * * [simplify]: Extracting #1: cost 382 inf + 0 13.030 * * [simplify]: Extracting #2: cost 1809 inf + 1109 13.055 * * [simplify]: Extracting #3: cost 1654 inf + 75251 13.188 * * [simplify]: Extracting #4: cost 176 inf + 287158 13.357 * * [simplify]: Extracting #5: cost 7 inf + 322873 13.556 * * [simplify]: Extracting #6: cost 0 inf + 325159 13.747 * [simplify]: Simplified to: (expm1 (* (* y 3) y)) (log1p (* (* y 3) y)) (* (* y 3) y) (* (* y 3) y) (log (* (* y 3) y)) (log (* (* y 3) y)) (log (* (* y 3) y)) (exp (* (* y 3) y)) (* 27 (* (* (* y y) (* y y)) (* y y))) (* 27 (* (* (* y y) (* y y)) (* y y))) (* (cbrt (* (* y 3) y)) (cbrt (* (* y 3) y))) (cbrt (* (* y 3) y)) (* 27 (* (* (* y y) (* y y)) (* y y))) (sqrt (* (* y 3) y)) (sqrt (* (* y 3) y)) (* y y) (* (cbrt y) (* 3 y)) (* (sqrt y) (* 3 y)) (* (* y 3) y) (expm1 (fma 3 (* y y) (* x x))) (log1p (fma 3 (* y y) (* x x))) (* x x) (log (fma 3 (* y y) (* x x))) (exp (fma 3 (* y y) (* x x))) (* (cbrt (fma 3 (* y y) (* x x))) (cbrt (fma 3 (* y y) (* x x)))) (cbrt (fma 3 (* y y) (* x x))) (* (fma 3 (* y y) (* x x)) (* (fma 3 (* y y) (* x x)) (fma 3 (* y y) (* x x)))) (sqrt (fma 3 (* y y) (* x x))) (sqrt (fma 3 (* y y) (* x x))) (* (* y 3) y) (* (* y 3) y) (* (* y 3) y) (fma 3 (* y y) (* x x)) (fma 3 (* y y) (* x x)) (fma 3 (* y y) (* x x)) 13.749 * * * [progress]: adding candidates to table 14.386 * * [progress]: iteration 3 / 4 14.386 * * * [progress]: picking best candidate 14.417 * * * * [pick]: Picked # 14.417 * * * [progress]: localizing error 14.460 * * * [progress]: generating rewritten candidates 14.460 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2) 14.513 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1) 14.538 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3) 14.732 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 2 1) 14.792 * * * [progress]: generating series expansions 14.793 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2) 14.797 * [backup-simplify]: Simplify (sqrt (* y (* y 3))) into (* (sqrt 3) y) 14.797 * [approximate]: Taking taylor expansion of (* (sqrt 3) y) in (y) around 0 14.797 * [taylor]: Taking taylor expansion of (* (sqrt 3) y) in y 14.798 * [taylor]: Taking taylor expansion of (sqrt 3) in y 14.798 * [taylor]: Taking taylor expansion of 3 in y 14.798 * [backup-simplify]: Simplify 3 into 3 14.810 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 14.814 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 14.814 * [taylor]: Taking taylor expansion of y in y 14.814 * [backup-simplify]: Simplify 0 into 0 14.814 * [backup-simplify]: Simplify 1 into 1 14.814 * [taylor]: Taking taylor expansion of (* (sqrt 3) y) in y 14.814 * [taylor]: Taking taylor expansion of (sqrt 3) in y 14.814 * [taylor]: Taking taylor expansion of 3 in y 14.814 * [backup-simplify]: Simplify 3 into 3 14.815 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 14.820 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 14.820 * [taylor]: Taking taylor expansion of y in y 14.820 * [backup-simplify]: Simplify 0 into 0 14.820 * [backup-simplify]: Simplify 1 into 1 14.823 * [backup-simplify]: Simplify (* (sqrt 3) 0) into 0 14.823 * [backup-simplify]: Simplify 0 into 0 14.825 * [backup-simplify]: Simplify (+ (* (sqrt 3) 1) (* 0 0)) into (sqrt 3) 14.826 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 14.827 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 14.828 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 1) (* 0 0))) into 0 14.828 * [backup-simplify]: Simplify 0 into 0 14.831 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 14.832 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 14.832 * [backup-simplify]: Simplify 0 into 0 14.834 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 14.836 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 14.836 * [backup-simplify]: Simplify 0 into 0 14.837 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 14.839 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 14.839 * [backup-simplify]: Simplify 0 into 0 14.840 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 14.843 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 14.843 * [backup-simplify]: Simplify 0 into 0 14.850 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 14.864 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 14.864 * [backup-simplify]: Simplify 0 into 0 14.865 * [backup-simplify]: Simplify (* (sqrt 3) y) into (* (sqrt 3) y) 14.866 * [backup-simplify]: Simplify (sqrt (* (/ 1 y) (* (/ 1 y) 3))) into (/ (sqrt 3) y) 14.866 * [approximate]: Taking taylor expansion of (/ (sqrt 3) y) in (y) around 0 14.866 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 14.866 * [taylor]: Taking taylor expansion of (sqrt 3) in y 14.866 * [taylor]: Taking taylor expansion of 3 in y 14.866 * [backup-simplify]: Simplify 3 into 3 14.866 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 14.867 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 14.867 * [taylor]: Taking taylor expansion of y in y 14.867 * [backup-simplify]: Simplify 0 into 0 14.867 * [backup-simplify]: Simplify 1 into 1 14.869 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 14.869 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 14.869 * [taylor]: Taking taylor expansion of (sqrt 3) in y 14.869 * [taylor]: Taking taylor expansion of 3 in y 14.869 * [backup-simplify]: Simplify 3 into 3 14.869 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 14.870 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 14.870 * [taylor]: Taking taylor expansion of y in y 14.870 * [backup-simplify]: Simplify 0 into 0 14.870 * [backup-simplify]: Simplify 1 into 1 14.871 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 14.872 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 14.872 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0 14.872 * [backup-simplify]: Simplify 0 into 0 14.873 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 14.874 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.874 * [backup-simplify]: Simplify 0 into 0 14.875 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 14.876 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.876 * [backup-simplify]: Simplify 0 into 0 14.878 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 14.880 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.880 * [backup-simplify]: Simplify 0 into 0 14.882 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 14.883 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.883 * [backup-simplify]: Simplify 0 into 0 14.885 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 14.886 * [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 14.886 * [backup-simplify]: Simplify 0 into 0 14.887 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 y))) into (* (sqrt 3) y) 14.887 * [backup-simplify]: Simplify (sqrt (* (/ 1 (- y)) (* (/ 1 (- y)) 3))) into (/ (sqrt 3) y) 14.887 * [approximate]: Taking taylor expansion of (/ (sqrt 3) y) in (y) around 0 14.887 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 14.887 * [taylor]: Taking taylor expansion of (sqrt 3) in y 14.887 * [taylor]: Taking taylor expansion of 3 in y 14.887 * [backup-simplify]: Simplify 3 into 3 14.887 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 14.888 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 14.888 * [taylor]: Taking taylor expansion of y in y 14.888 * [backup-simplify]: Simplify 0 into 0 14.888 * [backup-simplify]: Simplify 1 into 1 14.889 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 14.889 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 14.889 * [taylor]: Taking taylor expansion of (sqrt 3) in y 14.889 * [taylor]: Taking taylor expansion of 3 in y 14.889 * [backup-simplify]: Simplify 3 into 3 14.890 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 14.891 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 14.891 * [taylor]: Taking taylor expansion of y in y 14.891 * [backup-simplify]: Simplify 0 into 0 14.891 * [backup-simplify]: Simplify 1 into 1 14.892 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 14.892 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 14.893 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0 14.893 * [backup-simplify]: Simplify 0 into 0 14.895 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 14.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.896 * [backup-simplify]: Simplify 0 into 0 14.897 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 14.898 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.899 * [backup-simplify]: Simplify 0 into 0 14.900 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 14.901 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.902 * [backup-simplify]: Simplify 0 into 0 14.903 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 14.904 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.904 * [backup-simplify]: Simplify 0 into 0 14.906 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 14.987 * [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 14.988 * [backup-simplify]: Simplify 0 into 0 14.998 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 (- y)))) into (* -1 (* (sqrt 3) y)) 14.999 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1) 14.999 * [backup-simplify]: Simplify (sqrt (* y (* y 3))) into (* (sqrt 3) y) 14.999 * [approximate]: Taking taylor expansion of (* (sqrt 3) y) in (y) around 0 14.999 * [taylor]: Taking taylor expansion of (* (sqrt 3) y) in y 14.999 * [taylor]: Taking taylor expansion of (sqrt 3) in y 14.999 * [taylor]: Taking taylor expansion of 3 in y 14.999 * [backup-simplify]: Simplify 3 into 3 15.001 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 15.002 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 15.002 * [taylor]: Taking taylor expansion of y in y 15.002 * [backup-simplify]: Simplify 0 into 0 15.002 * [backup-simplify]: Simplify 1 into 1 15.002 * [taylor]: Taking taylor expansion of (* (sqrt 3) y) in y 15.002 * [taylor]: Taking taylor expansion of (sqrt 3) in y 15.002 * [taylor]: Taking taylor expansion of 3 in y 15.002 * [backup-simplify]: Simplify 3 into 3 15.003 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 15.004 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 15.004 * [taylor]: Taking taylor expansion of y in y 15.004 * [backup-simplify]: Simplify 0 into 0 15.004 * [backup-simplify]: Simplify 1 into 1 15.005 * [backup-simplify]: Simplify (* (sqrt 3) 0) into 0 15.005 * [backup-simplify]: Simplify 0 into 0 15.007 * [backup-simplify]: Simplify (+ (* (sqrt 3) 1) (* 0 0)) into (sqrt 3) 15.008 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 15.009 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 15.010 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 1) (* 0 0))) into 0 15.010 * [backup-simplify]: Simplify 0 into 0 15.011 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.011 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 15.011 * [backup-simplify]: Simplify 0 into 0 15.012 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.014 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 15.014 * [backup-simplify]: Simplify 0 into 0 15.015 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.016 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 15.016 * [backup-simplify]: Simplify 0 into 0 15.018 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.020 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 15.020 * [backup-simplify]: Simplify 0 into 0 15.021 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.023 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 15.023 * [backup-simplify]: Simplify 0 into 0 15.024 * [backup-simplify]: Simplify (* (sqrt 3) y) into (* (sqrt 3) y) 15.024 * [backup-simplify]: Simplify (sqrt (* (/ 1 y) (* (/ 1 y) 3))) into (/ (sqrt 3) y) 15.024 * [approximate]: Taking taylor expansion of (/ (sqrt 3) y) in (y) around 0 15.024 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 15.024 * [taylor]: Taking taylor expansion of (sqrt 3) in y 15.024 * [taylor]: Taking taylor expansion of 3 in y 15.024 * [backup-simplify]: Simplify 3 into 3 15.024 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 15.025 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 15.025 * [taylor]: Taking taylor expansion of y in y 15.025 * [backup-simplify]: Simplify 0 into 0 15.025 * [backup-simplify]: Simplify 1 into 1 15.026 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 15.027 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 15.027 * [taylor]: Taking taylor expansion of (sqrt 3) in y 15.027 * [taylor]: Taking taylor expansion of 3 in y 15.027 * [backup-simplify]: Simplify 3 into 3 15.027 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 15.028 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 15.028 * [taylor]: Taking taylor expansion of y in y 15.028 * [backup-simplify]: Simplify 0 into 0 15.028 * [backup-simplify]: Simplify 1 into 1 15.029 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 15.029 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 15.030 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0 15.030 * [backup-simplify]: Simplify 0 into 0 15.032 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 15.033 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.033 * [backup-simplify]: Simplify 0 into 0 15.034 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.035 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.035 * [backup-simplify]: Simplify 0 into 0 15.037 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.038 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.038 * [backup-simplify]: Simplify 0 into 0 15.040 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.041 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.041 * [backup-simplify]: Simplify 0 into 0 15.043 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.045 * [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 15.045 * [backup-simplify]: Simplify 0 into 0 15.045 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 y))) into (* (sqrt 3) y) 15.046 * [backup-simplify]: Simplify (sqrt (* (/ 1 (- y)) (* (/ 1 (- y)) 3))) into (/ (sqrt 3) y) 15.046 * [approximate]: Taking taylor expansion of (/ (sqrt 3) y) in (y) around 0 15.046 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 15.046 * [taylor]: Taking taylor expansion of (sqrt 3) in y 15.046 * [taylor]: Taking taylor expansion of 3 in y 15.046 * [backup-simplify]: Simplify 3 into 3 15.046 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 15.047 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 15.047 * [taylor]: Taking taylor expansion of y in y 15.047 * [backup-simplify]: Simplify 0 into 0 15.047 * [backup-simplify]: Simplify 1 into 1 15.048 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 15.048 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 15.048 * [taylor]: Taking taylor expansion of (sqrt 3) in y 15.048 * [taylor]: Taking taylor expansion of 3 in y 15.048 * [backup-simplify]: Simplify 3 into 3 15.049 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 15.050 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 15.050 * [taylor]: Taking taylor expansion of y in y 15.050 * [backup-simplify]: Simplify 0 into 0 15.050 * [backup-simplify]: Simplify 1 into 1 15.051 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 15.051 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 15.053 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0 15.053 * [backup-simplify]: Simplify 0 into 0 15.054 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 15.055 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.055 * [backup-simplify]: Simplify 0 into 0 15.057 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.058 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.058 * [backup-simplify]: Simplify 0 into 0 15.060 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.061 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.061 * [backup-simplify]: Simplify 0 into 0 15.063 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.064 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.064 * [backup-simplify]: Simplify 0 into 0 15.065 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.066 * [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 15.066 * [backup-simplify]: Simplify 0 into 0 15.067 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 (- y)))) into (* -1 (* (sqrt 3) y)) 15.067 * * * * [progress]: [ 3 / 4 ] generating series at (2 3) 15.067 * [backup-simplify]: Simplify (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3)))) into (* (pow (sqrt 3) 2) (pow y 2)) 15.067 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow y 2)) in (y) around 0 15.067 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow y 2)) in y 15.067 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 15.067 * [taylor]: Taking taylor expansion of (sqrt 3) in y 15.067 * [taylor]: Taking taylor expansion of 3 in y 15.067 * [backup-simplify]: Simplify 3 into 3 15.068 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 15.068 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 15.069 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.069 * [taylor]: Taking taylor expansion of y in y 15.069 * [backup-simplify]: Simplify 0 into 0 15.069 * [backup-simplify]: Simplify 1 into 1 15.069 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow y 2)) in y 15.069 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 15.069 * [taylor]: Taking taylor expansion of (sqrt 3) in y 15.069 * [taylor]: Taking taylor expansion of 3 in y 15.069 * [backup-simplify]: Simplify 3 into 3 15.069 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 15.070 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 15.070 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.070 * [taylor]: Taking taylor expansion of y in y 15.070 * [backup-simplify]: Simplify 0 into 0 15.070 * [backup-simplify]: Simplify 1 into 1 15.071 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2) 15.072 * [backup-simplify]: Simplify (* 1 1) into 1 15.073 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2) 15.075 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2) 15.075 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.076 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0 15.077 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (* 0 1)) into 0 15.077 * [backup-simplify]: Simplify 0 into 0 15.078 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.079 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 15.080 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0 15.081 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (* 0 1))) into 0 15.081 * [backup-simplify]: Simplify 0 into 0 15.082 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.083 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.084 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0 15.086 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.086 * [backup-simplify]: Simplify 0 into 0 15.087 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.088 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.092 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0 15.093 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.093 * [backup-simplify]: Simplify 0 into 0 15.094 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.096 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.098 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0 15.100 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.100 * [backup-simplify]: Simplify 0 into 0 15.101 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.103 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.104 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0 15.106 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.106 * [backup-simplify]: Simplify 0 into 0 15.107 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow y 2)) into (* (pow (sqrt 3) 2) (pow y 2)) 15.107 * [backup-simplify]: Simplify (* (sqrt (* (/ 1 y) (* (/ 1 y) 3))) (sqrt (* (/ 1 y) (* (/ 1 y) 3)))) into (/ (pow (sqrt 3) 2) (pow y 2)) 15.107 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow y 2)) in (y) around 0 15.107 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow y 2)) in y 15.107 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 15.107 * [taylor]: Taking taylor expansion of (sqrt 3) in y 15.107 * [taylor]: Taking taylor expansion of 3 in y 15.107 * [backup-simplify]: Simplify 3 into 3 15.108 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 15.108 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 15.108 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.108 * [taylor]: Taking taylor expansion of y in y 15.108 * [backup-simplify]: Simplify 0 into 0 15.109 * [backup-simplify]: Simplify 1 into 1 15.110 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2) 15.110 * [backup-simplify]: Simplify (* 1 1) into 1 15.112 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2) 15.112 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow y 2)) in y 15.112 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 15.112 * [taylor]: Taking taylor expansion of (sqrt 3) in y 15.112 * [taylor]: Taking taylor expansion of 3 in y 15.112 * [backup-simplify]: Simplify 3 into 3 15.112 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 15.113 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 15.113 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.113 * [taylor]: Taking taylor expansion of y in y 15.113 * [backup-simplify]: Simplify 0 into 0 15.113 * [backup-simplify]: Simplify 1 into 1 15.114 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2) 15.114 * [backup-simplify]: Simplify (* 1 1) into 1 15.116 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2) 15.117 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2) 15.118 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0 15.119 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.121 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)))) into 0 15.121 * [backup-simplify]: Simplify 0 into 0 15.123 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 15.124 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0 15.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.127 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.127 * [backup-simplify]: Simplify 0 into 0 15.128 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.130 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0 15.131 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.133 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.133 * [backup-simplify]: Simplify 0 into 0 15.134 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.136 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0 15.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.139 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.139 * [backup-simplify]: Simplify 0 into 0 15.141 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.143 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0 15.145 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.146 * [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 15.146 * [backup-simplify]: Simplify 0 into 0 15.148 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.150 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0 15.152 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.155 * [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 15.155 * [backup-simplify]: Simplify 0 into 0 15.468 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow (/ 1 (/ 1 y)) 2)) into (* (pow (sqrt 3) 2) (pow y 2)) 15.469 * [backup-simplify]: Simplify (* (sqrt (* (/ 1 (- y)) (* (/ 1 (- y)) 3))) (sqrt (* (/ 1 (- y)) (* (/ 1 (- y)) 3)))) into (/ (pow (sqrt 3) 2) (pow y 2)) 15.471 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow y 2)) in (y) around 0 15.471 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow y 2)) in y 15.471 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 15.471 * [taylor]: Taking taylor expansion of (sqrt 3) in y 15.471 * [taylor]: Taking taylor expansion of 3 in y 15.471 * [backup-simplify]: Simplify 3 into 3 15.472 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 15.473 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 15.473 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.473 * [taylor]: Taking taylor expansion of y in y 15.473 * [backup-simplify]: Simplify 0 into 0 15.473 * [backup-simplify]: Simplify 1 into 1 15.474 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2) 15.474 * [backup-simplify]: Simplify (* 1 1) into 1 15.476 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2) 15.476 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow y 2)) in y 15.476 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 15.476 * [taylor]: Taking taylor expansion of (sqrt 3) in y 15.476 * [taylor]: Taking taylor expansion of 3 in y 15.476 * [backup-simplify]: Simplify 3 into 3 15.476 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 15.477 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 15.477 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.477 * [taylor]: Taking taylor expansion of y in y 15.477 * [backup-simplify]: Simplify 0 into 0 15.477 * [backup-simplify]: Simplify 1 into 1 15.479 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2) 15.479 * [backup-simplify]: Simplify (* 1 1) into 1 15.480 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2) 15.483 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2) 15.484 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0 15.484 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.485 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)))) into 0 15.486 * [backup-simplify]: Simplify 0 into 0 15.487 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 15.488 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0 15.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.490 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.490 * [backup-simplify]: Simplify 0 into 0 15.495 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.497 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0 15.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.499 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.499 * [backup-simplify]: Simplify 0 into 0 15.501 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.502 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0 15.503 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.505 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.505 * [backup-simplify]: Simplify 0 into 0 15.507 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.508 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0 15.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.516 * [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 15.517 * [backup-simplify]: Simplify 0 into 0 15.518 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 15.525 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0 15.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.528 * [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 15.528 * [backup-simplify]: Simplify 0 into 0 15.536 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow (/ 1 (/ 1 (- y))) 2)) into (* (pow (sqrt 3) 2) (pow y 2)) 15.536 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 2 1) 15.536 * [backup-simplify]: Simplify (* y (* y 3)) into (* 3 (pow y 2)) 15.536 * [approximate]: Taking taylor expansion of (* 3 (pow y 2)) in (y) around 0 15.536 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 15.536 * [taylor]: Taking taylor expansion of 3 in y 15.536 * [backup-simplify]: Simplify 3 into 3 15.536 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.536 * [taylor]: Taking taylor expansion of y in y 15.536 * [backup-simplify]: Simplify 0 into 0 15.536 * [backup-simplify]: Simplify 1 into 1 15.536 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 15.536 * [taylor]: Taking taylor expansion of 3 in y 15.536 * [backup-simplify]: Simplify 3 into 3 15.536 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.536 * [taylor]: Taking taylor expansion of y in y 15.536 * [backup-simplify]: Simplify 0 into 0 15.536 * [backup-simplify]: Simplify 1 into 1 15.537 * [backup-simplify]: Simplify (* 1 1) into 1 15.537 * [backup-simplify]: Simplify (* 3 1) into 3 15.537 * [backup-simplify]: Simplify 3 into 3 15.538 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.539 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 15.539 * [backup-simplify]: Simplify 0 into 0 15.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.541 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 15.541 * [backup-simplify]: Simplify 0 into 0 15.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.544 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.544 * [backup-simplify]: Simplify 0 into 0 15.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.546 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.546 * [backup-simplify]: Simplify 0 into 0 15.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.549 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.550 * [backup-simplify]: Simplify 0 into 0 15.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.555 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.555 * [backup-simplify]: Simplify 0 into 0 15.555 * [backup-simplify]: Simplify (* 3 (pow y 2)) into (* 3 (pow y 2)) 15.555 * [backup-simplify]: Simplify (* (/ 1 y) (* (/ 1 y) 3)) into (/ 3 (pow y 2)) 15.556 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0 15.556 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 15.556 * [taylor]: Taking taylor expansion of 3 in y 15.556 * [backup-simplify]: Simplify 3 into 3 15.556 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.556 * [taylor]: Taking taylor expansion of y in y 15.556 * [backup-simplify]: Simplify 0 into 0 15.556 * [backup-simplify]: Simplify 1 into 1 15.556 * [backup-simplify]: Simplify (* 1 1) into 1 15.560 * [backup-simplify]: Simplify (/ 3 1) into 3 15.560 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 15.560 * [taylor]: Taking taylor expansion of 3 in y 15.560 * [backup-simplify]: Simplify 3 into 3 15.560 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.560 * [taylor]: Taking taylor expansion of y in y 15.560 * [backup-simplify]: Simplify 0 into 0 15.560 * [backup-simplify]: Simplify 1 into 1 15.561 * [backup-simplify]: Simplify (* 1 1) into 1 15.561 * [backup-simplify]: Simplify (/ 3 1) into 3 15.562 * [backup-simplify]: Simplify 3 into 3 15.562 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.563 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 15.563 * [backup-simplify]: Simplify 0 into 0 15.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.565 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.565 * [backup-simplify]: Simplify 0 into 0 15.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.574 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.574 * [backup-simplify]: Simplify 0 into 0 15.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.577 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.577 * [backup-simplify]: Simplify 0 into 0 15.581 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.582 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.582 * [backup-simplify]: Simplify 0 into 0 15.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.586 * [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 15.586 * [backup-simplify]: Simplify 0 into 0 15.586 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 y)) 2)) into (* 3 (pow y 2)) 15.586 * [backup-simplify]: Simplify (* (/ 1 (- y)) (* (/ 1 (- y)) 3)) into (/ 3 (pow y 2)) 15.586 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0 15.586 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 15.587 * [taylor]: Taking taylor expansion of 3 in y 15.587 * [backup-simplify]: Simplify 3 into 3 15.587 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.587 * [taylor]: Taking taylor expansion of y in y 15.587 * [backup-simplify]: Simplify 0 into 0 15.587 * [backup-simplify]: Simplify 1 into 1 15.587 * [backup-simplify]: Simplify (* 1 1) into 1 15.588 * [backup-simplify]: Simplify (/ 3 1) into 3 15.588 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 15.588 * [taylor]: Taking taylor expansion of 3 in y 15.588 * [backup-simplify]: Simplify 3 into 3 15.588 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.588 * [taylor]: Taking taylor expansion of y in y 15.588 * [backup-simplify]: Simplify 0 into 0 15.588 * [backup-simplify]: Simplify 1 into 1 15.588 * [backup-simplify]: Simplify (* 1 1) into 1 15.588 * [backup-simplify]: Simplify (/ 3 1) into 3 15.589 * [backup-simplify]: Simplify 3 into 3 15.589 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.590 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 15.590 * [backup-simplify]: Simplify 0 into 0 15.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.592 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.592 * [backup-simplify]: Simplify 0 into 0 15.593 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.595 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.595 * [backup-simplify]: Simplify 0 into 0 15.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.597 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.597 * [backup-simplify]: Simplify 0 into 0 15.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.599 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.599 * [backup-simplify]: Simplify 0 into 0 15.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.602 * [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 15.602 * [backup-simplify]: Simplify 0 into 0 15.602 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- y))) 2)) into (* 3 (pow y 2)) 15.602 * * * [progress]: simplifying candidates 15.649 * [simplify]: Simplifying: (expm1 (sqrt (* y (* y 3)))) (log1p (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)))) (expm1 (sqrt (* y (* y 3)))) (log1p (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)))) (expm1 (* (sqrt (* y (* y 3))) (sqrt (* y (* y 3))))) (log1p (* (sqrt (* y (* y 3))) (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)))) (expm1 (* y (* y 3))) (log1p (* 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)) 15.652 * * [simplify]: iteration 0: 85 enodes 15.727 * * [simplify]: iteration 1: 209 enodes 16.245 * * [simplify]: iteration 2: 551 enodes 18.627 * * [simplify]: iteration 3: 2149 enodes 28.323 * * [simplify]: iteration complete: 5001 enodes 28.323 * * [simplify]: Extracting #0: cost 35 inf + 0 28.336 * * [simplify]: Extracting #1: cost 563 inf + 45 28.379 * * [simplify]: Extracting #2: cost 1264 inf + 11001 28.595 * * [simplify]: Extracting #3: cost 1218 inf + 60030 28.683 * * [simplify]: Extracting #4: cost 718 inf + 170041 29.075 * * [simplify]: Extracting #5: cost 115 inf + 355298 29.257 * * [simplify]: Extracting #6: cost 0 inf + 396041 29.583 * [simplify]: Simplified to: (expm1 (sqrt (* (* 3 y) y))) (log1p (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))) (* (sqrt (* (* 3 y) y)) (* (* 3 y) y)) (sqrt y) (sqrt (* y 3)) 1/2 1/2 1/2 (sqrt (sqrt (* (* 3 y) y))) (sqrt (sqrt (* (* 3 y) y))) (expm1 (sqrt (* (* 3 y) y))) (log1p (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))) (* (sqrt (* (* 3 y) y)) (* (* 3 y) y)) (sqrt y) (sqrt (* y 3)) 1/2 1/2 1/2 (sqrt (sqrt (* (* 3 y) y))) (sqrt (sqrt (* (* 3 y) y))) (expm1 (* (* 3 y) y)) (log1p (* (* 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)) (* 27 (* (* (* y y) y) (* (* y y) y))) (* (cbrt (* (* 3 y) y)) (cbrt (* (* 3 y) y))) (cbrt (* (* 3 y) y)) (* 27 (* (* (* y y) y) (* (* y y) y))) (* (* (* y y) (* y y)) 9) (sqrt (* (* 3 y) y)) (sqrt (* (* 3 y) y)) (* (cbrt (sqrt (* (* 3 y) y))) (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 (* (* (cbrt (sqrt (* (* 3 y) y))) (sqrt (* (* 3 y) y))) (cbrt (sqrt (* (* 3 y) y)))) (* (sqrt y) (sqrt (* (* 3 y) y))) (* (sqrt (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 (* (* 3 y) y))) (* (sqrt (sqrt (* (* 3 y) y))) (sqrt (* (* 3 y) y))) (* (* 3 y) y) (expm1 (* (* 3 y) y)) (log1p (* (* 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)) (* 27 (* (* (* y y) y) (* (* y y) y))) (* 27 (* (* (* y y) y) (* (* y y) y))) (* (cbrt (* (* 3 y) y)) (cbrt (* (* 3 y) y))) (cbrt (* (* 3 y) y)) (* 27 (* (* (* y y) y) (* (* y y) y))) (sqrt (* (* 3 y) y)) (sqrt (* (* 3 y) y)) (* y y) (* (* y 3) (cbrt y)) (* (* y 3) (sqrt y)) (* (* 3 y) y) (* (sqrt 3) y) (* (sqrt 3) y) (* y (- (sqrt 3))) (* (sqrt 3) y) (* (sqrt 3) y) (* y (- (sqrt 3))) (* (* 3 y) y) (* (* 3 y) y) (* (* 3 y) y) (* (* 3 y) y) (* (* 3 y) y) (* (* 3 y) y) 29.653 * * * [progress]: adding candidates to table 30.690 * * [progress]: iteration 4 / 4 30.690 * * * [progress]: picking best candidate 30.728 * * * * [pick]: Picked # 30.742 * * * [progress]: localizing error 30.802 * * * [progress]: generating rewritten candidates 30.802 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2 1) 30.832 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1 2 1) 30.860 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 1) 30.882 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3) 32.513 * * * [progress]: generating series expansions 32.518 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2 1) 32.519 * [backup-simplify]: Simplify (sqrt (* y (* y 3))) into (* (sqrt 3) y) 32.519 * [approximate]: Taking taylor expansion of (* (sqrt 3) y) in (y) around 0 32.519 * [taylor]: Taking taylor expansion of (* (sqrt 3) y) in y 32.519 * [taylor]: Taking taylor expansion of (sqrt 3) in y 32.519 * [taylor]: Taking taylor expansion of 3 in y 32.519 * [backup-simplify]: Simplify 3 into 3 32.545 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 32.546 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 32.546 * [taylor]: Taking taylor expansion of y in y 32.547 * [backup-simplify]: Simplify 0 into 0 32.547 * [backup-simplify]: Simplify 1 into 1 32.547 * [taylor]: Taking taylor expansion of (* (sqrt 3) y) in y 32.547 * [taylor]: Taking taylor expansion of (sqrt 3) in y 32.547 * [taylor]: Taking taylor expansion of 3 in y 32.547 * [backup-simplify]: Simplify 3 into 3 32.547 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 32.548 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 32.548 * [taylor]: Taking taylor expansion of y in y 32.548 * [backup-simplify]: Simplify 0 into 0 32.548 * [backup-simplify]: Simplify 1 into 1 32.553 * [backup-simplify]: Simplify (* (sqrt 3) 0) into 0 32.553 * [backup-simplify]: Simplify 0 into 0 32.557 * [backup-simplify]: Simplify (+ (* (sqrt 3) 1) (* 0 0)) into (sqrt 3) 32.557 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 32.559 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 32.560 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 1) (* 0 0))) into 0 32.560 * [backup-simplify]: Simplify 0 into 0 32.561 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.563 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 32.563 * [backup-simplify]: Simplify 0 into 0 32.565 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.566 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 32.566 * [backup-simplify]: Simplify 0 into 0 32.568 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.570 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 32.570 * [backup-simplify]: Simplify 0 into 0 32.572 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.574 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 32.574 * [backup-simplify]: Simplify 0 into 0 32.576 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.583 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 32.583 * [backup-simplify]: Simplify 0 into 0 32.584 * [backup-simplify]: Simplify (* (sqrt 3) y) into (* (sqrt 3) y) 32.584 * [backup-simplify]: Simplify (sqrt (* (/ 1 y) (* (/ 1 y) 3))) into (/ (sqrt 3) y) 32.584 * [approximate]: Taking taylor expansion of (/ (sqrt 3) y) in (y) around 0 32.584 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 32.584 * [taylor]: Taking taylor expansion of (sqrt 3) in y 32.584 * [taylor]: Taking taylor expansion of 3 in y 32.584 * [backup-simplify]: Simplify 3 into 3 32.584 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 32.585 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 32.585 * [taylor]: Taking taylor expansion of y in y 32.585 * [backup-simplify]: Simplify 0 into 0 32.590 * [backup-simplify]: Simplify 1 into 1 32.598 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 32.598 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 32.598 * [taylor]: Taking taylor expansion of (sqrt 3) in y 32.598 * [taylor]: Taking taylor expansion of 3 in y 32.598 * [backup-simplify]: Simplify 3 into 3 32.600 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 32.601 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 32.601 * [taylor]: Taking taylor expansion of y in y 32.601 * [backup-simplify]: Simplify 0 into 0 32.601 * [backup-simplify]: Simplify 1 into 1 32.602 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 32.603 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 32.604 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0 32.604 * [backup-simplify]: Simplify 0 into 0 32.605 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 32.617 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.617 * [backup-simplify]: Simplify 0 into 0 32.623 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.624 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.625 * [backup-simplify]: Simplify 0 into 0 32.626 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.627 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.627 * [backup-simplify]: Simplify 0 into 0 32.629 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.640 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.640 * [backup-simplify]: Simplify 0 into 0 32.642 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.643 * [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 32.643 * [backup-simplify]: Simplify 0 into 0 32.644 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 y))) into (* (sqrt 3) y) 32.644 * [backup-simplify]: Simplify (sqrt (* (/ 1 (- y)) (* (/ 1 (- y)) 3))) into (/ (sqrt 3) y) 32.644 * [approximate]: Taking taylor expansion of (/ (sqrt 3) y) in (y) around 0 32.644 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 32.644 * [taylor]: Taking taylor expansion of (sqrt 3) in y 32.644 * [taylor]: Taking taylor expansion of 3 in y 32.644 * [backup-simplify]: Simplify 3 into 3 32.645 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 32.646 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 32.646 * [taylor]: Taking taylor expansion of y in y 32.646 * [backup-simplify]: Simplify 0 into 0 32.646 * [backup-simplify]: Simplify 1 into 1 32.647 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 32.647 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 32.647 * [taylor]: Taking taylor expansion of (sqrt 3) in y 32.647 * [taylor]: Taking taylor expansion of 3 in y 32.647 * [backup-simplify]: Simplify 3 into 3 32.647 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 32.648 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 32.648 * [taylor]: Taking taylor expansion of y in y 32.648 * [backup-simplify]: Simplify 0 into 0 32.648 * [backup-simplify]: Simplify 1 into 1 32.649 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 32.650 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 32.651 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0 32.651 * [backup-simplify]: Simplify 0 into 0 32.652 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 32.654 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.654 * [backup-simplify]: Simplify 0 into 0 32.655 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.656 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.656 * [backup-simplify]: Simplify 0 into 0 32.658 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.659 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.660 * [backup-simplify]: Simplify 0 into 0 32.661 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.663 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.663 * [backup-simplify]: Simplify 0 into 0 32.664 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.666 * [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 32.666 * [backup-simplify]: Simplify 0 into 0 32.667 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 (- y)))) into (* -1 (* (sqrt 3) y)) 32.667 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1 2 1) 32.667 * [backup-simplify]: Simplify (sqrt (* y (* y 3))) into (* (sqrt 3) y) 32.667 * [approximate]: Taking taylor expansion of (* (sqrt 3) y) in (y) around 0 32.667 * [taylor]: Taking taylor expansion of (* (sqrt 3) y) in y 32.667 * [taylor]: Taking taylor expansion of (sqrt 3) in y 32.667 * [taylor]: Taking taylor expansion of 3 in y 32.667 * [backup-simplify]: Simplify 3 into 3 32.668 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 32.678 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 32.678 * [taylor]: Taking taylor expansion of y in y 32.678 * [backup-simplify]: Simplify 0 into 0 32.678 * [backup-simplify]: Simplify 1 into 1 32.678 * [taylor]: Taking taylor expansion of (* (sqrt 3) y) in y 32.678 * [taylor]: Taking taylor expansion of (sqrt 3) in y 32.678 * [taylor]: Taking taylor expansion of 3 in y 32.678 * [backup-simplify]: Simplify 3 into 3 32.679 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 32.679 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 32.679 * [taylor]: Taking taylor expansion of y in y 32.679 * [backup-simplify]: Simplify 0 into 0 32.679 * [backup-simplify]: Simplify 1 into 1 32.680 * [backup-simplify]: Simplify (* (sqrt 3) 0) into 0 32.680 * [backup-simplify]: Simplify 0 into 0 32.682 * [backup-simplify]: Simplify (+ (* (sqrt 3) 1) (* 0 0)) into (sqrt 3) 32.683 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 32.684 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 32.685 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 1) (* 0 0))) into 0 32.685 * [backup-simplify]: Simplify 0 into 0 32.686 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.688 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 32.688 * [backup-simplify]: Simplify 0 into 0 32.689 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.691 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 32.691 * [backup-simplify]: Simplify 0 into 0 32.693 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.697 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 32.698 * [backup-simplify]: Simplify 0 into 0 32.699 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.701 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 32.702 * [backup-simplify]: Simplify 0 into 0 32.703 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.705 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 32.705 * [backup-simplify]: Simplify 0 into 0 32.706 * [backup-simplify]: Simplify (* (sqrt 3) y) into (* (sqrt 3) y) 32.706 * [backup-simplify]: Simplify (sqrt (* (/ 1 y) (* (/ 1 y) 3))) into (/ (sqrt 3) y) 32.706 * [approximate]: Taking taylor expansion of (/ (sqrt 3) y) in (y) around 0 32.706 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 32.706 * [taylor]: Taking taylor expansion of (sqrt 3) in y 32.706 * [taylor]: Taking taylor expansion of 3 in y 32.706 * [backup-simplify]: Simplify 3 into 3 32.707 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 32.707 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 32.707 * [taylor]: Taking taylor expansion of y in y 32.707 * [backup-simplify]: Simplify 0 into 0 32.707 * [backup-simplify]: Simplify 1 into 1 32.708 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 32.708 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 32.708 * [taylor]: Taking taylor expansion of (sqrt 3) in y 32.708 * [taylor]: Taking taylor expansion of 3 in y 32.708 * [backup-simplify]: Simplify 3 into 3 32.709 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 32.710 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 32.710 * [taylor]: Taking taylor expansion of y in y 32.710 * [backup-simplify]: Simplify 0 into 0 32.710 * [backup-simplify]: Simplify 1 into 1 32.711 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 32.711 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 32.714 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0 32.714 * [backup-simplify]: Simplify 0 into 0 32.715 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 32.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.716 * [backup-simplify]: Simplify 0 into 0 32.721 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.723 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.723 * [backup-simplify]: Simplify 0 into 0 32.724 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 32.725 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.725 * [backup-simplify]: Simplify 0 into 0 32.727 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.047 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.048 * [backup-simplify]: Simplify 0 into 0 33.066 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.068 * [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 33.068 * [backup-simplify]: Simplify 0 into 0 33.075 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 y))) into (* (sqrt 3) y) 33.076 * [backup-simplify]: Simplify (sqrt (* (/ 1 (- y)) (* (/ 1 (- y)) 3))) into (/ (sqrt 3) y) 33.076 * [approximate]: Taking taylor expansion of (/ (sqrt 3) y) in (y) around 0 33.076 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 33.076 * [taylor]: Taking taylor expansion of (sqrt 3) in y 33.076 * [taylor]: Taking taylor expansion of 3 in y 33.076 * [backup-simplify]: Simplify 3 into 3 33.077 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 33.077 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 33.077 * [taylor]: Taking taylor expansion of y in y 33.077 * [backup-simplify]: Simplify 0 into 0 33.077 * [backup-simplify]: Simplify 1 into 1 33.078 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 33.078 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 33.078 * [taylor]: Taking taylor expansion of (sqrt 3) in y 33.078 * [taylor]: Taking taylor expansion of 3 in y 33.078 * [backup-simplify]: Simplify 3 into 3 33.079 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 33.079 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 33.079 * [taylor]: Taking taylor expansion of y in y 33.079 * [backup-simplify]: Simplify 0 into 0 33.080 * [backup-simplify]: Simplify 1 into 1 33.080 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 33.081 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 33.088 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0 33.088 * [backup-simplify]: Simplify 0 into 0 33.089 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 33.090 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.090 * [backup-simplify]: Simplify 0 into 0 33.092 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.093 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.093 * [backup-simplify]: Simplify 0 into 0 33.116 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.117 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.117 * [backup-simplify]: Simplify 0 into 0 33.118 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.119 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.120 * [backup-simplify]: Simplify 0 into 0 33.121 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.132 * [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 33.133 * [backup-simplify]: Simplify 0 into 0 33.133 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 (- y)))) into (* -1 (* (sqrt 3) y)) 33.142 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1 1) 33.142 * [backup-simplify]: Simplify (sqrt (* y (* y 3))) into (* (sqrt 3) y) 33.142 * [approximate]: Taking taylor expansion of (* (sqrt 3) y) in (y) around 0 33.142 * [taylor]: Taking taylor expansion of (* (sqrt 3) y) in y 33.142 * [taylor]: Taking taylor expansion of (sqrt 3) in y 33.142 * [taylor]: Taking taylor expansion of 3 in y 33.142 * [backup-simplify]: Simplify 3 into 3 33.143 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 33.144 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 33.144 * [taylor]: Taking taylor expansion of y in y 33.144 * [backup-simplify]: Simplify 0 into 0 33.144 * [backup-simplify]: Simplify 1 into 1 33.144 * [taylor]: Taking taylor expansion of (* (sqrt 3) y) in y 33.144 * [taylor]: Taking taylor expansion of (sqrt 3) in y 33.144 * [taylor]: Taking taylor expansion of 3 in y 33.144 * [backup-simplify]: Simplify 3 into 3 33.145 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 33.148 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 33.148 * [taylor]: Taking taylor expansion of y in y 33.148 * [backup-simplify]: Simplify 0 into 0 33.148 * [backup-simplify]: Simplify 1 into 1 33.149 * [backup-simplify]: Simplify (* (sqrt 3) 0) into 0 33.149 * [backup-simplify]: Simplify 0 into 0 33.151 * [backup-simplify]: Simplify (+ (* (sqrt 3) 1) (* 0 0)) into (sqrt 3) 33.151 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 33.152 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 33.161 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 1) (* 0 0))) into 0 33.162 * [backup-simplify]: Simplify 0 into 0 33.163 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.164 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 33.164 * [backup-simplify]: Simplify 0 into 0 33.166 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.168 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 33.168 * [backup-simplify]: Simplify 0 into 0 33.169 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.174 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 33.174 * [backup-simplify]: Simplify 0 into 0 33.176 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.177 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 33.177 * [backup-simplify]: Simplify 0 into 0 33.179 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.181 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 33.181 * [backup-simplify]: Simplify 0 into 0 33.181 * [backup-simplify]: Simplify (* (sqrt 3) y) into (* (sqrt 3) y) 33.183 * [backup-simplify]: Simplify (sqrt (* (/ 1 y) (* (/ 1 y) 3))) into (/ (sqrt 3) y) 33.183 * [approximate]: Taking taylor expansion of (/ (sqrt 3) y) in (y) around 0 33.183 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 33.183 * [taylor]: Taking taylor expansion of (sqrt 3) in y 33.183 * [taylor]: Taking taylor expansion of 3 in y 33.183 * [backup-simplify]: Simplify 3 into 3 33.183 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 33.184 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 33.184 * [taylor]: Taking taylor expansion of y in y 33.184 * [backup-simplify]: Simplify 0 into 0 33.184 * [backup-simplify]: Simplify 1 into 1 33.185 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 33.185 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 33.185 * [taylor]: Taking taylor expansion of (sqrt 3) in y 33.185 * [taylor]: Taking taylor expansion of 3 in y 33.185 * [backup-simplify]: Simplify 3 into 3 33.185 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 33.186 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 33.186 * [taylor]: Taking taylor expansion of y in y 33.186 * [backup-simplify]: Simplify 0 into 0 33.187 * [backup-simplify]: Simplify 1 into 1 33.187 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 33.188 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 33.189 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0 33.189 * [backup-simplify]: Simplify 0 into 0 33.190 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 33.191 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.191 * [backup-simplify]: Simplify 0 into 0 33.193 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.194 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.194 * [backup-simplify]: Simplify 0 into 0 33.195 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.196 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.196 * [backup-simplify]: Simplify 0 into 0 33.198 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.199 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.199 * [backup-simplify]: Simplify 0 into 0 33.209 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.211 * [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 33.211 * [backup-simplify]: Simplify 0 into 0 33.211 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 y))) into (* (sqrt 3) y) 33.212 * [backup-simplify]: Simplify (sqrt (* (/ 1 (- y)) (* (/ 1 (- y)) 3))) into (/ (sqrt 3) y) 33.212 * [approximate]: Taking taylor expansion of (/ (sqrt 3) y) in (y) around 0 33.212 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 33.212 * [taylor]: Taking taylor expansion of (sqrt 3) in y 33.212 * [taylor]: Taking taylor expansion of 3 in y 33.212 * [backup-simplify]: Simplify 3 into 3 33.212 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 33.213 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 33.213 * [taylor]: Taking taylor expansion of y in y 33.213 * [backup-simplify]: Simplify 0 into 0 33.213 * [backup-simplify]: Simplify 1 into 1 33.214 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 33.214 * [taylor]: Taking taylor expansion of (/ (sqrt 3) y) in y 33.214 * [taylor]: Taking taylor expansion of (sqrt 3) in y 33.214 * [taylor]: Taking taylor expansion of 3 in y 33.214 * [backup-simplify]: Simplify 3 into 3 33.215 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 33.215 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 33.215 * [taylor]: Taking taylor expansion of y in y 33.215 * [backup-simplify]: Simplify 0 into 0 33.215 * [backup-simplify]: Simplify 1 into 1 33.216 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3) 33.217 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 33.226 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0 33.226 * [backup-simplify]: Simplify 0 into 0 33.227 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 33.229 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.229 * [backup-simplify]: Simplify 0 into 0 33.230 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.231 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.231 * [backup-simplify]: Simplify 0 into 0 33.233 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.242 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.242 * [backup-simplify]: Simplify 0 into 0 33.244 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.245 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.245 * [backup-simplify]: Simplify 0 into 0 33.247 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.248 * [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 33.248 * [backup-simplify]: Simplify 0 into 0 33.248 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 (- y)))) into (* -1 (* (sqrt 3) y)) 33.248 * * * * [progress]: [ 4 / 4 ] generating series at (2 3) 33.249 * [backup-simplify]: Simplify (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (sqrt (sqrt (* y (* y 3))))) into (* (pow (sqrt 3) 2) (pow y 2)) 33.249 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow y 2)) in (y) around 0 33.249 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow y 2)) in y 33.249 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 33.249 * [taylor]: Taking taylor expansion of (sqrt 3) in y 33.249 * [taylor]: Taking taylor expansion of 3 in y 33.249 * [backup-simplify]: Simplify 3 into 3 33.250 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 33.251 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 33.251 * [taylor]: Taking taylor expansion of (pow y 2) in y 33.251 * [taylor]: Taking taylor expansion of y in y 33.251 * [backup-simplify]: Simplify 0 into 0 33.251 * [backup-simplify]: Simplify 1 into 1 33.251 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow y 2)) in y 33.251 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 33.251 * [taylor]: Taking taylor expansion of (sqrt 3) in y 33.251 * [taylor]: Taking taylor expansion of 3 in y 33.251 * [backup-simplify]: Simplify 3 into 3 33.252 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 33.253 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 33.253 * [taylor]: Taking taylor expansion of (pow y 2) in y 33.253 * [taylor]: Taking taylor expansion of y in y 33.253 * [backup-simplify]: Simplify 0 into 0 33.253 * [backup-simplify]: Simplify 1 into 1 33.254 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2) 33.255 * [backup-simplify]: Simplify (* 1 1) into 1 33.257 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2) 33.258 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2) 33.259 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.259 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0 33.261 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (* 0 1)) into 0 33.261 * [backup-simplify]: Simplify 0 into 0 33.262 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.263 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 33.264 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0 33.265 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (* 0 1))) into 0 33.265 * [backup-simplify]: Simplify 0 into 0 33.267 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.268 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.269 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0 33.271 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.271 * [backup-simplify]: Simplify 0 into 0 33.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.274 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.275 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0 33.282 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.282 * [backup-simplify]: Simplify 0 into 0 33.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.286 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.288 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0 33.290 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.290 * [backup-simplify]: Simplify 0 into 0 33.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.294 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.297 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0 33.299 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.299 * [backup-simplify]: Simplify 0 into 0 33.300 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow y 2)) into (* (pow (sqrt 3) 2) (pow y 2)) 33.301 * [backup-simplify]: Simplify (* (* (sqrt (* (/ 1 y) (* (/ 1 y) 3))) (sqrt (sqrt (* (/ 1 y) (* (/ 1 y) 3))))) (sqrt (sqrt (* (/ 1 y) (* (/ 1 y) 3))))) into (/ (pow (sqrt 3) 2) (pow y 2)) 33.301 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow y 2)) in (y) around 0 33.301 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow y 2)) in y 33.301 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 33.301 * [taylor]: Taking taylor expansion of (sqrt 3) in y 33.301 * [taylor]: Taking taylor expansion of 3 in y 33.301 * [backup-simplify]: Simplify 3 into 3 33.302 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 33.303 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 33.303 * [taylor]: Taking taylor expansion of (pow y 2) in y 33.303 * [taylor]: Taking taylor expansion of y in y 33.303 * [backup-simplify]: Simplify 0 into 0 33.303 * [backup-simplify]: Simplify 1 into 1 33.304 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2) 33.305 * [backup-simplify]: Simplify (* 1 1) into 1 33.311 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2) 33.311 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow y 2)) in y 33.311 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 33.311 * [taylor]: Taking taylor expansion of (sqrt 3) in y 33.311 * [taylor]: Taking taylor expansion of 3 in y 33.311 * [backup-simplify]: Simplify 3 into 3 33.311 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 33.312 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 33.312 * [taylor]: Taking taylor expansion of (pow y 2) in y 33.312 * [taylor]: Taking taylor expansion of y in y 33.312 * [backup-simplify]: Simplify 0 into 0 33.312 * [backup-simplify]: Simplify 1 into 1 33.313 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2) 33.313 * [backup-simplify]: Simplify (* 1 1) into 1 33.315 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2) 33.315 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2) 33.316 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0 33.316 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.317 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)))) into 0 33.317 * [backup-simplify]: Simplify 0 into 0 33.318 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 33.319 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0 33.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.320 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.320 * [backup-simplify]: Simplify 0 into 0 33.438 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.454 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0 33.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.459 * [backup-simplify]: Simplify 0 into 0 33.461 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.463 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0 33.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.466 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.466 * [backup-simplify]: Simplify 0 into 0 33.468 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.469 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0 33.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.472 * [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 33.472 * [backup-simplify]: Simplify 0 into 0 33.474 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.475 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0 33.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.478 * [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 33.478 * [backup-simplify]: Simplify 0 into 0 33.480 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow (/ 1 (/ 1 y)) 2)) into (* (pow (sqrt 3) 2) (pow y 2)) 33.481 * [backup-simplify]: Simplify (* (* (sqrt (* (/ 1 (- y)) (* (/ 1 (- y)) 3))) (sqrt (sqrt (* (/ 1 (- y)) (* (/ 1 (- y)) 3))))) (sqrt (sqrt (* (/ 1 (- y)) (* (/ 1 (- y)) 3))))) into (/ (pow (sqrt 3) 2) (pow y 2)) 33.481 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow y 2)) in (y) around 0 33.481 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow y 2)) in y 33.481 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 33.481 * [taylor]: Taking taylor expansion of (sqrt 3) in y 33.481 * [taylor]: Taking taylor expansion of 3 in y 33.481 * [backup-simplify]: Simplify 3 into 3 33.482 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 33.482 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 33.482 * [taylor]: Taking taylor expansion of (pow y 2) in y 33.482 * [taylor]: Taking taylor expansion of y in y 33.482 * [backup-simplify]: Simplify 0 into 0 33.482 * [backup-simplify]: Simplify 1 into 1 33.484 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2) 33.484 * [backup-simplify]: Simplify (* 1 1) into 1 33.494 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2) 33.494 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow y 2)) in y 33.494 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 33.494 * [taylor]: Taking taylor expansion of (sqrt 3) in y 33.494 * [taylor]: Taking taylor expansion of 3 in y 33.494 * [backup-simplify]: Simplify 3 into 3 33.494 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3) 33.495 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0 33.495 * [taylor]: Taking taylor expansion of (pow y 2) in y 33.495 * [taylor]: Taking taylor expansion of y in y 33.495 * [backup-simplify]: Simplify 0 into 0 33.495 * [backup-simplify]: Simplify 1 into 1 33.496 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2) 33.497 * [backup-simplify]: Simplify (* 1 1) into 1 33.498 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2) 33.499 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2) 33.505 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0 33.506 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.507 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)))) into 0 33.507 * [backup-simplify]: Simplify 0 into 0 33.508 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0 33.510 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0 33.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.512 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.512 * [backup-simplify]: Simplify 0 into 0 33.514 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.515 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0 33.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.518 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.518 * [backup-simplify]: Simplify 0 into 0 33.520 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.521 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0 33.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.524 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.524 * [backup-simplify]: Simplify 0 into 0 33.526 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.527 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0 33.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.532 * [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 33.532 * [backup-simplify]: Simplify 0 into 0 33.533 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0 33.535 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0 33.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.539 * [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 33.539 * [backup-simplify]: Simplify 0 into 0 33.540 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow (/ 1 (/ 1 (- y))) 2)) into (* (pow (sqrt 3) 2) (pow y 2)) 33.541 * * * [progress]: simplifying candidates 33.662 * [simplify]: Simplifying: (expm1 (sqrt (* y (* y 3)))) (log1p (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)))) (expm1 (sqrt (* y (* y 3)))) (log1p (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)))) (expm1 (sqrt (* y (* y 3)))) (log1p (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)))) (expm1 (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (sqrt (sqrt (* y (* y 3)))))) (log1p (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (sqrt (sqrt (* y (* y 3)))))) (+ (+ 1/2 (/ 1/2 2)) (/ 1/2 2)) (+ (+ 1/2 (/ 1/2 2)) (/ (/ 1 2) 2)) (+ (+ 1/2 (/ 1/2 2)) (/ (/ 1 2) 2)) (+ (+ 1/2 (/ 1/2 2)) (/ (/ 1 2) 2)) (+ (+ 1/2 (/ (/ 1 2) 2)) (/ 1/2 2)) (+ (+ 1/2 (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ 1/2 (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ 1/2 (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ 1/2 (/ (/ 1 2) 2)) (/ 1/2 2)) (+ (+ 1/2 (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ 1/2 (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ 1/2 (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ 1/2 (/ (/ 1 2) 2)) (/ 1/2 2)) (+ (+ 1/2 (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ 1/2 (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ 1/2 (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ 1 1/2) 1/2) (+ (+ 1 1/2) (/ 1 2)) (+ (+ 1 (/ 1 2)) 1/2) (+ (+ 1 (/ 1 2)) (/ 1 2)) (+ (+ (/ 1 2) (/ 1/2 2)) (/ 1/2 2)) (+ (+ (/ 1 2) (/ 1/2 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ 1/2 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ 1/2 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ 1/2 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ 1/2 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ 1/2 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ 1/2 2)) (/ 1/2 2)) (+ (+ (/ 1 2) (/ 1/2 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ 1/2 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ 1/2 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ 1/2 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ 1/2 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ 1/2 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ 1/2 2)) (/ 1/2 2)) (+ (+ (/ 1 2) (/ 1/2 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ 1/2 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ 1/2 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ 1/2 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ 1/2 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ 1/2 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ (+ (/ 1 2) (/ (/ 1 2) 2)) (/ (/ 1 2) 2)) (+ 3 1) (* (* (* y (* y 3)) (sqrt (* y (* y 3)))) (sqrt (* y (* y 3)))) (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (sqrt (sqrt (* y (* y 3))))) (* (* (* y (* y 3)) (sqrt (* y (* y 3)))) (sqrt (* y (* y 3)))) (* (* (* y (* y 3)) (sqrt (* y (* y 3)))) (sqrt (* y (* y 3)))) (* (* (* y (* y 3)) (sqrt (* y (* y 3)))) (sqrt (* y (* y 3)))) (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (sqrt (sqrt (* y (* y 3))))) (+ 3 1) (+ (+ (log (sqrt (* y (* y 3)))) (log (sqrt (sqrt (* y (* y 3)))))) (log (sqrt (sqrt (* y (* y 3)))))) (+ (log (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3)))))) (log (sqrt (sqrt (* y (* y 3)))))) (log (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (sqrt (sqrt (* y (* y 3)))))) (exp (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (sqrt (sqrt (* y (* y 3)))))) (* (* (* (* (sqrt (* y (* y 3))) (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)))) (sqrt (sqrt (* y (* y 3))))) (sqrt (sqrt (* y (* y 3)))))) (* (* (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (* (sqrt (* y (* y 3))) (sqrt (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)))))) (* (cbrt (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (sqrt (sqrt (* y (* y 3)))))) (cbrt (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (sqrt (sqrt (* y (* y 3))))))) (cbrt (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (sqrt (sqrt (* y (* y 3)))))) (* (* (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (sqrt (sqrt (* y (* y 3))))) (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (sqrt (sqrt (* y (* y 3)))))) (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (sqrt (sqrt (* y (* y 3)))))) (* (* (* y (* y 3)) (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))) (sqrt (sqrt (* y (* y 3))))) (sqrt (sqrt (* y (* y 3)))))) (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (* (cbrt (sqrt (sqrt (* y (* y 3))))) (cbrt (sqrt (sqrt (* y (* y 3))))))) (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (sqrt (* (cbrt (sqrt (* y (* y 3)))) (cbrt (sqrt (* y (* y 3))))))) (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (sqrt (sqrt y))) (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (sqrt (sqrt (sqrt (* y (* y 3)))))) (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (sqrt 1)) (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) (sqrt (sqrt (sqrt (* y (* y 3)))))) (* (* (sqrt (* y (* y 3))) (sqrt (sqrt (* y (* y 3))))) 1) (* (sqrt (sqrt (* y (* y 3)))) (sqrt (sqrt (* y (* y 3))))) (* (sqrt 3) y) (* (sqrt 3) y) (* -1 (* (sqrt 3) y)) (* (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)) 33.670 * * [simplify]: iteration 0: 85 enodes 33.734 * * [simplify]: iteration 1: 222 enodes 34.316 * * [simplify]: iteration 2: 510 enodes 37.618 * * [simplify]: iteration 3: 1939 enodes 41.083 * * [simplify]: iteration complete: 5071 enodes 41.083 * * [simplify]: Extracting #0: cost 31 inf + 0 41.087 * * [simplify]: Extracting #1: cost 841 inf + 4 41.254 * * [simplify]: Extracting #2: cost 1656 inf + 1570 41.297 * * [simplify]: Extracting #3: cost 1785 inf + 13920 41.351 * * [simplify]: Extracting #4: cost 1676 inf + 39833 41.413 * * [simplify]: Extracting #5: cost 1278 inf + 167764 41.709 * * [simplify]: Extracting #6: cost 207 inf + 523316 42.135 * * [simplify]: Extracting #7: cost 0 inf + 591881 42.618 * [simplify]: Simplified to: (expm1 (sqrt (* y (* 3 y)))) (log1p (sqrt (* y (* 3 y)))) (log (sqrt (* y (* 3 y)))) (exp (sqrt (* y (* 3 y)))) (* (cbrt (sqrt (* y (* 3 y)))) (cbrt (sqrt (* y (* 3 y))))) (cbrt (sqrt (* y (* 3 y)))) (* (sqrt (* y (* 3 y))) (* y (* 3 y))) (sqrt y) (sqrt (* 3 y)) 1/2 1/2 1/2 (sqrt (sqrt (* y (* 3 y)))) (sqrt (sqrt (* y (* 3 y)))) (expm1 (sqrt (* y (* 3 y)))) (log1p (sqrt (* y (* 3 y)))) (log (sqrt (* y (* 3 y)))) (exp (sqrt (* y (* 3 y)))) (* (cbrt (sqrt (* y (* 3 y)))) (cbrt (sqrt (* y (* 3 y))))) (cbrt (sqrt (* y (* 3 y)))) (* (sqrt (* y (* 3 y))) (* y (* 3 y))) (sqrt y) (sqrt (* 3 y)) 1/2 1/2 1/2 (sqrt (sqrt (* y (* 3 y)))) (sqrt (sqrt (* y (* 3 y)))) (expm1 (sqrt (* y (* 3 y)))) (log1p (sqrt (* y (* 3 y)))) (log (sqrt (* y (* 3 y)))) (exp (sqrt (* y (* 3 y)))) (* (cbrt (sqrt (* y (* 3 y)))) (cbrt (sqrt (* y (* 3 y))))) (cbrt (sqrt (* y (* 3 y)))) (* (sqrt (* y (* 3 y))) (* y (* 3 y))) (sqrt y) (sqrt (* 3 y)) 1/2 1/2 1/2 (sqrt (sqrt (* y (* 3 y)))) (sqrt (sqrt (* y (* 3 y)))) (expm1 (* y (* 3 y))) (log1p (* y (* 3 y))) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 4 (* (* (* y y) (* y y)) 9) (* y (* 3 y)) (* (* (* y y) (* y y)) 9) (* (* (* y y) (* y y)) 9) (* (* (* y y) (* y y)) 9) (* y (* 3 y)) 4 (log (* y (* 3 y))) (log (* y (* 3 y))) (log (* y (* 3 y))) (exp (* y (* 3 y))) (* 27 (* (* (* y y) (* y y)) (* y y))) (* 27 (* (* (* y y) (* y y)) (* y y))) (* (cbrt (* y (* 3 y))) (cbrt (* y (* 3 y)))) (cbrt (* y (* 3 y))) (* 27 (* (* (* y y) (* y y)) (* y y))) (* (* (* y y) (* y y)) 9) (sqrt (* y (* 3 y))) (sqrt (* y (* 3 y))) (* (* (sqrt (* y (* 3 y))) (sqrt (sqrt (* y (* 3 y))))) (* (cbrt (sqrt (sqrt (* y (* 3 y))))) (cbrt (sqrt (sqrt (* y (* 3 y))))))) (* (* (sqrt (* y (* 3 y))) (fabs (cbrt (sqrt (* y (* 3 y)))))) (sqrt (sqrt (* y (* 3 y))))) (* (sqrt (* y (* 3 y))) (* (sqrt (sqrt (* y (* 3 y)))) (sqrt (sqrt y)))) (* (* (sqrt (sqrt (sqrt (* y (* 3 y))))) (sqrt (* y (* 3 y)))) (sqrt (sqrt (* y (* 3 y))))) (* (sqrt (* y (* 3 y))) (sqrt (sqrt (* y (* 3 y))))) (* (* (sqrt (sqrt (sqrt (* y (* 3 y))))) (sqrt (* y (* 3 y)))) (sqrt (sqrt (* y (* 3 y))))) (* (sqrt (* y (* 3 y))) (sqrt (sqrt (* y (* 3 y))))) (sqrt (* y (* 3 y))) (* (sqrt 3) y) (* (sqrt 3) y) (* (- (sqrt 3)) y) (* (sqrt 3) y) (* (sqrt 3) y) (* (- (sqrt 3)) y) (* (sqrt 3) y) (* (sqrt 3) y) (* (- (sqrt 3)) y) (* y (* 3 y)) (* y (* 3 y)) (* y (* 3 y)) 42.904 * * * [progress]: adding candidates to table 44.380 * [progress]: [Phase 3 of 3] Extracting. 44.380 * * [regime]: Finding splitpoints for: (# # # # # # #) 44.383 * * * [regime-changes]: Trying 4 branch expressions: ((* y y) (* x x) y x) 44.383 * * * * [regimes]: Trying to branch on (* y y) from (# # # # # # #) 44.487 * * * * [regimes]: Trying to branch on (* x x) from (# # # # # # #) 44.643 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 44.741 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 44.848 * * * [regime]: Found split indices: #