17.303 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.046 * * * [progress]: [2/2] Setting up program. 0.048 * [progress]: [Phase 2 of 3] Improving. 0.048 * [simplify]: Simplifying: (- (exp x) 1.0) 0.048 * * [simplify]: iteration 0: 4 enodes 0.049 * * [simplify]: iteration 1: 6 enodes 0.050 * * [simplify]: iteration 2: 7 enodes 0.051 * * [simplify]: iteration complete: 7 enodes 0.051 * * [simplify]: Extracting #0: cost 1 inf + 0 0.051 * * [simplify]: Extracting #1: cost 4 inf + 0 0.051 * * [simplify]: Extracting #2: cost 3 inf + 3 0.051 * * [simplify]: Extracting #3: cost 2 inf + 4 0.051 * * [simplify]: Extracting #4: cost 0 inf + 10 0.051 * [simplify]: Simplified to: (- (exp x) 1.0) 0.052 * * [progress]: iteration 1 / 4 0.052 * * * [progress]: picking best candidate 0.053 * * * * [pick]: Picked # 0.053 * * * [progress]: localizing error 0.058 * * * [progress]: generating rewritten candidates 0.058 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.068 * * * [progress]: generating series expansions 0.068 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.068 * [backup-simplify]: Simplify (- (exp x) 1.0) into (- (exp x) 1.0) 0.068 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0 0.068 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.068 * [taylor]: Taking taylor expansion of (exp x) in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify 1 into 1 0.068 * [backup-simplify]: Simplify (exp 0) into 1 0.068 * [taylor]: Taking taylor expansion of 1.0 in x 0.068 * [backup-simplify]: Simplify 1.0 into 1.0 0.068 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.068 * [taylor]: Taking taylor expansion of (exp x) in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify 1 into 1 0.068 * [backup-simplify]: Simplify (exp 0) into 1 0.068 * [taylor]: Taking taylor expansion of 1.0 in x 0.068 * [backup-simplify]: Simplify 1.0 into 1.0 0.069 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.069 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0 0.069 * [backup-simplify]: Simplify 0 into 0 0.070 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.070 * [backup-simplify]: Simplify (- 0) into 0 0.070 * [backup-simplify]: Simplify (+ 1 0) into 1 0.070 * [backup-simplify]: Simplify 1 into 1 0.071 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.071 * [backup-simplify]: Simplify (- 0) into 0 0.072 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 0.072 * [backup-simplify]: Simplify 1/2 into 1/2 0.073 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.073 * [backup-simplify]: Simplify (- 0) into 0 0.073 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 0.073 * [backup-simplify]: Simplify 1/6 into 1/6 0.074 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 0.074 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0) 0.074 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0 0.074 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.074 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.074 * [taylor]: Taking taylor expansion of x in x 0.074 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify 1 into 1 0.074 * [backup-simplify]: Simplify (/ 1 1) into 1 0.074 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.074 * [taylor]: Taking taylor expansion of 1.0 in x 0.074 * [backup-simplify]: Simplify 1.0 into 1.0 0.074 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.074 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.074 * [taylor]: Taking taylor expansion of x in x 0.074 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify 1 into 1 0.075 * [backup-simplify]: Simplify (/ 1 1) into 1 0.075 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.075 * [taylor]: Taking taylor expansion of 1.0 in x 0.075 * [backup-simplify]: Simplify 1.0 into 1.0 0.075 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.075 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0) 0.075 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0) 0.076 * [backup-simplify]: Simplify (- 0) into 0 0.076 * [backup-simplify]: Simplify (+ 0 0) into 0 0.076 * [backup-simplify]: Simplify 0 into 0 0.076 * [backup-simplify]: Simplify (- 0) into 0 0.076 * [backup-simplify]: Simplify (+ 0 0) into 0 0.076 * [backup-simplify]: Simplify 0 into 0 0.077 * [backup-simplify]: Simplify (- 0) into 0 0.077 * [backup-simplify]: Simplify (+ 0 0) into 0 0.077 * [backup-simplify]: Simplify 0 into 0 0.077 * [backup-simplify]: Simplify (- 0) into 0 0.077 * [backup-simplify]: Simplify (+ 0 0) into 0 0.077 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify (- 0) into 0 0.078 * [backup-simplify]: Simplify (+ 0 0) into 0 0.078 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify (- 0) into 0 0.078 * [backup-simplify]: Simplify (+ 0 0) into 0 0.078 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1.0) into (- (exp x) 1.0) 0.078 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) 1.0) into (- (exp (/ -1 x)) 1.0) 0.079 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0 0.079 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.079 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.079 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.079 * [taylor]: Taking taylor expansion of -1 in x 0.079 * [backup-simplify]: Simplify -1 into -1 0.079 * [taylor]: Taking taylor expansion of x in x 0.079 * [backup-simplify]: Simplify 0 into 0 0.079 * [backup-simplify]: Simplify 1 into 1 0.079 * [backup-simplify]: Simplify (/ -1 1) into -1 0.079 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.079 * [taylor]: Taking taylor expansion of 1.0 in x 0.079 * [backup-simplify]: Simplify 1.0 into 1.0 0.079 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.079 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.079 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.079 * [taylor]: Taking taylor expansion of -1 in x 0.079 * [backup-simplify]: Simplify -1 into -1 0.079 * [taylor]: Taking taylor expansion of x in x 0.079 * [backup-simplify]: Simplify 0 into 0 0.079 * [backup-simplify]: Simplify 1 into 1 0.079 * [backup-simplify]: Simplify (/ -1 1) into -1 0.079 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.079 * [taylor]: Taking taylor expansion of 1.0 in x 0.079 * [backup-simplify]: Simplify 1.0 into 1.0 0.080 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.080 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- 1.0)) into (- (exp (/ -1 x)) 1.0) 0.080 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1.0) into (- (exp (/ -1 x)) 1.0) 0.080 * [backup-simplify]: Simplify (- 0) into 0 0.081 * [backup-simplify]: Simplify (+ 0 0) into 0 0.081 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify (- 0) into 0 0.081 * [backup-simplify]: Simplify (+ 0 0) into 0 0.081 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify (- 0) into 0 0.082 * [backup-simplify]: Simplify (+ 0 0) into 0 0.082 * [backup-simplify]: Simplify 0 into 0 0.082 * [backup-simplify]: Simplify (- 0) into 0 0.082 * [backup-simplify]: Simplify (+ 0 0) into 0 0.082 * [backup-simplify]: Simplify 0 into 0 0.082 * [backup-simplify]: Simplify (- 0) into 0 0.082 * [backup-simplify]: Simplify (+ 0 0) into 0 0.083 * [backup-simplify]: Simplify 0 into 0 0.083 * [backup-simplify]: Simplify (- 0) into 0 0.083 * [backup-simplify]: Simplify (+ 0 0) into 0 0.083 * [backup-simplify]: Simplify 0 into 0 0.083 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1.0) into (- (exp x) 1.0) 0.083 * * * [progress]: simplifying candidates 0.084 * [simplify]: Simplifying: (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma 1 (exp x) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma 1 (exp x) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma 1 (exp x) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (expm1 (- (exp x) 1.0)) (log1p (- (exp x) 1.0)) (- 1.0) (- 1.0) (- 1.0) (/ (exp (exp x)) (exp 1.0)) (log (- (exp x) 1.0)) (exp (- (exp x) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (cbrt (- (exp x) 1.0)) (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (- (pow (exp x) 3) (pow 1.0 3)) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))) (- 1.0) (- (* (exp x) (exp x)) (* 1.0 1.0)) (+ (exp x) 1.0) (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (exp x) 1.0) (- 1.0) (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) (- (exp x) 1.0) (- (exp x) 1.0) 0.084 * * [simplify]: iteration 0: 66 enodes 0.107 * * [simplify]: iteration 1: 149 enodes 0.164 * * [simplify]: iteration 2: 428 enodes 0.476 * * [simplify]: iteration 3: 2110 enodes 1.566 * * [simplify]: iteration complete: 5000 enodes 1.566 * * [simplify]: Extracting #0: cost 18 inf + 0 1.574 * * [simplify]: Extracting #1: cost 411 inf + 1 1.578 * * [simplify]: Extracting #2: cost 922 inf + 430 1.582 * * [simplify]: Extracting #3: cost 454 inf + 2790 1.587 * * [simplify]: Extracting #4: cost 179 inf + 4719 1.592 * * [simplify]: Extracting #5: cost 26 inf + 5513 1.598 * * [simplify]: Extracting #6: cost 0 inf + 5652 1.606 * [simplify]: Simplified to: (- (exp x) 1.0) 0 (- (exp x) 1.0) 0 (- (exp x) 1.0) 0 (- (exp x) 1.0) 0 (- (exp x) 1.0) 0 (- (exp x) 1.0) 0 (- (exp x) 1.0) 0 (- (exp x) 1.0) 0 (- (exp x) 1.0) 0 (expm1 (- (exp x) 1.0)) (log1p (- (exp x) 1.0)) (- 1.0) (- 1.0) (- 1.0) (exp (- (exp x) 1.0)) (log (- (exp x) 1.0)) (exp (- (exp x) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (cbrt (- (exp x) 1.0)) (pow (- (exp x) 1.0) 3) (sqrt (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (- (pow (exp x) 3) (pow 1.0 3)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)) (- 1.0) (fma (- 1.0) 1.0 (exp (+ x x))) (+ 1.0 (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (exp x) 1.0) (- 1.0) (fma (* x x) (fma 1/6 x 1/2) x) (- (exp x) 1.0) (- (exp x) 1.0) 1.607 * * * [progress]: adding candidates to table 1.706 * * [progress]: iteration 2 / 4 1.706 * * * [progress]: picking best candidate 1.726 * * * * [pick]: Picked # 1.726 * * * [progress]: localizing error 1.744 * * * [progress]: generating rewritten candidates 1.744 * * * [progress]: generating series expansions 1.744 * * * [progress]: simplifying candidates 1.744 * [simplify]: Simplifying: 1.744 * * [simplify]: iteration 0: 0 enodes 1.744 * * [simplify]: iteration complete: 0 enodes 1.744 * * [simplify]: Extracting #0: cost 0 inf + 0 1.744 * [simplify]: Simplified to: 1.744 * * * [progress]: adding candidates to table 1.745 * * [progress]: iteration 3 / 4 1.745 * * * [progress]: picking best candidate 1.754 * * * * [pick]: Picked # 1.754 * * * [progress]: localizing error 1.769 * * * [progress]: generating rewritten candidates 1.769 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1.770 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 1.780 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 1.786 * * * [progress]: generating series expansions 1.786 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1.787 * [backup-simplify]: Simplify (fma (- 1.0) 1.0 (exp (+ x x))) into (fma (- 1.0) 1.0 (exp (* 2 x))) 1.787 * [approximate]: Taking taylor expansion of (fma (- 1.0) 1.0 (exp (* 2 x))) in (x) around 0 1.787 * [taylor]: Taking taylor expansion of (fma (- 1.0) 1.0 (exp (* 2 x))) in x 1.787 * [taylor]: Rewrote expression to (+ (* (- 1.0) 1.0) (exp (* 2 x))) 1.787 * [taylor]: Taking taylor expansion of (* (- 1.0) 1.0) in x 1.787 * [taylor]: Taking taylor expansion of (- 1.0) in x 1.787 * [taylor]: Taking taylor expansion of 1.0 in x 1.787 * [backup-simplify]: Simplify 1.0 into 1.0 1.787 * [taylor]: Taking taylor expansion of 1.0 in x 1.787 * [backup-simplify]: Simplify 1.0 into 1.0 1.787 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.787 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.787 * [taylor]: Taking taylor expansion of 2 in x 1.787 * [backup-simplify]: Simplify 2 into 2 1.787 * [taylor]: Taking taylor expansion of x in x 1.787 * [backup-simplify]: Simplify 0 into 0 1.787 * [backup-simplify]: Simplify 1 into 1 1.788 * [backup-simplify]: Simplify (* 2 0) into 0 1.788 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 1.788 * [backup-simplify]: Simplify (exp 0) into 1 1.788 * [taylor]: Taking taylor expansion of (fma (- 1.0) 1.0 (exp (* 2 x))) in x 1.788 * [taylor]: Rewrote expression to (+ (* (- 1.0) 1.0) (exp (* 2 x))) 1.788 * [taylor]: Taking taylor expansion of (* (- 1.0) 1.0) in x 1.788 * [taylor]: Taking taylor expansion of (- 1.0) in x 1.788 * [taylor]: Taking taylor expansion of 1.0 in x 1.788 * [backup-simplify]: Simplify 1.0 into 1.0 1.788 * [taylor]: Taking taylor expansion of 1.0 in x 1.788 * [backup-simplify]: Simplify 1.0 into 1.0 1.788 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.788 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.788 * [taylor]: Taking taylor expansion of 2 in x 1.788 * [backup-simplify]: Simplify 2 into 2 1.788 * [taylor]: Taking taylor expansion of x in x 1.788 * [backup-simplify]: Simplify 0 into 0 1.788 * [backup-simplify]: Simplify 1 into 1 1.789 * [backup-simplify]: Simplify (* 2 0) into 0 1.789 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 1.789 * [backup-simplify]: Simplify (exp 0) into 1 1.789 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.790 * [backup-simplify]: Simplify (* (- 1.0) 1.0) into -1.0 1.790 * [backup-simplify]: Simplify (+ -1.0 1) into 0 1.790 * [backup-simplify]: Simplify 0 into 0 1.790 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.791 * [backup-simplify]: Simplify (- 0) into 0 1.791 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (* 0 1.0)) into 0 1.792 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 1) 1)))) into 2 1.792 * [backup-simplify]: Simplify (+ 0 2) into 2 1.792 * [backup-simplify]: Simplify 2 into 2 1.792 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.792 * [backup-simplify]: Simplify (- 0) into 0 1.793 * [backup-simplify]: Simplify (- 0) into 0 1.793 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (* 0 1.0))) into 0 1.794 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 1.795 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 2) 2)) (* (/ (pow 0 1) 1)))) into 2 1.795 * [backup-simplify]: Simplify (+ 0 2) into 2 1.795 * [backup-simplify]: Simplify 2 into 2 1.795 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.796 * [backup-simplify]: Simplify (- 0) into 0 1.796 * [backup-simplify]: Simplify (- 0) into 0 1.796 * [backup-simplify]: Simplify (- 0) into 0 1.797 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0 1.797 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.799 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 3) 6)) (* (/ (pow 2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 4/3 1.799 * [backup-simplify]: Simplify (+ 0 4/3) into 4/3 1.799 * [backup-simplify]: Simplify 4/3 into 4/3 1.799 * [backup-simplify]: Simplify (+ (* 4/3 (pow x 3)) (+ (* 2 (pow x 2)) (* 2 x))) into (+ (* 2 x) (+ (* 4/3 (pow x 3)) (* 2 (pow x 2)))) 1.800 * [backup-simplify]: Simplify (fma (- 1.0) 1.0 (exp (+ (/ 1 x) (/ 1 x)))) into (fma (- 1.0) 1.0 (exp (* 2 (/ 1 x)))) 1.800 * [approximate]: Taking taylor expansion of (fma (- 1.0) 1.0 (exp (* 2 (/ 1 x)))) in (x) around 0 1.800 * [taylor]: Taking taylor expansion of (fma (- 1.0) 1.0 (exp (* 2 (/ 1 x)))) in x 1.800 * [taylor]: Rewrote expression to (+ (* (- 1.0) 1.0) (exp (* 2 (/ 1 x)))) 1.800 * [taylor]: Taking taylor expansion of (* (- 1.0) 1.0) in x 1.800 * [taylor]: Taking taylor expansion of (- 1.0) in x 1.800 * [taylor]: Taking taylor expansion of 1.0 in x 1.800 * [backup-simplify]: Simplify 1.0 into 1.0 1.800 * [taylor]: Taking taylor expansion of 1.0 in x 1.800 * [backup-simplify]: Simplify 1.0 into 1.0 1.800 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 1.800 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.800 * [taylor]: Taking taylor expansion of 2 in x 1.800 * [backup-simplify]: Simplify 2 into 2 1.800 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.800 * [taylor]: Taking taylor expansion of x in x 1.800 * [backup-simplify]: Simplify 0 into 0 1.800 * [backup-simplify]: Simplify 1 into 1 1.800 * [backup-simplify]: Simplify (/ 1 1) into 1 1.801 * [backup-simplify]: Simplify (* 2 1) into 2 1.801 * [backup-simplify]: Simplify (exp (* 2 (/ 1 x))) into (exp (/ 2 x)) 1.801 * [taylor]: Taking taylor expansion of (fma (- 1.0) 1.0 (exp (* 2 (/ 1 x)))) in x 1.801 * [taylor]: Rewrote expression to (+ (* (- 1.0) 1.0) (exp (* 2 (/ 1 x)))) 1.801 * [taylor]: Taking taylor expansion of (* (- 1.0) 1.0) in x 1.801 * [taylor]: Taking taylor expansion of (- 1.0) in x 1.801 * [taylor]: Taking taylor expansion of 1.0 in x 1.801 * [backup-simplify]: Simplify 1.0 into 1.0 1.801 * [taylor]: Taking taylor expansion of 1.0 in x 1.801 * [backup-simplify]: Simplify 1.0 into 1.0 1.801 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 1.801 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.801 * [taylor]: Taking taylor expansion of 2 in x 1.801 * [backup-simplify]: Simplify 2 into 2 1.801 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.801 * [taylor]: Taking taylor expansion of x in x 1.801 * [backup-simplify]: Simplify 0 into 0 1.801 * [backup-simplify]: Simplify 1 into 1 1.801 * [backup-simplify]: Simplify (/ 1 1) into 1 1.801 * [backup-simplify]: Simplify (* 2 1) into 2 1.802 * [backup-simplify]: Simplify (exp (* 2 (/ 1 x))) into (exp (/ 2 x)) 1.802 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.802 * [backup-simplify]: Simplify (* (- 1.0) 1.0) into -1.0 1.802 * [backup-simplify]: Simplify (+ -1.0 (exp (/ 2 x))) into (- (exp (/ 2 x)) 1.0) 1.802 * [backup-simplify]: Simplify (- (exp (/ 2 x)) 1.0) into (- (exp (/ 2 x)) 1.0) 1.803 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.803 * [backup-simplify]: Simplify (- 0) into 0 1.803 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (* 0 1.0)) into 0 1.804 * [backup-simplify]: Simplify (+ 0 0) into 0 1.804 * [backup-simplify]: Simplify 0 into 0 1.804 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.804 * [backup-simplify]: Simplify (- 0) into 0 1.804 * [backup-simplify]: Simplify (- 0) into 0 1.805 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (* 0 1.0))) into 0 1.805 * [backup-simplify]: Simplify (+ 0 0) into 0 1.805 * [backup-simplify]: Simplify 0 into 0 1.805 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.806 * [backup-simplify]: Simplify (- 0) into 0 1.806 * [backup-simplify]: Simplify (- 0) into 0 1.806 * [backup-simplify]: Simplify (- 0) into 0 1.807 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0 1.807 * [backup-simplify]: Simplify (+ 0 0) into 0 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.807 * [backup-simplify]: Simplify (- 0) into 0 1.808 * [backup-simplify]: Simplify (- 0) into 0 1.808 * [backup-simplify]: Simplify (- 0) into 0 1.808 * [backup-simplify]: Simplify (- 0) into 0 1.809 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0 1.809 * [backup-simplify]: Simplify (+ 0 0) into 0 1.809 * [backup-simplify]: Simplify 0 into 0 1.809 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.810 * [backup-simplify]: Simplify (- 0) into 0 1.810 * [backup-simplify]: Simplify (- 0) into 0 1.810 * [backup-simplify]: Simplify (- 0) into 0 1.810 * [backup-simplify]: Simplify (- 0) into 0 1.810 * [backup-simplify]: Simplify (- 0) into 0 1.811 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0 1.811 * [backup-simplify]: Simplify (+ 0 0) into 0 1.811 * [backup-simplify]: Simplify 0 into 0 1.817 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.818 * [backup-simplify]: Simplify (- 0) into 0 1.819 * [backup-simplify]: Simplify (- 0) into 0 1.819 * [backup-simplify]: Simplify (- 0) into 0 1.819 * [backup-simplify]: Simplify (- 0) into 0 1.820 * [backup-simplify]: Simplify (- 0) into 0 1.820 * [backup-simplify]: Simplify (- 0) into 0 1.822 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))) into 0 1.822 * [backup-simplify]: Simplify (+ 0 0) into 0 1.822 * [backup-simplify]: Simplify 0 into 0 1.822 * [backup-simplify]: Simplify (- (exp (/ 2 (/ 1 x))) 1.0) into (- (exp (* 2 x)) 1.0) 1.823 * [backup-simplify]: Simplify (fma (- 1.0) 1.0 (exp (+ (/ 1 (- x)) (/ 1 (- x))))) into (fma (- 1.0) 1.0 (exp (- (* 2 (/ 1 x))))) 1.823 * [approximate]: Taking taylor expansion of (fma (- 1.0) 1.0 (exp (- (* 2 (/ 1 x))))) in (x) around 0 1.823 * [taylor]: Taking taylor expansion of (fma (- 1.0) 1.0 (exp (- (* 2 (/ 1 x))))) in x 1.823 * [taylor]: Rewrote expression to (+ (* (- 1.0) 1.0) (exp (- (* 2 (/ 1 x))))) 1.823 * [taylor]: Taking taylor expansion of (* (- 1.0) 1.0) in x 1.823 * [taylor]: Taking taylor expansion of (- 1.0) in x 1.823 * [taylor]: Taking taylor expansion of 1.0 in x 1.823 * [backup-simplify]: Simplify 1.0 into 1.0 1.823 * [taylor]: Taking taylor expansion of 1.0 in x 1.823 * [backup-simplify]: Simplify 1.0 into 1.0 1.823 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 1.823 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 1.823 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.824 * [taylor]: Taking taylor expansion of 2 in x 1.824 * [backup-simplify]: Simplify 2 into 2 1.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.824 * [taylor]: Taking taylor expansion of x in x 1.824 * [backup-simplify]: Simplify 0 into 0 1.824 * [backup-simplify]: Simplify 1 into 1 1.824 * [backup-simplify]: Simplify (/ 1 1) into 1 1.824 * [backup-simplify]: Simplify (* 2 1) into 2 1.825 * [backup-simplify]: Simplify (- 2) into -2 1.825 * [backup-simplify]: Simplify (exp (- (* 2 (/ 1 x)))) into (exp (- (* 2 (/ 1 x)))) 1.825 * [taylor]: Taking taylor expansion of (fma (- 1.0) 1.0 (exp (- (* 2 (/ 1 x))))) in x 1.825 * [taylor]: Rewrote expression to (+ (* (- 1.0) 1.0) (exp (- (* 2 (/ 1 x))))) 1.825 * [taylor]: Taking taylor expansion of (* (- 1.0) 1.0) in x 1.825 * [taylor]: Taking taylor expansion of (- 1.0) in x 1.825 * [taylor]: Taking taylor expansion of 1.0 in x 1.825 * [backup-simplify]: Simplify 1.0 into 1.0 1.825 * [taylor]: Taking taylor expansion of 1.0 in x 1.825 * [backup-simplify]: Simplify 1.0 into 1.0 1.825 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 1.825 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 1.825 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.825 * [taylor]: Taking taylor expansion of 2 in x 1.825 * [backup-simplify]: Simplify 2 into 2 1.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.826 * [taylor]: Taking taylor expansion of x in x 1.826 * [backup-simplify]: Simplify 0 into 0 1.826 * [backup-simplify]: Simplify 1 into 1 1.826 * [backup-simplify]: Simplify (/ 1 1) into 1 1.827 * [backup-simplify]: Simplify (* 2 1) into 2 1.827 * [backup-simplify]: Simplify (- 2) into -2 1.827 * [backup-simplify]: Simplify (exp (- (* 2 (/ 1 x)))) into (exp (- (* 2 (/ 1 x)))) 1.827 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.828 * [backup-simplify]: Simplify (* (- 1.0) 1.0) into -1.0 1.828 * [backup-simplify]: Simplify (+ -1.0 (exp (- (* 2 (/ 1 x))))) into (- (exp (- (* 2 (/ 1 x)))) 1.0) 1.828 * [backup-simplify]: Simplify (- (exp (- (* 2 (/ 1 x)))) 1.0) into (- (exp (- (* 2 (/ 1 x)))) 1.0) 1.828 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.828 * [backup-simplify]: Simplify (- 0) into 0 1.829 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (* 0 1.0)) into 0 1.829 * [backup-simplify]: Simplify (+ 0 0) into 0 1.829 * [backup-simplify]: Simplify 0 into 0 1.829 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.830 * [backup-simplify]: Simplify (- 0) into 0 1.830 * [backup-simplify]: Simplify (- 0) into 0 1.830 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (* 0 1.0))) into 0 1.831 * [backup-simplify]: Simplify (+ 0 0) into 0 1.831 * [backup-simplify]: Simplify 0 into 0 1.831 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.831 * [backup-simplify]: Simplify (- 0) into 0 1.831 * [backup-simplify]: Simplify (- 0) into 0 1.831 * [backup-simplify]: Simplify (- 0) into 0 1.832 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0 1.832 * [backup-simplify]: Simplify (+ 0 0) into 0 1.832 * [backup-simplify]: Simplify 0 into 0 1.833 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.833 * [backup-simplify]: Simplify (- 0) into 0 1.833 * [backup-simplify]: Simplify (- 0) into 0 1.833 * [backup-simplify]: Simplify (- 0) into 0 1.833 * [backup-simplify]: Simplify (- 0) into 0 1.834 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0 1.834 * [backup-simplify]: Simplify (+ 0 0) into 0 1.834 * [backup-simplify]: Simplify 0 into 0 1.835 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.835 * [backup-simplify]: Simplify (- 0) into 0 1.835 * [backup-simplify]: Simplify (- 0) into 0 1.835 * [backup-simplify]: Simplify (- 0) into 0 1.836 * [backup-simplify]: Simplify (- 0) into 0 1.836 * [backup-simplify]: Simplify (- 0) into 0 1.837 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0 1.837 * [backup-simplify]: Simplify (+ 0 0) into 0 1.837 * [backup-simplify]: Simplify 0 into 0 1.837 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.837 * [backup-simplify]: Simplify (- 0) into 0 1.838 * [backup-simplify]: Simplify (- 0) into 0 1.838 * [backup-simplify]: Simplify (- 0) into 0 1.838 * [backup-simplify]: Simplify (- 0) into 0 1.838 * [backup-simplify]: Simplify (- 0) into 0 1.838 * [backup-simplify]: Simplify (- 0) into 0 1.839 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))) into 0 1.839 * [backup-simplify]: Simplify (+ 0 0) into 0 1.840 * [backup-simplify]: Simplify 0 into 0 1.840 * [backup-simplify]: Simplify (- (exp (- (* 2 (/ 1 (/ 1 (- x)))))) 1.0) into (- (exp (* 2 x)) 1.0) 1.840 * * * * [progress]: [ 2 / 3 ] generating series at (2) 1.840 * [backup-simplify]: Simplify (/ (fma (- 1.0) 1.0 (exp (+ x x))) (+ 1.0 (exp x))) into (/ (fma (- 1.0) 1.0 (exp (* 2 x))) (+ (exp x) 1.0)) 1.840 * [approximate]: Taking taylor expansion of (/ (fma (- 1.0) 1.0 (exp (* 2 x))) (+ (exp x) 1.0)) in (x) around 0 1.840 * [taylor]: Taking taylor expansion of (/ (fma (- 1.0) 1.0 (exp (* 2 x))) (+ (exp x) 1.0)) in x 1.840 * [taylor]: Taking taylor expansion of (fma (- 1.0) 1.0 (exp (* 2 x))) in x 1.840 * [taylor]: Rewrote expression to (+ (* (- 1.0) 1.0) (exp (* 2 x))) 1.840 * [taylor]: Taking taylor expansion of (* (- 1.0) 1.0) in x 1.840 * [taylor]: Taking taylor expansion of (- 1.0) in x 1.840 * [taylor]: Taking taylor expansion of 1.0 in x 1.840 * [backup-simplify]: Simplify 1.0 into 1.0 1.840 * [taylor]: Taking taylor expansion of 1.0 in x 1.840 * [backup-simplify]: Simplify 1.0 into 1.0 1.840 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.840 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.840 * [taylor]: Taking taylor expansion of 2 in x 1.840 * [backup-simplify]: Simplify 2 into 2 1.840 * [taylor]: Taking taylor expansion of x in x 1.840 * [backup-simplify]: Simplify 0 into 0 1.841 * [backup-simplify]: Simplify 1 into 1 1.841 * [backup-simplify]: Simplify (* 2 0) into 0 1.841 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 1.841 * [backup-simplify]: Simplify (exp 0) into 1 1.841 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 1.841 * [taylor]: Taking taylor expansion of (exp x) in x 1.841 * [taylor]: Taking taylor expansion of x in x 1.841 * [backup-simplify]: Simplify 0 into 0 1.841 * [backup-simplify]: Simplify 1 into 1 1.841 * [backup-simplify]: Simplify (exp 0) into 1 1.841 * [taylor]: Taking taylor expansion of 1.0 in x 1.841 * [backup-simplify]: Simplify 1.0 into 1.0 1.842 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.842 * [backup-simplify]: Simplify (* (- 1.0) 1.0) into -1.0 1.842 * [backup-simplify]: Simplify (+ -1.0 1) into 0 1.843 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.843 * [backup-simplify]: Simplify (- 0) into 0 1.843 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (* 0 1.0)) into 0 1.844 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 1) 1)))) into 2 1.844 * [backup-simplify]: Simplify (+ 0 2) into 2 1.844 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0 1.845 * [backup-simplify]: Simplify (/ 2 2.0) into 1.0 1.845 * [taylor]: Taking taylor expansion of (/ (fma (- 1.0) 1.0 (exp (* 2 x))) (+ (exp x) 1.0)) in x 1.845 * [taylor]: Taking taylor expansion of (fma (- 1.0) 1.0 (exp (* 2 x))) in x 1.845 * [taylor]: Rewrote expression to (+ (* (- 1.0) 1.0) (exp (* 2 x))) 1.845 * [taylor]: Taking taylor expansion of (* (- 1.0) 1.0) in x 1.845 * [taylor]: Taking taylor expansion of (- 1.0) in x 1.845 * [taylor]: Taking taylor expansion of 1.0 in x 1.845 * [backup-simplify]: Simplify 1.0 into 1.0 1.845 * [taylor]: Taking taylor expansion of 1.0 in x 1.845 * [backup-simplify]: Simplify 1.0 into 1.0 1.845 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.845 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.845 * [taylor]: Taking taylor expansion of 2 in x 1.845 * [backup-simplify]: Simplify 2 into 2 1.845 * [taylor]: Taking taylor expansion of x in x 1.845 * [backup-simplify]: Simplify 0 into 0 1.845 * [backup-simplify]: Simplify 1 into 1 1.845 * [backup-simplify]: Simplify (* 2 0) into 0 1.846 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 1.846 * [backup-simplify]: Simplify (exp 0) into 1 1.846 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 1.846 * [taylor]: Taking taylor expansion of (exp x) in x 1.846 * [taylor]: Taking taylor expansion of x in x 1.846 * [backup-simplify]: Simplify 0 into 0 1.846 * [backup-simplify]: Simplify 1 into 1 1.846 * [backup-simplify]: Simplify (exp 0) into 1 1.846 * [taylor]: Taking taylor expansion of 1.0 in x 1.846 * [backup-simplify]: Simplify 1.0 into 1.0 1.846 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.847 * [backup-simplify]: Simplify (* (- 1.0) 1.0) into -1.0 1.847 * [backup-simplify]: Simplify (+ -1.0 1) into 0 1.847 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.847 * [backup-simplify]: Simplify (- 0) into 0 1.848 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (* 0 1.0)) into 0 1.848 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 1) 1)))) into 2 1.849 * [backup-simplify]: Simplify (+ 0 2) into 2 1.849 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0 1.849 * [backup-simplify]: Simplify (/ 2 2.0) into 1.0 1.849 * [backup-simplify]: Simplify 1.0 into 1.0 1.849 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.850 * [backup-simplify]: Simplify (- 0) into 0 1.850 * [backup-simplify]: Simplify (- 0) into 0 1.851 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (* 0 1.0))) into 0 1.851 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 1.852 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 2) 2)) (* (/ (pow 0 1) 1)))) into 2 1.852 * [backup-simplify]: Simplify (+ 0 2) into 2 1.853 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.853 * [backup-simplify]: Simplify (+ 1 0) into 1 1.855 * [backup-simplify]: Simplify (- (/ 2 2.0) (+ (* 1.0 (/ 1 2.0)))) into 0.5 1.855 * [backup-simplify]: Simplify 0.5 into 0.5 1.855 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.856 * [backup-simplify]: Simplify (- 0) into 0 1.856 * [backup-simplify]: Simplify (- 0) into 0 1.856 * [backup-simplify]: Simplify (- 0) into 0 1.857 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0 1.858 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.860 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 3) 6)) (* (/ (pow 2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 4/3 1.860 * [backup-simplify]: Simplify (+ 0 4/3) into 4/3 1.862 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.862 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1.868 * [backup-simplify]: Simplify (- (/ 4/3 2.0) (+ (* 1.0 (/ 1/2 2.0)) (* 0.5 (/ 1 2.0)))) into 0.16666666666666663 1.868 * [backup-simplify]: Simplify 0.16666666666666663 into 0.16666666666666663 1.868 * [backup-simplify]: Simplify (+ (* 0.16666666666666663 (pow x 3)) (+ (* 0.5 (pow x 2)) (* 1.0 x))) into (+ (* 1.0 x) (+ (* 0.16666666666666663 (pow x 3)) (* 0.5 (pow x 2)))) 1.869 * [backup-simplify]: Simplify (/ (fma (- 1.0) 1.0 (exp (+ (/ 1 x) (/ 1 x)))) (+ 1.0 (exp (/ 1 x)))) into (/ (fma (- 1.0) 1.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 1.0)) 1.869 * [approximate]: Taking taylor expansion of (/ (fma (- 1.0) 1.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 1.0)) in (x) around 0 1.869 * [taylor]: Taking taylor expansion of (/ (fma (- 1.0) 1.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 1.0)) in x 1.869 * [taylor]: Taking taylor expansion of (fma (- 1.0) 1.0 (exp (* 2 (/ 1 x)))) in x 1.869 * [taylor]: Rewrote expression to (+ (* (- 1.0) 1.0) (exp (* 2 (/ 1 x)))) 1.869 * [taylor]: Taking taylor expansion of (* (- 1.0) 1.0) in x 1.869 * [taylor]: Taking taylor expansion of (- 1.0) in x 1.869 * [taylor]: Taking taylor expansion of 1.0 in x 1.869 * [backup-simplify]: Simplify 1.0 into 1.0 1.869 * [taylor]: Taking taylor expansion of 1.0 in x 1.870 * [backup-simplify]: Simplify 1.0 into 1.0 1.870 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 1.870 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.870 * [taylor]: Taking taylor expansion of 2 in x 1.870 * [backup-simplify]: Simplify 2 into 2 1.870 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.870 * [taylor]: Taking taylor expansion of x in x 1.870 * [backup-simplify]: Simplify 0 into 0 1.870 * [backup-simplify]: Simplify 1 into 1 1.870 * [backup-simplify]: Simplify (/ 1 1) into 1 1.871 * [backup-simplify]: Simplify (* 2 1) into 2 1.871 * [backup-simplify]: Simplify (exp (* 2 (/ 1 x))) into (exp (/ 2 x)) 1.871 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 1.871 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.871 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.871 * [taylor]: Taking taylor expansion of x in x 1.871 * [backup-simplify]: Simplify 0 into 0 1.871 * [backup-simplify]: Simplify 1 into 1 1.872 * [backup-simplify]: Simplify (/ 1 1) into 1 1.872 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.872 * [taylor]: Taking taylor expansion of 1.0 in x 1.872 * [backup-simplify]: Simplify 1.0 into 1.0 1.872 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.873 * [backup-simplify]: Simplify (* (- 1.0) 1.0) into -1.0 1.873 * [backup-simplify]: Simplify (+ -1.0 (exp (/ 2 x))) into (- (exp (/ 2 x)) 1.0) 1.873 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1.0) into (+ (exp (/ 1 x)) 1.0) 1.874 * [backup-simplify]: Simplify (/ (- (exp (/ 2 x)) 1.0) (+ (exp (/ 1 x)) 1.0)) into (/ (- (exp (/ 2 x)) 1.0) (+ (exp (/ 1 x)) 1.0)) 1.874 * [taylor]: Taking taylor expansion of (/ (fma (- 1.0) 1.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 1.0)) in x 1.874 * [taylor]: Taking taylor expansion of (fma (- 1.0) 1.0 (exp (* 2 (/ 1 x)))) in x 1.874 * [taylor]: Rewrote expression to (+ (* (- 1.0) 1.0) (exp (* 2 (/ 1 x)))) 1.874 * [taylor]: Taking taylor expansion of (* (- 1.0) 1.0) in x 1.874 * [taylor]: Taking taylor expansion of (- 1.0) in x 1.874 * [taylor]: Taking taylor expansion of 1.0 in x 1.874 * [backup-simplify]: Simplify 1.0 into 1.0 1.874 * [taylor]: Taking taylor expansion of 1.0 in x 1.874 * [backup-simplify]: Simplify 1.0 into 1.0 1.874 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 1.874 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.874 * [taylor]: Taking taylor expansion of 2 in x 1.874 * [backup-simplify]: Simplify 2 into 2 1.874 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.874 * [taylor]: Taking taylor expansion of x in x 1.874 * [backup-simplify]: Simplify 0 into 0 1.874 * [backup-simplify]: Simplify 1 into 1 1.875 * [backup-simplify]: Simplify (/ 1 1) into 1 1.875 * [backup-simplify]: Simplify (* 2 1) into 2 1.875 * [backup-simplify]: Simplify (exp (* 2 (/ 1 x))) into (exp (/ 2 x)) 1.875 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 1.875 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.875 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.875 * [taylor]: Taking taylor expansion of x in x 1.875 * [backup-simplify]: Simplify 0 into 0 1.875 * [backup-simplify]: Simplify 1 into 1 1.876 * [backup-simplify]: Simplify (/ 1 1) into 1 1.876 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.876 * [taylor]: Taking taylor expansion of 1.0 in x 1.876 * [backup-simplify]: Simplify 1.0 into 1.0 1.877 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.877 * [backup-simplify]: Simplify (* (- 1.0) 1.0) into -1.0 1.878 * [backup-simplify]: Simplify (+ -1.0 (exp (/ 2 x))) into (- (exp (/ 2 x)) 1.0) 1.878 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1.0) into (+ (exp (/ 1 x)) 1.0) 1.878 * [backup-simplify]: Simplify (/ (- (exp (/ 2 x)) 1.0) (+ (exp (/ 1 x)) 1.0)) into (/ (- (exp (/ 2 x)) 1.0) (+ (exp (/ 1 x)) 1.0)) 1.878 * [backup-simplify]: Simplify (/ (- (exp (/ 2 x)) 1.0) (+ (exp (/ 1 x)) 1.0)) into (/ (- (exp (/ 2 x)) 1.0) (+ (exp (/ 1 x)) 1.0)) 1.879 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.879 * [backup-simplify]: Simplify (- 0) into 0 1.880 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (* 0 1.0)) into 0 1.880 * [backup-simplify]: Simplify (+ 0 0) into 0 1.881 * [backup-simplify]: Simplify (+ 0 0) into 0 1.881 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) 1.0)) (+ (* (/ (- (exp (/ 2 x)) 1.0) (+ (exp (/ 1 x)) 1.0)) (/ 0 (+ (exp (/ 1 x)) 1.0))))) into 0 1.881 * [backup-simplify]: Simplify 0 into 0 1.882 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.882 * [backup-simplify]: Simplify (- 0) into 0 1.882 * [backup-simplify]: Simplify (- 0) into 0 1.883 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (* 0 1.0))) into 0 1.884 * [backup-simplify]: Simplify (+ 0 0) into 0 1.884 * [backup-simplify]: Simplify (+ 0 0) into 0 1.885 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) 1.0)) (+ (* (/ (- (exp (/ 2 x)) 1.0) (+ (exp (/ 1 x)) 1.0)) (/ 0 (+ (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ 1 x)) 1.0))))) into 0 1.885 * [backup-simplify]: Simplify 0 into 0 1.885 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.887 * [backup-simplify]: Simplify (- 0) into 0 1.888 * [backup-simplify]: Simplify (- 0) into 0 1.888 * [backup-simplify]: Simplify (- 0) into 0 1.889 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0 1.890 * [backup-simplify]: Simplify (+ 0 0) into 0 1.890 * [backup-simplify]: Simplify (+ 0 0) into 0 1.891 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) 1.0)) (+ (* (/ (- (exp (/ 2 x)) 1.0) (+ (exp (/ 1 x)) 1.0)) (/ 0 (+ (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ 1 x)) 1.0))))) into 0 1.891 * [backup-simplify]: Simplify 0 into 0 1.892 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.892 * [backup-simplify]: Simplify (- 0) into 0 1.892 * [backup-simplify]: Simplify (- 0) into 0 1.893 * [backup-simplify]: Simplify (- 0) into 0 1.893 * [backup-simplify]: Simplify (- 0) into 0 1.895 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0 1.895 * [backup-simplify]: Simplify (+ 0 0) into 0 1.895 * [backup-simplify]: Simplify (+ 0 0) into 0 1.896 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) 1.0)) (+ (* (/ (- (exp (/ 2 x)) 1.0) (+ (exp (/ 1 x)) 1.0)) (/ 0 (+ (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ 1 x)) 1.0))))) into 0 1.896 * [backup-simplify]: Simplify 0 into 0 1.897 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.897 * [backup-simplify]: Simplify (- 0) into 0 1.897 * [backup-simplify]: Simplify (- 0) into 0 1.898 * [backup-simplify]: Simplify (- 0) into 0 1.898 * [backup-simplify]: Simplify (- 0) into 0 1.899 * [backup-simplify]: Simplify (- 0) into 0 1.900 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0 1.900 * [backup-simplify]: Simplify (+ 0 0) into 0 1.901 * [backup-simplify]: Simplify (+ 0 0) into 0 1.902 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) 1.0)) (+ (* (/ (- (exp (/ 2 x)) 1.0) (+ (exp (/ 1 x)) 1.0)) (/ 0 (+ (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ 1 x)) 1.0))))) into 0 1.902 * [backup-simplify]: Simplify 0 into 0 1.902 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.903 * [backup-simplify]: Simplify (- 0) into 0 1.903 * [backup-simplify]: Simplify (- 0) into 0 1.903 * [backup-simplify]: Simplify (- 0) into 0 1.904 * [backup-simplify]: Simplify (- 0) into 0 1.904 * [backup-simplify]: Simplify (- 0) into 0 1.904 * [backup-simplify]: Simplify (- 0) into 0 1.906 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))) into 0 1.907 * [backup-simplify]: Simplify (+ 0 0) into 0 1.907 * [backup-simplify]: Simplify (+ 0 0) into 0 1.908 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) 1.0)) (+ (* (/ (- (exp (/ 2 x)) 1.0) (+ (exp (/ 1 x)) 1.0)) (/ 0 (+ (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ 1 x)) 1.0))))) into 0 1.908 * [backup-simplify]: Simplify 0 into 0 1.908 * [backup-simplify]: Simplify (/ (- (exp (/ 2 (/ 1 x))) 1.0) (+ (exp (/ 1 (/ 1 x))) 1.0)) into (/ (- (exp (* 2 x)) 1.0) (+ (exp x) 1.0)) 1.909 * [backup-simplify]: Simplify (/ (fma (- 1.0) 1.0 (exp (+ (/ 1 (- x)) (/ 1 (- x))))) (+ 1.0 (exp (/ 1 (- x))))) into (/ (fma (- 1.0) 1.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 1.0)) 1.909 * [approximate]: Taking taylor expansion of (/ (fma (- 1.0) 1.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 1.0)) in (x) around 0 1.909 * [taylor]: Taking taylor expansion of (/ (fma (- 1.0) 1.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 1.0)) in x 1.909 * [taylor]: Taking taylor expansion of (fma (- 1.0) 1.0 (exp (- (* 2 (/ 1 x))))) in x 1.909 * [taylor]: Rewrote expression to (+ (* (- 1.0) 1.0) (exp (- (* 2 (/ 1 x))))) 1.909 * [taylor]: Taking taylor expansion of (* (- 1.0) 1.0) in x 1.909 * [taylor]: Taking taylor expansion of (- 1.0) in x 1.909 * [taylor]: Taking taylor expansion of 1.0 in x 1.909 * [backup-simplify]: Simplify 1.0 into 1.0 1.910 * [taylor]: Taking taylor expansion of 1.0 in x 1.910 * [backup-simplify]: Simplify 1.0 into 1.0 1.910 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 1.910 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 1.910 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.910 * [taylor]: Taking taylor expansion of 2 in x 1.910 * [backup-simplify]: Simplify 2 into 2 1.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.910 * [taylor]: Taking taylor expansion of x in x 1.910 * [backup-simplify]: Simplify 0 into 0 1.910 * [backup-simplify]: Simplify 1 into 1 1.910 * [backup-simplify]: Simplify (/ 1 1) into 1 1.910 * [backup-simplify]: Simplify (* 2 1) into 2 1.911 * [backup-simplify]: Simplify (- 2) into -2 1.911 * [backup-simplify]: Simplify (exp (- (* 2 (/ 1 x)))) into (exp (- (* 2 (/ 1 x)))) 1.911 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 1.911 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.911 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.911 * [taylor]: Taking taylor expansion of -1 in x 1.911 * [backup-simplify]: Simplify -1 into -1 1.911 * [taylor]: Taking taylor expansion of x in x 1.911 * [backup-simplify]: Simplify 0 into 0 1.911 * [backup-simplify]: Simplify 1 into 1 1.911 * [backup-simplify]: Simplify (/ -1 1) into -1 1.911 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.911 * [taylor]: Taking taylor expansion of 1.0 in x 1.911 * [backup-simplify]: Simplify 1.0 into 1.0 1.912 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.912 * [backup-simplify]: Simplify (* (- 1.0) 1.0) into -1.0 1.912 * [backup-simplify]: Simplify (+ -1.0 (exp (- (* 2 (/ 1 x))))) into (- (exp (- (* 2 (/ 1 x)))) 1.0) 1.912 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1.0) into (+ (exp (/ -1 x)) 1.0) 1.912 * [backup-simplify]: Simplify (/ (- (exp (- (* 2 (/ 1 x)))) 1.0) (+ (exp (/ -1 x)) 1.0)) into (/ (- (exp (- (* 2 (/ 1 x)))) 1.0) (+ (exp (/ -1 x)) 1.0)) 1.912 * [taylor]: Taking taylor expansion of (/ (fma (- 1.0) 1.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 1.0)) in x 1.912 * [taylor]: Taking taylor expansion of (fma (- 1.0) 1.0 (exp (- (* 2 (/ 1 x))))) in x 1.912 * [taylor]: Rewrote expression to (+ (* (- 1.0) 1.0) (exp (- (* 2 (/ 1 x))))) 1.913 * [taylor]: Taking taylor expansion of (* (- 1.0) 1.0) in x 1.913 * [taylor]: Taking taylor expansion of (- 1.0) in x 1.913 * [taylor]: Taking taylor expansion of 1.0 in x 1.913 * [backup-simplify]: Simplify 1.0 into 1.0 1.913 * [taylor]: Taking taylor expansion of 1.0 in x 1.913 * [backup-simplify]: Simplify 1.0 into 1.0 1.913 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 1.913 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 1.913 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.913 * [taylor]: Taking taylor expansion of 2 in x 1.913 * [backup-simplify]: Simplify 2 into 2 1.913 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.913 * [taylor]: Taking taylor expansion of x in x 1.913 * [backup-simplify]: Simplify 0 into 0 1.913 * [backup-simplify]: Simplify 1 into 1 1.913 * [backup-simplify]: Simplify (/ 1 1) into 1 1.913 * [backup-simplify]: Simplify (* 2 1) into 2 1.913 * [backup-simplify]: Simplify (- 2) into -2 1.914 * [backup-simplify]: Simplify (exp (- (* 2 (/ 1 x)))) into (exp (- (* 2 (/ 1 x)))) 1.914 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 1.914 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.914 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.914 * [taylor]: Taking taylor expansion of -1 in x 1.914 * [backup-simplify]: Simplify -1 into -1 1.914 * [taylor]: Taking taylor expansion of x in x 1.914 * [backup-simplify]: Simplify 0 into 0 1.914 * [backup-simplify]: Simplify 1 into 1 1.914 * [backup-simplify]: Simplify (/ -1 1) into -1 1.914 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.914 * [taylor]: Taking taylor expansion of 1.0 in x 1.914 * [backup-simplify]: Simplify 1.0 into 1.0 1.914 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.915 * [backup-simplify]: Simplify (* (- 1.0) 1.0) into -1.0 1.915 * [backup-simplify]: Simplify (+ -1.0 (exp (- (* 2 (/ 1 x))))) into (- (exp (- (* 2 (/ 1 x)))) 1.0) 1.915 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1.0) into (+ (exp (/ -1 x)) 1.0) 1.915 * [backup-simplify]: Simplify (/ (- (exp (- (* 2 (/ 1 x)))) 1.0) (+ (exp (/ -1 x)) 1.0)) into (/ (- (exp (- (* 2 (/ 1 x)))) 1.0) (+ (exp (/ -1 x)) 1.0)) 1.915 * [backup-simplify]: Simplify (/ (- (exp (- (* 2 (/ 1 x)))) 1.0) (+ (exp (/ -1 x)) 1.0)) into (/ (- (exp (- (* 2 (/ 1 x)))) 1.0) (+ (exp (/ -1 x)) 1.0)) 1.916 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.916 * [backup-simplify]: Simplify (- 0) into 0 1.916 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (* 0 1.0)) into 0 1.916 * [backup-simplify]: Simplify (+ 0 0) into 0 1.917 * [backup-simplify]: Simplify (+ 0 0) into 0 1.917 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -1 x)) 1.0)) (+ (* (/ (- (exp (- (* 2 (/ 1 x)))) 1.0) (+ (exp (/ -1 x)) 1.0)) (/ 0 (+ (exp (/ -1 x)) 1.0))))) into 0 1.917 * [backup-simplify]: Simplify 0 into 0 1.917 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.917 * [backup-simplify]: Simplify (- 0) into 0 1.918 * [backup-simplify]: Simplify (- 0) into 0 1.918 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (* 0 1.0))) into 0 1.919 * [backup-simplify]: Simplify (+ 0 0) into 0 1.919 * [backup-simplify]: Simplify (+ 0 0) into 0 1.919 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -1 x)) 1.0)) (+ (* (/ (- (exp (- (* 2 (/ 1 x)))) 1.0) (+ (exp (/ -1 x)) 1.0)) (/ 0 (+ (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ -1 x)) 1.0))))) into 0 1.919 * [backup-simplify]: Simplify 0 into 0 1.919 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.920 * [backup-simplify]: Simplify (- 0) into 0 1.920 * [backup-simplify]: Simplify (- 0) into 0 1.920 * [backup-simplify]: Simplify (- 0) into 0 1.921 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0 1.921 * [backup-simplify]: Simplify (+ 0 0) into 0 1.921 * [backup-simplify]: Simplify (+ 0 0) into 0 1.922 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -1 x)) 1.0)) (+ (* (/ (- (exp (- (* 2 (/ 1 x)))) 1.0) (+ (exp (/ -1 x)) 1.0)) (/ 0 (+ (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ -1 x)) 1.0))))) into 0 1.922 * [backup-simplify]: Simplify 0 into 0 1.922 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.922 * [backup-simplify]: Simplify (- 0) into 0 1.922 * [backup-simplify]: Simplify (- 0) into 0 1.923 * [backup-simplify]: Simplify (- 0) into 0 1.923 * [backup-simplify]: Simplify (- 0) into 0 1.924 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0 1.924 * [backup-simplify]: Simplify (+ 0 0) into 0 1.924 * [backup-simplify]: Simplify (+ 0 0) into 0 1.925 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -1 x)) 1.0)) (+ (* (/ (- (exp (- (* 2 (/ 1 x)))) 1.0) (+ (exp (/ -1 x)) 1.0)) (/ 0 (+ (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ -1 x)) 1.0))))) into 0 1.925 * [backup-simplify]: Simplify 0 into 0 1.925 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.925 * [backup-simplify]: Simplify (- 0) into 0 1.925 * [backup-simplify]: Simplify (- 0) into 0 1.926 * [backup-simplify]: Simplify (- 0) into 0 1.926 * [backup-simplify]: Simplify (- 0) into 0 1.926 * [backup-simplify]: Simplify (- 0) into 0 1.927 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0 1.927 * [backup-simplify]: Simplify (+ 0 0) into 0 1.928 * [backup-simplify]: Simplify (+ 0 0) into 0 1.928 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -1 x)) 1.0)) (+ (* (/ (- (exp (- (* 2 (/ 1 x)))) 1.0) (+ (exp (/ -1 x)) 1.0)) (/ 0 (+ (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ -1 x)) 1.0))))) into 0 1.928 * [backup-simplify]: Simplify 0 into 0 1.928 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.929 * [backup-simplify]: Simplify (- 0) into 0 1.929 * [backup-simplify]: Simplify (- 0) into 0 1.929 * [backup-simplify]: Simplify (- 0) into 0 1.929 * [backup-simplify]: Simplify (- 0) into 0 1.930 * [backup-simplify]: Simplify (- 0) into 0 1.930 * [backup-simplify]: Simplify (- 0) into 0 1.931 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))) into 0 1.931 * [backup-simplify]: Simplify (+ 0 0) into 0 1.931 * [backup-simplify]: Simplify (+ 0 0) into 0 1.932 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -1 x)) 1.0)) (+ (* (/ (- (exp (- (* 2 (/ 1 x)))) 1.0) (+ (exp (/ -1 x)) 1.0)) (/ 0 (+ (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (+ (exp (/ -1 x)) 1.0))))) into 0 1.932 * [backup-simplify]: Simplify 0 into 0 1.932 * [backup-simplify]: Simplify (/ (- (exp (- (* 2 (/ 1 (/ 1 (- x)))))) 1.0) (+ (exp (/ -1 (/ 1 (- x)))) 1.0)) into (/ (- (exp (* 2 x)) 1.0) (+ (exp x) 1.0)) 1.932 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 1.932 * [backup-simplify]: Simplify (+ 1.0 (exp x)) into (+ (exp x) 1.0) 1.932 * [approximate]: Taking taylor expansion of (+ (exp x) 1.0) in (x) around 0 1.932 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 1.932 * [taylor]: Taking taylor expansion of (exp x) in x 1.932 * [taylor]: Taking taylor expansion of x in x 1.932 * [backup-simplify]: Simplify 0 into 0 1.932 * [backup-simplify]: Simplify 1 into 1 1.932 * [backup-simplify]: Simplify (exp 0) into 1 1.932 * [taylor]: Taking taylor expansion of 1.0 in x 1.932 * [backup-simplify]: Simplify 1.0 into 1.0 1.932 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 1.932 * [taylor]: Taking taylor expansion of (exp x) in x 1.932 * [taylor]: Taking taylor expansion of x in x 1.932 * [backup-simplify]: Simplify 0 into 0 1.932 * [backup-simplify]: Simplify 1 into 1 1.932 * [backup-simplify]: Simplify (exp 0) into 1 1.932 * [taylor]: Taking taylor expansion of 1.0 in x 1.932 * [backup-simplify]: Simplify 1.0 into 1.0 1.934 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0 1.934 * [backup-simplify]: Simplify 2.0 into 2.0 1.935 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.936 * [backup-simplify]: Simplify (+ 1 0) into 1 1.936 * [backup-simplify]: Simplify 1 into 1 1.936 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.937 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1.937 * [backup-simplify]: Simplify 1/2 into 1/2 1.937 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2.0)) into (+ x (+ (* 1/2 (pow x 2)) 2.0)) 1.937 * [backup-simplify]: Simplify (+ 1.0 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1.0) 1.937 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in (x) around 0 1.937 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 1.937 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.937 * [taylor]: Taking taylor expansion of x in x 1.937 * [backup-simplify]: Simplify 0 into 0 1.937 * [backup-simplify]: Simplify 1 into 1 1.937 * [backup-simplify]: Simplify (/ 1 1) into 1 1.938 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.938 * [taylor]: Taking taylor expansion of 1.0 in x 1.938 * [backup-simplify]: Simplify 1.0 into 1.0 1.938 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 1.938 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.938 * [taylor]: Taking taylor expansion of x in x 1.938 * [backup-simplify]: Simplify 0 into 0 1.938 * [backup-simplify]: Simplify 1 into 1 1.938 * [backup-simplify]: Simplify (/ 1 1) into 1 1.938 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.938 * [taylor]: Taking taylor expansion of 1.0 in x 1.938 * [backup-simplify]: Simplify 1.0 into 1.0 1.938 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1.0) into (+ (exp (/ 1 x)) 1.0) 1.938 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1.0) into (+ (exp (/ 1 x)) 1.0) 1.939 * [backup-simplify]: Simplify (+ 0 0) into 0 1.939 * [backup-simplify]: Simplify 0 into 0 1.939 * [backup-simplify]: Simplify (+ 0 0) into 0 1.939 * [backup-simplify]: Simplify 0 into 0 1.939 * [backup-simplify]: Simplify (+ 0 0) into 0 1.939 * [backup-simplify]: Simplify 0 into 0 1.940 * [backup-simplify]: Simplify (+ 0 0) into 0 1.940 * [backup-simplify]: Simplify 0 into 0 1.940 * [backup-simplify]: Simplify (+ 0 0) into 0 1.940 * [backup-simplify]: Simplify 0 into 0 1.940 * [backup-simplify]: Simplify (+ 0 0) into 0 1.940 * [backup-simplify]: Simplify 0 into 0 1.940 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1.0) into (+ (exp x) 1.0) 1.940 * [backup-simplify]: Simplify (+ 1.0 (exp (/ 1 (- x)))) into (+ (exp (/ -1 x)) 1.0) 1.940 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in (x) around 0 1.940 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 1.940 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.940 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.940 * [taylor]: Taking taylor expansion of -1 in x 1.940 * [backup-simplify]: Simplify -1 into -1 1.940 * [taylor]: Taking taylor expansion of x in x 1.940 * [backup-simplify]: Simplify 0 into 0 1.940 * [backup-simplify]: Simplify 1 into 1 1.941 * [backup-simplify]: Simplify (/ -1 1) into -1 1.941 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.941 * [taylor]: Taking taylor expansion of 1.0 in x 1.941 * [backup-simplify]: Simplify 1.0 into 1.0 1.941 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 1.941 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.941 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.941 * [taylor]: Taking taylor expansion of -1 in x 1.941 * [backup-simplify]: Simplify -1 into -1 1.941 * [taylor]: Taking taylor expansion of x in x 1.941 * [backup-simplify]: Simplify 0 into 0 1.941 * [backup-simplify]: Simplify 1 into 1 1.941 * [backup-simplify]: Simplify (/ -1 1) into -1 1.941 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.941 * [taylor]: Taking taylor expansion of 1.0 in x 1.941 * [backup-simplify]: Simplify 1.0 into 1.0 1.941 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1.0) into (+ (exp (/ -1 x)) 1.0) 1.941 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1.0) into (+ (exp (/ -1 x)) 1.0) 1.942 * [backup-simplify]: Simplify (+ 0 0) into 0 1.942 * [backup-simplify]: Simplify 0 into 0 1.942 * [backup-simplify]: Simplify (+ 0 0) into 0 1.942 * [backup-simplify]: Simplify 0 into 0 1.942 * [backup-simplify]: Simplify (+ 0 0) into 0 1.942 * [backup-simplify]: Simplify 0 into 0 1.942 * [backup-simplify]: Simplify (+ 0 0) into 0 1.942 * [backup-simplify]: Simplify 0 into 0 1.943 * [backup-simplify]: Simplify (+ 0 0) into 0 1.943 * [backup-simplify]: Simplify 0 into 0 1.943 * [backup-simplify]: Simplify (+ 0 0) into 0 1.943 * [backup-simplify]: Simplify 0 into 0 1.943 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1.0) into (+ (exp x) 1.0) 1.943 * * * [progress]: simplifying candidates 1.944 * [simplify]: Simplifying: (expm1 (fma (- 1.0) 1.0 (exp (+ x x)))) (log1p (fma (- 1.0) 1.0 (exp (+ x x)))) (* (- 1.0) 1.0) (log (fma (- 1.0) 1.0 (exp (+ x x)))) (exp (fma (- 1.0) 1.0 (exp (+ x x)))) (* (cbrt (fma (- 1.0) 1.0 (exp (+ x x)))) (cbrt (fma (- 1.0) 1.0 (exp (+ x x))))) (cbrt (fma (- 1.0) 1.0 (exp (+ x x)))) (* (* (fma (- 1.0) 1.0 (exp (+ x x))) (fma (- 1.0) 1.0 (exp (+ x x)))) (fma (- 1.0) 1.0 (exp (+ x x)))) (sqrt (fma (- 1.0) 1.0 (exp (+ x x)))) (sqrt (fma (- 1.0) 1.0 (exp (+ x x)))) (expm1 (/ (fma (- 1.0) 1.0 (exp (+ x x))) (+ 1.0 (exp x)))) (log1p (/ (fma (- 1.0) 1.0 (exp (+ x x))) (+ 1.0 (exp x)))) (- (log (fma (- 1.0) 1.0 (exp (+ x x)))) (log (+ 1.0 (exp x)))) (log (/ (fma (- 1.0) 1.0 (exp (+ x x))) (+ 1.0 (exp x)))) (exp (/ (fma (- 1.0) 1.0 (exp (+ x x))) (+ 1.0 (exp x)))) (/ (* (* (fma (- 1.0) 1.0 (exp (+ x x))) (fma (- 1.0) 1.0 (exp (+ x x)))) (fma (- 1.0) 1.0 (exp (+ x x)))) (* (* (+ 1.0 (exp x)) (+ 1.0 (exp x))) (+ 1.0 (exp x)))) (* (cbrt (/ (fma (- 1.0) 1.0 (exp (+ x x))) (+ 1.0 (exp x)))) (cbrt (/ (fma (- 1.0) 1.0 (exp (+ x x))) (+ 1.0 (exp x))))) (cbrt (/ (fma (- 1.0) 1.0 (exp (+ x x))) (+ 1.0 (exp x)))) (* (* (/ (fma (- 1.0) 1.0 (exp (+ x x))) (+ 1.0 (exp x))) (/ (fma (- 1.0) 1.0 (exp (+ x x))) (+ 1.0 (exp x)))) (/ (fma (- 1.0) 1.0 (exp (+ x x))) (+ 1.0 (exp x)))) (sqrt (/ (fma (- 1.0) 1.0 (exp (+ x x))) (+ 1.0 (exp x)))) (sqrt (/ (fma (- 1.0) 1.0 (exp (+ x x))) (+ 1.0 (exp x)))) (- (fma (- 1.0) 1.0 (exp (+ x x)))) (- (+ 1.0 (exp x))) (/ (* (cbrt (fma (- 1.0) 1.0 (exp (+ x x)))) (cbrt (fma (- 1.0) 1.0 (exp (+ x x))))) (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))) (/ (cbrt (fma (- 1.0) 1.0 (exp (+ x x)))) (cbrt (+ 1.0 (exp x)))) (/ (* (cbrt (fma (- 1.0) 1.0 (exp (+ x x)))) (cbrt (fma (- 1.0) 1.0 (exp (+ x x))))) (sqrt (+ 1.0 (exp x)))) (/ (cbrt (fma (- 1.0) 1.0 (exp (+ x x)))) (sqrt (+ 1.0 (exp x)))) (/ (* (cbrt (fma (- 1.0) 1.0 (exp (+ x x)))) (cbrt (fma (- 1.0) 1.0 (exp (+ x x))))) 1) (/ (cbrt (fma (- 1.0) 1.0 (exp (+ x x)))) (+ 1.0 (exp x))) (/ (* (cbrt (fma (- 1.0) 1.0 (exp (+ x x)))) (cbrt (fma (- 1.0) 1.0 (exp (+ x x))))) 1) (/ (cbrt (fma (- 1.0) 1.0 (exp (+ x x)))) (+ 1.0 (exp x))) (/ (sqrt (fma (- 1.0) 1.0 (exp (+ x x)))) (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))) (/ (sqrt (fma (- 1.0) 1.0 (exp (+ x x)))) (cbrt (+ 1.0 (exp x)))) (/ (sqrt (fma (- 1.0) 1.0 (exp (+ x x)))) (sqrt (+ 1.0 (exp x)))) (/ (sqrt (fma (- 1.0) 1.0 (exp (+ x x)))) (sqrt (+ 1.0 (exp x)))) (/ (sqrt (fma (- 1.0) 1.0 (exp (+ x x)))) 1) (/ (sqrt (fma (- 1.0) 1.0 (exp (+ x x)))) (+ 1.0 (exp x))) (/ (sqrt (fma (- 1.0) 1.0 (exp (+ x x)))) 1) (/ (sqrt (fma (- 1.0) 1.0 (exp (+ x x)))) (+ 1.0 (exp x))) (/ 1 (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))) (/ (fma (- 1.0) 1.0 (exp (+ x x))) (cbrt (+ 1.0 (exp x)))) (/ 1 (sqrt (+ 1.0 (exp x)))) (/ (fma (- 1.0) 1.0 (exp (+ x x))) (sqrt (+ 1.0 (exp x)))) (/ 1 1) (/ (fma (- 1.0) 1.0 (exp (+ x x))) (+ 1.0 (exp x))) (/ 1 1) (/ (fma (- 1.0) 1.0 (exp (+ x x))) (+ 1.0 (exp x))) (/ 1 (+ 1.0 (exp x))) (/ (+ 1.0 (exp x)) (fma (- 1.0) 1.0 (exp (+ x x)))) (/ (fma (- 1.0) 1.0 (exp (+ x x))) (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))) (/ (fma (- 1.0) 1.0 (exp (+ x x))) (sqrt (+ 1.0 (exp x)))) (/ (fma (- 1.0) 1.0 (exp (+ x x))) 1) (/ (fma (- 1.0) 1.0 (exp (+ x x))) 1) (/ (+ 1.0 (exp x)) (cbrt (fma (- 1.0) 1.0 (exp (+ x x))))) (/ (+ 1.0 (exp x)) (sqrt (fma (- 1.0) 1.0 (exp (+ x x))))) (/ (+ 1.0 (exp x)) (fma (- 1.0) 1.0 (exp (+ x x)))) (/ (fma (- 1.0) 1.0 (exp (+ x x))) (+ (pow 1.0 3) (pow (exp x) 3))) (/ (fma (- 1.0) 1.0 (exp (+ x x))) (- (* 1.0 1.0) (* (exp x) (exp x)))) (expm1 (+ 1.0 (exp x))) (log1p (+ 1.0 (exp x))) (* (exp 1.0) (exp (exp x))) (log (+ 1.0 (exp x))) (exp (+ 1.0 (exp x))) (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x)))) (cbrt (+ 1.0 (exp x))) (* (* (+ 1.0 (exp x)) (+ 1.0 (exp x))) (+ 1.0 (exp x))) (sqrt (+ 1.0 (exp x))) (sqrt (+ 1.0 (exp x))) (+ (pow 1.0 3) (pow (exp x) 3)) (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))) (- (* 1.0 1.0) (* (exp x) (exp x))) (- 1.0 (exp x)) (+ 1.0 (exp x)) (+ (* 2 x) (+ (* 4/3 (pow x 3)) (* 2 (pow x 2)))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (+ (* 1.0 x) (+ (* 0.16666666666666663 (pow x 3)) (* 0.5 (pow x 2)))) (/ (- (exp (* 2 x)) 1.0) (+ (exp x) 1.0)) (/ (- (exp (* 2 x)) 1.0) (+ (exp x) 1.0)) (+ x (+ (* 1/2 (pow x 2)) 2.0)) (+ (exp x) 1.0) (+ (exp x) 1.0) 1.945 * * [simplify]: iteration 0: 105 enodes 1.962 * * [simplify]: iteration 1: 220 enodes 2.066 * * [simplify]: iteration 2: 623 enodes 2.393 * * [simplify]: iteration 3: 2420 enodes 2.950 * * [simplify]: iteration complete: 5001 enodes 2.950 * * [simplify]: Extracting #0: cost 59 inf + 0 2.952 * * [simplify]: Extracting #1: cost 615 inf + 1 2.957 * * [simplify]: Extracting #2: cost 920 inf + 508 2.962 * * [simplify]: Extracting #3: cost 572 inf + 3459 2.980 * * [simplify]: Extracting #4: cost 155 inf + 9343 2.985 * * [simplify]: Extracting #5: cost 4 inf + 12185 2.990 * * [simplify]: Extracting #6: cost 0 inf + 12279 2.997 * [simplify]: Simplified to: (expm1 (fma 1.0 (- 1.0) (exp (+ x x)))) (log1p (fma 1.0 (- 1.0) (exp (+ x x)))) (* 1.0 (- 1.0)) (log (fma 1.0 (- 1.0) (exp (+ x x)))) (exp (fma 1.0 (- 1.0) (exp (+ x x)))) (* (cbrt (fma 1.0 (- 1.0) (exp (+ x x)))) (cbrt (fma 1.0 (- 1.0) (exp (+ x x))))) (cbrt (fma 1.0 (- 1.0) (exp (+ x x)))) (pow (fma 1.0 (- 1.0) (exp (+ x x))) 3) (sqrt (fma 1.0 (- 1.0) (exp (+ x x)))) (sqrt (fma 1.0 (- 1.0) (exp (+ x x)))) (expm1 (/ (fma 1.0 (- 1.0) (exp (+ x x))) (+ (exp x) 1.0))) (log1p (/ (fma 1.0 (- 1.0) (exp (+ x x))) (+ (exp x) 1.0))) (log (/ (fma 1.0 (- 1.0) (exp (+ x x))) (+ (exp x) 1.0))) (log (/ (fma 1.0 (- 1.0) (exp (+ x x))) (+ (exp x) 1.0))) (exp (/ (fma 1.0 (- 1.0) (exp (+ x x))) (+ (exp x) 1.0))) (pow (/ (fma 1.0 (- 1.0) (exp (+ x x))) (+ (exp x) 1.0)) 3) (* (cbrt (/ (fma 1.0 (- 1.0) (exp (+ x x))) (+ (exp x) 1.0))) (cbrt (/ (fma 1.0 (- 1.0) (exp (+ x x))) (+ (exp x) 1.0)))) (cbrt (/ (fma 1.0 (- 1.0) (exp (+ x x))) (+ (exp x) 1.0))) (pow (/ (fma 1.0 (- 1.0) (exp (+ x x))) (+ (exp x) 1.0)) 3) (sqrt (/ (fma 1.0 (- 1.0) (exp (+ x x))) (+ (exp x) 1.0))) (sqrt (/ (fma 1.0 (- 1.0) (exp (+ x x))) (+ (exp x) 1.0))) (fma 1.0 1.0 (- (exp (+ x x)))) (- (- 1.0) (exp x)) (* (/ (cbrt (fma 1.0 (- 1.0) (exp (+ x x)))) (cbrt (+ (exp x) 1.0))) (/ (cbrt (fma 1.0 (- 1.0) (exp (+ x x)))) (cbrt (+ (exp x) 1.0)))) (/ (cbrt (fma 1.0 (- 1.0) (exp (+ x x)))) (cbrt (+ (exp x) 1.0))) (/ (* (cbrt (fma 1.0 (- 1.0) (exp (+ x x)))) (cbrt (fma 1.0 (- 1.0) (exp (+ x x))))) (sqrt (+ (exp x) 1.0))) (/ (cbrt (fma 1.0 (- 1.0) (exp (+ x x)))) (sqrt (+ (exp x) 1.0))) (* (cbrt (fma 1.0 (- 1.0) (exp (+ x x)))) (cbrt (fma 1.0 (- 1.0) (exp (+ x x))))) (/ (cbrt (fma 1.0 (- 1.0) (exp (+ x x)))) (+ (exp x) 1.0)) (* (cbrt (fma 1.0 (- 1.0) (exp (+ x x)))) (cbrt (fma 1.0 (- 1.0) (exp (+ x x))))) (/ (cbrt (fma 1.0 (- 1.0) (exp (+ x x)))) (+ (exp x) 1.0)) (/ (sqrt (fma 1.0 (- 1.0) (exp (+ x x)))) (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0)))) (/ (sqrt (fma 1.0 (- 1.0) (exp (+ x x)))) (cbrt (+ (exp x) 1.0))) (/ (sqrt (fma 1.0 (- 1.0) (exp (+ x x)))) (sqrt (+ (exp x) 1.0))) (/ (sqrt (fma 1.0 (- 1.0) (exp (+ x x)))) (sqrt (+ (exp x) 1.0))) (sqrt (fma 1.0 (- 1.0) (exp (+ x x)))) (/ (sqrt (fma 1.0 (- 1.0) (exp (+ x x)))) (+ (exp x) 1.0)) (sqrt (fma 1.0 (- 1.0) (exp (+ x x)))) (/ (sqrt (fma 1.0 (- 1.0) (exp (+ x x)))) (+ (exp x) 1.0)) (/ 1 (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0)))) (/ (fma 1.0 (- 1.0) (exp (+ x x))) (cbrt (+ (exp x) 1.0))) (/ 1 (sqrt (+ (exp x) 1.0))) (/ (fma 1.0 (- 1.0) (exp (+ x x))) (sqrt (+ (exp x) 1.0))) 1 (/ (fma 1.0 (- 1.0) (exp (+ x x))) (+ (exp x) 1.0)) 1 (/ (fma 1.0 (- 1.0) (exp (+ x x))) (+ (exp x) 1.0)) (/ 1 (+ (exp x) 1.0)) (/ (+ (exp x) 1.0) (fma 1.0 (- 1.0) (exp (+ x x)))) (/ (fma 1.0 (- 1.0) (exp (+ x x))) (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0)))) (/ (fma 1.0 (- 1.0) (exp (+ x x))) (sqrt (+ (exp x) 1.0))) (fma 1.0 (- 1.0) (exp (+ x x))) (fma 1.0 (- 1.0) (exp (+ x x))) (/ (+ (exp x) 1.0) (cbrt (fma 1.0 (- 1.0) (exp (+ x x))))) (/ (+ (exp x) 1.0) (sqrt (fma 1.0 (- 1.0) (exp (+ x x))))) (/ (+ (exp x) 1.0) (fma 1.0 (- 1.0) (exp (+ x x)))) (/ (fma 1.0 (- 1.0) (exp (+ x x))) (+ (pow 1.0 3) (pow (exp x) 3))) (/ (fma 1.0 (- 1.0) (exp (+ x x))) (fma 1.0 1.0 (- (exp (+ x x))))) (expm1 (+ (exp x) 1.0)) (log1p (+ (exp x) 1.0)) (exp (+ (exp x) 1.0)) (log (+ (exp x) 1.0)) (exp (+ (exp x) 1.0)) (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0))) (cbrt (+ (exp x) 1.0)) (pow (+ (exp x) 1.0) 3) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) (+ (pow 1.0 3) (pow (exp x) 3)) (fma (exp x) (- (exp x) 1.0) (* 1.0 1.0)) (fma 1.0 1.0 (- (exp (+ x x)))) (- 1.0 (exp x)) (+ (exp x) 1.0) (fma (pow x 3) 4/3 (* 2 (fma x x x))) (- (exp (+ x x)) 1.0) (- (exp (+ x x)) 1.0) (fma x (fma x 0.5 1.0) (* (pow x 3) 0.16666666666666663)) (/ (- (exp (+ x x)) 1.0) (+ (exp x) 1.0)) (/ (- (exp (+ x x)) 1.0) (+ (exp x) 1.0)) (fma (fma 1/2 x 1) x 2.0) (+ (exp x) 1.0) (+ (exp x) 1.0) 2.998 * * * [progress]: adding candidates to table 3.350 * * [progress]: iteration 4 / 4 3.351 * * * [progress]: picking best candidate 3.368 * * * * [pick]: Picked # 3.368 * * * [progress]: localizing error 3.377 * * * [progress]: generating rewritten candidates 3.377 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 3.378 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 3.387 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 3.391 * * * [progress]: generating series expansions 3.391 * * * * [progress]: [ 1 / 3 ] generating series at (2) 3.392 * [backup-simplify]: Simplify (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) into (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) 3.392 * [approximate]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) in (x) around 0 3.392 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) in x 3.392 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (- 1.0)) 3.392 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 3.392 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 3.392 * [taylor]: Taking taylor expansion of (exp x) in x 3.392 * [taylor]: Taking taylor expansion of x in x 3.392 * [backup-simplify]: Simplify 0 into 0 3.392 * [backup-simplify]: Simplify 1 into 1 3.392 * [backup-simplify]: Simplify (exp 0) into 1 3.393 * [backup-simplify]: Simplify (sqrt 1) into 1 3.393 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 3.394 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 3.394 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 3.394 * [taylor]: Taking taylor expansion of (exp x) in x 3.394 * [taylor]: Taking taylor expansion of x in x 3.394 * [backup-simplify]: Simplify 0 into 0 3.394 * [backup-simplify]: Simplify 1 into 1 3.394 * [backup-simplify]: Simplify (exp 0) into 1 3.394 * [backup-simplify]: Simplify (sqrt 1) into 1 3.395 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 3.395 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 3.395 * [taylor]: Taking taylor expansion of (- 1.0) in x 3.395 * [taylor]: Taking taylor expansion of 1.0 in x 3.396 * [backup-simplify]: Simplify 1.0 into 1.0 3.396 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) in x 3.396 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (- 1.0)) 3.396 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 3.396 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 3.396 * [taylor]: Taking taylor expansion of (exp x) in x 3.396 * [taylor]: Taking taylor expansion of x in x 3.396 * [backup-simplify]: Simplify 0 into 0 3.396 * [backup-simplify]: Simplify 1 into 1 3.396 * [backup-simplify]: Simplify (exp 0) into 1 3.396 * [backup-simplify]: Simplify (sqrt 1) into 1 3.397 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 3.397 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 3.397 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 3.397 * [taylor]: Taking taylor expansion of (exp x) in x 3.397 * [taylor]: Taking taylor expansion of x in x 3.397 * [backup-simplify]: Simplify 0 into 0 3.397 * [backup-simplify]: Simplify 1 into 1 3.397 * [backup-simplify]: Simplify (exp 0) into 1 3.397 * [backup-simplify]: Simplify (sqrt 1) into 1 3.398 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 3.398 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 3.398 * [taylor]: Taking taylor expansion of (- 1.0) in x 3.398 * [taylor]: Taking taylor expansion of 1.0 in x 3.399 * [backup-simplify]: Simplify 1.0 into 1.0 3.399 * [backup-simplify]: Simplify (* 1 1) into 1 3.399 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.400 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0 3.400 * [backup-simplify]: Simplify 0 into 0 3.400 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 1/2 1)) into 1 3.400 * [backup-simplify]: Simplify (- 0) into 0 3.401 * [backup-simplify]: Simplify (+ 1 0) into 1 3.401 * [backup-simplify]: Simplify 1 into 1 3.402 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 3.402 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 3.403 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 3.404 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 3.404 * [backup-simplify]: Simplify (+ (* 1 1/8) (+ (* 1/2 1/2) (* 1/8 1))) into 1/2 3.404 * [backup-simplify]: Simplify (- 0) into 0 3.405 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 3.405 * [backup-simplify]: Simplify 1/2 into 1/2 3.406 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 3.407 * [backup-simplify]: Simplify (/ (- 1/6 (+ (* 2 (* 1/2 1/8)))) (* 2 1)) into 1/48 3.408 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 3.409 * [backup-simplify]: Simplify (/ (- 1/6 (+ (* 2 (* 1/2 1/8)))) (* 2 1)) into 1/48 3.410 * [backup-simplify]: Simplify (+ (* 1 1/48) (+ (* 1/2 1/8) (+ (* 1/8 1/2) (* 1/48 1)))) into 1/6 3.410 * [backup-simplify]: Simplify (- 0) into 0 3.410 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 3.410 * [backup-simplify]: Simplify 1/6 into 1/6 3.411 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 3.411 * [backup-simplify]: Simplify (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- 1.0)) into (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- 1.0)) 3.411 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- 1.0)) in (x) around 0 3.411 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- 1.0)) in x 3.411 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (- 1.0)) 3.411 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 3.411 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 3.411 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.411 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.411 * [taylor]: Taking taylor expansion of x in x 3.411 * [backup-simplify]: Simplify 0 into 0 3.411 * [backup-simplify]: Simplify 1 into 1 3.412 * [backup-simplify]: Simplify (/ 1 1) into 1 3.412 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 3.412 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 3.412 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 3.412 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 3.412 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.412 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.412 * [taylor]: Taking taylor expansion of x in x 3.412 * [backup-simplify]: Simplify 0 into 0 3.412 * [backup-simplify]: Simplify 1 into 1 3.412 * [backup-simplify]: Simplify (/ 1 1) into 1 3.412 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 3.412 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 3.412 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 3.412 * [taylor]: Taking taylor expansion of (- 1.0) in x 3.412 * [taylor]: Taking taylor expansion of 1.0 in x 3.412 * [backup-simplify]: Simplify 1.0 into 1.0 3.412 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- 1.0)) in x 3.413 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (- 1.0)) 3.413 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 3.413 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 3.413 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.413 * [taylor]: Taking taylor expansion of x in x 3.413 * [backup-simplify]: Simplify 0 into 0 3.413 * [backup-simplify]: Simplify 1 into 1 3.413 * [backup-simplify]: Simplify (/ 1 1) into 1 3.413 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 3.413 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 3.413 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 3.413 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 3.413 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.413 * [taylor]: Taking taylor expansion of x in x 3.413 * [backup-simplify]: Simplify 0 into 0 3.413 * [backup-simplify]: Simplify 1 into 1 3.414 * [backup-simplify]: Simplify (/ 1 1) into 1 3.414 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 3.414 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 3.414 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 3.414 * [taylor]: Taking taylor expansion of (- 1.0) in x 3.414 * [taylor]: Taking taylor expansion of 1.0 in x 3.414 * [backup-simplify]: Simplify 1.0 into 1.0 3.414 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) into (exp (/ 1 x)) 3.414 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.415 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0) 3.415 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0) 3.415 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (* 0 (sqrt (exp (/ 1 x))))) into 0 3.415 * [backup-simplify]: Simplify (- 0) into 0 3.416 * [backup-simplify]: Simplify (+ 0 0) into 0 3.416 * [backup-simplify]: Simplify 0 into 0 3.417 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.418 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.419 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))) into 0 3.419 * [backup-simplify]: Simplify (- 0) into 0 3.419 * [backup-simplify]: Simplify (+ 0 0) into 0 3.419 * [backup-simplify]: Simplify 0 into 0 3.420 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.421 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.422 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))) into 0 3.423 * [backup-simplify]: Simplify (- 0) into 0 3.423 * [backup-simplify]: Simplify (+ 0 0) into 0 3.423 * [backup-simplify]: Simplify 0 into 0 3.424 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.425 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.426 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))))) into 0 3.427 * [backup-simplify]: Simplify (- 0) into 0 3.427 * [backup-simplify]: Simplify (+ 0 0) into 0 3.427 * [backup-simplify]: Simplify 0 into 0 3.428 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.429 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.430 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))))) into 0 3.431 * [backup-simplify]: Simplify (- 0) into 0 3.431 * [backup-simplify]: Simplify (+ 0 0) into 0 3.431 * [backup-simplify]: Simplify 0 into 0 3.432 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.433 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.435 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))))))) into 0 3.435 * [backup-simplify]: Simplify (- 0) into 0 3.436 * [backup-simplify]: Simplify (+ 0 0) into 0 3.436 * [backup-simplify]: Simplify 0 into 0 3.436 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1.0) into (- (exp x) 1.0) 3.437 * [backup-simplify]: Simplify (fma (sqrt (exp (/ 1 (- x)))) (sqrt (exp (/ 1 (- x)))) (- 1.0)) into (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- 1.0)) 3.437 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- 1.0)) in (x) around 0 3.437 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- 1.0)) in x 3.437 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (- 1.0)) 3.437 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 3.437 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 3.437 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.437 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.437 * [taylor]: Taking taylor expansion of -1 in x 3.437 * [backup-simplify]: Simplify -1 into -1 3.437 * [taylor]: Taking taylor expansion of x in x 3.437 * [backup-simplify]: Simplify 0 into 0 3.437 * [backup-simplify]: Simplify 1 into 1 3.438 * [backup-simplify]: Simplify (/ -1 1) into -1 3.438 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 3.438 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 3.438 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 3.438 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 3.438 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.438 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.438 * [taylor]: Taking taylor expansion of -1 in x 3.438 * [backup-simplify]: Simplify -1 into -1 3.438 * [taylor]: Taking taylor expansion of x in x 3.438 * [backup-simplify]: Simplify 0 into 0 3.439 * [backup-simplify]: Simplify 1 into 1 3.439 * [backup-simplify]: Simplify (/ -1 1) into -1 3.439 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 3.439 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 3.439 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 3.439 * [taylor]: Taking taylor expansion of (- 1.0) in x 3.439 * [taylor]: Taking taylor expansion of 1.0 in x 3.439 * [backup-simplify]: Simplify 1.0 into 1.0 3.439 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- 1.0)) in x 3.440 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (- 1.0)) 3.440 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 3.440 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 3.440 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.440 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.440 * [taylor]: Taking taylor expansion of -1 in x 3.440 * [backup-simplify]: Simplify -1 into -1 3.440 * [taylor]: Taking taylor expansion of x in x 3.440 * [backup-simplify]: Simplify 0 into 0 3.440 * [backup-simplify]: Simplify 1 into 1 3.440 * [backup-simplify]: Simplify (/ -1 1) into -1 3.440 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 3.440 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 3.440 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 3.441 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 3.441 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.441 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.441 * [taylor]: Taking taylor expansion of -1 in x 3.441 * [backup-simplify]: Simplify -1 into -1 3.441 * [taylor]: Taking taylor expansion of x in x 3.441 * [backup-simplify]: Simplify 0 into 0 3.441 * [backup-simplify]: Simplify 1 into 1 3.441 * [backup-simplify]: Simplify (/ -1 1) into -1 3.441 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 3.441 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 3.441 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 3.441 * [taylor]: Taking taylor expansion of (- 1.0) in x 3.441 * [taylor]: Taking taylor expansion of 1.0 in x 3.442 * [backup-simplify]: Simplify 1.0 into 1.0 3.442 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) into (exp (/ -1 x)) 3.442 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.443 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- 1.0)) into (- (exp (/ -1 x)) 1.0) 3.443 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1.0) into (- (exp (/ -1 x)) 1.0) 3.443 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (* 0 (sqrt (exp (/ -1 x))))) into 0 3.443 * [backup-simplify]: Simplify (- 0) into 0 3.444 * [backup-simplify]: Simplify (+ 0 0) into 0 3.444 * [backup-simplify]: Simplify 0 into 0 3.444 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.445 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.446 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))) into 0 3.446 * [backup-simplify]: Simplify (- 0) into 0 3.446 * [backup-simplify]: Simplify (+ 0 0) into 0 3.446 * [backup-simplify]: Simplify 0 into 0 3.447 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.448 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.449 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))) into 0 3.449 * [backup-simplify]: Simplify (- 0) into 0 3.450 * [backup-simplify]: Simplify (+ 0 0) into 0 3.450 * [backup-simplify]: Simplify 0 into 0 3.451 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.452 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.453 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))))) into 0 3.453 * [backup-simplify]: Simplify (- 0) into 0 3.454 * [backup-simplify]: Simplify (+ 0 0) into 0 3.454 * [backup-simplify]: Simplify 0 into 0 3.455 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.456 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.457 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))))) into 0 3.458 * [backup-simplify]: Simplify (- 0) into 0 3.458 * [backup-simplify]: Simplify (+ 0 0) into 0 3.458 * [backup-simplify]: Simplify 0 into 0 3.459 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.460 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.462 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))))))) into 0 3.463 * [backup-simplify]: Simplify (- 0) into 0 3.463 * [backup-simplify]: Simplify (+ 0 0) into 0 3.463 * [backup-simplify]: Simplify 0 into 0 3.463 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1.0) into (- (exp x) 1.0) 3.463 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 3.463 * [backup-simplify]: Simplify (sqrt (exp x)) into (sqrt (exp x)) 3.463 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 3.463 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 3.463 * [taylor]: Taking taylor expansion of (exp x) in x 3.463 * [taylor]: Taking taylor expansion of x in x 3.463 * [backup-simplify]: Simplify 0 into 0 3.463 * [backup-simplify]: Simplify 1 into 1 3.464 * [backup-simplify]: Simplify (exp 0) into 1 3.464 * [backup-simplify]: Simplify (sqrt 1) into 1 3.465 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 3.466 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 3.466 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 3.466 * [taylor]: Taking taylor expansion of (exp x) in x 3.466 * [taylor]: Taking taylor expansion of x in x 3.466 * [backup-simplify]: Simplify 0 into 0 3.466 * [backup-simplify]: Simplify 1 into 1 3.466 * [backup-simplify]: Simplify (exp 0) into 1 3.466 * [backup-simplify]: Simplify (sqrt 1) into 1 3.467 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 3.468 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 3.468 * [backup-simplify]: Simplify 1 into 1 3.468 * [backup-simplify]: Simplify 1/2 into 1/2 3.470 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 3.471 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 3.471 * [backup-simplify]: Simplify 1/8 into 1/8 3.471 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 3.471 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 3.471 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 3.471 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 3.471 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.471 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.471 * [taylor]: Taking taylor expansion of x in x 3.471 * [backup-simplify]: Simplify 0 into 0 3.471 * [backup-simplify]: Simplify 1 into 1 3.472 * [backup-simplify]: Simplify (/ 1 1) into 1 3.472 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 3.472 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 3.472 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 3.472 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 3.472 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.472 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.472 * [taylor]: Taking taylor expansion of x in x 3.472 * [backup-simplify]: Simplify 0 into 0 3.472 * [backup-simplify]: Simplify 1 into 1 3.473 * [backup-simplify]: Simplify (/ 1 1) into 1 3.473 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 3.473 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 3.473 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 3.473 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 3.473 * [backup-simplify]: Simplify 0 into 0 3.474 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.474 * [backup-simplify]: Simplify 0 into 0 3.475 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.475 * [backup-simplify]: Simplify 0 into 0 3.476 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.476 * [backup-simplify]: Simplify 0 into 0 3.477 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.477 * [backup-simplify]: Simplify 0 into 0 3.478 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.478 * [backup-simplify]: Simplify 0 into 0 3.478 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 x)))) into (sqrt (exp x)) 3.478 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- x)))) into (sqrt (exp (/ -1 x))) 3.478 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 3.478 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 3.478 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.478 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.478 * [taylor]: Taking taylor expansion of -1 in x 3.478 * [backup-simplify]: Simplify -1 into -1 3.478 * [taylor]: Taking taylor expansion of x in x 3.478 * [backup-simplify]: Simplify 0 into 0 3.478 * [backup-simplify]: Simplify 1 into 1 3.478 * [backup-simplify]: Simplify (/ -1 1) into -1 3.479 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 3.479 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 3.479 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 3.479 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 3.479 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.479 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.479 * [taylor]: Taking taylor expansion of -1 in x 3.479 * [backup-simplify]: Simplify -1 into -1 3.479 * [taylor]: Taking taylor expansion of x in x 3.479 * [backup-simplify]: Simplify 0 into 0 3.479 * [backup-simplify]: Simplify 1 into 1 3.479 * [backup-simplify]: Simplify (/ -1 1) into -1 3.480 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 3.480 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 3.480 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 3.480 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 3.480 * [backup-simplify]: Simplify 0 into 0 3.481 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.481 * [backup-simplify]: Simplify 0 into 0 3.482 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.482 * [backup-simplify]: Simplify 0 into 0 3.483 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.483 * [backup-simplify]: Simplify 0 into 0 3.484 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.484 * [backup-simplify]: Simplify 0 into 0 3.485 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.485 * [backup-simplify]: Simplify 0 into 0 3.485 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- x))))) into (sqrt (exp x)) 3.485 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 3.485 * [backup-simplify]: Simplify (sqrt (exp x)) into (sqrt (exp x)) 3.485 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 3.485 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 3.485 * [taylor]: Taking taylor expansion of (exp x) in x 3.485 * [taylor]: Taking taylor expansion of x in x 3.485 * [backup-simplify]: Simplify 0 into 0 3.485 * [backup-simplify]: Simplify 1 into 1 3.485 * [backup-simplify]: Simplify (exp 0) into 1 3.486 * [backup-simplify]: Simplify (sqrt 1) into 1 3.487 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 3.487 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 3.487 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 3.487 * [taylor]: Taking taylor expansion of (exp x) in x 3.487 * [taylor]: Taking taylor expansion of x in x 3.487 * [backup-simplify]: Simplify 0 into 0 3.487 * [backup-simplify]: Simplify 1 into 1 3.487 * [backup-simplify]: Simplify (exp 0) into 1 3.488 * [backup-simplify]: Simplify (sqrt 1) into 1 3.489 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 3.489 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 3.489 * [backup-simplify]: Simplify 1 into 1 3.489 * [backup-simplify]: Simplify 1/2 into 1/2 3.491 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 3.492 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 3.492 * [backup-simplify]: Simplify 1/8 into 1/8 3.492 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 3.492 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 3.492 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 3.492 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 3.492 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.492 * [taylor]: Taking taylor expansion of x in x 3.492 * [backup-simplify]: Simplify 0 into 0 3.492 * [backup-simplify]: Simplify 1 into 1 3.493 * [backup-simplify]: Simplify (/ 1 1) into 1 3.493 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 3.493 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 3.493 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 3.493 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 3.493 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.493 * [taylor]: Taking taylor expansion of x in x 3.493 * [backup-simplify]: Simplify 0 into 0 3.493 * [backup-simplify]: Simplify 1 into 1 3.494 * [backup-simplify]: Simplify (/ 1 1) into 1 3.494 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 3.494 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 3.494 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 3.494 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 3.494 * [backup-simplify]: Simplify 0 into 0 3.495 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.495 * [backup-simplify]: Simplify 0 into 0 3.496 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.496 * [backup-simplify]: Simplify 0 into 0 3.497 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.497 * [backup-simplify]: Simplify 0 into 0 3.498 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.498 * [backup-simplify]: Simplify 0 into 0 3.499 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.499 * [backup-simplify]: Simplify 0 into 0 3.499 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 x)))) into (sqrt (exp x)) 3.499 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- x)))) into (sqrt (exp (/ -1 x))) 3.499 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 3.499 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 3.499 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.499 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.499 * [taylor]: Taking taylor expansion of -1 in x 3.499 * [backup-simplify]: Simplify -1 into -1 3.500 * [taylor]: Taking taylor expansion of x in x 3.500 * [backup-simplify]: Simplify 0 into 0 3.500 * [backup-simplify]: Simplify 1 into 1 3.500 * [backup-simplify]: Simplify (/ -1 1) into -1 3.500 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 3.500 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 3.500 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 3.500 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 3.500 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.500 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.500 * [taylor]: Taking taylor expansion of -1 in x 3.500 * [backup-simplify]: Simplify -1 into -1 3.500 * [taylor]: Taking taylor expansion of x in x 3.501 * [backup-simplify]: Simplify 0 into 0 3.501 * [backup-simplify]: Simplify 1 into 1 3.501 * [backup-simplify]: Simplify (/ -1 1) into -1 3.501 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 3.501 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 3.501 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 3.501 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 3.501 * [backup-simplify]: Simplify 0 into 0 3.502 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.502 * [backup-simplify]: Simplify 0 into 0 3.503 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.503 * [backup-simplify]: Simplify 0 into 0 3.504 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.504 * [backup-simplify]: Simplify 0 into 0 3.506 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.506 * [backup-simplify]: Simplify 0 into 0 3.507 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.507 * [backup-simplify]: Simplify 0 into 0 3.507 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- x))))) into (sqrt (exp x)) 3.507 * * * [progress]: simplifying candidates 3.508 * [simplify]: Simplifying: (expm1 (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (log1p (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (* (sqrt (exp x)) (sqrt (exp x))) (log (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (exp (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (* (* (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (sqrt 1) (sqrt (exp x)) (/ 1 2) (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (sqrt 1) (sqrt (exp x)) (/ 1 2) (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) (- (exp x) 1.0) (- (exp x) 1.0) (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) (sqrt (exp x)) (sqrt (exp x)) (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) (sqrt (exp x)) (sqrt (exp x)) 3.509 * * [simplify]: iteration 0: 52 enodes 3.528 * * [simplify]: iteration 1: 84 enodes 3.546 * * [simplify]: iteration 2: 202 enodes 3.698 * * [simplify]: iteration 3: 763 enodes 4.516 * * [simplify]: iteration 4: 4629 enodes 6.060 * * [simplify]: iteration complete: 5000 enodes 6.060 * * [simplify]: Extracting #0: cost 28 inf + 0 6.062 * * [simplify]: Extracting #1: cost 298 inf + 2 6.072 * * [simplify]: Extracting #2: cost 1156 inf + 359 6.082 * * [simplify]: Extracting #3: cost 400 inf + 5531 6.091 * * [simplify]: Extracting #4: cost 26 inf + 9237 6.101 * * [simplify]: Extracting #5: cost 5 inf + 9370 6.110 * * [simplify]: Extracting #6: cost 0 inf + 9405 6.119 * [simplify]: Simplified to: (expm1 (- (exp x) 1.0)) (log1p (- (exp x) 1.0)) (exp x) (log (- (exp x) 1.0)) (exp (- (exp x) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (cbrt (- (exp x) 1.0)) (pow (- (exp x) 1.0) 3) (sqrt (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (pow (sqrt (exp x)) 3) (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) 1 (sqrt (exp x)) 1/2 (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (pow (sqrt (exp x)) 3) (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) 1 (sqrt (exp x)) 1/2 (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (fma x (* x (fma 1/6 x 1/2)) x) (- (exp x) 1.0) (- (exp x) 1.0) (fma x (fma x 1/8 1/2) 1) (sqrt (exp x)) (sqrt (exp x)) (fma x (fma x 1/8 1/2) 1) (sqrt (exp x)) (sqrt (exp x)) 6.119 * * * [progress]: adding candidates to table 6.371 * [progress]: [Phase 3 of 3] Extracting. 6.371 * * [regime]: Finding splitpoints for: (# # # # #) 6.372 * * * [regime-changes]: Trying 2 branch expressions: ((exp x) x) 6.372 * * * * [regimes]: Trying to branch on (exp x) from (# # # # #) 6.418 * * * * [regimes]: Trying to branch on x from (# # # # #) 6.452 * * * [regime]: Found split indices: #