3.755 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.064 * * * [progress]: [2/2] Setting up program. 0.068 * [progress]: [Phase 2 of 3] Improving. 0.069 * [simplify]: Simplifying: (/ (- (exp x) 1.0) x) 0.069 * [simplify]: Sending expressions to egg_math: (/ (- (exp h0) 1.0) h0) 0.099 * * [progress]: iteration 1 / 4 0.099 * * * [progress]: picking best candidate 0.102 * * * * [pick]: Picked # 0.102 * * * [progress]: localizing error 0.111 * * * [progress]: generating rewritten candidates 0.111 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.122 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.162 * * * [progress]: generating series expansions 0.162 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.163 * [backup-simplify]: Simplify (- (exp x) 1.0) into (- (exp x) 1.0) 0.163 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0 0.163 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.163 * [taylor]: Taking taylor expansion of (exp x) in x 0.163 * [taylor]: Taking taylor expansion of x in x 0.163 * [backup-simplify]: Simplify 0 into 0 0.163 * [backup-simplify]: Simplify 1 into 1 0.163 * [backup-simplify]: Simplify (exp 0) into 1 0.163 * [taylor]: Taking taylor expansion of 1.0 in x 0.163 * [backup-simplify]: Simplify 1.0 into 1.0 0.163 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.163 * [taylor]: Taking taylor expansion of (exp x) in x 0.163 * [taylor]: Taking taylor expansion of x in x 0.163 * [backup-simplify]: Simplify 0 into 0 0.163 * [backup-simplify]: Simplify 1 into 1 0.163 * [backup-simplify]: Simplify (exp 0) into 1 0.163 * [taylor]: Taking taylor expansion of 1.0 in x 0.163 * [backup-simplify]: Simplify 1.0 into 1.0 0.164 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.165 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0 0.165 * [backup-simplify]: Simplify 0 into 0 0.166 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.166 * [backup-simplify]: Simplify (- 0) into 0 0.166 * [backup-simplify]: Simplify (+ 1 0) into 1 0.166 * [backup-simplify]: Simplify 1 into 1 0.167 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.167 * [backup-simplify]: Simplify (- 0) into 0 0.168 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 0.168 * [backup-simplify]: Simplify 1/2 into 1/2 0.169 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.169 * [backup-simplify]: Simplify (- 0) into 0 0.170 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 0.170 * [backup-simplify]: Simplify 1/6 into 1/6 0.170 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) 0.170 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0) 0.170 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0 0.170 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.170 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.170 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.170 * [taylor]: Taking taylor expansion of x in x 0.170 * [backup-simplify]: Simplify 0 into 0 0.170 * [backup-simplify]: Simplify 1 into 1 0.170 * [backup-simplify]: Simplify (/ 1 1) into 1 0.170 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.171 * [taylor]: Taking taylor expansion of 1.0 in x 0.171 * [backup-simplify]: Simplify 1.0 into 1.0 0.171 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.171 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.171 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.171 * [taylor]: Taking taylor expansion of x in x 0.171 * [backup-simplify]: Simplify 0 into 0 0.171 * [backup-simplify]: Simplify 1 into 1 0.171 * [backup-simplify]: Simplify (/ 1 1) into 1 0.171 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.171 * [taylor]: Taking taylor expansion of 1.0 in x 0.171 * [backup-simplify]: Simplify 1.0 into 1.0 0.171 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.172 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0) 0.172 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0) 0.172 * [backup-simplify]: Simplify (- 0) into 0 0.172 * [backup-simplify]: Simplify (+ 0 0) into 0 0.172 * [backup-simplify]: Simplify 0 into 0 0.172 * [backup-simplify]: Simplify (- 0) into 0 0.173 * [backup-simplify]: Simplify (+ 0 0) into 0 0.173 * [backup-simplify]: Simplify 0 into 0 0.173 * [backup-simplify]: Simplify (- 0) into 0 0.173 * [backup-simplify]: Simplify (+ 0 0) into 0 0.173 * [backup-simplify]: Simplify 0 into 0 0.173 * [backup-simplify]: Simplify (- 0) into 0 0.174 * [backup-simplify]: Simplify (+ 0 0) into 0 0.174 * [backup-simplify]: Simplify 0 into 0 0.174 * [backup-simplify]: Simplify (- 0) into 0 0.174 * [backup-simplify]: Simplify (+ 0 0) into 0 0.174 * [backup-simplify]: Simplify 0 into 0 0.174 * [backup-simplify]: Simplify (- 0) into 0 0.175 * [backup-simplify]: Simplify (+ 0 0) into 0 0.175 * [backup-simplify]: Simplify 0 into 0 0.175 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1.0) into (- (exp x) 1.0) 0.175 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) 1.0) into (- (exp (/ -1 x)) 1.0) 0.175 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0 0.175 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.175 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.175 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.175 * [taylor]: Taking taylor expansion of -1 in x 0.175 * [backup-simplify]: Simplify -1 into -1 0.175 * [taylor]: Taking taylor expansion of x in x 0.175 * [backup-simplify]: Simplify 0 into 0 0.175 * [backup-simplify]: Simplify 1 into 1 0.175 * [backup-simplify]: Simplify (/ -1 1) into -1 0.175 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.175 * [taylor]: Taking taylor expansion of 1.0 in x 0.175 * [backup-simplify]: Simplify 1.0 into 1.0 0.175 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.175 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.175 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.175 * [taylor]: Taking taylor expansion of -1 in x 0.175 * [backup-simplify]: Simplify -1 into -1 0.175 * [taylor]: Taking taylor expansion of x in x 0.175 * [backup-simplify]: Simplify 0 into 0 0.175 * [backup-simplify]: Simplify 1 into 1 0.176 * [backup-simplify]: Simplify (/ -1 1) into -1 0.176 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.176 * [taylor]: Taking taylor expansion of 1.0 in x 0.176 * [backup-simplify]: Simplify 1.0 into 1.0 0.176 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.176 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- 1.0)) into (- (exp (/ -1 x)) 1.0) 0.176 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1.0) into (- (exp (/ -1 x)) 1.0) 0.177 * [backup-simplify]: Simplify (- 0) into 0 0.177 * [backup-simplify]: Simplify (+ 0 0) into 0 0.177 * [backup-simplify]: Simplify 0 into 0 0.177 * [backup-simplify]: Simplify (- 0) into 0 0.177 * [backup-simplify]: Simplify (+ 0 0) into 0 0.177 * [backup-simplify]: Simplify 0 into 0 0.178 * [backup-simplify]: Simplify (- 0) into 0 0.178 * [backup-simplify]: Simplify (+ 0 0) into 0 0.178 * [backup-simplify]: Simplify 0 into 0 0.178 * [backup-simplify]: Simplify (- 0) into 0 0.178 * [backup-simplify]: Simplify (+ 0 0) into 0 0.178 * [backup-simplify]: Simplify 0 into 0 0.179 * [backup-simplify]: Simplify (- 0) into 0 0.179 * [backup-simplify]: Simplify (+ 0 0) into 0 0.179 * [backup-simplify]: Simplify 0 into 0 0.179 * [backup-simplify]: Simplify (- 0) into 0 0.179 * [backup-simplify]: Simplify (+ 0 0) into 0 0.179 * [backup-simplify]: Simplify 0 into 0 0.179 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1.0) into (- (exp x) 1.0) 0.179 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.180 * [backup-simplify]: Simplify (/ (- (exp x) 1.0) x) into (/ (- (exp x) 1.0) x) 0.180 * [approximate]: Taking taylor expansion of (/ (- (exp x) 1.0) x) in (x) around 0 0.180 * [taylor]: Taking taylor expansion of (/ (- (exp x) 1.0) x) in x 0.180 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.180 * [taylor]: Taking taylor expansion of (exp x) in x 0.180 * [taylor]: Taking taylor expansion of x in x 0.180 * [backup-simplify]: Simplify 0 into 0 0.180 * [backup-simplify]: Simplify 1 into 1 0.180 * [backup-simplify]: Simplify (exp 0) into 1 0.180 * [taylor]: Taking taylor expansion of 1.0 in x 0.180 * [backup-simplify]: Simplify 1.0 into 1.0 0.180 * [taylor]: Taking taylor expansion of x in x 0.180 * [backup-simplify]: Simplify 0 into 0 0.180 * [backup-simplify]: Simplify 1 into 1 0.180 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.181 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0 0.181 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.181 * [backup-simplify]: Simplify (- 0) into 0 0.182 * [backup-simplify]: Simplify (+ 1 0) into 1 0.182 * [backup-simplify]: Simplify (/ 1 1) into 1 0.182 * [taylor]: Taking taylor expansion of (/ (- (exp x) 1.0) x) in x 0.182 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.182 * [taylor]: Taking taylor expansion of (exp x) in x 0.182 * [taylor]: Taking taylor expansion of x in x 0.182 * [backup-simplify]: Simplify 0 into 0 0.182 * [backup-simplify]: Simplify 1 into 1 0.182 * [backup-simplify]: Simplify (exp 0) into 1 0.182 * [taylor]: Taking taylor expansion of 1.0 in x 0.182 * [backup-simplify]: Simplify 1.0 into 1.0 0.182 * [taylor]: Taking taylor expansion of x in x 0.182 * [backup-simplify]: Simplify 0 into 0 0.182 * [backup-simplify]: Simplify 1 into 1 0.182 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.183 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0 0.184 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.184 * [backup-simplify]: Simplify (- 0) into 0 0.184 * [backup-simplify]: Simplify (+ 1 0) into 1 0.184 * [backup-simplify]: Simplify (/ 1 1) into 1 0.184 * [backup-simplify]: Simplify 1 into 1 0.185 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.185 * [backup-simplify]: Simplify (- 0) into 0 0.186 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 0.186 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2 0.186 * [backup-simplify]: Simplify 1/2 into 1/2 0.193 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.193 * [backup-simplify]: Simplify (- 0) into 0 0.194 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 0.194 * [backup-simplify]: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6 0.194 * [backup-simplify]: Simplify 1/6 into 1/6 0.195 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) 0.195 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) 1.0) (/ 1 x)) into (* x (- (exp (/ 1 x)) 1.0)) 0.195 * [approximate]: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1.0)) in (x) around 0 0.195 * [taylor]: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1.0)) in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.195 * [backup-simplify]: Simplify 0 into 0 0.195 * [backup-simplify]: Simplify 1 into 1 0.195 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.195 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.195 * [backup-simplify]: Simplify 0 into 0 0.195 * [backup-simplify]: Simplify 1 into 1 0.195 * [backup-simplify]: Simplify (/ 1 1) into 1 0.195 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.195 * [taylor]: Taking taylor expansion of 1.0 in x 0.195 * [backup-simplify]: Simplify 1.0 into 1.0 0.195 * [taylor]: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1.0)) in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.195 * [backup-simplify]: Simplify 0 into 0 0.195 * [backup-simplify]: Simplify 1 into 1 0.196 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.196 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.196 * [backup-simplify]: Simplify 0 into 0 0.196 * [backup-simplify]: Simplify 1 into 1 0.196 * [backup-simplify]: Simplify (/ 1 1) into 1 0.196 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.196 * [taylor]: Taking taylor expansion of 1.0 in x 0.196 * [backup-simplify]: Simplify 1.0 into 1.0 0.196 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.197 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0) 0.197 * [backup-simplify]: Simplify (* 0 (- (exp (/ 1 x)) 1.0)) into 0 0.197 * [backup-simplify]: Simplify 0 into 0 0.197 * [backup-simplify]: Simplify (- 0) into 0 0.197 * [backup-simplify]: Simplify (+ 0 0) into 0 0.198 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (exp (/ 1 x)) 1.0))) into (- (exp (/ 1 x)) 1.0) 0.198 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0) 0.198 * [backup-simplify]: Simplify (- 0) into 0 0.198 * [backup-simplify]: Simplify (+ 0 0) into 0 0.199 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ 1 x)) 1.0)))) into 0 0.199 * [backup-simplify]: Simplify 0 into 0 0.199 * [backup-simplify]: Simplify (- 0) into 0 0.199 * [backup-simplify]: Simplify (+ 0 0) into 0 0.200 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1.0))))) into 0 0.200 * [backup-simplify]: Simplify 0 into 0 0.200 * [backup-simplify]: Simplify (- 0) into 0 0.200 * [backup-simplify]: Simplify (+ 0 0) into 0 0.202 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1.0)))))) into 0 0.202 * [backup-simplify]: Simplify 0 into 0 0.202 * [backup-simplify]: Simplify (- 0) into 0 0.202 * [backup-simplify]: Simplify (+ 0 0) into 0 0.204 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1.0))))))) into 0 0.204 * [backup-simplify]: Simplify 0 into 0 0.205 * [backup-simplify]: Simplify (- 0) into 0 0.205 * [backup-simplify]: Simplify (+ 0 0) into 0 0.207 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1.0)))))))) into 0 0.207 * [backup-simplify]: Simplify 0 into 0 0.208 * [backup-simplify]: Simplify (- 0) into 0 0.208 * [backup-simplify]: Simplify (+ 0 0) into 0 0.211 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) 1.0))))))))) into 0 0.211 * [backup-simplify]: Simplify 0 into 0 0.211 * [backup-simplify]: Simplify (* (- (exp (/ 1 (/ 1 x))) 1.0) (/ 1 x)) into (/ (- (exp x) 1.0) x) 0.211 * [backup-simplify]: Simplify (/ (- (exp (/ 1 (- x))) 1.0) (/ 1 (- x))) into (* -1 (* x (- (exp (/ -1 x)) 1.0))) 0.211 * [approximate]: Taking taylor expansion of (* -1 (* x (- (exp (/ -1 x)) 1.0))) in (x) around 0 0.211 * [taylor]: Taking taylor expansion of (* -1 (* x (- (exp (/ -1 x)) 1.0))) in x 0.211 * [taylor]: Taking taylor expansion of -1 in x 0.211 * [backup-simplify]: Simplify -1 into -1 0.211 * [taylor]: Taking taylor expansion of (* x (- (exp (/ -1 x)) 1.0)) in x 0.211 * [taylor]: Taking taylor expansion of x in x 0.211 * [backup-simplify]: Simplify 0 into 0 0.211 * [backup-simplify]: Simplify 1 into 1 0.211 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.211 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.211 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.211 * [taylor]: Taking taylor expansion of -1 in x 0.211 * [backup-simplify]: Simplify -1 into -1 0.211 * [taylor]: Taking taylor expansion of x in x 0.212 * [backup-simplify]: Simplify 0 into 0 0.212 * [backup-simplify]: Simplify 1 into 1 0.212 * [backup-simplify]: Simplify (/ -1 1) into -1 0.212 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.212 * [taylor]: Taking taylor expansion of 1.0 in x 0.212 * [backup-simplify]: Simplify 1.0 into 1.0 0.212 * [taylor]: Taking taylor expansion of (* -1 (* x (- (exp (/ -1 x)) 1.0))) in x 0.212 * [taylor]: Taking taylor expansion of -1 in x 0.212 * [backup-simplify]: Simplify -1 into -1 0.212 * [taylor]: Taking taylor expansion of (* x (- (exp (/ -1 x)) 1.0)) in x 0.212 * [taylor]: Taking taylor expansion of x in x 0.212 * [backup-simplify]: Simplify 0 into 0 0.212 * [backup-simplify]: Simplify 1 into 1 0.212 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.212 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.212 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.212 * [taylor]: Taking taylor expansion of -1 in x 0.212 * [backup-simplify]: Simplify -1 into -1 0.213 * [taylor]: Taking taylor expansion of x in x 0.213 * [backup-simplify]: Simplify 0 into 0 0.213 * [backup-simplify]: Simplify 1 into 1 0.213 * [backup-simplify]: Simplify (/ -1 1) into -1 0.213 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.213 * [taylor]: Taking taylor expansion of 1.0 in x 0.213 * [backup-simplify]: Simplify 1.0 into 1.0 0.214 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.214 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- 1.0)) into (- (exp (/ -1 x)) 1.0) 0.214 * [backup-simplify]: Simplify (* 0 (- (exp (/ -1 x)) 1.0)) into 0 0.215 * [backup-simplify]: Simplify (* -1 0) into 0 0.215 * [backup-simplify]: Simplify 0 into 0 0.215 * [backup-simplify]: Simplify (- 0) into 0 0.215 * [backup-simplify]: Simplify (+ 0 0) into 0 0.216 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (exp (/ -1 x)) 1.0))) into (- (exp (/ -1 x)) 1.0) 0.216 * [backup-simplify]: Simplify (+ (* -1 (- (exp (/ -1 x)) 1.0)) (* 0 0)) into (- 1.0 (exp (/ -1 x))) 0.216 * [backup-simplify]: Simplify (- 1.0 (exp (/ -1 x))) into (- 1.0 (exp (/ -1 x))) 0.217 * [backup-simplify]: Simplify (- 0) into 0 0.217 * [backup-simplify]: Simplify (+ 0 0) into 0 0.218 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ -1 x)) 1.0)))) into 0 0.219 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1.0)) (* 0 0))) into 0 0.219 * [backup-simplify]: Simplify 0 into 0 0.220 * [backup-simplify]: Simplify (- 0) into 0 0.220 * [backup-simplify]: Simplify (+ 0 0) into 0 0.221 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1.0))))) into 0 0.222 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1.0)) (* 0 0)))) into 0 0.223 * [backup-simplify]: Simplify 0 into 0 0.223 * [backup-simplify]: Simplify (- 0) into 0 0.223 * [backup-simplify]: Simplify (+ 0 0) into 0 0.225 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1.0)))))) into 0 0.226 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1.0)) (* 0 0))))) into 0 0.226 * [backup-simplify]: Simplify 0 into 0 0.227 * [backup-simplify]: Simplify (- 0) into 0 0.227 * [backup-simplify]: Simplify (+ 0 0) into 0 0.229 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1.0))))))) into 0 0.231 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1.0)) (* 0 0)))))) into 0 0.231 * [backup-simplify]: Simplify 0 into 0 0.231 * [backup-simplify]: Simplify (- 0) into 0 0.232 * [backup-simplify]: Simplify (+ 0 0) into 0 0.234 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1.0)))))))) into 0 0.236 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1.0)) (* 0 0))))))) into 0 0.236 * [backup-simplify]: Simplify 0 into 0 0.237 * [backup-simplify]: Simplify (- 0) into 0 0.237 * [backup-simplify]: Simplify (+ 0 0) into 0 0.240 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1.0))))))))) into 0 0.242 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1.0)) (* 0 0)))))))) into 0 0.242 * [backup-simplify]: Simplify 0 into 0 0.242 * [backup-simplify]: Simplify (* (- 1.0 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1.0 (exp x)) x)) 0.243 * * * [progress]: simplifying candidates 0.244 * [simplify]: Simplifying: (/ (exp (exp x)) (exp 1.0)) (log (- (exp x) 1.0)) (exp (- (exp x) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (cbrt (- (exp x) 1.0)) (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (- (pow (exp x) 3) (pow 1.0 3)) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))) (- 1.0) (- (* (exp x) (exp x)) (* 1.0 1.0)) (+ (exp x) 1.0) (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (exp x) 1.0) (- 1.0) (- (log (- (exp x) 1.0)) (log x)) (log (/ (- (exp x) 1.0) x)) (exp (/ (- (exp x) 1.0) x)) (/ (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0)) (* (* x x) x)) (* (cbrt (/ (- (exp x) 1.0) x)) (cbrt (/ (- (exp x) 1.0) x))) (cbrt (/ (- (exp x) 1.0) x)) (* (* (/ (- (exp x) 1.0) x) (/ (- (exp x) 1.0) x)) (/ (- (exp x) 1.0) x)) (sqrt (/ (- (exp x) 1.0) x)) (sqrt (/ (- (exp x) 1.0) x)) (- (- (exp x) 1.0)) (- x) (/ (exp x) x) (/ 1.0 x) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (* (cbrt x) (cbrt x))) (/ (cbrt (- (exp x) 1.0)) (cbrt x)) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt x)) (/ (cbrt (- (exp x) 1.0)) (sqrt x)) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) 1) (/ (cbrt (- (exp x) 1.0)) x) (/ (sqrt (- (exp x) 1.0)) (* (cbrt x) (cbrt x))) (/ (sqrt (- (exp x) 1.0)) (cbrt x)) (/ (sqrt (- (exp x) 1.0)) (sqrt x)) (/ (sqrt (- (exp x) 1.0)) (sqrt x)) (/ (sqrt (- (exp x) 1.0)) 1) (/ (sqrt (- (exp x) 1.0)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (- (exp x) 1.0) (cbrt x)) (/ 1 (sqrt x)) (/ (- (exp x) 1.0) (sqrt x)) (/ 1 1) (/ (- (exp x) 1.0) x) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt x) (cbrt x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt x)) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt x)) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt x)) (/ (+ (sqrt (exp x)) (sqrt 1.0)) 1) (/ (- (sqrt (exp x)) (sqrt 1.0)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (- (exp x) 1.0) (cbrt x)) (/ 1 (sqrt x)) (/ (- (exp x) 1.0) (sqrt x)) (/ 1 1) (/ (- (exp x) 1.0) x) (/ 1 x) (/ x (- (exp x) 1.0)) (/ (- (exp x) 1.0) (* (cbrt x) (cbrt x))) (/ (- (exp x) 1.0) (sqrt x)) (/ (- (exp x) 1.0) 1) (/ x (cbrt (- (exp x) 1.0))) (/ x (sqrt (- (exp x) 1.0))) (/ x (- (exp x) 1.0)) (/ x (- (sqrt (exp x)) (sqrt 1.0))) (/ x (- (exp x) 1.0)) (* x (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* x (+ (exp x) 1.0)) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) (- (exp x) 1.0) (- (exp x) 1.0) (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) (/ (- (exp x) 1.0) x) (* -1 (/ (- 1.0 (exp x)) x)) 0.245 * [simplify]: Sending expressions to egg_math: (/ (exp (exp h0)) (exp 1.0)) (log (- (exp h0) 1.0)) (exp (- (exp h0) 1.0)) (* (cbrt (- (exp h0) 1.0)) (cbrt (- (exp h0) 1.0))) (cbrt (- (exp h0) 1.0)) (* (* (- (exp h0) 1.0) (- (exp h0) 1.0)) (- (exp h0) 1.0)) (sqrt (- (exp h0) 1.0)) (sqrt (- (exp h0) 1.0)) (- (pow (exp h0) 3) (pow 1.0 3)) (+ (* (exp h0) (exp h0)) (+ (* 1.0 1.0) (* (exp h0) 1.0))) (- 1.0) (- (* (exp h0) (exp h0)) (* 1.0 1.0)) (+ (exp h0) 1.0) (+ (sqrt (exp h0)) (sqrt 1.0)) (- (sqrt (exp h0)) (sqrt 1.0)) (- (exp h0) 1.0) (- 1.0) (- (log (- (exp h0) 1.0)) (log h0)) (log (/ (- (exp h0) 1.0) h0)) (exp (/ (- (exp h0) 1.0) h0)) (/ (* (* (- (exp h0) 1.0) (- (exp h0) 1.0)) (- (exp h0) 1.0)) (* (* h0 h0) h0)) (* (cbrt (/ (- (exp h0) 1.0) h0)) (cbrt (/ (- (exp h0) 1.0) h0))) (cbrt (/ (- (exp h0) 1.0) h0)) (* (* (/ (- (exp h0) 1.0) h0) (/ (- (exp h0) 1.0) h0)) (/ (- (exp h0) 1.0) h0)) (sqrt (/ (- (exp h0) 1.0) h0)) (sqrt (/ (- (exp h0) 1.0) h0)) (- (- (exp h0) 1.0)) (- h0) (/ (exp h0) h0) (/ 1.0 h0) (/ (* (cbrt (- (exp h0) 1.0)) (cbrt (- (exp h0) 1.0))) (* (cbrt h0) (cbrt h0))) (/ (cbrt (- (exp h0) 1.0)) (cbrt h0)) (/ (* (cbrt (- (exp h0) 1.0)) (cbrt (- (exp h0) 1.0))) (sqrt h0)) (/ (cbrt (- (exp h0) 1.0)) (sqrt h0)) (/ (* (cbrt (- (exp h0) 1.0)) (cbrt (- (exp h0) 1.0))) 1) (/ (cbrt (- (exp h0) 1.0)) h0) (/ (sqrt (- (exp h0) 1.0)) (* (cbrt h0) (cbrt h0))) (/ (sqrt (- (exp h0) 1.0)) (cbrt h0)) (/ (sqrt (- (exp h0) 1.0)) (sqrt h0)) (/ (sqrt (- (exp h0) 1.0)) (sqrt h0)) (/ (sqrt (- (exp h0) 1.0)) 1) (/ (sqrt (- (exp h0) 1.0)) h0) (/ 1 (* (cbrt h0) (cbrt h0))) (/ (- (exp h0) 1.0) (cbrt h0)) (/ 1 (sqrt h0)) (/ (- (exp h0) 1.0) (sqrt h0)) (/ 1 1) (/ (- (exp h0) 1.0) h0) (/ (+ (sqrt (exp h0)) (sqrt 1.0)) (* (cbrt h0) (cbrt h0))) (/ (- (sqrt (exp h0)) (sqrt 1.0)) (cbrt h0)) (/ (+ (sqrt (exp h0)) (sqrt 1.0)) (sqrt h0)) (/ (- (sqrt (exp h0)) (sqrt 1.0)) (sqrt h0)) (/ (+ (sqrt (exp h0)) (sqrt 1.0)) 1) (/ (- (sqrt (exp h0)) (sqrt 1.0)) h0) (/ 1 (* (cbrt h0) (cbrt h0))) (/ (- (exp h0) 1.0) (cbrt h0)) (/ 1 (sqrt h0)) (/ (- (exp h0) 1.0) (sqrt h0)) (/ 1 1) (/ (- (exp h0) 1.0) h0) (/ 1 h0) (/ h0 (- (exp h0) 1.0)) (/ (- (exp h0) 1.0) (* (cbrt h0) (cbrt h0))) (/ (- (exp h0) 1.0) (sqrt h0)) (/ (- (exp h0) 1.0) 1) (/ h0 (cbrt (- (exp h0) 1.0))) (/ h0 (sqrt (- (exp h0) 1.0))) (/ h0 (- (exp h0) 1.0)) (/ h0 (- (sqrt (exp h0)) (sqrt 1.0))) (/ h0 (- (exp h0) 1.0)) (* h0 (+ (* (exp h0) (exp h0)) (+ (* 1.0 1.0) (* (exp h0) 1.0)))) (* h0 (+ (exp h0) 1.0)) (+ (* (/ 1 2) (pow h0 2)) (+ (* (/ 1 6) (pow h0 3)) h0)) (- (exp h0) 1.0) (- (exp h0) 1.0) (+ (* (/ 1 6) (pow h0 2)) (+ (* (/ 1 2) h0) 1)) (/ (- (exp h0) 1.0) h0) (* -1 (/ (- 1.0 (exp h0)) h0)) 1.274 * * * [progress]: adding candidates to table 1.454 * * [progress]: iteration 2 / 4 1.454 * * * [progress]: picking best candidate 1.460 * * * * [pick]: Picked # 1.460 * * * [progress]: localizing error 1.479 * * * [progress]: generating rewritten candidates 1.479 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 1.522 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.584 * * * [progress]: generating series expansions 1.584 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 1.585 * [backup-simplify]: Simplify (* (/ 1 6) (pow x 2)) into (* 1/6 (pow x 2)) 1.585 * [approximate]: Taking taylor expansion of (* 1/6 (pow x 2)) in (x) around 0 1.585 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 2)) in x 1.585 * [taylor]: Taking taylor expansion of 1/6 in x 1.585 * [backup-simplify]: Simplify 1/6 into 1/6 1.585 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.585 * [taylor]: Taking taylor expansion of x in x 1.585 * [backup-simplify]: Simplify 0 into 0 1.586 * [backup-simplify]: Simplify 1 into 1 1.586 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 2)) in x 1.586 * [taylor]: Taking taylor expansion of 1/6 in x 1.586 * [backup-simplify]: Simplify 1/6 into 1/6 1.586 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.586 * [taylor]: Taking taylor expansion of x in x 1.586 * [backup-simplify]: Simplify 0 into 0 1.586 * [backup-simplify]: Simplify 1 into 1 1.586 * [backup-simplify]: Simplify (* 1 1) into 1 1.587 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1.587 * [backup-simplify]: Simplify 1/6 into 1/6 1.587 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.588 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1.588 * [backup-simplify]: Simplify 0 into 0 1.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.590 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1.590 * [backup-simplify]: Simplify 0 into 0 1.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.592 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.592 * [backup-simplify]: Simplify 0 into 0 1.593 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.594 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.594 * [backup-simplify]: Simplify 0 into 0 1.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.597 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.597 * [backup-simplify]: Simplify 0 into 0 1.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.605 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.606 * [backup-simplify]: Simplify 0 into 0 1.606 * [backup-simplify]: Simplify (* 1/6 (pow x 2)) into (* 1/6 (pow x 2)) 1.606 * [backup-simplify]: Simplify (* (/ 1 6) (pow (/ 1 x) 2)) into (/ 1/6 (pow x 2)) 1.606 * [approximate]: Taking taylor expansion of (/ 1/6 (pow x 2)) in (x) around 0 1.607 * [taylor]: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 1.607 * [taylor]: Taking taylor expansion of 1/6 in x 1.607 * [backup-simplify]: Simplify 1/6 into 1/6 1.607 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.607 * [taylor]: Taking taylor expansion of x in x 1.607 * [backup-simplify]: Simplify 0 into 0 1.607 * [backup-simplify]: Simplify 1 into 1 1.607 * [backup-simplify]: Simplify (* 1 1) into 1 1.607 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1.608 * [taylor]: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 1.608 * [taylor]: Taking taylor expansion of 1/6 in x 1.608 * [backup-simplify]: Simplify 1/6 into 1/6 1.608 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.608 * [taylor]: Taking taylor expansion of x in x 1.608 * [backup-simplify]: Simplify 0 into 0 1.608 * [backup-simplify]: Simplify 1 into 1 1.608 * [backup-simplify]: Simplify (* 1 1) into 1 1.608 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1.609 * [backup-simplify]: Simplify 1/6 into 1/6 1.609 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1.610 * [backup-simplify]: Simplify 0 into 0 1.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.612 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.612 * [backup-simplify]: Simplify 0 into 0 1.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.614 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.614 * [backup-simplify]: Simplify 0 into 0 1.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.616 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.616 * [backup-simplify]: Simplify 0 into 0 1.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.618 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.618 * [backup-simplify]: Simplify 0 into 0 1.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.619 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.619 * [backup-simplify]: Simplify 0 into 0 1.619 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (/ 1 x)) 2)) into (* 1/6 (pow x 2)) 1.620 * [backup-simplify]: Simplify (* (/ 1 6) (pow (/ 1 (- x)) 2)) into (/ 1/6 (pow x 2)) 1.620 * [approximate]: Taking taylor expansion of (/ 1/6 (pow x 2)) in (x) around 0 1.620 * [taylor]: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 1.620 * [taylor]: Taking taylor expansion of 1/6 in x 1.620 * [backup-simplify]: Simplify 1/6 into 1/6 1.620 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.620 * [taylor]: Taking taylor expansion of x in x 1.620 * [backup-simplify]: Simplify 0 into 0 1.620 * [backup-simplify]: Simplify 1 into 1 1.620 * [backup-simplify]: Simplify (* 1 1) into 1 1.620 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1.621 * [taylor]: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 1.621 * [taylor]: Taking taylor expansion of 1/6 in x 1.621 * [backup-simplify]: Simplify 1/6 into 1/6 1.621 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.621 * [taylor]: Taking taylor expansion of x in x 1.621 * [backup-simplify]: Simplify 0 into 0 1.621 * [backup-simplify]: Simplify 1 into 1 1.621 * [backup-simplify]: Simplify (* 1 1) into 1 1.621 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1.621 * [backup-simplify]: Simplify 1/6 into 1/6 1.622 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.622 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1.622 * [backup-simplify]: Simplify 0 into 0 1.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.623 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.623 * [backup-simplify]: Simplify 0 into 0 1.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.624 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.624 * [backup-simplify]: Simplify 0 into 0 1.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.626 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.626 * [backup-simplify]: Simplify 0 into 0 1.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.627 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.627 * [backup-simplify]: Simplify 0 into 0 1.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.629 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.629 * [backup-simplify]: Simplify 0 into 0 1.629 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (/ 1 (- x))) 2)) into (* 1/6 (pow x 2)) 1.629 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.630 * [backup-simplify]: Simplify (+ (* (/ 1 6) (pow x 2)) (+ (* (/ 1 2) x) 1)) into (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) 1.630 * [approximate]: Taking taylor expansion of (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) in (x) around 0 1.630 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) in x 1.630 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 2)) in x 1.630 * [taylor]: Taking taylor expansion of 1/6 in x 1.630 * [backup-simplify]: Simplify 1/6 into 1/6 1.630 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.630 * [taylor]: Taking taylor expansion of x in x 1.630 * [backup-simplify]: Simplify 0 into 0 1.630 * [backup-simplify]: Simplify 1 into 1 1.630 * [taylor]: Taking taylor expansion of (+ (* 1/2 x) 1) in x 1.630 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 1.630 * [taylor]: Taking taylor expansion of 1/2 in x 1.630 * [backup-simplify]: Simplify 1/2 into 1/2 1.630 * [taylor]: Taking taylor expansion of x in x 1.630 * [backup-simplify]: Simplify 0 into 0 1.630 * [backup-simplify]: Simplify 1 into 1 1.630 * [taylor]: Taking taylor expansion of 1 in x 1.630 * [backup-simplify]: Simplify 1 into 1 1.630 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) in x 1.630 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 2)) in x 1.630 * [taylor]: Taking taylor expansion of 1/6 in x 1.630 * [backup-simplify]: Simplify 1/6 into 1/6 1.630 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.630 * [taylor]: Taking taylor expansion of x in x 1.630 * [backup-simplify]: Simplify 0 into 0 1.630 * [backup-simplify]: Simplify 1 into 1 1.630 * [taylor]: Taking taylor expansion of (+ (* 1/2 x) 1) in x 1.630 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 1.630 * [taylor]: Taking taylor expansion of 1/2 in x 1.630 * [backup-simplify]: Simplify 1/2 into 1/2 1.630 * [taylor]: Taking taylor expansion of x in x 1.630 * [backup-simplify]: Simplify 0 into 0 1.630 * [backup-simplify]: Simplify 1 into 1 1.630 * [taylor]: Taking taylor expansion of 1 in x 1.630 * [backup-simplify]: Simplify 1 into 1 1.631 * [backup-simplify]: Simplify (* 1/2 0) into 0 1.631 * [backup-simplify]: Simplify (+ 0 1) into 1 1.631 * [backup-simplify]: Simplify (+ 0 1) into 1 1.631 * [backup-simplify]: Simplify 1 into 1 1.631 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 1.632 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1.632 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1.632 * [backup-simplify]: Simplify 1/2 into 1/2 1.632 * [backup-simplify]: Simplify (* 1 1) into 1 1.633 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1.633 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 1.633 * [backup-simplify]: Simplify (+ 0 0) into 0 1.634 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1.634 * [backup-simplify]: Simplify 1/6 into 1/6 1.634 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) 1.634 * [backup-simplify]: Simplify (+ (* (/ 1 6) (pow (/ 1 x) 2)) (+ (* (/ 1 2) (/ 1 x)) 1)) into (+ (* 1/6 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 x)) 1)) 1.635 * [approximate]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 x)) 1)) in (x) around 0 1.635 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 x)) 1)) in x 1.635 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 1.635 * [taylor]: Taking taylor expansion of 1/6 in x 1.635 * [backup-simplify]: Simplify 1/6 into 1/6 1.635 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.635 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.635 * [taylor]: Taking taylor expansion of x in x 1.635 * [backup-simplify]: Simplify 0 into 0 1.635 * [backup-simplify]: Simplify 1 into 1 1.635 * [backup-simplify]: Simplify (* 1 1) into 1 1.635 * [backup-simplify]: Simplify (/ 1 1) into 1 1.635 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 x)) 1) in x 1.635 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 1.635 * [taylor]: Taking taylor expansion of 1/2 in x 1.635 * [backup-simplify]: Simplify 1/2 into 1/2 1.635 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.635 * [taylor]: Taking taylor expansion of x in x 1.635 * [backup-simplify]: Simplify 0 into 0 1.635 * [backup-simplify]: Simplify 1 into 1 1.636 * [backup-simplify]: Simplify (/ 1 1) into 1 1.636 * [taylor]: Taking taylor expansion of 1 in x 1.636 * [backup-simplify]: Simplify 1 into 1 1.636 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 x)) 1)) in x 1.636 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 1.636 * [taylor]: Taking taylor expansion of 1/6 in x 1.636 * [backup-simplify]: Simplify 1/6 into 1/6 1.636 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.636 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.636 * [taylor]: Taking taylor expansion of x in x 1.636 * [backup-simplify]: Simplify 0 into 0 1.636 * [backup-simplify]: Simplify 1 into 1 1.636 * [backup-simplify]: Simplify (* 1 1) into 1 1.636 * [backup-simplify]: Simplify (/ 1 1) into 1 1.636 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 x)) 1) in x 1.636 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 1.636 * [taylor]: Taking taylor expansion of 1/2 in x 1.636 * [backup-simplify]: Simplify 1/2 into 1/2 1.636 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.636 * [taylor]: Taking taylor expansion of x in x 1.636 * [backup-simplify]: Simplify 0 into 0 1.636 * [backup-simplify]: Simplify 1 into 1 1.637 * [backup-simplify]: Simplify (/ 1 1) into 1 1.637 * [taylor]: Taking taylor expansion of 1 in x 1.637 * [backup-simplify]: Simplify 1 into 1 1.637 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1.637 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1.637 * [backup-simplify]: Simplify 1/6 into 1/6 1.638 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.638 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1.639 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1.639 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1.639 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1.639 * [backup-simplify]: Simplify 1/2 into 1/2 1.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.641 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.642 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1.642 * [backup-simplify]: Simplify (+ 0 1) into 1 1.642 * [backup-simplify]: Simplify (+ 0 1) into 1 1.642 * [backup-simplify]: Simplify 1 into 1 1.642 * [backup-simplify]: Simplify (+ 1 (+ (* 1/2 (/ 1 (/ 1 x))) (* 1/6 (pow (/ 1 (/ 1 x)) 2)))) into (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) 1.643 * [backup-simplify]: Simplify (+ (* (/ 1 6) (pow (/ 1 (- x)) 2)) (+ (* (/ 1 2) (/ 1 (- x))) 1)) into (- (+ (* 1/6 (/ 1 (pow x 2))) 1) (* 1/2 (/ 1 x))) 1.643 * [approximate]: Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow x 2))) 1) (* 1/2 (/ 1 x))) in (x) around 0 1.643 * [taylor]: Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow x 2))) 1) (* 1/2 (/ 1 x))) in x 1.643 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) 1) in x 1.643 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 1.643 * [taylor]: Taking taylor expansion of 1/6 in x 1.643 * [backup-simplify]: Simplify 1/6 into 1/6 1.643 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.643 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.643 * [taylor]: Taking taylor expansion of x in x 1.643 * [backup-simplify]: Simplify 0 into 0 1.643 * [backup-simplify]: Simplify 1 into 1 1.644 * [backup-simplify]: Simplify (* 1 1) into 1 1.644 * [backup-simplify]: Simplify (/ 1 1) into 1 1.644 * [taylor]: Taking taylor expansion of 1 in x 1.644 * [backup-simplify]: Simplify 1 into 1 1.644 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 1.644 * [taylor]: Taking taylor expansion of 1/2 in x 1.644 * [backup-simplify]: Simplify 1/2 into 1/2 1.644 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.644 * [taylor]: Taking taylor expansion of x in x 1.644 * [backup-simplify]: Simplify 0 into 0 1.644 * [backup-simplify]: Simplify 1 into 1 1.644 * [backup-simplify]: Simplify (/ 1 1) into 1 1.644 * [taylor]: Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow x 2))) 1) (* 1/2 (/ 1 x))) in x 1.644 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) 1) in x 1.644 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 1.644 * [taylor]: Taking taylor expansion of 1/6 in x 1.644 * [backup-simplify]: Simplify 1/6 into 1/6 1.644 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.644 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.644 * [taylor]: Taking taylor expansion of x in x 1.644 * [backup-simplify]: Simplify 0 into 0 1.644 * [backup-simplify]: Simplify 1 into 1 1.645 * [backup-simplify]: Simplify (* 1 1) into 1 1.645 * [backup-simplify]: Simplify (/ 1 1) into 1 1.645 * [taylor]: Taking taylor expansion of 1 in x 1.645 * [backup-simplify]: Simplify 1 into 1 1.645 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 1.645 * [taylor]: Taking taylor expansion of 1/2 in x 1.645 * [backup-simplify]: Simplify 1/2 into 1/2 1.645 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.645 * [taylor]: Taking taylor expansion of x in x 1.645 * [backup-simplify]: Simplify 0 into 0 1.645 * [backup-simplify]: Simplify 1 into 1 1.645 * [backup-simplify]: Simplify (/ 1 1) into 1 1.646 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1.646 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1.646 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1.646 * [backup-simplify]: Simplify 1/6 into 1/6 1.647 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.647 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.647 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1.648 * [backup-simplify]: Simplify (+ 0 0) into 0 1.648 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1.648 * [backup-simplify]: Simplify (- 1/2) into -1/2 1.648 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 1.648 * [backup-simplify]: Simplify -1/2 into -1/2 1.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.650 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1.650 * [backup-simplify]: Simplify (+ 0 1) into 1 1.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.651 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1.651 * [backup-simplify]: Simplify (- 0) into 0 1.652 * [backup-simplify]: Simplify (+ 1 0) into 1 1.652 * [backup-simplify]: Simplify 1 into 1 1.652 * [backup-simplify]: Simplify (+ 1 (+ (* -1/2 (/ 1 (/ 1 (- x)))) (* 1/6 (pow (/ 1 (/ 1 (- x))) 2)))) into (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) 1.652 * * * [progress]: simplifying candidates 1.653 * [simplify]: Simplifying: (+ (- (log 6)) (* (log x) 2)) (+ (- (log 6)) (* (log x) 2)) (+ (- (log 6)) (log (pow x 2))) (+ (- 0 (log 6)) (* (log x) 2)) (+ (- 0 (log 6)) (* (log x) 2)) (+ (- 0 (log 6)) (log (pow x 2))) (+ (- (log 1) (log 6)) (* (log x) 2)) (+ (- (log 1) (log 6)) (* (log x) 2)) (+ (- (log 1) (log 6)) (log (pow x 2))) (+ (log (/ 1 6)) (* (log x) 2)) (+ (log (/ 1 6)) (* (log x) 2)) (+ (log (/ 1 6)) (log (pow x 2))) (log (* (/ 1 6) (pow x 2))) (exp (* (/ 1 6) (pow x 2))) (* (/ (* (* 1 1) 1) (* (* 6 6) 6)) (* (* (pow x 2) (pow x 2)) (pow x 2))) (* (* (* (/ 1 6) (/ 1 6)) (/ 1 6)) (* (* (pow x 2) (pow x 2)) (pow x 2))) (* (cbrt (* (/ 1 6) (pow x 2))) (cbrt (* (/ 1 6) (pow x 2)))) (cbrt (* (/ 1 6) (pow x 2))) (* (* (* (/ 1 6) (pow x 2)) (* (/ 1 6) (pow x 2))) (* (/ 1 6) (pow x 2))) (sqrt (* (/ 1 6) (pow x 2))) (sqrt (* (/ 1 6) (pow x 2))) (* (sqrt (/ 1 6)) (pow (sqrt x) 2)) (* (sqrt (/ 1 6)) (pow (sqrt x) 2)) (* (sqrt (/ 1 6)) x) (* (sqrt (/ 1 6)) x) (* (sqrt (/ 1 6)) (sqrt (pow x 2))) (* (sqrt (/ 1 6)) (sqrt (pow x 2))) (* (sqrt (/ 1 6)) (pow x (/ 2 2))) (* (sqrt (/ 1 6)) (pow x (/ 2 2))) (* (/ (sqrt 1) (sqrt 6)) (pow (sqrt x) 2)) (* (/ (sqrt 1) (sqrt 6)) (pow (sqrt x) 2)) (* (/ (sqrt 1) (sqrt 6)) x) (* (/ (sqrt 1) (sqrt 6)) x) (* (/ (sqrt 1) (sqrt 6)) (sqrt (pow x 2))) (* (/ (sqrt 1) (sqrt 6)) (sqrt (pow x 2))) (* (/ (sqrt 1) (sqrt 6)) (pow x (/ 2 2))) (* (/ (sqrt 1) (sqrt 6)) (pow x (/ 2 2))) (* (/ 1 (sqrt 6)) (pow (sqrt x) 2)) (* (/ 1 (sqrt 6)) (pow (sqrt x) 2)) (* (/ 1 (sqrt 6)) x) (* (/ 1 (sqrt 6)) x) (* (/ 1 (sqrt 6)) (sqrt (pow x 2))) (* (/ 1 (sqrt 6)) (sqrt (pow x 2))) (* (/ 1 (sqrt 6)) (pow x (/ 2 2))) (* (/ 1 (sqrt 6)) (pow x (/ 2 2))) (* (/ 1 6) (pow (* (cbrt x) (cbrt x)) 2)) (* (/ 1 6) (pow (sqrt x) 2)) (* (/ 1 6) (pow 1 2)) (* (/ 1 6) x) (* (/ 1 6) (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* (/ 1 6) (sqrt (pow x 2))) (* (/ 1 6) 1) (* (/ 1 6) (pow x (/ 2 2))) (* (cbrt (/ 1 6)) (pow x 2)) (* (sqrt (/ 1 6)) (pow x 2)) (* (/ (cbrt 1) (cbrt 6)) (pow x 2)) (* (/ (cbrt 1) (sqrt 6)) (pow x 2)) (* (/ (cbrt 1) 6) (pow x 2)) (* (/ (sqrt 1) (cbrt 6)) (pow x 2)) (* (/ (sqrt 1) (sqrt 6)) (pow x 2)) (* (/ (sqrt 1) 6) (pow x 2)) (* (/ 1 (cbrt 6)) (pow x 2)) (* (/ 1 (sqrt 6)) (pow x 2)) (* (/ 1 6) (pow x 2)) (* (/ 1 6) (pow x 2)) (* (/ 1 6) (pow x 2)) (* 1 (pow x 2)) (* (exp (* (/ 1 6) (pow x 2))) (* (exp (* (/ 1 2) x)) (exp 1))) (* (exp (* (/ 1 6) (pow x 2))) (exp (+ (* (/ 1 2) x) 1))) (log (+ (* (/ 1 6) (pow x 2)) (+ (* (/ 1 2) x) 1))) (exp (+ (* (/ 1 6) (pow x 2)) (+ (* (/ 1 2) x) 1))) (* (cbrt (+ (* (/ 1 6) (pow x 2)) (+ (* (/ 1 2) x) 1))) (cbrt (+ (* (/ 1 6) (pow x 2)) (+ (* (/ 1 2) x) 1)))) (cbrt (+ (* (/ 1 6) (pow x 2)) (+ (* (/ 1 2) x) 1))) (* (* (+ (* (/ 1 6) (pow x 2)) (+ (* (/ 1 2) x) 1)) (+ (* (/ 1 6) (pow x 2)) (+ (* (/ 1 2) x) 1))) (+ (* (/ 1 6) (pow x 2)) (+ (* (/ 1 2) x) 1))) (sqrt (+ (* (/ 1 6) (pow x 2)) (+ (* (/ 1 2) x) 1))) (sqrt (+ (* (/ 1 6) (pow x 2)) (+ (* (/ 1 2) x) 1))) (+ (* (* 1 (pow x 2)) (+ (* (* (/ 1 2) x) (* (/ 1 2) x)) (- (* 1 1) (* (* (/ 1 2) x) 1)))) (* 6 (+ (pow (* (/ 1 2) x) 3) (pow 1 3)))) (* 6 (+ (* (* (/ 1 2) x) (* (/ 1 2) x)) (- (* 1 1) (* (* (/ 1 2) x) 1)))) (+ (* (* 1 (pow x 2)) (- (* (/ 1 2) x) 1)) (* 6 (- (* (* (/ 1 2) x) (* (/ 1 2) x)) (* 1 1)))) (* 6 (- (* (/ 1 2) x) 1)) (+ (pow (* (/ 1 6) (pow x 2)) 3) (pow (+ (* (/ 1 2) x) 1) 3)) (+ (* (* (/ 1 6) (pow x 2)) (* (/ 1 6) (pow x 2))) (- (* (+ (* (/ 1 2) x) 1) (+ (* (/ 1 2) x) 1)) (* (* (/ 1 6) (pow x 2)) (+ (* (/ 1 2) x) 1)))) (- (* (* (/ 1 6) (pow x 2)) (* (/ 1 6) (pow x 2))) (* (+ (* (/ 1 2) x) 1) (+ (* (/ 1 2) x) 1))) (- (* (/ 1 6) (pow x 2)) (+ (* (/ 1 2) x) 1)) (+ (* (/ 1 6) (pow x 2)) (* (/ 1 2) x)) (* 1/6 (pow x 2)) (* 1/6 (pow x 2)) (* 1/6 (pow x 2)) (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) 1.654 * [simplify]: Sending expressions to egg_math: (+ (- (log 6)) (* (log h0) 2)) (+ (- (log 6)) (* (log h0) 2)) (+ (- (log 6)) (log (pow h0 2))) (+ (- 0 (log 6)) (* (log h0) 2)) (+ (- 0 (log 6)) (* (log h0) 2)) (+ (- 0 (log 6)) (log (pow h0 2))) (+ (- (log 1) (log 6)) (* (log h0) 2)) (+ (- (log 1) (log 6)) (* (log h0) 2)) (+ (- (log 1) (log 6)) (log (pow h0 2))) (+ (log (/ 1 6)) (* (log h0) 2)) (+ (log (/ 1 6)) (* (log h0) 2)) (+ (log (/ 1 6)) (log (pow h0 2))) (log (* (/ 1 6) (pow h0 2))) (exp (* (/ 1 6) (pow h0 2))) (* (/ (* (* 1 1) 1) (* (* 6 6) 6)) (* (* (pow h0 2) (pow h0 2)) (pow h0 2))) (* (* (* (/ 1 6) (/ 1 6)) (/ 1 6)) (* (* (pow h0 2) (pow h0 2)) (pow h0 2))) (* (cbrt (* (/ 1 6) (pow h0 2))) (cbrt (* (/ 1 6) (pow h0 2)))) (cbrt (* (/ 1 6) (pow h0 2))) (* (* (* (/ 1 6) (pow h0 2)) (* (/ 1 6) (pow h0 2))) (* (/ 1 6) (pow h0 2))) (sqrt (* (/ 1 6) (pow h0 2))) (sqrt (* (/ 1 6) (pow h0 2))) (* (sqrt (/ 1 6)) (pow (sqrt h0) 2)) (* (sqrt (/ 1 6)) (pow (sqrt h0) 2)) (* (sqrt (/ 1 6)) h0) (* (sqrt (/ 1 6)) h0) (* (sqrt (/ 1 6)) (sqrt (pow h0 2))) (* (sqrt (/ 1 6)) (sqrt (pow h0 2))) (* (sqrt (/ 1 6)) (pow h0 (/ 2 2))) (* (sqrt (/ 1 6)) (pow h0 (/ 2 2))) (* (/ (sqrt 1) (sqrt 6)) (pow (sqrt h0) 2)) (* (/ (sqrt 1) (sqrt 6)) (pow (sqrt h0) 2)) (* (/ (sqrt 1) (sqrt 6)) h0) (* (/ (sqrt 1) (sqrt 6)) h0) (* (/ (sqrt 1) (sqrt 6)) (sqrt (pow h0 2))) (* (/ (sqrt 1) (sqrt 6)) (sqrt (pow h0 2))) (* (/ (sqrt 1) (sqrt 6)) (pow h0 (/ 2 2))) (* (/ (sqrt 1) (sqrt 6)) (pow h0 (/ 2 2))) (* (/ 1 (sqrt 6)) (pow (sqrt h0) 2)) (* (/ 1 (sqrt 6)) (pow (sqrt h0) 2)) (* (/ 1 (sqrt 6)) h0) (* (/ 1 (sqrt 6)) h0) (* (/ 1 (sqrt 6)) (sqrt (pow h0 2))) (* (/ 1 (sqrt 6)) (sqrt (pow h0 2))) (* (/ 1 (sqrt 6)) (pow h0 (/ 2 2))) (* (/ 1 (sqrt 6)) (pow h0 (/ 2 2))) (* (/ 1 6) (pow (* (cbrt h0) (cbrt h0)) 2)) (* (/ 1 6) (pow (sqrt h0) 2)) (* (/ 1 6) (pow 1 2)) (* (/ 1 6) h0) (* (/ 1 6) (* (cbrt (pow h0 2)) (cbrt (pow h0 2)))) (* (/ 1 6) (sqrt (pow h0 2))) (* (/ 1 6) 1) (* (/ 1 6) (pow h0 (/ 2 2))) (* (cbrt (/ 1 6)) (pow h0 2)) (* (sqrt (/ 1 6)) (pow h0 2)) (* (/ (cbrt 1) (cbrt 6)) (pow h0 2)) (* (/ (cbrt 1) (sqrt 6)) (pow h0 2)) (* (/ (cbrt 1) 6) (pow h0 2)) (* (/ (sqrt 1) (cbrt 6)) (pow h0 2)) (* (/ (sqrt 1) (sqrt 6)) (pow h0 2)) (* (/ (sqrt 1) 6) (pow h0 2)) (* (/ 1 (cbrt 6)) (pow h0 2)) (* (/ 1 (sqrt 6)) (pow h0 2)) (* (/ 1 6) (pow h0 2)) (* (/ 1 6) (pow h0 2)) (* (/ 1 6) (pow h0 2)) (* 1 (pow h0 2)) (* (exp (* (/ 1 6) (pow h0 2))) (* (exp (* (/ 1 2) h0)) (exp 1))) (* (exp (* (/ 1 6) (pow h0 2))) (exp (+ (* (/ 1 2) h0) 1))) (log (+ (* (/ 1 6) (pow h0 2)) (+ (* (/ 1 2) h0) 1))) (exp (+ (* (/ 1 6) (pow h0 2)) (+ (* (/ 1 2) h0) 1))) (* (cbrt (+ (* (/ 1 6) (pow h0 2)) (+ (* (/ 1 2) h0) 1))) (cbrt (+ (* (/ 1 6) (pow h0 2)) (+ (* (/ 1 2) h0) 1)))) (cbrt (+ (* (/ 1 6) (pow h0 2)) (+ (* (/ 1 2) h0) 1))) (* (* (+ (* (/ 1 6) (pow h0 2)) (+ (* (/ 1 2) h0) 1)) (+ (* (/ 1 6) (pow h0 2)) (+ (* (/ 1 2) h0) 1))) (+ (* (/ 1 6) (pow h0 2)) (+ (* (/ 1 2) h0) 1))) (sqrt (+ (* (/ 1 6) (pow h0 2)) (+ (* (/ 1 2) h0) 1))) (sqrt (+ (* (/ 1 6) (pow h0 2)) (+ (* (/ 1 2) h0) 1))) (+ (* (* 1 (pow h0 2)) (+ (* (* (/ 1 2) h0) (* (/ 1 2) h0)) (- (* 1 1) (* (* (/ 1 2) h0) 1)))) (* 6 (+ (pow (* (/ 1 2) h0) 3) (pow 1 3)))) (* 6 (+ (* (* (/ 1 2) h0) (* (/ 1 2) h0)) (- (* 1 1) (* (* (/ 1 2) h0) 1)))) (+ (* (* 1 (pow h0 2)) (- (* (/ 1 2) h0) 1)) (* 6 (- (* (* (/ 1 2) h0) (* (/ 1 2) h0)) (* 1 1)))) (* 6 (- (* (/ 1 2) h0) 1)) (+ (pow (* (/ 1 6) (pow h0 2)) 3) (pow (+ (* (/ 1 2) h0) 1) 3)) (+ (* (* (/ 1 6) (pow h0 2)) (* (/ 1 6) (pow h0 2))) (- (* (+ (* (/ 1 2) h0) 1) (+ (* (/ 1 2) h0) 1)) (* (* (/ 1 6) (pow h0 2)) (+ (* (/ 1 2) h0) 1)))) (- (* (* (/ 1 6) (pow h0 2)) (* (/ 1 6) (pow h0 2))) (* (+ (* (/ 1 2) h0) 1) (+ (* (/ 1 2) h0) 1))) (- (* (/ 1 6) (pow h0 2)) (+ (* (/ 1 2) h0) 1)) (+ (* (/ 1 6) (pow h0 2)) (* (/ 1 2) h0)) (* (/ 1 6) (pow h0 2)) (* (/ 1 6) (pow h0 2)) (* (/ 1 6) (pow h0 2)) (+ (* (/ 1 6) (pow h0 2)) (+ (* (/ 1 2) h0) 1)) (+ (* (/ 1 6) (pow h0 2)) (+ (* (/ 1 2) h0) 1)) (+ (* (/ 1 6) (pow h0 2)) (+ (* (/ 1 2) h0) 1)) 2.466 * * * [progress]: adding candidates to table 2.640 * * [progress]: iteration 3 / 4 2.640 * * * [progress]: picking best candidate 2.648 * * * * [pick]: Picked # 2.648 * * * [progress]: localizing error 2.673 * * * [progress]: generating rewritten candidates 2.673 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 2.957 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1 1) 2.975 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 3.372 * * * [progress]: generating series expansions 3.372 * * * * [progress]: [ 1 / 3 ] generating series at (2) 3.373 * [backup-simplify]: Simplify (log (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x))))) into (log (* (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) E)) 3.373 * [approximate]: Taking taylor expansion of (log (* (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) E)) in (x) around 0 3.373 * [taylor]: Taking taylor expansion of (log (* (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) E)) in x 3.373 * [taylor]: Taking taylor expansion of (* (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) E) in x 3.373 * [taylor]: Taking taylor expansion of (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) in x 3.373 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow x 2)) (* 1/2 x)) in x 3.373 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 2)) in x 3.373 * [taylor]: Taking taylor expansion of 1/6 in x 3.373 * [backup-simplify]: Simplify 1/6 into 1/6 3.373 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.373 * [taylor]: Taking taylor expansion of x in x 3.373 * [backup-simplify]: Simplify 0 into 0 3.373 * [backup-simplify]: Simplify 1 into 1 3.373 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 3.373 * [taylor]: Taking taylor expansion of 1/2 in x 3.373 * [backup-simplify]: Simplify 1/2 into 1/2 3.373 * [taylor]: Taking taylor expansion of x in x 3.373 * [backup-simplify]: Simplify 0 into 0 3.374 * [backup-simplify]: Simplify 1 into 1 3.374 * [backup-simplify]: Simplify (* 1/2 0) into 0 3.374 * [backup-simplify]: Simplify (+ 0 0) into 0 3.375 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 3.375 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 3.375 * [backup-simplify]: Simplify (exp 0) into 1 3.375 * [taylor]: Taking taylor expansion of E in x 3.375 * [backup-simplify]: Simplify E into E 3.375 * [backup-simplify]: Simplify (* 1 E) into E 3.375 * [backup-simplify]: Simplify (log E) into 1 3.375 * [taylor]: Taking taylor expansion of (log (* (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) E)) in x 3.375 * [taylor]: Taking taylor expansion of (* (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) E) in x 3.375 * [taylor]: Taking taylor expansion of (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) in x 3.375 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow x 2)) (* 1/2 x)) in x 3.376 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 2)) in x 3.376 * [taylor]: Taking taylor expansion of 1/6 in x 3.376 * [backup-simplify]: Simplify 1/6 into 1/6 3.376 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.376 * [taylor]: Taking taylor expansion of x in x 3.376 * [backup-simplify]: Simplify 0 into 0 3.376 * [backup-simplify]: Simplify 1 into 1 3.376 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 3.376 * [taylor]: Taking taylor expansion of 1/2 in x 3.376 * [backup-simplify]: Simplify 1/2 into 1/2 3.376 * [taylor]: Taking taylor expansion of x in x 3.376 * [backup-simplify]: Simplify 0 into 0 3.376 * [backup-simplify]: Simplify 1 into 1 3.376 * [backup-simplify]: Simplify (* 1/2 0) into 0 3.376 * [backup-simplify]: Simplify (+ 0 0) into 0 3.377 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 3.377 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 3.377 * [backup-simplify]: Simplify (exp 0) into 1 3.377 * [taylor]: Taking taylor expansion of E in x 3.377 * [backup-simplify]: Simplify E into E 3.378 * [backup-simplify]: Simplify (* 1 E) into E 3.378 * [backup-simplify]: Simplify (log E) into 1 3.378 * [backup-simplify]: Simplify 1 into 1 3.378 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/2 1) 1)))) into 1/2 3.379 * [backup-simplify]: Simplify (+ (* 1 0) (* 1/2 E)) into (* 1/2 E) 3.385 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* 1/2 E)) 1)) (pow E 1)))) 1) into 1/2 3.385 * [backup-simplify]: Simplify 1/2 into 1/2 3.385 * [backup-simplify]: Simplify (* 1 1) into 1 3.385 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 3.386 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 3.386 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 3.387 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow 1/6 1) 1)))) into 7/24 3.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1/2 0) (* 7/24 E))) into (* 7/24 E) 3.402 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* 1/2 E)) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 (* 7/24 E)) 1)) (pow E 1)))) 2) into 1/6 3.402 * [backup-simplify]: Simplify 1/6 into 1/6 3.402 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) 3.403 * [backup-simplify]: Simplify (log (* E (exp (+ (/ (pow (/ 1 x) 2) 6) (* (/ 1 2) (/ 1 x)))))) into (log (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E)) 3.403 * [approximate]: Taking taylor expansion of (log (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E)) in (x) around 0 3.403 * [taylor]: Taking taylor expansion of (log (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E)) in x 3.403 * [taylor]: Taking taylor expansion of (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) in x 3.403 * [taylor]: Taking taylor expansion of (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) in x 3.403 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))) in x 3.403 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 3.403 * [taylor]: Taking taylor expansion of 1/6 in x 3.403 * [backup-simplify]: Simplify 1/6 into 1/6 3.403 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.403 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.403 * [taylor]: Taking taylor expansion of x in x 3.403 * [backup-simplify]: Simplify 0 into 0 3.403 * [backup-simplify]: Simplify 1 into 1 3.404 * [backup-simplify]: Simplify (* 1 1) into 1 3.404 * [backup-simplify]: Simplify (/ 1 1) into 1 3.404 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 3.404 * [taylor]: Taking taylor expansion of 1/2 in x 3.404 * [backup-simplify]: Simplify 1/2 into 1/2 3.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.404 * [taylor]: Taking taylor expansion of x in x 3.404 * [backup-simplify]: Simplify 0 into 0 3.404 * [backup-simplify]: Simplify 1 into 1 3.405 * [backup-simplify]: Simplify (/ 1 1) into 1 3.405 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 3.406 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 3.406 * [backup-simplify]: Simplify (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) into (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 3.406 * [taylor]: Taking taylor expansion of E in x 3.406 * [backup-simplify]: Simplify E into E 3.407 * [backup-simplify]: Simplify (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) into (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 3.407 * [backup-simplify]: Simplify (log (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))))) into (log (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E)) 3.407 * [taylor]: Taking taylor expansion of (log (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E)) in x 3.407 * [taylor]: Taking taylor expansion of (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) in x 3.407 * [taylor]: Taking taylor expansion of (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) in x 3.407 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))) in x 3.407 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 3.407 * [taylor]: Taking taylor expansion of 1/6 in x 3.407 * [backup-simplify]: Simplify 1/6 into 1/6 3.407 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.407 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.407 * [taylor]: Taking taylor expansion of x in x 3.407 * [backup-simplify]: Simplify 0 into 0 3.407 * [backup-simplify]: Simplify 1 into 1 3.408 * [backup-simplify]: Simplify (* 1 1) into 1 3.408 * [backup-simplify]: Simplify (/ 1 1) into 1 3.408 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 3.408 * [taylor]: Taking taylor expansion of 1/2 in x 3.408 * [backup-simplify]: Simplify 1/2 into 1/2 3.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.408 * [taylor]: Taking taylor expansion of x in x 3.408 * [backup-simplify]: Simplify 0 into 0 3.409 * [backup-simplify]: Simplify 1 into 1 3.409 * [backup-simplify]: Simplify (/ 1 1) into 1 3.409 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 3.410 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 3.410 * [backup-simplify]: Simplify (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) into (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 3.410 * [taylor]: Taking taylor expansion of E in x 3.410 * [backup-simplify]: Simplify E into E 3.411 * [backup-simplify]: Simplify (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) into (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 3.411 * [backup-simplify]: Simplify (log (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))))) into (log (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E)) 3.412 * [backup-simplify]: Simplify (log (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E)) into (log (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))))) 3.413 * [backup-simplify]: Simplify (+ (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (* 0 E)) into 0 3.414 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 1)))) 1) into 0 3.414 * [backup-simplify]: Simplify 0 into 0 3.415 * [backup-simplify]: Simplify (+ (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (* 0 E))) into 0 3.418 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 1)))) 2) into 0 3.418 * [backup-simplify]: Simplify 0 into 0 3.420 * [backup-simplify]: Simplify (+ (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 E)))) into 0 3.424 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 1)))) 6) into 0 3.425 * [backup-simplify]: Simplify 0 into 0 3.431 * [backup-simplify]: Simplify (+ (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 E))))) into 0 3.438 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 1)))) 24) into 0 3.438 * [backup-simplify]: Simplify 0 into 0 3.440 * [backup-simplify]: Simplify (+ (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 E)))))) into 0 3.449 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 1)))) 120) into 0 3.449 * [backup-simplify]: Simplify 0 into 0 3.450 * [backup-simplify]: Simplify (+ (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 E))))))) into 0 3.465 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 1)))) 720) into 0 3.465 * [backup-simplify]: Simplify 0 into 0 3.465 * [backup-simplify]: Simplify (log (* E (exp (+ (* 1/6 (/ 1 (pow (/ 1 x) 2))) (* 1/2 (/ 1 (/ 1 x))))))) into (log (* (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) E)) 3.466 * [backup-simplify]: Simplify (log (* E (exp (+ (/ (pow (/ 1 (- x)) 2) 6) (* (/ 1 2) (/ 1 (- x))))))) into (log (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E)) 3.466 * [approximate]: Taking taylor expansion of (log (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E)) in (x) around 0 3.466 * [taylor]: Taking taylor expansion of (log (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E)) in x 3.466 * [taylor]: Taking taylor expansion of (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) in x 3.466 * [taylor]: Taking taylor expansion of (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) in x 3.466 * [taylor]: Taking taylor expansion of (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))) in x 3.466 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 3.466 * [taylor]: Taking taylor expansion of 1/6 in x 3.466 * [backup-simplify]: Simplify 1/6 into 1/6 3.466 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.466 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.466 * [taylor]: Taking taylor expansion of x in x 3.466 * [backup-simplify]: Simplify 0 into 0 3.466 * [backup-simplify]: Simplify 1 into 1 3.467 * [backup-simplify]: Simplify (* 1 1) into 1 3.467 * [backup-simplify]: Simplify (/ 1 1) into 1 3.467 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 3.467 * [taylor]: Taking taylor expansion of 1/2 in x 3.467 * [backup-simplify]: Simplify 1/2 into 1/2 3.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.467 * [taylor]: Taking taylor expansion of x in x 3.467 * [backup-simplify]: Simplify 0 into 0 3.467 * [backup-simplify]: Simplify 1 into 1 3.468 * [backup-simplify]: Simplify (/ 1 1) into 1 3.468 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 3.469 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 3.469 * [backup-simplify]: Simplify (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) into (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 3.469 * [taylor]: Taking taylor expansion of E in x 3.469 * [backup-simplify]: Simplify E into E 3.469 * [backup-simplify]: Simplify (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) into (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 3.470 * [backup-simplify]: Simplify (log (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E)) into (log (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E)) 3.470 * [taylor]: Taking taylor expansion of (log (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E)) in x 3.470 * [taylor]: Taking taylor expansion of (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) in x 3.470 * [taylor]: Taking taylor expansion of (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) in x 3.470 * [taylor]: Taking taylor expansion of (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))) in x 3.470 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 3.470 * [taylor]: Taking taylor expansion of 1/6 in x 3.470 * [backup-simplify]: Simplify 1/6 into 1/6 3.470 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.470 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.470 * [taylor]: Taking taylor expansion of x in x 3.470 * [backup-simplify]: Simplify 0 into 0 3.470 * [backup-simplify]: Simplify 1 into 1 3.470 * [backup-simplify]: Simplify (* 1 1) into 1 3.471 * [backup-simplify]: Simplify (/ 1 1) into 1 3.471 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 3.471 * [taylor]: Taking taylor expansion of 1/2 in x 3.471 * [backup-simplify]: Simplify 1/2 into 1/2 3.471 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.471 * [taylor]: Taking taylor expansion of x in x 3.471 * [backup-simplify]: Simplify 0 into 0 3.471 * [backup-simplify]: Simplify 1 into 1 3.471 * [backup-simplify]: Simplify (/ 1 1) into 1 3.472 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 3.472 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 3.472 * [backup-simplify]: Simplify (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) into (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 3.472 * [taylor]: Taking taylor expansion of E in x 3.472 * [backup-simplify]: Simplify E into E 3.473 * [backup-simplify]: Simplify (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) into (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 3.473 * [backup-simplify]: Simplify (log (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E)) into (log (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E)) 3.473 * [backup-simplify]: Simplify (log (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E)) into (log (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E)) 3.474 * [backup-simplify]: Simplify (+ (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (* 0 E)) into 0 3.475 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 1)))) 1) into 0 3.476 * [backup-simplify]: Simplify 0 into 0 3.477 * [backup-simplify]: Simplify (+ (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (* 0 E))) into 0 3.480 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 1)))) 2) into 0 3.480 * [backup-simplify]: Simplify 0 into 0 3.481 * [backup-simplify]: Simplify (+ (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 E)))) into 0 3.486 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 1)))) 6) into 0 3.486 * [backup-simplify]: Simplify 0 into 0 3.488 * [backup-simplify]: Simplify (+ (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 E))))) into 0 3.494 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 1)))) 24) into 0 3.495 * [backup-simplify]: Simplify 0 into 0 3.496 * [backup-simplify]: Simplify (+ (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 E)))))) into 0 3.506 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 1)))) 120) into 0 3.506 * [backup-simplify]: Simplify 0 into 0 3.508 * [backup-simplify]: Simplify (+ (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 E))))))) into 0 3.523 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 1)))) 720) into 0 3.524 * [backup-simplify]: Simplify 0 into 0 3.524 * [backup-simplify]: Simplify (log (* (exp (- (* 1/6 (/ 1 (pow (/ 1 (- x)) 2))) (* 1/2 (/ 1 (/ 1 (- x)))))) E)) into (log (* (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) E)) 3.524 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1 1) 3.524 * [backup-simplify]: Simplify (/ (pow x 2) 6) into (* 1/6 (pow x 2)) 3.524 * [approximate]: Taking taylor expansion of (* 1/6 (pow x 2)) in (x) around 0 3.524 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 2)) in x 3.524 * [taylor]: Taking taylor expansion of 1/6 in x 3.524 * [backup-simplify]: Simplify 1/6 into 1/6 3.524 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.524 * [taylor]: Taking taylor expansion of x in x 3.524 * [backup-simplify]: Simplify 0 into 0 3.524 * [backup-simplify]: Simplify 1 into 1 3.524 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 2)) in x 3.525 * [taylor]: Taking taylor expansion of 1/6 in x 3.525 * [backup-simplify]: Simplify 1/6 into 1/6 3.525 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.525 * [taylor]: Taking taylor expansion of x in x 3.525 * [backup-simplify]: Simplify 0 into 0 3.525 * [backup-simplify]: Simplify 1 into 1 3.525 * [backup-simplify]: Simplify (* 1 1) into 1 3.525 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 3.526 * [backup-simplify]: Simplify 1/6 into 1/6 3.526 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.527 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 3.527 * [backup-simplify]: Simplify 0 into 0 3.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.529 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 3.529 * [backup-simplify]: Simplify 0 into 0 3.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.530 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.530 * [backup-simplify]: Simplify 0 into 0 3.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.531 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.531 * [backup-simplify]: Simplify 0 into 0 3.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.533 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.533 * [backup-simplify]: Simplify 0 into 0 3.534 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.535 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.535 * [backup-simplify]: Simplify 0 into 0 3.535 * [backup-simplify]: Simplify (* 1/6 (pow x 2)) into (* 1/6 (pow x 2)) 3.535 * [backup-simplify]: Simplify (/ (pow (/ 1 x) 2) 6) into (/ 1/6 (pow x 2)) 3.535 * [approximate]: Taking taylor expansion of (/ 1/6 (pow x 2)) in (x) around 0 3.535 * [taylor]: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 3.535 * [taylor]: Taking taylor expansion of 1/6 in x 3.535 * [backup-simplify]: Simplify 1/6 into 1/6 3.535 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.535 * [taylor]: Taking taylor expansion of x in x 3.535 * [backup-simplify]: Simplify 0 into 0 3.535 * [backup-simplify]: Simplify 1 into 1 3.535 * [backup-simplify]: Simplify (* 1 1) into 1 3.535 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 3.536 * [taylor]: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 3.536 * [taylor]: Taking taylor expansion of 1/6 in x 3.536 * [backup-simplify]: Simplify 1/6 into 1/6 3.536 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.536 * [taylor]: Taking taylor expansion of x in x 3.536 * [backup-simplify]: Simplify 0 into 0 3.536 * [backup-simplify]: Simplify 1 into 1 3.536 * [backup-simplify]: Simplify (* 1 1) into 1 3.536 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 3.536 * [backup-simplify]: Simplify 1/6 into 1/6 3.537 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.537 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 3.537 * [backup-simplify]: Simplify 0 into 0 3.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.538 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.538 * [backup-simplify]: Simplify 0 into 0 3.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.539 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.539 * [backup-simplify]: Simplify 0 into 0 3.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.541 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.541 * [backup-simplify]: Simplify 0 into 0 3.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.542 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.542 * [backup-simplify]: Simplify 0 into 0 3.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.543 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.543 * [backup-simplify]: Simplify 0 into 0 3.543 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (/ 1 x)) 2)) into (* 1/6 (pow x 2)) 3.544 * [backup-simplify]: Simplify (/ (pow (/ 1 (- x)) 2) 6) into (/ 1/6 (pow x 2)) 3.544 * [approximate]: Taking taylor expansion of (/ 1/6 (pow x 2)) in (x) around 0 3.544 * [taylor]: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 3.544 * [taylor]: Taking taylor expansion of 1/6 in x 3.544 * [backup-simplify]: Simplify 1/6 into 1/6 3.544 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.544 * [taylor]: Taking taylor expansion of x in x 3.544 * [backup-simplify]: Simplify 0 into 0 3.544 * [backup-simplify]: Simplify 1 into 1 3.544 * [backup-simplify]: Simplify (* 1 1) into 1 3.544 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 3.544 * [taylor]: Taking taylor expansion of (/ 1/6 (pow x 2)) in x 3.544 * [taylor]: Taking taylor expansion of 1/6 in x 3.544 * [backup-simplify]: Simplify 1/6 into 1/6 3.544 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.544 * [taylor]: Taking taylor expansion of x in x 3.544 * [backup-simplify]: Simplify 0 into 0 3.544 * [backup-simplify]: Simplify 1 into 1 3.545 * [backup-simplify]: Simplify (* 1 1) into 1 3.545 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 3.545 * [backup-simplify]: Simplify 1/6 into 1/6 3.545 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.546 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 3.546 * [backup-simplify]: Simplify 0 into 0 3.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.547 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.547 * [backup-simplify]: Simplify 0 into 0 3.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.548 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.548 * [backup-simplify]: Simplify 0 into 0 3.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.550 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.550 * [backup-simplify]: Simplify 0 into 0 3.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.551 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.551 * [backup-simplify]: Simplify 0 into 0 3.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.552 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.552 * [backup-simplify]: Simplify 0 into 0 3.553 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (/ 1 (- x))) 2)) into (* 1/6 (pow x 2)) 3.553 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 3.553 * [backup-simplify]: Simplify (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x)))) into (* (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) E) 3.553 * [approximate]: Taking taylor expansion of (* (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) E) in (x) around 0 3.553 * [taylor]: Taking taylor expansion of (* (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) E) in x 3.553 * [taylor]: Taking taylor expansion of (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) in x 3.553 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow x 2)) (* 1/2 x)) in x 3.553 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 2)) in x 3.553 * [taylor]: Taking taylor expansion of 1/6 in x 3.553 * [backup-simplify]: Simplify 1/6 into 1/6 3.553 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.553 * [taylor]: Taking taylor expansion of x in x 3.553 * [backup-simplify]: Simplify 0 into 0 3.553 * [backup-simplify]: Simplify 1 into 1 3.553 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 3.553 * [taylor]: Taking taylor expansion of 1/2 in x 3.553 * [backup-simplify]: Simplify 1/2 into 1/2 3.554 * [taylor]: Taking taylor expansion of x in x 3.554 * [backup-simplify]: Simplify 0 into 0 3.554 * [backup-simplify]: Simplify 1 into 1 3.554 * [backup-simplify]: Simplify (* 1/2 0) into 0 3.554 * [backup-simplify]: Simplify (+ 0 0) into 0 3.554 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 3.555 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 3.555 * [backup-simplify]: Simplify (exp 0) into 1 3.555 * [taylor]: Taking taylor expansion of E in x 3.555 * [backup-simplify]: Simplify E into E 3.555 * [taylor]: Taking taylor expansion of (* (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) E) in x 3.555 * [taylor]: Taking taylor expansion of (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) in x 3.555 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow x 2)) (* 1/2 x)) in x 3.555 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 2)) in x 3.555 * [taylor]: Taking taylor expansion of 1/6 in x 3.555 * [backup-simplify]: Simplify 1/6 into 1/6 3.555 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.555 * [taylor]: Taking taylor expansion of x in x 3.555 * [backup-simplify]: Simplify 0 into 0 3.555 * [backup-simplify]: Simplify 1 into 1 3.555 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 3.555 * [taylor]: Taking taylor expansion of 1/2 in x 3.555 * [backup-simplify]: Simplify 1/2 into 1/2 3.555 * [taylor]: Taking taylor expansion of x in x 3.555 * [backup-simplify]: Simplify 0 into 0 3.555 * [backup-simplify]: Simplify 1 into 1 3.555 * [backup-simplify]: Simplify (* 1/2 0) into 0 3.556 * [backup-simplify]: Simplify (+ 0 0) into 0 3.556 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 3.556 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 3.556 * [backup-simplify]: Simplify (exp 0) into 1 3.556 * [taylor]: Taking taylor expansion of E in x 3.556 * [backup-simplify]: Simplify E into E 3.560 * [backup-simplify]: Simplify (* 1 E) into E 3.560 * [backup-simplify]: Simplify E into E 3.561 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/2 1) 1)))) into 1/2 3.562 * [backup-simplify]: Simplify (+ (* 1 0) (* 1/2 E)) into (* 1/2 E) 3.562 * [backup-simplify]: Simplify (* 1/2 E) into (* 1/2 E) 3.563 * [backup-simplify]: Simplify (* 1 1) into 1 3.563 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 3.563 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 3.564 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 3.565 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow 1/6 1) 1)))) into 7/24 3.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1/2 0) (* 7/24 E))) into (* 7/24 E) 3.567 * [backup-simplify]: Simplify (* 7/24 E) into (* 7/24 E) 3.568 * [backup-simplify]: Simplify (+ (* (* 7/24 E) (pow x 2)) (+ (* (* 1/2 E) x) E)) into (+ E (+ (* 1/2 (* x E)) (* 7/24 (* (pow x 2) E)))) 3.568 * [backup-simplify]: Simplify (* E (exp (+ (/ (pow (/ 1 x) 2) 6) (* (/ 1 2) (/ 1 x))))) into (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 3.568 * [approximate]: Taking taylor expansion of (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) in (x) around 0 3.568 * [taylor]: Taking taylor expansion of (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) in x 3.568 * [taylor]: Taking taylor expansion of (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) in x 3.568 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))) in x 3.568 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 3.568 * [taylor]: Taking taylor expansion of 1/6 in x 3.568 * [backup-simplify]: Simplify 1/6 into 1/6 3.568 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.568 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.568 * [taylor]: Taking taylor expansion of x in x 3.568 * [backup-simplify]: Simplify 0 into 0 3.568 * [backup-simplify]: Simplify 1 into 1 3.569 * [backup-simplify]: Simplify (* 1 1) into 1 3.569 * [backup-simplify]: Simplify (/ 1 1) into 1 3.569 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 3.569 * [taylor]: Taking taylor expansion of 1/2 in x 3.569 * [backup-simplify]: Simplify 1/2 into 1/2 3.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.569 * [taylor]: Taking taylor expansion of x in x 3.569 * [backup-simplify]: Simplify 0 into 0 3.569 * [backup-simplify]: Simplify 1 into 1 3.569 * [backup-simplify]: Simplify (/ 1 1) into 1 3.570 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 3.570 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 3.570 * [backup-simplify]: Simplify (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) into (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 3.570 * [taylor]: Taking taylor expansion of E in x 3.570 * [backup-simplify]: Simplify E into E 3.570 * [taylor]: Taking taylor expansion of (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) in x 3.570 * [taylor]: Taking taylor expansion of (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) in x 3.570 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))) in x 3.570 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 3.570 * [taylor]: Taking taylor expansion of 1/6 in x 3.570 * [backup-simplify]: Simplify 1/6 into 1/6 3.570 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.570 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.570 * [taylor]: Taking taylor expansion of x in x 3.570 * [backup-simplify]: Simplify 0 into 0 3.570 * [backup-simplify]: Simplify 1 into 1 3.571 * [backup-simplify]: Simplify (* 1 1) into 1 3.571 * [backup-simplify]: Simplify (/ 1 1) into 1 3.571 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 3.571 * [taylor]: Taking taylor expansion of 1/2 in x 3.571 * [backup-simplify]: Simplify 1/2 into 1/2 3.571 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.571 * [taylor]: Taking taylor expansion of x in x 3.571 * [backup-simplify]: Simplify 0 into 0 3.571 * [backup-simplify]: Simplify 1 into 1 3.571 * [backup-simplify]: Simplify (/ 1 1) into 1 3.571 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 3.572 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 3.572 * [backup-simplify]: Simplify (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) into (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 3.572 * [taylor]: Taking taylor expansion of E in x 3.572 * [backup-simplify]: Simplify E into E 3.572 * [backup-simplify]: Simplify (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) into (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) 3.572 * [backup-simplify]: Simplify (* E (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))) into (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 3.573 * [backup-simplify]: Simplify (+ (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (* 0 E)) into 0 3.573 * [backup-simplify]: Simplify 0 into 0 3.573 * [backup-simplify]: Simplify (+ (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (* 0 E))) into 0 3.573 * [backup-simplify]: Simplify 0 into 0 3.574 * [backup-simplify]: Simplify (+ (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 E)))) into 0 3.574 * [backup-simplify]: Simplify 0 into 0 3.575 * [backup-simplify]: Simplify (+ (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 E))))) into 0 3.575 * [backup-simplify]: Simplify 0 into 0 3.576 * [backup-simplify]: Simplify (+ (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 E)))))) into 0 3.576 * [backup-simplify]: Simplify 0 into 0 3.577 * [backup-simplify]: Simplify (+ (* (exp (+ (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 E))))))) into 0 3.577 * [backup-simplify]: Simplify 0 into 0 3.577 * [backup-simplify]: Simplify (* (exp (+ (* 1/6 (/ 1 (pow (/ 1 x) 2))) (* 1/2 (/ 1 (/ 1 x))))) E) into (* (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) E) 3.577 * [backup-simplify]: Simplify (* E (exp (+ (/ (pow (/ 1 (- x)) 2) 6) (* (/ 1 2) (/ 1 (- x)))))) into (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 3.577 * [approximate]: Taking taylor expansion of (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) in (x) around 0 3.577 * [taylor]: Taking taylor expansion of (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) in x 3.577 * [taylor]: Taking taylor expansion of (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) in x 3.577 * [taylor]: Taking taylor expansion of (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))) in x 3.578 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 3.578 * [taylor]: Taking taylor expansion of 1/6 in x 3.578 * [backup-simplify]: Simplify 1/6 into 1/6 3.578 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.578 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.578 * [taylor]: Taking taylor expansion of x in x 3.578 * [backup-simplify]: Simplify 0 into 0 3.578 * [backup-simplify]: Simplify 1 into 1 3.578 * [backup-simplify]: Simplify (* 1 1) into 1 3.578 * [backup-simplify]: Simplify (/ 1 1) into 1 3.578 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 3.578 * [taylor]: Taking taylor expansion of 1/2 in x 3.578 * [backup-simplify]: Simplify 1/2 into 1/2 3.578 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.578 * [taylor]: Taking taylor expansion of x in x 3.578 * [backup-simplify]: Simplify 0 into 0 3.578 * [backup-simplify]: Simplify 1 into 1 3.578 * [backup-simplify]: Simplify (/ 1 1) into 1 3.579 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 3.579 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 3.579 * [backup-simplify]: Simplify (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) into (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 3.579 * [taylor]: Taking taylor expansion of E in x 3.579 * [backup-simplify]: Simplify E into E 3.579 * [taylor]: Taking taylor expansion of (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) in x 3.579 * [taylor]: Taking taylor expansion of (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) in x 3.579 * [taylor]: Taking taylor expansion of (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))) in x 3.579 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 3.579 * [taylor]: Taking taylor expansion of 1/6 in x 3.579 * [backup-simplify]: Simplify 1/6 into 1/6 3.579 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.579 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.579 * [taylor]: Taking taylor expansion of x in x 3.579 * [backup-simplify]: Simplify 0 into 0 3.579 * [backup-simplify]: Simplify 1 into 1 3.580 * [backup-simplify]: Simplify (* 1 1) into 1 3.580 * [backup-simplify]: Simplify (/ 1 1) into 1 3.580 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 3.580 * [taylor]: Taking taylor expansion of 1/2 in x 3.580 * [backup-simplify]: Simplify 1/2 into 1/2 3.580 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.580 * [taylor]: Taking taylor expansion of x in x 3.580 * [backup-simplify]: Simplify 0 into 0 3.580 * [backup-simplify]: Simplify 1 into 1 3.580 * [backup-simplify]: Simplify (/ 1 1) into 1 3.581 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 3.581 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 3.581 * [backup-simplify]: Simplify (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) into (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 3.581 * [taylor]: Taking taylor expansion of E in x 3.581 * [backup-simplify]: Simplify E into E 3.581 * [backup-simplify]: Simplify (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) into (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 3.581 * [backup-simplify]: Simplify (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) into (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) E) 3.582 * [backup-simplify]: Simplify (+ (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (* 0 E)) into 0 3.582 * [backup-simplify]: Simplify 0 into 0 3.583 * [backup-simplify]: Simplify (+ (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (* 0 E))) into 0 3.583 * [backup-simplify]: Simplify 0 into 0 3.583 * [backup-simplify]: Simplify (+ (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 E)))) into 0 3.583 * [backup-simplify]: Simplify 0 into 0 3.584 * [backup-simplify]: Simplify (+ (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 E))))) into 0 3.584 * [backup-simplify]: Simplify 0 into 0 3.585 * [backup-simplify]: Simplify (+ (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 E)))))) into 0 3.585 * [backup-simplify]: Simplify 0 into 0 3.586 * [backup-simplify]: Simplify (+ (* (exp (- (* 1/6 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 E))))))) into 0 3.586 * [backup-simplify]: Simplify 0 into 0 3.587 * [backup-simplify]: Simplify (* (exp (- (* 1/6 (/ 1 (pow (/ 1 (- x)) 2))) (* 1/2 (/ 1 (/ 1 (- x)))))) E) into (* (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) E) 3.587 * * * [progress]: simplifying candidates 3.589 * [simplify]: Simplifying: (log E) (log (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x)))) (log (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x))))) (log (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x))))) (log (log (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x)))))) (exp (log (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x)))))) (* (cbrt (log (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x)))))) (cbrt (log (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x))))))) (cbrt (log (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x)))))) (* (* (log (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x))))) (log (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x)))))) (log (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x)))))) (sqrt (log (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x)))))) (sqrt (log (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x)))))) (- (* (log x) 2) (log 6)) (- (* (log x) 2) (log 6)) (- (log (pow x 2)) (log 6)) (log (/ (pow x 2) 6)) (exp (/ (pow x 2) 6)) (/ (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* 6 6) 6)) (* (cbrt (/ (pow x 2) 6)) (cbrt (/ (pow x 2) 6))) (cbrt (/ (pow x 2) 6)) (* (* (/ (pow x 2) 6) (/ (pow x 2) 6)) (/ (pow x 2) 6)) (sqrt (/ (pow x 2) 6)) (sqrt (/ (pow x 2) 6)) (- (pow x 2)) (- 6) (/ (pow (* (cbrt x) (cbrt x)) 2) (* (cbrt 6) (cbrt 6))) (/ (pow (cbrt x) 2) (cbrt 6)) (/ (pow (* (cbrt x) (cbrt x)) 2) (sqrt 6)) (/ (pow (cbrt x) 2) (sqrt 6)) (/ (pow (* (cbrt x) (cbrt x)) 2) 1) (/ (pow (cbrt x) 2) 6) (/ (pow (sqrt x) 2) (* (cbrt 6) (cbrt 6))) (/ (pow (sqrt x) 2) (cbrt 6)) (/ (pow (sqrt x) 2) (sqrt 6)) (/ (pow (sqrt x) 2) (sqrt 6)) (/ (pow (sqrt x) 2) 1) (/ (pow (sqrt x) 2) 6) (/ (pow 1 2) (* (cbrt 6) (cbrt 6))) (/ (pow x 2) (cbrt 6)) (/ (pow 1 2) (sqrt 6)) (/ (pow x 2) (sqrt 6)) (/ (pow 1 2) 1) (/ (pow x 2) 6) (/ x (* (cbrt 6) (cbrt 6))) (/ x (cbrt 6)) (/ x (sqrt 6)) (/ x (sqrt 6)) (/ x 1) (/ x 6) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (* (cbrt 6) (cbrt 6))) (/ (cbrt (pow x 2)) (cbrt 6)) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (sqrt 6)) (/ (cbrt (pow x 2)) (sqrt 6)) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) 1) (/ (cbrt (pow x 2)) 6) (/ (sqrt (pow x 2)) (* (cbrt 6) (cbrt 6))) (/ (sqrt (pow x 2)) (cbrt 6)) (/ (sqrt (pow x 2)) (sqrt 6)) (/ (sqrt (pow x 2)) (sqrt 6)) (/ (sqrt (pow x 2)) 1) (/ (sqrt (pow x 2)) 6) (/ 1 (* (cbrt 6) (cbrt 6))) (/ (pow x 2) (cbrt 6)) (/ 1 (sqrt 6)) (/ (pow x 2) (sqrt 6)) (/ 1 1) (/ (pow x 2) 6) (/ (pow x (/ 2 2)) (* (cbrt 6) (cbrt 6))) (/ (pow x (/ 2 2)) (cbrt 6)) (/ (pow x (/ 2 2)) (sqrt 6)) (/ (pow x (/ 2 2)) (sqrt 6)) (/ (pow x (/ 2 2)) 1) (/ (pow x (/ 2 2)) 6) (/ 1 6) (/ 6 (pow x 2)) (/ (pow x 2) (* (cbrt 6) (cbrt 6))) (/ (pow x 2) (sqrt 6)) (/ (pow x 2) 1) (/ 6 (pow (cbrt x) 2)) (/ 6 (pow (sqrt x) 2)) (/ 6 (pow x 2)) (/ 6 x) (/ 6 (cbrt (pow x 2))) (/ 6 (sqrt (pow x 2))) (/ 6 (pow x 2)) (/ 6 (pow x (/ 2 2))) (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x)))) (+ 1 (+ (/ (pow x 2) 6) (* (/ 1 2) x))) (+ (log E) (+ (/ (pow x 2) 6) (* (/ 1 2) x))) (log (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x))))) (exp (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x))))) (* (* (* E E) E) (* (* (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x))) (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x)))) (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x))))) (* (cbrt (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x))))) (cbrt (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x)))))) (cbrt (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x))))) (* (* (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x)))) (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x))))) (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x))))) (sqrt (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x))))) (sqrt (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x))))) (* (sqrt E) (sqrt (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x))))) (* (sqrt E) (sqrt (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x))))) (* E (exp (/ (pow x 2) 6))) (* E (* (cbrt (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x)))) (cbrt (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x)))))) (* E (sqrt (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x))))) (* E 1) (* (cbrt E) (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x)))) (* (sqrt E) (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x)))) (* E (exp (+ (/ (pow x 2) 6) (* (/ 1 2) x)))) (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) (log (* (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) E)) (log (* (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) E)) (* 1/6 (pow x 2)) (* 1/6 (pow x 2)) (* 1/6 (pow x 2)) (+ E (+ (* 1/2 (* x E)) (* 7/24 (* (pow x 2) E)))) (* (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) E) (* (exp (+ (* 1/6 (pow x 2)) (* 1/2 x))) E) 3.589 * [simplify]: Sending expressions to egg_math: (log h0) (log (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1)))) (log (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1))))) (log (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1))))) (log (log (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1)))))) (exp (log (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1)))))) (* (cbrt (log (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1)))))) (cbrt (log (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1))))))) (cbrt (log (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1)))))) (* (* (log (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1))))) (log (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1)))))) (log (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1)))))) (sqrt (log (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1)))))) (sqrt (log (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1)))))) (- (* (log h1) 2) (log 6)) (- (* (log h1) 2) (log 6)) (- (log (pow h1 2)) (log 6)) (log (/ (pow h1 2) 6)) (exp (/ (pow h1 2) 6)) (/ (* (* (pow h1 2) (pow h1 2)) (pow h1 2)) (* (* 6 6) 6)) (* (cbrt (/ (pow h1 2) 6)) (cbrt (/ (pow h1 2) 6))) (cbrt (/ (pow h1 2) 6)) (* (* (/ (pow h1 2) 6) (/ (pow h1 2) 6)) (/ (pow h1 2) 6)) (sqrt (/ (pow h1 2) 6)) (sqrt (/ (pow h1 2) 6)) (- (pow h1 2)) (- 6) (/ (pow (* (cbrt h1) (cbrt h1)) 2) (* (cbrt 6) (cbrt 6))) (/ (pow (cbrt h1) 2) (cbrt 6)) (/ (pow (* (cbrt h1) (cbrt h1)) 2) (sqrt 6)) (/ (pow (cbrt h1) 2) (sqrt 6)) (/ (pow (* (cbrt h1) (cbrt h1)) 2) 1) (/ (pow (cbrt h1) 2) 6) (/ (pow (sqrt h1) 2) (* (cbrt 6) (cbrt 6))) (/ (pow (sqrt h1) 2) (cbrt 6)) (/ (pow (sqrt h1) 2) (sqrt 6)) (/ (pow (sqrt h1) 2) (sqrt 6)) (/ (pow (sqrt h1) 2) 1) (/ (pow (sqrt h1) 2) 6) (/ (pow 1 2) (* (cbrt 6) (cbrt 6))) (/ (pow h1 2) (cbrt 6)) (/ (pow 1 2) (sqrt 6)) (/ (pow h1 2) (sqrt 6)) (/ (pow 1 2) 1) (/ (pow h1 2) 6) (/ h1 (* (cbrt 6) (cbrt 6))) (/ h1 (cbrt 6)) (/ h1 (sqrt 6)) (/ h1 (sqrt 6)) (/ h1 1) (/ h1 6) (/ (* (cbrt (pow h1 2)) (cbrt (pow h1 2))) (* (cbrt 6) (cbrt 6))) (/ (cbrt (pow h1 2)) (cbrt 6)) (/ (* (cbrt (pow h1 2)) (cbrt (pow h1 2))) (sqrt 6)) (/ (cbrt (pow h1 2)) (sqrt 6)) (/ (* (cbrt (pow h1 2)) (cbrt (pow h1 2))) 1) (/ (cbrt (pow h1 2)) 6) (/ (sqrt (pow h1 2)) (* (cbrt 6) (cbrt 6))) (/ (sqrt (pow h1 2)) (cbrt 6)) (/ (sqrt (pow h1 2)) (sqrt 6)) (/ (sqrt (pow h1 2)) (sqrt 6)) (/ (sqrt (pow h1 2)) 1) (/ (sqrt (pow h1 2)) 6) (/ 1 (* (cbrt 6) (cbrt 6))) (/ (pow h1 2) (cbrt 6)) (/ 1 (sqrt 6)) (/ (pow h1 2) (sqrt 6)) (/ 1 1) (/ (pow h1 2) 6) (/ (pow h1 (/ 2 2)) (* (cbrt 6) (cbrt 6))) (/ (pow h1 (/ 2 2)) (cbrt 6)) (/ (pow h1 (/ 2 2)) (sqrt 6)) (/ (pow h1 (/ 2 2)) (sqrt 6)) (/ (pow h1 (/ 2 2)) 1) (/ (pow h1 (/ 2 2)) 6) (/ 1 6) (/ 6 (pow h1 2)) (/ (pow h1 2) (* (cbrt 6) (cbrt 6))) (/ (pow h1 2) (sqrt 6)) (/ (pow h1 2) 1) (/ 6 (pow (cbrt h1) 2)) (/ 6 (pow (sqrt h1) 2)) (/ 6 (pow h1 2)) (/ 6 h1) (/ 6 (cbrt (pow h1 2))) (/ 6 (sqrt (pow h1 2))) (/ 6 (pow h1 2)) (/ 6 (pow h1 (/ 2 2))) (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1)))) (+ 1 (+ (/ (pow h1 2) 6) (* (/ 1 2) h1))) (+ (log h0) (+ (/ (pow h1 2) 6) (* (/ 1 2) h1))) (log (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1))))) (exp (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1))))) (* (* (* h0 h0) h0) (* (* (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1))) (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1)))) (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1))))) (* (cbrt (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1))))) (cbrt (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1)))))) (cbrt (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1))))) (* (* (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1)))) (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1))))) (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1))))) (sqrt (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1))))) (sqrt (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1))))) (* (sqrt h0) (sqrt (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1))))) (* (sqrt h0) (sqrt (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1))))) (* h0 (exp (/ (pow h1 2) 6))) (* h0 (* (cbrt (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1)))) (cbrt (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1)))))) (* h0 (sqrt (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1))))) (* h0 1) (* (cbrt h0) (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1)))) (* (sqrt h0) (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1)))) (* h0 (exp (+ (/ (pow h1 2) 6) (* (/ 1 2) h1)))) (+ (* (/ 1 6) (pow h1 2)) (+ (* (/ 1 2) h1) 1)) (log (* (exp (+ (* (/ 1 6) (pow h1 2)) (* (/ 1 2) h1))) h0)) (log (* (exp (+ (* (/ 1 6) (pow h1 2)) (* (/ 1 2) h1))) h0)) (* (/ 1 6) (pow h1 2)) (* (/ 1 6) (pow h1 2)) (* (/ 1 6) (pow h1 2)) (+ h0 (+ (* (/ 1 2) (* h1 h0)) (* (/ 7 24) (* (pow h1 2) h0)))) (* (exp (+ (* (/ 1 6) (pow h1 2)) (* (/ 1 2) h1))) h0) (* (exp (+ (* (/ 1 6) (pow h1 2)) (* (/ 1 2) h1))) h0) 4.243 * * * [progress]: adding candidates to table 4.493 * * [progress]: iteration 4 / 4 4.493 * * * [progress]: picking best candidate 4.497 * * * * [pick]: Picked # 4.497 * * * [progress]: localizing error 4.503 * * * [progress]: generating rewritten candidates 4.503 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 4.563 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 4.581 * * * [progress]: generating series expansions 4.581 * * * * [progress]: [ 1 / 2 ] generating series at (2) 4.581 * [backup-simplify]: Simplify (- (/ (exp x) x) (/ 1.0 x)) into (- (/ (exp x) x) (* 1.0 (/ 1 x))) 4.581 * [approximate]: Taking taylor expansion of (- (/ (exp x) x) (* 1.0 (/ 1 x))) in (x) around 0 4.581 * [taylor]: Taking taylor expansion of (- (/ (exp x) x) (* 1.0 (/ 1 x))) in x 4.581 * [taylor]: Taking taylor expansion of (/ (exp x) x) in x 4.581 * [taylor]: Taking taylor expansion of (exp x) in x 4.581 * [taylor]: Taking taylor expansion of x in x 4.581 * [backup-simplify]: Simplify 0 into 0 4.581 * [backup-simplify]: Simplify 1 into 1 4.581 * [backup-simplify]: Simplify (exp 0) into 1 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 (/ 1 1) into 1 4.582 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 4.582 * [taylor]: Taking taylor expansion of 1.0 in x 4.582 * [backup-simplify]: Simplify 1.0 into 1.0 4.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x 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 (/ 1 1) into 1 4.582 * [taylor]: Taking taylor expansion of (- (/ (exp x) x) (* 1.0 (/ 1 x))) in x 4.583 * [taylor]: Taking taylor expansion of (/ (exp x) x) in x 4.583 * [taylor]: Taking taylor expansion of (exp x) in x 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 0) into 1 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 (/ 1 1) into 1 4.583 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 4.583 * [taylor]: Taking taylor expansion of 1.0 in x 4.583 * [backup-simplify]: Simplify 1.0 into 1.0 4.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x 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 (/ 1 1) into 1 4.584 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.584 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.585 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0 4.585 * [backup-simplify]: Simplify 0 into 0 4.585 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.586 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1 4.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.587 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 4.587 * [backup-simplify]: Simplify (- 0) into 0 4.587 * [backup-simplify]: Simplify (+ 1 0) into 1 4.587 * [backup-simplify]: Simplify 1 into 1 4.588 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.589 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 1/2 4.589 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.590 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 4.590 * [backup-simplify]: Simplify (- 0) into 0 4.590 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 4.590 * [backup-simplify]: Simplify 1/2 into 1/2 4.592 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 4.592 * [backup-simplify]: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6 4.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.594 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.594 * [backup-simplify]: Simplify (- 0) into 0 4.594 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 4.594 * [backup-simplify]: Simplify 1/6 into 1/6 4.594 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) 4.595 * [backup-simplify]: Simplify (- (/ (exp (/ 1 x)) (/ 1 x)) (/ 1.0 (/ 1 x))) into (- (* x (exp (/ 1 x))) (* 1.0 x)) 4.595 * [approximate]: Taking taylor expansion of (- (* x (exp (/ 1 x))) (* 1.0 x)) in (x) around 0 4.595 * [taylor]: Taking taylor expansion of (- (* x (exp (/ 1 x))) (* 1.0 x)) in x 4.595 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 x))) in x 4.595 * [taylor]: Taking taylor expansion of x in x 4.595 * [backup-simplify]: Simplify 0 into 0 4.595 * [backup-simplify]: Simplify 1 into 1 4.595 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.595 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.595 * [taylor]: Taking taylor expansion of x in x 4.595 * [backup-simplify]: Simplify 0 into 0 4.595 * [backup-simplify]: Simplify 1 into 1 4.595 * [backup-simplify]: Simplify (/ 1 1) into 1 4.595 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.595 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 4.595 * [taylor]: Taking taylor expansion of 1.0 in x 4.595 * [backup-simplify]: Simplify 1.0 into 1.0 4.595 * [taylor]: Taking taylor expansion of x in x 4.595 * [backup-simplify]: Simplify 0 into 0 4.595 * [backup-simplify]: Simplify 1 into 1 4.595 * [taylor]: Taking taylor expansion of (- (* x (exp (/ 1 x))) (* 1.0 x)) in x 4.595 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 x))) in x 4.595 * [taylor]: Taking taylor expansion of x in x 4.595 * [backup-simplify]: Simplify 0 into 0 4.595 * [backup-simplify]: Simplify 1 into 1 4.595 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.595 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.595 * [taylor]: Taking taylor expansion of x in x 4.595 * [backup-simplify]: Simplify 0 into 0 4.595 * [backup-simplify]: Simplify 1 into 1 4.596 * [backup-simplify]: Simplify (/ 1 1) into 1 4.596 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.596 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 4.596 * [taylor]: Taking taylor expansion of 1.0 in x 4.596 * [backup-simplify]: Simplify 1.0 into 1.0 4.596 * [taylor]: Taking taylor expansion of x in x 4.596 * [backup-simplify]: Simplify 0 into 0 4.596 * [backup-simplify]: Simplify 1 into 1 4.596 * [backup-simplify]: Simplify (* 0 (exp (/ 1 x))) into 0 4.596 * [backup-simplify]: Simplify (* 1.0 0) into 0 4.596 * [backup-simplify]: Simplify (- 0) into 0 4.597 * [backup-simplify]: Simplify (+ 0 0) into 0 4.597 * [backup-simplify]: Simplify 0 into 0 4.597 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (/ 1 x)))) into (exp (/ 1 x)) 4.602 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 4.603 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.603 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0) 4.603 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0) 4.604 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (/ 1 x))))) into 0 4.604 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 4.605 * [backup-simplify]: Simplify (- 0) into 0 4.605 * [backup-simplify]: Simplify (+ 0 0) into 0 4.605 * [backup-simplify]: Simplify 0 into 0 4.606 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0 4.606 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.606 * [backup-simplify]: Simplify (- 0) into 0 4.607 * [backup-simplify]: Simplify (+ 0 0) into 0 4.607 * [backup-simplify]: Simplify 0 into 0 4.608 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0 4.608 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.608 * [backup-simplify]: Simplify (- 0) into 0 4.609 * [backup-simplify]: Simplify (+ 0 0) into 0 4.609 * [backup-simplify]: Simplify 0 into 0 4.610 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0 4.612 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 4.612 * [backup-simplify]: Simplify (- 0) into 0 4.612 * [backup-simplify]: Simplify (+ 0 0) into 0 4.612 * [backup-simplify]: Simplify 0 into 0 4.614 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0 4.616 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 4.616 * [backup-simplify]: Simplify (- 0) into 0 4.616 * [backup-simplify]: Simplify (+ 0 0) into 0 4.616 * [backup-simplify]: Simplify 0 into 0 4.619 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))))) into 0 4.620 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 4.621 * [backup-simplify]: Simplify (- 0) into 0 4.621 * [backup-simplify]: Simplify (+ 0 0) into 0 4.621 * [backup-simplify]: Simplify 0 into 0 4.621 * [backup-simplify]: Simplify (* (- (exp (/ 1 (/ 1 x))) 1.0) (/ 1 x)) into (/ (- (exp x) 1.0) x) 4.622 * [backup-simplify]: Simplify (- (/ (exp (/ 1 (- x))) (/ 1 (- x))) (/ 1.0 (/ 1 (- x)))) into (- (* 1.0 x) (* x (exp (/ -1 x)))) 4.622 * [approximate]: Taking taylor expansion of (- (* 1.0 x) (* x (exp (/ -1 x)))) in (x) around 0 4.622 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (exp (/ -1 x)))) in x 4.622 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 4.622 * [taylor]: Taking taylor expansion of 1.0 in x 4.622 * [backup-simplify]: Simplify 1.0 into 1.0 4.622 * [taylor]: Taking taylor expansion of x in x 4.622 * [backup-simplify]: Simplify 0 into 0 4.622 * [backup-simplify]: Simplify 1 into 1 4.622 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 x))) in x 4.622 * [taylor]: Taking taylor expansion of x in x 4.622 * [backup-simplify]: Simplify 0 into 0 4.622 * [backup-simplify]: Simplify 1 into 1 4.622 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.622 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.623 * [taylor]: Taking taylor expansion of -1 in x 4.623 * [backup-simplify]: Simplify -1 into -1 4.623 * [taylor]: Taking taylor expansion of x in x 4.623 * [backup-simplify]: Simplify 0 into 0 4.623 * [backup-simplify]: Simplify 1 into 1 4.623 * [backup-simplify]: Simplify (/ -1 1) into -1 4.623 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.623 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (exp (/ -1 x)))) in x 4.623 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 4.623 * [taylor]: Taking taylor expansion of 1.0 in x 4.623 * [backup-simplify]: Simplify 1.0 into 1.0 4.623 * [taylor]: Taking taylor expansion of x in x 4.623 * [backup-simplify]: Simplify 0 into 0 4.623 * [backup-simplify]: Simplify 1 into 1 4.623 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 x))) in x 4.623 * [taylor]: Taking taylor expansion of x in x 4.623 * [backup-simplify]: Simplify 0 into 0 4.623 * [backup-simplify]: Simplify 1 into 1 4.624 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.624 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.624 * [taylor]: Taking taylor expansion of -1 in x 4.624 * [backup-simplify]: Simplify -1 into -1 4.624 * [taylor]: Taking taylor expansion of x in x 4.624 * [backup-simplify]: Simplify 0 into 0 4.624 * [backup-simplify]: Simplify 1 into 1 4.624 * [backup-simplify]: Simplify (/ -1 1) into -1 4.624 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.625 * [backup-simplify]: Simplify (* 1.0 0) into 0 4.625 * [backup-simplify]: Simplify (* 0 (exp (/ -1 x))) into 0 4.625 * [backup-simplify]: Simplify (- 0) into 0 4.626 * [backup-simplify]: Simplify (+ 0 0) into 0 4.626 * [backup-simplify]: Simplify 0 into 0 4.627 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 4.627 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (/ -1 x)))) into (exp (/ -1 x)) 4.628 * [backup-simplify]: Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x))) 4.628 * [backup-simplify]: Simplify (+ 1.0 (- (exp (/ -1 x)))) into (- 1.0 (exp (/ -1 x))) 4.628 * [backup-simplify]: Simplify (- 1.0 (exp (/ -1 x))) into (- 1.0 (exp (/ -1 x))) 4.629 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 4.630 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (/ -1 x))))) into 0 4.630 * [backup-simplify]: Simplify (- 0) into 0 4.630 * [backup-simplify]: Simplify (+ 0 0) into 0 4.630 * [backup-simplify]: Simplify 0 into 0 4.632 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.633 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0 4.633 * [backup-simplify]: Simplify (- 0) into 0 4.634 * [backup-simplify]: Simplify (+ 0 0) into 0 4.634 * [backup-simplify]: Simplify 0 into 0 4.635 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.637 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0 4.637 * [backup-simplify]: Simplify (- 0) into 0 4.637 * [backup-simplify]: Simplify (+ 0 0) into 0 4.637 * [backup-simplify]: Simplify 0 into 0 4.639 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 4.641 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0 4.641 * [backup-simplify]: Simplify (- 0) into 0 4.642 * [backup-simplify]: Simplify (+ 0 0) into 0 4.642 * [backup-simplify]: Simplify 0 into 0 4.643 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 4.645 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0 4.646 * [backup-simplify]: Simplify (- 0) into 0 4.646 * [backup-simplify]: Simplify (+ 0 0) into 0 4.646 * [backup-simplify]: Simplify 0 into 0 4.648 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 4.651 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))))) into 0 4.651 * [backup-simplify]: Simplify (- 0) into 0 4.652 * [backup-simplify]: Simplify (+ 0 0) into 0 4.652 * [backup-simplify]: Simplify 0 into 0 4.652 * [backup-simplify]: Simplify (* (- 1.0 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1.0 (exp x)) x)) 4.652 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 4.652 * [backup-simplify]: Simplify (/ (exp x) x) into (/ (exp x) x) 4.652 * [approximate]: Taking taylor expansion of (/ (exp x) x) in (x) around 0 4.652 * [taylor]: Taking taylor expansion of (/ (exp x) x) in x 4.652 * [taylor]: Taking taylor expansion of (exp x) in x 4.652 * [taylor]: Taking taylor expansion of x in x 4.652 * [backup-simplify]: Simplify 0 into 0 4.652 * [backup-simplify]: Simplify 1 into 1 4.652 * [backup-simplify]: Simplify (exp 0) into 1 4.652 * [taylor]: Taking taylor expansion of x in x 4.652 * [backup-simplify]: Simplify 0 into 0 4.652 * [backup-simplify]: Simplify 1 into 1 4.653 * [backup-simplify]: Simplify (/ 1 1) into 1 4.653 * [taylor]: Taking taylor expansion of (/ (exp x) x) in x 4.653 * [taylor]: Taking taylor expansion of (exp x) in x 4.653 * [taylor]: Taking taylor expansion of x in x 4.653 * [backup-simplify]: Simplify 0 into 0 4.653 * [backup-simplify]: Simplify 1 into 1 4.653 * [backup-simplify]: Simplify (exp 0) into 1 4.653 * [taylor]: Taking taylor expansion of x in x 4.653 * [backup-simplify]: Simplify 0 into 0 4.653 * [backup-simplify]: Simplify 1 into 1 4.653 * [backup-simplify]: Simplify (/ 1 1) into 1 4.654 * [backup-simplify]: Simplify 1 into 1 4.655 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.656 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1 4.656 * [backup-simplify]: Simplify 1 into 1 4.657 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.658 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 1/2 4.658 * [backup-simplify]: Simplify 1/2 into 1/2 4.659 * [backup-simplify]: Simplify (+ (* 1/2 x) (+ 1 (* 1 (/ 1 x)))) into (+ 1 (+ (* 1/2 x) (/ 1 x))) 4.659 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (/ 1 x)) into (* x (exp (/ 1 x))) 4.659 * [approximate]: Taking taylor expansion of (* x (exp (/ 1 x))) in (x) around 0 4.659 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 x))) in x 4.659 * [taylor]: Taking taylor expansion of x in x 4.659 * [backup-simplify]: Simplify 0 into 0 4.659 * [backup-simplify]: Simplify 1 into 1 4.659 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.659 * [taylor]: Taking taylor expansion of x in x 4.659 * [backup-simplify]: Simplify 0 into 0 4.659 * [backup-simplify]: Simplify 1 into 1 4.660 * [backup-simplify]: Simplify (/ 1 1) into 1 4.660 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.660 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 x))) in x 4.660 * [taylor]: Taking taylor expansion of x in x 4.660 * [backup-simplify]: Simplify 0 into 0 4.660 * [backup-simplify]: Simplify 1 into 1 4.660 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.660 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.660 * [taylor]: Taking taylor expansion of x in x 4.660 * [backup-simplify]: Simplify 0 into 0 4.660 * [backup-simplify]: Simplify 1 into 1 4.660 * [backup-simplify]: Simplify (/ 1 1) into 1 4.660 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.661 * [backup-simplify]: Simplify (* 0 (exp (/ 1 x))) into 0 4.661 * [backup-simplify]: Simplify 0 into 0 4.661 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (/ 1 x)))) into (exp (/ 1 x)) 4.661 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.662 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (/ 1 x))))) into 0 4.662 * [backup-simplify]: Simplify 0 into 0 4.664 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0 4.664 * [backup-simplify]: Simplify 0 into 0 4.666 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0 4.666 * [backup-simplify]: Simplify 0 into 0 4.668 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0 4.668 * [backup-simplify]: Simplify 0 into 0 4.670 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0 4.670 * [backup-simplify]: Simplify 0 into 0 4.673 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))))) into 0 4.673 * [backup-simplify]: Simplify 0 into 0 4.673 * [backup-simplify]: Simplify (* (exp (/ 1 (/ 1 x))) (/ 1 x)) into (/ (exp x) x) 4.673 * [backup-simplify]: Simplify (/ (exp (/ 1 (- x))) (/ 1 (- x))) into (* -1 (* x (exp (/ -1 x)))) 4.673 * [approximate]: Taking taylor expansion of (* -1 (* x (exp (/ -1 x)))) in (x) around 0 4.673 * [taylor]: Taking taylor expansion of (* -1 (* x (exp (/ -1 x)))) in x 4.673 * [taylor]: Taking taylor expansion of -1 in x 4.673 * [backup-simplify]: Simplify -1 into -1 4.673 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 x))) in x 4.673 * [taylor]: Taking taylor expansion of x in x 4.673 * [backup-simplify]: Simplify 0 into 0 4.673 * [backup-simplify]: Simplify 1 into 1 4.673 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.673 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.673 * [taylor]: Taking taylor expansion of -1 in x 4.673 * [backup-simplify]: Simplify -1 into -1 4.673 * [taylor]: Taking taylor expansion of x in x 4.674 * [backup-simplify]: Simplify 0 into 0 4.674 * [backup-simplify]: Simplify 1 into 1 4.674 * [backup-simplify]: Simplify (/ -1 1) into -1 4.674 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.674 * [taylor]: Taking taylor expansion of (* -1 (* x (exp (/ -1 x)))) in x 4.674 * [taylor]: Taking taylor expansion of -1 in x 4.674 * [backup-simplify]: Simplify -1 into -1 4.674 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 x))) in x 4.674 * [taylor]: Taking taylor expansion of x in x 4.674 * [backup-simplify]: Simplify 0 into 0 4.674 * [backup-simplify]: Simplify 1 into 1 4.674 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.674 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.675 * [taylor]: Taking taylor expansion of -1 in x 4.675 * [backup-simplify]: Simplify -1 into -1 4.675 * [taylor]: Taking taylor expansion of x in x 4.675 * [backup-simplify]: Simplify 0 into 0 4.675 * [backup-simplify]: Simplify 1 into 1 4.675 * [backup-simplify]: Simplify (/ -1 1) into -1 4.675 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.675 * [backup-simplify]: Simplify (* 0 (exp (/ -1 x))) into 0 4.676 * [backup-simplify]: Simplify (* -1 0) into 0 4.676 * [backup-simplify]: Simplify 0 into 0 4.676 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (/ -1 x)))) into (exp (/ -1 x)) 4.677 * [backup-simplify]: Simplify (+ (* -1 (exp (/ -1 x))) (* 0 0)) into (- (exp (/ -1 x))) 4.677 * [backup-simplify]: Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x))) 4.678 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (/ -1 x))))) into 0 4.679 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (exp (/ -1 x))) (* 0 0))) into 0 4.679 * [backup-simplify]: Simplify 0 into 0 4.680 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0 4.681 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (exp (/ -1 x))) (* 0 0)))) into 0 4.681 * [backup-simplify]: Simplify 0 into 0 4.683 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0 4.684 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (exp (/ -1 x))) (* 0 0))))) into 0 4.685 * [backup-simplify]: Simplify 0 into 0 4.686 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0 4.688 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (exp (/ -1 x))) (* 0 0)))))) into 0 4.688 * [backup-simplify]: Simplify 0 into 0 4.691 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0 4.693 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (exp (/ -1 x))) (* 0 0))))))) into 0 4.693 * [backup-simplify]: Simplify 0 into 0 4.696 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))))) into 0 4.699 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (exp (/ -1 x))) (* 0 0)))))))) into 0 4.699 * [backup-simplify]: Simplify 0 into 0 4.699 * [backup-simplify]: Simplify (* (- (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (/ (exp x) x) 4.699 * * * [progress]: simplifying candidates 4.701 * [simplify]: Simplifying: (/ (exp (/ (exp x) x)) (exp (/ 1.0 x))) (log (- (/ (exp x) x) (/ 1.0 x))) (exp (- (/ (exp x) x) (/ 1.0 x))) (* (cbrt (- (/ (exp x) x) (/ 1.0 x))) (cbrt (- (/ (exp x) x) (/ 1.0 x)))) (cbrt (- (/ (exp x) x) (/ 1.0 x))) (* (* (- (/ (exp x) x) (/ 1.0 x)) (- (/ (exp x) x) (/ 1.0 x))) (- (/ (exp x) x) (/ 1.0 x))) (sqrt (- (/ (exp x) x) (/ 1.0 x))) (sqrt (- (/ (exp x) x) (/ 1.0 x))) (- (exp x) 1.0) (- (* (exp x) x) (* x 1.0)) (* x x) (- (pow (/ (exp x) x) 3) (pow (/ 1.0 x) 3)) (+ (* (/ (exp x) x) (/ (exp x) x)) (+ (* (/ 1.0 x) (/ 1.0 x)) (* (/ (exp x) x) (/ 1.0 x)))) (- (/ 1.0 x)) (- (* (/ (exp x) x) (/ (exp x) x)) (* (/ 1.0 x) (/ 1.0 x))) (+ (/ (exp x) x) (/ 1.0 x)) (+ (sqrt (/ (exp x) x)) (sqrt (/ 1.0 x))) (- (sqrt (/ (exp x) x)) (sqrt (/ 1.0 x))) (+ (sqrt (/ (exp x) x)) (/ (sqrt 1.0) (sqrt x))) (- (sqrt (/ (exp x) x)) (/ (sqrt 1.0) (sqrt x))) (+ (/ (sqrt (exp x)) (sqrt x)) (sqrt (/ 1.0 x))) (- (/ (sqrt (exp x)) (sqrt x)) (sqrt (/ 1.0 x))) (+ (/ (sqrt (exp x)) (sqrt x)) (/ (sqrt 1.0) (sqrt x))) (- (/ (sqrt (exp x)) (sqrt x)) (/ (sqrt 1.0) (sqrt x))) (- (/ (exp x) (cbrt x)) (/ 1.0 (cbrt x))) (- (/ (exp x) (sqrt x)) (/ 1.0 (sqrt x))) (- (/ (exp x) x) (/ 1.0 x)) (- (/ (exp x) x) (/ 1.0 x)) (- (exp x) 1.0) (- (/ 1.0 x)) (- x (log x)) (log (/ (exp x) x)) (exp (/ (exp x) x)) (/ (* (* (exp x) (exp x)) (exp x)) (* (* x x) x)) (* (cbrt (/ (exp x) x)) (cbrt (/ (exp x) x))) (cbrt (/ (exp x) x)) (* (* (/ (exp x) x) (/ (exp x) x)) (/ (exp x) x)) (sqrt (/ (exp x) x)) (sqrt (/ (exp x) x)) (- (exp x)) (- x) (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt x) (cbrt x))) (/ (cbrt (exp x)) (cbrt x)) (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt x)) (/ (cbrt (exp x)) (sqrt x)) (/ (* (cbrt (exp x)) (cbrt (exp x))) 1) (/ (cbrt (exp x)) x) (/ (sqrt (exp x)) (* (cbrt x) (cbrt x))) (/ (sqrt (exp x)) (cbrt x)) (/ (sqrt (exp x)) (sqrt x)) (/ (sqrt (exp x)) (sqrt x)) (/ (sqrt (exp x)) 1) (/ (sqrt (exp x)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (exp x) (cbrt x)) (/ 1 (sqrt x)) (/ (exp x) (sqrt x)) (/ 1 1) (/ (exp x) x) (/ 1 x) (/ x (exp x)) (/ (exp x) (* (cbrt x) (cbrt x))) (/ (exp x) (sqrt x)) (/ (exp x) 1) (/ x (cbrt (exp x))) (/ x (sqrt (exp x))) (/ x (exp x)) (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) (/ (- (exp x) 1.0) x) (* -1 (/ (- 1.0 (exp x)) x)) (+ 1 (+ (* 1/2 x) (/ 1 x))) (/ (exp x) x) (/ (exp x) x) 4.701 * [simplify]: Sending expressions to egg_math: (/ (exp (/ (exp h0) h0)) (exp (/ 1.0 h0))) (log (- (/ (exp h0) h0) (/ 1.0 h0))) (exp (- (/ (exp h0) h0) (/ 1.0 h0))) (* (cbrt (- (/ (exp h0) h0) (/ 1.0 h0))) (cbrt (- (/ (exp h0) h0) (/ 1.0 h0)))) (cbrt (- (/ (exp h0) h0) (/ 1.0 h0))) (* (* (- (/ (exp h0) h0) (/ 1.0 h0)) (- (/ (exp h0) h0) (/ 1.0 h0))) (- (/ (exp h0) h0) (/ 1.0 h0))) (sqrt (- (/ (exp h0) h0) (/ 1.0 h0))) (sqrt (- (/ (exp h0) h0) (/ 1.0 h0))) (- (exp h0) 1.0) (- (* (exp h0) h0) (* h0 1.0)) (* h0 h0) (- (pow (/ (exp h0) h0) 3) (pow (/ 1.0 h0) 3)) (+ (* (/ (exp h0) h0) (/ (exp h0) h0)) (+ (* (/ 1.0 h0) (/ 1.0 h0)) (* (/ (exp h0) h0) (/ 1.0 h0)))) (- (/ 1.0 h0)) (- (* (/ (exp h0) h0) (/ (exp h0) h0)) (* (/ 1.0 h0) (/ 1.0 h0))) (+ (/ (exp h0) h0) (/ 1.0 h0)) (+ (sqrt (/ (exp h0) h0)) (sqrt (/ 1.0 h0))) (- (sqrt (/ (exp h0) h0)) (sqrt (/ 1.0 h0))) (+ (sqrt (/ (exp h0) h0)) (/ (sqrt 1.0) (sqrt h0))) (- (sqrt (/ (exp h0) h0)) (/ (sqrt 1.0) (sqrt h0))) (+ (/ (sqrt (exp h0)) (sqrt h0)) (sqrt (/ 1.0 h0))) (- (/ (sqrt (exp h0)) (sqrt h0)) (sqrt (/ 1.0 h0))) (+ (/ (sqrt (exp h0)) (sqrt h0)) (/ (sqrt 1.0) (sqrt h0))) (- (/ (sqrt (exp h0)) (sqrt h0)) (/ (sqrt 1.0) (sqrt h0))) (- (/ (exp h0) (cbrt h0)) (/ 1.0 (cbrt h0))) (- (/ (exp h0) (sqrt h0)) (/ 1.0 (sqrt h0))) (- (/ (exp h0) h0) (/ 1.0 h0)) (- (/ (exp h0) h0) (/ 1.0 h0)) (- (exp h0) 1.0) (- (/ 1.0 h0)) (- h0 (log h0)) (log (/ (exp h0) h0)) (exp (/ (exp h0) h0)) (/ (* (* (exp h0) (exp h0)) (exp h0)) (* (* h0 h0) h0)) (* (cbrt (/ (exp h0) h0)) (cbrt (/ (exp h0) h0))) (cbrt (/ (exp h0) h0)) (* (* (/ (exp h0) h0) (/ (exp h0) h0)) (/ (exp h0) h0)) (sqrt (/ (exp h0) h0)) (sqrt (/ (exp h0) h0)) (- (exp h0)) (- h0) (/ (* (cbrt (exp h0)) (cbrt (exp h0))) (* (cbrt h0) (cbrt h0))) (/ (cbrt (exp h0)) (cbrt h0)) (/ (* (cbrt (exp h0)) (cbrt (exp h0))) (sqrt h0)) (/ (cbrt (exp h0)) (sqrt h0)) (/ (* (cbrt (exp h0)) (cbrt (exp h0))) 1) (/ (cbrt (exp h0)) h0) (/ (sqrt (exp h0)) (* (cbrt h0) (cbrt h0))) (/ (sqrt (exp h0)) (cbrt h0)) (/ (sqrt (exp h0)) (sqrt h0)) (/ (sqrt (exp h0)) (sqrt h0)) (/ (sqrt (exp h0)) 1) (/ (sqrt (exp h0)) h0) (/ 1 (* (cbrt h0) (cbrt h0))) (/ (exp h0) (cbrt h0)) (/ 1 (sqrt h0)) (/ (exp h0) (sqrt h0)) (/ 1 1) (/ (exp h0) h0) (/ 1 h0) (/ h0 (exp h0)) (/ (exp h0) (* (cbrt h0) (cbrt h0))) (/ (exp h0) (sqrt h0)) (/ (exp h0) 1) (/ h0 (cbrt (exp h0))) (/ h0 (sqrt (exp h0))) (/ h0 (exp h0)) (+ (* (/ 1 6) (pow h0 2)) (+ (* (/ 1 2) h0) 1)) (/ (- (exp h0) 1.0) h0) (* -1 (/ (- 1.0 (exp h0)) h0)) (+ 1 (+ (* (/ 1 2) h0) (/ 1 h0))) (/ (exp h0) h0) (/ (exp h0) h0) 5.644 * * * [progress]: adding candidates to table 5.776 * [progress]: [Phase 3 of 3] Extracting. 5.776 * * [regime]: Finding splitpoints for: (# # # #) 5.777 * * * [regime-changes]: Trying 1 branch expressions: (x) 5.777 * * * * [regimes]: Trying to branch on x from (# # # #) 5.803 * * * [regime]: Found split indices: #