28.817 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.066 * * * [progress]: [2/2] Setting up program. 0.068 * [progress]: [Phase 2 of 3] Improving. 0.069 * [simplify]: Simplifying using # : (/ (- (exp x) (exp (- x))) 2.0) 0.070 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.070 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.073 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 0.075 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 0.083 * * [simplify]: iteration 4 : 37 enodes (cost 8 ) 0.087 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 0.092 * * [simplify]: iteration 6 : 54 enodes (cost 8 ) 0.103 * * [simplify]: iteration 7 : 97 enodes (cost 8 ) 0.131 * * [simplify]: iteration 8 : 197 enodes (cost 8 ) 0.321 * * [simplify]: iteration 9 : 736 enodes (cost 8 ) 2.822 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 2.822 * [simplify]: Simplified to: (/ (- (exp x) (exp (- x))) 2.0) 2.822 * * [progress]: iteration 1 / 4 2.822 * * * [progress]: picking best candidate 2.824 * * * * [pick]: Picked # 2.824 * * * [progress]: localizing error 2.830 * * * [progress]: generating rewritten candidates 2.830 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 2.839 * * * [progress]: generating series expansions 2.839 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 2.839 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 2.839 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 2.839 * [taylor]: Taking taylor expansion of (exp x) in x 2.839 * [taylor]: Taking taylor expansion of x in x 2.839 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.839 * [taylor]: Taking taylor expansion of (- x) in x 2.839 * [taylor]: Taking taylor expansion of x in x 2.840 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 2.840 * [taylor]: Taking taylor expansion of (exp x) in x 2.840 * [taylor]: Taking taylor expansion of x in x 2.840 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.840 * [taylor]: Taking taylor expansion of (- x) in x 2.840 * [taylor]: Taking taylor expansion of x in x 2.870 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 2.870 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.870 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.870 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.870 * [taylor]: Taking taylor expansion of x in x 2.871 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.871 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.871 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.871 * [taylor]: Taking taylor expansion of x in x 2.871 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.871 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.871 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.871 * [taylor]: Taking taylor expansion of x in x 2.872 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.872 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.872 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.872 * [taylor]: Taking taylor expansion of x in x 2.875 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 2.875 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 2.875 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.875 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.875 * [taylor]: Taking taylor expansion of -1 in x 2.875 * [taylor]: Taking taylor expansion of x in x 2.876 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.876 * [taylor]: Taking taylor expansion of x in x 2.876 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 2.876 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.876 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.876 * [taylor]: Taking taylor expansion of -1 in x 2.876 * [taylor]: Taking taylor expansion of x in x 2.876 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.876 * [taylor]: Taking taylor expansion of x in x 2.880 * * * [progress]: simplifying candidates 2.880 * [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))) 2.883 * * [simplify]: iteration 0 : 73 enodes (cost 547 ) 2.894 * * [simplify]: iteration 1 : 156 enodes (cost 401 ) 2.930 * * [simplify]: iteration 2 : 398 enodes (cost 308 ) 3.130 * * [simplify]: iteration 3 : 1798 enodes (cost 253 ) 4.109 * * [simplify]: iteration done : 5000 enodes (cost 253 ) 4.109 * [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 -2)) (+ 1 (exp (+ x x)))) (- (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))) 4.109 * * * [progress]: adding candidates to table 4.167 * * [progress]: iteration 2 / 4 4.167 * * * [progress]: picking best candidate 4.173 * * * * [pick]: Picked # 4.173 * * * [progress]: localizing error 4.184 * * * [progress]: generating rewritten candidates 4.184 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 3) 4.185 * * * [progress]: generating series expansions 4.185 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 3) 4.185 * [approximate]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in (x) around 0 4.185 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 4.185 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 4.185 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 4.185 * [taylor]: Taking taylor expansion of 1/60 in x 4.185 * [taylor]: Taking taylor expansion of (pow x 5) in x 4.185 * [taylor]: Taking taylor expansion of x in x 4.185 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.185 * [taylor]: Taking taylor expansion of 2 in x 4.185 * [taylor]: Taking taylor expansion of x in x 4.185 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 4.185 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 4.185 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 4.185 * [taylor]: Taking taylor expansion of 1/60 in x 4.185 * [taylor]: Taking taylor expansion of (pow x 5) in x 4.185 * [taylor]: Taking taylor expansion of x in x 4.186 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.186 * [taylor]: Taking taylor expansion of 2 in x 4.186 * [taylor]: Taking taylor expansion of x in x 4.212 * [approximate]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in (x) around 0 4.212 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 4.213 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 4.213 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 4.213 * [taylor]: Taking taylor expansion of 1/60 in x 4.213 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 4.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.213 * [taylor]: Taking taylor expansion of x in x 4.213 * [taylor]: Taking taylor expansion of (/ 2 x) in x 4.213 * [taylor]: Taking taylor expansion of 2 in x 4.213 * [taylor]: Taking taylor expansion of x in x 4.213 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 4.213 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 4.213 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 4.213 * [taylor]: Taking taylor expansion of 1/60 in x 4.213 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 4.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.213 * [taylor]: Taking taylor expansion of x in x 4.214 * [taylor]: Taking taylor expansion of (/ 2 x) in x 4.214 * [taylor]: Taking taylor expansion of 2 in x 4.214 * [taylor]: Taking taylor expansion of x in x 4.258 * [approximate]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in (x) around 0 4.258 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 4.258 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 4.258 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 4.258 * [taylor]: Taking taylor expansion of 1/60 in x 4.258 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 4.258 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.258 * [taylor]: Taking taylor expansion of -1 in x 4.258 * [taylor]: Taking taylor expansion of x in x 4.258 * [taylor]: Taking taylor expansion of (/ -2 x) in x 4.258 * [taylor]: Taking taylor expansion of -2 in x 4.258 * [taylor]: Taking taylor expansion of x in x 4.259 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 4.259 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 4.259 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 4.259 * [taylor]: Taking taylor expansion of 1/60 in x 4.259 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 4.259 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.259 * [taylor]: Taking taylor expansion of -1 in x 4.259 * [taylor]: Taking taylor expansion of x in x 4.259 * [taylor]: Taking taylor expansion of (/ -2 x) in x 4.259 * [taylor]: Taking taylor expansion of -2 in x 4.259 * [taylor]: Taking taylor expansion of x in x 4.304 * * * [progress]: simplifying candidates 4.304 * [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))) 4.305 * * [simplify]: iteration 0 : 18 enodes (cost 140 ) 4.308 * * [simplify]: iteration 1 : 27 enodes (cost 137 ) 4.312 * * [simplify]: iteration 2 : 61 enodes (cost 121 ) 4.325 * * [simplify]: iteration 3 : 198 enodes (cost 121 ) 4.391 * * [simplify]: iteration 4 : 834 enodes (cost 121 ) 5.014 * * [simplify]: iteration 5 : 4902 enodes (cost 121 ) 7.462 * * [simplify]: iteration done : 5000 enodes (cost 121 ) 7.463 * [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)) 7.463 * * * [progress]: adding candidates to table 7.499 * * [progress]: iteration 3 / 4 7.499 * * * [progress]: picking best candidate 7.503 * * * * [pick]: Picked # 7.503 * * * [progress]: localizing error 7.512 * * * [progress]: generating rewritten candidates 7.512 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 7.512 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 7.514 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 7.516 * * * [progress]: generating series expansions 7.516 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 7.516 * [approximate]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)))) in (x) around 0 7.516 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)))) in x 7.516 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (exp (- x)))) 7.516 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 7.516 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 7.516 * [taylor]: Taking taylor expansion of (exp x) in x 7.516 * [taylor]: Taking taylor expansion of x in x 7.518 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 7.518 * [taylor]: Taking taylor expansion of (exp x) in x 7.518 * [taylor]: Taking taylor expansion of x in x 7.519 * [taylor]: Taking taylor expansion of (- (exp (- x))) in x 7.519 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.519 * [taylor]: Taking taylor expansion of (- x) in x 7.519 * [taylor]: Taking taylor expansion of x in x 7.520 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)))) in x 7.520 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (exp (- x)))) 7.520 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 7.520 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 7.520 * [taylor]: Taking taylor expansion of (exp x) in x 7.520 * [taylor]: Taking taylor expansion of x in x 7.521 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 7.521 * [taylor]: Taking taylor expansion of (exp x) in x 7.521 * [taylor]: Taking taylor expansion of x in x 7.522 * [taylor]: Taking taylor expansion of (- (exp (- x))) in x 7.522 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.522 * [taylor]: Taking taylor expansion of (- x) in x 7.522 * [taylor]: Taking taylor expansion of x in x 7.565 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- (exp (- (/ 1 x))))) in (x) around 0 7.565 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- (exp (- (/ 1 x))))) in x 7.565 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (- (exp (- (/ 1 x))))) 7.565 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 7.565 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 7.565 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.565 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.565 * [taylor]: Taking taylor expansion of x in x 7.565 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 7.565 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.565 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.565 * [taylor]: Taking taylor expansion of x in x 7.566 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 x)))) in x 7.566 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.566 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.566 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.566 * [taylor]: Taking taylor expansion of x in x 7.566 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- (exp (- (/ 1 x))))) in x 7.566 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (- (exp (- (/ 1 x))))) 7.566 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 7.566 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 7.566 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.567 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.567 * [taylor]: Taking taylor expansion of x in x 7.567 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 7.567 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.567 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.567 * [taylor]: Taking taylor expansion of x in x 7.567 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 x)))) in x 7.567 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.567 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.567 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.567 * [taylor]: Taking taylor expansion of x in x 7.580 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- (exp (/ 1 x)))) in (x) around 0 7.580 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- (exp (/ 1 x)))) in x 7.580 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (- (exp (/ 1 x)))) 7.580 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 7.580 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 7.580 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.580 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.580 * [taylor]: Taking taylor expansion of -1 in x 7.580 * [taylor]: Taking taylor expansion of x in x 7.581 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 7.581 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.581 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.581 * [taylor]: Taking taylor expansion of -1 in x 7.581 * [taylor]: Taking taylor expansion of x in x 7.581 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x))) in x 7.581 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.581 * [taylor]: Taking taylor expansion of x in x 7.582 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- (exp (/ 1 x)))) in x 7.582 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (- (exp (/ 1 x)))) 7.582 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 7.582 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 7.582 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.582 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.582 * [taylor]: Taking taylor expansion of -1 in x 7.582 * [taylor]: Taking taylor expansion of x in x 7.582 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 7.582 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.582 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.582 * [taylor]: Taking taylor expansion of -1 in x 7.582 * [taylor]: Taking taylor expansion of x in x 7.583 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x))) in x 7.583 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.583 * [taylor]: Taking taylor expansion of x in x 7.595 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 7.595 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 7.595 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 7.595 * [taylor]: Taking taylor expansion of (exp x) in x 7.595 * [taylor]: Taking taylor expansion of x in x 7.596 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 7.596 * [taylor]: Taking taylor expansion of (exp x) in x 7.596 * [taylor]: Taking taylor expansion of x in x 7.599 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 7.599 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 7.599 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.599 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.599 * [taylor]: Taking taylor expansion of x in x 7.599 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 7.599 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.599 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.599 * [taylor]: Taking taylor expansion of x in x 7.602 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 7.602 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 7.602 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.602 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.602 * [taylor]: Taking taylor expansion of -1 in x 7.602 * [taylor]: Taking taylor expansion of x in x 7.603 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 7.603 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.603 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.603 * [taylor]: Taking taylor expansion of -1 in x 7.603 * [taylor]: Taking taylor expansion of x in x 7.606 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 7.606 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 7.606 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 7.606 * [taylor]: Taking taylor expansion of (exp x) in x 7.606 * [taylor]: Taking taylor expansion of x in x 7.607 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 7.607 * [taylor]: Taking taylor expansion of (exp x) in x 7.607 * [taylor]: Taking taylor expansion of x in x 7.610 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 7.610 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 7.610 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.610 * [taylor]: Taking taylor expansion of x in x 7.610 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 7.610 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.610 * [taylor]: Taking taylor expansion of x in x 7.613 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 7.613 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 7.613 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.613 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.613 * [taylor]: Taking taylor expansion of -1 in x 7.614 * [taylor]: Taking taylor expansion of x in x 7.614 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 7.614 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.614 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.614 * [taylor]: Taking taylor expansion of -1 in x 7.614 * [taylor]: Taking taylor expansion of x in x 7.617 * * * [progress]: simplifying candidates 7.618 * [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)) 7.620 * * [simplify]: iteration 0 : 61 enodes (cost 387 ) 7.628 * * [simplify]: iteration 1 : 104 enodes (cost 291 ) 7.649 * * [simplify]: iteration 2 : 211 enodes (cost 277 ) 7.701 * * [simplify]: iteration 3 : 516 enodes (cost 277 ) 7.921 * * [simplify]: iteration 4 : 1871 enodes (cost 273 ) 8.622 * * [simplify]: iteration done : 5000 enodes (cost 273 ) 8.622 * [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 1/8 x 1/2) 1) (sqrt (exp x)) (sqrt (exp x)) (fma x (fma 1/8 x 1/2) 1) (sqrt (exp x)) (sqrt (exp x)) 8.623 * * * [progress]: adding candidates to table 8.745 * * [progress]: iteration 4 / 4 8.745 * * * [progress]: picking best candidate 8.747 * * * * [pick]: Picked # 8.748 * * * [progress]: localizing error 8.758 * * * [progress]: generating rewritten candidates 8.758 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 8.767 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 8.774 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1) 8.781 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 8.789 * * * [progress]: generating series expansions 8.789 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 8.789 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 8.789 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 8.789 * [taylor]: Taking taylor expansion of (exp x) in x 8.789 * [taylor]: Taking taylor expansion of x in x 8.789 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.789 * [taylor]: Taking taylor expansion of (- x) in x 8.789 * [taylor]: Taking taylor expansion of x in x 8.790 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 8.790 * [taylor]: Taking taylor expansion of (exp x) in x 8.790 * [taylor]: Taking taylor expansion of x in x 8.790 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.790 * [taylor]: Taking taylor expansion of (- x) in x 8.790 * [taylor]: Taking taylor expansion of x in x 8.822 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 8.822 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.822 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.822 * [taylor]: Taking taylor expansion of x in x 8.823 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.823 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.823 * [taylor]: Taking taylor expansion of x in x 8.823 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.823 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.823 * [taylor]: Taking taylor expansion of x in x 8.824 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.824 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.824 * [taylor]: Taking taylor expansion of x in x 8.828 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 8.828 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 8.828 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.828 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.828 * [taylor]: Taking taylor expansion of -1 in x 8.828 * [taylor]: Taking taylor expansion of x in x 8.828 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.828 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.828 * [taylor]: Taking taylor expansion of x in x 8.828 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 8.828 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.828 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.828 * [taylor]: Taking taylor expansion of -1 in x 8.828 * [taylor]: Taking taylor expansion of x in x 8.829 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.829 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.829 * [taylor]: Taking taylor expansion of x in x 8.832 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 8.832 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 8.832 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 8.832 * [taylor]: Taking taylor expansion of (exp x) in x 8.832 * [taylor]: Taking taylor expansion of x in x 8.832 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.832 * [taylor]: Taking taylor expansion of (- x) in x 8.832 * [taylor]: Taking taylor expansion of x in x 8.833 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 8.833 * [taylor]: Taking taylor expansion of (exp x) in x 8.833 * [taylor]: Taking taylor expansion of x in x 8.833 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.833 * [taylor]: Taking taylor expansion of (- x) in x 8.833 * [taylor]: Taking taylor expansion of x in x 8.858 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 8.858 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.858 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.858 * [taylor]: Taking taylor expansion of x in x 8.858 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.858 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.859 * [taylor]: Taking taylor expansion of x in x 8.859 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.859 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.859 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.859 * [taylor]: Taking taylor expansion of x in x 8.859 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.859 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.859 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.859 * [taylor]: Taking taylor expansion of x in x 8.863 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 8.863 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 8.863 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.863 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.863 * [taylor]: Taking taylor expansion of -1 in x 8.863 * [taylor]: Taking taylor expansion of x in x 8.864 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.864 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.864 * [taylor]: Taking taylor expansion of x in x 8.864 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 8.864 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.864 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.864 * [taylor]: Taking taylor expansion of -1 in x 8.864 * [taylor]: Taking taylor expansion of x in x 8.864 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.864 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.865 * [taylor]: Taking taylor expansion of x in x 8.868 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1) 8.868 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 8.868 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 8.868 * [taylor]: Taking taylor expansion of (exp x) in x 8.868 * [taylor]: Taking taylor expansion of x in x 8.868 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.868 * [taylor]: Taking taylor expansion of (- x) in x 8.868 * [taylor]: Taking taylor expansion of x in x 8.868 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 8.868 * [taylor]: Taking taylor expansion of (exp x) in x 8.869 * [taylor]: Taking taylor expansion of x in x 8.869 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.869 * [taylor]: Taking taylor expansion of (- x) in x 8.869 * [taylor]: Taking taylor expansion of x in x 8.898 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 8.898 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.898 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.898 * [taylor]: Taking taylor expansion of x in x 8.899 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.899 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.899 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.899 * [taylor]: Taking taylor expansion of x in x 8.899 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.899 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.899 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.899 * [taylor]: Taking taylor expansion of x in x 8.899 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.899 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.900 * [taylor]: Taking taylor expansion of x in x 8.903 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 8.904 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 8.904 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.904 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.904 * [taylor]: Taking taylor expansion of -1 in x 8.904 * [taylor]: Taking taylor expansion of x in x 8.904 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.904 * [taylor]: Taking taylor expansion of x in x 8.904 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 8.904 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.904 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.904 * [taylor]: Taking taylor expansion of -1 in x 8.904 * [taylor]: Taking taylor expansion of x in x 8.905 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.905 * [taylor]: Taking taylor expansion of x in x 8.908 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 8.908 * [approximate]: Taking taylor expansion of (pow (- (exp x) (exp (- x))) 1/3) in (x) around 0 8.908 * [taylor]: Taking taylor expansion of (pow (- (exp x) (exp (- x))) 1/3) in x 8.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp x) (exp (- x)))))) in x 8.908 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp x) (exp (- x))))) in x 8.908 * [taylor]: Taking taylor expansion of 1/3 in x 8.908 * [taylor]: Taking taylor expansion of (log (- (exp x) (exp (- x)))) in x 8.908 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 8.908 * [taylor]: Taking taylor expansion of (exp x) in x 8.908 * [taylor]: Taking taylor expansion of x in x 8.908 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.908 * [taylor]: Taking taylor expansion of (- x) in x 8.908 * [taylor]: Taking taylor expansion of x in x 8.912 * [taylor]: Taking taylor expansion of (pow (- (exp x) (exp (- x))) 1/3) in x 8.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp x) (exp (- x)))))) in x 8.913 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp x) (exp (- x))))) in x 8.913 * [taylor]: Taking taylor expansion of 1/3 in x 8.913 * [taylor]: Taking taylor expansion of (log (- (exp x) (exp (- x)))) in x 8.913 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 8.913 * [taylor]: Taking taylor expansion of (exp x) in x 8.913 * [taylor]: Taking taylor expansion of x in x 8.913 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.913 * [taylor]: Taking taylor expansion of (- x) in x 8.913 * [taylor]: Taking taylor expansion of x in x 8.961 * [approximate]: Taking taylor expansion of (pow (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 1/3) in (x) around 0 8.961 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 1/3) in x 8.961 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (/ 1 x)) (exp (- (/ 1 x))))))) in x 8.961 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 8.961 * [taylor]: Taking taylor expansion of 1/3 in x 8.961 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 8.961 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.961 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.962 * [taylor]: Taking taylor expansion of x in x 8.962 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.962 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.962 * [taylor]: Taking taylor expansion of x in x 8.963 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 1/3) in x 8.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (/ 1 x)) (exp (- (/ 1 x))))))) in x 8.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 8.963 * [taylor]: Taking taylor expansion of 1/3 in x 8.963 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 8.963 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.963 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.963 * [taylor]: Taking taylor expansion of x in x 8.963 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.963 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.963 * [taylor]: Taking taylor expansion of x in x 9.007 * [approximate]: Taking taylor expansion of (pow (- (exp (/ -1 x)) (exp (/ 1 x))) 1/3) in (x) around 0 9.007 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) (exp (/ 1 x))) 1/3) in x 9.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (/ -1 x)) (exp (/ 1 x)))))) in x 9.007 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (/ -1 x)) (exp (/ 1 x))))) in x 9.007 * [taylor]: Taking taylor expansion of 1/3 in x 9.007 * [taylor]: Taking taylor expansion of (log (- (exp (/ -1 x)) (exp (/ 1 x)))) in x 9.007 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 9.007 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.007 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.007 * [taylor]: Taking taylor expansion of -1 in x 9.007 * [taylor]: Taking taylor expansion of x in x 9.007 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.007 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.007 * [taylor]: Taking taylor expansion of x in x 9.008 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) (exp (/ 1 x))) 1/3) in x 9.008 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (/ -1 x)) (exp (/ 1 x)))))) in x 9.008 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (/ -1 x)) (exp (/ 1 x))))) in x 9.008 * [taylor]: Taking taylor expansion of 1/3 in x 9.008 * [taylor]: Taking taylor expansion of (log (- (exp (/ -1 x)) (exp (/ 1 x)))) in x 9.008 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 9.008 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.008 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.008 * [taylor]: Taking taylor expansion of -1 in x 9.008 * [taylor]: Taking taylor expansion of x in x 9.008 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.008 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.009 * [taylor]: Taking taylor expansion of x in x 9.045 * * * [progress]: simplifying candidates 9.047 * [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) 9.052 * * [simplify]: iteration 0 : 108 enodes (cost 1921 ) 9.075 * * [simplify]: iteration 1 : 227 enodes (cost 1471 ) 9.130 * * [simplify]: iteration 2 : 609 enodes (cost 1143 ) 9.483 * * [simplify]: iteration 3 : 3029 enodes (cost 963 ) 11.013 * * [simplify]: iteration done : 5000 enodes (cost 963 ) 11.013 * [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 -2)) (+ 1 (exp (+ x x)))) (- (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 -2)) (+ 1 (exp (+ x x)))) (- (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 -2)) (+ 1 (exp (+ x x)))) (- (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 -2)) (+ 1 (exp (+ x x))))) (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)))) 11.014 * * * [progress]: adding candidates to table 11.256 * [progress]: [Phase 3 of 3] Extracting. 11.256 * * [regime]: Finding splitpoints for: (# # #) 11.256 * * * [regime-changes]: Trying 2 branch expressions: ((- (exp x) (exp (- x))) x) 11.256 * * * * [regimes]: Trying to branch on (- (exp x) (exp (- x))) from (# # #) 11.272 * * * * [regimes]: Trying to branch on x from (# # #) 11.285 * * * [regime]: Found split indices: #