3.521 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.161 * * * [progress]: [2/2] Setting up program. 0.162 * [progress]: [Phase 2 of 3] Improving. 0.163 * [simplify]: Simplifying: (exp (- (- 1.0 (* x x)))) 0.163 * [simplify]: Sending expressions to egg_math: (exp (- (- h1 (* h0 h0)))) 0.164 * * [simplify]: iteration 0 : 11 enodes (cost 4 ) 0.166 * * [simplify]: iteration 1 : 25 enodes (cost 4 ) 0.167 * * [simplify]: iteration 2 : 49 enodes (cost 4 ) 0.169 * * [simplify]: iteration 3 : 96 enodes (cost 4 ) 0.170 * * [simplify]: iteration 4 : 253 enodes (cost 4 ) 0.174 * * [simplify]: iteration 5 : 821 enodes (cost 4 ) 0.188 * * [simplify]: iteration 6 : 3115 enodes (cost 4 ) 0.224 * * [simplify]: iteration 7 : 5001 enodes (cost 4 ) 0.225 * * [progress]: iteration 1 / 4 0.225 * * * [progress]: picking best candidate 0.226 * * * * [pick]: Picked # 0.226 * * * [progress]: localizing error 0.232 * * * [progress]: generating rewritten candidates 0.233 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 0.238 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.262 * * * [progress]: generating series expansions 0.262 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 0.262 * [backup-simplify]: Simplify (- 1.0 (* x x)) into (- 1.0 (pow x 2)) 0.262 * [approximate]: Taking taylor expansion of (- 1.0 (pow x 2)) in (x) around 0 0.262 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 0.262 * [taylor]: Taking taylor expansion of 1.0 in x 0.262 * [backup-simplify]: Simplify 1.0 into 1.0 0.262 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.262 * [taylor]: Taking taylor expansion of x in x 0.262 * [backup-simplify]: Simplify 0 into 0 0.262 * [backup-simplify]: Simplify 1 into 1 0.262 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 0.262 * [taylor]: Taking taylor expansion of 1.0 in x 0.262 * [backup-simplify]: Simplify 1.0 into 1.0 0.262 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.262 * [taylor]: Taking taylor expansion of x in x 0.262 * [backup-simplify]: Simplify 0 into 0 0.262 * [backup-simplify]: Simplify 1 into 1 0.263 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.263 * [backup-simplify]: Simplify 1.0 into 1.0 0.263 * [backup-simplify]: Simplify (+ 0 0) into 0 0.263 * [backup-simplify]: Simplify 0 into 0 0.263 * [backup-simplify]: Simplify (* 1 1) into 1 0.263 * [backup-simplify]: Simplify (- 1) into -1 0.264 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.264 * [backup-simplify]: Simplify -1 into -1 0.264 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.264 * [backup-simplify]: Simplify (- 0) into 0 0.264 * [backup-simplify]: Simplify (+ 0 0) into 0 0.264 * [backup-simplify]: Simplify 0 into 0 0.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.265 * [backup-simplify]: Simplify (- 0) into 0 0.265 * [backup-simplify]: Simplify (+ 0 0) into 0 0.265 * [backup-simplify]: Simplify 0 into 0 0.266 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.266 * [backup-simplify]: Simplify (- 0) into 0 0.266 * [backup-simplify]: Simplify (+ 0 0) into 0 0.266 * [backup-simplify]: Simplify 0 into 0 0.267 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.267 * [backup-simplify]: Simplify (- 0) into 0 0.267 * [backup-simplify]: Simplify (+ 0 0) into 0 0.267 * [backup-simplify]: Simplify 0 into 0 0.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.268 * [backup-simplify]: Simplify (- 0) into 0 0.268 * [backup-simplify]: Simplify (+ 0 0) into 0 0.268 * [backup-simplify]: Simplify 0 into 0 0.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.269 * [backup-simplify]: Simplify (- 0) into 0 0.270 * [backup-simplify]: Simplify (+ 0 0) into 0 0.270 * [backup-simplify]: Simplify 0 into 0 0.270 * [backup-simplify]: Simplify (+ (* -1 (pow x 2)) 1.0) into (- 1.0 (pow x 2)) 0.270 * [backup-simplify]: Simplify (- 1.0 (* (/ 1 x) (/ 1 x))) into (- 1.0 (/ 1 (pow x 2))) 0.270 * [approximate]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in (x) around 0 0.270 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.270 * [taylor]: Taking taylor expansion of 1.0 in x 0.270 * [backup-simplify]: Simplify 1.0 into 1.0 0.270 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.270 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.270 * [taylor]: Taking taylor expansion of x in x 0.270 * [backup-simplify]: Simplify 0 into 0 0.270 * [backup-simplify]: Simplify 1 into 1 0.270 * [backup-simplify]: Simplify (* 1 1) into 1 0.271 * [backup-simplify]: Simplify (/ 1 1) into 1 0.271 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.271 * [taylor]: Taking taylor expansion of 1.0 in x 0.271 * [backup-simplify]: Simplify 1.0 into 1.0 0.271 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.271 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.271 * [taylor]: Taking taylor expansion of x in x 0.271 * [backup-simplify]: Simplify 0 into 0 0.271 * [backup-simplify]: Simplify 1 into 1 0.271 * [backup-simplify]: Simplify (* 1 1) into 1 0.271 * [backup-simplify]: Simplify (/ 1 1) into 1 0.271 * [backup-simplify]: Simplify (- 1) into -1 0.272 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.272 * [backup-simplify]: Simplify -1 into -1 0.272 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.273 * [backup-simplify]: Simplify (- 0) into 0 0.273 * [backup-simplify]: Simplify (+ 0 0) into 0 0.273 * [backup-simplify]: Simplify 0 into 0 0.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.274 * [backup-simplify]: Simplify (- 0) into 0 0.274 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.274 * [backup-simplify]: Simplify 1.0 into 1.0 0.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.276 * [backup-simplify]: Simplify (- 0) into 0 0.276 * [backup-simplify]: Simplify (+ 0 0) into 0 0.276 * [backup-simplify]: Simplify 0 into 0 0.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.277 * [backup-simplify]: Simplify (- 0) into 0 0.278 * [backup-simplify]: Simplify (+ 0 0) into 0 0.278 * [backup-simplify]: Simplify 0 into 0 0.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.279 * [backup-simplify]: Simplify (- 0) into 0 0.279 * [backup-simplify]: Simplify (+ 0 0) into 0 0.279 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.281 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.281 * [backup-simplify]: Simplify (- 0) into 0 0.281 * [backup-simplify]: Simplify (+ 0 0) into 0 0.281 * [backup-simplify]: Simplify 0 into 0 0.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.283 * [backup-simplify]: Simplify (- 0) into 0 0.283 * [backup-simplify]: Simplify (+ 0 0) into 0 0.283 * [backup-simplify]: Simplify 0 into 0 0.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 0.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.285 * [backup-simplify]: Simplify (- 0) into 0 0.285 * [backup-simplify]: Simplify (+ 0 0) into 0 0.285 * [backup-simplify]: Simplify 0 into 0 0.285 * [backup-simplify]: Simplify (+ 1.0 (* -1 (pow (/ 1 (/ 1 x)) 2))) into (- 1.0 (pow x 2)) 0.289 * [backup-simplify]: Simplify (- 1.0 (* (/ 1 (- x)) (/ 1 (- x)))) into (- 1.0 (/ 1 (pow x 2))) 0.289 * [approximate]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in (x) around 0 0.290 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.290 * [taylor]: Taking taylor expansion of 1.0 in x 0.290 * [backup-simplify]: Simplify 1.0 into 1.0 0.290 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.290 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.290 * [taylor]: Taking taylor expansion of x in x 0.290 * [backup-simplify]: Simplify 0 into 0 0.290 * [backup-simplify]: Simplify 1 into 1 0.290 * [backup-simplify]: Simplify (* 1 1) into 1 0.290 * [backup-simplify]: Simplify (/ 1 1) into 1 0.290 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.290 * [taylor]: Taking taylor expansion of 1.0 in x 0.290 * [backup-simplify]: Simplify 1.0 into 1.0 0.291 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.291 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.291 * [taylor]: Taking taylor expansion of x in x 0.291 * [backup-simplify]: Simplify 0 into 0 0.291 * [backup-simplify]: Simplify 1 into 1 0.291 * [backup-simplify]: Simplify (* 1 1) into 1 0.291 * [backup-simplify]: Simplify (/ 1 1) into 1 0.291 * [backup-simplify]: Simplify (- 1) into -1 0.292 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.292 * [backup-simplify]: Simplify -1 into -1 0.292 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.293 * [backup-simplify]: Simplify (- 0) into 0 0.293 * [backup-simplify]: Simplify (+ 0 0) into 0 0.293 * [backup-simplify]: Simplify 0 into 0 0.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.294 * [backup-simplify]: Simplify (- 0) into 0 0.294 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.294 * [backup-simplify]: Simplify 1.0 into 1.0 0.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.296 * [backup-simplify]: Simplify (- 0) into 0 0.296 * [backup-simplify]: Simplify (+ 0 0) into 0 0.296 * [backup-simplify]: Simplify 0 into 0 0.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.297 * [backup-simplify]: Simplify (- 0) into 0 0.297 * [backup-simplify]: Simplify (+ 0 0) into 0 0.297 * [backup-simplify]: Simplify 0 into 0 0.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.299 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.299 * [backup-simplify]: Simplify (- 0) into 0 0.299 * [backup-simplify]: Simplify (+ 0 0) into 0 0.299 * [backup-simplify]: Simplify 0 into 0 0.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.300 * [backup-simplify]: Simplify (- 0) into 0 0.301 * [backup-simplify]: Simplify (+ 0 0) into 0 0.301 * [backup-simplify]: Simplify 0 into 0 0.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.302 * [backup-simplify]: Simplify (- 0) into 0 0.302 * [backup-simplify]: Simplify (+ 0 0) into 0 0.302 * [backup-simplify]: Simplify 0 into 0 0.303 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 0.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.304 * [backup-simplify]: Simplify (- 0) into 0 0.304 * [backup-simplify]: Simplify (+ 0 0) into 0 0.304 * [backup-simplify]: Simplify 0 into 0 0.305 * [backup-simplify]: Simplify (+ 1.0 (* -1 (pow (/ 1 (/ 1 (- x))) 2))) into (- 1.0 (pow x 2)) 0.305 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.305 * [backup-simplify]: Simplify (exp (- (- 1.0 (* x x)))) into (exp (- (pow x 2) 1.0)) 0.305 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0 0.305 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 0.305 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 0.305 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.305 * [taylor]: Taking taylor expansion of x in x 0.305 * [backup-simplify]: Simplify 0 into 0 0.305 * [backup-simplify]: Simplify 1 into 1 0.305 * [taylor]: Taking taylor expansion of 1.0 in x 0.305 * [backup-simplify]: Simplify 1.0 into 1.0 0.305 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.306 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.306 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 0.306 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 0.306 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 0.306 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.306 * [taylor]: Taking taylor expansion of x in x 0.306 * [backup-simplify]: Simplify 0 into 0 0.306 * [backup-simplify]: Simplify 1 into 1 0.306 * [taylor]: Taking taylor expansion of 1.0 in x 0.306 * [backup-simplify]: Simplify 1.0 into 1.0 0.306 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.307 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.307 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 0.308 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 0.308 * [backup-simplify]: Simplify (- 0) into 0 0.308 * [backup-simplify]: Simplify (+ 0 0) into 0 0.309 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0 0.309 * [backup-simplify]: Simplify 0 into 0 0.309 * [backup-simplify]: Simplify (* 1 1) into 1 0.309 * [backup-simplify]: Simplify (- 0) into 0 0.310 * [backup-simplify]: Simplify (+ 1 0) into 1 0.312 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0)) 0.312 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 0.313 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.313 * [backup-simplify]: Simplify (- 0) into 0 0.313 * [backup-simplify]: Simplify (+ 0 0) into 0 0.314 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.314 * [backup-simplify]: Simplify 0 into 0 0.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.315 * [backup-simplify]: Simplify (- 0) into 0 0.315 * [backup-simplify]: Simplify (+ 0 0) into 0 0.320 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp (- 1.0))) 0.320 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0))) 0.322 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp (- 1.0))) (pow x 4)) (+ (* (exp (- 1.0)) (pow x 2)) (exp (- 1.0)))) into (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) 0.323 * [backup-simplify]: Simplify (exp (- (- 1.0 (* (/ 1 x) (/ 1 x))))) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.323 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 0.323 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.323 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.323 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.323 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.323 * [taylor]: Taking taylor expansion of x in x 0.323 * [backup-simplify]: Simplify 0 into 0 0.323 * [backup-simplify]: Simplify 1 into 1 0.323 * [backup-simplify]: Simplify (* 1 1) into 1 0.323 * [backup-simplify]: Simplify (/ 1 1) into 1 0.323 * [taylor]: Taking taylor expansion of 1.0 in x 0.323 * [backup-simplify]: Simplify 1.0 into 1.0 0.323 * [backup-simplify]: Simplify (+ 1 0) into 1 0.324 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.324 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.324 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.324 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.324 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.324 * [taylor]: Taking taylor expansion of x in x 0.324 * [backup-simplify]: Simplify 0 into 0 0.324 * [backup-simplify]: Simplify 1 into 1 0.324 * [backup-simplify]: Simplify (* 1 1) into 1 0.324 * [backup-simplify]: Simplify (/ 1 1) into 1 0.324 * [taylor]: Taking taylor expansion of 1.0 in x 0.324 * [backup-simplify]: Simplify 1.0 into 1.0 0.324 * [backup-simplify]: Simplify (+ 1 0) into 1 0.325 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.325 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.325 * [backup-simplify]: Simplify 0 into 0 0.325 * [backup-simplify]: Simplify 0 into 0 0.325 * [backup-simplify]: Simplify 0 into 0 0.325 * [backup-simplify]: Simplify 0 into 0 0.325 * [backup-simplify]: Simplify 0 into 0 0.325 * [backup-simplify]: Simplify 0 into 0 0.325 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1.0)) into (exp (- (pow x 2) 1.0)) 0.326 * [backup-simplify]: Simplify (exp (- (- 1.0 (* (/ 1 (- x)) (/ 1 (- x)))))) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.326 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 0.326 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.326 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.326 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.326 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.326 * [taylor]: Taking taylor expansion of x in x 0.326 * [backup-simplify]: Simplify 0 into 0 0.326 * [backup-simplify]: Simplify 1 into 1 0.326 * [backup-simplify]: Simplify (* 1 1) into 1 0.326 * [backup-simplify]: Simplify (/ 1 1) into 1 0.326 * [taylor]: Taking taylor expansion of 1.0 in x 0.326 * [backup-simplify]: Simplify 1.0 into 1.0 0.326 * [backup-simplify]: Simplify (+ 1 0) into 1 0.327 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.327 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.327 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.327 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.327 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.327 * [taylor]: Taking taylor expansion of x in x 0.327 * [backup-simplify]: Simplify 0 into 0 0.327 * [backup-simplify]: Simplify 1 into 1 0.327 * [backup-simplify]: Simplify (* 1 1) into 1 0.327 * [backup-simplify]: Simplify (/ 1 1) into 1 0.327 * [taylor]: Taking taylor expansion of 1.0 in x 0.327 * [backup-simplify]: Simplify 1.0 into 1.0 0.327 * [backup-simplify]: Simplify (+ 1 0) into 1 0.327 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.328 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.328 * [backup-simplify]: Simplify 0 into 0 0.328 * [backup-simplify]: Simplify 0 into 0 0.328 * [backup-simplify]: Simplify 0 into 0 0.328 * [backup-simplify]: Simplify 0 into 0 0.328 * [backup-simplify]: Simplify 0 into 0 0.328 * [backup-simplify]: Simplify 0 into 0 0.328 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1.0)) into (exp (- (pow x 2) 1.0)) 0.328 * * * [progress]: simplifying candidates 0.329 * [simplify]: Simplifying: (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x x))) (fma (- x) x (* x x)) (fma (sqrt 1.0) (sqrt 1.0) (- (* x x))) (fma (- x) x (* x x)) (fma 1 1.0 (- (* x x))) (fma (- x) x (* x x)) (expm1 (- 1.0 (* x x))) (log1p (- 1.0 (* x x))) (- (* x x)) (- (* x x)) (- (* x x)) (/ (exp 1.0) (exp (* x x))) (log (- 1.0 (* x x))) (exp (- 1.0 (* x x))) (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))) (cbrt (- 1.0 (* x x))) (* (* (- 1.0 (* x x)) (- 1.0 (* x x))) (- 1.0 (* x x))) (sqrt (- 1.0 (* x x))) (sqrt (- 1.0 (* x x))) (- (pow 1.0 3) (pow (* x x) 3)) (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x)))) (- (* x x)) (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)) (+ (sqrt 1.0) x) (- (sqrt 1.0) x) (- (* x x)) (expm1 (exp (- (- 1.0 (* x x))))) (log1p (exp (- (- 1.0 (* x x))))) (exp (* (cbrt (- (- 1.0 (* x x)))) (cbrt (- (- 1.0 (* x x)))))) (exp (sqrt (- (- 1.0 (* x x))))) (exp 1) (exp -1) (exp (- (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (exp (- (sqrt (- 1.0 (* x x))))) (exp (- 1)) (exp (- (+ (sqrt 1.0) x))) (exp (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x))))) (exp (sqrt (- 1.0 (* x x)))) (exp 1) (exp (+ (sqrt 1.0) x)) (exp (- (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x x))))) (exp (- (fma (- x) x (* x x)))) (exp (- (fma (sqrt 1.0) (sqrt 1.0) (- (* x x))))) (exp (- (fma (- x) x (* x x)))) (exp (- (fma 1 1.0 (- (* x x))))) (exp (- (fma (- x) x (* x x)))) (exp (- 1.0)) (exp (- (- (* x x)))) (exp (- 1.0)) (exp (- (- (* x x)))) (exp (- 1.0 (* x x))) (exp 0) (exp (- 1.0 (* x x))) (log (exp (- (- 1.0 (* x x))))) (exp (exp (- (- 1.0 (* x x))))) (* (cbrt (exp (- (- 1.0 (* x x))))) (cbrt (exp (- (- 1.0 (* x x)))))) (cbrt (exp (- (- 1.0 (* x x))))) (* (* (exp (- (- 1.0 (* x x)))) (exp (- (- 1.0 (* x x))))) (exp (- (- 1.0 (* x x))))) (sqrt (exp (- (- 1.0 (* x x))))) (sqrt (exp (- (- 1.0 (* x x))))) (- 1.0 (pow x 2)) (- 1.0 (pow x 2)) (- 1.0 (pow x 2)) (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) 0.329 * [simplify]: Sending expressions to egg_math: (fma (* (cbrt h1) (cbrt h1)) (cbrt h1) (- (* h0 h0))) (fma (- h0) h0 (* h0 h0)) (fma (sqrt h1) (sqrt h1) (- (* h0 h0))) (fma (- h0) h0 (* h0 h0)) (fma 1 h1 (- (* h0 h0))) (fma (- h0) h0 (* h0 h0)) (expm1 (- h1 (* h0 h0))) (log1p (- h1 (* h0 h0))) (- (* h0 h0)) (- (* h0 h0)) (- (* h0 h0)) (/ (exp h1) (exp (* h0 h0))) (log (- h1 (* h0 h0))) (exp (- h1 (* h0 h0))) (* (cbrt (- h1 (* h0 h0))) (cbrt (- h1 (* h0 h0)))) (cbrt (- h1 (* h0 h0))) (* (* (- h1 (* h0 h0)) (- h1 (* h0 h0))) (- h1 (* h0 h0))) (sqrt (- h1 (* h0 h0))) (sqrt (- h1 (* h0 h0))) (- (pow h1 3) (pow (* h0 h0) 3)) (+ (* h1 h1) (+ (* (* h0 h0) (* h0 h0)) (* h1 (* h0 h0)))) (- (* h0 h0)) (- (* h1 h1) (* (* h0 h0) (* h0 h0))) (+ h1 (* h0 h0)) (+ (sqrt h1) h0) (- (sqrt h1) h0) (- (* h0 h0)) (expm1 (exp (- (- h1 (* h0 h0))))) (log1p (exp (- (- h1 (* h0 h0))))) (exp (* (cbrt (- (- h1 (* h0 h0)))) (cbrt (- (- h1 (* h0 h0)))))) (exp (sqrt (- (- h1 (* h0 h0))))) (exp 1) (exp -1) (exp (- (* (cbrt (- h1 (* h0 h0))) (cbrt (- h1 (* h0 h0)))))) (exp (- (sqrt (- h1 (* h0 h0))))) (exp (- 1)) (exp (- (+ (sqrt h1) h0))) (exp (* (cbrt (- h1 (* h0 h0))) (cbrt (- h1 (* h0 h0))))) (exp (sqrt (- h1 (* h0 h0)))) (exp 1) (exp (+ (sqrt h1) h0)) (exp (- (fma (* (cbrt h1) (cbrt h1)) (cbrt h1) (- (* h0 h0))))) (exp (- (fma (- h0) h0 (* h0 h0)))) (exp (- (fma (sqrt h1) (sqrt h1) (- (* h0 h0))))) (exp (- (fma (- h0) h0 (* h0 h0)))) (exp (- (fma 1 h1 (- (* h0 h0))))) (exp (- (fma (- h0) h0 (* h0 h0)))) (exp (- h1)) (exp (- (- (* h0 h0)))) (exp (- h1)) (exp (- (- (* h0 h0)))) (exp (- h1 (* h0 h0))) (exp 0) (exp (- h1 (* h0 h0))) (log (exp (- (- h1 (* h0 h0))))) (exp (exp (- (- h1 (* h0 h0))))) (* (cbrt (exp (- (- h1 (* h0 h0))))) (cbrt (exp (- (- h1 (* h0 h0)))))) (cbrt (exp (- (- h1 (* h0 h0))))) (* (* (exp (- (- h1 (* h0 h0)))) (exp (- (- h1 (* h0 h0))))) (exp (- (- h1 (* h0 h0))))) (sqrt (exp (- (- h1 (* h0 h0))))) (sqrt (exp (- (- h1 (* h0 h0))))) (- h1 (pow h0 2)) (- h1 (pow h0 2)) (- h1 (pow h0 2)) (+ (* (pow h0 2) (exp (- h1))) (+ (exp (- h1)) (* 1/2 (* (pow h0 4) (exp (- h1)))))) (exp (- (pow h0 2) h1)) (exp (- (pow h0 2) h1)) 0.332 * * [simplify]: iteration 0 : 196 enodes (cost 276 ) 0.336 * * [simplify]: iteration 1 : 619 enodes (cost 244 ) 0.347 * * [simplify]: iteration 2 : 2765 enodes (cost 217 ) 0.413 * * [simplify]: iteration 3 : 5001 enodes (cost 205 ) 0.414 * * * [progress]: adding candidates to table 0.514 * * [progress]: iteration 2 / 4 0.514 * * * [progress]: picking best candidate 0.515 * * * * [pick]: Picked # 0.515 * * * [progress]: localizing error 0.525 * * * [progress]: generating rewritten candidates 0.525 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.526 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.526 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1) 0.534 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 0.557 * * * [progress]: generating series expansions 0.557 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.557 * [backup-simplify]: Simplify (expm1 (log1p (exp (- (- 1.0 (* x x)))))) into (expm1 (log1p (exp (- (pow x 2) 1.0)))) 0.557 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (- (pow x 2) 1.0)))) in (x) around 0 0.557 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (- (pow x 2) 1.0)))) in x 0.558 * [taylor]: Rewrote expression to (- (exp (log1p (exp (- (pow x 2) 1.0)))) 1) 0.558 * [taylor]: Taking taylor expansion of (exp (log1p (exp (- (pow x 2) 1.0)))) in x 0.558 * [taylor]: Taking taylor expansion of (log1p (exp (- (pow x 2) 1.0))) in x 0.558 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (pow x 2) 1.0)))) 0.558 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (pow x 2) 1.0))) in x 0.558 * [taylor]: Taking taylor expansion of 1 in x 0.558 * [backup-simplify]: Simplify 1 into 1 0.558 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 0.558 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 0.558 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.558 * [taylor]: Taking taylor expansion of x in x 0.558 * [backup-simplify]: Simplify 0 into 0 0.558 * [backup-simplify]: Simplify 1 into 1 0.558 * [taylor]: Taking taylor expansion of 1.0 in x 0.558 * [backup-simplify]: Simplify 1.0 into 1.0 0.558 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.559 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.559 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 0.560 * [backup-simplify]: Simplify (+ 1 (exp (- 1.0))) into (+ (exp (- 1.0)) 1) 0.561 * [backup-simplify]: Simplify (log (+ (exp (- 1.0)) 1)) into (log (+ (exp (- 1.0)) 1)) 0.563 * [backup-simplify]: Simplify (exp (log (+ (exp (- 1.0)) 1))) into (+ (exp (- 1.0)) 1) 0.563 * [taylor]: Taking taylor expansion of 1 in x 0.563 * [backup-simplify]: Simplify 1 into 1 0.563 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (- (pow x 2) 1.0)))) in x 0.563 * [taylor]: Rewrote expression to (- (exp (log1p (exp (- (pow x 2) 1.0)))) 1) 0.563 * [taylor]: Taking taylor expansion of (exp (log1p (exp (- (pow x 2) 1.0)))) in x 0.563 * [taylor]: Taking taylor expansion of (log1p (exp (- (pow x 2) 1.0))) in x 0.563 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (pow x 2) 1.0)))) 0.563 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (pow x 2) 1.0))) in x 0.564 * [taylor]: Taking taylor expansion of 1 in x 0.564 * [backup-simplify]: Simplify 1 into 1 0.564 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 0.564 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 0.564 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.564 * [taylor]: Taking taylor expansion of x in x 0.564 * [backup-simplify]: Simplify 0 into 0 0.564 * [backup-simplify]: Simplify 1 into 1 0.564 * [taylor]: Taking taylor expansion of 1.0 in x 0.564 * [backup-simplify]: Simplify 1.0 into 1.0 0.564 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.564 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.565 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 0.566 * [backup-simplify]: Simplify (+ 1 (exp (- 1.0))) into (+ (exp (- 1.0)) 1) 0.567 * [backup-simplify]: Simplify (log (+ (exp (- 1.0)) 1)) into (log (+ (exp (- 1.0)) 1)) 0.568 * [backup-simplify]: Simplify (exp (log (+ (exp (- 1.0)) 1))) into (+ (exp (- 1.0)) 1) 0.568 * [taylor]: Taking taylor expansion of 1 in x 0.568 * [backup-simplify]: Simplify 1 into 1 0.569 * [backup-simplify]: Simplify (- 1) into -1 0.570 * [backup-simplify]: Simplify (+ (+ (exp (- 1.0)) 1) -1) into (exp (- 1.0)) 0.570 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 0.571 * [backup-simplify]: Simplify (- 0) into 0 0.571 * [backup-simplify]: Simplify (+ 0 0) into 0 0.571 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0 0.572 * [backup-simplify]: Simplify (+ 0 0) into 0 0.573 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (- 1.0)) 1) 1)))) 1) into 0 0.573 * [backup-simplify]: Simplify (* (exp (log (+ (exp (- 1.0)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 0.574 * [backup-simplify]: Simplify (- 0) into 0 0.574 * [backup-simplify]: Simplify (+ 0 0) into 0 0.574 * [backup-simplify]: Simplify 0 into 0 0.574 * [backup-simplify]: Simplify (* 1 1) into 1 0.574 * [backup-simplify]: Simplify (- 0) into 0 0.575 * [backup-simplify]: Simplify (+ 1 0) into 1 0.577 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0)) 0.577 * [backup-simplify]: Simplify (+ 0 (exp (- 1.0))) into (exp (- 1.0)) 0.586 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (- 1.0)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 (exp (- 1.0))) 1)) (pow (+ (exp (- 1.0)) 1) 1)))) 2) into (/ (exp (- 1.0)) (+ (exp (- 1.0)) 1)) 0.594 * [backup-simplify]: Simplify (* (exp (log (+ (exp (- 1.0)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow (/ (exp (- 1.0)) (+ (exp (- 1.0)) 1)) 1) 1)))) into (exp (- 1.0)) 0.594 * [backup-simplify]: Simplify (- 0) into 0 0.595 * [backup-simplify]: Simplify (+ (exp (- 1.0)) 0) into (exp (- 1.0)) 0.595 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 0.596 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.596 * [backup-simplify]: Simplify (- 0) into 0 0.596 * [backup-simplify]: Simplify (+ 0 0) into 0 0.597 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.598 * [backup-simplify]: Simplify (+ 0 0) into 0 0.600 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (- 1.0)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (exp (- 1.0))) 1)) (pow (+ (exp (- 1.0)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (- 1.0)) 1) 1)))) 6) into 0 0.602 * [backup-simplify]: Simplify (* (exp (log (+ (exp (- 1.0)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow (/ (exp (- 1.0)) (+ (exp (- 1.0)) 1)) 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.602 * [backup-simplify]: Simplify (- 0) into 0 0.605 * [backup-simplify]: Simplify (+ 0 0) into 0 0.605 * [backup-simplify]: Simplify 0 into 0 0.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.606 * [backup-simplify]: Simplify (- 0) into 0 0.607 * [backup-simplify]: Simplify (+ 0 0) into 0 0.611 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp (- 1.0))) 0.612 * [backup-simplify]: Simplify (+ 0 (* 1/2 (exp (- 1.0)))) into (* 1/2 (exp (- 1.0))) 0.638 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (- 1.0)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (exp (- 1.0))) 1)) (pow (+ (exp (- 1.0)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 (exp (- 1.0))) 2)) (pow (+ (exp (- 1.0)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (- 1.0)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 1/2 (exp (- 1.0)))) 1)) (pow (+ (exp (- 1.0)) 1) 1)))) 24) into (* 1/24 (- (* 12 (/ (exp (- 1.0)) (+ (exp (- 1.0)) 1))) (* 12 (/ (pow (exp (- 1.0)) 2) (pow (+ (exp (- 1.0)) 1) 2))))) 0.666 * [backup-simplify]: Simplify (* (exp (log (+ (exp (- 1.0)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow (/ (exp (- 1.0)) (+ (exp (- 1.0)) 1)) 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow (/ (exp (- 1.0)) (+ (exp (- 1.0)) 1)) 2) 2)) (* (/ (pow (* 1/24 (- (* 12 (/ (exp (- 1.0)) (+ (exp (- 1.0)) 1))) (* 12 (/ (pow (exp (- 1.0)) 2) (pow (+ (exp (- 1.0)) 1) 2))))) 1) 1)))) into (* 1/2 (exp (- 1.0))) 0.666 * [backup-simplify]: Simplify (- 0) into 0 0.667 * [backup-simplify]: Simplify (+ (* 1/2 (exp (- 1.0))) 0) into (* 1/2 (exp (- 1.0))) 0.668 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0))) 0.670 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp (- 1.0))) (pow x 4)) (+ (* (exp (- 1.0)) (pow x 2)) (exp (- 1.0)))) into (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) 0.670 * [backup-simplify]: Simplify (expm1 (log1p (exp (- (- 1.0 (* (/ 1 x) (/ 1 x))))))) into (expm1 (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) 0.670 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in (x) around 0 0.670 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in x 0.670 * [taylor]: Rewrote expression to (- (exp (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) 1) 0.670 * [taylor]: Taking taylor expansion of (exp (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in x 0.670 * [taylor]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in x 0.671 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (/ 1 (pow x 2)) 1.0)))) 0.671 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) in x 0.671 * [taylor]: Taking taylor expansion of 1 in x 0.671 * [backup-simplify]: Simplify 1 into 1 0.671 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.671 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.671 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.671 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.671 * [taylor]: Taking taylor expansion of x in x 0.671 * [backup-simplify]: Simplify 0 into 0 0.671 * [backup-simplify]: Simplify 1 into 1 0.671 * [backup-simplify]: Simplify (* 1 1) into 1 0.671 * [backup-simplify]: Simplify (/ 1 1) into 1 0.671 * [taylor]: Taking taylor expansion of 1.0 in x 0.671 * [backup-simplify]: Simplify 1.0 into 1.0 0.671 * [backup-simplify]: Simplify (+ 1 0) into 1 0.672 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.672 * [backup-simplify]: Simplify (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) into (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 0.672 * [backup-simplify]: Simplify (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) into (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) 0.672 * [backup-simplify]: Simplify (exp (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1))) into (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 0.672 * [taylor]: Taking taylor expansion of 1 in x 0.672 * [backup-simplify]: Simplify 1 into 1 0.672 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in x 0.672 * [taylor]: Rewrote expression to (- (exp (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) 1) 0.672 * [taylor]: Taking taylor expansion of (exp (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in x 0.672 * [taylor]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in x 0.672 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (/ 1 (pow x 2)) 1.0)))) 0.672 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) in x 0.672 * [taylor]: Taking taylor expansion of 1 in x 0.672 * [backup-simplify]: Simplify 1 into 1 0.672 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.672 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.672 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.672 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.672 * [taylor]: Taking taylor expansion of x in x 0.672 * [backup-simplify]: Simplify 0 into 0 0.673 * [backup-simplify]: Simplify 1 into 1 0.673 * [backup-simplify]: Simplify (* 1 1) into 1 0.673 * [backup-simplify]: Simplify (/ 1 1) into 1 0.673 * [taylor]: Taking taylor expansion of 1.0 in x 0.673 * [backup-simplify]: Simplify 1.0 into 1.0 0.673 * [backup-simplify]: Simplify (+ 1 0) into 1 0.673 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.674 * [backup-simplify]: Simplify (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) into (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 0.674 * [backup-simplify]: Simplify (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) into (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) 0.674 * [backup-simplify]: Simplify (exp (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1))) into (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 0.674 * [taylor]: Taking taylor expansion of 1 in x 0.674 * [backup-simplify]: Simplify 1 into 1 0.674 * [backup-simplify]: Simplify (- 1) into -1 0.674 * [backup-simplify]: Simplify (+ (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) -1) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.675 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.675 * [backup-simplify]: Simplify (+ 0 0) into 0 0.675 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 1) into 0 0.676 * [backup-simplify]: Simplify (* (exp (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 0.676 * [backup-simplify]: Simplify (- 0) into 0 0.676 * [backup-simplify]: Simplify (+ 0 0) into 0 0.676 * [backup-simplify]: Simplify 0 into 0 0.677 * [backup-simplify]: Simplify (+ 0 0) into 0 0.678 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 2) into 0 0.679 * [backup-simplify]: Simplify (* (exp (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.680 * [backup-simplify]: Simplify (- 0) into 0 0.680 * [backup-simplify]: Simplify (+ 0 0) into 0 0.680 * [backup-simplify]: Simplify 0 into 0 0.680 * [backup-simplify]: Simplify (+ 0 0) into 0 0.684 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 6) into 0 0.685 * [backup-simplify]: Simplify (* (exp (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.686 * [backup-simplify]: Simplify (- 0) into 0 0.686 * [backup-simplify]: Simplify (+ 0 0) into 0 0.686 * [backup-simplify]: Simplify 0 into 0 0.687 * [backup-simplify]: Simplify (+ 0 0) into 0 0.697 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 24) into 0 0.699 * [backup-simplify]: Simplify (* (exp (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.700 * [backup-simplify]: Simplify (- 0) into 0 0.700 * [backup-simplify]: Simplify (+ 0 0) into 0 0.700 * [backup-simplify]: Simplify 0 into 0 0.701 * [backup-simplify]: Simplify (+ 0 0) into 0 0.709 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 120) into 0 0.711 * [backup-simplify]: Simplify (* (exp (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.712 * [backup-simplify]: Simplify (- 0) into 0 0.712 * [backup-simplify]: Simplify (+ 0 0) into 0 0.712 * [backup-simplify]: Simplify 0 into 0 0.712 * [backup-simplify]: Simplify (+ 0 0) into 0 0.720 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 720) into 0 0.723 * [backup-simplify]: Simplify (* (exp (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.724 * [backup-simplify]: Simplify (- 0) into 0 0.724 * [backup-simplify]: Simplify (+ 0 0) into 0 0.724 * [backup-simplify]: Simplify 0 into 0 0.724 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1.0)) into (exp (- (pow x 2) 1.0)) 0.724 * [backup-simplify]: Simplify (expm1 (log1p (exp (- (- 1.0 (* (/ 1 (- x)) (/ 1 (- x)))))))) into (expm1 (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) 0.724 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in (x) around 0 0.724 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in x 0.725 * [taylor]: Rewrote expression to (- (exp (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) 1) 0.725 * [taylor]: Taking taylor expansion of (exp (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in x 0.725 * [taylor]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in x 0.725 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (/ 1 (pow x 2)) 1.0)))) 0.725 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) in x 0.725 * [taylor]: Taking taylor expansion of 1 in x 0.725 * [backup-simplify]: Simplify 1 into 1 0.725 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.725 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.725 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.725 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.725 * [taylor]: Taking taylor expansion of x in x 0.725 * [backup-simplify]: Simplify 0 into 0 0.725 * [backup-simplify]: Simplify 1 into 1 0.725 * [backup-simplify]: Simplify (* 1 1) into 1 0.725 * [backup-simplify]: Simplify (/ 1 1) into 1 0.725 * [taylor]: Taking taylor expansion of 1.0 in x 0.725 * [backup-simplify]: Simplify 1.0 into 1.0 0.726 * [backup-simplify]: Simplify (+ 1 0) into 1 0.726 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.726 * [backup-simplify]: Simplify (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) into (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 0.726 * [backup-simplify]: Simplify (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) into (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) 0.726 * [backup-simplify]: Simplify (exp (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1))) into (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 0.726 * [taylor]: Taking taylor expansion of 1 in x 0.726 * [backup-simplify]: Simplify 1 into 1 0.726 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in x 0.726 * [taylor]: Rewrote expression to (- (exp (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) 1) 0.726 * [taylor]: Taking taylor expansion of (exp (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in x 0.726 * [taylor]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in x 0.726 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (/ 1 (pow x 2)) 1.0)))) 0.726 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) in x 0.726 * [taylor]: Taking taylor expansion of 1 in x 0.726 * [backup-simplify]: Simplify 1 into 1 0.726 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.727 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.727 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.727 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.727 * [taylor]: Taking taylor expansion of x in x 0.727 * [backup-simplify]: Simplify 0 into 0 0.727 * [backup-simplify]: Simplify 1 into 1 0.727 * [backup-simplify]: Simplify (* 1 1) into 1 0.727 * [backup-simplify]: Simplify (/ 1 1) into 1 0.727 * [taylor]: Taking taylor expansion of 1.0 in x 0.727 * [backup-simplify]: Simplify 1.0 into 1.0 0.727 * [backup-simplify]: Simplify (+ 1 0) into 1 0.727 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.728 * [backup-simplify]: Simplify (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) into (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 0.728 * [backup-simplify]: Simplify (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) into (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) 0.728 * [backup-simplify]: Simplify (exp (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1))) into (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 0.728 * [taylor]: Taking taylor expansion of 1 in x 0.728 * [backup-simplify]: Simplify 1 into 1 0.728 * [backup-simplify]: Simplify (- 1) into -1 0.728 * [backup-simplify]: Simplify (+ (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) -1) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.729 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.729 * [backup-simplify]: Simplify (+ 0 0) into 0 0.729 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 1) into 0 0.730 * [backup-simplify]: Simplify (* (exp (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 0.730 * [backup-simplify]: Simplify (- 0) into 0 0.730 * [backup-simplify]: Simplify (+ 0 0) into 0 0.730 * [backup-simplify]: Simplify 0 into 0 0.731 * [backup-simplify]: Simplify (+ 0 0) into 0 0.732 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 2) into 0 0.733 * [backup-simplify]: Simplify (* (exp (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.733 * [backup-simplify]: Simplify (- 0) into 0 0.733 * [backup-simplify]: Simplify (+ 0 0) into 0 0.733 * [backup-simplify]: Simplify 0 into 0 0.733 * [backup-simplify]: Simplify (+ 0 0) into 0 0.735 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 6) into 0 0.736 * [backup-simplify]: Simplify (* (exp (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.737 * [backup-simplify]: Simplify (- 0) into 0 0.737 * [backup-simplify]: Simplify (+ 0 0) into 0 0.737 * [backup-simplify]: Simplify 0 into 0 0.737 * [backup-simplify]: Simplify (+ 0 0) into 0 0.740 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 24) into 0 0.742 * [backup-simplify]: Simplify (* (exp (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.742 * [backup-simplify]: Simplify (- 0) into 0 0.742 * [backup-simplify]: Simplify (+ 0 0) into 0 0.742 * [backup-simplify]: Simplify 0 into 0 0.743 * [backup-simplify]: Simplify (+ 0 0) into 0 0.748 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 120) into 0 0.750 * [backup-simplify]: Simplify (* (exp (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.750 * [backup-simplify]: Simplify (- 0) into 0 0.750 * [backup-simplify]: Simplify (+ 0 0) into 0 0.750 * [backup-simplify]: Simplify 0 into 0 0.751 * [backup-simplify]: Simplify (+ 0 0) into 0 0.759 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 720) into 0 0.762 * [backup-simplify]: Simplify (* (exp (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.762 * [backup-simplify]: Simplify (- 0) into 0 0.762 * [backup-simplify]: Simplify (+ 0 0) into 0 0.762 * [backup-simplify]: Simplify 0 into 0 0.763 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1.0)) into (exp (- (pow x 2) 1.0)) 0.763 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.763 * [backup-simplify]: Simplify (log1p (exp (- (- 1.0 (* x x))))) into (log1p (exp (- (pow x 2) 1.0))) 0.763 * [approximate]: Taking taylor expansion of (log1p (exp (- (pow x 2) 1.0))) in (x) around 0 0.763 * [taylor]: Taking taylor expansion of (log1p (exp (- (pow x 2) 1.0))) in x 0.763 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (pow x 2) 1.0)))) 0.763 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (pow x 2) 1.0))) in x 0.763 * [taylor]: Taking taylor expansion of 1 in x 0.763 * [backup-simplify]: Simplify 1 into 1 0.763 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 0.763 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 0.763 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.763 * [taylor]: Taking taylor expansion of x in x 0.763 * [backup-simplify]: Simplify 0 into 0 0.763 * [backup-simplify]: Simplify 1 into 1 0.763 * [taylor]: Taking taylor expansion of 1.0 in x 0.763 * [backup-simplify]: Simplify 1.0 into 1.0 0.763 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.764 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.764 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 0.765 * [backup-simplify]: Simplify (+ 1 (exp (- 1.0))) into (+ (exp (- 1.0)) 1) 0.766 * [backup-simplify]: Simplify (log (+ (exp (- 1.0)) 1)) into (log (+ (exp (- 1.0)) 1)) 0.766 * [taylor]: Taking taylor expansion of (log1p (exp (- (pow x 2) 1.0))) in x 0.767 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (pow x 2) 1.0)))) 0.767 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (pow x 2) 1.0))) in x 0.767 * [taylor]: Taking taylor expansion of 1 in x 0.767 * [backup-simplify]: Simplify 1 into 1 0.767 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 0.767 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 0.767 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.767 * [taylor]: Taking taylor expansion of x in x 0.767 * [backup-simplify]: Simplify 0 into 0 0.767 * [backup-simplify]: Simplify 1 into 1 0.767 * [taylor]: Taking taylor expansion of 1.0 in x 0.767 * [backup-simplify]: Simplify 1.0 into 1.0 0.767 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.767 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.768 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 0.769 * [backup-simplify]: Simplify (+ 1 (exp (- 1.0))) into (+ (exp (- 1.0)) 1) 0.770 * [backup-simplify]: Simplify (log (+ (exp (- 1.0)) 1)) into (log (+ (exp (- 1.0)) 1)) 0.771 * [backup-simplify]: Simplify (log (+ (exp (- 1.0)) 1)) into (log (+ (exp (- 1.0)) 1)) 0.771 * [backup-simplify]: Simplify (- 0) into 0 0.772 * [backup-simplify]: Simplify (+ 0 0) into 0 0.772 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0 0.773 * [backup-simplify]: Simplify (+ 0 0) into 0 0.774 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (- 1.0)) 1) 1)))) 1) into 0 0.774 * [backup-simplify]: Simplify 0 into 0 0.774 * [backup-simplify]: Simplify (* 1 1) into 1 0.774 * [backup-simplify]: Simplify (- 0) into 0 0.774 * [backup-simplify]: Simplify (+ 1 0) into 1 0.777 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0)) 0.777 * [backup-simplify]: Simplify (+ 0 (exp (- 1.0))) into (exp (- 1.0)) 0.790 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (- 1.0)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 (exp (- 1.0))) 1)) (pow (+ (exp (- 1.0)) 1) 1)))) 2) into (/ (exp (- 1.0)) (+ (exp (- 1.0)) 1)) 0.792 * [backup-simplify]: Simplify (/ (exp (- 1.0)) (+ (exp (- 1.0)) 1)) into (/ (exp (- 1.0)) (+ (exp (- 1.0)) 1)) 0.792 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.793 * [backup-simplify]: Simplify (- 0) into 0 0.793 * [backup-simplify]: Simplify (+ 0 0) into 0 0.794 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.795 * [backup-simplify]: Simplify (+ 0 0) into 0 0.798 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (- 1.0)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (exp (- 1.0))) 1)) (pow (+ (exp (- 1.0)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (- 1.0)) 1) 1)))) 6) into 0 0.798 * [backup-simplify]: Simplify 0 into 0 0.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.799 * [backup-simplify]: Simplify (- 0) into 0 0.799 * [backup-simplify]: Simplify (+ 0 0) into 0 0.804 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp (- 1.0))) 0.805 * [backup-simplify]: Simplify (+ 0 (* 1/2 (exp (- 1.0)))) into (* 1/2 (exp (- 1.0))) 0.832 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (- 1.0)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (exp (- 1.0))) 1)) (pow (+ (exp (- 1.0)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 (exp (- 1.0))) 2)) (pow (+ (exp (- 1.0)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (- 1.0)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 1/2 (exp (- 1.0)))) 1)) (pow (+ (exp (- 1.0)) 1) 1)))) 24) into (* 1/24 (- (* 12 (/ (exp (- 1.0)) (+ (exp (- 1.0)) 1))) (* 12 (/ (pow (exp (- 1.0)) 2) (pow (+ (exp (- 1.0)) 1) 2))))) 0.840 * [backup-simplify]: Simplify (* 1/24 (- (* 12 (/ (exp (- 1.0)) (+ (exp (- 1.0)) 1))) (* 12 (/ (pow (exp (- 1.0)) 2) (pow (+ (exp (- 1.0)) 1) 2))))) into (* 1/24 (- (* 12 (/ (exp (- 1.0)) (+ (exp (- 1.0)) 1))) (* 12 (/ (pow (exp (- 1.0)) 2) (pow (+ (exp (- 1.0)) 1) 2))))) 0.850 * [backup-simplify]: Simplify (+ (* (* 1/24 (- (* 12 (/ (exp (- 1.0)) (+ (exp (- 1.0)) 1))) (* 12 (/ (pow (exp (- 1.0)) 2) (pow (+ (exp (- 1.0)) 1) 2))))) (pow x 4)) (+ (* (/ (exp (- 1.0)) (+ (exp (- 1.0)) 1)) (pow x 2)) (log (+ (exp (- 1.0)) 1)))) into (- (+ (* 1/2 (/ (* (pow x 4) (exp (- 1.0))) (+ (exp (- 1.0)) 1))) (+ (/ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) 1)) (log (+ (exp (- 1.0)) 1)))) (* 1/2 (/ (* (pow x 4) (pow (exp (- 1.0)) 2)) (pow (+ (exp (- 1.0)) 1) 2)))) 0.851 * [backup-simplify]: Simplify (log1p (exp (- (- 1.0 (* (/ 1 x) (/ 1 x)))))) into (log1p (exp (- (/ 1 (pow x 2)) 1.0))) 0.851 * [approximate]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in (x) around 0 0.851 * [taylor]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in x 0.851 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (/ 1 (pow x 2)) 1.0)))) 0.851 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) in x 0.851 * [taylor]: Taking taylor expansion of 1 in x 0.851 * [backup-simplify]: Simplify 1 into 1 0.851 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.851 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.851 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.851 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.851 * [taylor]: Taking taylor expansion of x in x 0.851 * [backup-simplify]: Simplify 0 into 0 0.851 * [backup-simplify]: Simplify 1 into 1 0.851 * [backup-simplify]: Simplify (* 1 1) into 1 0.851 * [backup-simplify]: Simplify (/ 1 1) into 1 0.851 * [taylor]: Taking taylor expansion of 1.0 in x 0.851 * [backup-simplify]: Simplify 1.0 into 1.0 0.852 * [backup-simplify]: Simplify (+ 1 0) into 1 0.852 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.852 * [backup-simplify]: Simplify (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) into (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 0.852 * [backup-simplify]: Simplify (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) into (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) 0.852 * [taylor]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in x 0.852 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (/ 1 (pow x 2)) 1.0)))) 0.852 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) in x 0.852 * [taylor]: Taking taylor expansion of 1 in x 0.852 * [backup-simplify]: Simplify 1 into 1 0.852 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.852 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.852 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.852 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.852 * [taylor]: Taking taylor expansion of x in x 0.852 * [backup-simplify]: Simplify 0 into 0 0.852 * [backup-simplify]: Simplify 1 into 1 0.852 * [backup-simplify]: Simplify (* 1 1) into 1 0.853 * [backup-simplify]: Simplify (/ 1 1) into 1 0.853 * [taylor]: Taking taylor expansion of 1.0 in x 0.853 * [backup-simplify]: Simplify 1.0 into 1.0 0.853 * [backup-simplify]: Simplify (+ 1 0) into 1 0.853 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.853 * [backup-simplify]: Simplify (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) into (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 0.853 * [backup-simplify]: Simplify (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) into (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) 0.854 * [backup-simplify]: Simplify (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) into (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) 0.854 * [backup-simplify]: Simplify (+ 0 0) into 0 0.854 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 1) into 0 0.854 * [backup-simplify]: Simplify 0 into 0 0.855 * [backup-simplify]: Simplify (+ 0 0) into 0 0.856 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 2) into 0 0.856 * [backup-simplify]: Simplify 0 into 0 0.856 * [backup-simplify]: Simplify (+ 0 0) into 0 0.858 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 6) into 0 0.858 * [backup-simplify]: Simplify 0 into 0 0.858 * [backup-simplify]: Simplify (+ 0 0) into 0 0.861 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 24) into 0 0.862 * [backup-simplify]: Simplify 0 into 0 0.862 * [backup-simplify]: Simplify (+ 0 0) into 0 0.867 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 120) into 0 0.867 * [backup-simplify]: Simplify 0 into 0 0.867 * [backup-simplify]: Simplify (+ 0 0) into 0 0.878 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 720) into 0 0.878 * [backup-simplify]: Simplify 0 into 0 0.878 * [backup-simplify]: Simplify (log (+ (exp (- (/ 1 (pow (/ 1 x) 2)) 1.0)) 1)) into (log (+ (exp (- (pow x 2) 1.0)) 1)) 0.878 * [backup-simplify]: Simplify (log1p (exp (- (- 1.0 (* (/ 1 (- x)) (/ 1 (- x))))))) into (log1p (exp (- (/ 1 (pow x 2)) 1.0))) 0.878 * [approximate]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in (x) around 0 0.878 * [taylor]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in x 0.878 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (/ 1 (pow x 2)) 1.0)))) 0.878 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) in x 0.878 * [taylor]: Taking taylor expansion of 1 in x 0.878 * [backup-simplify]: Simplify 1 into 1 0.878 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.878 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.878 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.879 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.879 * [taylor]: Taking taylor expansion of x in x 0.879 * [backup-simplify]: Simplify 0 into 0 0.879 * [backup-simplify]: Simplify 1 into 1 0.879 * [backup-simplify]: Simplify (* 1 1) into 1 0.879 * [backup-simplify]: Simplify (/ 1 1) into 1 0.879 * [taylor]: Taking taylor expansion of 1.0 in x 0.879 * [backup-simplify]: Simplify 1.0 into 1.0 0.879 * [backup-simplify]: Simplify (+ 1 0) into 1 0.879 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.880 * [backup-simplify]: Simplify (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) into (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 0.880 * [backup-simplify]: Simplify (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) into (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) 0.880 * [taylor]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in x 0.880 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (/ 1 (pow x 2)) 1.0)))) 0.880 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) in x 0.880 * [taylor]: Taking taylor expansion of 1 in x 0.880 * [backup-simplify]: Simplify 1 into 1 0.880 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.880 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.880 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.880 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.880 * [taylor]: Taking taylor expansion of x in x 0.880 * [backup-simplify]: Simplify 0 into 0 0.880 * [backup-simplify]: Simplify 1 into 1 0.880 * [backup-simplify]: Simplify (* 1 1) into 1 0.880 * [backup-simplify]: Simplify (/ 1 1) into 1 0.880 * [taylor]: Taking taylor expansion of 1.0 in x 0.880 * [backup-simplify]: Simplify 1.0 into 1.0 0.881 * [backup-simplify]: Simplify (+ 1 0) into 1 0.881 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.881 * [backup-simplify]: Simplify (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) into (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 0.881 * [backup-simplify]: Simplify (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) into (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) 0.881 * [backup-simplify]: Simplify (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) into (log (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1)) 0.882 * [backup-simplify]: Simplify (+ 0 0) into 0 0.882 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 1) into 0 0.882 * [backup-simplify]: Simplify 0 into 0 0.882 * [backup-simplify]: Simplify (+ 0 0) into 0 0.884 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 2) into 0 0.884 * [backup-simplify]: Simplify 0 into 0 0.884 * [backup-simplify]: Simplify (+ 0 0) into 0 0.886 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 6) into 0 0.886 * [backup-simplify]: Simplify 0 into 0 0.886 * [backup-simplify]: Simplify (+ 0 0) into 0 0.889 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 24) into 0 0.889 * [backup-simplify]: Simplify 0 into 0 0.889 * [backup-simplify]: Simplify (+ 0 0) into 0 0.894 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 120) into 0 0.894 * [backup-simplify]: Simplify 0 into 0 0.895 * [backup-simplify]: Simplify (+ 0 0) into 0 0.903 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (- (/ 1 (pow x 2)) 1.0)) 1) 1)))) 720) into 0 0.903 * [backup-simplify]: Simplify 0 into 0 0.903 * [backup-simplify]: Simplify (log (+ (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1.0)) 1)) into (log (+ (exp (- (pow x 2) 1.0)) 1)) 0.903 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1) 0.903 * [backup-simplify]: Simplify (- 1.0 (* x x)) into (- 1.0 (pow x 2)) 0.903 * [approximate]: Taking taylor expansion of (- 1.0 (pow x 2)) in (x) around 0 0.903 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 0.903 * [taylor]: Taking taylor expansion of 1.0 in x 0.903 * [backup-simplify]: Simplify 1.0 into 1.0 0.903 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.903 * [taylor]: Taking taylor expansion of x in x 0.903 * [backup-simplify]: Simplify 0 into 0 0.903 * [backup-simplify]: Simplify 1 into 1 0.903 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 0.903 * [taylor]: Taking taylor expansion of 1.0 in x 0.903 * [backup-simplify]: Simplify 1.0 into 1.0 0.903 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.903 * [taylor]: Taking taylor expansion of x in x 0.904 * [backup-simplify]: Simplify 0 into 0 0.904 * [backup-simplify]: Simplify 1 into 1 0.904 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.904 * [backup-simplify]: Simplify 1.0 into 1.0 0.904 * [backup-simplify]: Simplify (+ 0 0) into 0 0.904 * [backup-simplify]: Simplify 0 into 0 0.904 * [backup-simplify]: Simplify (* 1 1) into 1 0.905 * [backup-simplify]: Simplify (- 1) into -1 0.905 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.905 * [backup-simplify]: Simplify -1 into -1 0.905 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.905 * [backup-simplify]: Simplify (- 0) into 0 0.906 * [backup-simplify]: Simplify (+ 0 0) into 0 0.906 * [backup-simplify]: Simplify 0 into 0 0.906 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.906 * [backup-simplify]: Simplify (- 0) into 0 0.907 * [backup-simplify]: Simplify (+ 0 0) into 0 0.907 * [backup-simplify]: Simplify 0 into 0 0.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.907 * [backup-simplify]: Simplify (- 0) into 0 0.908 * [backup-simplify]: Simplify (+ 0 0) into 0 0.908 * [backup-simplify]: Simplify 0 into 0 0.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.909 * [backup-simplify]: Simplify (- 0) into 0 0.909 * [backup-simplify]: Simplify (+ 0 0) into 0 0.909 * [backup-simplify]: Simplify 0 into 0 0.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.910 * [backup-simplify]: Simplify (- 0) into 0 0.910 * [backup-simplify]: Simplify (+ 0 0) into 0 0.910 * [backup-simplify]: Simplify 0 into 0 0.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.911 * [backup-simplify]: Simplify (- 0) into 0 0.911 * [backup-simplify]: Simplify (+ 0 0) into 0 0.911 * [backup-simplify]: Simplify 0 into 0 0.911 * [backup-simplify]: Simplify (+ (* -1 (pow x 2)) 1.0) into (- 1.0 (pow x 2)) 0.912 * [backup-simplify]: Simplify (- 1.0 (* (/ 1 x) (/ 1 x))) into (- 1.0 (/ 1 (pow x 2))) 0.912 * [approximate]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in (x) around 0 0.912 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.912 * [taylor]: Taking taylor expansion of 1.0 in x 0.912 * [backup-simplify]: Simplify 1.0 into 1.0 0.912 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.912 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.912 * [taylor]: Taking taylor expansion of x in x 0.912 * [backup-simplify]: Simplify 0 into 0 0.912 * [backup-simplify]: Simplify 1 into 1 0.912 * [backup-simplify]: Simplify (* 1 1) into 1 0.912 * [backup-simplify]: Simplify (/ 1 1) into 1 0.912 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.912 * [taylor]: Taking taylor expansion of 1.0 in x 0.912 * [backup-simplify]: Simplify 1.0 into 1.0 0.912 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.912 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.912 * [taylor]: Taking taylor expansion of x in x 0.912 * [backup-simplify]: Simplify 0 into 0 0.912 * [backup-simplify]: Simplify 1 into 1 0.913 * [backup-simplify]: Simplify (* 1 1) into 1 0.913 * [backup-simplify]: Simplify (/ 1 1) into 1 0.913 * [backup-simplify]: Simplify (- 1) into -1 0.913 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.913 * [backup-simplify]: Simplify -1 into -1 0.914 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.914 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.914 * [backup-simplify]: Simplify (- 0) into 0 0.915 * [backup-simplify]: Simplify (+ 0 0) into 0 0.915 * [backup-simplify]: Simplify 0 into 0 0.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.916 * [backup-simplify]: Simplify (- 0) into 0 0.916 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.916 * [backup-simplify]: Simplify 1.0 into 1.0 0.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.917 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.917 * [backup-simplify]: Simplify (- 0) into 0 0.918 * [backup-simplify]: Simplify (+ 0 0) into 0 0.918 * [backup-simplify]: Simplify 0 into 0 0.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.919 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.919 * [backup-simplify]: Simplify (- 0) into 0 0.919 * [backup-simplify]: Simplify (+ 0 0) into 0 0.919 * [backup-simplify]: Simplify 0 into 0 0.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.920 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.921 * [backup-simplify]: Simplify (- 0) into 0 0.921 * [backup-simplify]: Simplify (+ 0 0) into 0 0.921 * [backup-simplify]: Simplify 0 into 0 0.922 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.922 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.922 * [backup-simplify]: Simplify (- 0) into 0 0.923 * [backup-simplify]: Simplify (+ 0 0) into 0 0.923 * [backup-simplify]: Simplify 0 into 0 0.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.924 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.924 * [backup-simplify]: Simplify (- 0) into 0 0.924 * [backup-simplify]: Simplify (+ 0 0) into 0 0.924 * [backup-simplify]: Simplify 0 into 0 0.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 0.926 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.926 * [backup-simplify]: Simplify (- 0) into 0 0.927 * [backup-simplify]: Simplify (+ 0 0) into 0 0.927 * [backup-simplify]: Simplify 0 into 0 0.927 * [backup-simplify]: Simplify (+ 1.0 (* -1 (pow (/ 1 (/ 1 x)) 2))) into (- 1.0 (pow x 2)) 0.927 * [backup-simplify]: Simplify (- 1.0 (* (/ 1 (- x)) (/ 1 (- x)))) into (- 1.0 (/ 1 (pow x 2))) 0.927 * [approximate]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in (x) around 0 0.927 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.927 * [taylor]: Taking taylor expansion of 1.0 in x 0.927 * [backup-simplify]: Simplify 1.0 into 1.0 0.927 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.927 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.927 * [taylor]: Taking taylor expansion of x in x 0.927 * [backup-simplify]: Simplify 0 into 0 0.927 * [backup-simplify]: Simplify 1 into 1 0.927 * [backup-simplify]: Simplify (* 1 1) into 1 0.928 * [backup-simplify]: Simplify (/ 1 1) into 1 0.928 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.928 * [taylor]: Taking taylor expansion of 1.0 in x 0.928 * [backup-simplify]: Simplify 1.0 into 1.0 0.928 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.928 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.928 * [taylor]: Taking taylor expansion of x in x 0.928 * [backup-simplify]: Simplify 0 into 0 0.928 * [backup-simplify]: Simplify 1 into 1 0.928 * [backup-simplify]: Simplify (* 1 1) into 1 0.928 * [backup-simplify]: Simplify (/ 1 1) into 1 0.928 * [backup-simplify]: Simplify (- 1) into -1 0.929 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.929 * [backup-simplify]: Simplify -1 into -1 0.929 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.930 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.930 * [backup-simplify]: Simplify (- 0) into 0 0.930 * [backup-simplify]: Simplify (+ 0 0) into 0 0.930 * [backup-simplify]: Simplify 0 into 0 0.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.931 * [backup-simplify]: Simplify (- 0) into 0 0.931 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.932 * [backup-simplify]: Simplify 1.0 into 1.0 0.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.933 * [backup-simplify]: Simplify (- 0) into 0 0.933 * [backup-simplify]: Simplify (+ 0 0) into 0 0.933 * [backup-simplify]: Simplify 0 into 0 0.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.934 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.934 * [backup-simplify]: Simplify (- 0) into 0 0.934 * [backup-simplify]: Simplify (+ 0 0) into 0 0.934 * [backup-simplify]: Simplify 0 into 0 0.935 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.936 * [backup-simplify]: Simplify (- 0) into 0 0.936 * [backup-simplify]: Simplify (+ 0 0) into 0 0.936 * [backup-simplify]: Simplify 0 into 0 0.937 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.937 * [backup-simplify]: Simplify (- 0) into 0 0.938 * [backup-simplify]: Simplify (+ 0 0) into 0 0.938 * [backup-simplify]: Simplify 0 into 0 0.939 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.939 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.939 * [backup-simplify]: Simplify (- 0) into 0 0.939 * [backup-simplify]: Simplify (+ 0 0) into 0 0.939 * [backup-simplify]: Simplify 0 into 0 0.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 0.941 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.941 * [backup-simplify]: Simplify (- 0) into 0 0.941 * [backup-simplify]: Simplify (+ 0 0) into 0 0.941 * [backup-simplify]: Simplify 0 into 0 0.942 * [backup-simplify]: Simplify (+ 1.0 (* -1 (pow (/ 1 (/ 1 (- x))) 2))) into (- 1.0 (pow x 2)) 0.942 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 0.942 * [backup-simplify]: Simplify (exp (- (- 1.0 (* x x)))) into (exp (- (pow x 2) 1.0)) 0.942 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0 0.942 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 0.942 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 0.942 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.942 * [taylor]: Taking taylor expansion of x in x 0.942 * [backup-simplify]: Simplify 0 into 0 0.942 * [backup-simplify]: Simplify 1 into 1 0.942 * [taylor]: Taking taylor expansion of 1.0 in x 0.942 * [backup-simplify]: Simplify 1.0 into 1.0 0.942 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.943 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.943 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 0.943 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 0.943 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 0.943 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.943 * [taylor]: Taking taylor expansion of x in x 0.943 * [backup-simplify]: Simplify 0 into 0 0.943 * [backup-simplify]: Simplify 1 into 1 0.943 * [taylor]: Taking taylor expansion of 1.0 in x 0.943 * [backup-simplify]: Simplify 1.0 into 1.0 0.944 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.944 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.944 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 0.945 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 0.945 * [backup-simplify]: Simplify (- 0) into 0 0.945 * [backup-simplify]: Simplify (+ 0 0) into 0 0.946 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0 0.946 * [backup-simplify]: Simplify 0 into 0 0.946 * [backup-simplify]: Simplify (* 1 1) into 1 0.947 * [backup-simplify]: Simplify (- 0) into 0 0.947 * [backup-simplify]: Simplify (+ 1 0) into 1 0.949 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0)) 0.949 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 0.950 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.950 * [backup-simplify]: Simplify (- 0) into 0 0.950 * [backup-simplify]: Simplify (+ 0 0) into 0 0.951 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.951 * [backup-simplify]: Simplify 0 into 0 0.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.952 * [backup-simplify]: Simplify (- 0) into 0 0.952 * [backup-simplify]: Simplify (+ 0 0) into 0 0.956 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp (- 1.0))) 0.957 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0))) 0.962 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp (- 1.0))) (pow x 4)) (+ (* (exp (- 1.0)) (pow x 2)) (exp (- 1.0)))) into (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) 0.962 * [backup-simplify]: Simplify (exp (- (- 1.0 (* (/ 1 x) (/ 1 x))))) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.962 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 0.962 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.962 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.962 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.962 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.962 * [taylor]: Taking taylor expansion of x in x 0.962 * [backup-simplify]: Simplify 0 into 0 0.962 * [backup-simplify]: Simplify 1 into 1 0.963 * [backup-simplify]: Simplify (* 1 1) into 1 0.963 * [backup-simplify]: Simplify (/ 1 1) into 1 0.963 * [taylor]: Taking taylor expansion of 1.0 in x 0.963 * [backup-simplify]: Simplify 1.0 into 1.0 0.963 * [backup-simplify]: Simplify (+ 1 0) into 1 0.963 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.963 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.963 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.963 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.963 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.963 * [taylor]: Taking taylor expansion of x in x 0.963 * [backup-simplify]: Simplify 0 into 0 0.963 * [backup-simplify]: Simplify 1 into 1 0.964 * [backup-simplify]: Simplify (* 1 1) into 1 0.964 * [backup-simplify]: Simplify (/ 1 1) into 1 0.964 * [taylor]: Taking taylor expansion of 1.0 in x 0.964 * [backup-simplify]: Simplify 1.0 into 1.0 0.964 * [backup-simplify]: Simplify (+ 1 0) into 1 0.964 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.964 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.964 * [backup-simplify]: Simplify 0 into 0 0.964 * [backup-simplify]: Simplify 0 into 0 0.964 * [backup-simplify]: Simplify 0 into 0 0.965 * [backup-simplify]: Simplify 0 into 0 0.965 * [backup-simplify]: Simplify 0 into 0 0.965 * [backup-simplify]: Simplify 0 into 0 0.965 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1.0)) into (exp (- (pow x 2) 1.0)) 0.965 * [backup-simplify]: Simplify (exp (- (- 1.0 (* (/ 1 (- x)) (/ 1 (- x)))))) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.965 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 0.965 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.965 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.965 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.965 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.965 * [taylor]: Taking taylor expansion of x in x 0.965 * [backup-simplify]: Simplify 0 into 0 0.965 * [backup-simplify]: Simplify 1 into 1 0.965 * [backup-simplify]: Simplify (* 1 1) into 1 0.965 * [backup-simplify]: Simplify (/ 1 1) into 1 0.965 * [taylor]: Taking taylor expansion of 1.0 in x 0.965 * [backup-simplify]: Simplify 1.0 into 1.0 0.966 * [backup-simplify]: Simplify (+ 1 0) into 1 0.966 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.966 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.966 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.966 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.966 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.966 * [taylor]: Taking taylor expansion of x in x 0.966 * [backup-simplify]: Simplify 0 into 0 0.966 * [backup-simplify]: Simplify 1 into 1 0.966 * [backup-simplify]: Simplify (* 1 1) into 1 0.966 * [backup-simplify]: Simplify (/ 1 1) into 1 0.966 * [taylor]: Taking taylor expansion of 1.0 in x 0.966 * [backup-simplify]: Simplify 1.0 into 1.0 0.967 * [backup-simplify]: Simplify (+ 1 0) into 1 0.967 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.967 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 0.967 * [backup-simplify]: Simplify 0 into 0 0.967 * [backup-simplify]: Simplify 0 into 0 0.967 * [backup-simplify]: Simplify 0 into 0 0.967 * [backup-simplify]: Simplify 0 into 0 0.967 * [backup-simplify]: Simplify 0 into 0 0.967 * [backup-simplify]: Simplify 0 into 0 0.967 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1.0)) into (exp (- (pow x 2) 1.0)) 0.967 * * * [progress]: simplifying candidates 0.968 * [simplify]: Simplifying: (exp (log1p (exp (- (- 1.0 (* x x)))))) (expm1 (expm1 (log1p (exp (- (- 1.0 (* x x))))))) (log1p (expm1 (log1p (exp (- (- 1.0 (* x x))))))) (log (expm1 (log1p (exp (- (- 1.0 (* x x))))))) (exp (expm1 (log1p (exp (- (- 1.0 (* x x))))))) (* (cbrt (expm1 (log1p (exp (- (- 1.0 (* x x))))))) (cbrt (expm1 (log1p (exp (- (- 1.0 (* x x)))))))) (cbrt (expm1 (log1p (exp (- (- 1.0 (* x x))))))) (* (* (expm1 (log1p (exp (- (- 1.0 (* x x)))))) (expm1 (log1p (exp (- (- 1.0 (* x x))))))) (expm1 (log1p (exp (- (- 1.0 (* x x))))))) (sqrt (expm1 (log1p (exp (- (- 1.0 (* x x))))))) (sqrt (expm1 (log1p (exp (- (- 1.0 (* x x))))))) (+ 1 (exp (- (- 1.0 (* x x))))) (expm1 (log1p (exp (- (- 1.0 (* x x)))))) (log1p (log1p (exp (- (- 1.0 (* x x)))))) (log (log1p (exp (- (- 1.0 (* x x)))))) (exp (log1p (exp (- (- 1.0 (* x x)))))) (* (cbrt (log1p (exp (- (- 1.0 (* x x)))))) (cbrt (log1p (exp (- (- 1.0 (* x x))))))) (cbrt (log1p (exp (- (- 1.0 (* x x)))))) (* (* (log1p (exp (- (- 1.0 (* x x))))) (log1p (exp (- (- 1.0 (* x x)))))) (log1p (exp (- (- 1.0 (* x x)))))) (sqrt (log1p (exp (- (- 1.0 (* x x)))))) (sqrt (log1p (exp (- (- 1.0 (* x x)))))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x x))) (fma (- x) x (* x x)) (fma (sqrt 1.0) (sqrt 1.0) (- (* x x))) (fma (- x) x (* x x)) (fma 1 1.0 (- (* x x))) (fma (- x) x (* x x)) (expm1 (- 1.0 (* x x))) (log1p (- 1.0 (* x x))) (- (* x x)) (- (* x x)) (- (* x x)) (/ (exp 1.0) (exp (* x x))) (log (- 1.0 (* x x))) (exp (- 1.0 (* x x))) (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))) (cbrt (- 1.0 (* x x))) (* (* (- 1.0 (* x x)) (- 1.0 (* x x))) (- 1.0 (* x x))) (sqrt (- 1.0 (* x x))) (sqrt (- 1.0 (* x x))) (- (pow 1.0 3) (pow (* x x) 3)) (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x)))) (- (* x x)) (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)) (+ (sqrt 1.0) x) (- (sqrt 1.0) x) (- (* x x)) (expm1 (exp (- (- 1.0 (* x x))))) (log1p (exp (- (- 1.0 (* x x))))) (exp (* (cbrt (- (- 1.0 (* x x)))) (cbrt (- (- 1.0 (* x x)))))) (exp (sqrt (- (- 1.0 (* x x))))) (exp 1) (exp -1) (exp (- (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (exp (- (sqrt (- 1.0 (* x x))))) (exp (- 1)) (exp (- (+ (sqrt 1.0) x))) (exp (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x))))) (exp (sqrt (- 1.0 (* x x)))) (exp 1) (exp (+ (sqrt 1.0) x)) (exp (- (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x x))))) (exp (- (fma (- x) x (* x x)))) (exp (- (fma (sqrt 1.0) (sqrt 1.0) (- (* x x))))) (exp (- (fma (- x) x (* x x)))) (exp (- (fma 1 1.0 (- (* x x))))) (exp (- (fma (- x) x (* x x)))) (exp (- 1.0)) (exp (- (- (* x x)))) (exp (- 1.0)) (exp (- (- (* x x)))) (exp (- 1.0 (* x x))) (exp 0) (exp (- 1.0 (* x x))) (log (exp (- (- 1.0 (* x x))))) (exp (exp (- (- 1.0 (* x x))))) (* (cbrt (exp (- (- 1.0 (* x x))))) (cbrt (exp (- (- 1.0 (* x x)))))) (cbrt (exp (- (- 1.0 (* x x))))) (* (* (exp (- (- 1.0 (* x x)))) (exp (- (- 1.0 (* x x))))) (exp (- (- 1.0 (* x x))))) (sqrt (exp (- (- 1.0 (* x x))))) (sqrt (exp (- (- 1.0 (* x x))))) (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) (- (+ (* 1/2 (/ (* (pow x 4) (exp (- 1.0))) (+ (exp (- 1.0)) 1))) (+ (/ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) 1)) (log (+ (exp (- 1.0)) 1)))) (* 1/2 (/ (* (pow x 4) (pow (exp (- 1.0)) 2)) (pow (+ (exp (- 1.0)) 1) 2)))) (log (+ (exp (- (pow x 2) 1.0)) 1)) (log (+ (exp (- (pow x 2) 1.0)) 1)) (- 1.0 (pow x 2)) (- 1.0 (pow x 2)) (- 1.0 (pow x 2)) (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) 0.969 * [simplify]: Sending expressions to egg_math: (exp (log1p (exp (- (- h1 (* h0 h0)))))) (expm1 (expm1 (log1p (exp (- (- h1 (* h0 h0))))))) (log1p (expm1 (log1p (exp (- (- h1 (* h0 h0))))))) (log (expm1 (log1p (exp (- (- h1 (* h0 h0))))))) (exp (expm1 (log1p (exp (- (- h1 (* h0 h0))))))) (* (cbrt (expm1 (log1p (exp (- (- h1 (* h0 h0))))))) (cbrt (expm1 (log1p (exp (- (- h1 (* h0 h0)))))))) (cbrt (expm1 (log1p (exp (- (- h1 (* h0 h0))))))) (* (* (expm1 (log1p (exp (- (- h1 (* h0 h0)))))) (expm1 (log1p (exp (- (- h1 (* h0 h0))))))) (expm1 (log1p (exp (- (- h1 (* h0 h0))))))) (sqrt (expm1 (log1p (exp (- (- h1 (* h0 h0))))))) (sqrt (expm1 (log1p (exp (- (- h1 (* h0 h0))))))) (+ 1 (exp (- (- h1 (* h0 h0))))) (expm1 (log1p (exp (- (- h1 (* h0 h0)))))) (log1p (log1p (exp (- (- h1 (* h0 h0)))))) (log (log1p (exp (- (- h1 (* h0 h0)))))) (exp (log1p (exp (- (- h1 (* h0 h0)))))) (* (cbrt (log1p (exp (- (- h1 (* h0 h0)))))) (cbrt (log1p (exp (- (- h1 (* h0 h0))))))) (cbrt (log1p (exp (- (- h1 (* h0 h0)))))) (* (* (log1p (exp (- (- h1 (* h0 h0))))) (log1p (exp (- (- h1 (* h0 h0)))))) (log1p (exp (- (- h1 (* h0 h0)))))) (sqrt (log1p (exp (- (- h1 (* h0 h0)))))) (sqrt (log1p (exp (- (- h1 (* h0 h0)))))) (fma (* (cbrt h1) (cbrt h1)) (cbrt h1) (- (* h0 h0))) (fma (- h0) h0 (* h0 h0)) (fma (sqrt h1) (sqrt h1) (- (* h0 h0))) (fma (- h0) h0 (* h0 h0)) (fma 1 h1 (- (* h0 h0))) (fma (- h0) h0 (* h0 h0)) (expm1 (- h1 (* h0 h0))) (log1p (- h1 (* h0 h0))) (- (* h0 h0)) (- (* h0 h0)) (- (* h0 h0)) (/ (exp h1) (exp (* h0 h0))) (log (- h1 (* h0 h0))) (exp (- h1 (* h0 h0))) (* (cbrt (- h1 (* h0 h0))) (cbrt (- h1 (* h0 h0)))) (cbrt (- h1 (* h0 h0))) (* (* (- h1 (* h0 h0)) (- h1 (* h0 h0))) (- h1 (* h0 h0))) (sqrt (- h1 (* h0 h0))) (sqrt (- h1 (* h0 h0))) (- (pow h1 3) (pow (* h0 h0) 3)) (+ (* h1 h1) (+ (* (* h0 h0) (* h0 h0)) (* h1 (* h0 h0)))) (- (* h0 h0)) (- (* h1 h1) (* (* h0 h0) (* h0 h0))) (+ h1 (* h0 h0)) (+ (sqrt h1) h0) (- (sqrt h1) h0) (- (* h0 h0)) (expm1 (exp (- (- h1 (* h0 h0))))) (log1p (exp (- (- h1 (* h0 h0))))) (exp (* (cbrt (- (- h1 (* h0 h0)))) (cbrt (- (- h1 (* h0 h0)))))) (exp (sqrt (- (- h1 (* h0 h0))))) (exp 1) (exp -1) (exp (- (* (cbrt (- h1 (* h0 h0))) (cbrt (- h1 (* h0 h0)))))) (exp (- (sqrt (- h1 (* h0 h0))))) (exp (- 1)) (exp (- (+ (sqrt h1) h0))) (exp (* (cbrt (- h1 (* h0 h0))) (cbrt (- h1 (* h0 h0))))) (exp (sqrt (- h1 (* h0 h0)))) (exp 1) (exp (+ (sqrt h1) h0)) (exp (- (fma (* (cbrt h1) (cbrt h1)) (cbrt h1) (- (* h0 h0))))) (exp (- (fma (- h0) h0 (* h0 h0)))) (exp (- (fma (sqrt h1) (sqrt h1) (- (* h0 h0))))) (exp (- (fma (- h0) h0 (* h0 h0)))) (exp (- (fma 1 h1 (- (* h0 h0))))) (exp (- (fma (- h0) h0 (* h0 h0)))) (exp (- h1)) (exp (- (- (* h0 h0)))) (exp (- h1)) (exp (- (- (* h0 h0)))) (exp (- h1 (* h0 h0))) (exp 0) (exp (- h1 (* h0 h0))) (log (exp (- (- h1 (* h0 h0))))) (exp (exp (- (- h1 (* h0 h0))))) (* (cbrt (exp (- (- h1 (* h0 h0))))) (cbrt (exp (- (- h1 (* h0 h0)))))) (cbrt (exp (- (- h1 (* h0 h0))))) (* (* (exp (- (- h1 (* h0 h0)))) (exp (- (- h1 (* h0 h0))))) (exp (- (- h1 (* h0 h0))))) (sqrt (exp (- (- h1 (* h0 h0))))) (sqrt (exp (- (- h1 (* h0 h0))))) (+ (* (pow h0 2) (exp (- h1))) (+ (exp (- h1)) (* 1/2 (* (pow h0 4) (exp (- h1)))))) (exp (- (pow h0 2) h1)) (exp (- (pow h0 2) h1)) (- (+ (* 1/2 (/ (* (pow h0 4) (exp (- h1))) (+ (exp (- h1)) 1))) (+ (/ (* (pow h0 2) (exp (- h1))) (+ (exp (- h1)) 1)) (log (+ (exp (- h1)) 1)))) (* 1/2 (/ (* (pow h0 4) (pow (exp (- h1)) 2)) (pow (+ (exp (- h1)) 1) 2)))) (log (+ (exp (- (pow h0 2) h1)) 1)) (log (+ (exp (- (pow h0 2) h1)) 1)) (- h1 (pow h0 2)) (- h1 (pow h0 2)) (- h1 (pow h0 2)) (+ (* (pow h0 2) (exp (- h1))) (+ (exp (- h1)) (* 1/2 (* (pow h0 4) (exp (- h1)))))) (exp (- (pow h0 2) h1)) (exp (- (pow h0 2) h1)) 0.973 * * [simplify]: iteration 0 : 261 enodes (cost 477 ) 0.978 * * [simplify]: iteration 1 : 865 enodes (cost 416 ) 0.994 * * [simplify]: iteration 2 : 4330 enodes (cost 378 ) 1.104 * * [simplify]: iteration 3 : 5001 enodes (cost 374 ) 1.106 * * * [progress]: adding candidates to table 1.293 * [progress]: [Phase 3 of 3] Extracting. 1.293 * * [regime]: Finding splitpoints for: (# #) 1.294 * * * [regime-changes]: Trying 5 branch expressions: ((* x x) (- 1.0 (* x x)) (- (- 1.0 (* x x))) (exp (- (- 1.0 (* x x)))) x) 1.294 * * * * [regimes]: Trying to branch on (* x x) from (# #) 1.303 * * * * [regimes]: Trying to branch on (- 1.0 (* x x)) from (# #) 1.311 * * * * [regimes]: Trying to branch on (- (- 1.0 (* x x))) from (# #) 1.319 * * * * [regimes]: Trying to branch on (exp (- (- 1.0 (* x x)))) from (# #) 1.330 * * * * [regimes]: Trying to branch on x from (# #) 1.342 * * * [regime]: Found split indices: #