24.165 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.034 * * * [progress]: [2/2] Setting up program. 0.037 * [progress]: [Phase 2 of 3] Improving. 0.037 * [simplify]: Simplifying: (* x (exp (* y y))) 0.037 * * [simplify]: Extracting # 0 : cost 0 0.037 * * [simplify]: Extracting # 1 : cost 0 0.038 * * [simplify]: Extracting # 2 : cost 0 0.038 * * [simplify]: Extracting # 3 : cost 0 0.038 * * [simplify]: Extracting # 4 : cost 0 0.038 * * [simplify]: Extracting # 5 : cost 0 0.038 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.039 * * [simplify]: Extracting # 0 : cost 0 0.039 * * [simplify]: Extracting # 1 : cost 0 0.039 * * [simplify]: Extracting # 2 : cost 0 0.039 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 0.041 * * [simplify]: Extracting # 0 : cost 0 0.041 * * [simplify]: Extracting # 1 : cost 0 0.041 * * [simplify]: Extracting # 2 : cost 0 0.041 * * [simplify]: Extracting # 3 : cost 0 0.041 * * [simplify]: Extracting # 4 : cost 0 0.041 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 0.043 * * [simplify]: Extracting # 0 : cost 0 0.043 * * [simplify]: Extracting # 1 : cost 0 0.043 * * [simplify]: Extracting # 2 : cost 0 0.043 * * [simplify]: Extracting # 3 : cost 0 0.044 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 0.056 * * [simplify]: Extracting # 0 : cost 0 0.056 * * [simplify]: Extracting # 1 : cost 0 0.057 * * [simplify]: Extracting # 2 : cost 0 0.057 * * [simplify]: Extracting # 3 : cost 0 0.057 * * [simplify]: Extracting # 4 : cost 0 0.057 * * [simplify]: iteration 4 : 48 enodes (cost 6 ) 0.073 * * [simplify]: Extracting # 0 : cost 0 0.073 * * [simplify]: Extracting # 1 : cost 0 0.073 * * [simplify]: Extracting # 2 : cost 0 0.074 * * [simplify]: Extracting # 3 : cost 0 0.074 * * [simplify]: Extracting # 4 : cost 0 0.074 * * [simplify]: iteration 5 : 134 enodes (cost 6 ) 0.156 * * [simplify]: Extracting # 0 : cost 0 0.157 * * [simplify]: Extracting # 1 : cost 0 0.158 * * [simplify]: Extracting # 2 : cost 0 0.159 * * [simplify]: Extracting # 3 : cost 0 0.160 * * [simplify]: Extracting # 4 : cost 0 0.160 * * [simplify]: iteration 6 : 677 enodes (cost 6 ) 1.205 * * [simplify]: Extracting # 0 : cost 0 1.221 * * [simplify]: Extracting # 1 : cost 0 1.228 * * [simplify]: Extracting # 2 : cost 0 1.234 * * [simplify]: Extracting # 3 : cost 0 1.240 * * [simplify]: Extracting # 4 : cost 0 1.246 * * [simplify]: Extracting # 5 : cost 0 1.252 * * [simplify]: iteration done: 5000 enodes (cost 6 ) 1.252 * [simplify]: Simplified to: (* x (exp (* y y))) 1.252 * * [progress]: iteration 1 / 4 1.252 * * * [progress]: picking best candidate 1.256 * * * * [pick]: Picked # 1.256 * * * [progress]: localizing error 1.270 * * * [progress]: generating rewritten candidates 1.270 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 1.276 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.293 * * * [progress]: generating series expansions 1.293 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 1.293 * [backup-simplify]: Simplify (exp (* y y)) into (exp (pow y 2)) 1.293 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 1.293 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 1.293 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.293 * [taylor]: Taking taylor expansion of y in y 1.293 * [backup-simplify]: Simplify 0 into 0 1.293 * [backup-simplify]: Simplify 1 into 1 1.294 * [backup-simplify]: Simplify (* 1 1) into 1 1.294 * [backup-simplify]: Simplify (exp 0) into 1 1.294 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 1.294 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.294 * [taylor]: Taking taylor expansion of y in y 1.294 * [backup-simplify]: Simplify 0 into 0 1.294 * [backup-simplify]: Simplify 1 into 1 1.294 * [backup-simplify]: Simplify (* 1 1) into 1 1.294 * [backup-simplify]: Simplify (exp 0) into 1 1.294 * [backup-simplify]: Simplify 1 into 1 1.295 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 1.295 * [backup-simplify]: Simplify 0 into 0 1.296 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1 1.296 * [backup-simplify]: Simplify 1 into 1 1.297 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.298 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.298 * [backup-simplify]: Simplify 0 into 0 1.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.302 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.302 * [backup-simplify]: Simplify 1/2 into 1/2 1.302 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1)) 1.302 * [backup-simplify]: Simplify (exp (* (/ 1 y) (/ 1 y))) into (exp (/ 1 (pow y 2))) 1.302 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 1.302 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.303 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.303 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.303 * [taylor]: Taking taylor expansion of y in y 1.303 * [backup-simplify]: Simplify 0 into 0 1.303 * [backup-simplify]: Simplify 1 into 1 1.303 * [backup-simplify]: Simplify (* 1 1) into 1 1.303 * [backup-simplify]: Simplify (/ 1 1) into 1 1.303 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 1.303 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.303 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.303 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.303 * [taylor]: Taking taylor expansion of y in y 1.304 * [backup-simplify]: Simplify 0 into 0 1.304 * [backup-simplify]: Simplify 1 into 1 1.304 * [backup-simplify]: Simplify (* 1 1) into 1 1.304 * [backup-simplify]: Simplify (/ 1 1) into 1 1.304 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 1.304 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 1.304 * [backup-simplify]: Simplify 0 into 0 1.305 * [backup-simplify]: Simplify 0 into 0 1.305 * [backup-simplify]: Simplify 0 into 0 1.305 * [backup-simplify]: Simplify 0 into 0 1.305 * [backup-simplify]: Simplify 0 into 0 1.305 * [backup-simplify]: Simplify 0 into 0 1.305 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2)) 1.305 * [backup-simplify]: Simplify (exp (* (/ 1 (- y)) (/ 1 (- y)))) into (exp (/ 1 (pow y 2))) 1.305 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 1.305 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.305 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.305 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.305 * [taylor]: Taking taylor expansion of y in y 1.305 * [backup-simplify]: Simplify 0 into 0 1.305 * [backup-simplify]: Simplify 1 into 1 1.305 * [backup-simplify]: Simplify (* 1 1) into 1 1.306 * [backup-simplify]: Simplify (/ 1 1) into 1 1.306 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 1.306 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.306 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.306 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.306 * [taylor]: Taking taylor expansion of y in y 1.306 * [backup-simplify]: Simplify 0 into 0 1.306 * [backup-simplify]: Simplify 1 into 1 1.306 * [backup-simplify]: Simplify (* 1 1) into 1 1.307 * [backup-simplify]: Simplify (/ 1 1) into 1 1.307 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 1.307 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 1.307 * [backup-simplify]: Simplify 0 into 0 1.307 * [backup-simplify]: Simplify 0 into 0 1.307 * [backup-simplify]: Simplify 0 into 0 1.307 * [backup-simplify]: Simplify 0 into 0 1.307 * [backup-simplify]: Simplify 0 into 0 1.307 * [backup-simplify]: Simplify 0 into 0 1.307 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2)) 1.307 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.308 * [backup-simplify]: Simplify (* x (exp (* y y))) into (* x (exp (pow y 2))) 1.308 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 1.308 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 1.308 * [taylor]: Taking taylor expansion of x in y 1.308 * [backup-simplify]: Simplify x into x 1.308 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 1.308 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.308 * [taylor]: Taking taylor expansion of y in y 1.308 * [backup-simplify]: Simplify 0 into 0 1.308 * [backup-simplify]: Simplify 1 into 1 1.308 * [backup-simplify]: Simplify (* 1 1) into 1 1.308 * [backup-simplify]: Simplify (exp 0) into 1 1.308 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 1.308 * [taylor]: Taking taylor expansion of x in x 1.308 * [backup-simplify]: Simplify 0 into 0 1.308 * [backup-simplify]: Simplify 1 into 1 1.308 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 1.308 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.308 * [taylor]: Taking taylor expansion of y in x 1.308 * [backup-simplify]: Simplify y into y 1.308 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.308 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 1.309 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 1.309 * [taylor]: Taking taylor expansion of x in x 1.309 * [backup-simplify]: Simplify 0 into 0 1.309 * [backup-simplify]: Simplify 1 into 1 1.309 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 1.309 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.309 * [taylor]: Taking taylor expansion of y in x 1.309 * [backup-simplify]: Simplify y into y 1.309 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.309 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 1.309 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 1.309 * [taylor]: Taking taylor expansion of 0 in y 1.309 * [backup-simplify]: Simplify 0 into 0 1.309 * [backup-simplify]: Simplify 0 into 0 1.309 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1.310 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 1.310 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2)) 1.310 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 1.310 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.310 * [taylor]: Taking taylor expansion of y in y 1.310 * [backup-simplify]: Simplify 0 into 0 1.310 * [backup-simplify]: Simplify 1 into 1 1.310 * [backup-simplify]: Simplify (* 1 1) into 1 1.310 * [backup-simplify]: Simplify (exp 0) into 1 1.310 * [backup-simplify]: Simplify 1 into 1 1.310 * [backup-simplify]: Simplify 0 into 0 1.311 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1.311 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.312 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0 1.312 * [taylor]: Taking taylor expansion of 0 in y 1.312 * [backup-simplify]: Simplify 0 into 0 1.312 * [backup-simplify]: Simplify 0 into 0 1.313 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 1.313 * [backup-simplify]: Simplify 0 into 0 1.313 * [backup-simplify]: Simplify 0 into 0 1.313 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 1.314 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.315 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0 1.315 * [taylor]: Taking taylor expansion of 0 in y 1.315 * [backup-simplify]: Simplify 0 into 0 1.315 * [backup-simplify]: Simplify 0 into 0 1.315 * [backup-simplify]: Simplify 0 into 0 1.315 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 1.315 * [backup-simplify]: Simplify (* (/ 1 x) (exp (* (/ 1 y) (/ 1 y)))) into (/ (exp (/ 1 (pow y 2))) x) 1.315 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 1.315 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 1.315 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.315 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.315 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.315 * [taylor]: Taking taylor expansion of y in y 1.315 * [backup-simplify]: Simplify 0 into 0 1.315 * [backup-simplify]: Simplify 1 into 1 1.316 * [backup-simplify]: Simplify (* 1 1) into 1 1.316 * [backup-simplify]: Simplify (/ 1 1) into 1 1.316 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 1.316 * [taylor]: Taking taylor expansion of x in y 1.316 * [backup-simplify]: Simplify x into x 1.316 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 1.316 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 1.316 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 1.316 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1.316 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.316 * [taylor]: Taking taylor expansion of y in x 1.316 * [backup-simplify]: Simplify y into y 1.316 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.317 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 1.317 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 1.317 * [taylor]: Taking taylor expansion of x in x 1.317 * [backup-simplify]: Simplify 0 into 0 1.317 * [backup-simplify]: Simplify 1 into 1 1.317 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 1.317 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 1.317 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 1.317 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1.317 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.317 * [taylor]: Taking taylor expansion of y in x 1.317 * [backup-simplify]: Simplify y into y 1.317 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.317 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 1.317 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 1.317 * [taylor]: Taking taylor expansion of x in x 1.317 * [backup-simplify]: Simplify 0 into 0 1.317 * [backup-simplify]: Simplify 1 into 1 1.318 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 1.318 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.318 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.318 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.318 * [taylor]: Taking taylor expansion of y in y 1.318 * [backup-simplify]: Simplify 0 into 0 1.318 * [backup-simplify]: Simplify 1 into 1 1.318 * [backup-simplify]: Simplify (* 1 1) into 1 1.318 * [backup-simplify]: Simplify (/ 1 1) into 1 1.319 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 1.319 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 1.319 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1.319 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 1.320 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 1.321 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 1.321 * [taylor]: Taking taylor expansion of 0 in y 1.321 * [backup-simplify]: Simplify 0 into 0 1.321 * [backup-simplify]: Simplify 0 into 0 1.321 * [backup-simplify]: Simplify 0 into 0 1.321 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1.321 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 1.322 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.324 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.324 * [taylor]: Taking taylor expansion of 0 in y 1.324 * [backup-simplify]: Simplify 0 into 0 1.324 * [backup-simplify]: Simplify 0 into 0 1.324 * [backup-simplify]: Simplify 0 into 0 1.324 * [backup-simplify]: Simplify 0 into 0 1.324 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 1.325 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 1.326 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.328 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.328 * [taylor]: Taking taylor expansion of 0 in y 1.328 * [backup-simplify]: Simplify 0 into 0 1.328 * [backup-simplify]: Simplify 0 into 0 1.328 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2))) 1.328 * [backup-simplify]: Simplify (* (/ 1 (- x)) (exp (* (/ 1 (- y)) (/ 1 (- y))))) into (* -1 (/ (exp (/ 1 (pow y 2))) x)) 1.328 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 1.328 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 1.328 * [taylor]: Taking taylor expansion of -1 in y 1.328 * [backup-simplify]: Simplify -1 into -1 1.329 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 1.329 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.329 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.329 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.329 * [taylor]: Taking taylor expansion of y in y 1.329 * [backup-simplify]: Simplify 0 into 0 1.329 * [backup-simplify]: Simplify 1 into 1 1.329 * [backup-simplify]: Simplify (* 1 1) into 1 1.329 * [backup-simplify]: Simplify (/ 1 1) into 1 1.329 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 1.329 * [taylor]: Taking taylor expansion of x in y 1.329 * [backup-simplify]: Simplify x into x 1.330 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 1.330 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 1.330 * [taylor]: Taking taylor expansion of -1 in x 1.330 * [backup-simplify]: Simplify -1 into -1 1.330 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 1.330 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 1.330 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1.330 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.330 * [taylor]: Taking taylor expansion of y in x 1.330 * [backup-simplify]: Simplify y into y 1.330 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.330 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 1.330 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 1.330 * [taylor]: Taking taylor expansion of x in x 1.330 * [backup-simplify]: Simplify 0 into 0 1.330 * [backup-simplify]: Simplify 1 into 1 1.331 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 1.331 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 1.331 * [taylor]: Taking taylor expansion of -1 in x 1.331 * [backup-simplify]: Simplify -1 into -1 1.331 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 1.331 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 1.331 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1.331 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.331 * [taylor]: Taking taylor expansion of y in x 1.331 * [backup-simplify]: Simplify y into y 1.331 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.331 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 1.331 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 1.331 * [taylor]: Taking taylor expansion of x in x 1.331 * [backup-simplify]: Simplify 0 into 0 1.331 * [backup-simplify]: Simplify 1 into 1 1.331 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 1.332 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 1.332 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 1.332 * [taylor]: Taking taylor expansion of -1 in y 1.332 * [backup-simplify]: Simplify -1 into -1 1.332 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.332 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.332 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.332 * [taylor]: Taking taylor expansion of y in y 1.332 * [backup-simplify]: Simplify 0 into 0 1.332 * [backup-simplify]: Simplify 1 into 1 1.332 * [backup-simplify]: Simplify (* 1 1) into 1 1.332 * [backup-simplify]: Simplify (/ 1 1) into 1 1.333 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 1.333 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 1.333 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 1.333 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1.333 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 1.334 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 1.335 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 1.335 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 1.335 * [taylor]: Taking taylor expansion of 0 in y 1.335 * [backup-simplify]: Simplify 0 into 0 1.335 * [backup-simplify]: Simplify 0 into 0 1.336 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 1.336 * [backup-simplify]: Simplify 0 into 0 1.336 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1.337 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 1.338 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.339 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.340 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 1.340 * [taylor]: Taking taylor expansion of 0 in y 1.340 * [backup-simplify]: Simplify 0 into 0 1.340 * [backup-simplify]: Simplify 0 into 0 1.340 * [backup-simplify]: Simplify 0 into 0 1.341 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 1.341 * [backup-simplify]: Simplify 0 into 0 1.341 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 1.342 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 1.343 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.345 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.346 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0 1.346 * [taylor]: Taking taylor expansion of 0 in y 1.346 * [backup-simplify]: Simplify 0 into 0 1.346 * [backup-simplify]: Simplify 0 into 0 1.346 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2))) 1.346 * * * [progress]: simplifying candidates 1.347 * [simplify]: Simplifying: (exp y) (log (exp (* y y))) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y))) (sqrt (exp (* y y))) (sqrt (exp (* y y))) (* x (exp (* y y))) (+ (log x) (* y y)) (log (* x (exp (* y y)))) (exp (* x (exp (* y y)))) (* (* (* x x) x) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y)))) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (* (* (* x (exp (* y y))) (* x (exp (* y y)))) (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) (* x 1) (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (* y y))) (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1)) (exp (pow y 2)) (exp (pow y 2)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 1.347 * * [simplify]: Extracting # 0 : cost 0 1.347 * * [simplify]: Extracting # 1 : cost 0 1.347 * * [simplify]: Extracting # 2 : cost 0 1.348 * * [simplify]: Extracting # 3 : cost 0 1.348 * * [simplify]: Extracting # 4 : cost 0 1.348 * * [simplify]: Extracting # 5 : cost 0 1.348 * * [simplify]: Extracting # 6 : cost 0 1.348 * * [simplify]: iteration 0 : 44 enodes (cost 245 ) 1.361 * * [simplify]: Extracting # 0 : cost 0 1.361 * * [simplify]: Extracting # 1 : cost 0 1.361 * * [simplify]: Extracting # 2 : cost 0 1.361 * * [simplify]: Extracting # 3 : cost 0 1.362 * * [simplify]: iteration 1 : 100 enodes (cost 238 ) 1.402 * * [simplify]: Extracting # 0 : cost 0 1.402 * * [simplify]: Extracting # 1 : cost 0 1.403 * * [simplify]: Extracting # 2 : cost 0 1.403 * * [simplify]: Extracting # 3 : cost 0 1.404 * * [simplify]: Extracting # 4 : cost 0 1.404 * * [simplify]: iteration 2 : 407 enodes (cost 210 ) 1.863 * * [simplify]: Extracting # 0 : cost 0 1.869 * * [simplify]: Extracting # 1 : cost 0 1.872 * * [simplify]: Extracting # 2 : cost 0 1.874 * * [simplify]: Extracting # 3 : cost 0 1.877 * * [simplify]: Extracting # 4 : cost 0 1.879 * * [simplify]: iteration 3 : 2058 enodes (cost 208 ) 2.556 * * [simplify]: Extracting # 0 : cost 0 2.562 * * [simplify]: Extracting # 1 : cost 0 2.570 * * [simplify]: Extracting # 2 : cost 0 2.578 * * [simplify]: Extracting # 3 : cost 0 2.586 * * [simplify]: Extracting # 4 : cost 0 2.601 * * [simplify]: iteration done: 5000 enodes (cost 208 ) 2.602 * [simplify]: Simplified to: (exp y) (pow y 2) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (pow (exp (* y y)) 3) (sqrt (exp (* y y))) (sqrt (exp (* y y))) (* x (exp (* y y))) (+ (log x) (* y y)) (+ (log x) (* y y)) (exp (* x (exp (* y y)))) (pow (* x (exp (* y y))) 3) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (pow (* x (exp (* y y))) 3) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) x (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (* y y))) (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1)) (exp (* y y)) (exp (* y y)) x (* x (exp (* y y))) (* x (exp (* y y))) 2.602 * * * [progress]: adding candidates to table 2.720 * * [progress]: iteration 2 / 4 2.720 * * * [progress]: picking best candidate 2.736 * * * * [pick]: Picked # 2.736 * * * [progress]: localizing error 2.748 * * * [progress]: generating rewritten candidates 2.748 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 2.755 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.784 * * * [progress]: generating series expansions 2.785 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 2.785 * [backup-simplify]: Simplify (pow (exp y) y) into (pow (exp y) y) 2.785 * [approximate]: Taking taylor expansion of (pow (exp y) y) in (y) around 0 2.785 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 2.785 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 2.785 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 2.785 * [taylor]: Taking taylor expansion of y in y 2.785 * [backup-simplify]: Simplify 0 into 0 2.785 * [backup-simplify]: Simplify 1 into 1 2.785 * [taylor]: Taking taylor expansion of (log (exp y)) in y 2.785 * [taylor]: Taking taylor expansion of (exp y) in y 2.785 * [taylor]: Taking taylor expansion of y in y 2.785 * [backup-simplify]: Simplify 0 into 0 2.785 * [backup-simplify]: Simplify 1 into 1 2.785 * [backup-simplify]: Simplify (exp 0) into 1 2.786 * [backup-simplify]: Simplify (log 1) into 0 2.786 * [backup-simplify]: Simplify (* 0 0) into 0 2.787 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.788 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 2.788 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 2.790 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 2.792 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 2.792 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 2.792 * [backup-simplify]: Simplify (exp 0) into 1 2.792 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 2.792 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 2.792 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 2.792 * [taylor]: Taking taylor expansion of y in y 2.792 * [backup-simplify]: Simplify 0 into 0 2.792 * [backup-simplify]: Simplify 1 into 1 2.793 * [taylor]: Taking taylor expansion of (log (exp y)) in y 2.793 * [taylor]: Taking taylor expansion of (exp y) in y 2.793 * [taylor]: Taking taylor expansion of y in y 2.793 * [backup-simplify]: Simplify 0 into 0 2.793 * [backup-simplify]: Simplify 1 into 1 2.793 * [backup-simplify]: Simplify (exp 0) into 1 2.793 * [backup-simplify]: Simplify (log 1) into 0 2.793 * [backup-simplify]: Simplify (* 0 0) into 0 2.794 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.795 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 2.795 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 2.797 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 2.799 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 2.799 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 2.799 * [backup-simplify]: Simplify (exp 0) into 1 2.799 * [backup-simplify]: Simplify 1 into 1 2.800 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 2.800 * [backup-simplify]: Simplify 0 into 0 2.801 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1 2.801 * [backup-simplify]: Simplify 1 into 1 2.803 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 2.807 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/6) 1)) (pow 1 1)))) 6) into 0 2.808 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 2.810 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.810 * [backup-simplify]: Simplify 0 into 0 2.813 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 2.822 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 1/2) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1/2) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 1/6) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 1/24) 1)) (pow 1 1)))) 24) into 0 2.823 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 2.826 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 2.826 * [backup-simplify]: Simplify 1/2 into 1/2 2.826 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1)) 2.826 * [backup-simplify]: Simplify (pow (exp (/ 1 y)) (/ 1 y)) into (pow (exp (/ 1 y)) (/ 1 y)) 2.826 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in (y) around 0 2.826 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 2.826 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 2.826 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 2.826 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.826 * [taylor]: Taking taylor expansion of y in y 2.826 * [backup-simplify]: Simplify 0 into 0 2.826 * [backup-simplify]: Simplify 1 into 1 2.826 * [backup-simplify]: Simplify (/ 1 1) into 1 2.826 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 2.826 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.826 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.826 * [taylor]: Taking taylor expansion of y in y 2.827 * [backup-simplify]: Simplify 0 into 0 2.827 * [backup-simplify]: Simplify 1 into 1 2.827 * [backup-simplify]: Simplify (/ 1 1) into 1 2.827 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 2.827 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 2.827 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 2.827 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2))) 2.827 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 2.827 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 2.827 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 2.827 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.827 * [taylor]: Taking taylor expansion of y in y 2.827 * [backup-simplify]: Simplify 0 into 0 2.827 * [backup-simplify]: Simplify 1 into 1 2.827 * [backup-simplify]: Simplify (/ 1 1) into 1 2.828 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 2.828 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.828 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.828 * [taylor]: Taking taylor expansion of y in y 2.828 * [backup-simplify]: Simplify 0 into 0 2.828 * [backup-simplify]: Simplify 1 into 1 2.828 * [backup-simplify]: Simplify (/ 1 1) into 1 2.828 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 2.828 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 2.828 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 2.828 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2))) 2.828 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.828 * [backup-simplify]: Simplify 0 into 0 2.828 * [backup-simplify]: Simplify 0 into 0 2.828 * [backup-simplify]: Simplify 0 into 0 2.828 * [backup-simplify]: Simplify 0 into 0 2.828 * [backup-simplify]: Simplify 0 into 0 2.828 * [backup-simplify]: Simplify 0 into 0 2.829 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2)) 2.829 * [backup-simplify]: Simplify (pow (exp (/ 1 (- y))) (/ 1 (- y))) into (pow (exp (/ -1 y)) (/ -1 y)) 2.829 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in (y) around 0 2.829 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 2.829 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 2.829 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 2.829 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.829 * [taylor]: Taking taylor expansion of -1 in y 2.829 * [backup-simplify]: Simplify -1 into -1 2.829 * [taylor]: Taking taylor expansion of y in y 2.829 * [backup-simplify]: Simplify 0 into 0 2.829 * [backup-simplify]: Simplify 1 into 1 2.829 * [backup-simplify]: Simplify (/ -1 1) into -1 2.829 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 2.829 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 2.829 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.829 * [taylor]: Taking taylor expansion of -1 in y 2.829 * [backup-simplify]: Simplify -1 into -1 2.829 * [taylor]: Taking taylor expansion of y in y 2.829 * [backup-simplify]: Simplify 0 into 0 2.829 * [backup-simplify]: Simplify 1 into 1 2.830 * [backup-simplify]: Simplify (/ -1 1) into -1 2.830 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 2.830 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 2.830 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 2.830 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2))) 2.830 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 2.830 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 2.830 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 2.830 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.830 * [taylor]: Taking taylor expansion of -1 in y 2.830 * [backup-simplify]: Simplify -1 into -1 2.830 * [taylor]: Taking taylor expansion of y in y 2.830 * [backup-simplify]: Simplify 0 into 0 2.830 * [backup-simplify]: Simplify 1 into 1 2.830 * [backup-simplify]: Simplify (/ -1 1) into -1 2.830 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 2.830 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 2.830 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.830 * [taylor]: Taking taylor expansion of -1 in y 2.830 * [backup-simplify]: Simplify -1 into -1 2.831 * [taylor]: Taking taylor expansion of y in y 2.831 * [backup-simplify]: Simplify 0 into 0 2.831 * [backup-simplify]: Simplify 1 into 1 2.831 * [backup-simplify]: Simplify (/ -1 1) into -1 2.831 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 2.831 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 2.831 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 2.831 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2))) 2.831 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.831 * [backup-simplify]: Simplify 0 into 0 2.831 * [backup-simplify]: Simplify 0 into 0 2.831 * [backup-simplify]: Simplify 0 into 0 2.831 * [backup-simplify]: Simplify 0 into 0 2.831 * [backup-simplify]: Simplify 0 into 0 2.831 * [backup-simplify]: Simplify 0 into 0 2.832 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2)) 2.832 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.832 * [backup-simplify]: Simplify (* x (pow (exp y) y)) into (* x (pow (exp y) y)) 2.832 * [approximate]: Taking taylor expansion of (* x (pow (exp y) y)) in (x y) around 0 2.832 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in y 2.832 * [taylor]: Taking taylor expansion of x in y 2.832 * [backup-simplify]: Simplify x into x 2.832 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 2.832 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 2.832 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 2.832 * [taylor]: Taking taylor expansion of y in y 2.832 * [backup-simplify]: Simplify 0 into 0 2.832 * [backup-simplify]: Simplify 1 into 1 2.832 * [taylor]: Taking taylor expansion of (log (exp y)) in y 2.832 * [taylor]: Taking taylor expansion of (exp y) in y 2.832 * [taylor]: Taking taylor expansion of y in y 2.832 * [backup-simplify]: Simplify 0 into 0 2.832 * [backup-simplify]: Simplify 1 into 1 2.832 * [backup-simplify]: Simplify (exp 0) into 1 2.832 * [backup-simplify]: Simplify (log 1) into 0 2.832 * [backup-simplify]: Simplify (* 0 0) into 0 2.833 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.834 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 2.834 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 2.835 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 2.836 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 2.837 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 2.837 * [backup-simplify]: Simplify (exp 0) into 1 2.837 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 2.837 * [taylor]: Taking taylor expansion of x in x 2.837 * [backup-simplify]: Simplify 0 into 0 2.837 * [backup-simplify]: Simplify 1 into 1 2.837 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 2.837 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 2.837 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 2.837 * [taylor]: Taking taylor expansion of y in x 2.837 * [backup-simplify]: Simplify y into y 2.837 * [taylor]: Taking taylor expansion of (log (exp y)) in x 2.837 * [taylor]: Taking taylor expansion of (exp y) in x 2.837 * [taylor]: Taking taylor expansion of y in x 2.837 * [backup-simplify]: Simplify y into y 2.837 * [backup-simplify]: Simplify (exp y) into (exp y) 2.837 * [backup-simplify]: Simplify (log (exp y)) into y 2.837 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.837 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 2.837 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 2.837 * [taylor]: Taking taylor expansion of x in x 2.837 * [backup-simplify]: Simplify 0 into 0 2.837 * [backup-simplify]: Simplify 1 into 1 2.837 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 2.837 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 2.837 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 2.837 * [taylor]: Taking taylor expansion of y in x 2.837 * [backup-simplify]: Simplify y into y 2.837 * [taylor]: Taking taylor expansion of (log (exp y)) in x 2.837 * [taylor]: Taking taylor expansion of (exp y) in x 2.837 * [taylor]: Taking taylor expansion of y in x 2.837 * [backup-simplify]: Simplify y into y 2.838 * [backup-simplify]: Simplify (exp y) into (exp y) 2.838 * [backup-simplify]: Simplify (log (exp y)) into y 2.838 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.838 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 2.838 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 2.838 * [taylor]: Taking taylor expansion of 0 in y 2.838 * [backup-simplify]: Simplify 0 into 0 2.838 * [backup-simplify]: Simplify 0 into 0 2.838 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 2.839 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp y) 1)))) 1) into 0 2.839 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.840 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 2.840 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2)) 2.840 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.840 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.840 * [taylor]: Taking taylor expansion of y in y 2.840 * [backup-simplify]: Simplify 0 into 0 2.840 * [backup-simplify]: Simplify 1 into 1 2.841 * [backup-simplify]: Simplify (* 1 1) into 1 2.841 * [backup-simplify]: Simplify (exp 0) into 1 2.841 * [backup-simplify]: Simplify 1 into 1 2.841 * [backup-simplify]: Simplify 0 into 0 2.842 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.843 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp y) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp y) 1)))) 2) into 0 2.843 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.844 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.845 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0 2.845 * [taylor]: Taking taylor expansion of 0 in y 2.845 * [backup-simplify]: Simplify 0 into 0 2.845 * [backup-simplify]: Simplify 0 into 0 2.846 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 2.846 * [backup-simplify]: Simplify 0 into 0 2.846 * [backup-simplify]: Simplify 0 into 0 2.847 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.850 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp y) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp y) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp y) 1)))) 6) into 0 2.850 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.852 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.853 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0 2.853 * [taylor]: Taking taylor expansion of 0 in y 2.853 * [backup-simplify]: Simplify 0 into 0 2.853 * [backup-simplify]: Simplify 0 into 0 2.853 * [backup-simplify]: Simplify 0 into 0 2.853 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 2.853 * [backup-simplify]: Simplify (* (/ 1 x) (pow (exp (/ 1 y)) (/ 1 y))) into (/ (pow (exp (/ 1 y)) (/ 1 y)) x) 2.853 * [approximate]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in (x y) around 0 2.853 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in y 2.853 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 2.853 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 2.853 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 2.853 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.853 * [taylor]: Taking taylor expansion of y in y 2.853 * [backup-simplify]: Simplify 0 into 0 2.853 * [backup-simplify]: Simplify 1 into 1 2.853 * [backup-simplify]: Simplify (/ 1 1) into 1 2.854 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 2.854 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.854 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.854 * [taylor]: Taking taylor expansion of y in y 2.854 * [backup-simplify]: Simplify 0 into 0 2.854 * [backup-simplify]: Simplify 1 into 1 2.854 * [backup-simplify]: Simplify (/ 1 1) into 1 2.854 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 2.854 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 2.854 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 2.854 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2))) 2.854 * [taylor]: Taking taylor expansion of x in y 2.855 * [backup-simplify]: Simplify x into x 2.855 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 2.855 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 2.855 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 2.855 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 2.855 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 2.855 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.855 * [taylor]: Taking taylor expansion of y in x 2.855 * [backup-simplify]: Simplify y into y 2.855 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.855 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 2.855 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 2.855 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.855 * [taylor]: Taking taylor expansion of y in x 2.855 * [backup-simplify]: Simplify y into y 2.855 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.855 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 2.855 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 2.855 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 2.856 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.856 * [taylor]: Taking taylor expansion of x in x 2.856 * [backup-simplify]: Simplify 0 into 0 2.856 * [backup-simplify]: Simplify 1 into 1 2.856 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.856 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 2.856 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 2.856 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 2.856 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 2.856 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.856 * [taylor]: Taking taylor expansion of y in x 2.856 * [backup-simplify]: Simplify y into y 2.856 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.856 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 2.856 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 2.856 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.856 * [taylor]: Taking taylor expansion of y in x 2.856 * [backup-simplify]: Simplify y into y 2.856 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.856 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 2.856 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 2.857 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 2.857 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.857 * [taylor]: Taking taylor expansion of x in x 2.857 * [backup-simplify]: Simplify 0 into 0 2.857 * [backup-simplify]: Simplify 1 into 1 2.857 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.857 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.857 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.857 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.857 * [taylor]: Taking taylor expansion of y in y 2.857 * [backup-simplify]: Simplify 0 into 0 2.857 * [backup-simplify]: Simplify 1 into 1 2.857 * [backup-simplify]: Simplify (* 1 1) into 1 2.858 * [backup-simplify]: Simplify (/ 1 1) into 1 2.858 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.858 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.858 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.859 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 2.860 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ 1 y)) 1)))) 1) into 0 2.860 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.860 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (/ 1 y))) into 0 2.861 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 2.862 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 2.862 * [taylor]: Taking taylor expansion of 0 in y 2.862 * [backup-simplify]: Simplify 0 into 0 2.862 * [backup-simplify]: Simplify 0 into 0 2.862 * [backup-simplify]: Simplify 0 into 0 2.862 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.863 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.864 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 1)))) 2) into 0 2.864 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.865 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 2.866 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.867 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.867 * [taylor]: Taking taylor expansion of 0 in y 2.867 * [backup-simplify]: Simplify 0 into 0 2.867 * [backup-simplify]: Simplify 0 into 0 2.867 * [backup-simplify]: Simplify 0 into 0 2.867 * [backup-simplify]: Simplify 0 into 0 2.868 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.869 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.871 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 1)))) 6) into 0 2.871 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.872 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 2.873 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.875 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.875 * [taylor]: Taking taylor expansion of 0 in y 2.875 * [backup-simplify]: Simplify 0 into 0 2.875 * [backup-simplify]: Simplify 0 into 0 2.875 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2))) 2.876 * [backup-simplify]: Simplify (* (/ 1 (- x)) (pow (exp (/ 1 (- y))) (/ 1 (- y)))) into (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) 2.876 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in (x y) around 0 2.876 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in y 2.876 * [taylor]: Taking taylor expansion of -1 in y 2.876 * [backup-simplify]: Simplify -1 into -1 2.876 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in y 2.876 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 2.876 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 2.876 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 2.876 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.876 * [taylor]: Taking taylor expansion of -1 in y 2.876 * [backup-simplify]: Simplify -1 into -1 2.876 * [taylor]: Taking taylor expansion of y in y 2.876 * [backup-simplify]: Simplify 0 into 0 2.876 * [backup-simplify]: Simplify 1 into 1 2.876 * [backup-simplify]: Simplify (/ -1 1) into -1 2.876 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 2.876 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 2.876 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.876 * [taylor]: Taking taylor expansion of -1 in y 2.876 * [backup-simplify]: Simplify -1 into -1 2.876 * [taylor]: Taking taylor expansion of y in y 2.876 * [backup-simplify]: Simplify 0 into 0 2.876 * [backup-simplify]: Simplify 1 into 1 2.877 * [backup-simplify]: Simplify (/ -1 1) into -1 2.877 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 2.877 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 2.877 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 2.877 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2))) 2.877 * [taylor]: Taking taylor expansion of x in y 2.877 * [backup-simplify]: Simplify x into x 2.877 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 2.878 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 2.878 * [taylor]: Taking taylor expansion of -1 in x 2.878 * [backup-simplify]: Simplify -1 into -1 2.878 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 2.878 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 2.878 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 2.878 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 2.878 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.878 * [taylor]: Taking taylor expansion of -1 in x 2.878 * [backup-simplify]: Simplify -1 into -1 2.878 * [taylor]: Taking taylor expansion of y in x 2.878 * [backup-simplify]: Simplify y into y 2.878 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.878 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 2.878 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 2.878 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.878 * [taylor]: Taking taylor expansion of -1 in x 2.878 * [backup-simplify]: Simplify -1 into -1 2.878 * [taylor]: Taking taylor expansion of y in x 2.878 * [backup-simplify]: Simplify y into y 2.878 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.878 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 2.878 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 2.878 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2)) 2.879 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.879 * [taylor]: Taking taylor expansion of x in x 2.879 * [backup-simplify]: Simplify 0 into 0 2.879 * [backup-simplify]: Simplify 1 into 1 2.879 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.879 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 2.879 * [taylor]: Taking taylor expansion of -1 in x 2.879 * [backup-simplify]: Simplify -1 into -1 2.879 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 2.879 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 2.879 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 2.879 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 2.879 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.879 * [taylor]: Taking taylor expansion of -1 in x 2.879 * [backup-simplify]: Simplify -1 into -1 2.879 * [taylor]: Taking taylor expansion of y in x 2.879 * [backup-simplify]: Simplify y into y 2.879 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.879 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 2.879 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 2.879 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.879 * [taylor]: Taking taylor expansion of -1 in x 2.879 * [backup-simplify]: Simplify -1 into -1 2.879 * [taylor]: Taking taylor expansion of y in x 2.879 * [backup-simplify]: Simplify y into y 2.879 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.879 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 2.880 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 2.880 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2)) 2.880 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.880 * [taylor]: Taking taylor expansion of x in x 2.880 * [backup-simplify]: Simplify 0 into 0 2.880 * [backup-simplify]: Simplify 1 into 1 2.880 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.880 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 2.880 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 2.880 * [taylor]: Taking taylor expansion of -1 in y 2.880 * [backup-simplify]: Simplify -1 into -1 2.880 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.880 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.880 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.880 * [taylor]: Taking taylor expansion of y in y 2.880 * [backup-simplify]: Simplify 0 into 0 2.880 * [backup-simplify]: Simplify 1 into 1 2.881 * [backup-simplify]: Simplify (* 1 1) into 1 2.881 * [backup-simplify]: Simplify (/ 1 1) into 1 2.881 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.881 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 2.882 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 2.882 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 2.882 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 2.883 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ -1 y)) 1)))) 1) into 0 2.883 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 2.883 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (/ -1 y))) into 0 2.884 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 2.885 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 2.885 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 2.885 * [taylor]: Taking taylor expansion of 0 in y 2.885 * [backup-simplify]: Simplify 0 into 0 2.885 * [backup-simplify]: Simplify 0 into 0 2.886 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 2.886 * [backup-simplify]: Simplify 0 into 0 2.886 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.887 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.889 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 1)))) 2) into 0 2.889 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.889 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 2.890 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.891 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.892 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 2.892 * [taylor]: Taking taylor expansion of 0 in y 2.892 * [backup-simplify]: Simplify 0 into 0 2.892 * [backup-simplify]: Simplify 0 into 0 2.892 * [backup-simplify]: Simplify 0 into 0 2.893 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 2.893 * [backup-simplify]: Simplify 0 into 0 2.893 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.895 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.897 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 1)))) 6) into 0 2.897 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.901 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 2.902 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.904 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.905 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0 2.905 * [taylor]: Taking taylor expansion of 0 in y 2.905 * [backup-simplify]: Simplify 0 into 0 2.905 * [backup-simplify]: Simplify 0 into 0 2.905 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2))) 2.905 * * * [progress]: simplifying candidates 2.906 * [simplify]: Simplifying: (* y y) (* (log (exp y)) y) (* 1 y) (* (cbrt y) y) (* (sqrt y) y) (* y y) (pow (exp y) (* (cbrt y) (cbrt y))) (pow (exp y) (sqrt y)) (pow (exp y) 1) (pow (* (cbrt (exp y)) (cbrt (exp y))) y) (pow (cbrt (exp y)) y) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) (pow 1 y) (pow (exp y) y) (log (pow (exp y) y)) (exp (pow (exp y) y)) (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))) (cbrt (pow (exp y) y)) (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y)) (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y)) (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)) (+ (log x) (* y y)) (+ (log x) (* (log (exp y)) y)) (+ (log x) (log (pow (exp y) y))) (log (* x (pow (exp y) y))) (exp (* x (pow (exp y) y))) (* (* (* x x) x) (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y))) (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y)))) (cbrt (* x (pow (exp y) y))) (* (* (* x (pow (exp y) y)) (* x (pow (exp y) y))) (* x (pow (exp y) y))) (sqrt (* x (pow (exp y) y))) (sqrt (* x (pow (exp y) y))) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (pow (exp y) (/ y 2))) (* (sqrt x) (pow (exp y) (/ y 2))) (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (* x (pow (sqrt (exp y)) y)) (* x (pow 1 y)) (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))) (* x (sqrt (pow (exp y) y))) (* x 1) (* x (pow (exp y) (/ y 2))) (* (cbrt x) (pow (exp y) y)) (* (sqrt x) (pow (exp y) y)) (* x (pow (exp y) y)) (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1)) (exp (pow y 2)) (exp (pow y 2)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 2.907 * * [simplify]: Extracting # 0 : cost 0 2.907 * * [simplify]: Extracting # 1 : cost 0 2.907 * * [simplify]: Extracting # 2 : cost 0 2.908 * * [simplify]: Extracting # 3 : cost 0 2.908 * * [simplify]: Extracting # 4 : cost 0 2.908 * * [simplify]: Extracting # 5 : cost 0 2.908 * * [simplify]: iteration 0 : 72 enodes (cost 400 ) 2.933 * * [simplify]: Extracting # 0 : cost 0 2.933 * * [simplify]: Extracting # 1 : cost 0 2.933 * * [simplify]: Extracting # 2 : cost 0 2.934 * * [simplify]: Extracting # 3 : cost 0 2.934 * * [simplify]: Extracting # 4 : cost 0 2.934 * * [simplify]: iteration 1 : 177 enodes (cost 370 ) 2.997 * * [simplify]: Extracting # 0 : cost 0 2.998 * * [simplify]: Extracting # 1 : cost 0 2.998 * * [simplify]: Extracting # 2 : cost 0 3.002 * * [simplify]: Extracting # 3 : cost 0 3.003 * * [simplify]: Extracting # 4 : cost 0 3.004 * * [simplify]: Extracting # 5 : cost 0 3.005 * * [simplify]: iteration 2 : 553 enodes (cost 349 ) 3.389 * * [simplify]: Extracting # 0 : cost 0 3.393 * * [simplify]: Extracting # 1 : cost 0 3.396 * * [simplify]: Extracting # 2 : cost 0 3.399 * * [simplify]: Extracting # 3 : cost 0 3.402 * * [simplify]: Extracting # 4 : cost 0 3.405 * * [simplify]: iteration 3 : 2471 enodes (cost 347 ) 4.306 * * [simplify]: Extracting # 0 : cost 0 4.314 * * [simplify]: Extracting # 1 : cost 0 4.319 * * [simplify]: Extracting # 2 : cost 0 4.325 * * [simplify]: Extracting # 3 : cost 0 4.331 * * [simplify]: Extracting # 4 : cost 0 4.344 * * [simplify]: Extracting # 5 : cost 0 4.352 * * [simplify]: iteration done: 5000 enodes (cost 347 ) 4.352 * [simplify]: Simplified to: (pow y 2) (* y y) y (* (cbrt y) y) (* (sqrt y) y) (pow y 2) (pow (exp y) (* (cbrt y) (cbrt y))) (pow (exp y) (sqrt y)) (exp y) (pow (* (cbrt (exp y)) (cbrt (exp y))) y) (pow (cbrt (exp y)) y) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) 1 (pow (exp y) y) (pow y 2) (exp (pow (exp y) y)) (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))) (cbrt (pow (exp y) y)) (pow (pow (exp y) y) 3) (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y)) (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)) (+ (log x) (* y y)) (+ (log x) (* y y)) (+ (log x) (* y y)) (+ (log x) (* y y)) (exp (* x (pow (exp y) y))) (pow (* x (pow (exp y) y)) 3) (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y)))) (cbrt (* x (pow (exp y) y))) (pow (* x (pow (exp y) y)) 3) (sqrt (* x (pow (exp y) y))) (sqrt (* x (pow (exp y) y))) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (pow (exp y) (/ y 2))) (* (sqrt x) (pow (exp y) (/ y 2))) (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (* x (pow (sqrt (exp y)) y)) x (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))) (* x (sqrt (pow (exp y) y))) x (* x (pow (exp y) (/ y 2))) (* (cbrt x) (pow (exp y) y)) (* (sqrt x) (pow (exp y) y)) (* (pow (exp y) y) x) (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1)) (pow (exp y) y) (pow (exp y) y) x (* (pow (exp y) y) x) (* (pow (exp y) y) x) 4.352 * * * [progress]: adding candidates to table 4.491 * * [progress]: iteration 3 / 4 4.491 * * * [progress]: picking best candidate 4.503 * * * * [pick]: Picked # 4.504 * * * [progress]: localizing error 4.518 * * * [progress]: generating rewritten candidates 4.518 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 4.527 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 4.544 * * * [progress]: generating series expansions 4.544 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 4.545 * [backup-simplify]: Simplify (pow (exp 1) (pow y 2)) into (pow E (pow y 2)) 4.545 * [approximate]: Taking taylor expansion of (pow E (pow y 2)) in (y) around 0 4.545 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in y 4.545 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in y 4.545 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in y 4.545 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.545 * [taylor]: Taking taylor expansion of y in y 4.545 * [backup-simplify]: Simplify 0 into 0 4.545 * [backup-simplify]: Simplify 1 into 1 4.545 * [taylor]: Taking taylor expansion of (log E) in y 4.545 * [taylor]: Taking taylor expansion of E in y 4.545 * [backup-simplify]: Simplify E into E 4.545 * [backup-simplify]: Simplify (log E) into 1 4.545 * [backup-simplify]: Simplify (* 1 1) into 1 4.546 * [backup-simplify]: Simplify (* 1 1) into 1 4.546 * [backup-simplify]: Simplify (exp 0) into 1 4.546 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in y 4.546 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in y 4.546 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in y 4.546 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.546 * [taylor]: Taking taylor expansion of y in y 4.546 * [backup-simplify]: Simplify 0 into 0 4.546 * [backup-simplify]: Simplify 1 into 1 4.546 * [taylor]: Taking taylor expansion of (log E) in y 4.546 * [taylor]: Taking taylor expansion of E in y 4.546 * [backup-simplify]: Simplify E into E 4.546 * [backup-simplify]: Simplify (log E) into 1 4.546 * [backup-simplify]: Simplify (* 1 1) into 1 4.546 * [backup-simplify]: Simplify (* 1 1) into 1 4.546 * [backup-simplify]: Simplify (exp 0) into 1 4.547 * [backup-simplify]: Simplify 1 into 1 4.547 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 4.547 * [backup-simplify]: Simplify 0 into 0 4.548 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1 4.548 * [backup-simplify]: Simplify 1 into 1 4.549 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 4.550 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.550 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.551 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.551 * [backup-simplify]: Simplify 0 into 0 4.553 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 4.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.556 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.556 * [backup-simplify]: Simplify 1/2 into 1/2 4.557 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1)) 4.557 * [backup-simplify]: Simplify (pow (exp 1) (pow (/ 1 y) 2)) into (pow E (pow (/ 1 y) 2)) 4.557 * [approximate]: Taking taylor expansion of (pow E (pow (/ 1 y) 2)) in (y) around 0 4.557 * [taylor]: Taking taylor expansion of (pow E (pow (/ 1 y) 2)) in y 4.557 * [taylor]: Taking taylor expansion of (exp (* (pow (/ 1 y) 2) (log E))) in y 4.557 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 2) (log E)) in y 4.557 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2) in y 4.557 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.557 * [taylor]: Taking taylor expansion of y in y 4.557 * [backup-simplify]: Simplify 0 into 0 4.557 * [backup-simplify]: Simplify 1 into 1 4.557 * [backup-simplify]: Simplify (/ 1 1) into 1 4.557 * [taylor]: Taking taylor expansion of (log E) in y 4.557 * [taylor]: Taking taylor expansion of E in y 4.557 * [backup-simplify]: Simplify E into E 4.557 * [backup-simplify]: Simplify (log E) into 1 4.558 * [backup-simplify]: Simplify (* 1 1) into 1 4.558 * [backup-simplify]: Simplify (* 1 1) into 1 4.558 * [backup-simplify]: Simplify (exp (* (pow (/ 1 y) 2) (log E))) into (exp (/ 1 (pow y 2))) 4.558 * [taylor]: Taking taylor expansion of (pow E (pow (/ 1 y) 2)) in y 4.558 * [taylor]: Taking taylor expansion of (exp (* (pow (/ 1 y) 2) (log E))) in y 4.558 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 2) (log E)) in y 4.558 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2) in y 4.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.558 * [taylor]: Taking taylor expansion of y in y 4.558 * [backup-simplify]: Simplify 0 into 0 4.558 * [backup-simplify]: Simplify 1 into 1 4.559 * [backup-simplify]: Simplify (/ 1 1) into 1 4.559 * [taylor]: Taking taylor expansion of (log E) in y 4.559 * [taylor]: Taking taylor expansion of E in y 4.559 * [backup-simplify]: Simplify E into E 4.559 * [backup-simplify]: Simplify (log E) into 1 4.559 * [backup-simplify]: Simplify (* 1 1) into 1 4.559 * [backup-simplify]: Simplify (* 1 1) into 1 4.559 * [backup-simplify]: Simplify (exp (* (pow (/ 1 y) 2) (log E))) into (exp (/ 1 (pow y 2))) 4.559 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.559 * [backup-simplify]: Simplify 0 into 0 4.560 * [backup-simplify]: Simplify 0 into 0 4.560 * [backup-simplify]: Simplify 0 into 0 4.560 * [backup-simplify]: Simplify 0 into 0 4.560 * [backup-simplify]: Simplify 0 into 0 4.560 * [backup-simplify]: Simplify 0 into 0 4.560 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2)) 4.560 * [backup-simplify]: Simplify (pow (exp 1) (pow (/ 1 (- y)) 2)) into (pow E (pow (/ -1 y) 2)) 4.560 * [approximate]: Taking taylor expansion of (pow E (pow (/ -1 y) 2)) in (y) around 0 4.560 * [taylor]: Taking taylor expansion of (pow E (pow (/ -1 y) 2)) in y 4.560 * [taylor]: Taking taylor expansion of (exp (* (pow (/ -1 y) 2) (log E))) in y 4.560 * [taylor]: Taking taylor expansion of (* (pow (/ -1 y) 2) (log E)) in y 4.560 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2) in y 4.560 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.560 * [taylor]: Taking taylor expansion of -1 in y 4.560 * [backup-simplify]: Simplify -1 into -1 4.560 * [taylor]: Taking taylor expansion of y in y 4.560 * [backup-simplify]: Simplify 0 into 0 4.560 * [backup-simplify]: Simplify 1 into 1 4.560 * [backup-simplify]: Simplify (/ -1 1) into -1 4.560 * [taylor]: Taking taylor expansion of (log E) in y 4.560 * [taylor]: Taking taylor expansion of E in y 4.560 * [backup-simplify]: Simplify E into E 4.560 * [backup-simplify]: Simplify (log E) into 1 4.561 * [backup-simplify]: Simplify (* -1 -1) into 1 4.561 * [backup-simplify]: Simplify (* 1 1) into 1 4.561 * [backup-simplify]: Simplify (exp (* (pow (/ -1 y) 2) (log E))) into (exp (/ 1 (pow y 2))) 4.561 * [taylor]: Taking taylor expansion of (pow E (pow (/ -1 y) 2)) in y 4.561 * [taylor]: Taking taylor expansion of (exp (* (pow (/ -1 y) 2) (log E))) in y 4.561 * [taylor]: Taking taylor expansion of (* (pow (/ -1 y) 2) (log E)) in y 4.561 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2) in y 4.561 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.561 * [taylor]: Taking taylor expansion of -1 in y 4.561 * [backup-simplify]: Simplify -1 into -1 4.561 * [taylor]: Taking taylor expansion of y in y 4.561 * [backup-simplify]: Simplify 0 into 0 4.561 * [backup-simplify]: Simplify 1 into 1 4.562 * [backup-simplify]: Simplify (/ -1 1) into -1 4.562 * [taylor]: Taking taylor expansion of (log E) in y 4.562 * [taylor]: Taking taylor expansion of E in y 4.562 * [backup-simplify]: Simplify E into E 4.562 * [backup-simplify]: Simplify (log E) into 1 4.562 * [backup-simplify]: Simplify (* -1 -1) into 1 4.562 * [backup-simplify]: Simplify (* 1 1) into 1 4.562 * [backup-simplify]: Simplify (exp (* (pow (/ -1 y) 2) (log E))) into (exp (/ 1 (pow y 2))) 4.562 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.562 * [backup-simplify]: Simplify 0 into 0 4.562 * [backup-simplify]: Simplify 0 into 0 4.562 * [backup-simplify]: Simplify 0 into 0 4.562 * [backup-simplify]: Simplify 0 into 0 4.563 * [backup-simplify]: Simplify 0 into 0 4.563 * [backup-simplify]: Simplify 0 into 0 4.563 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2)) 4.563 * * * * [progress]: [ 2 / 2 ] generating series at (2) 4.563 * [backup-simplify]: Simplify (* x (pow (exp 1) (pow y 2))) into (* x (pow E (pow y 2))) 4.563 * [approximate]: Taking taylor expansion of (* x (pow E (pow y 2))) in (x y) around 0 4.563 * [taylor]: Taking taylor expansion of (* x (pow E (pow y 2))) in y 4.563 * [taylor]: Taking taylor expansion of x in y 4.563 * [backup-simplify]: Simplify x into x 4.563 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in y 4.563 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in y 4.563 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in y 4.563 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.563 * [taylor]: Taking taylor expansion of y in y 4.563 * [backup-simplify]: Simplify 0 into 0 4.563 * [backup-simplify]: Simplify 1 into 1 4.563 * [taylor]: Taking taylor expansion of (log E) in y 4.563 * [taylor]: Taking taylor expansion of E in y 4.563 * [backup-simplify]: Simplify E into E 4.563 * [backup-simplify]: Simplify (log E) into 1 4.563 * [backup-simplify]: Simplify (* 1 1) into 1 4.564 * [backup-simplify]: Simplify (* 1 1) into 1 4.564 * [backup-simplify]: Simplify (exp 0) into 1 4.564 * [taylor]: Taking taylor expansion of (* x (pow E (pow y 2))) in x 4.564 * [taylor]: Taking taylor expansion of x in x 4.564 * [backup-simplify]: Simplify 0 into 0 4.564 * [backup-simplify]: Simplify 1 into 1 4.564 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in x 4.564 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in x 4.564 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in x 4.564 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.564 * [taylor]: Taking taylor expansion of y in x 4.564 * [backup-simplify]: Simplify y into y 4.564 * [taylor]: Taking taylor expansion of (log E) in x 4.564 * [taylor]: Taking taylor expansion of E in x 4.564 * [backup-simplify]: Simplify E into E 4.564 * [backup-simplify]: Simplify (log E) into 1 4.564 * [backup-simplify]: Simplify (* y y) into (pow y 2) 4.564 * [backup-simplify]: Simplify (* (pow y 2) 1) into (pow y 2) 4.564 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 4.564 * [taylor]: Taking taylor expansion of (* x (pow E (pow y 2))) in x 4.564 * [taylor]: Taking taylor expansion of x in x 4.564 * [backup-simplify]: Simplify 0 into 0 4.564 * [backup-simplify]: Simplify 1 into 1 4.564 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in x 4.564 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in x 4.564 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in x 4.564 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.564 * [taylor]: Taking taylor expansion of y in x 4.564 * [backup-simplify]: Simplify y into y 4.564 * [taylor]: Taking taylor expansion of (log E) in x 4.564 * [taylor]: Taking taylor expansion of E in x 4.564 * [backup-simplify]: Simplify E into E 4.564 * [backup-simplify]: Simplify (log E) into 1 4.564 * [backup-simplify]: Simplify (* y y) into (pow y 2) 4.564 * [backup-simplify]: Simplify (* (pow y 2) 1) into (pow y 2) 4.565 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 4.565 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 4.565 * [taylor]: Taking taylor expansion of 0 in y 4.565 * [backup-simplify]: Simplify 0 into 0 4.565 * [backup-simplify]: Simplify 0 into 0 4.566 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 4.566 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 4.566 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 1)) into 0 4.566 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 4.567 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2)) 4.567 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 4.567 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.567 * [taylor]: Taking taylor expansion of y in y 4.567 * [backup-simplify]: Simplify 0 into 0 4.567 * [backup-simplify]: Simplify 1 into 1 4.567 * [backup-simplify]: Simplify (* 1 1) into 1 4.567 * [backup-simplify]: Simplify (exp 0) into 1 4.567 * [backup-simplify]: Simplify 1 into 1 4.567 * [backup-simplify]: Simplify 0 into 0 4.569 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 4.569 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 4.570 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 1))) into 0 4.570 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.571 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0 4.571 * [taylor]: Taking taylor expansion of 0 in y 4.571 * [backup-simplify]: Simplify 0 into 0 4.571 * [backup-simplify]: Simplify 0 into 0 4.572 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 4.572 * [backup-simplify]: Simplify 0 into 0 4.572 * [backup-simplify]: Simplify 0 into 0 4.576 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 4.577 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 4.578 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.579 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.580 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0 4.580 * [taylor]: Taking taylor expansion of 0 in y 4.580 * [backup-simplify]: Simplify 0 into 0 4.580 * [backup-simplify]: Simplify 0 into 0 4.580 * [backup-simplify]: Simplify 0 into 0 4.580 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 4.580 * [backup-simplify]: Simplify (* (/ 1 x) (pow (exp 1) (pow (/ 1 y) 2))) into (/ (pow E (pow (/ 1 y) 2)) x) 4.580 * [approximate]: Taking taylor expansion of (/ (pow E (pow (/ 1 y) 2)) x) in (x y) around 0 4.581 * [taylor]: Taking taylor expansion of (/ (pow E (pow (/ 1 y) 2)) x) in y 4.581 * [taylor]: Taking taylor expansion of (pow E (pow (/ 1 y) 2)) in y 4.581 * [taylor]: Taking taylor expansion of (exp (* (pow (/ 1 y) 2) (log E))) in y 4.581 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 2) (log E)) in y 4.581 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2) in y 4.581 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.581 * [taylor]: Taking taylor expansion of y in y 4.581 * [backup-simplify]: Simplify 0 into 0 4.581 * [backup-simplify]: Simplify 1 into 1 4.581 * [backup-simplify]: Simplify (/ 1 1) into 1 4.581 * [taylor]: Taking taylor expansion of (log E) in y 4.581 * [taylor]: Taking taylor expansion of E in y 4.581 * [backup-simplify]: Simplify E into E 4.581 * [backup-simplify]: Simplify (log E) into 1 4.581 * [backup-simplify]: Simplify (* 1 1) into 1 4.581 * [backup-simplify]: Simplify (* 1 1) into 1 4.582 * [backup-simplify]: Simplify (exp (* (pow (/ 1 y) 2) (log E))) into (exp (/ 1 (pow y 2))) 4.582 * [taylor]: Taking taylor expansion of x in y 4.582 * [backup-simplify]: Simplify x into x 4.582 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 4.582 * [taylor]: Taking taylor expansion of (/ (pow E (pow (/ 1 y) 2)) x) in x 4.582 * [taylor]: Taking taylor expansion of (pow E (pow (/ 1 y) 2)) in x 4.582 * [taylor]: Taking taylor expansion of (exp (* (pow (/ 1 y) 2) (log E))) in x 4.582 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 2) (log E)) in x 4.582 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2) in x 4.582 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.582 * [taylor]: Taking taylor expansion of y in x 4.582 * [backup-simplify]: Simplify y into y 4.582 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.582 * [taylor]: Taking taylor expansion of (log E) in x 4.582 * [taylor]: Taking taylor expansion of E in x 4.582 * [backup-simplify]: Simplify E into E 4.582 * [backup-simplify]: Simplify (log E) into 1 4.582 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 4.582 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2)) 4.582 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.582 * [taylor]: Taking taylor expansion of x in x 4.582 * [backup-simplify]: Simplify 0 into 0 4.582 * [backup-simplify]: Simplify 1 into 1 4.582 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 4.582 * [taylor]: Taking taylor expansion of (/ (pow E (pow (/ 1 y) 2)) x) in x 4.582 * [taylor]: Taking taylor expansion of (pow E (pow (/ 1 y) 2)) in x 4.583 * [taylor]: Taking taylor expansion of (exp (* (pow (/ 1 y) 2) (log E))) in x 4.583 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 2) (log E)) in x 4.583 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2) in x 4.583 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.583 * [taylor]: Taking taylor expansion of y in x 4.583 * [backup-simplify]: Simplify y into y 4.583 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.583 * [taylor]: Taking taylor expansion of (log E) in x 4.583 * [taylor]: Taking taylor expansion of E in x 4.583 * [backup-simplify]: Simplify E into E 4.583 * [backup-simplify]: Simplify (log E) into 1 4.583 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 4.583 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2)) 4.583 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.583 * [taylor]: Taking taylor expansion of x in x 4.583 * [backup-simplify]: Simplify 0 into 0 4.583 * [backup-simplify]: Simplify 1 into 1 4.583 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 4.583 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.583 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.583 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.583 * [taylor]: Taking taylor expansion of y in y 4.583 * [backup-simplify]: Simplify 0 into 0 4.583 * [backup-simplify]: Simplify 1 into 1 4.584 * [backup-simplify]: Simplify (* 1 1) into 1 4.584 * [backup-simplify]: Simplify (/ 1 1) into 1 4.584 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.584 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.585 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 4.585 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.585 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (/ 1 y))) into 0 4.585 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (* 0 1)) into 0 4.586 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 4.587 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 4.587 * [taylor]: Taking taylor expansion of 0 in y 4.587 * [backup-simplify]: Simplify 0 into 0 4.587 * [backup-simplify]: Simplify 0 into 0 4.587 * [backup-simplify]: Simplify 0 into 0 4.588 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 4.588 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.589 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 4.589 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (* 0 1))) into 0 4.590 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.591 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.591 * [taylor]: Taking taylor expansion of 0 in y 4.591 * [backup-simplify]: Simplify 0 into 0 4.591 * [backup-simplify]: Simplify 0 into 0 4.591 * [backup-simplify]: Simplify 0 into 0 4.591 * [backup-simplify]: Simplify 0 into 0 4.594 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 4.594 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.595 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 4.595 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.596 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.597 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.597 * [taylor]: Taking taylor expansion of 0 in y 4.598 * [backup-simplify]: Simplify 0 into 0 4.598 * [backup-simplify]: Simplify 0 into 0 4.598 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2))) 4.598 * [backup-simplify]: Simplify (* (/ 1 (- x)) (pow (exp 1) (pow (/ 1 (- y)) 2))) into (* -1 (/ (pow E (pow (/ -1 y) 2)) x)) 4.598 * [approximate]: Taking taylor expansion of (* -1 (/ (pow E (pow (/ -1 y) 2)) x)) in (x y) around 0 4.598 * [taylor]: Taking taylor expansion of (* -1 (/ (pow E (pow (/ -1 y) 2)) x)) in y 4.598 * [taylor]: Taking taylor expansion of -1 in y 4.598 * [backup-simplify]: Simplify -1 into -1 4.598 * [taylor]: Taking taylor expansion of (/ (pow E (pow (/ -1 y) 2)) x) in y 4.598 * [taylor]: Taking taylor expansion of (pow E (pow (/ -1 y) 2)) in y 4.598 * [taylor]: Taking taylor expansion of (exp (* (pow (/ -1 y) 2) (log E))) in y 4.598 * [taylor]: Taking taylor expansion of (* (pow (/ -1 y) 2) (log E)) in y 4.598 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2) in y 4.598 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.598 * [taylor]: Taking taylor expansion of -1 in y 4.598 * [backup-simplify]: Simplify -1 into -1 4.598 * [taylor]: Taking taylor expansion of y in y 4.598 * [backup-simplify]: Simplify 0 into 0 4.598 * [backup-simplify]: Simplify 1 into 1 4.598 * [backup-simplify]: Simplify (/ -1 1) into -1 4.598 * [taylor]: Taking taylor expansion of (log E) in y 4.599 * [taylor]: Taking taylor expansion of E in y 4.599 * [backup-simplify]: Simplify E into E 4.599 * [backup-simplify]: Simplify (log E) into 1 4.599 * [backup-simplify]: Simplify (* -1 -1) into 1 4.599 * [backup-simplify]: Simplify (* 1 1) into 1 4.599 * [backup-simplify]: Simplify (exp (* (pow (/ -1 y) 2) (log E))) into (exp (/ 1 (pow y 2))) 4.599 * [taylor]: Taking taylor expansion of x in y 4.599 * [backup-simplify]: Simplify x into x 4.599 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 4.599 * [taylor]: Taking taylor expansion of (* -1 (/ (pow E (pow (/ -1 y) 2)) x)) in x 4.599 * [taylor]: Taking taylor expansion of -1 in x 4.599 * [backup-simplify]: Simplify -1 into -1 4.599 * [taylor]: Taking taylor expansion of (/ (pow E (pow (/ -1 y) 2)) x) in x 4.599 * [taylor]: Taking taylor expansion of (pow E (pow (/ -1 y) 2)) in x 4.599 * [taylor]: Taking taylor expansion of (exp (* (pow (/ -1 y) 2) (log E))) in x 4.599 * [taylor]: Taking taylor expansion of (* (pow (/ -1 y) 2) (log E)) in x 4.599 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2) in x 4.599 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.600 * [taylor]: Taking taylor expansion of -1 in x 4.600 * [backup-simplify]: Simplify -1 into -1 4.600 * [taylor]: Taking taylor expansion of y in x 4.600 * [backup-simplify]: Simplify y into y 4.600 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.600 * [taylor]: Taking taylor expansion of (log E) in x 4.600 * [taylor]: Taking taylor expansion of E in x 4.600 * [backup-simplify]: Simplify E into E 4.600 * [backup-simplify]: Simplify (log E) into 1 4.600 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2)) 4.600 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2)) 4.600 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.600 * [taylor]: Taking taylor expansion of x in x 4.600 * [backup-simplify]: Simplify 0 into 0 4.600 * [backup-simplify]: Simplify 1 into 1 4.600 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 4.600 * [taylor]: Taking taylor expansion of (* -1 (/ (pow E (pow (/ -1 y) 2)) x)) in x 4.600 * [taylor]: Taking taylor expansion of -1 in x 4.600 * [backup-simplify]: Simplify -1 into -1 4.600 * [taylor]: Taking taylor expansion of (/ (pow E (pow (/ -1 y) 2)) x) in x 4.600 * [taylor]: Taking taylor expansion of (pow E (pow (/ -1 y) 2)) in x 4.600 * [taylor]: Taking taylor expansion of (exp (* (pow (/ -1 y) 2) (log E))) in x 4.600 * [taylor]: Taking taylor expansion of (* (pow (/ -1 y) 2) (log E)) in x 4.600 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2) in x 4.600 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.600 * [taylor]: Taking taylor expansion of -1 in x 4.600 * [backup-simplify]: Simplify -1 into -1 4.600 * [taylor]: Taking taylor expansion of y in x 4.600 * [backup-simplify]: Simplify y into y 4.600 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.600 * [taylor]: Taking taylor expansion of (log E) in x 4.600 * [taylor]: Taking taylor expansion of E in x 4.600 * [backup-simplify]: Simplify E into E 4.600 * [backup-simplify]: Simplify (log E) into 1 4.601 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2)) 4.601 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2)) 4.601 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.601 * [taylor]: Taking taylor expansion of x in x 4.601 * [backup-simplify]: Simplify 0 into 0 4.601 * [backup-simplify]: Simplify 1 into 1 4.601 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 4.601 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 4.601 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 4.601 * [taylor]: Taking taylor expansion of -1 in y 4.601 * [backup-simplify]: Simplify -1 into -1 4.601 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.601 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.601 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.601 * [taylor]: Taking taylor expansion of y in y 4.601 * [backup-simplify]: Simplify 0 into 0 4.601 * [backup-simplify]: Simplify 1 into 1 4.601 * [backup-simplify]: Simplify (* 1 1) into 1 4.602 * [backup-simplify]: Simplify (/ 1 1) into 1 4.602 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.602 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 4.602 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 4.603 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 4.603 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 4.603 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (/ -1 y))) into 0 4.603 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (* 0 1)) into 0 4.604 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 4.605 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 4.605 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 4.605 * [taylor]: Taking taylor expansion of 0 in y 4.605 * [backup-simplify]: Simplify 0 into 0 4.605 * [backup-simplify]: Simplify 0 into 0 4.605 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 4.605 * [backup-simplify]: Simplify 0 into 0 4.607 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 4.607 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.608 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 4.611 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (* 0 1))) into 0 4.612 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.613 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.613 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 4.613 * [taylor]: Taking taylor expansion of 0 in y 4.614 * [backup-simplify]: Simplify 0 into 0 4.614 * [backup-simplify]: Simplify 0 into 0 4.614 * [backup-simplify]: Simplify 0 into 0 4.614 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 4.614 * [backup-simplify]: Simplify 0 into 0 4.617 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 4.617 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.618 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 4.618 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.619 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.620 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.621 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0 4.621 * [taylor]: Taking taylor expansion of 0 in y 4.621 * [backup-simplify]: Simplify 0 into 0 4.621 * [backup-simplify]: Simplify 0 into 0 4.622 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2))) 4.622 * * * [progress]: simplifying candidates 4.622 * [simplify]: Simplifying: (* 1 (pow y 2)) (* (log (exp 1)) (pow y 2)) (* 1 (pow y 2)) (* (cbrt 1) (pow y 2)) (* (sqrt 1) (pow y 2)) (* 1 (pow y 2)) (pow (exp 1) (pow (* (cbrt y) (cbrt y)) 2)) (pow (exp 1) (pow (sqrt y) 2)) (pow (exp 1) (pow 1 2)) (pow (exp 1) y) (pow (exp 1) (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (pow (exp 1) (sqrt (pow y 2))) (pow (exp 1) 1) (pow (exp 1) (pow y (/ 2 2))) (pow (* (cbrt (exp 1)) (cbrt (exp 1))) (pow y 2)) (pow (cbrt (exp 1)) (pow y 2)) (pow (sqrt (exp 1)) (pow y 2)) (pow (sqrt (exp 1)) (pow y 2)) (pow 1 (pow y 2)) (pow (exp 1) (pow y 2)) (log (pow (exp 1) (pow y 2))) (exp (pow (exp 1) (pow y 2))) (* (cbrt (pow (exp 1) (pow y 2))) (cbrt (pow (exp 1) (pow y 2)))) (cbrt (pow (exp 1) (pow y 2))) (* (* (pow (exp 1) (pow y 2)) (pow (exp 1) (pow y 2))) (pow (exp 1) (pow y 2))) (sqrt (pow (exp 1) (pow y 2))) (sqrt (pow (exp 1) (pow y 2))) (pow (exp 1) (/ (pow y 2) 2)) (pow (exp 1) (/ (pow y 2) 2)) (+ (log x) (* 1 (pow y 2))) (+ (log x) (* (log (exp 1)) (pow y 2))) (+ (log x) (log (pow (exp 1) (pow y 2)))) (log (* x (pow (exp 1) (pow y 2)))) (exp (* x (pow (exp 1) (pow y 2)))) (* (* (* x x) x) (* (* (pow (exp 1) (pow y 2)) (pow (exp 1) (pow y 2))) (pow (exp 1) (pow y 2)))) (* (cbrt (* x (pow (exp 1) (pow y 2)))) (cbrt (* x (pow (exp 1) (pow y 2))))) (cbrt (* x (pow (exp 1) (pow y 2)))) (* (* (* x (pow (exp 1) (pow y 2))) (* x (pow (exp 1) (pow y 2)))) (* x (pow (exp 1) (pow y 2)))) (sqrt (* x (pow (exp 1) (pow y 2)))) (sqrt (* x (pow (exp 1) (pow y 2)))) (* (sqrt x) (pow (sqrt (exp 1)) (pow y 2))) (* (sqrt x) (pow (sqrt (exp 1)) (pow y 2))) (* (sqrt x) (sqrt (pow (exp 1) (pow y 2)))) (* (sqrt x) (sqrt (pow (exp 1) (pow y 2)))) (* (sqrt x) (pow (exp 1) (/ (pow y 2) 2))) (* (sqrt x) (pow (exp 1) (/ (pow y 2) 2))) (* x (pow (* (cbrt (exp 1)) (cbrt (exp 1))) (pow y 2))) (* x (pow (sqrt (exp 1)) (pow y 2))) (* x (pow 1 (pow y 2))) (* x (* (cbrt (pow (exp 1) (pow y 2))) (cbrt (pow (exp 1) (pow y 2))))) (* x (sqrt (pow (exp 1) (pow y 2)))) (* x 1) (* x (pow (exp 1) (/ (pow y 2) 2))) (* (cbrt x) (pow (exp 1) (pow y 2))) (* (sqrt x) (pow (exp 1) (pow y 2))) (* x (pow (exp 1) (pow y 2))) (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1)) (exp (pow y 2)) (exp (pow y 2)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 4.623 * * [simplify]: Extracting # 0 : cost 0 4.623 * * [simplify]: Extracting # 1 : cost 0 4.624 * * [simplify]: Extracting # 2 : cost 0 4.624 * * [simplify]: Extracting # 3 : cost 0 4.624 * * [simplify]: Extracting # 4 : cost 0 4.624 * * [simplify]: Extracting # 5 : cost 0 4.624 * * [simplify]: Extracting # 6 : cost 0 4.624 * * [simplify]: Extracting # 7 : cost 0 4.624 * * [simplify]: iteration 0 : 86 enodes (cost 553 ) 4.652 * * [simplify]: Extracting # 0 : cost 0 4.652 * * [simplify]: Extracting # 1 : cost 0 4.652 * * [simplify]: Extracting # 2 : cost 0 4.652 * * [simplify]: Extracting # 3 : cost 0 4.653 * * [simplify]: Extracting # 4 : cost 0 4.653 * * [simplify]: iteration 1 : 221 enodes (cost 441 ) 4.737 * * [simplify]: Extracting # 0 : cost 0 4.738 * * [simplify]: Extracting # 1 : cost 0 4.739 * * [simplify]: Extracting # 2 : cost 0 4.740 * * [simplify]: Extracting # 3 : cost 0 4.741 * * [simplify]: Extracting # 4 : cost 0 4.741 * * [simplify]: iteration 2 : 841 enodes (cost 380 ) 5.126 * * [simplify]: Extracting # 0 : cost 0 5.133 * * [simplify]: Extracting # 1 : cost 0 5.143 * * [simplify]: Extracting # 2 : cost 0 5.149 * * [simplify]: Extracting # 3 : cost 0 5.155 * * [simplify]: Extracting # 4 : cost 0 5.160 * * [simplify]: iteration done: 5001 enodes (cost 378 ) 5.161 * [simplify]: Simplified to: (pow y 2) (pow y 2) (pow y 2) (pow y 2) (pow y 2) (pow y 2) (pow E (pow (* (cbrt y) (cbrt y)) 2)) (pow E y) E (pow E y) (pow E (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (pow E (fabs y)) E (pow E y) (pow (* (cbrt E) (cbrt E)) (pow y 2)) (pow (cbrt E) (pow y 2)) (pow (sqrt E) (pow y 2)) (pow (sqrt E) (pow y 2)) 1 (exp (pow y 2)) (pow y 2) (exp (exp (pow y 2))) (* (cbrt (exp (pow y 2))) (cbrt (exp (pow y 2)))) (cbrt (exp (pow y 2))) (pow (exp (pow y 2)) 3) (sqrt (exp (pow y 2))) (sqrt (exp (pow y 2))) (pow E (/ (pow y 2) 2)) (pow E (/ (pow y 2) 2)) (+ (pow y 2) (log x)) (+ (pow y 2) (log x)) (+ (pow y 2) (log x)) (+ (pow y 2) (log x)) (pow (exp x) (exp (pow y 2))) (pow (* x (exp (pow y 2))) 3) (* (cbrt (* x (exp (pow y 2)))) (cbrt (* x (exp (pow y 2))))) (cbrt (* x (exp (pow y 2)))) (pow (* x (exp (pow y 2))) 3) (sqrt (* x (exp (pow y 2)))) (sqrt (* x (exp (pow y 2)))) (* (sqrt x) (pow (sqrt E) (pow y 2))) (* (sqrt x) (pow (sqrt E) (pow y 2))) (* (sqrt (exp (pow y 2))) (sqrt x)) (* (sqrt (exp (pow y 2))) (sqrt x)) (* (sqrt x) (pow E (/ (pow y 2) 2))) (* (sqrt x) (pow E (/ (pow y 2) 2))) (* x (pow (* (cbrt E) (cbrt E)) (pow y 2))) (* (pow (sqrt E) (pow y 2)) x) x (* (cbrt (exp (pow y 2))) (* x (cbrt (exp (pow y 2))))) (* x (sqrt (exp (pow y 2)))) x (* (pow E (/ (pow y 2) 2)) x) (* (exp (pow y 2)) (cbrt x)) (* (sqrt x) (exp (pow y 2))) (* x (exp (pow y 2))) (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1)) (exp (pow y 2)) (exp (pow y 2)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 5.161 * * * [progress]: adding candidates to table 5.358 * * [progress]: iteration 4 / 4 5.358 * * * [progress]: picking best candidate 5.367 * * * * [pick]: Picked # 5.368 * * * [progress]: localizing error 5.389 * * * [progress]: generating rewritten candidates 5.389 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 5.392 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2) 5.395 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1) 5.398 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 5.428 * * * [progress]: generating series expansions 5.428 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 5.428 * [backup-simplify]: Simplify (cbrt (exp y)) into (pow (exp y) 1/3) 5.428 * [approximate]: Taking taylor expansion of (pow (exp y) 1/3) in (y) around 0 5.428 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y 5.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y 5.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y 5.428 * [taylor]: Taking taylor expansion of 1/3 in y 5.428 * [backup-simplify]: Simplify 1/3 into 1/3 5.428 * [taylor]: Taking taylor expansion of (log (exp y)) in y 5.429 * [taylor]: Taking taylor expansion of (exp y) in y 5.429 * [taylor]: Taking taylor expansion of y in y 5.429 * [backup-simplify]: Simplify 0 into 0 5.429 * [backup-simplify]: Simplify 1 into 1 5.429 * [backup-simplify]: Simplify (exp 0) into 1 5.429 * [backup-simplify]: Simplify (log 1) into 0 5.430 * [backup-simplify]: Simplify (* 1/3 0) into 0 5.430 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 5.431 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 5.432 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 5.432 * [backup-simplify]: Simplify (exp 0) into 1 5.432 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y 5.432 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y 5.432 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y 5.432 * [taylor]: Taking taylor expansion of 1/3 in y 5.432 * [backup-simplify]: Simplify 1/3 into 1/3 5.432 * [taylor]: Taking taylor expansion of (log (exp y)) in y 5.432 * [taylor]: Taking taylor expansion of (exp y) in y 5.432 * [taylor]: Taking taylor expansion of y in y 5.432 * [backup-simplify]: Simplify 0 into 0 5.432 * [backup-simplify]: Simplify 1 into 1 5.432 * [backup-simplify]: Simplify (exp 0) into 1 5.432 * [backup-simplify]: Simplify (log 1) into 0 5.433 * [backup-simplify]: Simplify (* 1/3 0) into 0 5.434 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 5.435 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 5.435 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 5.435 * [backup-simplify]: Simplify (exp 0) into 1 5.435 * [backup-simplify]: Simplify 1 into 1 5.436 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 1) 1)))) into 1/3 5.436 * [backup-simplify]: Simplify 1/3 into 1/3 5.438 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 5.439 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 5.440 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0 5.441 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow 0 1) 1)))) into 1/18 5.442 * [backup-simplify]: Simplify 1/18 into 1/18 5.442 * [backup-simplify]: Simplify (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1)) into (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1)) 5.442 * [backup-simplify]: Simplify (cbrt (exp (/ 1 y))) into (pow (exp (/ 1 y)) 1/3) 5.442 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in (y) around 0 5.442 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y 5.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y 5.442 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y 5.442 * [taylor]: Taking taylor expansion of 1/3 in y 5.442 * [backup-simplify]: Simplify 1/3 into 1/3 5.442 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 5.442 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.442 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.442 * [taylor]: Taking taylor expansion of y in y 5.442 * [backup-simplify]: Simplify 0 into 0 5.442 * [backup-simplify]: Simplify 1 into 1 5.443 * [backup-simplify]: Simplify (/ 1 1) into 1 5.443 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 5.443 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 5.443 * [backup-simplify]: Simplify (* 1/3 (/ 1 y)) into (/ 1/3 y) 5.443 * [backup-simplify]: Simplify (exp (/ 1/3 y)) into (exp (/ 1/3 y)) 5.443 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y 5.443 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y 5.443 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y 5.443 * [taylor]: Taking taylor expansion of 1/3 in y 5.443 * [backup-simplify]: Simplify 1/3 into 1/3 5.443 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 5.443 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.443 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.443 * [taylor]: Taking taylor expansion of y in y 5.443 * [backup-simplify]: Simplify 0 into 0 5.443 * [backup-simplify]: Simplify 1 into 1 5.443 * [backup-simplify]: Simplify (/ 1 1) into 1 5.444 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 5.444 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 5.444 * [backup-simplify]: Simplify (* 1/3 (/ 1 y)) into (/ 1/3 y) 5.444 * [backup-simplify]: Simplify (exp (/ 1/3 y)) into (exp (/ 1/3 y)) 5.444 * [backup-simplify]: Simplify (exp (/ 1/3 y)) into (exp (/ 1/3 y)) 5.445 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ 1 y)) 1)))) 1) into 0 5.445 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (/ 1 y))) into 0 5.446 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 1) 1)))) into 0 5.446 * [backup-simplify]: Simplify 0 into 0 5.447 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 1)))) 2) into 0 5.448 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 5.449 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.449 * [backup-simplify]: Simplify 0 into 0 5.451 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 1)))) 6) into 0 5.452 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 5.453 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.453 * [backup-simplify]: Simplify 0 into 0 5.457 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (/ 1 y)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (/ 1 y)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 1)))) 24) into 0 5.458 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y)))))) into 0 5.460 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.460 * [backup-simplify]: Simplify 0 into 0 5.466 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (/ 1 y)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (/ 1 y)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ 1 y)) 1)))) 120) into 0 5.468 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))))) into 0 5.471 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.471 * [backup-simplify]: Simplify 0 into 0 5.480 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (/ 1 y)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (/ 1 y)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (/ 1 y)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (/ 1 y)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (/ 1 y)) 1)))) 720) into 0 5.482 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y)))))))) into 0 5.487 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.487 * [backup-simplify]: Simplify 0 into 0 5.487 * [backup-simplify]: Simplify (exp (/ 1/3 (/ 1 y))) into (exp (* 1/3 y)) 5.487 * [backup-simplify]: Simplify (cbrt (exp (/ 1 (- y)))) into (pow (exp (/ -1 y)) 1/3) 5.487 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in (y) around 0 5.487 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y 5.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y 5.487 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y 5.487 * [taylor]: Taking taylor expansion of 1/3 in y 5.487 * [backup-simplify]: Simplify 1/3 into 1/3 5.487 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 5.487 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.487 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.487 * [taylor]: Taking taylor expansion of -1 in y 5.487 * [backup-simplify]: Simplify -1 into -1 5.487 * [taylor]: Taking taylor expansion of y in y 5.487 * [backup-simplify]: Simplify 0 into 0 5.487 * [backup-simplify]: Simplify 1 into 1 5.488 * [backup-simplify]: Simplify (/ -1 1) into -1 5.488 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 5.488 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 5.488 * [backup-simplify]: Simplify (* 1/3 (/ -1 y)) into (/ -1/3 y) 5.488 * [backup-simplify]: Simplify (exp (/ -1/3 y)) into (exp (/ -1/3 y)) 5.488 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y 5.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y 5.488 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y 5.488 * [taylor]: Taking taylor expansion of 1/3 in y 5.488 * [backup-simplify]: Simplify 1/3 into 1/3 5.488 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 5.488 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.488 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.488 * [taylor]: Taking taylor expansion of -1 in y 5.488 * [backup-simplify]: Simplify -1 into -1 5.488 * [taylor]: Taking taylor expansion of y in y 5.488 * [backup-simplify]: Simplify 0 into 0 5.488 * [backup-simplify]: Simplify 1 into 1 5.489 * [backup-simplify]: Simplify (/ -1 1) into -1 5.489 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 5.489 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 5.489 * [backup-simplify]: Simplify (* 1/3 (/ -1 y)) into (/ -1/3 y) 5.489 * [backup-simplify]: Simplify (exp (/ -1/3 y)) into (exp (/ -1/3 y)) 5.489 * [backup-simplify]: Simplify (exp (/ -1/3 y)) into (exp (/ -1/3 y)) 5.490 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ -1 y)) 1)))) 1) into 0 5.490 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (/ -1 y))) into 0 5.491 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 1) 1)))) into 0 5.491 * [backup-simplify]: Simplify 0 into 0 5.492 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 1)))) 2) into 0 5.493 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 5.494 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.494 * [backup-simplify]: Simplify 0 into 0 5.496 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 1)))) 6) into 0 5.497 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 5.499 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.499 * [backup-simplify]: Simplify 0 into 0 5.502 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (/ -1 y)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (/ -1 y)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 1)))) 24) into 0 5.503 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y)))))) into 0 5.504 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.504 * [backup-simplify]: Simplify 0 into 0 5.509 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (/ -1 y)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (/ -1 y)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ -1 y)) 1)))) 120) into 0 5.510 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))))) into 0 5.512 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.512 * [backup-simplify]: Simplify 0 into 0 5.522 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (/ -1 y)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (/ -1 y)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (/ -1 y)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (/ -1 y)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (/ -1 y)) 1)))) 720) into 0 5.526 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y)))))))) into 0 5.529 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.529 * [backup-simplify]: Simplify 0 into 0 5.529 * [backup-simplify]: Simplify (exp (/ -1/3 (/ 1 (- y)))) into (exp (* 1/3 y)) 5.529 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2) 5.530 * [backup-simplify]: Simplify (cbrt (exp y)) into (pow (exp y) 1/3) 5.530 * [approximate]: Taking taylor expansion of (pow (exp y) 1/3) in (y) around 0 5.530 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y 5.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y 5.530 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y 5.530 * [taylor]: Taking taylor expansion of 1/3 in y 5.530 * [backup-simplify]: Simplify 1/3 into 1/3 5.530 * [taylor]: Taking taylor expansion of (log (exp y)) in y 5.530 * [taylor]: Taking taylor expansion of (exp y) in y 5.530 * [taylor]: Taking taylor expansion of y in y 5.530 * [backup-simplify]: Simplify 0 into 0 5.530 * [backup-simplify]: Simplify 1 into 1 5.530 * [backup-simplify]: Simplify (exp 0) into 1 5.530 * [backup-simplify]: Simplify (log 1) into 0 5.530 * [backup-simplify]: Simplify (* 1/3 0) into 0 5.531 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 5.531 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 5.532 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 5.532 * [backup-simplify]: Simplify (exp 0) into 1 5.532 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y 5.532 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y 5.532 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y 5.532 * [taylor]: Taking taylor expansion of 1/3 in y 5.532 * [backup-simplify]: Simplify 1/3 into 1/3 5.532 * [taylor]: Taking taylor expansion of (log (exp y)) in y 5.532 * [taylor]: Taking taylor expansion of (exp y) in y 5.532 * [taylor]: Taking taylor expansion of y in y 5.532 * [backup-simplify]: Simplify 0 into 0 5.532 * [backup-simplify]: Simplify 1 into 1 5.532 * [backup-simplify]: Simplify (exp 0) into 1 5.532 * [backup-simplify]: Simplify (log 1) into 0 5.533 * [backup-simplify]: Simplify (* 1/3 0) into 0 5.533 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 5.534 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 5.534 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 5.534 * [backup-simplify]: Simplify (exp 0) into 1 5.535 * [backup-simplify]: Simplify 1 into 1 5.535 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 1) 1)))) into 1/3 5.535 * [backup-simplify]: Simplify 1/3 into 1/3 5.536 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 5.537 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 5.538 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0 5.539 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow 0 1) 1)))) into 1/18 5.539 * [backup-simplify]: Simplify 1/18 into 1/18 5.539 * [backup-simplify]: Simplify (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1)) into (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1)) 5.539 * [backup-simplify]: Simplify (cbrt (exp (/ 1 y))) into (pow (exp (/ 1 y)) 1/3) 5.539 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in (y) around 0 5.539 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y 5.539 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y 5.539 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y 5.539 * [taylor]: Taking taylor expansion of 1/3 in y 5.539 * [backup-simplify]: Simplify 1/3 into 1/3 5.539 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 5.539 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.539 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.539 * [taylor]: Taking taylor expansion of y in y 5.539 * [backup-simplify]: Simplify 0 into 0 5.539 * [backup-simplify]: Simplify 1 into 1 5.540 * [backup-simplify]: Simplify (/ 1 1) into 1 5.540 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 5.540 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 5.540 * [backup-simplify]: Simplify (* 1/3 (/ 1 y)) into (/ 1/3 y) 5.540 * [backup-simplify]: Simplify (exp (/ 1/3 y)) into (exp (/ 1/3 y)) 5.540 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y 5.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y 5.540 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y 5.540 * [taylor]: Taking taylor expansion of 1/3 in y 5.540 * [backup-simplify]: Simplify 1/3 into 1/3 5.540 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 5.540 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.540 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.540 * [taylor]: Taking taylor expansion of y in y 5.540 * [backup-simplify]: Simplify 0 into 0 5.540 * [backup-simplify]: Simplify 1 into 1 5.540 * [backup-simplify]: Simplify (/ 1 1) into 1 5.540 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 5.540 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 5.541 * [backup-simplify]: Simplify (* 1/3 (/ 1 y)) into (/ 1/3 y) 5.541 * [backup-simplify]: Simplify (exp (/ 1/3 y)) into (exp (/ 1/3 y)) 5.541 * [backup-simplify]: Simplify (exp (/ 1/3 y)) into (exp (/ 1/3 y)) 5.541 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ 1 y)) 1)))) 1) into 0 5.542 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (/ 1 y))) into 0 5.542 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 1) 1)))) into 0 5.542 * [backup-simplify]: Simplify 0 into 0 5.543 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 1)))) 2) into 0 5.544 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 5.544 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.544 * [backup-simplify]: Simplify 0 into 0 5.546 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 1)))) 6) into 0 5.547 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 5.548 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.548 * [backup-simplify]: Simplify 0 into 0 5.550 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (/ 1 y)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (/ 1 y)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 1)))) 24) into 0 5.551 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y)))))) into 0 5.553 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.553 * [backup-simplify]: Simplify 0 into 0 5.557 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (/ 1 y)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (/ 1 y)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ 1 y)) 1)))) 120) into 0 5.558 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))))) into 0 5.560 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.560 * [backup-simplify]: Simplify 0 into 0 5.567 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (/ 1 y)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (/ 1 y)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (/ 1 y)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (/ 1 y)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (/ 1 y)) 1)))) 720) into 0 5.569 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y)))))))) into 0 5.571 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.571 * [backup-simplify]: Simplify 0 into 0 5.572 * [backup-simplify]: Simplify (exp (/ 1/3 (/ 1 y))) into (exp (* 1/3 y)) 5.572 * [backup-simplify]: Simplify (cbrt (exp (/ 1 (- y)))) into (pow (exp (/ -1 y)) 1/3) 5.572 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in (y) around 0 5.572 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y 5.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y 5.572 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y 5.572 * [taylor]: Taking taylor expansion of 1/3 in y 5.572 * [backup-simplify]: Simplify 1/3 into 1/3 5.572 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 5.572 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.572 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.572 * [taylor]: Taking taylor expansion of -1 in y 5.572 * [backup-simplify]: Simplify -1 into -1 5.572 * [taylor]: Taking taylor expansion of y in y 5.572 * [backup-simplify]: Simplify 0 into 0 5.572 * [backup-simplify]: Simplify 1 into 1 5.572 * [backup-simplify]: Simplify (/ -1 1) into -1 5.572 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 5.572 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 5.572 * [backup-simplify]: Simplify (* 1/3 (/ -1 y)) into (/ -1/3 y) 5.572 * [backup-simplify]: Simplify (exp (/ -1/3 y)) into (exp (/ -1/3 y)) 5.572 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y 5.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y 5.572 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y 5.572 * [taylor]: Taking taylor expansion of 1/3 in y 5.573 * [backup-simplify]: Simplify 1/3 into 1/3 5.573 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 5.573 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.573 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.573 * [taylor]: Taking taylor expansion of -1 in y 5.573 * [backup-simplify]: Simplify -1 into -1 5.573 * [taylor]: Taking taylor expansion of y in y 5.573 * [backup-simplify]: Simplify 0 into 0 5.573 * [backup-simplify]: Simplify 1 into 1 5.573 * [backup-simplify]: Simplify (/ -1 1) into -1 5.573 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 5.573 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 5.573 * [backup-simplify]: Simplify (* 1/3 (/ -1 y)) into (/ -1/3 y) 5.573 * [backup-simplify]: Simplify (exp (/ -1/3 y)) into (exp (/ -1/3 y)) 5.573 * [backup-simplify]: Simplify (exp (/ -1/3 y)) into (exp (/ -1/3 y)) 5.574 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ -1 y)) 1)))) 1) into 0 5.574 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (/ -1 y))) into 0 5.575 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 1) 1)))) into 0 5.575 * [backup-simplify]: Simplify 0 into 0 5.576 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 1)))) 2) into 0 5.576 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 5.577 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.577 * [backup-simplify]: Simplify 0 into 0 5.579 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 1)))) 6) into 0 5.579 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 5.580 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.580 * [backup-simplify]: Simplify 0 into 0 5.584 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (/ -1 y)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (/ -1 y)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 1)))) 24) into 0 5.585 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y)))))) into 0 5.587 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.587 * [backup-simplify]: Simplify 0 into 0 5.593 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (/ -1 y)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (/ -1 y)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ -1 y)) 1)))) 120) into 0 5.594 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))))) into 0 5.597 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.597 * [backup-simplify]: Simplify 0 into 0 5.605 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (/ -1 y)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (/ -1 y)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (/ -1 y)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (/ -1 y)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (/ -1 y)) 1)))) 720) into 0 5.606 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y)))))))) into 0 5.609 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.609 * [backup-simplify]: Simplify 0 into 0 5.609 * [backup-simplify]: Simplify (exp (/ -1/3 (/ 1 (- y)))) into (exp (* 1/3 y)) 5.609 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1) 5.610 * [backup-simplify]: Simplify (cbrt (exp y)) into (pow (exp y) 1/3) 5.610 * [approximate]: Taking taylor expansion of (pow (exp y) 1/3) in (y) around 0 5.610 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y 5.610 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y 5.610 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y 5.610 * [taylor]: Taking taylor expansion of 1/3 in y 5.610 * [backup-simplify]: Simplify 1/3 into 1/3 5.610 * [taylor]: Taking taylor expansion of (log (exp y)) in y 5.610 * [taylor]: Taking taylor expansion of (exp y) in y 5.610 * [taylor]: Taking taylor expansion of y in y 5.610 * [backup-simplify]: Simplify 0 into 0 5.610 * [backup-simplify]: Simplify 1 into 1 5.610 * [backup-simplify]: Simplify (exp 0) into 1 5.612 * [backup-simplify]: Simplify (log 1) into 0 5.612 * [backup-simplify]: Simplify (* 1/3 0) into 0 5.613 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 5.614 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 5.615 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 5.615 * [backup-simplify]: Simplify (exp 0) into 1 5.615 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y 5.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y 5.615 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y 5.615 * [taylor]: Taking taylor expansion of 1/3 in y 5.615 * [backup-simplify]: Simplify 1/3 into 1/3 5.615 * [taylor]: Taking taylor expansion of (log (exp y)) in y 5.615 * [taylor]: Taking taylor expansion of (exp y) in y 5.615 * [taylor]: Taking taylor expansion of y in y 5.615 * [backup-simplify]: Simplify 0 into 0 5.615 * [backup-simplify]: Simplify 1 into 1 5.615 * [backup-simplify]: Simplify (exp 0) into 1 5.615 * [backup-simplify]: Simplify (log 1) into 0 5.616 * [backup-simplify]: Simplify (* 1/3 0) into 0 5.616 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 5.617 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 5.618 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 5.618 * [backup-simplify]: Simplify (exp 0) into 1 5.618 * [backup-simplify]: Simplify 1 into 1 5.619 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 1) 1)))) into 1/3 5.619 * [backup-simplify]: Simplify 1/3 into 1/3 5.620 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 5.622 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 5.623 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0 5.624 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow 0 1) 1)))) into 1/18 5.624 * [backup-simplify]: Simplify 1/18 into 1/18 5.624 * [backup-simplify]: Simplify (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1)) into (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1)) 5.624 * [backup-simplify]: Simplify (cbrt (exp (/ 1 y))) into (pow (exp (/ 1 y)) 1/3) 5.624 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in (y) around 0 5.624 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y 5.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y 5.624 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y 5.624 * [taylor]: Taking taylor expansion of 1/3 in y 5.624 * [backup-simplify]: Simplify 1/3 into 1/3 5.624 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 5.624 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.625 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.625 * [taylor]: Taking taylor expansion of y in y 5.625 * [backup-simplify]: Simplify 0 into 0 5.625 * [backup-simplify]: Simplify 1 into 1 5.625 * [backup-simplify]: Simplify (/ 1 1) into 1 5.625 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 5.625 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 5.625 * [backup-simplify]: Simplify (* 1/3 (/ 1 y)) into (/ 1/3 y) 5.625 * [backup-simplify]: Simplify (exp (/ 1/3 y)) into (exp (/ 1/3 y)) 5.625 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y 5.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y 5.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y 5.625 * [taylor]: Taking taylor expansion of 1/3 in y 5.625 * [backup-simplify]: Simplify 1/3 into 1/3 5.625 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 5.625 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.625 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.625 * [taylor]: Taking taylor expansion of y in y 5.626 * [backup-simplify]: Simplify 0 into 0 5.626 * [backup-simplify]: Simplify 1 into 1 5.626 * [backup-simplify]: Simplify (/ 1 1) into 1 5.626 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 5.626 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 5.626 * [backup-simplify]: Simplify (* 1/3 (/ 1 y)) into (/ 1/3 y) 5.626 * [backup-simplify]: Simplify (exp (/ 1/3 y)) into (exp (/ 1/3 y)) 5.626 * [backup-simplify]: Simplify (exp (/ 1/3 y)) into (exp (/ 1/3 y)) 5.627 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ 1 y)) 1)))) 1) into 0 5.627 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (/ 1 y))) into 0 5.628 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 1) 1)))) into 0 5.628 * [backup-simplify]: Simplify 0 into 0 5.629 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 1)))) 2) into 0 5.630 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 5.631 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.631 * [backup-simplify]: Simplify 0 into 0 5.633 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 1)))) 6) into 0 5.635 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 5.636 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.636 * [backup-simplify]: Simplify 0 into 0 5.640 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (/ 1 y)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (/ 1 y)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 1)))) 24) into 0 5.641 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y)))))) into 0 5.643 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.643 * [backup-simplify]: Simplify 0 into 0 5.649 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (/ 1 y)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (/ 1 y)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ 1 y)) 1)))) 120) into 0 5.650 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))))) into 0 5.653 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.653 * [backup-simplify]: Simplify 0 into 0 5.663 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (/ 1 y)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (/ 1 y)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (/ 1 y)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (/ 1 y)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (/ 1 y)) 1)))) 720) into 0 5.665 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y)))))))) into 0 5.669 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.669 * [backup-simplify]: Simplify 0 into 0 5.669 * [backup-simplify]: Simplify (exp (/ 1/3 (/ 1 y))) into (exp (* 1/3 y)) 5.669 * [backup-simplify]: Simplify (cbrt (exp (/ 1 (- y)))) into (pow (exp (/ -1 y)) 1/3) 5.669 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in (y) around 0 5.669 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y 5.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y 5.669 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y 5.669 * [taylor]: Taking taylor expansion of 1/3 in y 5.669 * [backup-simplify]: Simplify 1/3 into 1/3 5.669 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 5.669 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.669 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.669 * [taylor]: Taking taylor expansion of -1 in y 5.669 * [backup-simplify]: Simplify -1 into -1 5.669 * [taylor]: Taking taylor expansion of y in y 5.669 * [backup-simplify]: Simplify 0 into 0 5.669 * [backup-simplify]: Simplify 1 into 1 5.670 * [backup-simplify]: Simplify (/ -1 1) into -1 5.670 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 5.670 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 5.670 * [backup-simplify]: Simplify (* 1/3 (/ -1 y)) into (/ -1/3 y) 5.670 * [backup-simplify]: Simplify (exp (/ -1/3 y)) into (exp (/ -1/3 y)) 5.670 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y 5.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y 5.670 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y 5.670 * [taylor]: Taking taylor expansion of 1/3 in y 5.670 * [backup-simplify]: Simplify 1/3 into 1/3 5.670 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 5.670 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.670 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.670 * [taylor]: Taking taylor expansion of -1 in y 5.670 * [backup-simplify]: Simplify -1 into -1 5.670 * [taylor]: Taking taylor expansion of y in y 5.670 * [backup-simplify]: Simplify 0 into 0 5.671 * [backup-simplify]: Simplify 1 into 1 5.671 * [backup-simplify]: Simplify (/ -1 1) into -1 5.671 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 5.671 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 5.671 * [backup-simplify]: Simplify (* 1/3 (/ -1 y)) into (/ -1/3 y) 5.671 * [backup-simplify]: Simplify (exp (/ -1/3 y)) into (exp (/ -1/3 y)) 5.671 * [backup-simplify]: Simplify (exp (/ -1/3 y)) into (exp (/ -1/3 y)) 5.672 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ -1 y)) 1)))) 1) into 0 5.672 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (/ -1 y))) into 0 5.673 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 1) 1)))) into 0 5.673 * [backup-simplify]: Simplify 0 into 0 5.675 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 1)))) 2) into 0 5.675 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 5.676 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.676 * [backup-simplify]: Simplify 0 into 0 5.679 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 1)))) 6) into 0 5.679 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 5.681 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.681 * [backup-simplify]: Simplify 0 into 0 5.685 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (/ -1 y)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (/ -1 y)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 1)))) 24) into 0 5.686 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y)))))) into 0 5.688 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.688 * [backup-simplify]: Simplify 0 into 0 5.694 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (/ -1 y)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (/ -1 y)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ -1 y)) 1)))) 120) into 0 5.695 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))))) into 0 5.698 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.698 * [backup-simplify]: Simplify 0 into 0 5.708 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (/ -1 y)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (/ -1 y)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (/ -1 y)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (/ -1 y)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (/ -1 y)) 1)))) 720) into 0 5.710 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y)))))))) into 0 5.714 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.714 * [backup-simplify]: Simplify 0 into 0 5.714 * [backup-simplify]: Simplify (exp (/ -1/3 (/ 1 (- y)))) into (exp (* 1/3 y)) 5.714 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 5.714 * [backup-simplify]: Simplify (* (cbrt (exp y)) (cbrt (exp y))) into (pow (pow (exp y) 2) 1/3) 5.714 * [approximate]: Taking taylor expansion of (pow (pow (exp y) 2) 1/3) in (y) around 0 5.714 * [taylor]: Taking taylor expansion of (pow (pow (exp y) 2) 1/3) in y 5.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp y) 2)))) in y 5.714 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp y) 2))) in y 5.714 * [taylor]: Taking taylor expansion of 1/3 in y 5.714 * [backup-simplify]: Simplify 1/3 into 1/3 5.714 * [taylor]: Taking taylor expansion of (log (pow (exp y) 2)) in y 5.714 * [taylor]: Taking taylor expansion of (pow (exp y) 2) in y 5.714 * [taylor]: Taking taylor expansion of (exp y) in y 5.714 * [taylor]: Taking taylor expansion of y in y 5.715 * [backup-simplify]: Simplify 0 into 0 5.715 * [backup-simplify]: Simplify 1 into 1 5.715 * [backup-simplify]: Simplify (exp 0) into 1 5.715 * [backup-simplify]: Simplify (* 1 1) into 1 5.715 * [backup-simplify]: Simplify (log 1) into 0 5.715 * [backup-simplify]: Simplify (* 1/3 0) into 0 5.716 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 5.717 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2 5.718 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2) 1)) (pow 1 1)))) 1) into 2 5.718 * [backup-simplify]: Simplify (+ (* 1/3 2) (* 0 0)) into 2/3 5.718 * [backup-simplify]: Simplify (exp 0) into 1 5.718 * [taylor]: Taking taylor expansion of (pow (pow (exp y) 2) 1/3) in y 5.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp y) 2)))) in y 5.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp y) 2))) in y 5.718 * [taylor]: Taking taylor expansion of 1/3 in y 5.718 * [backup-simplify]: Simplify 1/3 into 1/3 5.718 * [taylor]: Taking taylor expansion of (log (pow (exp y) 2)) in y 5.718 * [taylor]: Taking taylor expansion of (pow (exp y) 2) in y 5.718 * [taylor]: Taking taylor expansion of (exp y) in y 5.718 * [taylor]: Taking taylor expansion of y in y 5.718 * [backup-simplify]: Simplify 0 into 0 5.718 * [backup-simplify]: Simplify 1 into 1 5.718 * [backup-simplify]: Simplify (exp 0) into 1 5.719 * [backup-simplify]: Simplify (* 1 1) into 1 5.719 * [backup-simplify]: Simplify (log 1) into 0 5.719 * [backup-simplify]: Simplify (* 1/3 0) into 0 5.720 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 5.720 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2 5.724 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2) 1)) (pow 1 1)))) 1) into 2 5.724 * [backup-simplify]: Simplify (+ (* 1/3 2) (* 0 0)) into 2/3 5.724 * [backup-simplify]: Simplify (exp 0) into 1 5.724 * [backup-simplify]: Simplify 1 into 1 5.725 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2/3 1) 1)))) into 2/3 5.725 * [backup-simplify]: Simplify 2/3 into 2/3 5.726 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 5.727 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2 5.729 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 2) 1)) (pow 1 1)))) 2) into 0 5.730 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 2) (* 0 0))) into 0 5.731 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2/3 2) 2)) (* (/ (pow 0 1) 1)))) into 2/9 5.731 * [backup-simplify]: Simplify 2/9 into 2/9 5.731 * [backup-simplify]: Simplify (+ (* 2/9 (pow y 2)) (+ (* 2/3 y) 1)) into (+ (* 2/9 (pow y 2)) (+ (* 2/3 y) 1)) 5.731 * [backup-simplify]: Simplify (* (cbrt (exp (/ 1 y))) (cbrt (exp (/ 1 y)))) into (pow (pow (exp (/ 1 y)) 2) 1/3) 5.731 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 2) 1/3) in (y) around 0 5.731 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 2) 1/3) in y 5.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) in y 5.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ 1 y)) 2))) in y 5.732 * [taylor]: Taking taylor expansion of 1/3 in y 5.732 * [backup-simplify]: Simplify 1/3 into 1/3 5.732 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 y)) 2)) in y 5.732 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 2) in y 5.732 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.732 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.732 * [taylor]: Taking taylor expansion of y in y 5.732 * [backup-simplify]: Simplify 0 into 0 5.732 * [backup-simplify]: Simplify 1 into 1 5.732 * [backup-simplify]: Simplify (/ 1 1) into 1 5.732 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 5.732 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (exp (/ 1 y))) into (pow (exp (/ 1 y)) 2) 5.732 * [backup-simplify]: Simplify (log (pow (exp (/ 1 y)) 2)) into (log (pow (exp (/ 1 y)) 2)) 5.733 * [backup-simplify]: Simplify (* 1/3 (log (pow (exp (/ 1 y)) 2))) into (* 1/3 (log (pow (exp (/ 1 y)) 2))) 5.733 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) into (pow (pow (exp (/ 1 y)) 2) 1/3) 5.733 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 2) 1/3) in y 5.733 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) in y 5.733 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ 1 y)) 2))) in y 5.733 * [taylor]: Taking taylor expansion of 1/3 in y 5.733 * [backup-simplify]: Simplify 1/3 into 1/3 5.733 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 y)) 2)) in y 5.733 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 2) in y 5.733 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.733 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.733 * [taylor]: Taking taylor expansion of y in y 5.733 * [backup-simplify]: Simplify 0 into 0 5.733 * [backup-simplify]: Simplify 1 into 1 5.733 * [backup-simplify]: Simplify (/ 1 1) into 1 5.733 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 5.734 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (exp (/ 1 y))) into (pow (exp (/ 1 y)) 2) 5.734 * [backup-simplify]: Simplify (log (pow (exp (/ 1 y)) 2)) into (log (pow (exp (/ 1 y)) 2)) 5.734 * [backup-simplify]: Simplify (* 1/3 (log (pow (exp (/ 1 y)) 2))) into (* 1/3 (log (pow (exp (/ 1 y)) 2))) 5.734 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) into (pow (pow (exp (/ 1 y)) 2) 1/3) 5.734 * [backup-simplify]: Simplify (pow (pow (exp (/ 1 y)) 2) 1/3) into (pow (pow (exp (/ 1 y)) 2) 1/3) 5.735 * [backup-simplify]: Simplify (+ (* (exp (/ 1 y)) 0) (* 0 (exp (/ 1 y)))) into 0 5.735 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (exp (/ 1 y)) 2) 1)))) 1) into 0 5.736 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (exp (/ 1 y)) 2)))) into 0 5.737 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 5.737 * [backup-simplify]: Simplify 0 into 0 5.737 * [backup-simplify]: Simplify (+ (* (exp (/ 1 y)) 0) (+ (* 0 0) (* 0 (exp (/ 1 y))))) into 0 5.739 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (exp (/ 1 y)) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (exp (/ 1 y)) 2) 1)))) 2) into 0 5.740 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (exp (/ 1 y)) 2))))) into 0 5.741 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.741 * [backup-simplify]: Simplify 0 into 0 5.742 * [backup-simplify]: Simplify (+ (* (exp (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 y)))))) into 0 5.744 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (exp (/ 1 y)) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (exp (/ 1 y)) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (exp (/ 1 y)) 2) 1)))) 6) into 0 5.745 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (exp (/ 1 y)) 2)))))) into 0 5.746 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.746 * [backup-simplify]: Simplify 0 into 0 5.747 * [backup-simplify]: Simplify (+ (* (exp (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 y))))))) into 0 5.752 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (exp (/ 1 y)) 2) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (exp (/ 1 y)) 2) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (exp (/ 1 y)) 2) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (exp (/ 1 y)) 2) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (exp (/ 1 y)) 2) 1)))) 24) into 0 5.753 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (exp (/ 1 y)) 2))))))) into 0 5.755 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.755 * [backup-simplify]: Simplify 0 into 0 5.756 * [backup-simplify]: Simplify (+ (* (exp (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 y)))))))) into 0 5.763 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (exp (/ 1 y)) 2) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (exp (/ 1 y)) 2) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (exp (/ 1 y)) 2) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (exp (/ 1 y)) 2) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (exp (/ 1 y)) 2) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (exp (/ 1 y)) 2) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (exp (/ 1 y)) 2) 1)))) 120) into 0 5.764 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (exp (/ 1 y)) 2)))))))) into 0 5.766 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.766 * [backup-simplify]: Simplify 0 into 0 5.768 * [backup-simplify]: Simplify (+ (* (exp (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 y))))))))) into 0 5.775 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (exp (/ 1 y)) 2) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (exp (/ 1 y)) 2) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (exp (/ 1 y)) 2) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (exp (/ 1 y)) 2) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (exp (/ 1 y)) 2) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (exp (/ 1 y)) 2) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (exp (/ 1 y)) 2) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (exp (/ 1 y)) 2) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (exp (/ 1 y)) 2) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (exp (/ 1 y)) 2) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (exp (/ 1 y)) 2) 1)))) 720) into 0 5.776 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (exp (/ 1 y)) 2))))))))) into 0 5.781 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.781 * [backup-simplify]: Simplify 0 into 0 5.781 * [backup-simplify]: Simplify (pow (pow (exp (/ 1 (/ 1 y))) 2) 1/3) into (pow (pow (exp y) 2) 1/3) 5.781 * [backup-simplify]: Simplify (* (cbrt (exp (/ 1 (- y)))) (cbrt (exp (/ 1 (- y))))) into (pow (pow (exp (/ -1 y)) 2) 1/3) 5.781 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 2) 1/3) in (y) around 0 5.781 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 2) 1/3) in y 5.781 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) in y 5.781 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ -1 y)) 2))) in y 5.781 * [taylor]: Taking taylor expansion of 1/3 in y 5.781 * [backup-simplify]: Simplify 1/3 into 1/3 5.781 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 y)) 2)) in y 5.781 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 2) in y 5.781 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.781 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.782 * [taylor]: Taking taylor expansion of -1 in y 5.782 * [backup-simplify]: Simplify -1 into -1 5.782 * [taylor]: Taking taylor expansion of y in y 5.782 * [backup-simplify]: Simplify 0 into 0 5.782 * [backup-simplify]: Simplify 1 into 1 5.782 * [backup-simplify]: Simplify (/ -1 1) into -1 5.782 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 5.782 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (exp (/ -1 y))) into (pow (exp (/ -1 y)) 2) 5.782 * [backup-simplify]: Simplify (log (pow (exp (/ -1 y)) 2)) into (log (pow (exp (/ -1 y)) 2)) 5.782 * [backup-simplify]: Simplify (* 1/3 (log (pow (exp (/ -1 y)) 2))) into (* 1/3 (log (pow (exp (/ -1 y)) 2))) 5.783 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) into (pow (pow (exp (/ -1 y)) 2) 1/3) 5.783 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 2) 1/3) in y 5.783 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) in y 5.783 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ -1 y)) 2))) in y 5.783 * [taylor]: Taking taylor expansion of 1/3 in y 5.783 * [backup-simplify]: Simplify 1/3 into 1/3 5.783 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 y)) 2)) in y 5.783 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 2) in y 5.783 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.783 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.783 * [taylor]: Taking taylor expansion of -1 in y 5.783 * [backup-simplify]: Simplify -1 into -1 5.783 * [taylor]: Taking taylor expansion of y in y 5.783 * [backup-simplify]: Simplify 0 into 0 5.783 * [backup-simplify]: Simplify 1 into 1 5.783 * [backup-simplify]: Simplify (/ -1 1) into -1 5.783 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 5.784 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (exp (/ -1 y))) into (pow (exp (/ -1 y)) 2) 5.784 * [backup-simplify]: Simplify (log (pow (exp (/ -1 y)) 2)) into (log (pow (exp (/ -1 y)) 2)) 5.784 * [backup-simplify]: Simplify (* 1/3 (log (pow (exp (/ -1 y)) 2))) into (* 1/3 (log (pow (exp (/ -1 y)) 2))) 5.784 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) into (pow (pow (exp (/ -1 y)) 2) 1/3) 5.784 * [backup-simplify]: Simplify (pow (pow (exp (/ -1 y)) 2) 1/3) into (pow (pow (exp (/ -1 y)) 2) 1/3) 5.784 * [backup-simplify]: Simplify (+ (* (exp (/ -1 y)) 0) (* 0 (exp (/ -1 y)))) into 0 5.785 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (exp (/ -1 y)) 2) 1)))) 1) into 0 5.786 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (exp (/ -1 y)) 2)))) into 0 5.787 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 5.787 * [backup-simplify]: Simplify 0 into 0 5.787 * [backup-simplify]: Simplify (+ (* (exp (/ -1 y)) 0) (+ (* 0 0) (* 0 (exp (/ -1 y))))) into 0 5.789 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (exp (/ -1 y)) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (exp (/ -1 y)) 2) 1)))) 2) into 0 5.789 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (exp (/ -1 y)) 2))))) into 0 5.791 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.791 * [backup-simplify]: Simplify 0 into 0 5.791 * [backup-simplify]: Simplify (+ (* (exp (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 y)))))) into 0 5.794 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (exp (/ -1 y)) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (exp (/ -1 y)) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (exp (/ -1 y)) 2) 1)))) 6) into 0 5.795 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (exp (/ -1 y)) 2)))))) into 0 5.796 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.796 * [backup-simplify]: Simplify 0 into 0 5.797 * [backup-simplify]: Simplify (+ (* (exp (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 y))))))) into 0 5.801 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (exp (/ -1 y)) 2) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (exp (/ -1 y)) 2) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (exp (/ -1 y)) 2) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (exp (/ -1 y)) 2) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (exp (/ -1 y)) 2) 1)))) 24) into 0 5.803 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (exp (/ -1 y)) 2))))))) into 0 5.805 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.805 * [backup-simplify]: Simplify 0 into 0 5.806 * [backup-simplify]: Simplify (+ (* (exp (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 y)))))))) into 0 5.813 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (exp (/ -1 y)) 2) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (exp (/ -1 y)) 2) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (exp (/ -1 y)) 2) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (exp (/ -1 y)) 2) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (exp (/ -1 y)) 2) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (exp (/ -1 y)) 2) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (exp (/ -1 y)) 2) 1)))) 120) into 0 5.814 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (exp (/ -1 y)) 2)))))))) into 0 5.817 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.817 * [backup-simplify]: Simplify 0 into 0 5.819 * [backup-simplify]: Simplify (+ (* (exp (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 y))))))))) into 0 5.829 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (exp (/ -1 y)) 2) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (exp (/ -1 y)) 2) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (exp (/ -1 y)) 2) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (exp (/ -1 y)) 2) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (exp (/ -1 y)) 2) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (exp (/ -1 y)) 2) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (exp (/ -1 y)) 2) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (exp (/ -1 y)) 2) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (exp (/ -1 y)) 2) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (exp (/ -1 y)) 2) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (exp (/ -1 y)) 2) 1)))) 720) into 0 5.831 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (exp (/ -1 y)) 2))))))))) into 0 5.838 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.838 * [backup-simplify]: Simplify 0 into 0 5.838 * [backup-simplify]: Simplify (pow (pow (exp (/ -1 (/ 1 (- y)))) 2) 1/3) into (pow (pow (exp y) 2) 1/3) 5.838 * * * [progress]: simplifying candidates 5.840 * [simplify]: Simplifying: (log (cbrt (exp y))) (exp (cbrt (exp y))) (cbrt (* (cbrt (exp y)) (cbrt (exp y)))) (cbrt (cbrt (exp y))) (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))) (cbrt 1) (cbrt (exp y)) (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y)))) (cbrt (cbrt (exp y))) (* (* (cbrt (exp y)) (cbrt (exp y))) (cbrt (exp y))) (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y))) (log (cbrt (exp y))) (exp (cbrt (exp y))) (cbrt (* (cbrt (exp y)) (cbrt (exp y)))) (cbrt (cbrt (exp y))) (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))) (cbrt 1) (cbrt (exp y)) (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y)))) (cbrt (cbrt (exp y))) (* (* (cbrt (exp y)) (cbrt (exp y))) (cbrt (exp y))) (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y))) (log (cbrt (exp y))) (exp (cbrt (exp y))) (cbrt (* (cbrt (exp y)) (cbrt (exp y)))) (cbrt (cbrt (exp y))) (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))) (cbrt 1) (cbrt (exp y)) (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y)))) (cbrt (cbrt (exp y))) (* (* (cbrt (exp y)) (cbrt (exp y))) (cbrt (exp y))) (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y))) (+ 1/3 1/3) (+ 1 1) (* (exp y) (exp y)) (* (cbrt (exp y)) (cbrt (exp y))) (+ 1 1) (+ (log (cbrt (exp y))) (log (cbrt (exp y)))) (log (* (cbrt (exp y)) (cbrt (exp y)))) (exp (* (cbrt (exp y)) (cbrt (exp y)))) (* (exp y) (exp y)) (* (cbrt (* (cbrt (exp y)) (cbrt (exp y)))) (cbrt (* (cbrt (exp y)) (cbrt (exp y))))) (cbrt (* (cbrt (exp y)) (cbrt (exp y)))) (* (* (* (cbrt (exp y)) (cbrt (exp y))) (* (cbrt (exp y)) (cbrt (exp y)))) (* (cbrt (exp y)) (cbrt (exp y)))) (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) (* (cbrt (* (cbrt (exp y)) (cbrt (exp y)))) (cbrt (* (cbrt (exp y)) (cbrt (exp y))))) (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y)))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (exp y)) (cbrt (exp y))) (* (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y)))) (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))) (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y)))) (* (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y)))) (* (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y)))) (* 1 1) (* (cbrt (exp y)) (cbrt (exp y))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (* (cbrt (sqrt (exp y))) (sqrt (cbrt (exp y)))) (* (cbrt (sqrt (exp y))) (sqrt (cbrt (exp y)))) (* (sqrt (cbrt (exp y))) (cbrt (sqrt (exp y)))) (* (sqrt (cbrt (exp y))) (cbrt (sqrt (exp y)))) (* (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y)))) (* (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y)))) (* 2 1/3) (* 2 1) (* (cbrt (exp y)) (cbrt (* (cbrt (exp y)) (cbrt (exp y))))) (* (cbrt (exp y)) (cbrt (sqrt (exp y)))) (* (cbrt (exp y)) (cbrt 1)) (* (cbrt (exp y)) (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))) (* (cbrt (exp y)) (sqrt (cbrt (exp y)))) (* (cbrt (exp y)) 1) (* (cbrt (cbrt (exp y))) (cbrt (exp y))) (* (cbrt (sqrt (exp y))) (cbrt (exp y))) (* (cbrt (exp y)) (cbrt (exp y))) (* (cbrt (cbrt (exp y))) (cbrt (exp y))) (* (sqrt (cbrt (exp y))) (cbrt (exp y))) (* (cbrt (exp y)) (cbrt (exp y))) (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1)) (exp (* 1/3 y)) (exp (* 1/3 y)) (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1)) (exp (* 1/3 y)) (exp (* 1/3 y)) (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1)) (exp (* 1/3 y)) (exp (* 1/3 y)) (+ (* 2/9 (pow y 2)) (+ (* 2/3 y) 1)) (pow (pow (exp y) 2) 1/3) (pow (pow (exp y) 2) 1/3) 5.841 * * [simplify]: Extracting # 0 : cost 0 5.841 * * [simplify]: Extracting # 1 : cost 0 5.841 * * [simplify]: Extracting # 2 : cost 0 5.841 * * [simplify]: Extracting # 3 : cost 0 5.842 * * [simplify]: Extracting # 4 : cost 0 5.842 * * [simplify]: Extracting # 5 : cost 0 5.842 * * [simplify]: Extracting # 6 : cost 0 5.842 * * [simplify]: Extracting # 7 : cost 0 5.842 * * [simplify]: iteration 0 : 60 enodes (cost 678 ) 5.864 * * [simplify]: Extracting # 0 : cost 0 5.864 * * [simplify]: Extracting # 1 : cost 0 5.864 * * [simplify]: Extracting # 2 : cost 0 5.864 * * [simplify]: Extracting # 3 : cost 0 5.864 * * [simplify]: iteration 1 : 134 enodes (cost 613 ) 5.924 * * [simplify]: Extracting # 0 : cost 0 5.924 * * [simplify]: Extracting # 1 : cost 0 5.925 * * [simplify]: Extracting # 2 : cost 0 5.925 * * [simplify]: Extracting # 3 : cost 0 5.925 * * [simplify]: Extracting # 4 : cost 0 5.926 * * [simplify]: iteration 2 : 536 enodes (cost 569 ) 6.621 * * [simplify]: Extracting # 0 : cost 0 6.638 * * [simplify]: Extracting # 1 : cost 0 6.642 * * [simplify]: Extracting # 2 : cost 0 6.646 * * [simplify]: Extracting # 3 : cost 0 6.650 * * [simplify]: Extracting # 4 : cost 0 6.654 * * [simplify]: iteration 3 : 3615 enodes (cost 515 ) 11.975 * * [simplify]: Extracting # 0 : cost 0 12.016 * * [simplify]: Extracting # 1 : cost 0 12.019 * * [simplify]: Extracting # 2 : cost 0 12.022 * * [simplify]: Extracting # 3 : cost 0 12.025 * * [simplify]: Extracting # 4 : cost 0 12.029 * * [simplify]: iteration done: 5000 enodes (cost 497 ) 12.030 * [simplify]: Simplified to: (log (cbrt (exp y))) (exp (cbrt (exp y))) (cbrt (cbrt (exp (+ y y)))) (cbrt (cbrt (exp y))) (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))) 1 (cbrt (exp y)) (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y)))) (cbrt (cbrt (exp y))) (exp y) (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y))) (log (cbrt (exp y))) (exp (cbrt (exp y))) (cbrt (cbrt (exp (+ y y)))) (cbrt (cbrt (exp y))) (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))) 1 (cbrt (exp y)) (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y)))) (cbrt (cbrt (exp y))) (exp y) (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y))) (log (cbrt (exp y))) (exp (cbrt (exp y))) (cbrt (cbrt (exp (+ y y)))) (cbrt (cbrt (exp y))) (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))) 1 (cbrt (exp y)) (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y)))) (cbrt (cbrt (exp y))) (exp y) (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y))) 2/3 2 (exp (+ y y)) (cbrt (exp (+ y y))) 2 (* 2 (log (cbrt (exp y)))) (* 2 (log (cbrt (exp y)))) (exp (cbrt (exp (+ y y)))) (exp (+ y y)) (* (cbrt (cbrt (exp (+ y y)))) (cbrt (cbrt (exp (+ y y))))) (cbrt (cbrt (exp (+ y y)))) (exp (+ y y)) (fabs (cbrt (exp y))) (fabs (cbrt (exp y))) (* (cbrt (cbrt (exp (+ y y)))) (cbrt (cbrt (exp (+ y y))))) (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y)))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) 1 (cbrt (exp (+ y y))) (pow (cbrt (cbrt (exp y))) 4) (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y)))) (cbrt (exp y)) (cbrt (exp y)) 1 (cbrt (exp (+ y y))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (* (cbrt (sqrt (exp y))) (sqrt (cbrt (exp y)))) (* (cbrt (sqrt (exp y))) (sqrt (cbrt (exp y)))) (* (cbrt (sqrt (exp y))) (sqrt (cbrt (exp y)))) (* (cbrt (sqrt (exp y))) (sqrt (cbrt (exp y)))) (cbrt (exp y)) (cbrt (exp y)) 2/3 2 (* (cbrt (exp y)) (cbrt (cbrt (exp (+ y y))))) (* (cbrt (sqrt (exp y))) (cbrt (exp y))) (cbrt (exp y)) (pow (cbrt (cbrt (exp y))) (+ 4 1)) (pow (sqrt (cbrt (exp y))) 3) (cbrt (exp y)) (pow (cbrt (cbrt (exp y))) 4) (* (cbrt (sqrt (exp y))) (cbrt (exp y))) (cbrt (exp (+ y y))) (pow (cbrt (cbrt (exp y))) 4) (pow (sqrt (cbrt (exp y))) 3) (cbrt (exp (+ y y))) (+ 1 (* y (+ (* y 1/18) 1/3))) (cbrt (exp y)) (cbrt (exp y)) (+ 1 (* y (+ (* y 1/18) 1/3))) (cbrt (exp y)) (cbrt (exp y)) (+ 1 (* y (+ (* y 1/18) 1/3))) (cbrt (exp y)) (cbrt (exp y)) (+ 1 (* y (+ 2/3 (* 2/9 y)))) (cbrt (exp (+ y y))) (cbrt (exp (+ y y))) 12.031 * * * [progress]: adding candidates to table 12.346 * [progress]: [Phase 3 of 3] Extracting. 12.346 * * [regime]: Finding splitpoints for: (# # # #) 12.347 * * * [regime-changes]: Trying 2 branch expressions: (y x) 12.347 * * * * [regimes]: Trying to branch on y from (# # # #) 12.382 * * * * [regimes]: Trying to branch on x from (# # # #) 12.425 * * * [regime]: Found split indices: #