13.235 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.064 * * * [progress]: [2/2] Setting up program. 0.066 * [progress]: [Phase 2 of 3] Improving. 0.066 * [simplify]: Simplifying using # : (/ (- (exp x) (exp (- x))) 2.0) 0.067 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.068 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.070 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 0.073 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 0.076 * * [simplify]: iteration 4 : 37 enodes (cost 8 ) 0.081 * * [simplify]: iteration 5 : 43 enodes (cost 8 ) 0.087 * * [simplify]: iteration 6 : 58 enodes (cost 8 ) 0.100 * * [simplify]: iteration 7 : 105 enodes (cost 8 ) 0.140 * * [simplify]: iteration 8 : 265 enodes (cost 8 ) 0.506 * * [simplify]: iteration 9 : 1777 enodes (cost 8 ) 28.927 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 28.927 * [simplify]: Simplified to: (/ (- (exp x) (exp (- x))) 2.0) 28.927 * * [progress]: iteration 1 / 4 28.927 * * * [progress]: picking best candidate 28.929 * * * * [pick]: Picked # 28.929 * * * [progress]: localizing error 28.938 * * * [progress]: generating rewritten candidates 28.938 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 28.947 * * * [progress]: generating series expansions 28.947 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 28.947 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 28.947 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 28.947 * [taylor]: Taking taylor expansion of (exp x) in x 28.947 * [taylor]: Taking taylor expansion of x in x 28.947 * [taylor]: Taking taylor expansion of (exp (- x)) in x 28.947 * [taylor]: Taking taylor expansion of (- x) in x 28.947 * [taylor]: Taking taylor expansion of x in x 28.948 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 28.948 * [taylor]: Taking taylor expansion of (exp x) in x 28.948 * [taylor]: Taking taylor expansion of x in x 28.948 * [taylor]: Taking taylor expansion of (exp (- x)) in x 28.948 * [taylor]: Taking taylor expansion of (- x) in x 28.948 * [taylor]: Taking taylor expansion of x in x 28.974 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 28.974 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 28.974 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 28.974 * [taylor]: Taking taylor expansion of (/ 1 x) in x 28.974 * [taylor]: Taking taylor expansion of x in x 28.974 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 28.974 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 28.974 * [taylor]: Taking taylor expansion of (/ 1 x) in x 28.974 * [taylor]: Taking taylor expansion of x in x 28.975 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 28.975 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 28.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x 28.975 * [taylor]: Taking taylor expansion of x in x 28.975 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 28.975 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 28.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x 28.975 * [taylor]: Taking taylor expansion of x in x 28.979 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 28.979 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 28.979 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 28.979 * [taylor]: Taking taylor expansion of (/ -1 x) in x 28.979 * [taylor]: Taking taylor expansion of -1 in x 28.979 * [taylor]: Taking taylor expansion of x in x 28.979 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 28.979 * [taylor]: Taking taylor expansion of (/ 1 x) in x 28.979 * [taylor]: Taking taylor expansion of x in x 28.980 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 28.980 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 28.980 * [taylor]: Taking taylor expansion of (/ -1 x) in x 28.980 * [taylor]: Taking taylor expansion of -1 in x 28.980 * [taylor]: Taking taylor expansion of x in x 28.980 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 28.980 * [taylor]: Taking taylor expansion of (/ 1 x) in x 28.980 * [taylor]: Taking taylor expansion of x in x 28.983 * * * [progress]: simplifying candidates 28.984 * [simplify]: Simplifying using # : (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (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 (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (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 (exp x)) (sqrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma 1 (exp x) (- (* (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 (exp x) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma 1 (exp x) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (/ (exp (exp x)) (exp (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (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))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (* -1 x))) 28.986 * * [simplify]: iteration 0 : 73 enodes (cost 547 ) 28.997 * * [simplify]: iteration 1 : 165 enodes (cost 401 ) 29.031 * * [simplify]: iteration 2 : 457 enodes (cost 308 ) 29.238 * * [simplify]: iteration 3 : 2131 enodes (cost 253 ) 31.126 * * [simplify]: iteration done : 5000 enodes (cost 253 ) 31.126 * [simplify]: Simplified to: (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (exp (- (exp x) (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (pow (- (exp x) (exp (- x))) 3) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (exp (- x))) (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (- x))) 31.126 * * * [progress]: adding candidates to table 31.186 * * [progress]: iteration 2 / 4 31.186 * * * [progress]: picking best candidate 31.192 * * * * [pick]: Picked # 31.192 * * * [progress]: localizing error 31.203 * * * [progress]: generating rewritten candidates 31.203 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 3) 31.204 * * * [progress]: generating series expansions 31.204 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 3) 31.204 * [approximate]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in (x) around 0 31.204 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 31.205 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 31.205 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 31.206 * [taylor]: Taking taylor expansion of 1/60 in x 31.206 * [taylor]: Taking taylor expansion of (pow x 5) in x 31.206 * [taylor]: Taking taylor expansion of x in x 31.206 * [taylor]: Taking taylor expansion of (* 2 x) in x 31.206 * [taylor]: Taking taylor expansion of 2 in x 31.206 * [taylor]: Taking taylor expansion of x in x 31.206 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 31.206 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 31.206 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 31.206 * [taylor]: Taking taylor expansion of 1/60 in x 31.206 * [taylor]: Taking taylor expansion of (pow x 5) in x 31.206 * [taylor]: Taking taylor expansion of x in x 31.206 * [taylor]: Taking taylor expansion of (* 2 x) in x 31.206 * [taylor]: Taking taylor expansion of 2 in x 31.206 * [taylor]: Taking taylor expansion of x in x 31.238 * [approximate]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in (x) around 0 31.238 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 31.238 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 31.238 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 31.238 * [taylor]: Taking taylor expansion of 1/60 in x 31.238 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 31.238 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.238 * [taylor]: Taking taylor expansion of x in x 31.239 * [taylor]: Taking taylor expansion of (/ 2 x) in x 31.239 * [taylor]: Taking taylor expansion of 2 in x 31.239 * [taylor]: Taking taylor expansion of x in x 31.239 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 31.239 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 31.240 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 31.240 * [taylor]: Taking taylor expansion of 1/60 in x 31.240 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 31.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.240 * [taylor]: Taking taylor expansion of x in x 31.240 * [taylor]: Taking taylor expansion of (/ 2 x) in x 31.240 * [taylor]: Taking taylor expansion of 2 in x 31.240 * [taylor]: Taking taylor expansion of x in x 31.295 * [approximate]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in (x) around 0 31.295 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 31.295 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 31.296 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 31.296 * [taylor]: Taking taylor expansion of 1/60 in x 31.296 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 31.296 * [taylor]: Taking taylor expansion of (/ -1 x) in x 31.296 * [taylor]: Taking taylor expansion of -1 in x 31.296 * [taylor]: Taking taylor expansion of x in x 31.296 * [taylor]: Taking taylor expansion of (/ -2 x) in x 31.296 * [taylor]: Taking taylor expansion of -2 in x 31.296 * [taylor]: Taking taylor expansion of x in x 31.297 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 31.297 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 31.297 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 31.297 * [taylor]: Taking taylor expansion of 1/60 in x 31.297 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 31.297 * [taylor]: Taking taylor expansion of (/ -1 x) in x 31.297 * [taylor]: Taking taylor expansion of -1 in x 31.297 * [taylor]: Taking taylor expansion of x in x 31.297 * [taylor]: Taking taylor expansion of (/ -2 x) in x 31.297 * [taylor]: Taking taylor expansion of -2 in x 31.297 * [taylor]: Taking taylor expansion of x in x 31.364 * * * [progress]: simplifying candidates 31.364 * [simplify]: Simplifying using # : (expm1 (fma 1/60 (pow x 5) (* 2 x))) (log1p (fma 1/60 (pow x 5) (* 2 x))) (* 1/60 (pow x 5)) (log (fma 1/60 (pow x 5) (* 2 x))) (exp (fma 1/60 (pow x 5) (* 2 x))) (* (cbrt (fma 1/60 (pow x 5) (* 2 x))) (cbrt (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/60 (pow x 5) (* 2 x))) (* (* (fma 1/60 (pow x 5) (* 2 x)) (fma 1/60 (pow x 5) (* 2 x))) (fma 1/60 (pow x 5) (* 2 x))) (sqrt (fma 1/60 (pow x 5) (* 2 x))) (sqrt (fma 1/60 (pow x 5) (* 2 x))) (+ (* 2 x) (* 1/60 (pow x 5))) (+ (* 2 x) (* 1/60 (pow x 5))) (+ (* 2 x) (* 1/60 (pow x 5))) 31.366 * * [simplify]: iteration 0 : 18 enodes (cost 140 ) 31.369 * * [simplify]: iteration 1 : 27 enodes (cost 137 ) 31.375 * * [simplify]: iteration 2 : 64 enodes (cost 121 ) 31.391 * * [simplify]: iteration 3 : 204 enodes (cost 121 ) 31.455 * * [simplify]: iteration 4 : 861 enodes (cost 121 ) 31.845 * * [simplify]: iteration done : 5000 enodes (cost 121 ) 31.845 * [simplify]: Simplified to: (expm1 (fma 1/60 (pow x 5) (* 2 x))) (log1p (fma 1/60 (pow x 5) (* 2 x))) (* 1/60 (pow x 5)) (log (fma 1/60 (pow x 5) (* 2 x))) (exp (fma 1/60 (pow x 5) (* 2 x))) (* (cbrt (fma 1/60 (pow x 5) (* 2 x))) (cbrt (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/60 (pow x 5) (* 2 x))) (pow (fma 1/60 (pow x 5) (* 2 x)) 3) (sqrt (fma 1/60 (pow x 5) (* 2 x))) (sqrt (fma 1/60 (pow x 5) (* 2 x))) (fma 1/60 (pow x 5) (* 2 x)) (fma 1/60 (pow x 5) (* 2 x)) (fma 1/60 (pow x 5) (* 2 x)) 31.845 * * * [progress]: adding candidates to table 31.881 * * [progress]: iteration 3 / 4 31.881 * * * [progress]: picking best candidate 31.885 * * * * [pick]: Picked # 31.885 * * * [progress]: localizing error 31.894 * * * [progress]: generating rewritten candidates 31.894 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 31.894 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 31.895 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 31.898 * * * [progress]: generating series expansions 31.898 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 31.898 * [approximate]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)))) in (x) around 0 31.898 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)))) in x 31.898 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (exp (- x)))) 31.898 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 31.898 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 31.898 * [taylor]: Taking taylor expansion of (exp x) in x 31.898 * [taylor]: Taking taylor expansion of x in x 31.900 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 31.900 * [taylor]: Taking taylor expansion of (exp x) in x 31.900 * [taylor]: Taking taylor expansion of x in x 31.901 * [taylor]: Taking taylor expansion of (- (exp (- x))) in x 31.901 * [taylor]: Taking taylor expansion of (exp (- x)) in x 31.901 * [taylor]: Taking taylor expansion of (- x) in x 31.901 * [taylor]: Taking taylor expansion of x in x 31.901 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)))) in x 31.901 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (exp (- x)))) 31.901 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 31.901 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 31.902 * [taylor]: Taking taylor expansion of (exp x) in x 31.902 * [taylor]: Taking taylor expansion of x in x 31.903 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 31.903 * [taylor]: Taking taylor expansion of (exp x) in x 31.903 * [taylor]: Taking taylor expansion of x in x 31.904 * [taylor]: Taking taylor expansion of (- (exp (- x))) in x 31.904 * [taylor]: Taking taylor expansion of (exp (- x)) in x 31.904 * [taylor]: Taking taylor expansion of (- x) in x 31.904 * [taylor]: Taking taylor expansion of x in x 31.944 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- (exp (- (/ 1 x))))) in (x) around 0 31.944 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- (exp (- (/ 1 x))))) in x 31.944 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (- (exp (- (/ 1 x))))) 31.944 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 31.944 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 31.944 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 31.944 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.944 * [taylor]: Taking taylor expansion of x in x 31.944 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 31.944 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 31.944 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.944 * [taylor]: Taking taylor expansion of x in x 31.945 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 x)))) in x 31.945 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 31.945 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 31.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.945 * [taylor]: Taking taylor expansion of x in x 31.945 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- (exp (- (/ 1 x))))) in x 31.945 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (- (exp (- (/ 1 x))))) 31.946 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 31.946 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 31.946 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 31.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.946 * [taylor]: Taking taylor expansion of x in x 31.946 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 31.946 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 31.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.946 * [taylor]: Taking taylor expansion of x in x 31.946 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 x)))) in x 31.946 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 31.946 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 31.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.946 * [taylor]: Taking taylor expansion of x in x 31.964 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- (exp (/ 1 x)))) in (x) around 0 31.964 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- (exp (/ 1 x)))) in x 31.964 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (- (exp (/ 1 x)))) 31.964 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 31.964 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 31.964 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 31.964 * [taylor]: Taking taylor expansion of (/ -1 x) in x 31.964 * [taylor]: Taking taylor expansion of -1 in x 31.964 * [taylor]: Taking taylor expansion of x in x 31.965 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 31.965 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 31.965 * [taylor]: Taking taylor expansion of (/ -1 x) in x 31.965 * [taylor]: Taking taylor expansion of -1 in x 31.965 * [taylor]: Taking taylor expansion of x in x 31.965 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x))) in x 31.965 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 31.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.965 * [taylor]: Taking taylor expansion of x in x 31.966 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- (exp (/ 1 x)))) in x 31.966 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (- (exp (/ 1 x)))) 31.966 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 31.966 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 31.966 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 31.966 * [taylor]: Taking taylor expansion of (/ -1 x) in x 31.966 * [taylor]: Taking taylor expansion of -1 in x 31.966 * [taylor]: Taking taylor expansion of x in x 31.966 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 31.966 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 31.966 * [taylor]: Taking taylor expansion of (/ -1 x) in x 31.966 * [taylor]: Taking taylor expansion of -1 in x 31.966 * [taylor]: Taking taylor expansion of x in x 31.967 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x))) in x 31.967 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 31.967 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.967 * [taylor]: Taking taylor expansion of x in x 31.979 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 31.979 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 31.979 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 31.979 * [taylor]: Taking taylor expansion of (exp x) in x 31.979 * [taylor]: Taking taylor expansion of x in x 31.980 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 31.981 * [taylor]: Taking taylor expansion of (exp x) in x 31.981 * [taylor]: Taking taylor expansion of x in x 31.983 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 31.983 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 31.983 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 31.983 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.983 * [taylor]: Taking taylor expansion of x in x 31.984 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 31.984 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 31.984 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.984 * [taylor]: Taking taylor expansion of x in x 31.987 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 31.987 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 31.987 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 31.987 * [taylor]: Taking taylor expansion of (/ -1 x) in x 31.987 * [taylor]: Taking taylor expansion of -1 in x 31.987 * [taylor]: Taking taylor expansion of x in x 31.988 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 31.988 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 31.988 * [taylor]: Taking taylor expansion of (/ -1 x) in x 31.988 * [taylor]: Taking taylor expansion of -1 in x 31.988 * [taylor]: Taking taylor expansion of x in x 31.991 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 31.991 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 31.991 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 31.991 * [taylor]: Taking taylor expansion of (exp x) in x 31.991 * [taylor]: Taking taylor expansion of x in x 31.992 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 31.992 * [taylor]: Taking taylor expansion of (exp x) in x 31.992 * [taylor]: Taking taylor expansion of x in x 31.995 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 31.995 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 31.995 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 31.995 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.995 * [taylor]: Taking taylor expansion of x in x 31.996 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 31.996 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 31.996 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.996 * [taylor]: Taking taylor expansion of x in x 31.999 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 31.999 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 31.999 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 31.999 * [taylor]: Taking taylor expansion of (/ -1 x) in x 31.999 * [taylor]: Taking taylor expansion of -1 in x 31.999 * [taylor]: Taking taylor expansion of x in x 31.999 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 31.999 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 31.999 * [taylor]: Taking taylor expansion of (/ -1 x) in x 31.999 * [taylor]: Taking taylor expansion of -1 in x 31.999 * [taylor]: Taking taylor expansion of x in x 32.002 * * * [progress]: simplifying candidates 32.003 * [simplify]: Simplifying using # : (expm1 (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x))))) (log1p (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x))))) (* (sqrt (exp x)) (sqrt (exp x))) (log (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x))))) (exp (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x))))) (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x))))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)))))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x))))) (* (* (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x))))) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x))))) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (- (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))) (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))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (* -1 x))) (+ (* 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)) 32.005 * * [simplify]: iteration 0 : 61 enodes (cost 387 ) 32.014 * * [simplify]: iteration 1 : 105 enodes (cost 291 ) 32.036 * * [simplify]: iteration 2 : 225 enodes (cost 277 ) 32.089 * * [simplify]: iteration 3 : 609 enodes (cost 277 ) 32.310 * * [simplify]: iteration 4 : 2030 enodes (cost 273 ) 33.004 * * [simplify]: iteration done : 5001 enodes (cost 273 ) 33.005 * [simplify]: Simplified to: (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (exp x) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (pow (- (exp x) (exp (- x))) 3) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (pow (sqrt (exp x)) 3) (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) 1 (sqrt (exp x)) 1/2 (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (pow (sqrt (exp x)) 3) (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) 1 (sqrt (exp x)) 1/2 (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (- x))) (fma x (fma x 1/8 1/2) 1) (sqrt (exp x)) (sqrt (exp x)) (fma x (fma x 1/8 1/2) 1) (sqrt (exp x)) (sqrt (exp x)) 33.005 * * * [progress]: adding candidates to table 33.132 * * [progress]: iteration 4 / 4 33.132 * * * [progress]: picking best candidate 33.134 * * * * [pick]: Picked # 33.134 * * * [progress]: localizing error 33.144 * * * [progress]: generating rewritten candidates 33.144 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 33.152 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 33.160 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1) 33.167 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 33.175 * * * [progress]: generating series expansions 33.175 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 33.175 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 33.175 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 33.175 * [taylor]: Taking taylor expansion of (exp x) in x 33.175 * [taylor]: Taking taylor expansion of x in x 33.175 * [taylor]: Taking taylor expansion of (exp (- x)) in x 33.175 * [taylor]: Taking taylor expansion of (- x) in x 33.175 * [taylor]: Taking taylor expansion of x in x 33.176 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 33.176 * [taylor]: Taking taylor expansion of (exp x) in x 33.176 * [taylor]: Taking taylor expansion of x in x 33.176 * [taylor]: Taking taylor expansion of (exp (- x)) in x 33.176 * [taylor]: Taking taylor expansion of (- x) in x 33.176 * [taylor]: Taking taylor expansion of x in x 33.204 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 33.204 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 33.204 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.204 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.204 * [taylor]: Taking taylor expansion of x in x 33.204 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 33.205 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 33.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.205 * [taylor]: Taking taylor expansion of x in x 33.205 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 33.205 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.205 * [taylor]: Taking taylor expansion of x in x 33.205 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 33.205 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 33.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.205 * [taylor]: Taking taylor expansion of x in x 33.209 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 33.209 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 33.209 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 33.209 * [taylor]: Taking taylor expansion of (/ -1 x) in x 33.209 * [taylor]: Taking taylor expansion of -1 in x 33.209 * [taylor]: Taking taylor expansion of x in x 33.210 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.210 * [taylor]: Taking taylor expansion of x in x 33.210 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 33.210 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 33.210 * [taylor]: Taking taylor expansion of (/ -1 x) in x 33.210 * [taylor]: Taking taylor expansion of -1 in x 33.210 * [taylor]: Taking taylor expansion of x in x 33.211 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.211 * [taylor]: Taking taylor expansion of x in x 33.214 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 33.215 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 33.215 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 33.215 * [taylor]: Taking taylor expansion of (exp x) in x 33.215 * [taylor]: Taking taylor expansion of x in x 33.215 * [taylor]: Taking taylor expansion of (exp (- x)) in x 33.215 * [taylor]: Taking taylor expansion of (- x) in x 33.215 * [taylor]: Taking taylor expansion of x in x 33.215 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 33.215 * [taylor]: Taking taylor expansion of (exp x) in x 33.215 * [taylor]: Taking taylor expansion of x in x 33.215 * [taylor]: Taking taylor expansion of (exp (- x)) in x 33.215 * [taylor]: Taking taylor expansion of (- x) in x 33.215 * [taylor]: Taking taylor expansion of x in x 33.241 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 33.241 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 33.241 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.241 * [taylor]: Taking taylor expansion of x in x 33.241 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 33.241 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 33.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.241 * [taylor]: Taking taylor expansion of x in x 33.242 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 33.242 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.242 * [taylor]: Taking taylor expansion of x in x 33.242 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 33.242 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 33.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.242 * [taylor]: Taking taylor expansion of x in x 33.247 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 33.247 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 33.247 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 33.247 * [taylor]: Taking taylor expansion of (/ -1 x) in x 33.247 * [taylor]: Taking taylor expansion of -1 in x 33.247 * [taylor]: Taking taylor expansion of x in x 33.247 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.247 * [taylor]: Taking taylor expansion of x in x 33.247 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 33.247 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 33.247 * [taylor]: Taking taylor expansion of (/ -1 x) in x 33.247 * [taylor]: Taking taylor expansion of -1 in x 33.247 * [taylor]: Taking taylor expansion of x in x 33.248 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.248 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.248 * [taylor]: Taking taylor expansion of x in x 33.251 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1) 33.251 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 33.251 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 33.251 * [taylor]: Taking taylor expansion of (exp x) in x 33.251 * [taylor]: Taking taylor expansion of x in x 33.251 * [taylor]: Taking taylor expansion of (exp (- x)) in x 33.251 * [taylor]: Taking taylor expansion of (- x) in x 33.251 * [taylor]: Taking taylor expansion of x in x 33.252 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 33.252 * [taylor]: Taking taylor expansion of (exp x) in x 33.252 * [taylor]: Taking taylor expansion of x in x 33.252 * [taylor]: Taking taylor expansion of (exp (- x)) in x 33.252 * [taylor]: Taking taylor expansion of (- x) in x 33.252 * [taylor]: Taking taylor expansion of x in x 33.288 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 33.288 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 33.289 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.289 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.289 * [taylor]: Taking taylor expansion of x in x 33.289 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 33.289 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 33.289 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.289 * [taylor]: Taking taylor expansion of x in x 33.290 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 33.290 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.290 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.290 * [taylor]: Taking taylor expansion of x in x 33.290 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 33.291 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 33.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.291 * [taylor]: Taking taylor expansion of x in x 33.295 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 33.295 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 33.295 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 33.296 * [taylor]: Taking taylor expansion of (/ -1 x) in x 33.296 * [taylor]: Taking taylor expansion of -1 in x 33.296 * [taylor]: Taking taylor expansion of x in x 33.296 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.296 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.296 * [taylor]: Taking taylor expansion of x in x 33.296 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 33.296 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 33.296 * [taylor]: Taking taylor expansion of (/ -1 x) in x 33.296 * [taylor]: Taking taylor expansion of -1 in x 33.297 * [taylor]: Taking taylor expansion of x in x 33.297 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.297 * [taylor]: Taking taylor expansion of x in x 33.301 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 33.301 * [approximate]: Taking taylor expansion of (pow (- (exp x) (exp (- x))) 1/3) in (x) around 0 33.301 * [taylor]: Taking taylor expansion of (pow (- (exp x) (exp (- x))) 1/3) in x 33.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp x) (exp (- x)))))) in x 33.302 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp x) (exp (- x))))) in x 33.302 * [taylor]: Taking taylor expansion of 1/3 in x 33.302 * [taylor]: Taking taylor expansion of (log (- (exp x) (exp (- x)))) in x 33.302 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 33.302 * [taylor]: Taking taylor expansion of (exp x) in x 33.302 * [taylor]: Taking taylor expansion of x in x 33.302 * [taylor]: Taking taylor expansion of (exp (- x)) in x 33.302 * [taylor]: Taking taylor expansion of (- x) in x 33.302 * [taylor]: Taking taylor expansion of x in x 33.307 * [taylor]: Taking taylor expansion of (pow (- (exp x) (exp (- x))) 1/3) in x 33.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp x) (exp (- x)))))) in x 33.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp x) (exp (- x))))) in x 33.307 * [taylor]: Taking taylor expansion of 1/3 in x 33.307 * [taylor]: Taking taylor expansion of (log (- (exp x) (exp (- x)))) in x 33.307 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 33.308 * [taylor]: Taking taylor expansion of (exp x) in x 33.308 * [taylor]: Taking taylor expansion of x in x 33.308 * [taylor]: Taking taylor expansion of (exp (- x)) in x 33.308 * [taylor]: Taking taylor expansion of (- x) in x 33.308 * [taylor]: Taking taylor expansion of x in x 33.376 * [approximate]: Taking taylor expansion of (pow (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 1/3) in (x) around 0 33.376 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 1/3) in x 33.376 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (/ 1 x)) (exp (- (/ 1 x))))))) in x 33.376 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 33.376 * [taylor]: Taking taylor expansion of 1/3 in x 33.376 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 33.376 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 33.376 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.376 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.376 * [taylor]: Taking taylor expansion of x in x 33.377 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 33.377 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 33.377 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.377 * [taylor]: Taking taylor expansion of x in x 33.378 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 1/3) in x 33.378 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (/ 1 x)) (exp (- (/ 1 x))))))) in x 33.378 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 33.378 * [taylor]: Taking taylor expansion of 1/3 in x 33.378 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 33.378 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 33.378 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.378 * [taylor]: Taking taylor expansion of x in x 33.378 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 33.379 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 33.379 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.379 * [taylor]: Taking taylor expansion of x in x 33.437 * [approximate]: Taking taylor expansion of (pow (- (exp (/ -1 x)) (exp (/ 1 x))) 1/3) in (x) around 0 33.437 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) (exp (/ 1 x))) 1/3) in x 33.437 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (/ -1 x)) (exp (/ 1 x)))))) in x 33.437 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (/ -1 x)) (exp (/ 1 x))))) in x 33.437 * [taylor]: Taking taylor expansion of 1/3 in x 33.437 * [taylor]: Taking taylor expansion of (log (- (exp (/ -1 x)) (exp (/ 1 x)))) in x 33.437 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 33.437 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 33.437 * [taylor]: Taking taylor expansion of (/ -1 x) in x 33.437 * [taylor]: Taking taylor expansion of -1 in x 33.437 * [taylor]: Taking taylor expansion of x in x 33.438 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.438 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.438 * [taylor]: Taking taylor expansion of x in x 33.438 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) (exp (/ 1 x))) 1/3) in x 33.438 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (/ -1 x)) (exp (/ 1 x)))))) in x 33.438 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (/ -1 x)) (exp (/ 1 x))))) in x 33.438 * [taylor]: Taking taylor expansion of 1/3 in x 33.438 * [taylor]: Taking taylor expansion of (log (- (exp (/ -1 x)) (exp (/ 1 x)))) in x 33.438 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 33.438 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 33.439 * [taylor]: Taking taylor expansion of (/ -1 x) in x 33.439 * [taylor]: Taking taylor expansion of -1 in x 33.439 * [taylor]: Taking taylor expansion of x in x 33.439 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.439 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.439 * [taylor]: Taking taylor expansion of x in x 33.477 * * * [progress]: simplifying candidates 33.478 * [simplify]: Simplifying using # : (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (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 (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (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 (exp x)) (sqrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma 1 (exp x) (- (* (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 (exp x) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma 1 (exp x) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (/ (exp (exp x)) (exp (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (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))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (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 (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (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 (exp x)) (sqrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma 1 (exp x) (- (* (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 (exp x) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma 1 (exp x) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (/ (exp (exp x)) (exp (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (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))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (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 (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (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 (exp x)) (sqrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma 1 (exp x) (- (* (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 (exp x) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma 1 (exp x) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (/ (exp (exp x)) (exp (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (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))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (expm1 (cbrt (- (exp x) (exp (- x))))) (log1p (cbrt (- (exp x) (exp (- x))))) (log (cbrt (- (exp x) (exp (- x))))) (exp (cbrt (- (exp x) (exp (- x))))) (cbrt (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x)))))) (cbrt (cbrt (- (exp x) (exp (- x))))) (cbrt (sqrt (- (exp x) (exp (- x))))) (cbrt (sqrt (- (exp x) (exp (- x))))) (cbrt 1) (cbrt (- (exp x) (exp (- x)))) (cbrt (+ (sqrt (exp x)) (sqrt (exp (- x))))) (cbrt (- (sqrt (exp x)) (sqrt (exp (- x))))) (cbrt 1) (cbrt (- (exp x) (exp (- x)))) (cbrt (- (pow (exp x) 3) (pow (exp (- x)) 3))) (cbrt (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (cbrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (* (cbrt (cbrt (- (exp x) (exp (- x))))) (cbrt (cbrt (- (exp x) (exp (- x)))))) (cbrt (cbrt (- (exp x) (exp (- x))))) (* (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x))))) (sqrt (cbrt (- (exp x) (exp (- x))))) (sqrt (cbrt (- (exp x) (exp (- x))))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (* -1 x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (* -1 x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (* -1 x))) (- (+ (exp (* 1/3 (+ (log x) (log 2)))) (* 1/18 (* (exp (* 1/3 (+ (log x) (log 2)))) (pow x 2)))) (* 1/3240 (* (exp (* 1/3 (+ (log x) (log 2)))) (pow x 4)))) (pow (- (exp x) (exp (- x))) 1/3) (pow (- (exp x) (exp (* -1 x))) 1/3) 33.484 * * [simplify]: iteration 0 : 108 enodes (cost 1921 ) 33.508 * * [simplify]: iteration 1 : 237 enodes (cost 1471 ) 33.561 * * [simplify]: iteration 2 : 689 enodes (cost 1143 ) 33.900 * * [simplify]: iteration 3 : 3351 enodes (cost 963 ) 36.604 * * [simplify]: iteration done : 5001 enodes (cost 963 ) 36.605 * [simplify]: Simplified to: (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (exp (- (exp x) (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (pow (- (exp x) (exp (- x))) 2/3) (cbrt (- (exp x) (exp (- x)))) (pow (- (exp x) (exp (- x))) 3) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (exp (- x))) (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (exp (- (exp x) (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (pow (- (exp x) (exp (- x))) 2/3) (cbrt (- (exp x) (exp (- x)))) (pow (- (exp x) (exp (- x))) 3) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (exp (- x))) (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (exp (- (exp x) (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (pow (- (exp x) (exp (- x))) 2/3) (cbrt (- (exp x) (exp (- x)))) (pow (- (exp x) (exp (- x))) 3) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (exp (- x))) (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (expm1 (cbrt (- (exp x) (exp (- x))))) (log1p (cbrt (- (exp x) (exp (- x))))) (log (cbrt (- (exp x) (exp (- x))))) (exp (cbrt (- (exp x) (exp (- x))))) (cbrt (pow (- (exp x) (exp (- x))) 2/3)) (cbrt (cbrt (- (exp x) (exp (- x))))) (cbrt (sqrt (- (exp x) (exp (- x))))) (cbrt (sqrt (- (exp x) (exp (- x))))) 1 (cbrt (- (exp x) (exp (- x)))) (cbrt (+ (sqrt (exp x)) (sqrt (exp (- x))))) (cbrt (- (sqrt (exp x)) (sqrt (exp (- x))))) 1 (cbrt (- (exp x) (exp (- x)))) (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (+ (exp x) (exp (- x)))) (* (cbrt (cbrt (- (exp x) (exp (- x))))) (cbrt (cbrt (- (exp x) (exp (- x)))))) (cbrt (cbrt (- (exp x) (exp (- x))))) (- (exp x) (exp (- x))) (sqrt (cbrt (- (exp x) (exp (- x))))) (sqrt (cbrt (- (exp x) (exp (- x))))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (- x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (- x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (- x))) (fma (pow x 1/3) (pow 2 1/3) (* (cbrt (exp (+ (log x) (log 2)))) (- (* (pow x 2) 1/18) (* (pow x 4) 1/3240)))) (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x)))) 36.606 * * * [progress]: adding candidates to table 36.883 * [progress]: [Phase 3 of 3] Extracting. 36.883 * * [regime]: Finding splitpoints for: (# # #) 36.884 * * * [regime-changes]: Trying 2 branch expressions: ((- (exp x) (exp (- x))) x) 36.884 * * * * [regimes]: Trying to branch on (- (exp x) (exp (- x))) from (# # #) 36.900 * * * * [regimes]: Trying to branch on x from (# # #) 36.916 * * * [regime]: Found split indices: #