11.280 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.010 * * * [progress]: [2/2] Setting up program. 0.012 * [progress]: [Phase 2 of 3] Improving. 0.012 * [simplify]: Simplifying using # : (/ 2.0 (+ (exp x) (exp (- x)))) 0.014 * * [simplify]: iteration 0 : 10 enodes (cost 5 ) 0.015 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 0.017 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 0.018 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 0.019 * * [simplify]: iteration 4 : 20 enodes (cost 5 ) 0.020 * * [simplify]: iteration 5 : 41 enodes (cost 5 ) 0.022 * * [simplify]: iteration 6 : 66 enodes (cost 5 ) 0.024 * * [simplify]: iteration 7 : 165 enodes (cost 5 ) 0.031 * * [simplify]: iteration 8 : 1121 enodes (cost 5 ) 0.229 * * [simplify]: iteration 9 : 5002 enodes (cost 5 ) 0.229 * [simplify]: Simplified to: (/ 2.0 (+ (exp x) (exp (- x)))) 0.230 * * [progress]: iteration 1 / 4 0.230 * * * [progress]: picking best candidate 0.231 * * * * [pick]: Picked # 0.232 * * * [progress]: localizing error 0.238 * * * [progress]: generating rewritten candidates 0.238 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.241 * * * [progress]: generating series expansions 0.241 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.241 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in (x) around 0 0.241 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x 0.242 * [taylor]: Taking taylor expansion of 2.0 in x 0.242 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.242 * [taylor]: Taking taylor expansion of (exp x) in x 0.242 * [taylor]: Taking taylor expansion of x in x 0.242 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.242 * [taylor]: Taking taylor expansion of (- x) in x 0.242 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x 0.243 * [taylor]: Taking taylor expansion of 2.0 in x 0.243 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.243 * [taylor]: Taking taylor expansion of (exp x) in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.243 * [taylor]: Taking taylor expansion of (- x) in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.265 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 0.265 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.265 * [taylor]: Taking taylor expansion of 2.0 in x 0.265 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.265 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.265 * [taylor]: Taking taylor expansion of x in x 0.266 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.266 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.266 * [taylor]: Taking taylor expansion of x in x 0.266 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.266 * [taylor]: Taking taylor expansion of 2.0 in x 0.266 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.266 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.267 * [taylor]: Taking taylor expansion of x in x 0.267 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.267 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.267 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.267 * [taylor]: Taking taylor expansion of x in x 0.277 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 0.277 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.277 * [taylor]: Taking taylor expansion of 2.0 in x 0.277 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.277 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.277 * [taylor]: Taking taylor expansion of x in x 0.277 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.277 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.277 * [taylor]: Taking taylor expansion of -1 in x 0.277 * [taylor]: Taking taylor expansion of x in x 0.278 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.278 * [taylor]: Taking taylor expansion of 2.0 in x 0.278 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.278 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.278 * [taylor]: Taking taylor expansion of x in x 0.278 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.278 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.278 * [taylor]: Taking taylor expansion of -1 in x 0.278 * [taylor]: Taking taylor expansion of x in x 0.283 * * * [progress]: simplifying candidates 0.283 * [simplify]: Simplifying using # : (- 2.0) (- (+ (exp x) (exp (- x)))) (/ 1 (+ (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) 2.0) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ 2.0 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) (/ 2.0 (+ (exp x) (exp (- x)))) (/ 2.0 (+ (exp (* -1 x)) (exp x))) 0.286 * * [simplify]: iteration 0 : 80 enodes (cost 49 ) 0.288 * * [simplify]: iteration 1 : 211 enodes (cost 48 ) 0.293 * * [simplify]: iteration 2 : 703 enodes (cost 48 ) 0.311 * * [simplify]: iteration 3 : 3768 enodes (cost 48 ) 0.437 * * [simplify]: iteration 4 : 5002 enodes (cost 48 ) 0.438 * [simplify]: Simplified to: (- 2.0) (- (+ (exp x) (exp (- x)))) (/ 1 (+ (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) 2.0) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ 2.0 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (fma (pow x 4) 0.20833333333333334 (- 1.0 (* 0.5 (pow x 2)))) (/ 2.0 (+ (exp (* -1 x)) (exp x))) (/ 2.0 (+ (exp (* -1 x)) (exp x))) 0.438 * * * [progress]: adding candidates to table 0.455 * * [progress]: iteration 2 / 4 0.455 * * * [progress]: picking best candidate 0.459 * * * * [pick]: Picked # 0.459 * * * [progress]: localizing error 0.468 * * * [progress]: generating rewritten candidates 0.468 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.469 * * * [progress]: generating series expansions 0.469 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.469 * [approximate]: Taking taylor expansion of (fma (pow x 4) 0.20833333333333334 (- 1.0 (* 0.5 (pow x 2)))) in (x) around 0 0.469 * [taylor]: Taking taylor expansion of (fma (pow x 4) 0.20833333333333334 (- 1.0 (* 0.5 (pow x 2)))) in x 0.469 * [taylor]: Rewrote expression to (+ (* (pow x 4) 0.20833333333333334) (- 1.0 (* 0.5 (pow x 2)))) 0.469 * [taylor]: Taking taylor expansion of (* (pow x 4) 0.20833333333333334) in x 0.469 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.469 * [taylor]: Taking taylor expansion of x in x 0.469 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x 0.469 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.5 (pow x 2))) in x 0.469 * [taylor]: Taking taylor expansion of 1.0 in x 0.469 * [taylor]: Taking taylor expansion of (* 0.5 (pow x 2)) in x 0.469 * [taylor]: Taking taylor expansion of 0.5 in x 0.469 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.470 * [taylor]: Taking taylor expansion of x in x 0.470 * [taylor]: Taking taylor expansion of (fma (pow x 4) 0.20833333333333334 (- 1.0 (* 0.5 (pow x 2)))) in x 0.470 * [taylor]: Rewrote expression to (+ (* (pow x 4) 0.20833333333333334) (- 1.0 (* 0.5 (pow x 2)))) 0.470 * [taylor]: Taking taylor expansion of (* (pow x 4) 0.20833333333333334) in x 0.470 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.470 * [taylor]: Taking taylor expansion of x in x 0.470 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x 0.470 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.5 (pow x 2))) in x 0.470 * [taylor]: Taking taylor expansion of 1.0 in x 0.470 * [taylor]: Taking taylor expansion of (* 0.5 (pow x 2)) in x 0.470 * [taylor]: Taking taylor expansion of 0.5 in x 0.470 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.470 * [taylor]: Taking taylor expansion of x in x 0.477 * [approximate]: Taking taylor expansion of (fma (pow (/ 1 x) 4) 0.20833333333333334 (- 1.0 (* 0.5 (/ 1 (pow x 2))))) in (x) around 0 0.477 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 4) 0.20833333333333334 (- 1.0 (* 0.5 (/ 1 (pow x 2))))) in x 0.477 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 4) 0.20833333333333334) (- 1.0 (* 0.5 (/ 1 (pow x 2))))) 0.477 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 4) 0.20833333333333334) in x 0.477 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x 0.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.477 * [taylor]: Taking taylor expansion of x in x 0.478 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x 0.478 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.5 (/ 1 (pow x 2)))) in x 0.478 * [taylor]: Taking taylor expansion of 1.0 in x 0.478 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x 0.478 * [taylor]: Taking taylor expansion of 0.5 in x 0.478 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.478 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.478 * [taylor]: Taking taylor expansion of x in x 0.478 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 4) 0.20833333333333334 (- 1.0 (* 0.5 (/ 1 (pow x 2))))) in x 0.478 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 4) 0.20833333333333334) (- 1.0 (* 0.5 (/ 1 (pow x 2))))) 0.478 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 4) 0.20833333333333334) in x 0.478 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x 0.479 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.479 * [taylor]: Taking taylor expansion of x in x 0.479 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x 0.479 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.5 (/ 1 (pow x 2)))) in x 0.479 * [taylor]: Taking taylor expansion of 1.0 in x 0.479 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x 0.479 * [taylor]: Taking taylor expansion of 0.5 in x 0.479 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.479 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.479 * [taylor]: Taking taylor expansion of x in x 0.499 * [approximate]: Taking taylor expansion of (fma (pow (/ -1 x) 4) 0.20833333333333334 (- 1.0 (* 0.5 (/ 1 (pow x 2))))) in (x) around 0 0.499 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 4) 0.20833333333333334 (- 1.0 (* 0.5 (/ 1 (pow x 2))))) in x 0.499 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 4) 0.20833333333333334) (- 1.0 (* 0.5 (/ 1 (pow x 2))))) 0.499 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 4) 0.20833333333333334) in x 0.499 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 0.499 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.499 * [taylor]: Taking taylor expansion of -1 in x 0.499 * [taylor]: Taking taylor expansion of x in x 0.500 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x 0.500 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.5 (/ 1 (pow x 2)))) in x 0.500 * [taylor]: Taking taylor expansion of 1.0 in x 0.500 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x 0.500 * [taylor]: Taking taylor expansion of 0.5 in x 0.500 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.500 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.500 * [taylor]: Taking taylor expansion of x in x 0.500 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 4) 0.20833333333333334 (- 1.0 (* 0.5 (/ 1 (pow x 2))))) in x 0.500 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 4) 0.20833333333333334) (- 1.0 (* 0.5 (/ 1 (pow x 2))))) 0.501 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 4) 0.20833333333333334) in x 0.501 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 0.501 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.501 * [taylor]: Taking taylor expansion of -1 in x 0.501 * [taylor]: Taking taylor expansion of x in x 0.501 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x 0.501 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.5 (/ 1 (pow x 2)))) in x 0.501 * [taylor]: Taking taylor expansion of 1.0 in x 0.501 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x 0.501 * [taylor]: Taking taylor expansion of 0.5 in x 0.501 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.501 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.501 * [taylor]: Taking taylor expansion of x in x 0.517 * * * [progress]: simplifying candidates 0.517 * [simplify]: Simplifying using # : (* (pow x 4) 0.20833333333333334) (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) 0.520 * * [simplify]: iteration 0 : 27 enodes (cost 20 ) 0.521 * * [simplify]: iteration 1 : 93 enodes (cost 17 ) 0.524 * * [simplify]: iteration 2 : 233 enodes (cost 17 ) 0.529 * * [simplify]: iteration 3 : 752 enodes (cost 17 ) 0.551 * * [simplify]: iteration 4 : 3262 enodes (cost 17 ) 0.642 * * [simplify]: iteration 5 : 5001 enodes (cost 17 ) 0.643 * [simplify]: Simplified to: (* (pow x 4) 0.20833333333333334) (fma 0.20833333333333334 (pow x 4) (- 1.0 (* 0.5 (pow x 2)))) (fma 0.20833333333333334 (pow x 4) (- 1.0 (* 0.5 (pow x 2)))) (fma 0.20833333333333334 (pow x 4) (- 1.0 (* 0.5 (pow x 2)))) 0.643 * * * [progress]: adding candidates to table 0.648 * * [progress]: iteration 3 / 4 0.648 * * * [progress]: picking best candidate 0.651 * * * * [pick]: Picked # 0.651 * * * [progress]: localizing error 0.666 * * * [progress]: generating rewritten candidates 0.666 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.677 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.695 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 0.699 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 0.706 * * * [progress]: generating series expansions 0.706 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.706 * [approximate]: Taking taylor expansion of (- (pow (exp (- x)) 2) (* (exp x) (exp (- x)))) in (x) around 0 0.706 * [taylor]: Taking taylor expansion of (- (pow (exp (- x)) 2) (* (exp x) (exp (- x)))) in x 0.706 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x 0.706 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.706 * [taylor]: Taking taylor expansion of (- x) in x 0.706 * [taylor]: Taking taylor expansion of x in x 0.711 * [taylor]: Taking taylor expansion of (* (exp x) (exp (- x))) in x 0.711 * [taylor]: Taking taylor expansion of (exp x) in x 0.711 * [taylor]: Taking taylor expansion of x in x 0.711 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.711 * [taylor]: Taking taylor expansion of (- x) in x 0.711 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of (- (pow (exp (- x)) 2) (* (exp x) (exp (- x)))) in x 0.712 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x 0.712 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.712 * [taylor]: Taking taylor expansion of (- x) in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.713 * [taylor]: Taking taylor expansion of (* (exp x) (exp (- x))) in x 0.713 * [taylor]: Taking taylor expansion of (exp x) in x 0.713 * [taylor]: Taking taylor expansion of x in x 0.713 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.713 * [taylor]: Taking taylor expansion of (- x) in x 0.713 * [taylor]: Taking taylor expansion of x in x 0.730 * [approximate]: Taking taylor expansion of (- (pow (exp (- (/ 1 x))) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 0.730 * [taylor]: Taking taylor expansion of (- (pow (exp (- (/ 1 x))) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.730 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x 0.730 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.730 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.730 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.730 * [taylor]: Taking taylor expansion of x in x 0.731 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.731 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.731 * [taylor]: Taking taylor expansion of x in x 0.731 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.731 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.731 * [taylor]: Taking taylor expansion of x in x 0.732 * [taylor]: Taking taylor expansion of (- (pow (exp (- (/ 1 x))) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.732 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x 0.732 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.732 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.732 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.732 * [taylor]: Taking taylor expansion of x in x 0.732 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.732 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.732 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.732 * [taylor]: Taking taylor expansion of x in x 0.733 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.733 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.733 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.733 * [taylor]: Taking taylor expansion of x in x 0.745 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 0.746 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.746 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 0.746 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.746 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.746 * [taylor]: Taking taylor expansion of x in x 0.746 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ -1 x))) in x 0.746 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.746 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.746 * [taylor]: Taking taylor expansion of x in x 0.746 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.746 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.746 * [taylor]: Taking taylor expansion of -1 in x 0.746 * [taylor]: Taking taylor expansion of x in x 0.747 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.747 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 0.747 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.747 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.747 * [taylor]: Taking taylor expansion of x in x 0.747 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ -1 x))) in x 0.747 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.747 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.747 * [taylor]: Taking taylor expansion of x in x 0.747 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.748 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.748 * [taylor]: Taking taylor expansion of -1 in x 0.748 * [taylor]: Taking taylor expansion of x in x 0.759 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.760 * [approximate]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) (* (exp x) (exp (- x)))) (+ (pow (exp (- x)) 3) (pow (exp x) 3)))) in (x) around 0 0.760 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) (* (exp x) (exp (- x)))) (+ (pow (exp (- x)) 3) (pow (exp x) 3)))) in x 0.760 * [taylor]: Taking taylor expansion of 2.0 in x 0.760 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) (* (exp x) (exp (- x)))) (+ (pow (exp (- x)) 3) (pow (exp x) 3))) in x 0.760 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) (* (exp x) (exp (- x)))) in x 0.760 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) (pow (exp (- x)) 2)) in x 0.760 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 0.760 * [taylor]: Taking taylor expansion of (exp x) in x 0.760 * [taylor]: Taking taylor expansion of x in x 0.760 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x 0.760 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.760 * [taylor]: Taking taylor expansion of (- x) in x 0.760 * [taylor]: Taking taylor expansion of x in x 0.761 * [taylor]: Taking taylor expansion of (* (exp x) (exp (- x))) in x 0.761 * [taylor]: Taking taylor expansion of (exp x) in x 0.761 * [taylor]: Taking taylor expansion of x in x 0.761 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.761 * [taylor]: Taking taylor expansion of (- x) in x 0.761 * [taylor]: Taking taylor expansion of x in x 0.761 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 3) (pow (exp x) 3)) in x 0.761 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x 0.761 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.761 * [taylor]: Taking taylor expansion of (- x) in x 0.761 * [taylor]: Taking taylor expansion of x in x 0.762 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 0.762 * [taylor]: Taking taylor expansion of (exp x) in x 0.762 * [taylor]: Taking taylor expansion of x in x 0.764 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) (* (exp x) (exp (- x)))) (+ (pow (exp (- x)) 3) (pow (exp x) 3)))) in x 0.765 * [taylor]: Taking taylor expansion of 2.0 in x 0.765 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) (* (exp x) (exp (- x)))) (+ (pow (exp (- x)) 3) (pow (exp x) 3))) in x 0.765 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) (* (exp x) (exp (- x)))) in x 0.765 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) (pow (exp (- x)) 2)) in x 0.765 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 0.765 * [taylor]: Taking taylor expansion of (exp x) in x 0.765 * [taylor]: Taking taylor expansion of x in x 0.765 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x 0.765 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.765 * [taylor]: Taking taylor expansion of (- x) in x 0.765 * [taylor]: Taking taylor expansion of x in x 0.765 * [taylor]: Taking taylor expansion of (* (exp x) (exp (- x))) in x 0.765 * [taylor]: Taking taylor expansion of (exp x) in x 0.765 * [taylor]: Taking taylor expansion of x in x 0.765 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.765 * [taylor]: Taking taylor expansion of (- x) in x 0.765 * [taylor]: Taking taylor expansion of x in x 0.766 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 3) (pow (exp x) 3)) in x 0.766 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x 0.766 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.766 * [taylor]: Taking taylor expansion of (- x) in x 0.766 * [taylor]: Taking taylor expansion of x in x 0.766 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 0.766 * [taylor]: Taking taylor expansion of (exp x) in x 0.766 * [taylor]: Taking taylor expansion of x in x 0.841 * [approximate]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp (/ 1 x)) 2) (pow (exp (- (/ 1 x))) 2)) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)))) in (x) around 0 0.841 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp (/ 1 x)) 2) (pow (exp (- (/ 1 x))) 2)) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)))) in x 0.841 * [taylor]: Taking taylor expansion of 2.0 in x 0.841 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (/ 1 x)) 2) (pow (exp (- (/ 1 x))) 2)) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3))) in x 0.841 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) (pow (exp (- (/ 1 x))) 2)) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.842 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) (pow (exp (- (/ 1 x))) 2)) in x 0.842 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 0.842 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.842 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.842 * [taylor]: Taking taylor expansion of x in x 0.842 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x 0.842 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.842 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.842 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.842 * [taylor]: Taking taylor expansion of x in x 0.843 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.843 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.843 * [taylor]: Taking taylor expansion of x in x 0.843 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.843 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.843 * [taylor]: Taking taylor expansion of x in x 0.843 * [taylor]: Taking taylor expansion of (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)) in x 0.844 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x 0.844 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.844 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.844 * [taylor]: Taking taylor expansion of x in x 0.844 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.844 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.844 * [taylor]: Taking taylor expansion of x in x 0.846 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp (/ 1 x)) 2) (pow (exp (- (/ 1 x))) 2)) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)))) in x 0.846 * [taylor]: Taking taylor expansion of 2.0 in x 0.846 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (/ 1 x)) 2) (pow (exp (- (/ 1 x))) 2)) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3))) in x 0.846 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) (pow (exp (- (/ 1 x))) 2)) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.846 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) (pow (exp (- (/ 1 x))) 2)) in x 0.846 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 0.846 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.846 * [taylor]: Taking taylor expansion of x in x 0.847 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x 0.847 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.847 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.847 * [taylor]: Taking taylor expansion of x in x 0.847 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.847 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.847 * [taylor]: Taking taylor expansion of x in x 0.848 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.848 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.848 * [taylor]: Taking taylor expansion of x in x 0.848 * [taylor]: Taking taylor expansion of (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)) in x 0.848 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x 0.848 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.849 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.849 * [taylor]: Taking taylor expansion of x in x 0.849 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.849 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.849 * [taylor]: Taking taylor expansion of x in x 0.910 * [approximate]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ 1 x)) 2)) (* (exp (/ 1 x)) (exp (/ -1 x)))) (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) in (x) around 0 0.910 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ 1 x)) 2)) (* (exp (/ 1 x)) (exp (/ -1 x)))) (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) in x 0.910 * [taylor]: Taking taylor expansion of 2.0 in x 0.910 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ 1 x)) 2)) (* (exp (/ 1 x)) (exp (/ -1 x)))) (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) in x 0.910 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ 1 x)) 2)) (* (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.910 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ 1 x)) 2)) in x 0.910 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 0.910 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.910 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.910 * [taylor]: Taking taylor expansion of -1 in x 0.910 * [taylor]: Taking taylor expansion of x in x 0.911 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 0.911 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.911 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.911 * [taylor]: Taking taylor expansion of x in x 0.911 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ -1 x))) in x 0.911 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.911 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.911 * [taylor]: Taking taylor expansion of x in x 0.912 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.912 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.912 * [taylor]: Taking taylor expansion of -1 in x 0.912 * [taylor]: Taking taylor expansion of x in x 0.912 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)) in x 0.912 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 0.912 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.912 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.912 * [taylor]: Taking taylor expansion of -1 in x 0.912 * [taylor]: Taking taylor expansion of x in x 0.912 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.912 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.912 * [taylor]: Taking taylor expansion of x in x 0.914 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ 1 x)) 2)) (* (exp (/ 1 x)) (exp (/ -1 x)))) (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) in x 0.914 * [taylor]: Taking taylor expansion of 2.0 in x 0.914 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ 1 x)) 2)) (* (exp (/ 1 x)) (exp (/ -1 x)))) (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) in x 0.914 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ 1 x)) 2)) (* (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.914 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ 1 x)) 2)) in x 0.914 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 0.914 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.914 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.915 * [taylor]: Taking taylor expansion of -1 in x 0.915 * [taylor]: Taking taylor expansion of x in x 0.915 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 0.915 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.915 * [taylor]: Taking taylor expansion of x in x 0.915 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ -1 x))) in x 0.915 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.915 * [taylor]: Taking taylor expansion of x in x 0.916 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.916 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.916 * [taylor]: Taking taylor expansion of -1 in x 0.916 * [taylor]: Taking taylor expansion of x in x 0.916 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)) in x 0.916 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 0.916 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.916 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.916 * [taylor]: Taking taylor expansion of -1 in x 0.916 * [taylor]: Taking taylor expansion of x in x 0.916 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.916 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.916 * [taylor]: Taking taylor expansion of x in x 0.974 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 0.974 * [approximate]: Taking taylor expansion of (* (exp x) (exp (- x))) in (x) around 0 0.974 * [taylor]: Taking taylor expansion of (* (exp x) (exp (- x))) in x 0.974 * [taylor]: Taking taylor expansion of (exp x) in x 0.974 * [taylor]: Taking taylor expansion of x in x 0.974 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.974 * [taylor]: Taking taylor expansion of (- x) in x 0.974 * [taylor]: Taking taylor expansion of x in x 0.975 * [taylor]: Taking taylor expansion of (* (exp x) (exp (- x))) in x 0.975 * [taylor]: Taking taylor expansion of (exp x) in x 0.975 * [taylor]: Taking taylor expansion of x in x 0.975 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.975 * [taylor]: Taking taylor expansion of (- x) in x 0.975 * [taylor]: Taking taylor expansion of x in x 1.015 * [approximate]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 1.015 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.015 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.015 * [taylor]: Taking taylor expansion of x in x 1.015 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.015 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.015 * [taylor]: Taking taylor expansion of x in x 1.016 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.016 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.016 * [taylor]: Taking taylor expansion of x in x 1.016 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.016 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.016 * [taylor]: Taking taylor expansion of x in x 1.021 * [approximate]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 1.021 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ -1 x))) in x 1.021 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.021 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.021 * [taylor]: Taking taylor expansion of x in x 1.021 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.021 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.022 * [taylor]: Taking taylor expansion of -1 in x 1.022 * [taylor]: Taking taylor expansion of x in x 1.022 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ -1 x))) in x 1.022 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.022 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.022 * [taylor]: Taking taylor expansion of x in x 1.022 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.022 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.022 * [taylor]: Taking taylor expansion of -1 in x 1.022 * [taylor]: Taking taylor expansion of x in x 1.027 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 1.027 * [approximate]: Taking taylor expansion of (pow (exp x) 3) in (x) around 0 1.027 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 1.027 * [taylor]: Taking taylor expansion of (exp x) in x 1.027 * [taylor]: Taking taylor expansion of x in x 1.027 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 1.027 * [taylor]: Taking taylor expansion of (exp x) in x 1.027 * [taylor]: Taking taylor expansion of x in x 1.031 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0 1.031 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 1.031 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.031 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.031 * [taylor]: Taking taylor expansion of x in x 1.031 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 1.031 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.031 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.031 * [taylor]: Taking taylor expansion of x in x 1.040 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0 1.040 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 1.040 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.040 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.040 * [taylor]: Taking taylor expansion of -1 in x 1.040 * [taylor]: Taking taylor expansion of x in x 1.041 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 1.041 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.041 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.041 * [taylor]: Taking taylor expansion of -1 in x 1.041 * [taylor]: Taking taylor expansion of x in x 1.054 * * * [progress]: simplifying candidates 1.057 * [simplify]: Simplifying using # : (fma (exp (- x)) (exp (- x)) (- (* (exp (- x)) (exp x)))) (fma (- (exp (- x))) (exp x) (* (exp (- x)) (exp x))) (fma (exp (- x)) (exp (- x)) (- (* (exp x) (exp (- x))))) (fma (- (exp x)) (exp (- x)) (* (exp x) (exp (- x)))) (fma (exp (- x)) (exp (- x)) (- (* (exp (- x)) (exp x)))) (fma (- (exp (- x))) (exp x) (* (exp (- x)) (exp x))) (fma (exp (- x)) (exp (- x)) (- (* (exp x) (exp (- x))))) (fma (- (exp x)) (exp (- x)) (* (exp x) (exp (- x)))) (- (* (exp x) (exp (- x)))) (- (* (exp x) (exp (- x)))) (- (exp (- x)) (exp x)) (- (exp (- x)) (* (exp x) 1)) (- (exp (- x)) (* (exp x) (exp 0))) (- (* (exp (- x)) 1) (exp x)) (- (* (exp (- x)) 1) (* (exp x) 1)) (- (* (exp (- x)) 1) (* (exp x) (exp 0))) (- (* (exp (- x)) (exp 0)) (exp x)) (- (* (exp (- x)) (exp 0)) (* (exp x) 1)) (- (* (exp (- x)) (exp 0)) (* (exp x) (exp 0))) (- (* 1 (exp (- x))) (exp x)) (- (* 1 (exp (- x))) (* (exp x) 1)) (- (* 1 (exp (- x))) (* (exp x) (exp 0))) (- (* (exp 0) (exp (- x))) (exp x)) (- (* (exp 0) (exp (- x))) (* (exp x) 1)) (- (* (exp 0) (exp (- x))) (* (exp x) (exp 0))) (- (* (* 1 1) (exp x)) (* (* (exp x) (exp x)) (exp x))) (* (* (exp x) (exp x)) (exp x)) (- (* (* 1 1) (exp x)) (* (* (exp x) (exp x)) (* (exp x) 1))) (* (* (exp x) (exp x)) (exp x)) (- (* (* 1 1) (exp x)) (* (* (exp x) (exp x)) (* (exp x) (exp 0)))) (* (* (exp x) (exp x)) (exp x)) (- (* (* 1 (exp 0)) (exp x)) (* (* (exp x) (exp x)) (exp x))) (* (* (exp x) (exp x)) (exp x)) (- (* (* 1 (exp 0)) (exp x)) (* (* (exp x) (exp x)) (* (exp x) 1))) (* (* (exp x) (exp x)) (exp x)) (- (* (* 1 (exp 0)) (exp x)) (* (* (exp x) (exp x)) (* (exp x) (exp 0)))) (* (* (exp x) (exp x)) (exp x)) (- (* (* (exp 0) 1) (exp x)) (* (* (exp x) (exp x)) (exp x))) (* (* (exp x) (exp x)) (exp x)) (- (* (* (exp 0) 1) (exp x)) (* (* (exp x) (exp x)) (* (exp x) 1))) (* (* (exp x) (exp x)) (exp x)) (- (* (* (exp 0) 1) (exp x)) (* (* (exp x) (exp x)) (* (exp x) (exp 0)))) (* (* (exp x) (exp x)) (exp x)) (- (* (* (exp 0) (exp 0)) (exp x)) (* (* (exp x) (exp x)) (exp x))) (* (* (exp x) (exp x)) (exp x)) (- (* (* (exp 0) (exp 0)) (exp x)) (* (* (exp x) (exp x)) (* (exp x) 1))) (* (* (exp x) (exp x)) (exp x)) (- (* (* (exp 0) (exp 0)) (exp x)) (* (* (exp x) (exp x)) (* (exp x) (exp 0)))) (* (* (exp x) (exp x)) (exp x)) (- (* (exp (- x)) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x)) (- (* (exp (- x)) (exp x)) (* (exp x) (* (exp x) 1))) (* (exp x) (exp x)) (- (* (exp (- x)) (exp x)) (* (exp x) (* (exp x) (exp 0)))) (* (exp x) (exp x)) (- (* (* (exp (- x)) 1) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x)) (- (* (* (exp (- x)) 1) (exp x)) (* (exp x) (* (exp x) 1))) (* (exp x) (exp x)) (- (* (* (exp (- x)) 1) (exp x)) (* (exp x) (* (exp x) (exp 0)))) (* (exp x) (exp x)) (- (* (* (exp (- x)) (exp 0)) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x)) (- (* (* (exp (- x)) (exp 0)) (exp x)) (* (exp x) (* (exp x) 1))) (* (exp x) (exp x)) (- (* (* (exp (- x)) (exp 0)) (exp x)) (* (exp x) (* (exp x) (exp 0)))) (* (exp x) (exp x)) (- (* (* 1 (exp (- x))) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x)) (- (* (* 1 (exp (- x))) (exp x)) (* (exp x) (* (exp x) 1))) (* (exp x) (exp x)) (- (* (* 1 (exp (- x))) (exp x)) (* (exp x) (* (exp x) (exp 0)))) (* (exp x) (exp x)) (- (* (* (exp 0) (exp (- x))) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x)) (- (* (* (exp 0) (exp (- x))) (exp x)) (* (exp x) (* (exp x) 1))) (* (exp x) (exp x)) (- (* (* (exp 0) (exp (- x))) (exp x)) (* (exp x) (* (exp x) (exp 0)))) (* (exp x) (exp x)) (- (pow (* (exp (- x)) (exp (- x))) 3) (pow (* (exp x) (exp (- x))) 3)) (+ (* (* (exp (- x)) (exp (- x))) (* (exp (- x)) (exp (- x)))) (+ (* (* (exp x) (exp (- x))) (* (exp x) (exp (- x)))) (* (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (- (* (exp x) (exp (- x)))) (- (* (* (exp (- x)) (exp (- x))) (* (exp (- x)) (exp (- x)))) (* (* (exp x) (exp (- x))) (* (exp x) (exp (- x))))) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (* (exp x) (exp (- x)))) (* 2.0 (+ (pow (* (exp x) (exp x)) 3) (pow (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) 3))) (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (* (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))))) (* 2.0 (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))) (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (- (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (* (- 2.0) (+ (pow (* (exp x) (exp x)) 3) (pow (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) 3))) (* (- (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (* (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))))) (* (- 2.0) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))) (* (- (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (- (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (* 1 (+ (pow (* (exp x) (exp x)) 3) (pow (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) 3))) (* (/ (+ (pow (exp x) 3) (pow (exp (- x)) 3)) 2.0) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (* (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))))) (* 1 (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))) (* (/ (+ (pow (exp x) 3) (pow (exp (- x)) 3)) 2.0) (- (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (* (/ 2.0 (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (+ (pow (* (exp x) (exp x)) 3) (pow (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) 3))) (* (+ (exp x) (exp (- x))) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (* (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))))) (* (/ 2.0 (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))) (* (+ (exp x) (exp (- x))) (- (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (* (exp x) (exp x))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (exp x) (exp x)) (fma (exp (- x)) (exp (- x)) (- (* (exp (- x)) (exp x)))))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (fma (- (exp (- x))) (exp x) (* (exp (- x)) (exp x)))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (exp x) (exp x)) (fma (exp (- x)) (exp (- x)) (- (* (exp x) (exp (- x))))))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (fma (- (exp x)) (exp (- x)) (* (exp x) (exp (- x))))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (exp x) (exp x)) (fma (exp (- x)) (exp (- x)) (- (* (exp (- x)) (exp x)))))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (fma (- (exp (- x))) (exp x) (* (exp (- x)) (exp x)))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (exp x) (exp x)) (fma (exp (- x)) (exp (- x)) (- (* (exp x) (exp (- x))))))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (fma (- (exp x)) (exp (- x)) (* (exp x) (exp (- x))))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (- (* (exp x) (exp (- x))))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (- (* (exp x) (exp (- x))))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (* (exp x) (exp x))) (* (* (exp x) (exp x)) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (+ (* (exp x) (exp x)) (fma (exp (- x)) (exp (- x)) (- (* (exp (- x)) (exp x))))) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (fma (- (exp (- x))) (exp x) (* (exp (- x)) (exp x))) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (+ (* (exp x) (exp x)) (fma (exp (- x)) (exp (- x)) (- (* (exp x) (exp (- x)))))) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (fma (- (exp x)) (exp (- x)) (* (exp x) (exp (- x)))) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (+ (* (exp x) (exp x)) (fma (exp (- x)) (exp (- x)) (- (* (exp (- x)) (exp x))))) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (fma (- (exp (- x))) (exp x) (* (exp (- x)) (exp x))) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (+ (* (exp x) (exp x)) (fma (exp (- x)) (exp (- x)) (- (* (exp x) (exp (- x)))))) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (fma (- (exp x)) (exp (- x)) (* (exp x) (exp (- x)))) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (+ (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (- (* (exp x) (exp (- x)))) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (+ (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (- (* (exp x) (exp (- x)))) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (* (exp x) (exp x)) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (/ 1 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (* (+ (* (pow (exp x) 3) (pow (exp x) 3)) (- (* (pow (exp (- x)) 3) (pow (exp (- x)) 3)) (* (pow (exp x) 3) (pow (exp (- x)) 3)))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (* (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (pow (* (exp x) (exp x)) 3) (pow (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) 3))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))) (* 2.0 (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (* (- 2.0) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (* 1 (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (* (/ 2.0 (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (+ x (- x)) (* (exp x) 1) (* (exp x) (exp 0)) (* x 3) (* (log (exp x)) 3) (* (exp x) (exp x)) (pow (exp x) (/ 3 2)) (pow (exp x) (/ 3 2)) (- (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (pow (exp (- x)) 2) (* (exp x) (exp (- x)))) (- (pow (exp (* -1 x)) 2) (* (exp (* -1 x)) (exp x))) (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) (* 2.0 (/ (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) (* (exp x) (exp (- x)))) (+ (pow (exp (- x)) 3) (pow (exp x) 3)))) (* 2.0 (/ (- (+ (pow (exp x) 2) (pow (exp (* -1 x)) 2)) (* (exp (* -1 x)) (exp x))) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)))) 1 (* (exp x) (exp (- x))) (* (exp (* -1 x)) (exp x)) (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) (pow (exp x) 3) (pow (exp x) 3) 1.067 * * [simplify]: iteration 0 : 735 enodes (cost 1597 ) 1.078 * * [simplify]: iteration 1 : 3087 enodes (cost 1210 ) 1.137 * * [simplify]: iteration 2 : 5001 enodes (cost 1164 ) 1.143 * [simplify]: Simplified to: (expm1 (* x -2)) (fma (- 1) 1 1) (expm1 (* x -2)) (fma (- 1) 1 1) (expm1 (* x -2)) (fma (- 1) 1 1) (expm1 (* x -2)) (fma (- 1) 1 1) (- 1) (- 1) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (* (exp x) (- 1 (pow (exp x) 2))) (pow (exp x) 3) (* (exp x) (- 1 (pow (exp x) 2))) (pow (exp x) 3) (* (exp x) (- 1 (pow (exp x) 2))) (pow (exp x) 3) (* (exp x) (- 1 (pow (exp x) 2))) (pow (exp x) 3) (* (exp x) (- 1 (pow (exp x) 2))) (pow (exp x) 3) (* (exp x) (- 1 (pow (exp x) 2))) (pow (exp x) 3) (* (exp x) (- 1 (pow (exp x) 2))) (pow (exp x) 3) (* (exp x) (- 1 (pow (exp x) 2))) (pow (exp x) 3) (* (exp x) (- 1 (pow (exp x) 2))) (pow (exp x) 3) (* (exp x) (- 1 (pow (exp x) 2))) (pow (exp x) 3) (* (exp x) (- 1 (pow (exp x) 2))) (pow (exp x) 3) (* (exp x) (- 1 (pow (exp x) 2))) (pow (exp x) 3) (- 1 (pow (exp x) 2)) (pow (exp x) 2) (- 1 (pow (exp x) 2)) (pow (exp x) 2) (- 1 (pow (exp x) 2)) (pow (exp x) 2) (- 1 (pow (exp x) 2)) (pow (exp x) 2) (- 1 (pow (exp x) 2)) (pow (exp x) 2) (- 1 (pow (exp x) 2)) (pow (exp x) 2) (- 1 (pow (exp x) 2)) (pow (exp x) 2) (- 1 (pow (exp x) 2)) (pow (exp x) 2) (- 1 (pow (exp x) 2)) (pow (exp x) 2) (- 1 (pow (exp x) 2)) (pow (exp x) 2) (- 1 (pow (exp x) 2)) (pow (exp x) 2) (- 1 (pow (exp x) 2)) (pow (exp x) 2) (- 1 (pow (exp x) 2)) (pow (exp x) 2) (- 1 (pow (exp x) 2)) (pow (exp x) 2) (- 1 (pow (exp x) 2)) (pow (exp x) 2) (fma (- 1) 1 (pow (exp (- x)) 6)) (fma (pow (exp (- x)) 4) 1 (+ (pow (exp (- x)) 2) 1)) (- 1) (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- 1) (fma (pow (exp x) 6) 2.0 (* 2.0 (pow (* (exp (- x)) (- (exp (- x)) (exp x))) 3))) (fma (expm1 (* x -2)) (* (- (pow (exp (- x)) 2) (+ 1 (pow (exp x) 2))) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (* (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)) (pow (exp x) 4))) (* (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1) (* (- (pow (exp x) 2) (- (pow (exp (- x)) 2) 1)) 2.0)) (* (+ (- (pow (exp x) 2) (pow (exp (- x)) 2)) (exp (+ x (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (fma (pow (exp x) 6) (- 2.0) (* (- 2.0) (pow (* (exp (- x)) (- (exp (- x)) (exp x))) 3))) (fma (expm1 (* x -2)) (* (- (pow (exp (- x)) 2) (+ 1 (pow (exp x) 2))) (- (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (- (* (pow (exp x) 4) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))))) (* (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1) (* (- (pow (exp x) 2) (- (pow (exp (- x)) 2) 1)) (- 2.0))) (* (+ (- (pow (exp x) 2) (pow (exp (- x)) 2)) (exp (+ x (- x)))) (- (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (+ (pow (* (exp (- x)) (- (exp (- x)) (exp x))) 3) (pow (exp x) 6)) (- (/ (fma (expm1 (* x -2)) (expm1 (* x -2)) (pow (exp x) 4)) (/ 2.0 (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)))) (/ (- 1 (pow (exp x) 2)) (/ 2.0 (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))))) (fma (* (- (exp (- x))) (- (exp (- x)) (exp x))) (expm1 (* x -2)) (pow (exp x) 4)) (/ (- (pow (exp x) 2) (- (pow (exp (- x)) 2) 1)) (/ 2.0 (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)))) (/ (/ (+ (* 2.0 (pow (exp x) 6)) (* 2.0 (pow (* (exp (- x)) (- (exp (- x)) (exp x))) 3))) 1) (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1)) (fma (expm1 (* x -2)) (* (- (pow (exp (- x)) 2) (+ 1 (pow (exp x) 2))) (+ (exp x) (exp (- x)))) (* (pow (exp x) 3) (* (exp x) (+ (exp x) (exp (- x)))))) (/ (/ (* (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1) (* (- (pow (exp x) 2) (- (pow (exp (- x)) 2) 1)) 2.0)) 1) (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1)) (* (+ (- (pow (exp x) 2) (pow (exp (- x)) 2)) (exp (+ x (- x)))) (+ (exp x) (exp (- x)))) (/ (* 2.0 (pow (exp x) 2)) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (+ (* 2.0 (pow (exp (- x)) 2)) (- (* 2.0 1))) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (/ 2.0 (/ (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)) (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1))) (/ (+ (- (* 2.0 1)) (* 2.0 1)) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (/ 2.0 (/ (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)) (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1))) (/ (+ (- (* 2.0 1)) (* 2.0 1)) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (/ 2.0 (/ (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)) (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1))) (/ (+ (- (* 2.0 1)) (* 2.0 1)) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (/ 2.0 (/ (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)) (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1))) (/ (+ (- (* 2.0 1)) (* 2.0 1)) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (pow (exp x) 2) (pow (exp (- x)) 2))) (* (- (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) 1) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (pow (exp x) 2) (pow (exp (- x)) 2))) (* (- (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) 1) (/ (+ (* 2.0 (pow (exp (- x)) 2)) (- (* 2.0 1))) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (/ (* 2.0 (pow (exp x) 2)) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (* 2.0 (pow (exp x) 2)) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (+ (* 2.0 (pow (exp (- x)) 2)) (- (* 2.0 1))) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (/ 2.0 (/ (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)) (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1))) (/ (+ (- (* 2.0 1)) (* 2.0 1)) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (/ 2.0 (/ (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)) (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1))) (/ (+ (- (* 2.0 1)) (* 2.0 1)) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (/ 2.0 (/ (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)) (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1))) (/ (+ (- (* 2.0 1)) (* 2.0 1)) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (/ 2.0 (/ (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)) (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1))) (/ (+ (- (* 2.0 1)) (* 2.0 1)) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (pow (exp x) 2) (pow (exp (- x)) 2))) (* (- (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) 1) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (pow (exp x) 2) (pow (exp (- x)) 2))) (* (- (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) 1) (/ (+ (* 2.0 (pow (exp (- x)) 2)) (- (* 2.0 1))) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (/ (* 2.0 (pow (exp x) 2)) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (* (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1) 1) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (* (* (fma (pow (exp (- x)) 3) (- (pow (exp (- x)) 3) (pow (exp x) 3)) (pow (exp x) 6)) 1) (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1)) (* (* (- (pow (exp x) 3) (pow (exp (- x)) 3)) 1) (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1)) (/ (+ (* 2.0 (pow (exp x) 6)) (* 2.0 (pow (* (exp (- x)) (- (exp (- x)) (exp x))) 3))) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (* (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1)) (- (pow (exp x) 2) (- (pow (exp (- x)) 2) 1))) (fma 2.0 (expm1 (* x -2)) (* (pow (exp x) 2) 2.0)) (fma (- 2.0) (expm1 (* x -2)) (* (pow (exp x) 2) (- 2.0))) (fma (pow (exp x) 2) 1 (expm1 (* x -2))) (/ (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1) (/ (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1) 2.0)) 0 (exp x) (exp x) (* 3 x) (* 3 x) (pow (exp x) 2) (pow (exp x) 3/2) (pow (exp x) 3/2) (fma 2 (pow x 2) (- (fma 4/3 (pow x 3) (* 2 x)))) (expm1 (* x -2)) (expm1 (* x -2)) (fma (pow x 4) 0.20833333333333334 (- 1.0 (* 0.5 (pow x 2)))) (/ 2.0 (/ (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)) (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1))) (/ 2.0 (/ (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)) (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1))) 1 1 1 (fma 9/2 (pow x 2) (fma 3 x 1)) (pow (exp x) 3) (pow (exp x) 3) 1.144 * * * [progress]: adding candidates to table 1.335 * * [progress]: iteration 4 / 4 1.335 * * * [progress]: picking best candidate 1.338 * * * * [pick]: Picked # 1.338 * * * [progress]: localizing error 1.358 * * * [progress]: generating rewritten candidates 1.358 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 1.359 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 1.374 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 1.379 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1) 1.382 * * * [progress]: generating series expansions 1.382 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 1.383 * [approximate]: Taking taylor expansion of (fma (pow (exp (- x)) 4) 1 -1) in (x) around 0 1.383 * [taylor]: Taking taylor expansion of (fma (pow (exp (- x)) 4) 1 -1) in x 1.383 * [taylor]: Rewrote expression to (+ (* (pow (exp (- x)) 4) 1) -1) 1.383 * [taylor]: Taking taylor expansion of (* (pow (exp (- x)) 4) 1) in x 1.383 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 4) in x 1.383 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.383 * [taylor]: Taking taylor expansion of (- x) in x 1.383 * [taylor]: Taking taylor expansion of x in x 1.384 * [taylor]: Taking taylor expansion of 1 in x 1.384 * [taylor]: Taking taylor expansion of -1 in x 1.384 * [taylor]: Taking taylor expansion of (fma (pow (exp (- x)) 4) 1 -1) in x 1.384 * [taylor]: Rewrote expression to (+ (* (pow (exp (- x)) 4) 1) -1) 1.384 * [taylor]: Taking taylor expansion of (* (pow (exp (- x)) 4) 1) in x 1.384 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 4) in x 1.384 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.384 * [taylor]: Taking taylor expansion of (- x) in x 1.384 * [taylor]: Taking taylor expansion of x in x 1.384 * [taylor]: Taking taylor expansion of 1 in x 1.384 * [taylor]: Taking taylor expansion of -1 in x 1.396 * [approximate]: Taking taylor expansion of (fma (pow (exp (- (/ 1 x))) 4) 1 -1) in (x) around 0 1.396 * [taylor]: Taking taylor expansion of (fma (pow (exp (- (/ 1 x))) 4) 1 -1) in x 1.396 * [taylor]: Rewrote expression to (+ (* (pow (exp (- (/ 1 x))) 4) 1) -1) 1.396 * [taylor]: Taking taylor expansion of (* (pow (exp (- (/ 1 x))) 4) 1) in x 1.396 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 4) in x 1.396 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.396 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.396 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.396 * [taylor]: Taking taylor expansion of x in x 1.396 * [taylor]: Taking taylor expansion of 1 in x 1.396 * [taylor]: Taking taylor expansion of -1 in x 1.396 * [taylor]: Taking taylor expansion of (fma (pow (exp (- (/ 1 x))) 4) 1 -1) in x 1.397 * [taylor]: Rewrote expression to (+ (* (pow (exp (- (/ 1 x))) 4) 1) -1) 1.397 * [taylor]: Taking taylor expansion of (* (pow (exp (- (/ 1 x))) 4) 1) in x 1.397 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 4) in x 1.397 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.397 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.397 * [taylor]: Taking taylor expansion of x in x 1.397 * [taylor]: Taking taylor expansion of 1 in x 1.397 * [taylor]: Taking taylor expansion of -1 in x 1.412 * [approximate]: Taking taylor expansion of (fma (pow (exp (/ 1 x)) 4) 1 -1) in (x) around 0 1.412 * [taylor]: Taking taylor expansion of (fma (pow (exp (/ 1 x)) 4) 1 -1) in x 1.412 * [taylor]: Rewrote expression to (+ (* (pow (exp (/ 1 x)) 4) 1) -1) 1.412 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1 x)) 4) 1) in x 1.412 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 1.412 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.412 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.412 * [taylor]: Taking taylor expansion of x in x 1.412 * [taylor]: Taking taylor expansion of 1 in x 1.412 * [taylor]: Taking taylor expansion of -1 in x 1.412 * [taylor]: Taking taylor expansion of (fma (pow (exp (/ 1 x)) 4) 1 -1) in x 1.413 * [taylor]: Rewrote expression to (+ (* (pow (exp (/ 1 x)) 4) 1) -1) 1.413 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1 x)) 4) 1) in x 1.413 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 1.413 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.413 * [taylor]: Taking taylor expansion of x in x 1.413 * [taylor]: Taking taylor expansion of 1 in x 1.413 * [taylor]: Taking taylor expansion of -1 in x 1.427 * * * * [progress]: [ 2 / 4 ] generating series at (2) 1.427 * [approximate]: Taking taylor expansion of (* 2.0 (/ (+ (/ (fma (pow (exp (- x)) 4) 1 -1) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2)) (+ (pow (exp (- x)) 3) (pow (exp x) 3)))) in (x) around 0 1.427 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ (fma (pow (exp (- x)) 4) 1 -1) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2)) (+ (pow (exp (- x)) 3) (pow (exp x) 3)))) in x 1.427 * [taylor]: Taking taylor expansion of 2.0 in x 1.427 * [taylor]: Taking taylor expansion of (/ (+ (/ (fma (pow (exp (- x)) 4) 1 -1) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2)) (+ (pow (exp (- x)) 3) (pow (exp x) 3))) in x 1.427 * [taylor]: Taking taylor expansion of (+ (/ (fma (pow (exp (- x)) 4) 1 -1) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2)) in x 1.427 * [taylor]: Taking taylor expansion of (/ (fma (pow (exp (- x)) 4) 1 -1) (+ (pow (exp (- x)) 2) 1)) in x 1.427 * [taylor]: Taking taylor expansion of (fma (pow (exp (- x)) 4) 1 -1) in x 1.428 * [taylor]: Rewrote expression to (+ (* (pow (exp (- x)) 4) 1) -1) 1.428 * [taylor]: Taking taylor expansion of (* (pow (exp (- x)) 4) 1) in x 1.428 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 4) in x 1.428 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.428 * [taylor]: Taking taylor expansion of (- x) in x 1.428 * [taylor]: Taking taylor expansion of x in x 1.428 * [taylor]: Taking taylor expansion of 1 in x 1.428 * [taylor]: Taking taylor expansion of -1 in x 1.428 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 2) 1) in x 1.428 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x 1.428 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.428 * [taylor]: Taking taylor expansion of (- x) in x 1.428 * [taylor]: Taking taylor expansion of x in x 1.429 * [taylor]: Taking taylor expansion of 1 in x 1.432 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 1.432 * [taylor]: Taking taylor expansion of (exp x) in x 1.433 * [taylor]: Taking taylor expansion of x in x 1.433 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 3) (pow (exp x) 3)) in x 1.433 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x 1.433 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.433 * [taylor]: Taking taylor expansion of (- x) in x 1.433 * [taylor]: Taking taylor expansion of x in x 1.433 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 1.433 * [taylor]: Taking taylor expansion of (exp x) in x 1.433 * [taylor]: Taking taylor expansion of x in x 1.435 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ (fma (pow (exp (- x)) 4) 1 -1) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2)) (+ (pow (exp (- x)) 3) (pow (exp x) 3)))) in x 1.435 * [taylor]: Taking taylor expansion of 2.0 in x 1.435 * [taylor]: Taking taylor expansion of (/ (+ (/ (fma (pow (exp (- x)) 4) 1 -1) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2)) (+ (pow (exp (- x)) 3) (pow (exp x) 3))) in x 1.435 * [taylor]: Taking taylor expansion of (+ (/ (fma (pow (exp (- x)) 4) 1 -1) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2)) in x 1.435 * [taylor]: Taking taylor expansion of (/ (fma (pow (exp (- x)) 4) 1 -1) (+ (pow (exp (- x)) 2) 1)) in x 1.435 * [taylor]: Taking taylor expansion of (fma (pow (exp (- x)) 4) 1 -1) in x 1.435 * [taylor]: Rewrote expression to (+ (* (pow (exp (- x)) 4) 1) -1) 1.435 * [taylor]: Taking taylor expansion of (* (pow (exp (- x)) 4) 1) in x 1.435 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 4) in x 1.435 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.435 * [taylor]: Taking taylor expansion of (- x) in x 1.435 * [taylor]: Taking taylor expansion of x in x 1.436 * [taylor]: Taking taylor expansion of 1 in x 1.436 * [taylor]: Taking taylor expansion of -1 in x 1.436 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 2) 1) in x 1.436 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x 1.436 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.436 * [taylor]: Taking taylor expansion of (- x) in x 1.436 * [taylor]: Taking taylor expansion of x in x 1.436 * [taylor]: Taking taylor expansion of 1 in x 1.440 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 1.440 * [taylor]: Taking taylor expansion of (exp x) in x 1.440 * [taylor]: Taking taylor expansion of x in x 1.440 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 3) (pow (exp x) 3)) in x 1.440 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x 1.440 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.440 * [taylor]: Taking taylor expansion of (- x) in x 1.440 * [taylor]: Taking taylor expansion of x in x 1.441 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 1.441 * [taylor]: Taking taylor expansion of (exp x) in x 1.441 * [taylor]: Taking taylor expansion of x in x 1.511 * [approximate]: Taking taylor expansion of (* 2.0 (/ (+ (/ (fma (pow (exp (- (/ 1 x))) 4) 1 -1) (+ 1 (pow (exp (- (/ 1 x))) 2))) (pow (exp (/ 1 x)) 2)) (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)))) in (x) around 0 1.511 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ (fma (pow (exp (- (/ 1 x))) 4) 1 -1) (+ 1 (pow (exp (- (/ 1 x))) 2))) (pow (exp (/ 1 x)) 2)) (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)))) in x 1.511 * [taylor]: Taking taylor expansion of 2.0 in x 1.511 * [taylor]: Taking taylor expansion of (/ (+ (/ (fma (pow (exp (- (/ 1 x))) 4) 1 -1) (+ 1 (pow (exp (- (/ 1 x))) 2))) (pow (exp (/ 1 x)) 2)) (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3))) in x 1.511 * [taylor]: Taking taylor expansion of (+ (/ (fma (pow (exp (- (/ 1 x))) 4) 1 -1) (+ 1 (pow (exp (- (/ 1 x))) 2))) (pow (exp (/ 1 x)) 2)) in x 1.511 * [taylor]: Taking taylor expansion of (/ (fma (pow (exp (- (/ 1 x))) 4) 1 -1) (+ 1 (pow (exp (- (/ 1 x))) 2))) in x 1.511 * [taylor]: Taking taylor expansion of (fma (pow (exp (- (/ 1 x))) 4) 1 -1) in x 1.511 * [taylor]: Rewrote expression to (+ (* (pow (exp (- (/ 1 x))) 4) 1) -1) 1.511 * [taylor]: Taking taylor expansion of (* (pow (exp (- (/ 1 x))) 4) 1) in x 1.511 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 4) in x 1.511 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.511 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.512 * [taylor]: Taking taylor expansion of x in x 1.512 * [taylor]: Taking taylor expansion of 1 in x 1.512 * [taylor]: Taking taylor expansion of -1 in x 1.512 * [taylor]: Taking taylor expansion of (+ 1 (pow (exp (- (/ 1 x))) 2)) in x 1.512 * [taylor]: Taking taylor expansion of 1 in x 1.512 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x 1.512 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.512 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.512 * [taylor]: Taking taylor expansion of x in x 1.514 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.514 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.514 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.514 * [taylor]: Taking taylor expansion of x in x 1.514 * [taylor]: Taking taylor expansion of (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)) in x 1.514 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x 1.514 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.514 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.514 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.514 * [taylor]: Taking taylor expansion of x in x 1.515 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 1.515 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.515 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.515 * [taylor]: Taking taylor expansion of x in x 1.517 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ (fma (pow (exp (- (/ 1 x))) 4) 1 -1) (+ 1 (pow (exp (- (/ 1 x))) 2))) (pow (exp (/ 1 x)) 2)) (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)))) in x 1.517 * [taylor]: Taking taylor expansion of 2.0 in x 1.517 * [taylor]: Taking taylor expansion of (/ (+ (/ (fma (pow (exp (- (/ 1 x))) 4) 1 -1) (+ 1 (pow (exp (- (/ 1 x))) 2))) (pow (exp (/ 1 x)) 2)) (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3))) in x 1.517 * [taylor]: Taking taylor expansion of (+ (/ (fma (pow (exp (- (/ 1 x))) 4) 1 -1) (+ 1 (pow (exp (- (/ 1 x))) 2))) (pow (exp (/ 1 x)) 2)) in x 1.517 * [taylor]: Taking taylor expansion of (/ (fma (pow (exp (- (/ 1 x))) 4) 1 -1) (+ 1 (pow (exp (- (/ 1 x))) 2))) in x 1.517 * [taylor]: Taking taylor expansion of (fma (pow (exp (- (/ 1 x))) 4) 1 -1) in x 1.517 * [taylor]: Rewrote expression to (+ (* (pow (exp (- (/ 1 x))) 4) 1) -1) 1.517 * [taylor]: Taking taylor expansion of (* (pow (exp (- (/ 1 x))) 4) 1) in x 1.517 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 4) in x 1.517 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.517 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.517 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.517 * [taylor]: Taking taylor expansion of x in x 1.518 * [taylor]: Taking taylor expansion of 1 in x 1.518 * [taylor]: Taking taylor expansion of -1 in x 1.518 * [taylor]: Taking taylor expansion of (+ 1 (pow (exp (- (/ 1 x))) 2)) in x 1.518 * [taylor]: Taking taylor expansion of 1 in x 1.518 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x 1.518 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.518 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.518 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.518 * [taylor]: Taking taylor expansion of x in x 1.519 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.519 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.519 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.519 * [taylor]: Taking taylor expansion of x in x 1.520 * [taylor]: Taking taylor expansion of (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)) in x 1.520 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x 1.520 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.520 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.520 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.520 * [taylor]: Taking taylor expansion of x in x 1.520 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 1.520 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.520 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.520 * [taylor]: Taking taylor expansion of x in x 1.596 * [approximate]: Taking taylor expansion of (* 2.0 (/ (+ (pow (exp (/ -1 x)) 2) (/ (fma (pow (exp (/ 1 x)) 4) 1 -1) (+ (pow (exp (/ 1 x)) 2) 1))) (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) in (x) around 0 1.597 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (pow (exp (/ -1 x)) 2) (/ (fma (pow (exp (/ 1 x)) 4) 1 -1) (+ (pow (exp (/ 1 x)) 2) 1))) (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) in x 1.597 * [taylor]: Taking taylor expansion of 2.0 in x 1.597 * [taylor]: Taking taylor expansion of (/ (+ (pow (exp (/ -1 x)) 2) (/ (fma (pow (exp (/ 1 x)) 4) 1 -1) (+ (pow (exp (/ 1 x)) 2) 1))) (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) in x 1.597 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (/ (fma (pow (exp (/ 1 x)) 4) 1 -1) (+ (pow (exp (/ 1 x)) 2) 1))) in x 1.597 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.597 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.597 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.597 * [taylor]: Taking taylor expansion of -1 in x 1.597 * [taylor]: Taking taylor expansion of x in x 1.597 * [taylor]: Taking taylor expansion of (/ (fma (pow (exp (/ 1 x)) 4) 1 -1) (+ (pow (exp (/ 1 x)) 2) 1)) in x 1.597 * [taylor]: Taking taylor expansion of (fma (pow (exp (/ 1 x)) 4) 1 -1) in x 1.597 * [taylor]: Rewrote expression to (+ (* (pow (exp (/ 1 x)) 4) 1) -1) 1.597 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1 x)) 4) 1) in x 1.597 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 1.597 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.597 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.597 * [taylor]: Taking taylor expansion of x in x 1.598 * [taylor]: Taking taylor expansion of 1 in x 1.598 * [taylor]: Taking taylor expansion of -1 in x 1.598 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x 1.598 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.598 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.598 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.598 * [taylor]: Taking taylor expansion of x in x 1.598 * [taylor]: Taking taylor expansion of 1 in x 1.599 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)) in x 1.599 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 1.599 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.599 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.599 * [taylor]: Taking taylor expansion of -1 in x 1.599 * [taylor]: Taking taylor expansion of x in x 1.599 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 1.599 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.599 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.599 * [taylor]: Taking taylor expansion of x in x 1.601 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (pow (exp (/ -1 x)) 2) (/ (fma (pow (exp (/ 1 x)) 4) 1 -1) (+ (pow (exp (/ 1 x)) 2) 1))) (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) in x 1.601 * [taylor]: Taking taylor expansion of 2.0 in x 1.601 * [taylor]: Taking taylor expansion of (/ (+ (pow (exp (/ -1 x)) 2) (/ (fma (pow (exp (/ 1 x)) 4) 1 -1) (+ (pow (exp (/ 1 x)) 2) 1))) (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) in x 1.601 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (/ (fma (pow (exp (/ 1 x)) 4) 1 -1) (+ (pow (exp (/ 1 x)) 2) 1))) in x 1.601 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.601 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.601 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.601 * [taylor]: Taking taylor expansion of -1 in x 1.601 * [taylor]: Taking taylor expansion of x in x 1.602 * [taylor]: Taking taylor expansion of (/ (fma (pow (exp (/ 1 x)) 4) 1 -1) (+ (pow (exp (/ 1 x)) 2) 1)) in x 1.602 * [taylor]: Taking taylor expansion of (fma (pow (exp (/ 1 x)) 4) 1 -1) in x 1.602 * [taylor]: Rewrote expression to (+ (* (pow (exp (/ 1 x)) 4) 1) -1) 1.602 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1 x)) 4) 1) in x 1.602 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 1.602 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.602 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.602 * [taylor]: Taking taylor expansion of x in x 1.602 * [taylor]: Taking taylor expansion of 1 in x 1.602 * [taylor]: Taking taylor expansion of -1 in x 1.602 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x 1.602 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.602 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.602 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.602 * [taylor]: Taking taylor expansion of x in x 1.603 * [taylor]: Taking taylor expansion of 1 in x 1.603 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)) in x 1.603 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 1.603 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.603 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.603 * [taylor]: Taking taylor expansion of -1 in x 1.603 * [taylor]: Taking taylor expansion of x in x 1.604 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 1.604 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.604 * [taylor]: Taking taylor expansion of x in x 1.676 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 1.677 * [approximate]: Taking taylor expansion of (/ (fma (pow (exp (- x)) 4) 1 -1) (+ (pow (exp (- x)) 2) 1)) in (x) around 0 1.677 * [taylor]: Taking taylor expansion of (/ (fma (pow (exp (- x)) 4) 1 -1) (+ (pow (exp (- x)) 2) 1)) in x 1.677 * [taylor]: Taking taylor expansion of (fma (pow (exp (- x)) 4) 1 -1) in x 1.677 * [taylor]: Rewrote expression to (+ (* (pow (exp (- x)) 4) 1) -1) 1.677 * [taylor]: Taking taylor expansion of (* (pow (exp (- x)) 4) 1) in x 1.677 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 4) in x 1.677 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.677 * [taylor]: Taking taylor expansion of (- x) in x 1.677 * [taylor]: Taking taylor expansion of x in x 1.678 * [taylor]: Taking taylor expansion of 1 in x 1.678 * [taylor]: Taking taylor expansion of -1 in x 1.678 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 2) 1) in x 1.678 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x 1.678 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.678 * [taylor]: Taking taylor expansion of (- x) in x 1.678 * [taylor]: Taking taylor expansion of x in x 1.678 * [taylor]: Taking taylor expansion of 1 in x 1.682 * [taylor]: Taking taylor expansion of (/ (fma (pow (exp (- x)) 4) 1 -1) (+ (pow (exp (- x)) 2) 1)) in x 1.682 * [taylor]: Taking taylor expansion of (fma (pow (exp (- x)) 4) 1 -1) in x 1.682 * [taylor]: Rewrote expression to (+ (* (pow (exp (- x)) 4) 1) -1) 1.682 * [taylor]: Taking taylor expansion of (* (pow (exp (- x)) 4) 1) in x 1.682 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 4) in x 1.682 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.682 * [taylor]: Taking taylor expansion of (- x) in x 1.682 * [taylor]: Taking taylor expansion of x in x 1.683 * [taylor]: Taking taylor expansion of 1 in x 1.683 * [taylor]: Taking taylor expansion of -1 in x 1.683 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 2) 1) in x 1.683 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x 1.683 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.683 * [taylor]: Taking taylor expansion of (- x) in x 1.683 * [taylor]: Taking taylor expansion of x in x 1.683 * [taylor]: Taking taylor expansion of 1 in x 1.700 * [approximate]: Taking taylor expansion of (/ (fma (pow (exp (- (/ 1 x))) 4) 1 -1) (+ 1 (pow (exp (- (/ 1 x))) 2))) in (x) around 0 1.700 * [taylor]: Taking taylor expansion of (/ (fma (pow (exp (- (/ 1 x))) 4) 1 -1) (+ 1 (pow (exp (- (/ 1 x))) 2))) in x 1.700 * [taylor]: Taking taylor expansion of (fma (pow (exp (- (/ 1 x))) 4) 1 -1) in x 1.700 * [taylor]: Rewrote expression to (+ (* (pow (exp (- (/ 1 x))) 4) 1) -1) 1.700 * [taylor]: Taking taylor expansion of (* (pow (exp (- (/ 1 x))) 4) 1) in x 1.700 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 4) in x 1.700 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.700 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.700 * [taylor]: Taking taylor expansion of x in x 1.701 * [taylor]: Taking taylor expansion of 1 in x 1.701 * [taylor]: Taking taylor expansion of -1 in x 1.701 * [taylor]: Taking taylor expansion of (+ 1 (pow (exp (- (/ 1 x))) 2)) in x 1.701 * [taylor]: Taking taylor expansion of 1 in x 1.701 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x 1.701 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.701 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.701 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.701 * [taylor]: Taking taylor expansion of x in x 1.702 * [taylor]: Taking taylor expansion of (/ (fma (pow (exp (- (/ 1 x))) 4) 1 -1) (+ 1 (pow (exp (- (/ 1 x))) 2))) in x 1.702 * [taylor]: Taking taylor expansion of (fma (pow (exp (- (/ 1 x))) 4) 1 -1) in x 1.702 * [taylor]: Rewrote expression to (+ (* (pow (exp (- (/ 1 x))) 4) 1) -1) 1.702 * [taylor]: Taking taylor expansion of (* (pow (exp (- (/ 1 x))) 4) 1) in x 1.702 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 4) in x 1.702 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.703 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.703 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.703 * [taylor]: Taking taylor expansion of x in x 1.703 * [taylor]: Taking taylor expansion of 1 in x 1.703 * [taylor]: Taking taylor expansion of -1 in x 1.703 * [taylor]: Taking taylor expansion of (+ 1 (pow (exp (- (/ 1 x))) 2)) in x 1.703 * [taylor]: Taking taylor expansion of 1 in x 1.703 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x 1.703 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.703 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.703 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.703 * [taylor]: Taking taylor expansion of x in x 1.734 * [approximate]: Taking taylor expansion of (/ (fma (pow (exp (/ 1 x)) 4) 1 -1) (+ (pow (exp (/ 1 x)) 2) 1)) in (x) around 0 1.734 * [taylor]: Taking taylor expansion of (/ (fma (pow (exp (/ 1 x)) 4) 1 -1) (+ (pow (exp (/ 1 x)) 2) 1)) in x 1.734 * [taylor]: Taking taylor expansion of (fma (pow (exp (/ 1 x)) 4) 1 -1) in x 1.734 * [taylor]: Rewrote expression to (+ (* (pow (exp (/ 1 x)) 4) 1) -1) 1.734 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1 x)) 4) 1) in x 1.734 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 1.734 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.734 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.734 * [taylor]: Taking taylor expansion of x in x 1.734 * [taylor]: Taking taylor expansion of 1 in x 1.734 * [taylor]: Taking taylor expansion of -1 in x 1.734 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x 1.734 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.734 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.734 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.734 * [taylor]: Taking taylor expansion of x in x 1.735 * [taylor]: Taking taylor expansion of 1 in x 1.735 * [taylor]: Taking taylor expansion of (/ (fma (pow (exp (/ 1 x)) 4) 1 -1) (+ (pow (exp (/ 1 x)) 2) 1)) in x 1.735 * [taylor]: Taking taylor expansion of (fma (pow (exp (/ 1 x)) 4) 1 -1) in x 1.735 * [taylor]: Rewrote expression to (+ (* (pow (exp (/ 1 x)) 4) 1) -1) 1.735 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1 x)) 4) 1) in x 1.736 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 1.736 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.736 * [taylor]: Taking taylor expansion of x in x 1.736 * [taylor]: Taking taylor expansion of 1 in x 1.736 * [taylor]: Taking taylor expansion of -1 in x 1.736 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x 1.736 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.736 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.736 * [taylor]: Taking taylor expansion of x in x 1.736 * [taylor]: Taking taylor expansion of 1 in x 1.761 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1) 1.761 * [approximate]: Taking taylor expansion of (pow (exp (- x)) 4) in (x) around 0 1.761 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 4) in x 1.761 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.761 * [taylor]: Taking taylor expansion of (- x) in x 1.761 * [taylor]: Taking taylor expansion of x in x 1.762 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 4) in x 1.762 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.762 * [taylor]: Taking taylor expansion of (- x) in x 1.762 * [taylor]: Taking taylor expansion of x in x 1.767 * [approximate]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 4) in (x) around 0 1.767 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 4) in x 1.767 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.767 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.767 * [taylor]: Taking taylor expansion of x in x 1.768 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 4) in x 1.768 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.768 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.768 * [taylor]: Taking taylor expansion of x in x 1.778 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in (x) around 0 1.778 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 1.778 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.778 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.778 * [taylor]: Taking taylor expansion of x in x 1.778 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 1.778 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.778 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.778 * [taylor]: Taking taylor expansion of x in x 1.788 * * * [progress]: simplifying candidates 1.789 * [simplify]: Simplifying using # : (* (pow (exp (- x)) 4) 1) (* 2.0 (+ (pow (* (exp x) (exp x)) 3) (pow (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) 3))) (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1))) (* (* (exp x) (exp x)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)))))) (* 2.0 (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1))))) (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (- (* (exp x) (exp x)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)))) (* (- 2.0) (+ (pow (* (exp x) (exp x)) 3) (pow (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) 3))) (* (- (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1))) (* (* (exp x) (exp x)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)))))) (* (- 2.0) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1))))) (* (- (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (- (* (exp x) (exp x)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)))) (* 1 (+ (pow (* (exp x) (exp x)) 3) (pow (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) 3))) (* (/ (+ (pow (exp x) 3) (pow (exp (- x)) 3)) 2.0) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1))) (* (* (exp x) (exp x)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)))))) (* 1 (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1))))) (* (/ (+ (pow (exp x) 3) (pow (exp (- x)) 3)) 2.0) (- (* (exp x) (exp x)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)))) (* (/ 2.0 (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (+ (pow (* (exp x) (exp x)) 3) (pow (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) 3))) (* (+ (exp x) (exp (- x))) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1))) (* (* (exp x) (exp x)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)))))) (* (/ 2.0 (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1))))) (* (+ (exp x) (exp (- x))) (- (* (exp x) (exp x)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (* (exp x) (exp x))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (* (exp x) (exp x))) (* (* (exp x) (exp x)) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (* (exp x) (exp x)) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (/ 1 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (exp x) (exp x)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)))) (* (+ (* (pow (exp x) 3) (pow (exp x) 3)) (- (* (pow (exp (- x)) 3) (pow (exp (- x)) 3)) (* (pow (exp x) 3) (pow (exp (- x)) 3)))) (+ (* (exp x) (exp x)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)))) (* (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (pow (* (exp x) (exp x)) 3) (pow (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) 3))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1))))) (* 2.0 (+ (* (exp x) (exp x)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)))) (* (- 2.0) (+ (* (exp x) (exp x)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)))) (* 1 (+ (* (exp x) (exp x)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)))) (* (/ 2.0 (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (+ (* (exp x) (exp x)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)))) (- (fma (pow (exp (- x)) 4) 1 (- 1))) (- (+ (pow (exp (- x)) 2) 1)) (/ 1 (+ (pow (exp (- x)) 2) 1)) (/ (+ (pow (exp (- x)) 2) 1) (fma (pow (exp (- x)) 4) 1 (- 1))) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (pow (exp (- x)) 2) 3) (pow 1 3))) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (- (* (pow (exp (- x)) 2) (pow (exp (- x)) 2)) (* 1 1))) (* (- x) 4) (* (log (exp (- x))) 4) (* x 4) (pow (exp (- x)) (/ 4 2)) (pow (exp (- x)) (/ 4 2)) (- (* 8 (pow x 2)) (+ (* 32/3 (pow x 3)) (* 4 x))) (- (pow (exp (- x)) 4) 1) (- (pow (exp (* -1 x)) 4) 1) (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) (* 2.0 (/ (- (+ (/ (pow (exp (- x)) 4) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2)) (/ 1 (+ (pow (exp (- x)) 2) 1))) (+ (pow (exp (- x)) 3) (pow (exp x) 3)))) (* 2.0 (/ (- (+ (pow (exp x) 2) (/ (pow (exp (* -1 x)) 4) (+ (pow (exp (* -1 x)) 2) 1))) (/ 1 (+ (pow (exp (* -1 x)) 2) 1))) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)))) (- (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)) (/ (- (pow (exp (* -1 x)) 4) 1) (+ (pow (exp (* -1 x)) 2) 1)) (- (+ (* 8 (pow x 2)) 1) (* 4 x)) (pow (exp (- x)) 4) (pow (exp (* -1 x)) 4) 1.796 * * [simplify]: iteration 0 : 486 enodes (cost 904 ) 1.805 * * [simplify]: iteration 1 : 2405 enodes (cost 828 ) 1.843 * * [simplify]: iteration 2 : 5002 enodes (cost 813 ) 1.847 * [simplify]: Simplified to: (pow (exp (- x)) 4) (fma (pow (exp x) 6) 2.0 (* 2.0 (pow (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)) 3))) (* (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)) (fma (pow (exp x) 3) (exp x) (* (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) (- (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2))))) (fma 2.0 (pow (exp x) 4) (* 2.0 (* (- (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1))) (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1))))) (* (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)) (fma (exp x) (exp x) (- (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1))))) (* (- 2.0) (+ (pow (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)) 3) (pow (exp x) 6))) (* (- (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (fma (pow (exp x) 3) (exp x) (* (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) (- (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2))))) (* (- 2.0) (fma (/ (- (- (pow (exp (- x)) 4) 1)) (+ (pow (exp (- x)) 2) 1)) (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 4))) (* (- (fma (exp x) (exp x) (- (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1))))) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (+ (pow (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)) 3) (pow (exp x) 6)) (/ (* (fma (pow (exp x) 3) (exp x) (* (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) (- (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2)))) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) 2.0) (fma (/ (- (- (pow (exp (- x)) 4) 1)) (+ (pow (exp (- x)) 2) 1)) (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 4)) (/ (* (fma (exp x) (exp x) (- (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)))) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) 2.0) (/ 2.0 (/ (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1) (+ (* 1 (pow (exp x) 6)) (* 1 (pow (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)) 3))))) (* (+ (* (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) (- (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2))) (* (pow (exp x) 2) (pow (exp x) 2))) (+ (exp x) (exp (- x)))) (/ (* (+ (pow (exp x) 2) (/ (- (pow (exp (* -1 x)) 4) 1) (+ (pow (exp (* -1 x)) 2) 1))) (- (pow (exp x) 2) (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)))) (/ (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1) 2.0)) (* (+ (exp x) (exp (- x))) (- (* (exp x) (exp x)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1)))) (/ (* 2.0 (pow (exp x) 2)) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (* (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)) 2.0) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (/ (* (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)) 2.0) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (/ (* 2.0 (pow (exp x) 2)) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (* 2.0 (pow (exp x) 2)) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (* (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)) 2.0) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (/ (* (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)) 2.0) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (/ (* 2.0 (pow (exp x) 2)) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (+ (pow (exp x) 2) (/ (- (pow (exp (* -1 x)) 4) 1) (+ (pow (exp (* -1 x)) 2) 1))) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (* (* (fma (pow (exp (* -1 x)) 3) (- (pow (exp (- x)) 3) (pow (exp x) 3)) (pow (exp x) 6)) 1) (+ (pow (exp x) 2) (/ (- (pow (exp (* -1 x)) 4) 1) (+ (pow (exp (* -1 x)) 2) 1)))) (* (fma (exp x) (exp x) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (exp (- x)) 2) 1))) (- (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (+ (* 2.0 (pow (exp x) 6)) (* 2.0 (pow (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)) 3))) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (/ (+ (* 2.0 (pow (exp x) 4)) (* 2.0 (* (- (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1))) (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1))))) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (* 2.0 (+ (pow (exp x) 2) (/ (- (pow (exp (* -1 x)) 4) 1) (+ (pow (exp (* -1 x)) 2) 1)))) (* (- (+ (pow (exp x) 2) (/ (- (pow (exp (* -1 x)) 4) 1) (+ (pow (exp (* -1 x)) 2) 1)))) 2.0) (+ (pow (exp x) 2) (/ (- (pow (exp (* -1 x)) 4) 1) (+ (pow (exp (* -1 x)) 2) 1))) (/ 2.0 (/ (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1) (+ (pow (exp x) 2) (/ (- (pow (exp (* -1 x)) 4) 1) (+ (pow (exp (* -1 x)) 2) 1))))) (- (- (pow (exp (- x)) 4) 1)) (- (+ (pow (exp (- x)) 2) 1)) (/ 1 (+ (pow (exp (* -1 x)) 2) 1)) (/ 1 (- (pow (exp (- x)) 2) 1)) (/ (fma (pow (exp (- x)) 4) 1 (- 1)) (+ (pow (pow (exp (- x)) 2) 3) 1)) 1 (* -4 x) (* -4 x) (* x 4) (pow (exp x) -2) (pow (exp x) -2) (fma 8 (pow x 2) (- (fma 32/3 (pow x 3) (* 4 x)))) (- (pow (exp (- x)) 4) 1) (- (pow (exp (- x)) 4) 1) (fma (pow x 4) 0.20833333333333334 (- 1.0 (* 0.5 (pow x 2)))) (/ (* 2.0 (+ (pow (exp x) 2) (/ (- (pow (exp (* -1 x)) 4) 1) (+ (pow (exp (* -1 x)) 2) 1)))) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (/ (* 2.0 (+ (pow (exp x) 2) (/ (- (pow (exp (* -1 x)) 4) 1) (+ (pow (exp (* -1 x)) 2) 1)))) (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3))) (fma 2 (pow x 2) (- (fma 4/3 (pow x 3) (* 2 x)))) (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)) (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)) (fma -4 x (fma 8 (pow x 2) 1)) (pow (exp (- x)) 4) (pow (exp (- x)) 4) 1.848 * * * [progress]: adding candidates to table 2.038 * [progress]: [Phase 3 of 3] Extracting. 2.038 * * [regime]: Finding splitpoints for: (# # #) 2.038 * * * [regime-changes]: Trying 3 branch expressions: ((+ (exp x) (exp (- x))) (/ 2.0 (+ (exp x) (exp (- x)))) x) 2.038 * * * * [regimes]: Trying to branch on (+ (exp x) (exp (- x))) from (# # #) 2.055 * * * * [regimes]: Trying to branch on (/ 2.0 (+ (exp x) (exp (- x)))) from (# # #) 2.073 * * * * [regimes]: Trying to branch on x from (# # #) 2.090 * * * [regime]: Found split indices: #