9.323 * [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.013 * [simplify]: Simplifying using # : (/ 2.0 (+ (exp x) (exp (- x)))) 0.015 * * [simplify]: iteration 0 : 10 enodes (cost 5 ) 0.016 * * [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.021 * * [simplify]: iteration 5 : 40 enodes (cost 5 ) 0.022 * * [simplify]: iteration 6 : 61 enodes (cost 5 ) 0.024 * * [simplify]: iteration 7 : 150 enodes (cost 5 ) 0.031 * * [simplify]: iteration 8 : 1038 enodes (cost 5 ) 0.223 * * [simplify]: iteration 9 : 5001 enodes (cost 5 ) 0.224 * [simplify]: Simplified to: (/ 2.0 (+ (exp x) (exp (- x)))) 0.225 * * [progress]: iteration 1 / 4 0.225 * * * [progress]: picking best candidate 0.226 * * * * [pick]: Picked # 0.226 * * * [progress]: localizing error 0.232 * * * [progress]: generating rewritten candidates 0.233 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.236 * * * [progress]: generating series expansions 0.236 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.236 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in (x) around 0 0.236 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x 0.236 * [taylor]: Taking taylor expansion of 2.0 in x 0.236 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.236 * [taylor]: Taking taylor expansion of (exp x) in x 0.236 * [taylor]: Taking taylor expansion of x in x 0.236 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.236 * [taylor]: Taking taylor expansion of (- x) in x 0.236 * [taylor]: Taking taylor expansion of x in x 0.238 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x 0.238 * [taylor]: Taking taylor expansion of 2.0 in x 0.238 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.238 * [taylor]: Taking taylor expansion of (exp x) in x 0.238 * [taylor]: Taking taylor expansion of x in x 0.238 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.238 * [taylor]: Taking taylor expansion of (- x) in x 0.238 * [taylor]: Taking taylor expansion of x in x 0.260 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 0.260 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.260 * [taylor]: Taking taylor expansion of 2.0 in x 0.260 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.261 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.261 * [taylor]: Taking taylor expansion of x in x 0.261 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.261 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.261 * [taylor]: Taking taylor expansion of x in x 0.262 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.262 * [taylor]: Taking taylor expansion of 2.0 in x 0.262 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.262 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.262 * [taylor]: Taking taylor expansion of x in x 0.262 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.262 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.262 * [taylor]: Taking taylor expansion of x in x 0.270 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 0.270 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.270 * [taylor]: Taking taylor expansion of 2.0 in x 0.270 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.270 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.271 * [taylor]: Taking taylor expansion of x in x 0.271 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.271 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.271 * [taylor]: Taking taylor expansion of -1 in x 0.271 * [taylor]: Taking taylor expansion of x in x 0.271 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.271 * [taylor]: Taking taylor expansion of 2.0 in x 0.271 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.271 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.271 * [taylor]: Taking taylor expansion of x in x 0.272 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.272 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.272 * [taylor]: Taking taylor expansion of -1 in x 0.272 * [taylor]: Taking taylor expansion of x in x 0.277 * * * [progress]: simplifying candidates 0.277 * [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.280 * * [simplify]: iteration 0 : 78 enodes (cost 49 ) 0.281 * * [simplify]: iteration 1 : 200 enodes (cost 49 ) 0.285 * * [simplify]: iteration 2 : 663 enodes (cost 49 ) 0.303 * * [simplify]: iteration 3 : 3592 enodes (cost 49 ) 0.424 * * [simplify]: iteration 4 : 5001 enodes (cost 49 ) 0.425 * [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))))) (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) (/ 2.0 (+ (exp (* -1 x)) (exp x))) (/ 2.0 (+ (exp (* -1 x)) (exp x))) 0.425 * * * [progress]: adding candidates to table 0.443 * * [progress]: iteration 2 / 4 0.443 * * * [progress]: picking best candidate 0.448 * * * * [pick]: Picked # 0.448 * * * [progress]: localizing error 0.457 * * * [progress]: generating rewritten candidates 0.457 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.462 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 0.465 * * * [progress]: generating series expansions 0.465 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.466 * [approximate]: Taking taylor expansion of (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) in (x) around 0 0.466 * [taylor]: Taking taylor expansion of (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) in x 0.466 * [taylor]: Taking taylor expansion of (+ (* 0.20833333333333334 (pow x 4)) 1.0) in x 0.466 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (pow x 4)) in x 0.466 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x 0.466 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.466 * [taylor]: Taking taylor expansion of x in x 0.466 * [taylor]: Taking taylor expansion of 1.0 in x 0.466 * [taylor]: Taking taylor expansion of (* 0.5 (pow x 2)) in x 0.466 * [taylor]: Taking taylor expansion of 0.5 in x 0.466 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.466 * [taylor]: Taking taylor expansion of x in x 0.466 * [taylor]: Taking taylor expansion of (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) in x 0.466 * [taylor]: Taking taylor expansion of (+ (* 0.20833333333333334 (pow x 4)) 1.0) in x 0.466 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (pow x 4)) in x 0.466 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x 0.466 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.466 * [taylor]: Taking taylor expansion of x in x 0.466 * [taylor]: Taking taylor expansion of 1.0 in x 0.466 * [taylor]: Taking taylor expansion of (* 0.5 (pow x 2)) in x 0.466 * [taylor]: Taking taylor expansion of 0.5 in x 0.466 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.466 * [taylor]: Taking taylor expansion of x in x 0.473 * [approximate]: Taking taylor expansion of (- (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) (* 0.5 (/ 1 (pow x 2)))) in (x) around 0 0.473 * [taylor]: Taking taylor expansion of (- (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) (* 0.5 (/ 1 (pow x 2)))) in x 0.473 * [taylor]: Taking taylor expansion of (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) in x 0.473 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (/ 1 (pow x 4))) in x 0.473 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x 0.473 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.473 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.473 * [taylor]: Taking taylor expansion of x in x 0.474 * [taylor]: Taking taylor expansion of 1.0 in x 0.474 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x 0.474 * [taylor]: Taking taylor expansion of 0.5 in x 0.474 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.474 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.474 * [taylor]: Taking taylor expansion of x in x 0.475 * [taylor]: Taking taylor expansion of (- (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) (* 0.5 (/ 1 (pow x 2)))) in x 0.475 * [taylor]: Taking taylor expansion of (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) in x 0.475 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (/ 1 (pow x 4))) in x 0.475 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x 0.475 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.475 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.475 * [taylor]: Taking taylor expansion of x in x 0.476 * [taylor]: Taking taylor expansion of 1.0 in x 0.476 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x 0.476 * [taylor]: Taking taylor expansion of 0.5 in x 0.476 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.476 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.476 * [taylor]: Taking taylor expansion of x in x 0.494 * [approximate]: Taking taylor expansion of (- (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) (* 0.5 (/ 1 (pow x 2)))) in (x) around 0 0.494 * [taylor]: Taking taylor expansion of (- (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) (* 0.5 (/ 1 (pow x 2)))) in x 0.494 * [taylor]: Taking taylor expansion of (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) in x 0.494 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (/ 1 (pow x 4))) in x 0.494 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x 0.494 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.494 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.494 * [taylor]: Taking taylor expansion of x in x 0.495 * [taylor]: Taking taylor expansion of 1.0 in x 0.495 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x 0.495 * [taylor]: Taking taylor expansion of 0.5 in x 0.495 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.495 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.495 * [taylor]: Taking taylor expansion of x in x 0.495 * [taylor]: Taking taylor expansion of (- (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) (* 0.5 (/ 1 (pow x 2)))) in x 0.495 * [taylor]: Taking taylor expansion of (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) in x 0.495 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (/ 1 (pow x 4))) in x 0.495 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x 0.495 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.496 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.496 * [taylor]: Taking taylor expansion of x in x 0.496 * [taylor]: Taking taylor expansion of 1.0 in x 0.496 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x 0.496 * [taylor]: Taking taylor expansion of 0.5 in x 0.496 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.496 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.496 * [taylor]: Taking taylor expansion of x in x 0.512 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 0.512 * [approximate]: Taking taylor expansion of (* 0.20833333333333334 (pow x 4)) in (x) around 0 0.512 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (pow x 4)) in x 0.512 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x 0.512 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.512 * [taylor]: Taking taylor expansion of x in x 0.512 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (pow x 4)) in x 0.512 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x 0.512 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.512 * [taylor]: Taking taylor expansion of x in x 0.523 * [approximate]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 4)) in (x) around 0 0.523 * [taylor]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 4)) in x 0.523 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x 0.523 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.523 * [taylor]: Taking taylor expansion of x in x 0.524 * [taylor]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 4)) in x 0.524 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x 0.524 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.524 * [taylor]: Taking taylor expansion of x in x 0.536 * [approximate]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 4)) in (x) around 0 0.536 * [taylor]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 4)) in x 0.536 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x 0.536 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.536 * [taylor]: Taking taylor expansion of x in x 0.537 * [taylor]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 4)) in x 0.537 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x 0.537 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.537 * [taylor]: Taking taylor expansion of x in x 0.548 * * * [progress]: simplifying candidates 0.548 * [simplify]: Simplifying using # : (- (pow (+ (* 0.20833333333333334 (pow x 4)) 1.0) 3) (pow (* 0.5 (pow x 2)) 3)) (+ (* (+ (* 0.20833333333333334 (pow x 4)) 1.0) (+ (* 0.20833333333333334 (pow x 4)) 1.0)) (+ (* (* 0.5 (pow x 2)) (* 0.5 (pow x 2))) (* (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))))) (- (* 0.5 (pow x 2))) (- (* (+ (* 0.20833333333333334 (pow x 4)) 1.0) (+ (* 0.20833333333333334 (pow x 4)) 1.0)) (* (* 0.5 (pow x 2)) (* 0.5 (pow x 2)))) (+ (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) (- 1.0 (* 0.5 (pow x 2))) (- (* 0.20833333333333334 (pow x 4)) (* 0.5 (pow x 2))) (- (* 0.5 (pow x 2))) (* 0.20833333333333334 (pow x (/ 4 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.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) (* 0.20833333333333334 (pow x 4)) (* 0.20833333333333334 (pow x 4)) (* 0.20833333333333334 (pow x 4)) 0.551 * * [simplify]: iteration 0 : 84 enodes (cost 84 ) 0.554 * * [simplify]: iteration 1 : 334 enodes (cost 83 ) 0.561 * * [simplify]: iteration 2 : 1466 enodes (cost 80 ) 0.604 * * [simplify]: iteration 3 : 5002 enodes (cost 80 ) 0.604 * [simplify]: Simplified to: (- (pow (+ (* 0.20833333333333334 (pow x 4)) 1.0) 3) (pow (* 0.5 (pow x 2)) 3)) (+ (* (+ (* 0.20833333333333334 (pow x 4)) 1.0) (+ (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2)))) (* (pow x 4) (* 0.5 0.5))) (- (* 0.5 (pow x 2))) (+ (* (- (* 0.5 0.5)) (pow x 4)) (* (+ (* 0.20833333333333334 (pow x 4)) 1.0) (+ (* 0.20833333333333334 (pow x 4)) 1.0))) (+ (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) (- 1.0 (* 0.5 (pow x 2))) (- (* 0.20833333333333334 (pow x 4)) (* 0.5 (pow x 2))) (- (* 0.5 (pow x 2))) (* 0.20833333333333334 (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.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) (* 0.20833333333333334 (pow x 4)) (* 0.20833333333333334 (pow x 4)) (* 0.20833333333333334 (pow x 4)) 0.605 * * * [progress]: adding candidates to table 0.626 * * [progress]: iteration 3 / 4 0.626 * * * [progress]: picking best candidate 0.629 * * * * [pick]: Picked # 0.629 * * * [progress]: localizing error 0.643 * * * [progress]: generating rewritten candidates 0.643 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.653 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.671 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 0.674 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 0.681 * * * [progress]: generating series expansions 0.681 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.681 * [approximate]: Taking taylor expansion of (- (pow (exp (- x)) 2) (* (exp x) (exp (- x)))) in (x) around 0 0.681 * [taylor]: Taking taylor expansion of (- (pow (exp (- x)) 2) (* (exp x) (exp (- x)))) in x 0.681 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x 0.681 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.681 * [taylor]: Taking taylor expansion of (- x) in x 0.681 * [taylor]: Taking taylor expansion of x in x 0.682 * [taylor]: Taking taylor expansion of (* (exp x) (exp (- x))) in x 0.682 * [taylor]: Taking taylor expansion of (exp x) in x 0.682 * [taylor]: Taking taylor expansion of x in x 0.682 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.682 * [taylor]: Taking taylor expansion of (- x) in x 0.682 * [taylor]: Taking taylor expansion of x in x 0.682 * [taylor]: Taking taylor expansion of (- (pow (exp (- x)) 2) (* (exp x) (exp (- x)))) in x 0.682 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x 0.682 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.682 * [taylor]: Taking taylor expansion of (- x) in x 0.682 * [taylor]: Taking taylor expansion of x in x 0.683 * [taylor]: Taking taylor expansion of (* (exp x) (exp (- x))) in x 0.683 * [taylor]: Taking taylor expansion of (exp x) in x 0.683 * [taylor]: Taking taylor expansion of x in x 0.683 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.683 * [taylor]: Taking taylor expansion of (- x) in x 0.683 * [taylor]: Taking taylor expansion of x in x 0.704 * [approximate]: Taking taylor expansion of (- (pow (exp (- (/ 1 x))) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 0.704 * [taylor]: Taking taylor expansion of (- (pow (exp (- (/ 1 x))) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.704 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x 0.704 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.704 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.704 * [taylor]: Taking taylor expansion of x in x 0.705 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.705 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.705 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.705 * [taylor]: Taking taylor expansion of x in x 0.705 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.705 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.705 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.705 * [taylor]: Taking taylor expansion of x in x 0.706 * [taylor]: Taking taylor expansion of (- (pow (exp (- (/ 1 x))) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.706 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x 0.706 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.706 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.706 * [taylor]: Taking taylor expansion of x in x 0.706 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.706 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.706 * [taylor]: Taking taylor expansion of x in x 0.707 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.707 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.707 * [taylor]: Taking taylor expansion of x in x 0.719 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 0.719 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.719 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 0.719 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.719 * [taylor]: Taking taylor expansion of x in x 0.720 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ -1 x))) in x 0.720 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.720 * [taylor]: Taking taylor expansion of x in x 0.720 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.720 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.720 * [taylor]: Taking taylor expansion of -1 in x 0.720 * [taylor]: Taking taylor expansion of x in x 0.720 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.720 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 0.720 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.720 * [taylor]: Taking taylor expansion of x in x 0.721 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ -1 x))) in x 0.721 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.721 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.721 * [taylor]: Taking taylor expansion of x in x 0.721 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.721 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.721 * [taylor]: Taking taylor expansion of -1 in x 0.721 * [taylor]: Taking taylor expansion of x in x 0.733 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.733 * [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.733 * [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.733 * [taylor]: Taking taylor expansion of 2.0 in x 0.733 * [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.733 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) (* (exp x) (exp (- x)))) in x 0.733 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) (pow (exp (- x)) 2)) in x 0.733 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 0.733 * [taylor]: Taking taylor expansion of (exp x) in x 0.733 * [taylor]: Taking taylor expansion of x in x 0.733 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x 0.733 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.733 * [taylor]: Taking taylor expansion of (- x) in x 0.733 * [taylor]: Taking taylor expansion of x in x 0.734 * [taylor]: Taking taylor expansion of (* (exp x) (exp (- x))) in x 0.734 * [taylor]: Taking taylor expansion of (exp x) in x 0.734 * [taylor]: Taking taylor expansion of x in x 0.734 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.734 * [taylor]: Taking taylor expansion of (- x) in x 0.734 * [taylor]: Taking taylor expansion of x in x 0.735 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 3) (pow (exp x) 3)) in x 0.735 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x 0.735 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.735 * [taylor]: Taking taylor expansion of (- x) in x 0.735 * [taylor]: Taking taylor expansion of x in x 0.735 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 0.735 * [taylor]: Taking taylor expansion of (exp x) in x 0.735 * [taylor]: Taking taylor expansion of x in x 0.738 * [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.738 * [taylor]: Taking taylor expansion of 2.0 in x 0.738 * [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.738 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) (* (exp x) (exp (- x)))) in x 0.738 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) (pow (exp (- x)) 2)) in x 0.738 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 0.738 * [taylor]: Taking taylor expansion of (exp x) in x 0.738 * [taylor]: Taking taylor expansion of x in x 0.738 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x 0.738 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.738 * [taylor]: Taking taylor expansion of (- x) in x 0.738 * [taylor]: Taking taylor expansion of x in x 0.739 * [taylor]: Taking taylor expansion of (* (exp x) (exp (- x))) in x 0.739 * [taylor]: Taking taylor expansion of (exp x) in x 0.739 * [taylor]: Taking taylor expansion of x in x 0.739 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.739 * [taylor]: Taking taylor expansion of (- x) in x 0.739 * [taylor]: Taking taylor expansion of x in x 0.739 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 3) (pow (exp x) 3)) in x 0.739 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x 0.739 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.739 * [taylor]: Taking taylor expansion of (- x) in x 0.739 * [taylor]: Taking taylor expansion of x in x 0.740 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 0.740 * [taylor]: Taking taylor expansion of (exp x) in x 0.740 * [taylor]: Taking taylor expansion of x in x 0.813 * [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.813 * [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.813 * [taylor]: Taking taylor expansion of 2.0 in x 0.813 * [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.813 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) (pow (exp (- (/ 1 x))) 2)) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.813 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) (pow (exp (- (/ 1 x))) 2)) in x 0.813 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 0.813 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.813 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.813 * [taylor]: Taking taylor expansion of x in x 0.813 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x 0.813 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.813 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.814 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.814 * [taylor]: Taking taylor expansion of x in x 0.814 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.814 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.814 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.814 * [taylor]: Taking taylor expansion of x in x 0.814 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.814 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.814 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.814 * [taylor]: Taking taylor expansion of x in x 0.815 * [taylor]: Taking taylor expansion of (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)) in x 0.815 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x 0.815 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.815 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.815 * [taylor]: Taking taylor expansion of x in x 0.816 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.816 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.816 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.816 * [taylor]: Taking taylor expansion of x in x 0.818 * [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.818 * [taylor]: Taking taylor expansion of 2.0 in x 0.818 * [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.818 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) (pow (exp (- (/ 1 x))) 2)) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.818 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) (pow (exp (- (/ 1 x))) 2)) in x 0.818 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 0.818 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.818 * [taylor]: Taking taylor expansion of x in x 0.818 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x 0.818 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.818 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.818 * [taylor]: Taking taylor expansion of x in x 0.819 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.819 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.819 * [taylor]: Taking taylor expansion of x in x 0.819 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.819 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.819 * [taylor]: Taking taylor expansion of x in x 0.820 * [taylor]: Taking taylor expansion of (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)) in x 0.820 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x 0.820 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.820 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.820 * [taylor]: Taking taylor expansion of x in x 0.820 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.820 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.820 * [taylor]: Taking taylor expansion of x in x 0.879 * [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.879 * [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.879 * [taylor]: Taking taylor expansion of 2.0 in x 0.879 * [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.879 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ 1 x)) 2)) (* (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.879 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ 1 x)) 2)) in x 0.879 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 0.879 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.879 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.879 * [taylor]: Taking taylor expansion of -1 in x 0.879 * [taylor]: Taking taylor expansion of x in x 0.879 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 0.879 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.879 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.880 * [taylor]: Taking taylor expansion of x in x 0.880 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ -1 x))) in x 0.880 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.880 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.880 * [taylor]: Taking taylor expansion of x in x 0.880 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.880 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.880 * [taylor]: Taking taylor expansion of -1 in x 0.880 * [taylor]: Taking taylor expansion of x in x 0.881 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)) in x 0.881 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 0.881 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.881 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.881 * [taylor]: Taking taylor expansion of -1 in x 0.881 * [taylor]: Taking taylor expansion of x in x 0.881 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.881 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.881 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.881 * [taylor]: Taking taylor expansion of x in x 0.883 * [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.883 * [taylor]: Taking taylor expansion of 2.0 in x 0.883 * [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.883 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ 1 x)) 2)) (* (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.883 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ 1 x)) 2)) in x 0.883 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 0.883 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.883 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.883 * [taylor]: Taking taylor expansion of -1 in x 0.883 * [taylor]: Taking taylor expansion of x in x 0.883 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 0.883 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.883 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.883 * [taylor]: Taking taylor expansion of x in x 0.884 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ -1 x))) in x 0.884 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.884 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.884 * [taylor]: Taking taylor expansion of x in x 0.884 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.884 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.884 * [taylor]: Taking taylor expansion of -1 in x 0.884 * [taylor]: Taking taylor expansion of x in x 0.885 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)) in x 0.885 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 0.885 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.885 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.885 * [taylor]: Taking taylor expansion of -1 in x 0.885 * [taylor]: Taking taylor expansion of x in x 0.885 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.885 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.885 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.885 * [taylor]: Taking taylor expansion of x in x 0.940 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 0.940 * [approximate]: Taking taylor expansion of (* (exp x) (exp (- x))) in (x) around 0 0.940 * [taylor]: Taking taylor expansion of (* (exp x) (exp (- x))) in x 0.940 * [taylor]: Taking taylor expansion of (exp x) in x 0.940 * [taylor]: Taking taylor expansion of x in x 0.940 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.940 * [taylor]: Taking taylor expansion of (- x) in x 0.940 * [taylor]: Taking taylor expansion of x in x 0.941 * [taylor]: Taking taylor expansion of (* (exp x) (exp (- x))) in x 0.941 * [taylor]: Taking taylor expansion of (exp x) in x 0.941 * [taylor]: Taking taylor expansion of x in x 0.941 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.941 * [taylor]: Taking taylor expansion of (- x) in x 0.941 * [taylor]: Taking taylor expansion of x in x 0.983 * [approximate]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 0.983 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.983 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.983 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.983 * [taylor]: Taking taylor expansion of x in x 0.984 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.984 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.984 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.984 * [taylor]: Taking taylor expansion of x in x 0.984 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.984 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.984 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.984 * [taylor]: Taking taylor expansion of x in x 0.984 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.984 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.985 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.985 * [taylor]: Taking taylor expansion of x in x 0.989 * [approximate]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 0.990 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ -1 x))) in x 0.990 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.990 * [taylor]: Taking taylor expansion of x in x 0.990 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.990 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.990 * [taylor]: Taking taylor expansion of -1 in x 0.990 * [taylor]: Taking taylor expansion of x in x 0.990 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ -1 x))) in x 0.990 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.990 * [taylor]: Taking taylor expansion of x in x 0.991 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.991 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.991 * [taylor]: Taking taylor expansion of -1 in x 0.991 * [taylor]: Taking taylor expansion of x in x 0.995 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 0.995 * [approximate]: Taking taylor expansion of (pow (exp x) 3) in (x) around 0 0.995 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 0.995 * [taylor]: Taking taylor expansion of (exp x) in x 0.995 * [taylor]: Taking taylor expansion of x in x 0.996 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 0.996 * [taylor]: Taking taylor expansion of (exp x) in x 0.996 * [taylor]: Taking taylor expansion of x in x 0.999 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0 0.999 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.999 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.999 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.999 * [taylor]: Taking taylor expansion of x in x 1.000 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 1.000 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.000 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.000 * [taylor]: Taking taylor expansion of x in x 1.009 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0 1.009 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 1.009 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.009 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.009 * [taylor]: Taking taylor expansion of -1 in x 1.009 * [taylor]: Taking taylor expansion of x in x 1.009 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 1.009 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.009 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.009 * [taylor]: Taking taylor expansion of -1 in x 1.009 * [taylor]: Taking taylor expansion of x in x 1.019 * * * [progress]: simplifying candidates 1.021 * [simplify]: Simplifying using # : (- (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)) (* (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)) (* (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.029 * * [simplify]: iteration 0 : 631 enodes (cost 1243 ) 1.040 * * [simplify]: iteration 1 : 2797 enodes (cost 977 ) 1.095 * * [simplify]: iteration 2 : 5001 enodes (cost 977 ) 1.100 * [simplify]: Simplified to: (- (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) (+ (* 1 (- 1)) (pow (exp (- x)) 6)) (+ (+ (pow (exp (- x)) 4) (exp (+ (+ (- x) (- x)) (- x x)))) 1) (- 1) (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)) (- 1) (+ (* 2.0 (pow (exp x) 6)) (* 2.0 (pow (* (exp (- x)) (- (exp (- x)) (exp x))) 3))) (* (+ (* (* (exp (- x)) (- (exp (- x)) (exp x))) (- (* (exp (- x)) (- (exp (- x)) (exp x))) (pow (exp x) 2))) (* (pow (exp x) 2) (pow (exp x) 2))) (+ (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)) 2.0)) (* (+ (- (pow (exp x) 2) (pow (exp (- x)) 2)) (exp (+ x (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (- 2.0) (pow (exp x) 6)) (* (- 2.0) (pow (* (exp (- x)) (- (exp (- x)) (exp x))) 3))) (* (+ (* (* (exp (- x)) (- (exp (- x)) (exp x))) (- (* (exp (- x)) (- (exp (- x)) (exp x))) (pow (exp x) 2))) (* (pow (exp x) 2) (pow (exp x) 2))) (- (+ (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)) (- 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)) (/ (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)) (/ 2.0 (- (* (pow (exp (- x)) 2) (* (- (exp (- x)) (exp x)) (- (exp (- x)) (exp x)))) (- (+ 1 (* (pow (exp x) 2) (* (- 1) 1))) (pow (exp x) 4))))) (* (- (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)) (/ 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))) (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1)) (* (+ (* (* (exp (- x)) (- (exp (- x)) (exp x))) (- (* (exp (- x)) (- (exp (- x)) (exp x))) (pow (exp x) 2))) (* (pow (exp x) 2) (pow (exp x) 2))) (+ (exp x) (exp (- x)))) (/ (* (- (+ (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)) 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 x) 3) (pow (exp (- x)) 3))) (+ (pow (exp x) 2) (pow (exp (- x)) 2))) (* (- 1) (/ 2.0 (+ (pow (exp 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) (/ 2.0 (+ (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 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 x) 3) (pow (exp (- x)) 3))) (+ (pow (exp x) 2) (pow (exp (- x)) 2))) (* (- 1) (/ 2.0 (+ (pow (exp 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) (/ 2.0 (+ (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 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))) (* (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1) (- (+ (pow (exp x) 6) (pow (exp (- x)) 6)) (* (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1) (- (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (+ (* 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))) (* (* 2.0 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)) 1) (/ (- (+ (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) (- (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (pow (exp (- x)) 2) 1) (- (pow (exp (- x)) 2) 1) (- (+ (* 0.20833333333333334 (pow x 4)) 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 (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) (pow (exp x) 3) (pow (exp x) 3) 1.100 * * * [progress]: adding candidates to table 1.273 * * [progress]: iteration 4 / 4 1.273 * * * [progress]: picking best candidate 1.279 * * * * [pick]: Picked # 1.279 * * * [progress]: localizing error 1.300 * * * [progress]: generating rewritten candidates 1.300 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 1.304 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 1.319 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 1.328 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2) 1.332 * * * [progress]: generating series expansions 1.332 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 1.333 * [approximate]: Taking taylor expansion of (- (pow (exp (- x)) 4) 1) in (x) around 0 1.333 * [taylor]: Taking taylor expansion of (- (pow (exp (- x)) 4) 1) in x 1.333 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 4) in x 1.333 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.333 * [taylor]: Taking taylor expansion of (- x) in x 1.333 * [taylor]: Taking taylor expansion of x in x 1.333 * [taylor]: Taking taylor expansion of 1 in x 1.333 * [taylor]: Taking taylor expansion of (- (pow (exp (- x)) 4) 1) in x 1.333 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 4) in x 1.333 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.333 * [taylor]: Taking taylor expansion of (- x) in x 1.333 * [taylor]: Taking taylor expansion of x in x 1.334 * [taylor]: Taking taylor expansion of 1 in x 1.344 * [approximate]: Taking taylor expansion of (- (pow (exp (- (/ 1 x))) 4) 1) in (x) around 0 1.344 * [taylor]: Taking taylor expansion of (- (pow (exp (- (/ 1 x))) 4) 1) in x 1.344 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 4) in x 1.344 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.345 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.345 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.345 * [taylor]: Taking taylor expansion of x in x 1.345 * [taylor]: Taking taylor expansion of 1 in x 1.345 * [taylor]: Taking taylor expansion of (- (pow (exp (- (/ 1 x))) 4) 1) in x 1.345 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 4) in x 1.345 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.345 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.345 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.345 * [taylor]: Taking taylor expansion of x in x 1.346 * [taylor]: Taking taylor expansion of 1 in x 1.359 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 4) 1) in (x) around 0 1.359 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 4) 1) in x 1.359 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 1.359 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.359 * [taylor]: Taking taylor expansion of x in x 1.359 * [taylor]: Taking taylor expansion of 1 in x 1.359 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 4) 1) in x 1.359 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 1.359 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.359 * [taylor]: Taking taylor expansion of x in x 1.360 * [taylor]: Taking taylor expansion of 1 in x 1.374 * * * * [progress]: [ 2 / 4 ] generating series at (2) 1.375 * [approximate]: Taking taylor expansion of (* 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)))) in (x) around 0 1.375 * [taylor]: Taking taylor expansion of (* 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)))) in x 1.375 * [taylor]: Taking taylor expansion of 2.0 in x 1.375 * [taylor]: Taking taylor expansion of (/ (- (+ (/ (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))) in x 1.375 * [taylor]: Taking taylor expansion of (- (+ (/ (pow (exp (- x)) 4) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2)) (/ 1 (+ (pow (exp (- x)) 2) 1))) in x 1.375 * [taylor]: Taking taylor expansion of (+ (/ (pow (exp (- x)) 4) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2)) in x 1.375 * [taylor]: Taking taylor expansion of (/ (pow (exp (- x)) 4) (+ (pow (exp (- x)) 2) 1)) in x 1.375 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 4) in x 1.375 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.375 * [taylor]: Taking taylor expansion of (- x) in x 1.375 * [taylor]: Taking taylor expansion of x in x 1.376 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 2) 1) in x 1.376 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x 1.376 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.376 * [taylor]: Taking taylor expansion of (- x) in x 1.376 * [taylor]: Taking taylor expansion of x in x 1.376 * [taylor]: Taking taylor expansion of 1 in x 1.377 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 1.377 * [taylor]: Taking taylor expansion of (exp x) in x 1.377 * [taylor]: Taking taylor expansion of x in x 1.378 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (exp (- x)) 2) 1)) in x 1.378 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 2) 1) in x 1.378 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x 1.378 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.378 * [taylor]: Taking taylor expansion of (- x) in x 1.378 * [taylor]: Taking taylor expansion of x in x 1.378 * [taylor]: Taking taylor expansion of 1 in x 1.379 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 3) (pow (exp x) 3)) in x 1.379 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x 1.379 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.379 * [taylor]: Taking taylor expansion of (- x) in x 1.379 * [taylor]: Taking taylor expansion of x in x 1.379 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 1.379 * [taylor]: Taking taylor expansion of (exp x) in x 1.379 * [taylor]: Taking taylor expansion of x in x 1.382 * [taylor]: Taking taylor expansion of (* 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)))) in x 1.382 * [taylor]: Taking taylor expansion of 2.0 in x 1.382 * [taylor]: Taking taylor expansion of (/ (- (+ (/ (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))) in x 1.382 * [taylor]: Taking taylor expansion of (- (+ (/ (pow (exp (- x)) 4) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2)) (/ 1 (+ (pow (exp (- x)) 2) 1))) in x 1.382 * [taylor]: Taking taylor expansion of (+ (/ (pow (exp (- x)) 4) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2)) in x 1.382 * [taylor]: Taking taylor expansion of (/ (pow (exp (- x)) 4) (+ (pow (exp (- x)) 2) 1)) in x 1.382 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 4) in x 1.382 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.382 * [taylor]: Taking taylor expansion of (- x) in x 1.382 * [taylor]: Taking taylor expansion of x in x 1.382 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 2) 1) in x 1.382 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x 1.382 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.382 * [taylor]: Taking taylor expansion of (- x) in x 1.382 * [taylor]: Taking taylor expansion of x in x 1.383 * [taylor]: Taking taylor expansion of 1 in x 1.384 * [taylor]: Taking taylor expansion of (pow (exp x) 2) 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 (/ 1 (+ (pow (exp (- x)) 2) 1)) in x 1.384 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 2) 1) in x 1.384 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) 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.385 * [taylor]: Taking taylor expansion of 1 in x 1.385 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 3) (pow (exp x) 3)) in x 1.386 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x 1.386 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.386 * [taylor]: Taking taylor expansion of (- x) in x 1.386 * [taylor]: Taking taylor expansion of x in x 1.386 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 1.386 * [taylor]: Taking taylor expansion of (exp x) in x 1.386 * [taylor]: Taking taylor expansion of x in x 1.477 * [approximate]: Taking taylor expansion of (* 2.0 (/ (- (+ (/ (pow (exp (- (/ 1 x))) 4) (+ 1 (pow (exp (- (/ 1 x))) 2))) (pow (exp (/ 1 x)) 2)) (/ 1 (+ 1 (pow (exp (- (/ 1 x))) 2)))) (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)))) in (x) around 0 1.477 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (+ (/ (pow (exp (- (/ 1 x))) 4) (+ 1 (pow (exp (- (/ 1 x))) 2))) (pow (exp (/ 1 x)) 2)) (/ 1 (+ 1 (pow (exp (- (/ 1 x))) 2)))) (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)))) in x 1.477 * [taylor]: Taking taylor expansion of 2.0 in x 1.477 * [taylor]: Taking taylor expansion of (/ (- (+ (/ (pow (exp (- (/ 1 x))) 4) (+ 1 (pow (exp (- (/ 1 x))) 2))) (pow (exp (/ 1 x)) 2)) (/ 1 (+ 1 (pow (exp (- (/ 1 x))) 2)))) (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3))) in x 1.477 * [taylor]: Taking taylor expansion of (- (+ (/ (pow (exp (- (/ 1 x))) 4) (+ 1 (pow (exp (- (/ 1 x))) 2))) (pow (exp (/ 1 x)) 2)) (/ 1 (+ 1 (pow (exp (- (/ 1 x))) 2)))) in x 1.478 * [taylor]: Taking taylor expansion of (+ (/ (pow (exp (- (/ 1 x))) 4) (+ 1 (pow (exp (- (/ 1 x))) 2))) (pow (exp (/ 1 x)) 2)) in x 1.478 * [taylor]: Taking taylor expansion of (/ (pow (exp (- (/ 1 x))) 4) (+ 1 (pow (exp (- (/ 1 x))) 2))) in x 1.478 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 4) in x 1.478 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.478 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.478 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.478 * [taylor]: Taking taylor expansion of x in x 1.478 * [taylor]: Taking taylor expansion of (+ 1 (pow (exp (- (/ 1 x))) 2)) in x 1.478 * [taylor]: Taking taylor expansion of 1 in x 1.478 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x 1.478 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.478 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.478 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.479 * [taylor]: Taking taylor expansion of x in x 1.480 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.480 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.480 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.480 * [taylor]: Taking taylor expansion of x in x 1.480 * [taylor]: Taking taylor expansion of (/ 1 (+ 1 (pow (exp (- (/ 1 x))) 2))) in x 1.480 * [taylor]: Taking taylor expansion of (+ 1 (pow (exp (- (/ 1 x))) 2)) in x 1.480 * [taylor]: Taking taylor expansion of 1 in x 1.480 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x 1.480 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.480 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.480 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.480 * [taylor]: Taking taylor expansion of x in x 1.481 * [taylor]: Taking taylor expansion of (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)) in x 1.481 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x 1.481 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.481 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.481 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.481 * [taylor]: Taking taylor expansion of x in x 1.482 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 1.482 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.482 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.482 * [taylor]: Taking taylor expansion of x in x 1.484 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (+ (/ (pow (exp (- (/ 1 x))) 4) (+ 1 (pow (exp (- (/ 1 x))) 2))) (pow (exp (/ 1 x)) 2)) (/ 1 (+ 1 (pow (exp (- (/ 1 x))) 2)))) (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)))) in x 1.484 * [taylor]: Taking taylor expansion of 2.0 in x 1.484 * [taylor]: Taking taylor expansion of (/ (- (+ (/ (pow (exp (- (/ 1 x))) 4) (+ 1 (pow (exp (- (/ 1 x))) 2))) (pow (exp (/ 1 x)) 2)) (/ 1 (+ 1 (pow (exp (- (/ 1 x))) 2)))) (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3))) in x 1.484 * [taylor]: Taking taylor expansion of (- (+ (/ (pow (exp (- (/ 1 x))) 4) (+ 1 (pow (exp (- (/ 1 x))) 2))) (pow (exp (/ 1 x)) 2)) (/ 1 (+ 1 (pow (exp (- (/ 1 x))) 2)))) in x 1.484 * [taylor]: Taking taylor expansion of (+ (/ (pow (exp (- (/ 1 x))) 4) (+ 1 (pow (exp (- (/ 1 x))) 2))) (pow (exp (/ 1 x)) 2)) in x 1.484 * [taylor]: Taking taylor expansion of (/ (pow (exp (- (/ 1 x))) 4) (+ 1 (pow (exp (- (/ 1 x))) 2))) in x 1.484 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 4) in x 1.484 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.484 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.484 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.484 * [taylor]: Taking taylor expansion of x in x 1.485 * [taylor]: Taking taylor expansion of (+ 1 (pow (exp (- (/ 1 x))) 2)) in x 1.485 * [taylor]: Taking taylor expansion of 1 in x 1.485 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x 1.485 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.485 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.485 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.485 * [taylor]: Taking taylor expansion of x in x 1.486 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.486 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.486 * [taylor]: Taking taylor expansion of x in x 1.486 * [taylor]: Taking taylor expansion of (/ 1 (+ 1 (pow (exp (- (/ 1 x))) 2))) in x 1.487 * [taylor]: Taking taylor expansion of (+ 1 (pow (exp (- (/ 1 x))) 2)) in x 1.487 * [taylor]: Taking taylor expansion of 1 in x 1.487 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x 1.487 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.487 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.487 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.487 * [taylor]: Taking taylor expansion of x in x 1.487 * [taylor]: Taking taylor expansion of (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)) in x 1.487 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x 1.488 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.488 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.488 * [taylor]: Taking taylor expansion of x in x 1.488 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 1.488 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.488 * [taylor]: Taking taylor expansion of x in x 1.571 * [approximate]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp (/ -1 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 (/ 1 x)) 3)))) in (x) around 0 1.571 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp (/ -1 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 (/ 1 x)) 3)))) in x 1.571 * [taylor]: Taking taylor expansion of 2.0 in x 1.571 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (/ -1 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 (/ 1 x)) 3))) in x 1.571 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) (/ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 1))) (/ 1 (+ (pow (exp (/ 1 x)) 2) 1))) in x 1.571 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (/ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 1))) in x 1.571 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.571 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.571 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.571 * [taylor]: Taking taylor expansion of -1 in x 1.571 * [taylor]: Taking taylor expansion of x in x 1.572 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 1)) in x 1.572 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 1.572 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.572 * [taylor]: Taking taylor expansion of x in x 1.572 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x 1.572 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.572 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.572 * [taylor]: Taking taylor expansion of x in x 1.573 * [taylor]: Taking taylor expansion of 1 in x 1.573 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (exp (/ 1 x)) 2) 1)) in x 1.573 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x 1.573 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.573 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.573 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.573 * [taylor]: Taking taylor expansion of x in x 1.573 * [taylor]: Taking taylor expansion of 1 in x 1.574 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)) in x 1.574 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 1.574 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.574 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.574 * [taylor]: Taking taylor expansion of -1 in x 1.574 * [taylor]: Taking taylor expansion of x in x 1.574 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 1.574 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.574 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.574 * [taylor]: Taking taylor expansion of x in x 1.576 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (+ (pow (exp (/ -1 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 (/ 1 x)) 3)))) in x 1.577 * [taylor]: Taking taylor expansion of 2.0 in x 1.577 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (/ -1 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 (/ 1 x)) 3))) in x 1.577 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) (/ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 1))) (/ 1 (+ (pow (exp (/ 1 x)) 2) 1))) in x 1.577 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (/ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 1))) in x 1.577 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.577 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.577 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.577 * [taylor]: Taking taylor expansion of -1 in x 1.577 * [taylor]: Taking taylor expansion of x in x 1.577 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 1)) in x 1.577 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 1.577 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.577 * [taylor]: Taking taylor expansion of x in x 1.577 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x 1.577 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.577 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.577 * [taylor]: Taking taylor expansion of x in x 1.578 * [taylor]: Taking taylor expansion of 1 in x 1.578 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (exp (/ 1 x)) 2) 1)) in x 1.578 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x 1.578 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.578 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.578 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.578 * [taylor]: Taking taylor expansion of x in x 1.579 * [taylor]: Taking taylor expansion of 1 in x 1.579 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)) in x 1.579 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 1.579 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.579 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.579 * [taylor]: Taking taylor expansion of -1 in x 1.579 * [taylor]: Taking taylor expansion of x in x 1.579 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 1.580 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.580 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.580 * [taylor]: Taking taylor expansion of x in x 1.658 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 1.658 * [approximate]: Taking taylor expansion of (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)) in (x) around 0 1.658 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)) in x 1.658 * [taylor]: Taking taylor expansion of (- (pow (exp (- x)) 4) 1) in x 1.658 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 4) in x 1.658 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.658 * [taylor]: Taking taylor expansion of (- x) in x 1.658 * [taylor]: Taking taylor expansion of x in x 1.659 * [taylor]: Taking taylor expansion of 1 in x 1.659 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 2) 1) in x 1.659 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x 1.659 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.659 * [taylor]: Taking taylor expansion of (- x) in x 1.659 * [taylor]: Taking taylor expansion of x in x 1.659 * [taylor]: Taking taylor expansion of 1 in x 1.663 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)) in x 1.663 * [taylor]: Taking taylor expansion of (- (pow (exp (- x)) 4) 1) in x 1.663 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 4) in x 1.663 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.663 * [taylor]: Taking taylor expansion of (- x) in x 1.663 * [taylor]: Taking taylor expansion of x in x 1.664 * [taylor]: Taking taylor expansion of 1 in x 1.664 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 2) 1) in x 1.664 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x 1.664 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.664 * [taylor]: Taking taylor expansion of (- x) in x 1.664 * [taylor]: Taking taylor expansion of x in x 1.664 * [taylor]: Taking taylor expansion of 1 in x 1.680 * [approximate]: Taking taylor expansion of (/ (- (pow (exp (- (/ 1 x))) 4) 1) (+ 1 (pow (exp (- (/ 1 x))) 2))) in (x) around 0 1.680 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (- (/ 1 x))) 4) 1) (+ 1 (pow (exp (- (/ 1 x))) 2))) in x 1.680 * [taylor]: Taking taylor expansion of (- (pow (exp (- (/ 1 x))) 4) 1) in x 1.680 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 4) in x 1.680 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.680 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.681 * [taylor]: Taking taylor expansion of x in x 1.681 * [taylor]: Taking taylor expansion of 1 in x 1.681 * [taylor]: Taking taylor expansion of (+ 1 (pow (exp (- (/ 1 x))) 2)) in x 1.681 * [taylor]: Taking taylor expansion of 1 in x 1.681 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x 1.681 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.681 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.681 * [taylor]: Taking taylor expansion of x in x 1.683 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (- (/ 1 x))) 4) 1) (+ 1 (pow (exp (- (/ 1 x))) 2))) in x 1.683 * [taylor]: Taking taylor expansion of (- (pow (exp (- (/ 1 x))) 4) 1) in x 1.683 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 4) in x 1.683 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.683 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.683 * [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 (pow (exp (- (/ 1 x))) 2)) in x 1.683 * [taylor]: Taking taylor expansion of 1 in x 1.683 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x 1.683 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.684 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.684 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.684 * [taylor]: Taking taylor expansion of x in x 1.708 * [approximate]: Taking taylor expansion of (/ (- (pow (exp (/ 1 x)) 4) 1) (+ (pow (exp (/ 1 x)) 2) 1)) in (x) around 0 1.709 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 x)) 4) 1) (+ (pow (exp (/ 1 x)) 2) 1)) in x 1.709 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 4) 1) in x 1.709 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 1.709 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.709 * [taylor]: Taking taylor expansion of x in x 1.709 * [taylor]: Taking taylor expansion of 1 in x 1.709 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x 1.709 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.709 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.709 * [taylor]: Taking taylor expansion of x in x 1.709 * [taylor]: Taking taylor expansion of 1 in x 1.710 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 x)) 4) 1) (+ (pow (exp (/ 1 x)) 2) 1)) in x 1.710 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 4) 1) in x 1.710 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 1.710 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.710 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.710 * [taylor]: Taking taylor expansion of x in x 1.711 * [taylor]: Taking taylor expansion of 1 in x 1.711 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x 1.711 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.711 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.711 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.711 * [taylor]: Taking taylor expansion of x in x 1.711 * [taylor]: Taking taylor expansion of 1 in x 1.736 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2) 1.736 * [approximate]: Taking taylor expansion of (pow (exp (- x)) 4) in (x) around 0 1.736 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 4) in x 1.736 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.736 * [taylor]: Taking taylor expansion of (- x) in x 1.736 * [taylor]: Taking taylor expansion of x in x 1.736 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 4) in x 1.736 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.736 * [taylor]: Taking taylor expansion of (- x) in x 1.736 * [taylor]: Taking taylor expansion of x in x 1.742 * [approximate]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 4) in (x) around 0 1.742 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 4) in x 1.742 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.742 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.742 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.742 * [taylor]: Taking taylor expansion of x in x 1.742 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 4) in x 1.742 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.742 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.742 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.742 * [taylor]: Taking taylor expansion of x in x 1.753 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in (x) around 0 1.753 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 1.753 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.753 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.753 * [taylor]: Taking taylor expansion of x in x 1.753 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 1.753 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.753 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.753 * [taylor]: Taking taylor expansion of x in x 1.762 * * * [progress]: simplifying candidates 1.763 * [simplify]: Simplifying using # : (+ (pow (* (- 1) 1) 3) (pow (pow (exp (- x)) 4) 3)) (+ (* (* (- 1) 1) (* (- 1) 1)) (- (* (pow (exp (- x)) 4) (pow (exp (- x)) 4)) (* (* (- 1) 1) (pow (exp (- x)) 4)))) (- (* (* (- 1) 1) (* (- 1) 1)) (* (pow (exp (- x)) 4) (pow (exp (- x)) 4))) (- (* (- 1) 1) (pow (exp (- x)) 4)) (* 2.0 (+ (pow (* (exp x) (exp x)) 3) (pow (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) 3))) (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1))) (* (* (exp x) (exp x)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)))))) (* 2.0 (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1))))) (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (- (* (exp x) (exp x)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)))) (* (- 2.0) (+ (pow (* (exp x) (exp x)) 3) (pow (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) 3))) (* (- (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1))) (* (* (exp x) (exp x)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)))))) (* (- 2.0) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1))))) (* (- (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (- (* (exp x) (exp x)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)))) (* 1 (+ (pow (* (exp x) (exp x)) 3) (pow (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) 3))) (* (/ (+ (pow (exp x) 3) (pow (exp (- x)) 3)) 2.0) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1))) (* (* (exp x) (exp x)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)))))) (* 1 (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1))))) (* (/ (+ (pow (exp x) 3) (pow (exp (- x)) 3)) 2.0) (- (* (exp x) (exp x)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (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 (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) 3))) (* (+ (exp x) (exp (- x))) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1))) (* (* (exp x) (exp x)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (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))) (* (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1))))) (* (+ (exp x) (exp (- x))) (- (* (exp x) (exp x)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (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) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (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)))) (* (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (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)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (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)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)))) (* (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (pow (* (exp x) (exp x)) 3) (pow (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) 3))) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1))))) (* 2.0 (+ (* (exp x) (exp x)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)))) (* (- 2.0) (+ (* (exp x) (exp x)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)))) (* 1 (+ (* (exp x) (exp x)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)))) (* (/ 2.0 (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (+ (* (exp x) (exp x)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)))) (- (+ (* (- 1) 1) (pow (exp (- x)) 4))) (- (+ (pow (exp (- x)) 2) 1)) (/ 1 (+ (pow (exp (- x)) 2) 1)) (/ (+ (pow (exp (- x)) 2) 1) (+ (* (- 1) 1) (pow (exp (- x)) 4))) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (pow (exp (- x)) 2) 3) (pow 1 3))) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (- (* (pow (exp (- x)) 2) (pow (exp (- x)) 2)) (* 1 1))) (* (+ (pow (exp (- x)) 2) 1) (+ (* (* (- 1) 1) (* (- 1) 1)) (- (* (pow (exp (- x)) 4) (pow (exp (- x)) 4)) (* (* (- 1) 1) (pow (exp (- x)) 4))))) (* (+ (pow (exp (- x)) 2) 1) (- (* (- 1) 1) (pow (exp (- x)) 4))) (* (- 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.771 * * [simplify]: iteration 0 : 520 enodes (cost 1015 ) 1.781 * * [simplify]: iteration 1 : 2522 enodes (cost 902 ) 1.822 * * [simplify]: iteration 2 : 5001 enodes (cost 890 ) 1.826 * [simplify]: Simplified to: (+ (pow (* (- 1) 1) 3) (pow (pow (exp (- x)) 4) 3)) (+ (pow (exp (- x)) 8) (+ (* 1 (pow (exp (- x)) 4)) 1)) (+ (- (pow (exp (- x)) 8)) 1) (- (+ 1 (pow (exp (- x)) 4))) (+ (* 2.0 (pow (exp x) 6)) (* 2.0 (pow (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)) 3))) (* (+ (* (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) (- (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2))) (* (pow (exp x) 2) (pow (exp x) 2))) (+ (pow (exp 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 x) 3) (pow (exp (- x)) 3)) (- (* (exp x) (exp x)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)))) (* (- 2.0) (+ (pow (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)) 3) (pow (exp x) 6))) (* (+ (* (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) (- (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2))) (* (pow (exp x) 2) (pow (exp x) 2))) (- (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (- 2.0) (+ (* (- (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1))) (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1))) (pow (exp x) 4))) (* (- (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2)) (+ (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)) (* (+ (* (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) (- (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) (pow (exp x) 2))) (* (pow (exp x) 2) (pow (exp x) 2))) (/ (+ (pow (exp x) 3) (pow (exp (- x)) 3)) 2.0)) (+ (* (- (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1))) (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1))) (pow (exp x) 4)) (* (/ (+ (pow (exp x) 3) (pow (exp (- x)) 3)) 2.0) (- (* (exp x) (exp x)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)))) (/ 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))))) (* (+ (* (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (exp (- x)) 2) 1)) (- (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (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 (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1))) (- (pow (exp x) 2) (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)))) 2.0) (- (+ (pow (exp x) 2) (pow (exp (- x)) 2)) 1)) (* (+ (exp x) (exp (- x))) (- (* (exp x) (exp x)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (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))) (* (- (+ (pow (exp x) 6) (pow (exp (- x)) 6)) (* (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (pow (exp x) 2) (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)))) (* (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (pow (exp x) 2) (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1)))) (/ (+ (* 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))) (/ (* (* (+ (pow (exp x) 2) (/ (- (pow (exp (- x)) 4) 1) (+ (pow (exp (- x)) 2) 1))) (- (pow (exp x) 2) (/ (- (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 (* -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)))) (+ (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 (- x)) 2)) 1)) (- 1 (pow (exp (- x)) 4)) (- (+ (pow (exp (- x)) 2) 1)) (/ 1 (+ (pow (exp (* -1 x)) 2) 1)) (/ 1 (- (pow (exp (- x)) 2) 1)) (/ (+ (* (- 1) 1) (pow (exp (- x)) 4)) (+ (pow (pow (exp (- x)) 2) 3) (pow 1 3))) 1 (* (+ (pow (exp (- x)) 8) (+ (* 1 (pow (exp (- x)) 4)) 1)) (+ (pow (exp (* -1 x)) 2) 1)) (* (+ (pow (exp (* -1 x)) 2) 1) (- (+ 1 (pow (exp (- x)) 4)))) (* -4 x) (* -4 x) (* x 4) (pow (exp x) -2) (pow (exp x) -2) (- (* 8 (pow x 2)) (+ (* 32/3 (pow x 3)) (* 4 x))) (- (pow (exp (- x)) 4) 1) (- (pow (exp (- x)) 4) 1) (- (+ (* 0.20833333333333334 (pow x 4)) 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))) (- (* 2 (pow x 2)) (+ (* 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)) (- (+ (* 8 (pow x 2)) 1) (* 4 x)) (pow (exp (- x)) 4) (pow (exp (- x)) 4) 1.826 * * * [progress]: adding candidates to table 2.039 * [progress]: [Phase 3 of 3] Extracting. 2.039 * * [regime]: Finding splitpoints for: (# # #) 2.040 * * * [regime-changes]: Trying 3 branch expressions: ((+ (exp x) (exp (- x))) (/ 2.0 (+ (exp x) (exp (- x)))) x) 2.040 * * * * [regimes]: Trying to branch on (+ (exp x) (exp (- x))) from (# # #) 2.058 * * * * [regimes]: Trying to branch on (/ 2.0 (+ (exp x) (exp (- x)))) from (# # #) 2.076 * * * * [regimes]: Trying to branch on x from (# # #) 2.093 * * * [regime]: Found split indices: #