22.611 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.030 * * * [progress]: [2/2] Setting up program. 0.032 * [progress]: [Phase 2 of 3] Improving. 0.032 * [simplify]: Simplifying: (exp (- (- 1.0 (* x x)))) 0.032 * * [simplify]: Extracting # 0 : cost 0 0.032 * * [simplify]: Extracting # 1 : cost 0 0.032 * * [simplify]: Extracting # 2 : cost 0 0.032 * * [simplify]: Extracting # 3 : cost 0 0.032 * * [simplify]: Extracting # 4 : cost 0 0.032 * * [simplify]: Extracting # 5 : cost 0 0.032 * * [simplify]: Extracting # 6 : cost 0 0.032 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.033 * * [simplify]: Extracting # 0 : cost 0 0.033 * * [simplify]: Extracting # 1 : cost 0 0.033 * * [simplify]: Extracting # 2 : cost 0 0.033 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.036 * * [simplify]: Extracting # 0 : cost 0 0.036 * * [simplify]: Extracting # 1 : cost 0 0.036 * * [simplify]: Extracting # 2 : cost 0 0.036 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 0.041 * * [simplify]: Extracting # 0 : cost 0 0.041 * * [simplify]: Extracting # 1 : cost 0 0.041 * * [simplify]: Extracting # 2 : cost 0 0.041 * * [simplify]: iteration 3 : 44 enodes (cost 7 ) 0.049 * * [simplify]: Extracting # 0 : cost 0 0.049 * * [simplify]: Extracting # 1 : cost 0 0.050 * * [simplify]: Extracting # 2 : cost 0 0.050 * * [simplify]: Extracting # 3 : cost 0 0.050 * * [simplify]: Extracting # 4 : cost 0 0.050 * * [simplify]: Extracting # 5 : cost 0 0.050 * * [simplify]: Extracting # 6 : cost 0 0.050 * * [simplify]: iteration 4 : 70 enodes (cost 6 ) 0.064 * * [simplify]: Extracting # 0 : cost 0 0.065 * * [simplify]: Extracting # 1 : cost 0 0.065 * * [simplify]: Extracting # 2 : cost 0 0.065 * * [simplify]: Extracting # 3 : cost 0 0.065 * * [simplify]: iteration 5 : 132 enodes (cost 6 ) 0.148 * * [simplify]: Extracting # 0 : cost 0 0.148 * * [simplify]: Extracting # 1 : cost 0 0.149 * * [simplify]: Extracting # 2 : cost 0 0.149 * * [simplify]: Extracting # 3 : cost 0 0.150 * * [simplify]: Extracting # 4 : cost 0 0.150 * * [simplify]: iteration 6 : 377 enodes (cost 6 ) 0.702 * * [simplify]: Extracting # 0 : cost 0 0.703 * * [simplify]: Extracting # 1 : cost 0 0.704 * * [simplify]: Extracting # 2 : cost 0 0.706 * * [simplify]: Extracting # 3 : cost 0 0.707 * * [simplify]: Extracting # 4 : cost 0 0.708 * * [simplify]: Extracting # 5 : cost 0 0.709 * * [simplify]: iteration 7 : 1355 enodes (cost 6 ) 5.256 * * [simplify]: Extracting # 0 : cost 0 5.263 * * [simplify]: Extracting # 1 : cost 0 5.267 * * [simplify]: Extracting # 2 : cost 0 5.271 * * [simplify]: Extracting # 3 : cost 0 5.274 * * [simplify]: Extracting # 4 : cost 0 5.282 * * [simplify]: iteration done: 5000 enodes (cost 6 ) 5.283 * [simplify]: Simplified to: (exp (- (* x x) 1.0)) 5.287 * * [progress]: iteration 1 / 4 5.287 * * * [progress]: picking best candidate 5.289 * * * * [pick]: Picked # 5.289 * * * [progress]: localizing error 5.303 * * * [progress]: generating rewritten candidates 5.303 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.345 * * * [progress]: generating series expansions 5.345 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.345 * [backup-simplify]: Simplify (exp (- (- 1.0 (* x x)))) into (exp (- (pow x 2) 1.0)) 5.345 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0 5.345 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 5.345 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 5.345 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.345 * [taylor]: Taking taylor expansion of x in x 5.345 * [backup-simplify]: Simplify 0 into 0 5.345 * [backup-simplify]: Simplify 1 into 1 5.345 * [taylor]: Taking taylor expansion of 1.0 in x 5.345 * [backup-simplify]: Simplify 1.0 into 1.0 5.346 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.347 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.348 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 5.348 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 5.348 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 5.348 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.348 * [taylor]: Taking taylor expansion of x in x 5.348 * [backup-simplify]: Simplify 0 into 0 5.348 * [backup-simplify]: Simplify 1 into 1 5.348 * [taylor]: Taking taylor expansion of 1.0 in x 5.348 * [backup-simplify]: Simplify 1.0 into 1.0 5.348 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.349 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.350 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 5.351 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 5.351 * [backup-simplify]: Simplify (- 0) into 0 5.352 * [backup-simplify]: Simplify (+ 0 0) into 0 5.353 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0 5.353 * [backup-simplify]: Simplify 0 into 0 5.354 * [backup-simplify]: Simplify (* 1 1) into 1 5.354 * [backup-simplify]: Simplify (- 0) into 0 5.354 * [backup-simplify]: Simplify (+ 1 0) into 1 5.358 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0)) 5.359 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 5.360 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.360 * [backup-simplify]: Simplify (- 0) into 0 5.360 * [backup-simplify]: Simplify (+ 0 0) into 0 5.363 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.363 * [backup-simplify]: Simplify 0 into 0 5.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.365 * [backup-simplify]: Simplify (- 0) into 0 5.365 * [backup-simplify]: Simplify (+ 0 0) into 0 5.374 * [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))) 5.376 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0))) 5.380 * [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)))))) 5.381 * [backup-simplify]: Simplify (exp (- (- 1.0 (* (/ 1 x) (/ 1 x))))) into (exp (- (/ 1 (pow x 2)) 1.0)) 5.381 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 5.381 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 5.381 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 5.381 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.381 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.381 * [taylor]: Taking taylor expansion of x in x 5.381 * [backup-simplify]: Simplify 0 into 0 5.381 * [backup-simplify]: Simplify 1 into 1 5.381 * [backup-simplify]: Simplify (* 1 1) into 1 5.382 * [backup-simplify]: Simplify (/ 1 1) into 1 5.382 * [taylor]: Taking taylor expansion of 1.0 in x 5.382 * [backup-simplify]: Simplify 1.0 into 1.0 5.382 * [backup-simplify]: Simplify (+ 1 0) into 1 5.382 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 5.383 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 5.383 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 5.383 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.383 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.383 * [taylor]: Taking taylor expansion of x in x 5.383 * [backup-simplify]: Simplify 0 into 0 5.383 * [backup-simplify]: Simplify 1 into 1 5.383 * [backup-simplify]: Simplify (* 1 1) into 1 5.383 * [backup-simplify]: Simplify (/ 1 1) into 1 5.383 * [taylor]: Taking taylor expansion of 1.0 in x 5.383 * [backup-simplify]: Simplify 1.0 into 1.0 5.384 * [backup-simplify]: Simplify (+ 1 0) into 1 5.384 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 5.384 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 5.385 * [backup-simplify]: Simplify 0 into 0 5.385 * [backup-simplify]: Simplify 0 into 0 5.385 * [backup-simplify]: Simplify 0 into 0 5.385 * [backup-simplify]: Simplify 0 into 0 5.385 * [backup-simplify]: Simplify 0 into 0 5.385 * [backup-simplify]: Simplify 0 into 0 5.385 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1.0)) into (exp (- (pow x 2) 1.0)) 5.385 * [backup-simplify]: Simplify (exp (- (- 1.0 (* (/ 1 (- x)) (/ 1 (- x)))))) into (exp (- (/ 1 (pow x 2)) 1.0)) 5.385 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 5.385 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 5.385 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 5.385 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.385 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.386 * [taylor]: Taking taylor expansion of x in x 5.386 * [backup-simplify]: Simplify 0 into 0 5.386 * [backup-simplify]: Simplify 1 into 1 5.386 * [backup-simplify]: Simplify (* 1 1) into 1 5.386 * [backup-simplify]: Simplify (/ 1 1) into 1 5.386 * [taylor]: Taking taylor expansion of 1.0 in x 5.386 * [backup-simplify]: Simplify 1.0 into 1.0 5.387 * [backup-simplify]: Simplify (+ 1 0) into 1 5.387 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 5.387 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 5.387 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 5.387 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.387 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.387 * [taylor]: Taking taylor expansion of x in x 5.387 * [backup-simplify]: Simplify 0 into 0 5.387 * [backup-simplify]: Simplify 1 into 1 5.388 * [backup-simplify]: Simplify (* 1 1) into 1 5.388 * [backup-simplify]: Simplify (/ 1 1) into 1 5.388 * [taylor]: Taking taylor expansion of 1.0 in x 5.388 * [backup-simplify]: Simplify 1.0 into 1.0 5.388 * [backup-simplify]: Simplify (+ 1 0) into 1 5.389 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 5.389 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 5.389 * [backup-simplify]: Simplify 0 into 0 5.389 * [backup-simplify]: Simplify 0 into 0 5.389 * [backup-simplify]: Simplify 0 into 0 5.389 * [backup-simplify]: Simplify 0 into 0 5.389 * [backup-simplify]: Simplify 0 into 0 5.389 * [backup-simplify]: Simplify 0 into 0 5.389 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1.0)) into (exp (- (pow x 2) 1.0)) 5.390 * * * [progress]: simplifying candidates 5.390 * [simplify]: Simplifying: (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 (- 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)) 5.391 * * [simplify]: Extracting # 0 : cost 0 5.391 * * [simplify]: Extracting # 1 : cost 0 5.392 * * [simplify]: Extracting # 2 : cost 0 5.392 * * [simplify]: Extracting # 3 : cost 0 5.392 * * [simplify]: Extracting # 4 : cost 0 5.392 * * [simplify]: Extracting # 5 : cost 0 5.392 * * [simplify]: Extracting # 6 : cost 0 5.392 * * [simplify]: Extracting # 7 : cost 0 5.392 * * [simplify]: Extracting # 8 : cost 0 5.393 * * [simplify]: Extracting # 9 : cost 0 5.393 * * [simplify]: Extracting # 10 : cost 0 5.393 * * [simplify]: Extracting # 11 : cost 0 5.393 * * [simplify]: iteration 0 : 58 enodes (cost 233 ) 5.424 * * [simplify]: Extracting # 0 : cost 0 5.424 * * [simplify]: Extracting # 1 : cost 0 5.425 * * [simplify]: Extracting # 2 : cost 0 5.425 * * [simplify]: Extracting # 3 : cost 0 5.425 * * [simplify]: iteration 1 : 107 enodes (cost 222 ) 5.449 * * [simplify]: Extracting # 0 : cost 0 5.449 * * [simplify]: Extracting # 1 : cost 0 5.449 * * [simplify]: Extracting # 2 : cost 0 5.450 * * [simplify]: Extracting # 3 : cost 0 5.450 * * [simplify]: iteration 2 : 216 enodes (cost 196 ) 5.577 * * [simplify]: Extracting # 0 : cost 0 5.578 * * [simplify]: Extracting # 1 : cost 0 5.580 * * [simplify]: Extracting # 2 : cost 0 5.581 * * [simplify]: Extracting # 3 : cost 0 5.582 * * [simplify]: Extracting # 4 : cost 0 5.583 * * [simplify]: iteration 3 : 622 enodes (cost 192 ) 6.236 * * [simplify]: Extracting # 0 : cost 0 6.241 * * [simplify]: Extracting # 1 : cost 0 6.244 * * [simplify]: Extracting # 2 : cost 0 6.247 * * [simplify]: Extracting # 3 : cost 0 6.253 * * [simplify]: Extracting # 4 : cost 0 6.254 * * [simplify]: iteration 4 : 2252 enodes (cost 192 ) 7.641 * * [simplify]: Extracting # 0 : cost 0 7.648 * * [simplify]: Extracting # 1 : cost 0 7.658 * * [simplify]: Extracting # 2 : cost 0 7.664 * * [simplify]: iteration done: 5000 enodes (cost 192 ) 7.664 * [simplify]: Simplified to: (pow (exp (cbrt (- (pow x 2) 1.0))) (cbrt (- (pow x 2) 1.0))) (exp (sqrt (- (* x x) 1.0))) E (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)))) E (exp (+ (sqrt 1.0) x)) (exp (- 1.0)) (pow (exp x) x) (exp (- 1.0)) (pow (exp x) x) (exp (- 1.0 (* x x))) 1 (exp (- 1.0 (* x x))) (- (pow x 2) 1.0) (exp (exp (- (pow x 2) 1.0))) (* (cbrt (exp (- (pow x 2) 1.0))) (cbrt (exp (- (pow x 2) 1.0)))) (cbrt (exp (- (pow x 2) 1.0))) (pow (exp (- (pow x 2) 1.0)) 3) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (* (exp (- 1.0)) (+ (* 1/2 (pow x 4)) (+ (* x x) 1))) (exp (- (* x x) 1.0)) (exp (- (* x x) 1.0)) 7.664 * * * [progress]: adding candidates to table 7.734 * * [progress]: iteration 2 / 4 7.734 * * * [progress]: picking best candidate 7.740 * * * * [pick]: Picked # 7.740 * * * [progress]: localizing error 7.755 * * * [progress]: generating rewritten candidates 7.755 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 7.821 * * * [progress]: generating series expansions 7.822 * * * * [progress]: [ 1 / 1 ] generating series at (2) 7.823 * [backup-simplify]: Simplify (* (exp (- 1.0)) (pow (exp x) x)) into (* (pow (exp x) x) (exp (- 1.0))) 7.823 * [approximate]: Taking taylor expansion of (* (pow (exp x) x) (exp (- 1.0))) in (x) around 0 7.823 * [taylor]: Taking taylor expansion of (* (pow (exp x) x) (exp (- 1.0))) in x 7.823 * [taylor]: Taking taylor expansion of (pow (exp x) x) in x 7.823 * [taylor]: Taking taylor expansion of (exp (* x (log (exp x)))) in x 7.823 * [taylor]: Taking taylor expansion of (* x (log (exp x))) in x 7.823 * [taylor]: Taking taylor expansion of x in x 7.823 * [backup-simplify]: Simplify 0 into 0 7.823 * [backup-simplify]: Simplify 1 into 1 7.823 * [taylor]: Taking taylor expansion of (log (exp x)) in x 7.823 * [taylor]: Taking taylor expansion of (exp x) in x 7.823 * [taylor]: Taking taylor expansion of x in x 7.823 * [backup-simplify]: Simplify 0 into 0 7.823 * [backup-simplify]: Simplify 1 into 1 7.823 * [backup-simplify]: Simplify (exp 0) into 1 7.824 * [backup-simplify]: Simplify (log 1) into 0 7.824 * [backup-simplify]: Simplify (* 0 0) into 0 7.825 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 7.826 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 7.827 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 7.828 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 7.829 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 7.830 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 7.830 * [backup-simplify]: Simplify (exp 0) into 1 7.830 * [taylor]: Taking taylor expansion of (exp (- 1.0)) in x 7.830 * [taylor]: Taking taylor expansion of (- 1.0) in x 7.830 * [taylor]: Taking taylor expansion of 1.0 in x 7.830 * [backup-simplify]: Simplify 1.0 into 1.0 7.830 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.830 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.831 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 7.831 * [taylor]: Taking taylor expansion of (* (pow (exp x) x) (exp (- 1.0))) in x 7.831 * [taylor]: Taking taylor expansion of (pow (exp x) x) in x 7.831 * [taylor]: Taking taylor expansion of (exp (* x (log (exp x)))) in x 7.831 * [taylor]: Taking taylor expansion of (* x (log (exp x))) in x 7.831 * [taylor]: Taking taylor expansion of x in x 7.831 * [backup-simplify]: Simplify 0 into 0 7.831 * [backup-simplify]: Simplify 1 into 1 7.831 * [taylor]: Taking taylor expansion of (log (exp x)) in x 7.831 * [taylor]: Taking taylor expansion of (exp x) in x 7.831 * [taylor]: Taking taylor expansion of x in x 7.831 * [backup-simplify]: Simplify 0 into 0 7.831 * [backup-simplify]: Simplify 1 into 1 7.831 * [backup-simplify]: Simplify (exp 0) into 1 7.831 * [backup-simplify]: Simplify (log 1) into 0 7.831 * [backup-simplify]: Simplify (* 0 0) into 0 7.832 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 7.833 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 7.833 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 7.834 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 7.835 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 7.836 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 7.836 * [backup-simplify]: Simplify (exp 0) into 1 7.836 * [taylor]: Taking taylor expansion of (exp (- 1.0)) in x 7.836 * [taylor]: Taking taylor expansion of (- 1.0) in x 7.836 * [taylor]: Taking taylor expansion of 1.0 in x 7.836 * [backup-simplify]: Simplify 1.0 into 1.0 7.836 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.837 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.837 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 7.839 * [backup-simplify]: Simplify (* 1 (exp (- 1.0))) into (exp (- 1.0)) 7.839 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 7.840 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.840 * [backup-simplify]: Simplify (- 0) into 0 7.841 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0 7.842 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 7.843 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (exp (- 1.0)))) into 0 7.843 * [backup-simplify]: Simplify 0 into 0 7.843 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.843 * [backup-simplify]: Simplify (- 0) into 0 7.844 * [backup-simplify]: Simplify (- 0) into 0 7.845 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.847 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1 7.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 1 (exp (- 1.0))))) into (exp (- 1.0)) 7.851 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 7.851 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.851 * [backup-simplify]: Simplify (- 0) into 0 7.852 * [backup-simplify]: Simplify (- 0) into 0 7.852 * [backup-simplify]: Simplify (- 0) into 0 7.852 * [backup-simplify]: Simplify (- 0) into 0 7.854 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.856 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 7.859 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/6) 1)) (pow 1 1)))) 6) into 0 7.859 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 7.860 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (* 0 (exp (- 1.0)))))) into 0 7.861 * [backup-simplify]: Simplify 0 into 0 7.861 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.862 * [backup-simplify]: Simplify (- 0) into 0 7.862 * [backup-simplify]: Simplify (- 0) into 0 7.862 * [backup-simplify]: Simplify (- 0) into 0 7.862 * [backup-simplify]: Simplify (- 0) into 0 7.863 * [backup-simplify]: Simplify (- 0) into 0 7.863 * [backup-simplify]: Simplify (- 0) into 0 7.863 * [backup-simplify]: Simplify (- 0) into 0 7.865 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (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 7.867 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 7.875 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 1/2) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1/2) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 1/6) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 1/24) 1)) (pow 1 1)))) 24) into 0 7.877 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 7.880 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 7.887 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 1/2 (exp (- 1.0))))))) into (* 1/2 (exp (- 1.0))) 7.888 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0))) 7.891 * [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)))))) 7.891 * [backup-simplify]: Simplify (* (exp (- 1.0)) (pow (exp (/ 1 x)) (/ 1 x))) into (* (exp (- 1.0)) (pow (exp (/ 1 x)) (/ 1 x))) 7.891 * [approximate]: Taking taylor expansion of (* (exp (- 1.0)) (pow (exp (/ 1 x)) (/ 1 x))) in (x) around 0 7.891 * [taylor]: Taking taylor expansion of (* (exp (- 1.0)) (pow (exp (/ 1 x)) (/ 1 x))) in x 7.892 * [taylor]: Taking taylor expansion of (exp (- 1.0)) in x 7.892 * [taylor]: Taking taylor expansion of (- 1.0) in x 7.892 * [taylor]: Taking taylor expansion of 1.0 in x 7.892 * [backup-simplify]: Simplify 1.0 into 1.0 7.892 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.892 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.893 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 7.893 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) (/ 1 x)) in x 7.893 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (exp (/ 1 x))))) in x 7.893 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (exp (/ 1 x)))) in x 7.893 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.893 * [taylor]: Taking taylor expansion of x in x 7.893 * [backup-simplify]: Simplify 0 into 0 7.893 * [backup-simplify]: Simplify 1 into 1 7.893 * [backup-simplify]: Simplify (/ 1 1) into 1 7.893 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 7.893 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.894 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.894 * [taylor]: Taking taylor expansion of x in x 7.894 * [backup-simplify]: Simplify 0 into 0 7.894 * [backup-simplify]: Simplify 1 into 1 7.894 * [backup-simplify]: Simplify (/ 1 1) into 1 7.894 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 7.894 * [backup-simplify]: Simplify (log (exp (/ 1 x))) into (/ 1 x) 7.894 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x) 7.894 * [backup-simplify]: Simplify (exp (* (/ 1 x) (log (exp (/ 1 x))))) into (exp (/ 1 (pow x 2))) 7.894 * [taylor]: Taking taylor expansion of (* (exp (- 1.0)) (pow (exp (/ 1 x)) (/ 1 x))) in x 7.895 * [taylor]: Taking taylor expansion of (exp (- 1.0)) in x 7.895 * [taylor]: Taking taylor expansion of (- 1.0) in x 7.895 * [taylor]: Taking taylor expansion of 1.0 in x 7.895 * [backup-simplify]: Simplify 1.0 into 1.0 7.895 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.895 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.896 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 7.896 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) (/ 1 x)) in x 7.896 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (exp (/ 1 x))))) in x 7.896 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (exp (/ 1 x)))) in x 7.896 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.896 * [taylor]: Taking taylor expansion of x in x 7.896 * [backup-simplify]: Simplify 0 into 0 7.896 * [backup-simplify]: Simplify 1 into 1 7.896 * [backup-simplify]: Simplify (/ 1 1) into 1 7.897 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 7.897 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.897 * [taylor]: Taking taylor expansion of x in x 7.897 * [backup-simplify]: Simplify 0 into 0 7.897 * [backup-simplify]: Simplify 1 into 1 7.897 * [backup-simplify]: Simplify (/ 1 1) into 1 7.897 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 7.897 * [backup-simplify]: Simplify (log (exp (/ 1 x))) into (/ 1 x) 7.897 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x) 7.898 * [backup-simplify]: Simplify (exp (* (/ 1 x) (log (exp (/ 1 x))))) into (exp (/ 1 (pow x 2))) 7.898 * [backup-simplify]: Simplify (* (exp (- 1.0)) (exp (/ 1 (pow x 2)))) into (* (exp (/ 1 (pow x 2))) (exp (- 1.0))) 7.899 * [backup-simplify]: Simplify (* (exp (/ 1 (pow x 2))) (exp (- 1.0))) into (* (exp (/ 1 (pow x 2))) (exp (- 1.0))) 7.900 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.900 * [backup-simplify]: Simplify (- 0) into 0 7.901 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0 7.902 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (* 0 (exp (/ 1 (pow x 2))))) into 0 7.902 * [backup-simplify]: Simplify 0 into 0 7.902 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.902 * [backup-simplify]: Simplify (- 0) into 0 7.903 * [backup-simplify]: Simplify (- 0) into 0 7.904 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.904 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))) into 0 7.904 * [backup-simplify]: Simplify 0 into 0 7.905 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.905 * [backup-simplify]: Simplify (- 0) into 0 7.905 * [backup-simplify]: Simplify (- 0) into 0 7.905 * [backup-simplify]: Simplify (- 0) into 0 7.906 * [backup-simplify]: Simplify (- 0) into 0 7.907 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.908 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))) into 0 7.908 * [backup-simplify]: Simplify 0 into 0 7.908 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.908 * [backup-simplify]: Simplify (- 0) into 0 7.908 * [backup-simplify]: Simplify (- 0) into 0 7.909 * [backup-simplify]: Simplify (- 0) into 0 7.909 * [backup-simplify]: Simplify (- 0) into 0 7.909 * [backup-simplify]: Simplify (- 0) into 0 7.909 * [backup-simplify]: Simplify (- 0) into 0 7.910 * [backup-simplify]: Simplify (- 0) into 0 7.911 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (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 7.912 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))))) into 0 7.912 * [backup-simplify]: Simplify 0 into 0 7.915 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.916 * [backup-simplify]: Simplify (- 0) into 0 7.916 * [backup-simplify]: Simplify (- 0) into 0 7.916 * [backup-simplify]: Simplify (- 0) into 0 7.917 * [backup-simplify]: Simplify (- 0) into 0 7.917 * [backup-simplify]: Simplify (- 0) into 0 7.917 * [backup-simplify]: Simplify (- 0) into 0 7.918 * [backup-simplify]: Simplify (- 0) into 0 7.918 * [backup-simplify]: Simplify (- 0) into 0 7.918 * [backup-simplify]: Simplify (- 0) into 0 7.918 * [backup-simplify]: Simplify (- 0) into 0 7.919 * [backup-simplify]: Simplify (- 0) into 0 7.919 * [backup-simplify]: Simplify (- 0) into 0 7.923 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (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 7.925 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))))) into 0 7.925 * [backup-simplify]: Simplify 0 into 0 7.925 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.925 * [backup-simplify]: Simplify (- 0) into 0 7.926 * [backup-simplify]: Simplify (- 0) into 0 7.926 * [backup-simplify]: Simplify (- 0) into 0 7.927 * [backup-simplify]: Simplify (- 0) into 0 7.927 * [backup-simplify]: Simplify (- 0) into 0 7.927 * [backup-simplify]: Simplify (- 0) into 0 7.927 * [backup-simplify]: Simplify (- 0) into 0 7.927 * [backup-simplify]: Simplify (- 0) into 0 7.928 * [backup-simplify]: Simplify (- 0) into 0 7.928 * [backup-simplify]: Simplify (- 0) into 0 7.928 * [backup-simplify]: Simplify (- 0) into 0 7.928 * [backup-simplify]: Simplify (- 0) into 0 7.928 * [backup-simplify]: Simplify (- 0) into 0 7.929 * [backup-simplify]: Simplify (- 0) into 0 7.929 * [backup-simplify]: Simplify (- 0) into 0 7.929 * [backup-simplify]: Simplify (- 0) into 0 7.929 * [backup-simplify]: Simplify (- 0) into 0 7.930 * [backup-simplify]: Simplify (- 0) into 0 7.930 * [backup-simplify]: Simplify (- 0) into 0 7.934 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (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 7.935 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))))))) into 0 7.935 * [backup-simplify]: Simplify 0 into 0 7.936 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 x) 2))) (exp (- 1.0))) into (* (exp (pow x 2)) (exp (- 1.0))) 7.936 * [backup-simplify]: Simplify (* (exp (- 1.0)) (pow (exp (/ 1 (- x))) (/ 1 (- x)))) into (* (exp (- 1.0)) (pow (exp (/ -1 x)) (/ -1 x))) 7.936 * [approximate]: Taking taylor expansion of (* (exp (- 1.0)) (pow (exp (/ -1 x)) (/ -1 x))) in (x) around 0 7.936 * [taylor]: Taking taylor expansion of (* (exp (- 1.0)) (pow (exp (/ -1 x)) (/ -1 x))) in x 7.936 * [taylor]: Taking taylor expansion of (exp (- 1.0)) in x 7.936 * [taylor]: Taking taylor expansion of (- 1.0) in x 7.936 * [taylor]: Taking taylor expansion of 1.0 in x 7.936 * [backup-simplify]: Simplify 1.0 into 1.0 7.937 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.937 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.937 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 7.937 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) (/ -1 x)) in x 7.938 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (exp (/ -1 x))))) in x 7.938 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (exp (/ -1 x)))) in x 7.938 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.938 * [taylor]: Taking taylor expansion of -1 in x 7.938 * [backup-simplify]: Simplify -1 into -1 7.938 * [taylor]: Taking taylor expansion of x in x 7.938 * [backup-simplify]: Simplify 0 into 0 7.938 * [backup-simplify]: Simplify 1 into 1 7.938 * [backup-simplify]: Simplify (/ -1 1) into -1 7.938 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 7.938 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.938 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.938 * [taylor]: Taking taylor expansion of -1 in x 7.938 * [backup-simplify]: Simplify -1 into -1 7.938 * [taylor]: Taking taylor expansion of x in x 7.938 * [backup-simplify]: Simplify 0 into 0 7.938 * [backup-simplify]: Simplify 1 into 1 7.938 * [backup-simplify]: Simplify (/ -1 1) into -1 7.938 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 7.938 * [backup-simplify]: Simplify (log (exp (/ -1 x))) into (/ -1 x) 7.939 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x) 7.939 * [backup-simplify]: Simplify (exp (* (/ -1 x) (log (exp (/ -1 x))))) into (exp (/ 1 (pow x 2))) 7.939 * [taylor]: Taking taylor expansion of (* (exp (- 1.0)) (pow (exp (/ -1 x)) (/ -1 x))) in x 7.939 * [taylor]: Taking taylor expansion of (exp (- 1.0)) in x 7.939 * [taylor]: Taking taylor expansion of (- 1.0) in x 7.939 * [taylor]: Taking taylor expansion of 1.0 in x 7.939 * [backup-simplify]: Simplify 1.0 into 1.0 7.939 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.939 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.940 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 7.940 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) (/ -1 x)) in x 7.940 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (exp (/ -1 x))))) in x 7.940 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (exp (/ -1 x)))) in x 7.940 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.940 * [taylor]: Taking taylor expansion of -1 in x 7.940 * [backup-simplify]: Simplify -1 into -1 7.940 * [taylor]: Taking taylor expansion of x in x 7.940 * [backup-simplify]: Simplify 0 into 0 7.940 * [backup-simplify]: Simplify 1 into 1 7.940 * [backup-simplify]: Simplify (/ -1 1) into -1 7.940 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 7.940 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.940 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.940 * [taylor]: Taking taylor expansion of -1 in x 7.940 * [backup-simplify]: Simplify -1 into -1 7.940 * [taylor]: Taking taylor expansion of x in x 7.940 * [backup-simplify]: Simplify 0 into 0 7.940 * [backup-simplify]: Simplify 1 into 1 7.941 * [backup-simplify]: Simplify (/ -1 1) into -1 7.941 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 7.941 * [backup-simplify]: Simplify (log (exp (/ -1 x))) into (/ -1 x) 7.941 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x) 7.941 * [backup-simplify]: Simplify (exp (* (/ -1 x) (log (exp (/ -1 x))))) into (exp (/ 1 (pow x 2))) 7.942 * [backup-simplify]: Simplify (* (exp (- 1.0)) (exp (/ 1 (pow x 2)))) into (* (exp (/ 1 (pow x 2))) (exp (- 1.0))) 7.942 * [backup-simplify]: Simplify (* (exp (/ 1 (pow x 2))) (exp (- 1.0))) into (* (exp (/ 1 (pow x 2))) (exp (- 1.0))) 7.942 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.943 * [backup-simplify]: Simplify (- 0) into 0 7.943 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0 7.944 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (* 0 (exp (/ 1 (pow x 2))))) into 0 7.944 * [backup-simplify]: Simplify 0 into 0 7.944 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.944 * [backup-simplify]: Simplify (- 0) into 0 7.945 * [backup-simplify]: Simplify (- 0) into 0 7.946 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.946 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))) into 0 7.946 * [backup-simplify]: Simplify 0 into 0 7.947 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.947 * [backup-simplify]: Simplify (- 0) into 0 7.947 * [backup-simplify]: Simplify (- 0) into 0 7.948 * [backup-simplify]: Simplify (- 0) into 0 7.948 * [backup-simplify]: Simplify (- 0) into 0 7.950 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.951 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))) into 0 7.951 * [backup-simplify]: Simplify 0 into 0 7.951 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.952 * [backup-simplify]: Simplify (- 0) into 0 7.952 * [backup-simplify]: Simplify (- 0) into 0 7.952 * [backup-simplify]: Simplify (- 0) into 0 7.953 * [backup-simplify]: Simplify (- 0) into 0 7.953 * [backup-simplify]: Simplify (- 0) into 0 7.953 * [backup-simplify]: Simplify (- 0) into 0 7.954 * [backup-simplify]: Simplify (- 0) into 0 7.956 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (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 7.958 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))))) into 0 7.958 * [backup-simplify]: Simplify 0 into 0 7.958 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.959 * [backup-simplify]: Simplify (- 0) into 0 7.959 * [backup-simplify]: Simplify (- 0) into 0 7.959 * [backup-simplify]: Simplify (- 0) into 0 7.959 * [backup-simplify]: Simplify (- 0) into 0 7.960 * [backup-simplify]: Simplify (- 0) into 0 7.960 * [backup-simplify]: Simplify (- 0) into 0 7.960 * [backup-simplify]: Simplify (- 0) into 0 7.961 * [backup-simplify]: Simplify (- 0) into 0 7.961 * [backup-simplify]: Simplify (- 0) into 0 7.961 * [backup-simplify]: Simplify (- 0) into 0 7.962 * [backup-simplify]: Simplify (- 0) into 0 7.962 * [backup-simplify]: Simplify (- 0) into 0 7.965 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (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 7.966 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))))) into 0 7.966 * [backup-simplify]: Simplify 0 into 0 7.966 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.967 * [backup-simplify]: Simplify (- 0) into 0 7.967 * [backup-simplify]: Simplify (- 0) into 0 7.967 * [backup-simplify]: Simplify (- 0) into 0 7.968 * [backup-simplify]: Simplify (- 0) into 0 7.968 * [backup-simplify]: Simplify (- 0) into 0 7.968 * [backup-simplify]: Simplify (- 0) into 0 7.968 * [backup-simplify]: Simplify (- 0) into 0 7.968 * [backup-simplify]: Simplify (- 0) into 0 7.969 * [backup-simplify]: Simplify (- 0) into 0 7.969 * [backup-simplify]: Simplify (- 0) into 0 7.969 * [backup-simplify]: Simplify (- 0) into 0 7.969 * [backup-simplify]: Simplify (- 0) into 0 7.969 * [backup-simplify]: Simplify (- 0) into 0 7.970 * [backup-simplify]: Simplify (- 0) into 0 7.970 * [backup-simplify]: Simplify (- 0) into 0 7.970 * [backup-simplify]: Simplify (- 0) into 0 7.970 * [backup-simplify]: Simplify (- 0) into 0 7.971 * [backup-simplify]: Simplify (- 0) into 0 7.971 * [backup-simplify]: Simplify (- 0) into 0 7.975 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (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 7.977 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))))))) into 0 7.977 * [backup-simplify]: Simplify 0 into 0 7.978 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 (- x)) 2))) (exp (- 1.0))) into (* (exp (pow x 2)) (exp (- 1.0))) 7.978 * * * [progress]: simplifying candidates 7.979 * [simplify]: Simplifying: (+ (- 1.0) (* x x)) (+ (- 1.0) (* (log (exp x)) x)) (+ (- 1.0) (log (pow (exp x) x))) (log (* (exp (- 1.0)) (pow (exp x) x))) (exp (* (exp (- 1.0)) (pow (exp x) x))) (* (* (* (exp (- 1.0)) (exp (- 1.0))) (exp (- 1.0))) (* (* (pow (exp x) x) (pow (exp x) x)) (pow (exp x) x))) (* (cbrt (* (exp (- 1.0)) (pow (exp x) x))) (cbrt (* (exp (- 1.0)) (pow (exp x) x)))) (cbrt (* (exp (- 1.0)) (pow (exp x) x))) (* (* (* (exp (- 1.0)) (pow (exp x) x)) (* (exp (- 1.0)) (pow (exp x) x))) (* (exp (- 1.0)) (pow (exp x) x))) (sqrt (* (exp (- 1.0)) (pow (exp x) x))) (sqrt (* (exp (- 1.0)) (pow (exp x) x))) (* (sqrt (exp (- 1.0))) (pow (sqrt (exp x)) x)) (* (sqrt (exp (- 1.0))) (pow (sqrt (exp x)) x)) (* (sqrt (exp (- 1.0))) (sqrt (pow (exp x) x))) (* (sqrt (exp (- 1.0))) (sqrt (pow (exp x) x))) (* (sqrt (exp (- 1.0))) (pow (exp x) (/ x 2))) (* (sqrt (exp (- 1.0))) (pow (exp x) (/ x 2))) (* (exp (- 1.0)) (pow (* (cbrt (exp x)) (cbrt (exp x))) x)) (* (exp (- 1.0)) (pow (sqrt (exp x)) x)) (* (exp (- 1.0)) (pow 1 x)) (* (exp (- 1.0)) (* (cbrt (pow (exp x) x)) (cbrt (pow (exp x) x)))) (* (exp (- 1.0)) (sqrt (pow (exp x) x))) (* (exp (- 1.0)) 1) (* (exp (- 1.0)) (pow (exp x) (/ x 2))) (* (cbrt (exp (- 1.0))) (pow (exp x) x)) (* (sqrt (exp (- 1.0))) (pow (exp x) x)) (* (exp (- 1.0)) (pow (exp x) x)) (* 1 (pow (exp x) x)) (* (exp 0) (pow (exp x) x)) (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) (* (exp (pow x 2)) (exp (- 1.0))) (* (exp (pow x 2)) (exp (- 1.0))) 7.980 * * [simplify]: Extracting # 0 : cost 0 7.980 * * [simplify]: Extracting # 1 : cost 0 7.980 * * [simplify]: Extracting # 2 : cost 0 7.980 * * [simplify]: Extracting # 3 : cost 0 7.981 * * [simplify]: Extracting # 4 : cost 0 7.981 * * [simplify]: Extracting # 5 : cost 0 7.981 * * [simplify]: Extracting # 6 : cost 0 7.981 * * [simplify]: Extracting # 7 : cost 0 7.981 * * [simplify]: Extracting # 8 : cost 0 7.981 * * [simplify]: Extracting # 9 : cost 0 7.982 * * [simplify]: Extracting # 10 : cost 0 7.982 * * [simplify]: iteration 0 : 68 enodes (cost 344 ) 7.998 * * [simplify]: Extracting # 0 : cost 0 7.998 * * [simplify]: Extracting # 1 : cost 0 7.998 * * [simplify]: Extracting # 2 : cost 0 7.998 * * [simplify]: Extracting # 3 : cost 0 7.999 * * [simplify]: Extracting # 4 : cost 0 7.999 * * [simplify]: iteration 1 : 139 enodes (cost 318 ) 8.060 * * [simplify]: Extracting # 0 : cost 0 8.061 * * [simplify]: Extracting # 1 : cost 0 8.061 * * [simplify]: Extracting # 2 : cost 0 8.062 * * [simplify]: Extracting # 3 : cost 0 8.062 * * [simplify]: Extracting # 4 : cost 0 8.063 * * [simplify]: iteration 2 : 438 enodes (cost 266 ) 8.472 * * [simplify]: Extracting # 0 : cost 0 8.474 * * [simplify]: Extracting # 1 : cost 0 8.476 * * [simplify]: Extracting # 2 : cost 0 8.477 * * [simplify]: Extracting # 3 : cost 0 8.479 * * [simplify]: Extracting # 4 : cost 0 8.480 * * [simplify]: Extracting # 5 : cost 0 8.482 * * [simplify]: iteration 3 : 1458 enodes (cost 257 ) 10.141 * * [simplify]: Extracting # 0 : cost 0 10.148 * * [simplify]: Extracting # 1 : cost 0 10.154 * * [simplify]: Extracting # 2 : cost 0 10.159 * * [simplify]: Extracting # 3 : cost 0 10.165 * * [simplify]: Extracting # 4 : cost 0 10.173 * * [simplify]: iteration done: 5000 enodes (cost 257 ) 10.174 * [simplify]: Simplified to: (- (* x x) 1.0) (- (* x x) 1.0) (- (* x x) 1.0) (- (* x x) 1.0) (exp (exp (- (* x x) 1.0))) (pow (exp (- (* x x) 1.0)) 3) (* (cbrt (exp (- (* x x) 1.0))) (cbrt (exp (- (* x x) 1.0)))) (cbrt (exp (- (* x x) 1.0))) (pow (exp (- (* x x) 1.0)) 3) (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0))) (* (sqrt (exp (- 1.0))) (pow (sqrt (exp x)) x)) (* (sqrt (exp (- 1.0))) (pow (sqrt (exp x)) x)) (* (sqrt (exp (- 1.0))) (sqrt (pow (exp x) x))) (* (sqrt (exp (- 1.0))) (sqrt (pow (exp x) x))) (* (exp (* (/ x 2) x)) (sqrt (exp (- 1.0)))) (* (exp (* (/ x 2) x)) (sqrt (exp (- 1.0)))) (/ (pow (* (cbrt (exp x)) (cbrt (exp x))) x) (exp 1.0)) (/ (pow (sqrt (exp x)) x) (exp 1.0)) (exp (- 1.0)) (/ (* (cbrt (pow (exp x) x)) (cbrt (pow (exp x) x))) (exp 1.0)) (/ (sqrt (exp (pow x 2))) (exp 1.0)) (exp (- 1.0)) (/ (pow (exp x) (/ x 2)) (exp 1.0)) (* (cbrt (exp (- 1.0))) (pow (exp x) x)) (* (sqrt (exp (- 1.0))) (pow (exp x) x)) (exp (- (* x x) 1.0)) (exp (pow x 2)) (exp (pow x 2)) (* (exp (- 1.0)) (+ (+ (* 1/2 (pow x 4)) 1) (pow x 2))) (exp (- (* x x) 1.0)) (exp (- (* x x) 1.0)) 10.174 * * * [progress]: adding candidates to table 10.250 * * [progress]: iteration 3 / 4 10.250 * * * [progress]: picking best candidate 10.252 * * * * [pick]: Picked # 10.252 * * * [progress]: localizing error 10.261 * * * [progress]: generating rewritten candidates 10.261 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 10.297 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 10.341 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 10.713 * * * [progress]: generating series expansions 10.713 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 10.713 * [backup-simplify]: Simplify (exp (- (pow x 2) 1.0)) into (exp (- (pow x 2) 1.0)) 10.713 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0 10.713 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 10.713 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 10.713 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.713 * [taylor]: Taking taylor expansion of x in x 10.713 * [backup-simplify]: Simplify 0 into 0 10.713 * [backup-simplify]: Simplify 1 into 1 10.713 * [taylor]: Taking taylor expansion of 1.0 in x 10.713 * [backup-simplify]: Simplify 1.0 into 1.0 10.714 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 10.715 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 10.716 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 10.716 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 10.716 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 10.716 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.716 * [taylor]: Taking taylor expansion of x in x 10.716 * [backup-simplify]: Simplify 0 into 0 10.716 * [backup-simplify]: Simplify 1 into 1 10.716 * [taylor]: Taking taylor expansion of 1.0 in x 10.716 * [backup-simplify]: Simplify 1.0 into 1.0 10.716 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 10.717 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 10.718 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 10.719 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 10.719 * [backup-simplify]: Simplify (- 0) into 0 10.720 * [backup-simplify]: Simplify (+ 0 0) into 0 10.721 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0 10.721 * [backup-simplify]: Simplify 0 into 0 10.721 * [backup-simplify]: Simplify (* 1 1) into 1 10.722 * [backup-simplify]: Simplify (- 0) into 0 10.722 * [backup-simplify]: Simplify (+ 1 0) into 1 10.726 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0)) 10.727 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 10.727 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.728 * [backup-simplify]: Simplify (- 0) into 0 10.728 * [backup-simplify]: Simplify (+ 0 0) into 0 10.730 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.730 * [backup-simplify]: Simplify 0 into 0 10.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.732 * [backup-simplify]: Simplify (- 0) into 0 10.732 * [backup-simplify]: Simplify (+ 0 0) into 0 10.740 * [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))) 10.741 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0))) 10.744 * [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)))))) 10.744 * [backup-simplify]: Simplify (exp (- (pow (/ 1 x) 2) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.744 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 10.745 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 10.745 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 10.745 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.745 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.745 * [taylor]: Taking taylor expansion of x in x 10.745 * [backup-simplify]: Simplify 0 into 0 10.745 * [backup-simplify]: Simplify 1 into 1 10.745 * [backup-simplify]: Simplify (* 1 1) into 1 10.745 * [backup-simplify]: Simplify (/ 1 1) into 1 10.745 * [taylor]: Taking taylor expansion of 1.0 in x 10.745 * [backup-simplify]: Simplify 1.0 into 1.0 10.746 * [backup-simplify]: Simplify (+ 1 0) into 1 10.746 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.746 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 10.746 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 10.746 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.746 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.746 * [taylor]: Taking taylor expansion of x in x 10.746 * [backup-simplify]: Simplify 0 into 0 10.746 * [backup-simplify]: Simplify 1 into 1 10.747 * [backup-simplify]: Simplify (* 1 1) into 1 10.747 * [backup-simplify]: Simplify (/ 1 1) into 1 10.747 * [taylor]: Taking taylor expansion of 1.0 in x 10.747 * [backup-simplify]: Simplify 1.0 into 1.0 10.747 * [backup-simplify]: Simplify (+ 1 0) into 1 10.748 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.748 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.748 * [backup-simplify]: Simplify 0 into 0 10.748 * [backup-simplify]: Simplify 0 into 0 10.748 * [backup-simplify]: Simplify 0 into 0 10.748 * [backup-simplify]: Simplify 0 into 0 10.748 * [backup-simplify]: Simplify 0 into 0 10.748 * [backup-simplify]: Simplify 0 into 0 10.748 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1.0)) into (exp (- (pow x 2) 1.0)) 10.748 * [backup-simplify]: Simplify (exp (- (pow (/ 1 (- x)) 2) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.749 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 10.749 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 10.749 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 10.749 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.749 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.749 * [taylor]: Taking taylor expansion of x in x 10.749 * [backup-simplify]: Simplify 0 into 0 10.749 * [backup-simplify]: Simplify 1 into 1 10.749 * [backup-simplify]: Simplify (* 1 1) into 1 10.749 * [backup-simplify]: Simplify (/ 1 1) into 1 10.749 * [taylor]: Taking taylor expansion of 1.0 in x 10.749 * [backup-simplify]: Simplify 1.0 into 1.0 10.750 * [backup-simplify]: Simplify (+ 1 0) into 1 10.750 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.750 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 10.750 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 10.750 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.750 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.750 * [taylor]: Taking taylor expansion of x in x 10.750 * [backup-simplify]: Simplify 0 into 0 10.750 * [backup-simplify]: Simplify 1 into 1 10.751 * [backup-simplify]: Simplify (* 1 1) into 1 10.751 * [backup-simplify]: Simplify (/ 1 1) into 1 10.751 * [taylor]: Taking taylor expansion of 1.0 in x 10.751 * [backup-simplify]: Simplify 1.0 into 1.0 10.751 * [backup-simplify]: Simplify (+ 1 0) into 1 10.752 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.752 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.752 * [backup-simplify]: Simplify 0 into 0 10.752 * [backup-simplify]: Simplify 0 into 0 10.752 * [backup-simplify]: Simplify 0 into 0 10.752 * [backup-simplify]: Simplify 0 into 0 10.752 * [backup-simplify]: Simplify 0 into 0 10.752 * [backup-simplify]: Simplify 0 into 0 10.752 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1.0)) into (exp (- (pow x 2) 1.0)) 10.752 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 10.752 * [backup-simplify]: Simplify (exp (- (pow x 2) 1.0)) into (exp (- (pow x 2) 1.0)) 10.753 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0 10.753 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 10.753 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 10.753 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.753 * [taylor]: Taking taylor expansion of x in x 10.753 * [backup-simplify]: Simplify 0 into 0 10.753 * [backup-simplify]: Simplify 1 into 1 10.753 * [taylor]: Taking taylor expansion of 1.0 in x 10.753 * [backup-simplify]: Simplify 1.0 into 1.0 10.753 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 10.754 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 10.755 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 10.755 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 10.755 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 10.755 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.755 * [taylor]: Taking taylor expansion of x in x 10.755 * [backup-simplify]: Simplify 0 into 0 10.755 * [backup-simplify]: Simplify 1 into 1 10.755 * [taylor]: Taking taylor expansion of 1.0 in x 10.755 * [backup-simplify]: Simplify 1.0 into 1.0 10.755 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 10.756 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 10.757 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 10.757 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 10.758 * [backup-simplify]: Simplify (- 0) into 0 10.758 * [backup-simplify]: Simplify (+ 0 0) into 0 10.759 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0 10.759 * [backup-simplify]: Simplify 0 into 0 10.760 * [backup-simplify]: Simplify (* 1 1) into 1 10.760 * [backup-simplify]: Simplify (- 0) into 0 10.760 * [backup-simplify]: Simplify (+ 1 0) into 1 10.764 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0)) 10.765 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 10.766 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.766 * [backup-simplify]: Simplify (- 0) into 0 10.766 * [backup-simplify]: Simplify (+ 0 0) into 0 10.769 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.769 * [backup-simplify]: Simplify 0 into 0 10.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.770 * [backup-simplify]: Simplify (- 0) into 0 10.770 * [backup-simplify]: Simplify (+ 0 0) into 0 10.783 * [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))) 10.785 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0))) 10.788 * [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)))))) 10.788 * [backup-simplify]: Simplify (exp (- (pow (/ 1 x) 2) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.788 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 10.788 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 10.788 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 10.788 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.788 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.788 * [taylor]: Taking taylor expansion of x in x 10.788 * [backup-simplify]: Simplify 0 into 0 10.788 * [backup-simplify]: Simplify 1 into 1 10.789 * [backup-simplify]: Simplify (* 1 1) into 1 10.789 * [backup-simplify]: Simplify (/ 1 1) into 1 10.789 * [taylor]: Taking taylor expansion of 1.0 in x 10.789 * [backup-simplify]: Simplify 1.0 into 1.0 10.790 * [backup-simplify]: Simplify (+ 1 0) into 1 10.790 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.790 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 10.790 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 10.790 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.790 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.790 * [taylor]: Taking taylor expansion of x in x 10.790 * [backup-simplify]: Simplify 0 into 0 10.790 * [backup-simplify]: Simplify 1 into 1 10.790 * [backup-simplify]: Simplify (* 1 1) into 1 10.791 * [backup-simplify]: Simplify (/ 1 1) into 1 10.791 * [taylor]: Taking taylor expansion of 1.0 in x 10.791 * [backup-simplify]: Simplify 1.0 into 1.0 10.791 * [backup-simplify]: Simplify (+ 1 0) into 1 10.791 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.792 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.792 * [backup-simplify]: Simplify 0 into 0 10.792 * [backup-simplify]: Simplify 0 into 0 10.792 * [backup-simplify]: Simplify 0 into 0 10.792 * [backup-simplify]: Simplify 0 into 0 10.792 * [backup-simplify]: Simplify 0 into 0 10.792 * [backup-simplify]: Simplify 0 into 0 10.792 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1.0)) into (exp (- (pow x 2) 1.0)) 10.792 * [backup-simplify]: Simplify (exp (- (pow (/ 1 (- x)) 2) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.792 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 10.792 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 10.792 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 10.792 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.792 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.793 * [taylor]: Taking taylor expansion of x in x 10.793 * [backup-simplify]: Simplify 0 into 0 10.793 * [backup-simplify]: Simplify 1 into 1 10.793 * [backup-simplify]: Simplify (* 1 1) into 1 10.793 * [backup-simplify]: Simplify (/ 1 1) into 1 10.793 * [taylor]: Taking taylor expansion of 1.0 in x 10.793 * [backup-simplify]: Simplify 1.0 into 1.0 10.794 * [backup-simplify]: Simplify (+ 1 0) into 1 10.794 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.794 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 10.794 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 10.794 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.794 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.794 * [taylor]: Taking taylor expansion of x in x 10.794 * [backup-simplify]: Simplify 0 into 0 10.794 * [backup-simplify]: Simplify 1 into 1 10.794 * [backup-simplify]: Simplify (* 1 1) into 1 10.795 * [backup-simplify]: Simplify (/ 1 1) into 1 10.795 * [taylor]: Taking taylor expansion of 1.0 in x 10.795 * [backup-simplify]: Simplify 1.0 into 1.0 10.795 * [backup-simplify]: Simplify (+ 1 0) into 1 10.795 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.796 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.796 * [backup-simplify]: Simplify 0 into 0 10.796 * [backup-simplify]: Simplify 0 into 0 10.796 * [backup-simplify]: Simplify 0 into 0 10.796 * [backup-simplify]: Simplify 0 into 0 10.796 * [backup-simplify]: Simplify 0 into 0 10.796 * [backup-simplify]: Simplify 0 into 0 10.796 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1.0)) into (exp (- (pow x 2) 1.0)) 10.796 * * * * [progress]: [ 3 / 3 ] generating series at (2) 10.797 * [backup-simplify]: Simplify (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0)))) into (exp (- (pow x 2) 1.0)) 10.797 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0 10.797 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 10.797 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 10.797 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.797 * [taylor]: Taking taylor expansion of x in x 10.797 * [backup-simplify]: Simplify 0 into 0 10.797 * [backup-simplify]: Simplify 1 into 1 10.797 * [taylor]: Taking taylor expansion of 1.0 in x 10.797 * [backup-simplify]: Simplify 1.0 into 1.0 10.797 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 10.798 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 10.799 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 10.799 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 10.799 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 10.799 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.799 * [taylor]: Taking taylor expansion of x in x 10.799 * [backup-simplify]: Simplify 0 into 0 10.799 * [backup-simplify]: Simplify 1 into 1 10.799 * [taylor]: Taking taylor expansion of 1.0 in x 10.799 * [backup-simplify]: Simplify 1.0 into 1.0 10.799 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 10.800 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 10.801 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 10.802 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 10.802 * [backup-simplify]: Simplify (- 0) into 0 10.802 * [backup-simplify]: Simplify (+ 0 0) into 0 10.804 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0 10.804 * [backup-simplify]: Simplify 0 into 0 10.804 * [backup-simplify]: Simplify (* 1 1) into 1 10.804 * [backup-simplify]: Simplify (- 0) into 0 10.805 * [backup-simplify]: Simplify (+ 1 0) into 1 10.808 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0)) 10.809 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 10.810 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.810 * [backup-simplify]: Simplify (- 0) into 0 10.810 * [backup-simplify]: Simplify (+ 0 0) into 0 10.812 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.812 * [backup-simplify]: Simplify 0 into 0 10.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.814 * [backup-simplify]: Simplify (- 0) into 0 10.814 * [backup-simplify]: Simplify (+ 0 0) into 0 10.822 * [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))) 10.824 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0))) 10.827 * [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)))))) 10.828 * [backup-simplify]: Simplify (* (sqrt (exp (- (pow (/ 1 x) 2) 1.0))) (sqrt (exp (- (pow (/ 1 x) 2) 1.0)))) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.828 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 10.828 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 10.828 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 10.828 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.828 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.828 * [taylor]: Taking taylor expansion of x in x 10.828 * [backup-simplify]: Simplify 0 into 0 10.828 * [backup-simplify]: Simplify 1 into 1 10.828 * [backup-simplify]: Simplify (* 1 1) into 1 10.829 * [backup-simplify]: Simplify (/ 1 1) into 1 10.829 * [taylor]: Taking taylor expansion of 1.0 in x 10.829 * [backup-simplify]: Simplify 1.0 into 1.0 10.829 * [backup-simplify]: Simplify (+ 1 0) into 1 10.829 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.829 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 10.829 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 10.829 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.829 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.830 * [taylor]: Taking taylor expansion of x in x 10.830 * [backup-simplify]: Simplify 0 into 0 10.830 * [backup-simplify]: Simplify 1 into 1 10.830 * [backup-simplify]: Simplify (* 1 1) into 1 10.830 * [backup-simplify]: Simplify (/ 1 1) into 1 10.830 * [taylor]: Taking taylor expansion of 1.0 in x 10.830 * [backup-simplify]: Simplify 1.0 into 1.0 10.831 * [backup-simplify]: Simplify (+ 1 0) into 1 10.831 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.831 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.831 * [backup-simplify]: Simplify 0 into 0 10.831 * [backup-simplify]: Simplify 0 into 0 10.831 * [backup-simplify]: Simplify 0 into 0 10.831 * [backup-simplify]: Simplify 0 into 0 10.831 * [backup-simplify]: Simplify 0 into 0 10.831 * [backup-simplify]: Simplify 0 into 0 10.832 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1.0)) into (exp (- (pow x 2) 1.0)) 10.832 * [backup-simplify]: Simplify (* (sqrt (exp (- (pow (/ 1 (- x)) 2) 1.0))) (sqrt (exp (- (pow (/ 1 (- x)) 2) 1.0)))) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.832 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 10.832 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 10.832 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 10.832 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.832 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.832 * [taylor]: Taking taylor expansion of x in x 10.832 * [backup-simplify]: Simplify 0 into 0 10.832 * [backup-simplify]: Simplify 1 into 1 10.833 * [backup-simplify]: Simplify (* 1 1) into 1 10.833 * [backup-simplify]: Simplify (/ 1 1) into 1 10.833 * [taylor]: Taking taylor expansion of 1.0 in x 10.833 * [backup-simplify]: Simplify 1.0 into 1.0 10.834 * [backup-simplify]: Simplify (+ 1 0) into 1 10.834 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.834 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 10.834 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 10.834 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.834 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.834 * [taylor]: Taking taylor expansion of x in x 10.834 * [backup-simplify]: Simplify 0 into 0 10.834 * [backup-simplify]: Simplify 1 into 1 10.834 * [backup-simplify]: Simplify (* 1 1) into 1 10.835 * [backup-simplify]: Simplify (/ 1 1) into 1 10.835 * [taylor]: Taking taylor expansion of 1.0 in x 10.835 * [backup-simplify]: Simplify 1.0 into 1.0 10.835 * [backup-simplify]: Simplify (+ 1 0) into 1 10.835 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.836 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 10.836 * [backup-simplify]: Simplify 0 into 0 10.836 * [backup-simplify]: Simplify 0 into 0 10.836 * [backup-simplify]: Simplify 0 into 0 10.836 * [backup-simplify]: Simplify 0 into 0 10.836 * [backup-simplify]: Simplify 0 into 0 10.836 * [backup-simplify]: Simplify 0 into 0 10.836 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1.0)) into (exp (- (pow x 2) 1.0)) 10.836 * * * [progress]: simplifying candidates 10.840 * [simplify]: Simplifying: (exp (* (cbrt (- (pow x 2) 1.0)) (cbrt (- (pow x 2) 1.0)))) (exp (sqrt (- (pow x 2) 1.0))) (exp 1) (exp (+ (pow (sqrt x) 2) (sqrt 1.0))) (exp (+ x (sqrt 1.0))) (exp (+ (sqrt (pow x 2)) (sqrt 1.0))) (exp (+ (pow x (/ 2 2)) (sqrt 1.0))) (exp 1) (exp (pow x 2)) (exp (- 1.0)) (exp (pow x 2)) (exp (- 1.0)) (exp (pow x 2)) (exp 1.0) (log (exp (- (pow x 2) 1.0))) (exp (exp (- (pow x 2) 1.0))) (* (cbrt (exp (- (pow x 2) 1.0))) (cbrt (exp (- (pow x 2) 1.0)))) (cbrt (exp (- (pow x 2) 1.0))) (* (* (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0))) (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (exp (* (cbrt (- (pow x 2) 1.0)) (cbrt (- (pow x 2) 1.0)))) (exp (sqrt (- (pow x 2) 1.0))) (exp 1) (exp (+ (pow (sqrt x) 2) (sqrt 1.0))) (exp (+ x (sqrt 1.0))) (exp (+ (sqrt (pow x 2)) (sqrt 1.0))) (exp (+ (pow x (/ 2 2)) (sqrt 1.0))) (exp 1) (exp (pow x 2)) (exp (- 1.0)) (exp (pow x 2)) (exp (- 1.0)) (exp (pow x 2)) (exp 1.0) (log (exp (- (pow x 2) 1.0))) (exp (exp (- (pow x 2) 1.0))) (* (cbrt (exp (- (pow x 2) 1.0))) (cbrt (exp (- (pow x 2) 1.0)))) (cbrt (exp (- (pow x 2) 1.0))) (* (* (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0))) (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ (cbrt (- (pow x 2) 1.0)) 2) (/ (cbrt (- (pow x 2) 1.0)) 2)) (+ (/ (sqrt (- (pow x 2) 1.0)) 2) (/ (sqrt (- (pow x 2) 1.0)) 2)) (+ (/ (- (pow x 2) 1.0) 2) (/ (- (pow x 2) 1.0) 2)) (+ (/ (- (pow x 2) 1.0) 2) (/ (- (pow x 2) 1.0) 2)) (+ (/ (- (pow (sqrt x) 2) (sqrt 1.0)) 2) (/ (- (pow (sqrt x) 2) (sqrt 1.0)) 2)) (+ (/ (- x (sqrt 1.0)) 2) (/ (- x (sqrt 1.0)) 2)) (+ (/ (- (sqrt (pow x 2)) (sqrt 1.0)) 2) (/ (- (sqrt (pow x 2)) (sqrt 1.0)) 2)) (+ (/ (- (pow x (/ 2 2)) (sqrt 1.0)) 2) (/ (- (pow x (/ 2 2)) (sqrt 1.0)) 2)) (+ (/ (- (pow x 2) 1.0) 2) (/ (- (pow x 2) 1.0) 2)) (+ (/ (- (pow x 2) 1.0) 2) (/ (- (pow x 2) 1.0) 2)) (* (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0))) (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0)))) (* (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0))) (* (exp (* (cbrt (- (pow x 2) 1.0)) (cbrt (- (pow x 2) 1.0)))) (exp (* (cbrt (- (pow x 2) 1.0)) (cbrt (- (pow x 2) 1.0))))) (* (exp (sqrt (- (pow x 2) 1.0))) (exp (sqrt (- (pow x 2) 1.0)))) (* (exp 1) (exp 1)) (* (exp 1) (exp 1)) (* (exp (+ (pow (sqrt x) 2) (sqrt 1.0))) (exp (+ (pow (sqrt x) 2) (sqrt 1.0)))) (* (exp (+ x (sqrt 1.0))) (exp (+ x (sqrt 1.0)))) (* (exp (+ (sqrt (pow x 2)) (sqrt 1.0))) (exp (+ (sqrt (pow x 2)) (sqrt 1.0)))) (* (exp (+ (pow x (/ 2 2)) (sqrt 1.0))) (exp (+ (pow x (/ 2 2)) (sqrt 1.0)))) (* (exp 1) (exp 1)) (* (exp 1) (exp 1)) (+ 1 1) (+ (log (sqrt (exp (- (pow x 2) 1.0)))) (log (sqrt (exp (- (pow x 2) 1.0))))) (log (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))))) (exp (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))))) (* (* (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (exp (- (pow x 2) 1.0)))) (* (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (exp (- (pow x 2) 1.0))))) (* (cbrt (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))))) (cbrt (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0)))))) (cbrt (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))))) (* (* (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0)))) (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))))) (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))))) (* (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0))) (sqrt (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))))) (sqrt (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))))) (* (sqrt (exp (pow x 2))) (sqrt (exp (pow x 2)))) (* (sqrt (exp 1.0)) (sqrt (exp 1.0))) (* (* (cbrt (sqrt (exp (- (pow x 2) 1.0)))) (cbrt (sqrt (exp (- (pow x 2) 1.0))))) (* (cbrt (sqrt (exp (- (pow x 2) 1.0)))) (cbrt (sqrt (exp (- (pow x 2) 1.0)))))) (* (cbrt (sqrt (exp (- (pow x 2) 1.0)))) (cbrt (sqrt (exp (- (pow x 2) 1.0))))) (* (sqrt (exp (pow x 2))) (sqrt (exp (pow x 2)))) (* (sqrt (exp (- 1.0))) (sqrt (exp (- 1.0)))) (* (sqrt (exp (pow x 2))) (sqrt (exp (pow x 2)))) (* (sqrt (exp (- 1.0))) (sqrt (exp (- 1.0)))) (* (sqrt (exp (pow x 2))) (sqrt (exp (pow x 2)))) (* (sqrt (exp (- 1.0))) (sqrt (exp (- 1.0)))) (* (sqrt (exp (pow x 2))) (sqrt (exp (pow x 2)))) (* (sqrt (exp (- 1.0))) (sqrt (exp (- 1.0)))) (* (sqrt (* (cbrt (exp (- (pow x 2) 1.0))) (cbrt (exp (- (pow x 2) 1.0))))) (sqrt (* (cbrt (exp (- (pow x 2) 1.0))) (cbrt (exp (- (pow x 2) 1.0)))))) (* (sqrt (cbrt (exp (- (pow x 2) 1.0)))) (sqrt (cbrt (exp (- (pow x 2) 1.0))))) (* (sqrt (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (sqrt (exp (- (pow x 2) 1.0))))) (* (sqrt (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (sqrt (exp (- (pow x 2) 1.0))))) (* (sqrt (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (sqrt (exp (- (pow x 2) 1.0))))) (* (sqrt (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (sqrt (exp (- (pow x 2) 1.0))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0)))) (* (sqrt (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (sqrt (exp (- (pow x 2) 1.0))))) (* (sqrt (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (sqrt (exp (- (pow x 2) 1.0))))) (* (sqrt (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (sqrt (exp (- (pow x 2) 1.0))))) (* (sqrt (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (sqrt (exp (- (pow x 2) 1.0))))) (* 1 1) (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0)))) (* (sqrt (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (sqrt (exp (- (pow x 2) 1.0))))) (* (sqrt (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (sqrt (exp (- (pow x 2) 1.0))))) (* (sqrt (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (sqrt (exp (- (pow x 2) 1.0))))) (* (sqrt (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (sqrt (exp (- (pow x 2) 1.0))))) (* (sqrt (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (sqrt (exp (- (pow x 2) 1.0))))) (* (sqrt (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (sqrt (exp (- (pow x 2) 1.0))))) (* (sqrt (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (sqrt (exp (- (pow x 2) 1.0))))) (* (sqrt (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (sqrt (exp (- (pow x 2) 1.0))))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* 2 (/ (cbrt (- (pow x 2) 1.0)) 2)) (* 2 (/ (sqrt (- (pow x 2) 1.0)) 2)) (* 2 (/ (- (pow x 2) 1.0) 2)) (* 2 (/ (- (pow x 2) 1.0) 2)) (* 2 (/ (- (pow (sqrt x) 2) (sqrt 1.0)) 2)) (* 2 (/ (- x (sqrt 1.0)) 2)) (* 2 (/ (- (sqrt (pow x 2)) (sqrt 1.0)) 2)) (* 2 (/ (- (pow x (/ 2 2)) (sqrt 1.0)) 2)) (* 2 (/ (- (pow x 2) 1.0) 2)) (* 2 (/ (- (pow x 2) 1.0) 2)) (* (sqrt (exp (- (pow x 2) 1.0))) (* (cbrt (sqrt (exp (- (pow x 2) 1.0)))) (cbrt (sqrt (exp (- (pow x 2) 1.0)))))) (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (pow x 2)))) (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (pow x 2)))) (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (* (cbrt (exp (- (pow x 2) 1.0))) (cbrt (exp (- (pow x 2) 1.0)))))) (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (sqrt (exp (- (pow x 2) 1.0))))) (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt 1)) (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (sqrt (exp (- (pow x 2) 1.0))))) (* (sqrt (exp (- (pow x 2) 1.0))) 1) (* (cbrt (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (exp (- (pow x 2) 1.0)))) (* (sqrt (exp (- 1.0))) (sqrt (exp (- (pow x 2) 1.0)))) (* (sqrt (exp (- 1.0))) (sqrt (exp (- (pow x 2) 1.0)))) (* (sqrt (cbrt (exp (- (pow x 2) 1.0)))) (sqrt (exp (- (pow x 2) 1.0)))) (* (sqrt (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (exp (- (pow x 2) 1.0)))) (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0)))) (* (sqrt (sqrt (exp (- (pow x 2) 1.0)))) (sqrt (exp (- (pow x 2) 1.0)))) (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0)))) (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (pow x 2)))) (* (sqrt (exp (pow x 2))) (sqrt (exp (- (pow x 2) 1.0)))) (+ (* (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)) (+ (* (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)) (+ (* (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)) 10.844 * * [simplify]: Extracting # 0 : cost 0 10.845 * * [simplify]: Extracting # 1 : cost 0 10.845 * * [simplify]: Extracting # 2 : cost 0 10.845 * * [simplify]: Extracting # 3 : cost 0 10.845 * * [simplify]: Extracting # 4 : cost 0 10.846 * * [simplify]: Extracting # 5 : cost 0 10.846 * * [simplify]: Extracting # 6 : cost 0 10.846 * * [simplify]: Extracting # 7 : cost 0 10.847 * * [simplify]: Extracting # 8 : cost 0 10.847 * * [simplify]: Extracting # 9 : cost 0 10.847 * * [simplify]: Extracting # 10 : cost 0 10.848 * * [simplify]: iteration 0 : 128 enodes (cost 1876 ) 10.916 * * [simplify]: Extracting # 0 : cost 0 10.917 * * [simplify]: Extracting # 1 : cost 0 10.922 * * [simplify]: Extracting # 2 : cost 0 10.923 * * [simplify]: Extracting # 3 : cost 0 10.923 * * [simplify]: iteration 1 : 249 enodes (cost 1288 ) 11.018 * * [simplify]: Extracting # 0 : cost 0 11.019 * * [simplify]: Extracting # 1 : cost 0 11.020 * * [simplify]: Extracting # 2 : cost 0 11.021 * * [simplify]: Extracting # 3 : cost 0 11.022 * * [simplify]: Extracting # 4 : cost 0 11.023 * * [simplify]: iteration 2 : 605 enodes (cost 1114 ) 11.458 * * [simplify]: Extracting # 0 : cost 0 11.460 * * [simplify]: Extracting # 1 : cost 0 11.461 * * [simplify]: Extracting # 2 : cost 0 11.463 * * [simplify]: Extracting # 3 : cost 0 11.465 * * [simplify]: Extracting # 4 : cost 0 11.467 * * [simplify]: iteration 3 : 1764 enodes (cost 1041 ) 12.399 * * [simplify]: Extracting # 0 : cost 0 12.409 * * [simplify]: Extracting # 1 : cost 0 12.420 * * [simplify]: Extracting # 2 : cost 0 12.427 * * [simplify]: Extracting # 3 : cost 0 12.434 * * [simplify]: Extracting # 4 : cost 0 12.444 * * [simplify]: iteration done: 5000 enodes (cost 974 ) 12.445 * [simplify]: Simplified to: (exp (* (cbrt (- (pow x 2) 1.0)) (cbrt (- (pow x 2) 1.0)))) (exp (sqrt (- (pow x 2) 1.0))) E (exp (+ x (sqrt 1.0))) (exp (+ x (sqrt 1.0))) (exp (+ (sqrt 1.0) (fabs x))) (exp (+ x (sqrt 1.0))) E (exp (* x x)) (exp (- 1.0)) (exp (* x x)) (exp (- 1.0)) (exp (* x x)) (exp 1.0) (- (* x x) 1.0) (exp (exp (- (pow x 2) 1.0))) (pow (sqrt (cbrt (exp (- (pow x 2) 1.0)))) 4) (cbrt (exp (- (pow x 2) 1.0))) (pow (exp (- (pow x 2) 1.0)) 3) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (exp (* (cbrt (- (pow x 2) 1.0)) (cbrt (- (pow x 2) 1.0)))) (exp (sqrt (- (pow x 2) 1.0))) E (exp (+ x (sqrt 1.0))) (exp (+ x (sqrt 1.0))) (exp (+ (sqrt 1.0) (fabs x))) (exp (+ x (sqrt 1.0))) E (exp (* x x)) (exp (- 1.0)) (exp (* x x)) (exp (- 1.0)) (exp (* x x)) (exp 1.0) (- (* x x) 1.0) (exp (exp (- (pow x 2) 1.0))) (pow (sqrt (cbrt (exp (- (pow x 2) 1.0)))) 4) (cbrt (exp (- (pow x 2) 1.0))) (pow (exp (- (pow x 2) 1.0)) 3) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) 1 1 2 1 1 (cbrt (- (pow x 2) 1.0)) (sqrt (- (pow x 2) 1.0)) (- (* x x) 1.0) (- (* x x) 1.0) (- x (sqrt 1.0)) (- x (sqrt 1.0)) (- (fabs x) (sqrt 1.0)) (- x (sqrt 1.0)) (- (* x x) 1.0) (- (* x x) 1.0) (exp (* 2 (- (pow x 2) 1.0))) (exp (- (pow x 2) 1.0)) (exp (* 2 (- (pow x 2) 1.0))) (exp (* 2 (* (cbrt (- (pow x 2) 1.0)) (cbrt (- (pow x 2) 1.0))))) (exp (* (sqrt (- (pow x 2) 1.0)) 2)) (exp 2) (exp 2) (exp (* 2 (+ x (sqrt 1.0)))) (exp (* 2 (+ x (sqrt 1.0)))) (exp (* 2 (+ (sqrt 1.0) (fabs x)))) (exp (* 2 (+ x (sqrt 1.0)))) (exp 2) (exp 2) 2 (- (* x x) 1.0) (- (* x x) 1.0) (exp (exp (- (pow x 2) 1.0))) (pow (exp (- (pow x 2) 1.0)) 3) (pow (sqrt (cbrt (exp (- (pow x 2) 1.0)))) 4) (cbrt (exp (- (pow x 2) 1.0))) (pow (exp (- (pow x 2) 1.0)) 3) (exp (* 2 (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (exp (* x x)) (exp 1.0) (pow (cbrt (sqrt (exp (- (pow x 2) 1.0)))) 4) (* (cbrt (sqrt (exp (- (pow x 2) 1.0)))) (cbrt (sqrt (exp (- (pow x 2) 1.0))))) (exp (* x x)) (exp (- 1.0)) (exp (* x x)) (exp (- 1.0)) (exp (* x x)) (exp (- 1.0)) (exp (* x x)) (exp (- 1.0)) (pow (sqrt (cbrt (exp (- (pow x 2) 1.0)))) 4) (cbrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) 1 (exp (- (pow x 2) 1.0)) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) 1 (exp (- (pow x 2) 1.0)) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) 1 2 1 (cbrt (- (pow x 2) 1.0)) (sqrt (- (pow x 2) 1.0)) (- (* x x) 1.0) (- (* x x) 1.0) (- x (sqrt 1.0)) (- x (sqrt 1.0)) (- (fabs x) (sqrt 1.0)) (- x (sqrt 1.0)) (- (* x x) 1.0) (- (* x x) 1.0) (pow (cbrt (sqrt (exp (- (pow x 2) 1.0)))) (+ 4 1)) (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (pow x 2)))) (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (pow x 2)))) (* (sqrt (exp (- (pow x 2) 1.0))) (fabs (cbrt (exp (- (pow x 2) 1.0))))) (pow (sqrt (sqrt (exp (- (pow x 2) 1.0)))) 3) (sqrt (exp (- (pow x 2) 1.0))) (pow (sqrt (sqrt (exp (- (pow x 2) 1.0)))) 3) (sqrt (exp (- (pow x 2) 1.0))) (pow (cbrt (sqrt (exp (- (pow x 2) 1.0)))) 4) (* (sqrt (exp (- 1.0))) (sqrt (exp (- (pow x 2) 1.0)))) (* (sqrt (exp (- 1.0))) (sqrt (exp (- (pow x 2) 1.0)))) (* (sqrt (cbrt (exp (- (pow x 2) 1.0)))) (sqrt (exp (- (pow x 2) 1.0)))) (pow (sqrt (sqrt (exp (- (pow x 2) 1.0)))) 3) (exp (- (pow x 2) 1.0)) (pow (sqrt (sqrt (exp (- (pow x 2) 1.0)))) 3) (exp (- (pow x 2) 1.0)) (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (pow x 2)))) (* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (pow x 2)))) (* (exp (- 1.0)) (+ (+ (* 1/2 (pow x 4)) 1) (* x x))) (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) (* (exp (- 1.0)) (+ (+ (* 1/2 (pow x 4)) 1) (* x x))) (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) (* (exp (- 1.0)) (+ (+ (* 1/2 (pow x 4)) 1) (* x x))) (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) 12.446 * * * [progress]: adding candidates to table 12.837 * [progress]: [Phase 3 of 3] Extracting. 12.837 * * [regime]: Finding splitpoints for: (# #) 12.838 * * * [regime-changes]: Trying 1 branch expressions: (x) 12.838 * * * * [regimes]: Trying to branch on x from (# #) 12.860 * * * [regime]: Found split indices: #