17.874 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.078 * * * [progress]: [2/2] Setting up program. 0.080 * [progress]: [Phase 2 of 3] Improving. 0.080 * [simplify]: Simplifying using # : (+ (- (exp x) 2.0) (exp (- x))) 0.081 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.082 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.084 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 0.087 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 0.092 * * [simplify]: iteration 4 : 52 enodes (cost 8 ) 0.098 * * [simplify]: iteration 5 : 62 enodes (cost 8 ) 0.110 * * [simplify]: iteration 6 : 87 enodes (cost 8 ) 0.125 * * [simplify]: iteration 7 : 146 enodes (cost 8 ) 0.167 * * [simplify]: iteration 8 : 241 enodes (cost 8 ) 0.367 * * [simplify]: iteration 9 : 773 enodes (cost 8 ) 2.608 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 2.608 * [simplify]: Simplified to: (+ (- (exp x) 2.0) (exp (- x))) 2.609 * * [progress]: iteration 1 / 4 2.609 * * * [progress]: picking best candidate 2.610 * * * * [pick]: Picked # 2.610 * * * [progress]: localizing error 2.616 * * * [progress]: generating rewritten candidates 2.616 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 2.646 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 2.653 * * * [progress]: generating series expansions 2.653 * * * * [progress]: [ 1 / 2 ] generating series at (2) 2.653 * [approximate]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in (x) around 0 2.653 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in x 2.653 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 2.653 * [taylor]: Taking taylor expansion of (exp x) in x 2.653 * [taylor]: Taking taylor expansion of x in x 2.653 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.653 * [taylor]: Taking taylor expansion of (- x) in x 2.653 * [taylor]: Taking taylor expansion of x in x 2.654 * [taylor]: Taking taylor expansion of 2.0 in x 2.654 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in x 2.654 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 2.654 * [taylor]: Taking taylor expansion of (exp x) in x 2.654 * [taylor]: Taking taylor expansion of x in x 2.654 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.654 * [taylor]: Taking taylor expansion of (- x) in x 2.654 * [taylor]: Taking taylor expansion of x in x 2.654 * [taylor]: Taking taylor expansion of 2.0 in x 2.693 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in (x) around 0 2.693 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in x 2.694 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.694 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.694 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.694 * [taylor]: Taking taylor expansion of x in x 2.694 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.694 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.694 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.694 * [taylor]: Taking taylor expansion of x in x 2.694 * [taylor]: Taking taylor expansion of 2.0 in x 2.694 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in x 2.694 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.695 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.695 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.695 * [taylor]: Taking taylor expansion of x in x 2.695 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.695 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.695 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.695 * [taylor]: Taking taylor expansion of x in x 2.695 * [taylor]: Taking taylor expansion of 2.0 in x 2.700 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in (x) around 0 2.700 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 2.700 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.700 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.701 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.701 * [taylor]: Taking taylor expansion of x in x 2.701 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.701 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.701 * [taylor]: Taking taylor expansion of -1 in x 2.701 * [taylor]: Taking taylor expansion of x in x 2.701 * [taylor]: Taking taylor expansion of 2.0 in x 2.701 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 2.701 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.701 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.701 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.701 * [taylor]: Taking taylor expansion of x in x 2.702 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.702 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.702 * [taylor]: Taking taylor expansion of -1 in x 2.702 * [taylor]: Taking taylor expansion of x in x 2.702 * [taylor]: Taking taylor expansion of 2.0 in x 2.707 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 2.707 * [approximate]: Taking taylor expansion of (- (exp x) 2.0) in (x) around 0 2.707 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 2.707 * [taylor]: Taking taylor expansion of (exp x) in x 2.707 * [taylor]: Taking taylor expansion of x in x 2.707 * [taylor]: Taking taylor expansion of 2.0 in x 2.707 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 2.707 * [taylor]: Taking taylor expansion of (exp x) in x 2.707 * [taylor]: Taking taylor expansion of x in x 2.707 * [taylor]: Taking taylor expansion of 2.0 in x 2.711 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in (x) around 0 2.711 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 2.711 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.711 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.711 * [taylor]: Taking taylor expansion of x in x 2.711 * [taylor]: Taking taylor expansion of 2.0 in x 2.711 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 2.711 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.711 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.711 * [taylor]: Taking taylor expansion of x in x 2.712 * [taylor]: Taking taylor expansion of 2.0 in x 2.715 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in (x) around 0 2.715 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 2.715 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.715 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.715 * [taylor]: Taking taylor expansion of -1 in x 2.715 * [taylor]: Taking taylor expansion of x in x 2.716 * [taylor]: Taking taylor expansion of 2.0 in x 2.716 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 2.716 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.716 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.716 * [taylor]: Taking taylor expansion of -1 in x 2.716 * [taylor]: Taking taylor expansion of x in x 2.716 * [taylor]: Taking taylor expansion of 2.0 in x 2.720 * * * [progress]: simplifying candidates 2.721 * [simplify]: Simplifying using # : (expm1 (+ (- (exp x) 2.0) (exp (- x)))) (log1p (+ (- (exp x) 2.0) (exp (- x)))) (* (/ (exp (exp x)) (exp 2.0)) (exp (exp (- x)))) (* (exp (- (exp x) 2.0)) (exp (exp (- x)))) (log (+ (- (exp x) 2.0) (exp (- x)))) (exp (+ (- (exp x) 2.0) (exp (- x)))) (* (cbrt (+ (- (exp x) 2.0) (exp (- x)))) (cbrt (+ (- (exp x) 2.0) (exp (- x))))) (cbrt (+ (- (exp x) 2.0) (exp (- x)))) (* (* (+ (- (exp x) 2.0) (exp (- x))) (+ (- (exp x) 2.0) (exp (- x)))) (+ (- (exp x) 2.0) (exp (- x)))) (sqrt (+ (- (exp x) 2.0) (exp (- x)))) (sqrt (+ (- (exp x) 2.0) (exp (- x)))) (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) 1)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp x)) (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp 0))) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp x)) (+ (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (* (+ (exp x) 2.0) 1)) (* (+ (exp x) 2.0) (exp x)) (+ (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (* (+ (exp x) 2.0) (exp 0))) (* (+ (exp x) 2.0) (exp x)) (+ (pow (- (exp x) 2.0) 3) (pow (exp (- x)) 3)) (+ (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (* (exp (- x)) (exp (- x))) (* (- (exp x) 2.0) (exp (- x))))) (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (exp (- x)) (exp (- x)))) (- (- (exp x) 2.0) (exp (- x))) (+ (- (exp x) 2.0) (exp (- x))) (+ (- (exp x) 2.0) (exp (- x))) (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (exp (- x))) (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (exp (- x))) (+ (fma (- 2.0) 1 (* 2.0 1)) (exp (- x))) (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (exp (- x))) (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (exp (- x))) (+ (fma (- 2.0) 1 (* 2.0 1)) (exp (- x))) (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (exp (- x))) (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (exp (- x))) (+ (fma (- 2.0) 1 (* 2.0 1)) (exp (- x))) (+ (- 2.0) (exp (- x))) (+ (- 2.0) (exp (- x))) (- 2.0 (exp (- x))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))) (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 2.0) (sqrt 2.0)))) (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 2.0 1))) (fma (- 2.0) 1 (* 2.0 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))) (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 2.0) (sqrt 2.0)))) (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 2.0 1))) (fma (- 2.0) 1 (* 2.0 1)) (fma 1 (exp x) (- (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))) (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (fma 1 (exp x) (- (* (sqrt 2.0) (sqrt 2.0)))) (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (fma 1 (exp x) (- (* 2.0 1))) (fma (- 2.0) 1 (* 2.0 1)) (expm1 (- (exp x) 2.0)) (log1p (- (exp x) 2.0)) (- 2.0) (- 2.0) (- 2.0) (/ (exp (exp x)) (exp 2.0)) (log (- (exp x) 2.0)) (exp (- (exp x) 2.0)) (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))) (cbrt (- (exp x) 2.0)) (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0)) (sqrt (- (exp x) 2.0)) (sqrt (- (exp x) 2.0)) (- (pow (exp x) 3) (pow 2.0 3)) (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (- 2.0) (- (* (exp x) (exp x)) (* 2.0 2.0)) (+ (exp x) 2.0) (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (- (exp x) 2.0) (- 2.0) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (- (+ (exp x) (exp (- x))) 2.0) (- (+ (exp (* -1 x)) (exp x)) 2.0) (- (+ (* 1/2 (pow x 2)) x) 1.0) (- (exp x) 2.0) (- (exp x) 2.0) 2.727 * * [simplify]: iteration 0 : 124 enodes (cost 914 ) 2.749 * * [simplify]: iteration 1 : 277 enodes (cost 729 ) 2.822 * * [simplify]: iteration 2 : 815 enodes (cost 619 ) 3.333 * * [simplify]: iteration 3 : 4125 enodes (cost 557 ) 4.995 * * [simplify]: iteration done : 5000 enodes (cost 557 ) 4.996 * [simplify]: Simplified to: (expm1 (+ (- (exp x) 2.0) (exp (- x)))) (log1p (+ (- (exp x) 2.0) (exp (- x)))) (exp (+ (- (exp x) 2.0) (exp (- x)))) (exp (+ (- (exp x) 2.0) (exp (- x)))) (log (+ (- (exp x) 2.0) (exp (- x)))) (exp (+ (- (exp x) 2.0) (exp (- x)))) (* (cbrt (+ (- (exp x) 2.0) (exp (- x)))) (cbrt (+ (- (exp x) 2.0) (exp (- x))))) (cbrt (+ (- (exp x) 2.0) (exp (- x)))) (pow (+ (- (exp x) 2.0) (exp (- x))) 3) (sqrt (+ (- (exp x) 2.0) (exp (- x)))) (sqrt (+ (- (exp x) 2.0) (exp (- x)))) (fma (+ (exp x) 2.0) 2.0 (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))) (exp x)) (fma (+ (exp x) 2.0) 2.0 (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))) (exp x)) (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))) (* (+ (exp x) 2.0) (exp x)) (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))) (* (+ (exp x) 2.0) (exp x)) (+ (exp (* x -3)) (pow (- (exp x) 2.0) 3)) (+ (* (- (exp x) 2.0) (- (- (exp x) 2.0) (exp (- x)))) (exp (* x -2))) (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (exp (* x -2))) (- (- (exp x) 2.0) (exp (- x))) (+ (exp (- x)) (- (exp x) 2.0)) (+ (exp (- x)) (- (exp x) 2.0)) (+ 0 (exp (- x))) (+ 0 (exp (- x))) (+ 0 (exp (- x))) (+ 0 (exp (- x))) (+ 0 (exp (- x))) (+ 0 (exp (- x))) (+ 0 (exp (- x))) (+ 0 (exp (- x))) (+ 0 (exp (- x))) (- (exp (- x)) 2.0) (- (exp (- x)) 2.0) (- 2.0 (exp (- x))) (- (pow (cbrt (exp x)) 3) 2.0) 0 (- (pow (cbrt (exp x)) 3) 2.0) 0 (- (pow (cbrt (exp x)) 3) 2.0) 0 (- (exp x) 2.0) 0 (- (exp x) 2.0) 0 (- (exp x) 2.0) 0 (- (exp x) 2.0) 0 (- (exp x) 2.0) 0 (- (exp x) 2.0) 0 (expm1 (- (exp x) 2.0)) (log1p (- (exp x) 2.0)) (- 2.0) (- 2.0) (- 2.0) (exp (- (exp x) 2.0)) (log (- (exp x) 2.0)) (exp (- (exp x) 2.0)) (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))) (cbrt (- (exp x) 2.0)) (pow (- (exp x) 2.0) 3) (sqrt (- (exp x) 2.0)) (sqrt (- (exp x) 2.0)) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))) (- 2.0) (- (exp (+ x x)) (* 2.0 2.0)) (+ (exp x) 2.0) (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (- (exp x) 2.0) (- 2.0) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (+ (exp (- x)) (- (exp x) 2.0)) (+ (exp (- x)) (- (exp x) 2.0)) (- (fma 1/2 (pow x 2) x) 1.0) (- (exp x) 2.0) (- (exp x) 2.0) 4.996 * * * [progress]: adding candidates to table 5.140 * * [progress]: iteration 2 / 4 5.140 * * * [progress]: picking best candidate 5.145 * * * * [pick]: Picked # 5.145 * * * [progress]: localizing error 5.157 * * * [progress]: generating rewritten candidates 5.157 * * * * [progress]: [ 1 / 3 ] rewriting at (2 3 3) 5.162 * * * * [progress]: [ 2 / 3 ] rewriting at (2 3) 5.163 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 5.164 * * * [progress]: generating series expansions 5.164 * * * * [progress]: [ 1 / 3 ] generating series at (2 3 3) 5.164 * [approximate]: Taking taylor expansion of (* 1/12 (pow x 4)) in (x) around 0 5.164 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 5.164 * [taylor]: Taking taylor expansion of 1/12 in x 5.164 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.164 * [taylor]: Taking taylor expansion of x in x 5.164 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 5.164 * [taylor]: Taking taylor expansion of 1/12 in x 5.164 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.164 * [taylor]: Taking taylor expansion of x in x 5.176 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 5.176 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 5.176 * [taylor]: Taking taylor expansion of 1/12 in x 5.176 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.176 * [taylor]: Taking taylor expansion of x in x 5.177 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 5.177 * [taylor]: Taking taylor expansion of 1/12 in x 5.177 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.177 * [taylor]: Taking taylor expansion of x in x 5.188 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 5.188 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 5.188 * [taylor]: Taking taylor expansion of 1/12 in x 5.188 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.188 * [taylor]: Taking taylor expansion of x in x 5.188 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 5.188 * [taylor]: Taking taylor expansion of 1/12 in x 5.188 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.188 * [taylor]: Taking taylor expansion of x in x 5.199 * * * * [progress]: [ 2 / 3 ] generating series at (2 3) 5.199 * [approximate]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in (x) around 0 5.199 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x 5.199 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 5.199 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 5.199 * [taylor]: Taking taylor expansion of 1/360 in x 5.199 * [taylor]: Taking taylor expansion of (pow x 6) in x 5.199 * [taylor]: Taking taylor expansion of x in x 5.199 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 5.199 * [taylor]: Taking taylor expansion of 1/12 in x 5.199 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.199 * [taylor]: Taking taylor expansion of x in x 5.199 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x 5.200 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 5.200 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 5.200 * [taylor]: Taking taylor expansion of 1/360 in x 5.200 * [taylor]: Taking taylor expansion of (pow x 6) in x 5.200 * [taylor]: Taking taylor expansion of x in x 5.200 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 5.200 * [taylor]: Taking taylor expansion of 1/12 in x 5.200 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.200 * [taylor]: Taking taylor expansion of x in x 5.236 * [approximate]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in (x) around 0 5.236 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x 5.236 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4))) 5.236 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x 5.236 * [taylor]: Taking taylor expansion of 1/360 in x 5.236 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x 5.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.236 * [taylor]: Taking taylor expansion of x in x 5.236 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 5.236 * [taylor]: Taking taylor expansion of 1/12 in x 5.236 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.236 * [taylor]: Taking taylor expansion of x in x 5.237 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x 5.237 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4))) 5.237 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x 5.237 * [taylor]: Taking taylor expansion of 1/360 in x 5.237 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x 5.237 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.237 * [taylor]: Taking taylor expansion of x in x 5.238 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 5.238 * [taylor]: Taking taylor expansion of 1/12 in x 5.238 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.238 * [taylor]: Taking taylor expansion of x in x 5.276 * [approximate]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in (x) around 0 5.276 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x 5.276 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4))) 5.276 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x 5.276 * [taylor]: Taking taylor expansion of 1/360 in x 5.276 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x 5.276 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.276 * [taylor]: Taking taylor expansion of -1 in x 5.276 * [taylor]: Taking taylor expansion of x in x 5.277 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 5.277 * [taylor]: Taking taylor expansion of 1/12 in x 5.277 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.277 * [taylor]: Taking taylor expansion of x in x 5.277 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x 5.278 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4))) 5.278 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x 5.278 * [taylor]: Taking taylor expansion of 1/360 in x 5.278 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x 5.278 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.278 * [taylor]: Taking taylor expansion of -1 in x 5.278 * [taylor]: Taking taylor expansion of x in x 5.278 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 5.278 * [taylor]: Taking taylor expansion of 1/12 in x 5.278 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.278 * [taylor]: Taking taylor expansion of x in x 5.322 * * * * [progress]: [ 3 / 3 ] generating series at (2) 5.322 * [approximate]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in (x) around 0 5.322 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x 5.322 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) 5.322 * [taylor]: Taking taylor expansion of (* x x) in x 5.322 * [taylor]: Taking taylor expansion of x in x 5.322 * [taylor]: Taking taylor expansion of x in x 5.322 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x 5.323 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 5.323 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 5.323 * [taylor]: Taking taylor expansion of 1/360 in x 5.323 * [taylor]: Taking taylor expansion of (pow x 6) in x 5.323 * [taylor]: Taking taylor expansion of x in x 5.323 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 5.323 * [taylor]: Taking taylor expansion of 1/12 in x 5.323 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.323 * [taylor]: Taking taylor expansion of x in x 5.323 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x 5.323 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) 5.323 * [taylor]: Taking taylor expansion of (* x x) in x 5.323 * [taylor]: Taking taylor expansion of x in x 5.323 * [taylor]: Taking taylor expansion of x in x 5.323 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x 5.323 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 5.323 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 5.323 * [taylor]: Taking taylor expansion of 1/360 in x 5.323 * [taylor]: Taking taylor expansion of (pow x 6) in x 5.323 * [taylor]: Taking taylor expansion of x in x 5.323 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 5.323 * [taylor]: Taking taylor expansion of 1/12 in x 5.323 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.323 * [taylor]: Taking taylor expansion of x in x 5.334 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in (x) around 0 5.334 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x 5.334 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) 5.334 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 5.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.334 * [taylor]: Taking taylor expansion of x in x 5.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.334 * [taylor]: Taking taylor expansion of x in x 5.335 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x 5.335 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4))) 5.335 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x 5.335 * [taylor]: Taking taylor expansion of 1/360 in x 5.335 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x 5.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.335 * [taylor]: Taking taylor expansion of x in x 5.335 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 5.335 * [taylor]: Taking taylor expansion of 1/12 in x 5.335 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.335 * [taylor]: Taking taylor expansion of x in x 5.336 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x 5.336 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) 5.336 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 5.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.336 * [taylor]: Taking taylor expansion of x in x 5.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.336 * [taylor]: Taking taylor expansion of x in x 5.337 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x 5.337 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4))) 5.337 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x 5.337 * [taylor]: Taking taylor expansion of 1/360 in x 5.337 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x 5.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.337 * [taylor]: Taking taylor expansion of x in x 5.337 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 5.337 * [taylor]: Taking taylor expansion of 1/12 in x 5.337 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.337 * [taylor]: Taking taylor expansion of x in x 5.354 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in (x) around 0 5.354 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x 5.354 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) 5.354 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 5.354 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.354 * [taylor]: Taking taylor expansion of -1 in x 5.354 * [taylor]: Taking taylor expansion of x in x 5.355 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.355 * [taylor]: Taking taylor expansion of -1 in x 5.355 * [taylor]: Taking taylor expansion of x in x 5.355 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x 5.355 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4))) 5.355 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x 5.355 * [taylor]: Taking taylor expansion of 1/360 in x 5.355 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x 5.355 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.355 * [taylor]: Taking taylor expansion of -1 in x 5.355 * [taylor]: Taking taylor expansion of x in x 5.355 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 5.355 * [taylor]: Taking taylor expansion of 1/12 in x 5.355 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.355 * [taylor]: Taking taylor expansion of x in x 5.356 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x 5.356 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) 5.356 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 5.356 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.356 * [taylor]: Taking taylor expansion of -1 in x 5.356 * [taylor]: Taking taylor expansion of x in x 5.357 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.357 * [taylor]: Taking taylor expansion of -1 in x 5.357 * [taylor]: Taking taylor expansion of x in x 5.357 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x 5.357 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4))) 5.357 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x 5.357 * [taylor]: Taking taylor expansion of 1/360 in x 5.357 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x 5.357 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.357 * [taylor]: Taking taylor expansion of -1 in x 5.357 * [taylor]: Taking taylor expansion of x in x 5.357 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 5.357 * [taylor]: Taking taylor expansion of 1/12 in x 5.358 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.358 * [taylor]: Taking taylor expansion of x in x 5.375 * * * [progress]: simplifying candidates 5.376 * [simplify]: Simplifying using # : (expm1 (* 1/12 (pow x 4))) (log1p (* 1/12 (pow x 4))) (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (log (pow x 4))) (log (* 1/12 (pow x 4))) (exp (* 1/12 (pow x 4))) (* (* (* 1/12 1/12) 1/12) (* (* (pow x 4) (pow x 4)) (pow x 4))) (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4)))) (cbrt (* 1/12 (pow x 4))) (* (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4))) (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (* (sqrt 1/12) (pow (sqrt x) 4)) (* (sqrt 1/12) (pow (sqrt x) 4)) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (pow x (/ 4 2))) (* (sqrt 1/12) (pow x (/ 4 2))) (* 1/12 (pow (* (cbrt x) (cbrt x)) 4)) (* 1/12 (pow (sqrt x) 4)) (* 1/12 (pow 1 4)) (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 1/12 (sqrt (pow x 4))) (* 1/12 1) (* 1/12 (pow x (/ 4 2))) (* (cbrt 1/12) (pow x 4)) (* (sqrt 1/12) (pow x 4)) (* 1/12 (pow x 4)) (expm1 (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (log1p (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (* 1/360 (pow x 6)) (log (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (exp (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (* (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (* (* (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (sqrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (sqrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (expm1 (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (log1p (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (* x x) (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (exp (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (* (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (* (* (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) 5.378 * * [simplify]: iteration 0 : 80 enodes (cost 619 ) 5.400 * * [simplify]: iteration 1 : 147 enodes (cost 581 ) 5.437 * * [simplify]: iteration 2 : 454 enodes (cost 529 ) 5.795 * * [simplify]: iteration 3 : 2370 enodes (cost 526 ) 6.931 * * [simplify]: iteration done : 5001 enodes (cost 526 ) 6.932 * [simplify]: Simplified to: (expm1 (* 1/12 (pow x 4))) (log1p (* 1/12 (pow x 4))) (log (* 1/12 (pow x 4))) (log (* 1/12 (pow x 4))) (log (* 1/12 (pow x 4))) (log (* 1/12 (pow x 4))) (exp (* 1/12 (pow x 4))) (* (pow (pow x 4) 3) 1/1728) (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4)))) (cbrt (* 1/12 (pow x 4))) (* (pow (pow x 4) 3) 1/1728) (sqrt (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (* (pow x 2) (sqrt 1/12)) (* (pow x 2) (sqrt 1/12)) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (sqrt (pow x 4))) (* (pow x 2) (sqrt 1/12)) (* (pow x 2) (sqrt 1/12)) (* 1/12 (pow (* (cbrt x) (cbrt x)) 4)) (* (* x x) 1/12) 1/12 (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 1/12 (sqrt (pow x 4))) 1/12 (* (* x x) 1/12) (* (cbrt 1/12) (pow x 4)) (* (sqrt 1/12) (pow x 4)) (* 1/12 (pow x 4)) (expm1 (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (log1p (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (* 1/360 (pow x 6)) (log (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (exp (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (* (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (pow (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) 3) (sqrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (sqrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (expm1 (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (log1p (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (* x x) (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (exp (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (* (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (pow (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) 3) (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) 6.932 * * * [progress]: adding candidates to table 7.064 * * [progress]: iteration 3 / 4 7.064 * * * [progress]: picking best candidate 7.067 * * * * [pick]: Picked # 7.067 * * * [progress]: localizing error 7.073 * * * [progress]: generating rewritten candidates 7.073 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 7.093 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 7.101 * * * [progress]: generating series expansions 7.101 * * * * [progress]: [ 1 / 2 ] generating series at (2) 7.101 * [approximate]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in (x) around 0 7.101 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in x 7.101 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.101 * [taylor]: Taking taylor expansion of (exp x) in x 7.101 * [taylor]: Taking taylor expansion of x in x 7.101 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.101 * [taylor]: Taking taylor expansion of (- x) in x 7.101 * [taylor]: Taking taylor expansion of x in x 7.102 * [taylor]: Taking taylor expansion of 2.0 in x 7.102 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in x 7.102 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.102 * [taylor]: Taking taylor expansion of (exp x) in x 7.102 * [taylor]: Taking taylor expansion of x in x 7.102 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.102 * [taylor]: Taking taylor expansion of (- x) in x 7.102 * [taylor]: Taking taylor expansion of x in x 7.103 * [taylor]: Taking taylor expansion of 2.0 in x 7.148 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in (x) around 0 7.148 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in x 7.148 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.148 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.148 * [taylor]: Taking taylor expansion of x in x 7.149 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.149 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.149 * [taylor]: Taking taylor expansion of x in x 7.149 * [taylor]: Taking taylor expansion of 2.0 in x 7.149 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in x 7.149 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.149 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.149 * [taylor]: Taking taylor expansion of x in x 7.150 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.150 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.150 * [taylor]: Taking taylor expansion of x in x 7.150 * [taylor]: Taking taylor expansion of 2.0 in x 7.155 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in (x) around 0 7.155 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 7.155 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 7.155 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.155 * [taylor]: Taking taylor expansion of x in x 7.156 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.156 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.156 * [taylor]: Taking taylor expansion of -1 in x 7.156 * [taylor]: Taking taylor expansion of x in x 7.156 * [taylor]: Taking taylor expansion of 2.0 in x 7.156 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 7.156 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 7.156 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.156 * [taylor]: Taking taylor expansion of x in x 7.156 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.156 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.156 * [taylor]: Taking taylor expansion of -1 in x 7.156 * [taylor]: Taking taylor expansion of x in x 7.157 * [taylor]: Taking taylor expansion of 2.0 in x 7.162 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 7.162 * [approximate]: Taking taylor expansion of (- 2.0 (exp (- x))) in (x) around 0 7.162 * [taylor]: Taking taylor expansion of (- 2.0 (exp (- x))) in x 7.162 * [taylor]: Taking taylor expansion of 2.0 in x 7.162 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.162 * [taylor]: Taking taylor expansion of (- x) in x 7.162 * [taylor]: Taking taylor expansion of x in x 7.162 * [taylor]: Taking taylor expansion of (- 2.0 (exp (- x))) in x 7.162 * [taylor]: Taking taylor expansion of 2.0 in x 7.162 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.162 * [taylor]: Taking taylor expansion of (- x) in x 7.162 * [taylor]: Taking taylor expansion of x in x 7.167 * [approximate]: Taking taylor expansion of (- 2.0 (exp (- (/ 1 x)))) in (x) around 0 7.167 * [taylor]: Taking taylor expansion of (- 2.0 (exp (- (/ 1 x)))) in x 7.167 * [taylor]: Taking taylor expansion of 2.0 in x 7.167 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.167 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.167 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.167 * [taylor]: Taking taylor expansion of x in x 7.167 * [taylor]: Taking taylor expansion of (- 2.0 (exp (- (/ 1 x)))) in x 7.167 * [taylor]: Taking taylor expansion of 2.0 in x 7.167 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.167 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.167 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.167 * [taylor]: Taking taylor expansion of x in x 7.171 * [approximate]: Taking taylor expansion of (- 2.0 (exp (/ 1 x))) in (x) around 0 7.171 * [taylor]: Taking taylor expansion of (- 2.0 (exp (/ 1 x))) in x 7.171 * [taylor]: Taking taylor expansion of 2.0 in x 7.171 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.171 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.171 * [taylor]: Taking taylor expansion of x in x 7.171 * [taylor]: Taking taylor expansion of (- 2.0 (exp (/ 1 x))) in x 7.171 * [taylor]: Taking taylor expansion of 2.0 in x 7.171 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.171 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.171 * [taylor]: Taking taylor expansion of x in x 7.174 * * * [progress]: simplifying candidates 7.176 * [simplify]: Simplifying using # : (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt (- 2.0 (exp (- x)))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x)))))))) (fma (- (cbrt (- 2.0 (exp (- x))))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x))))) (* (cbrt (- 2.0 (exp (- x)))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x))))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt (- 2.0 (exp (- x)))) (sqrt (- 2.0 (exp (- x))))))) (fma (- (sqrt (- 2.0 (exp (- x))))) (sqrt (- 2.0 (exp (- x)))) (* (sqrt (- 2.0 (exp (- x)))) (sqrt (- 2.0 (exp (- x)))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (- 2.0 (exp (- x))) 1))) (fma (- (- 2.0 (exp (- x)))) 1 (* (- 2.0 (exp (- x))) 1)) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (- (sqrt 2.0) (sqrt (exp (- x)))) (+ (sqrt 2.0) (sqrt (exp (- x))))))) (fma (- (- (sqrt 2.0) (sqrt (exp (- x))))) (+ (sqrt 2.0) (sqrt (exp (- x)))) (* (- (sqrt 2.0) (sqrt (exp (- x)))) (+ (sqrt 2.0) (sqrt (exp (- x)))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (- 2.0 (exp (- x))) 1))) (fma (- (- 2.0 (exp (- x)))) 1 (* (- 2.0 (exp (- x))) 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt (- 2.0 (exp (- x)))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x)))))))) (fma (- (cbrt (- 2.0 (exp (- x))))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x))))) (* (cbrt (- 2.0 (exp (- x)))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x))))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt (- 2.0 (exp (- x)))) (sqrt (- 2.0 (exp (- x))))))) (fma (- (sqrt (- 2.0 (exp (- x))))) (sqrt (- 2.0 (exp (- x)))) (* (sqrt (- 2.0 (exp (- x)))) (sqrt (- 2.0 (exp (- x)))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (- 2.0 (exp (- x))) 1))) (fma (- (- 2.0 (exp (- x)))) 1 (* (- 2.0 (exp (- x))) 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (- (sqrt 2.0) (sqrt (exp (- x)))) (+ (sqrt 2.0) (sqrt (exp (- x))))))) (fma (- (- (sqrt 2.0) (sqrt (exp (- x))))) (+ (sqrt 2.0) (sqrt (exp (- x)))) (* (- (sqrt 2.0) (sqrt (exp (- x)))) (+ (sqrt 2.0) (sqrt (exp (- x)))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (- 2.0 (exp (- x))) 1))) (fma (- (- 2.0 (exp (- x)))) 1 (* (- 2.0 (exp (- x))) 1)) (fma 1 (exp x) (- (* (cbrt (- 2.0 (exp (- x)))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x)))))))) (fma (- (cbrt (- 2.0 (exp (- x))))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x))))) (* (cbrt (- 2.0 (exp (- x)))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x))))))) (fma 1 (exp x) (- (* (sqrt (- 2.0 (exp (- x)))) (sqrt (- 2.0 (exp (- x))))))) (fma (- (sqrt (- 2.0 (exp (- x))))) (sqrt (- 2.0 (exp (- x)))) (* (sqrt (- 2.0 (exp (- x)))) (sqrt (- 2.0 (exp (- x)))))) (fma 1 (exp x) (- (* (- 2.0 (exp (- x))) 1))) (fma (- (- 2.0 (exp (- x)))) 1 (* (- 2.0 (exp (- x))) 1)) (fma 1 (exp x) (- (* (- (sqrt 2.0) (sqrt (exp (- x)))) (+ (sqrt 2.0) (sqrt (exp (- x))))))) (fma (- (- (sqrt 2.0) (sqrt (exp (- x))))) (+ (sqrt 2.0) (sqrt (exp (- x)))) (* (- (sqrt 2.0) (sqrt (exp (- x)))) (+ (sqrt 2.0) (sqrt (exp (- x)))))) (fma 1 (exp x) (- (* (- 2.0 (exp (- x))) 1))) (fma (- (- 2.0 (exp (- x)))) 1 (* (- 2.0 (exp (- x))) 1)) (expm1 (- (exp x) (- 2.0 (exp (- x))))) (log1p (- (exp x) (- 2.0 (exp (- x))))) (- (- 2.0 (exp (- x)))) (- (- 2.0 (exp (- x)))) (- (- 2.0 (exp (- x)))) (/ (exp (exp x)) (/ (exp 2.0) (exp (exp (- x))))) (/ (exp (exp x)) (exp (- 2.0 (exp (- x))))) (log (- (exp x) (- 2.0 (exp (- x))))) (exp (- (exp x) (- 2.0 (exp (- x))))) (* (cbrt (- (exp x) (- 2.0 (exp (- x))))) (cbrt (- (exp x) (- 2.0 (exp (- x)))))) (cbrt (- (exp x) (- 2.0 (exp (- x))))) (* (* (- (exp x) (- 2.0 (exp (- x)))) (- (exp x) (- 2.0 (exp (- x))))) (- (exp x) (- 2.0 (exp (- x))))) (sqrt (- (exp x) (- 2.0 (exp (- x))))) (sqrt (- (exp x) (- 2.0 (exp (- x))))) (- (pow (exp x) 3) (pow (- 2.0 (exp (- x))) 3)) (+ (* (exp x) (exp x)) (+ (* (- 2.0 (exp (- x))) (- 2.0 (exp (- x)))) (* (exp x) (- 2.0 (exp (- x)))))) (- (- 2.0 (exp (- x)))) (- (* (exp x) (exp x)) (* (- 2.0 (exp (- x))) (- 2.0 (exp (- x))))) (+ (exp x) (- 2.0 (exp (- x)))) (+ (sqrt (exp x)) (sqrt (- 2.0 (exp (- x))))) (- (sqrt (exp x)) (sqrt (- 2.0 (exp (- x))))) (- (exp x) (- 2.0 (exp (- x)))) (- (exp x) (- 2.0 (exp (- x)))) (- (exp x) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))) (- (exp x) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))) (- (exp x) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (exp (- x)) 1)))) (- (exp x) (fma (sqrt 2.0) (sqrt 2.0) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))) (- (exp x) (fma (sqrt 2.0) (sqrt 2.0) (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))) (- (exp x) (fma (sqrt 2.0) (sqrt 2.0) (- (* (exp (- x)) 1)))) (- (exp x) (fma 1 2.0 (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))) (- (exp x) (fma 1 2.0 (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))) (- (exp x) (fma 1 2.0 (- (* (exp (- x)) 1)))) (- (exp x) 2.0) (- (exp x) 2.0) (- (exp x) 2.0) (- (- 2.0 (exp (- x)))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma (sqrt 2.0) (sqrt 2.0) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma 1 2.0 (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma 1 2.0 (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma 1 2.0 (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (expm1 (- 2.0 (exp (- x)))) (log1p (- 2.0 (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (/ (exp 2.0) (exp (exp (- x)))) (log (- 2.0 (exp (- x)))) (exp (- 2.0 (exp (- x)))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x))))) (cbrt (- 2.0 (exp (- x)))) (* (* (- 2.0 (exp (- x))) (- 2.0 (exp (- x)))) (- 2.0 (exp (- x)))) (sqrt (- 2.0 (exp (- x)))) (sqrt (- 2.0 (exp (- x)))) (- (pow 2.0 3) (pow (exp (- x)) 3)) (+ (* 2.0 2.0) (+ (* (exp (- x)) (exp (- x))) (* 2.0 (exp (- x))))) (- (exp (- x))) (- (* 2.0 2.0) (* (exp (- x)) (exp (- x)))) (+ 2.0 (exp (- x))) (+ (sqrt 2.0) (sqrt (exp (- x)))) (- (sqrt 2.0) (sqrt (exp (- x)))) (- 2.0 (exp (- x))) (- (exp (- x))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (- (+ (exp x) (exp (- x))) 2.0) (- (+ (exp (* -1 x)) (exp x)) 2.0) (- (+ x 1.0) (* 1/2 (pow x 2))) (- 2.0 (exp (- x))) (- 2.0 (exp (* -1 x))) 7.181 * * [simplify]: iteration 0 : 149 enodes (cost 1666 ) 7.211 * * [simplify]: iteration 1 : 327 enodes (cost 1248 ) 7.294 * * [simplify]: iteration 2 : 916 enodes (cost 986 ) 7.853 * * [simplify]: iteration 3 : 4836 enodes (cost 714 ) 9.980 * * [simplify]: iteration done : 5000 enodes (cost 714 ) 9.980 * [simplify]: Simplified to: (+ (pow (cbrt (exp x)) 3) (- (exp (- x)) 2.0)) 0 (+ (pow (cbrt (exp x)) 3) (- (exp (- x)) 2.0)) 0 (+ (pow (cbrt (exp x)) 3) (- (exp (- x)) 2.0)) 0 (+ (pow (cbrt (exp x)) 3) (- (exp (- x)) 2.0)) 0 (+ (pow (cbrt (exp x)) 3) (- (exp (- x)) 2.0)) 0 (+ (- (exp (- x)) 2.0) (exp x)) 0 (+ (- (exp (- x)) 2.0) (exp x)) 0 (+ (- (exp (- x)) 2.0) (exp x)) 0 (+ (- (exp (- x)) 2.0) (exp x)) 0 (+ (- (exp (- x)) 2.0) (exp x)) 0 (+ (- (exp (- x)) 2.0) (exp x)) 0 (+ (- (exp (- x)) 2.0) (exp x)) 0 (+ (- (exp (- x)) 2.0) (exp x)) 0 (+ (- (exp (- x)) 2.0) (exp x)) 0 (+ (- (exp (- x)) 2.0) (exp x)) 0 (expm1 (- (exp x) (- 2.0 (exp (- x))))) (log1p (- (exp x) (- 2.0 (exp (- x))))) (- (exp (- x)) 2.0) (- (exp (- x)) 2.0) (- (exp (- x)) 2.0) (exp (- (exp x) (- 2.0 (exp (- x))))) (exp (- (exp x) (- 2.0 (exp (- x))))) (log (- (exp x) (- 2.0 (exp (- x))))) (exp (- (exp x) (- 2.0 (exp (- x))))) (* (cbrt (- (exp x) (- 2.0 (exp (- x))))) (cbrt (- (exp x) (- 2.0 (exp (- x)))))) (cbrt (- (exp x) (- 2.0 (exp (- x))))) (pow (+ (- (exp x) 2.0) (exp (- x))) 3) (sqrt (- (exp x) (- 2.0 (exp (- x))))) (sqrt (- (exp x) (- 2.0 (exp (- x))))) (- (pow (exp x) 3) (pow (- 2.0 (exp (- x))) 3)) (fma (- 2.0 (exp (- x))) (+ (exp x) (- 2.0 (exp (- x)))) (exp (+ x x))) (- (exp (- x)) 2.0) (- (exp (+ x x)) (pow (cbrt (- 2.0 (exp (- x)))) 6)) (+ (exp x) (- 2.0 (exp (- x)))) (+ (sqrt (exp x)) (sqrt (- 2.0 (exp (- x))))) (- (sqrt (exp x)) (sqrt (- 2.0 (exp (- x))))) (+ (- (exp (- x)) 2.0) (exp x)) (+ (- (exp (- x)) 2.0) (exp x)) (- (exp x) (- (pow (cbrt 2.0) 3) (exp (- x)))) (- (exp x) (- (pow (cbrt 2.0) 3) (exp (- x)))) (- (exp x) (- (pow (cbrt 2.0) 3) (exp (- x)))) (+ (- (exp (- x)) 2.0) (exp x)) (+ (- (exp (- x)) 2.0) (exp x)) (+ (- (exp (- x)) 2.0) (exp x)) (+ (- (exp (- x)) 2.0) (exp x)) (+ (- (exp (- x)) 2.0) (exp x)) (+ (- (exp (- x)) 2.0) (exp x)) (- (exp x) 2.0) (- (exp x) 2.0) (- (exp x) 2.0) (- (exp (- x)) 2.0) (- (pow (cbrt 2.0) 3) (exp (- x))) 0 (- (pow (cbrt 2.0) 3) (exp (- x))) 0 (- (pow (cbrt 2.0) 3) (exp (- x))) 0 (- 2.0 (exp (- x))) 0 (- 2.0 (exp (- x))) 0 (- 2.0 (exp (- x))) 0 (- 2.0 (exp (- x))) 0 (- 2.0 (exp (- x))) 0 (- 2.0 (exp (- x))) 0 (expm1 (- 2.0 (exp (- x)))) (log1p (- 2.0 (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (exp (- 2.0 (exp (- x)))) (log (- 2.0 (exp (- x)))) (exp (- 2.0 (exp (- x)))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x))))) (cbrt (- 2.0 (exp (- x)))) (pow (- 2.0 (exp (- x))) 3) (sqrt (- 2.0 (exp (- x)))) (sqrt (- 2.0 (exp (- x)))) (- (pow 2.0 3) (exp (* x -3))) (fma 2.0 2.0 (/ (+ 2.0 (exp (- x))) (exp x))) (- (exp (- x))) (- (* 2.0 2.0) (exp (* x -2))) (+ (exp (- x)) 2.0) (+ (sqrt 2.0) (sqrt (exp (- x)))) (- (sqrt 2.0) (sqrt (exp (- x)))) (- 2.0 (exp (- x))) (- (exp (- x))) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (+ (- (exp (- x)) 2.0) (exp x)) (+ (- (exp (- x)) 2.0) (exp x)) (fma (pow x 2) -1/2 (+ x 1.0)) (- 2.0 (exp (- x))) (- 2.0 (exp (- x))) 9.981 * * * [progress]: adding candidates to table 10.105 * * [progress]: iteration 4 / 4 10.105 * * * [progress]: picking best candidate 10.107 * * * * [pick]: Picked # 10.107 * * * [progress]: localizing error 10.118 * * * [progress]: generating rewritten candidates 10.118 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 10.118 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 10.119 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 10.121 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3) 10.134 * * * [progress]: generating series expansions 10.134 * * * * [progress]: [ 1 / 4 ] generating series at (2) 10.134 * [approximate]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)) 2.0)) in (x) around 0 10.134 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)) 2.0)) in x 10.134 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (exp (- x)) 2.0)) 10.134 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 10.134 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 10.134 * [taylor]: Taking taylor expansion of (exp x) in x 10.134 * [taylor]: Taking taylor expansion of x in x 10.136 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 10.136 * [taylor]: Taking taylor expansion of (exp x) in x 10.136 * [taylor]: Taking taylor expansion of x in x 10.137 * [taylor]: Taking taylor expansion of (- (exp (- x)) 2.0) in x 10.137 * [taylor]: Taking taylor expansion of (exp (- x)) in x 10.137 * [taylor]: Taking taylor expansion of (- x) in x 10.137 * [taylor]: Taking taylor expansion of x in x 10.138 * [taylor]: Taking taylor expansion of 2.0 in x 10.138 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)) 2.0)) in x 10.138 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (exp (- x)) 2.0)) 10.138 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 10.138 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 10.138 * [taylor]: Taking taylor expansion of (exp x) in x 10.138 * [taylor]: Taking taylor expansion of x in x 10.139 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 10.139 * [taylor]: Taking taylor expansion of (exp x) in x 10.139 * [taylor]: Taking taylor expansion of x in x 10.140 * [taylor]: Taking taylor expansion of (- (exp (- x)) 2.0) in x 10.140 * [taylor]: Taking taylor expansion of (exp (- x)) in x 10.140 * [taylor]: Taking taylor expansion of (- x) in x 10.140 * [taylor]: Taking taylor expansion of x in x 10.141 * [taylor]: Taking taylor expansion of 2.0 in x 10.206 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- (exp (- (/ 1 x))) 2.0)) in (x) around 0 10.206 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- (exp (- (/ 1 x))) 2.0)) in x 10.207 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (- (exp (- (/ 1 x))) 2.0)) 10.207 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 10.207 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 10.207 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.207 * [taylor]: Taking taylor expansion of x in x 10.207 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 10.207 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.207 * [taylor]: Taking taylor expansion of x in x 10.207 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 x))) 2.0) in x 10.208 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.208 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.208 * [taylor]: Taking taylor expansion of x in x 10.208 * [taylor]: Taking taylor expansion of 2.0 in x 10.208 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- (exp (- (/ 1 x))) 2.0)) in x 10.208 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (- (exp (- (/ 1 x))) 2.0)) 10.208 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 10.208 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 10.208 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.208 * [taylor]: Taking taylor expansion of x in x 10.209 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 10.209 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.209 * [taylor]: Taking taylor expansion of x in x 10.209 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 x))) 2.0) in x 10.209 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.209 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.209 * [taylor]: Taking taylor expansion of x in x 10.210 * [taylor]: Taking taylor expansion of 2.0 in x 10.224 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- (exp (/ 1 x)) 2.0)) in (x) around 0 10.224 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- (exp (/ 1 x)) 2.0)) in x 10.224 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (- (exp (/ 1 x)) 2.0)) 10.224 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 10.224 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 10.224 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.224 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.224 * [taylor]: Taking taylor expansion of -1 in x 10.224 * [taylor]: Taking taylor expansion of x in x 10.224 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 10.225 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.225 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.225 * [taylor]: Taking taylor expansion of -1 in x 10.225 * [taylor]: Taking taylor expansion of x in x 10.225 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 10.225 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.225 * [taylor]: Taking taylor expansion of x in x 10.225 * [taylor]: Taking taylor expansion of 2.0 in x 10.225 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- (exp (/ 1 x)) 2.0)) in x 10.225 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (- (exp (/ 1 x)) 2.0)) 10.225 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 10.225 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 10.225 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.226 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.226 * [taylor]: Taking taylor expansion of -1 in x 10.226 * [taylor]: Taking taylor expansion of x in x 10.226 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 10.226 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.226 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.226 * [taylor]: Taking taylor expansion of -1 in x 10.226 * [taylor]: Taking taylor expansion of x in x 10.226 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 10.226 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.226 * [taylor]: Taking taylor expansion of x in x 10.227 * [taylor]: Taking taylor expansion of 2.0 in x 10.240 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 10.240 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 10.240 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 10.240 * [taylor]: Taking taylor expansion of (exp x) in x 10.241 * [taylor]: Taking taylor expansion of x in x 10.242 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 10.242 * [taylor]: Taking taylor expansion of (exp x) in x 10.242 * [taylor]: Taking taylor expansion of x in x 10.244 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 10.244 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 10.244 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.244 * [taylor]: Taking taylor expansion of x in x 10.245 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 10.245 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.245 * [taylor]: Taking taylor expansion of x in x 10.248 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 10.248 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 10.248 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.248 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.248 * [taylor]: Taking taylor expansion of -1 in x 10.248 * [taylor]: Taking taylor expansion of x in x 10.248 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 10.248 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.248 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.248 * [taylor]: Taking taylor expansion of -1 in x 10.248 * [taylor]: Taking taylor expansion of x in x 10.251 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 10.252 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 10.252 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 10.252 * [taylor]: Taking taylor expansion of (exp x) in x 10.252 * [taylor]: Taking taylor expansion of x in x 10.253 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 10.253 * [taylor]: Taking taylor expansion of (exp x) in x 10.253 * [taylor]: Taking taylor expansion of x in x 10.255 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 10.255 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 10.256 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.256 * [taylor]: Taking taylor expansion of x in x 10.256 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 10.256 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.256 * [taylor]: Taking taylor expansion of x in x 10.259 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 10.259 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 10.259 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.259 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.259 * [taylor]: Taking taylor expansion of -1 in x 10.259 * [taylor]: Taking taylor expansion of x in x 10.260 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 10.260 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.260 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.260 * [taylor]: Taking taylor expansion of -1 in x 10.260 * [taylor]: Taking taylor expansion of x in x 10.263 * * * * [progress]: [ 4 / 4 ] generating series at (2 3) 10.263 * [approximate]: Taking taylor expansion of (- (exp (- x)) 2.0) in (x) around 0 10.263 * [taylor]: Taking taylor expansion of (- (exp (- x)) 2.0) in x 10.263 * [taylor]: Taking taylor expansion of (exp (- x)) in x 10.263 * [taylor]: Taking taylor expansion of (- x) in x 10.263 * [taylor]: Taking taylor expansion of x in x 10.263 * [taylor]: Taking taylor expansion of 2.0 in x 10.263 * [taylor]: Taking taylor expansion of (- (exp (- x)) 2.0) in x 10.264 * [taylor]: Taking taylor expansion of (exp (- x)) in x 10.264 * [taylor]: Taking taylor expansion of (- x) in x 10.264 * [taylor]: Taking taylor expansion of x in x 10.264 * [taylor]: Taking taylor expansion of 2.0 in x 10.271 * [approximate]: Taking taylor expansion of (- (exp (- (/ 1 x))) 2.0) in (x) around 0 10.271 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 x))) 2.0) in x 10.271 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.271 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.271 * [taylor]: Taking taylor expansion of x in x 10.272 * [taylor]: Taking taylor expansion of 2.0 in x 10.272 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 x))) 2.0) in x 10.272 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.272 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.272 * [taylor]: Taking taylor expansion of x in x 10.273 * [taylor]: Taking taylor expansion of 2.0 in x 10.276 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in (x) around 0 10.276 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 10.276 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.276 * [taylor]: Taking taylor expansion of x in x 10.276 * [taylor]: Taking taylor expansion of 2.0 in x 10.276 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 10.276 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.276 * [taylor]: Taking taylor expansion of x in x 10.277 * [taylor]: Taking taylor expansion of 2.0 in x 10.280 * * * [progress]: simplifying candidates 10.281 * [simplify]: Simplifying using # : (expm1 (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)) 2.0))) (log1p (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)) 2.0))) (* (sqrt (exp x)) (sqrt (exp x))) (log (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)) 2.0))) (exp (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)) 2.0))) (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)) 2.0))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)) 2.0)))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)) 2.0))) (* (* (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)) 2.0)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)) 2.0))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)) 2.0))) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)) 2.0))) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)) 2.0))) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (sqrt 1) (sqrt (exp x)) (/ 1 2) (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (sqrt 1) (sqrt (exp x)) (/ 1 2) (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (fma (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (cbrt (exp (- x))) (- (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))) (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (fma (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (cbrt (exp (- x))) (- (* (sqrt 2.0) (sqrt 2.0)))) (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (fma (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (cbrt (exp (- x))) (- (* 2.0 1))) (fma (- 2.0) 1 (* 2.0 1)) (fma (sqrt (exp (- x))) (sqrt (exp (- x))) (- (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))) (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (fma (sqrt (exp (- x))) (sqrt (exp (- x))) (- (* (sqrt 2.0) (sqrt 2.0)))) (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (fma (sqrt (exp (- x))) (sqrt (exp (- x))) (- (* 2.0 1))) (fma (- 2.0) 1 (* 2.0 1)) (fma 1 (exp (- x)) (- (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))) (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (fma 1 (exp (- x)) (- (* (sqrt 2.0) (sqrt 2.0)))) (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (fma 1 (exp (- x)) (- (* 2.0 1))) (fma (- 2.0) 1 (* 2.0 1)) (expm1 (- (exp (- x)) 2.0)) (log1p (- (exp (- x)) 2.0)) (- 2.0) (- 2.0) (- 2.0) (/ (exp (exp (- x))) (exp 2.0)) (log (- (exp (- x)) 2.0)) (exp (- (exp (- x)) 2.0)) (* (cbrt (- (exp (- x)) 2.0)) (cbrt (- (exp (- x)) 2.0))) (cbrt (- (exp (- x)) 2.0)) (* (* (- (exp (- x)) 2.0) (- (exp (- x)) 2.0)) (- (exp (- x)) 2.0)) (sqrt (- (exp (- x)) 2.0)) (sqrt (- (exp (- x)) 2.0)) (- (pow (exp (- x)) 3) (pow 2.0 3)) (+ (* (exp (- x)) (exp (- x))) (+ (* 2.0 2.0) (* (exp (- x)) 2.0))) (- 2.0) (- (* (exp (- x)) (exp (- x))) (* 2.0 2.0)) (+ (exp (- x)) 2.0) (+ (sqrt (exp (- x))) (sqrt 2.0)) (- (sqrt (exp (- x))) (sqrt 2.0)) (- (exp (- x)) 2.0) (- 2.0) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (- (+ (exp x) (exp (- x))) 2.0) (- (+ (exp (* -1 x)) (exp x)) 2.0) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt (exp x)) (sqrt (exp x)) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt (exp x)) (sqrt (exp x)) (- (* 1/2 (pow x 2)) (+ x 1.0)) (- (exp (- x)) 2.0) (- (exp (* -1 x)) 2.0) 10.284 * * [simplify]: iteration 0 : 120 enodes (cost 819 ) 10.304 * * [simplify]: iteration 1 : 222 enodes (cost 649 ) 10.355 * * [simplify]: iteration 2 : 590 enodes (cost 555 ) 10.655 * * [simplify]: iteration 3 : 2918 enodes (cost 512 ) 11.761 * * [simplify]: iteration done : 5001 enodes (cost 512 ) 11.761 * [simplify]: Simplified to: (expm1 (+ (exp x) (- (exp (- x)) 2.0))) (log1p (+ (exp x) (- (exp (- x)) 2.0))) (exp x) (log (+ (exp x) (- (exp (- x)) 2.0))) (exp (+ (exp x) (- (exp (- x)) 2.0))) (* (cbrt (+ (exp x) (- (exp (- x)) 2.0))) (cbrt (+ (exp x) (- (exp (- x)) 2.0)))) (cbrt (+ (exp x) (- (exp (- x)) 2.0))) (pow (+ (exp x) (- (exp (- x)) 2.0)) 3) (sqrt (+ (exp x) (- (exp (- x)) 2.0))) (sqrt (+ (exp x) (- (exp (- x)) 2.0))) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (pow (sqrt (exp x)) 3) (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) 1 (sqrt (exp x)) 1/2 (/ (cbrt x) 2) (/ (sqrt x) 2) (* 1/2 x) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (pow (sqrt (exp x)) 3) (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) 1 (sqrt (exp x)) 1/2 (/ (cbrt x) 2) (/ (sqrt x) 2) (* 1/2 x) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (- (pow (cbrt (exp (- x))) 3) 2.0) 0 (- (pow (cbrt (exp (- x))) 3) 2.0) 0 (- (pow (cbrt (exp (- x))) 3) 2.0) 0 (- (exp (- x)) 2.0) 0 (- (exp (- x)) 2.0) 0 (- (exp (- x)) 2.0) 0 (- (exp (- x)) 2.0) 0 (- (exp (- x)) 2.0) 0 (- (exp (- x)) 2.0) 0 (expm1 (- (exp (- x)) 2.0)) (log1p (- (exp (- x)) 2.0)) (- 2.0) (- 2.0) (- 2.0) (exp (- (exp (- x)) 2.0)) (log (- (exp (- x)) 2.0)) (exp (- (exp (- x)) 2.0)) (* (cbrt (- (exp (- x)) 2.0)) (cbrt (- (exp (- x)) 2.0))) (cbrt (- (exp (- x)) 2.0)) (pow (- (exp (- x)) 2.0) 3) (sqrt (- (exp (- x)) 2.0)) (sqrt (- (exp (- x)) 2.0)) (- (exp (* x -3)) (pow 2.0 3)) (fma 2.0 (+ (exp (- x)) 2.0) (exp (* x -2))) (- 2.0) (- (exp (* x -2)) (* 2.0 2.0)) (+ 2.0 (exp (- x))) (+ (sqrt (exp (- x))) (sqrt 2.0)) (- (sqrt (exp (- x))) (sqrt 2.0)) (- (exp (- x)) 2.0) (- 2.0) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (+ (exp x) (- (exp (- x)) 2.0)) (+ (exp x) (- (exp (- x)) 2.0)) (fma 1/8 (pow x 2) (fma 1/2 x 1)) (sqrt (exp x)) (sqrt (exp x)) (fma 1/8 (pow x 2) (fma 1/2 x 1)) (sqrt (exp x)) (sqrt (exp x)) (- (* 1/2 (pow x 2)) (+ x 1.0)) (- (exp (- x)) 2.0) (- (exp (- x)) 2.0) 11.762 * * * [progress]: adding candidates to table 11.937 * [progress]: [Phase 3 of 3] Extracting. 11.937 * * [regime]: Finding splitpoints for: (# #) 11.937 * * * [regime-changes]: Trying 1 branch expressions: (x) 11.937 * * * * [regimes]: Trying to branch on x from (# #) 11.950 * * * [regime]: Found split indices: #