21.815 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.076 * * * [progress]: [2/2] Setting up program. 0.077 * [progress]: [Phase 2 of 3] Improving. 0.078 * [simplify]: Simplifying using # : (+ (- (exp x) 2.0) (exp (- x))) 0.079 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.079 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.081 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 0.088 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 0.093 * * [simplify]: iteration 4 : 49 enodes (cost 8 ) 0.099 * * [simplify]: iteration 5 : 54 enodes (cost 8 ) 0.104 * * [simplify]: iteration 6 : 63 enodes (cost 8 ) 0.111 * * [simplify]: iteration 7 : 80 enodes (cost 8 ) 0.123 * * [simplify]: iteration 8 : 99 enodes (cost 8 ) 0.138 * * [simplify]: iteration 9 : 106 enodes (cost 8 ) 0.149 * * [simplify]: iteration 10 : 110 enodes (cost 8 ) 0.161 * * [simplify]: iteration 11 : 114 enodes (cost 8 ) 0.173 * * [simplify]: iteration done : 114 enodes (cost 8 ) 0.173 * [simplify]: Simplified to: (+ (- (exp x) 2.0) (exp (- x))) 0.174 * * [progress]: iteration 1 / 4 0.174 * * * [progress]: picking best candidate 0.175 * * * * [pick]: Picked # 0.175 * * * [progress]: localizing error 0.181 * * * [progress]: generating rewritten candidates 0.181 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.208 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.215 * * * [progress]: generating series expansions 0.215 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.215 * [approximate]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in (x) around 0 0.215 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in x 0.215 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.215 * [taylor]: Taking taylor expansion of (exp x) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.215 * [taylor]: Taking taylor expansion of (- x) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.216 * [taylor]: Taking taylor expansion of 2.0 in x 0.216 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in x 0.216 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.216 * [taylor]: Taking taylor expansion of (exp x) in x 0.216 * [taylor]: Taking taylor expansion of x in x 0.216 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.216 * [taylor]: Taking taylor expansion of (- x) in x 0.216 * [taylor]: Taking taylor expansion of x in x 0.217 * [taylor]: Taking taylor expansion of 2.0 in x 0.255 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in (x) around 0 0.255 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in x 0.255 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.255 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.255 * [taylor]: Taking taylor expansion of x in x 0.256 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.256 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.256 * [taylor]: Taking taylor expansion of x in x 0.256 * [taylor]: Taking taylor expansion of 2.0 in x 0.256 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in x 0.256 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.256 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.256 * [taylor]: Taking taylor expansion of x in x 0.257 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.257 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.257 * [taylor]: Taking taylor expansion of x in x 0.257 * [taylor]: Taking taylor expansion of 2.0 in x 0.267 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in (x) around 0 0.267 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 0.267 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.267 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.267 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.267 * [taylor]: Taking taylor expansion of x in x 0.267 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.267 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.267 * [taylor]: Taking taylor expansion of -1 in x 0.267 * [taylor]: Taking taylor expansion of x in x 0.268 * [taylor]: Taking taylor expansion of 2.0 in x 0.268 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 0.268 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.268 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.268 * [taylor]: Taking taylor expansion of x in x 0.268 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.268 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.268 * [taylor]: Taking taylor expansion of -1 in x 0.268 * [taylor]: Taking taylor expansion of x in x 0.268 * [taylor]: Taking taylor expansion of 2.0 in x 0.273 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.273 * [approximate]: Taking taylor expansion of (- (exp x) 2.0) in (x) around 0 0.273 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 0.273 * [taylor]: Taking taylor expansion of (exp x) in x 0.273 * [taylor]: Taking taylor expansion of x in x 0.273 * [taylor]: Taking taylor expansion of 2.0 in x 0.274 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 0.274 * [taylor]: Taking taylor expansion of (exp x) in x 0.274 * [taylor]: Taking taylor expansion of x in x 0.274 * [taylor]: Taking taylor expansion of 2.0 in x 0.277 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in (x) around 0 0.278 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 0.278 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.278 * [taylor]: Taking taylor expansion of x in x 0.278 * [taylor]: Taking taylor expansion of 2.0 in x 0.278 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 0.278 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.278 * [taylor]: Taking taylor expansion of x in x 0.278 * [taylor]: Taking taylor expansion of 2.0 in x 0.282 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in (x) around 0 0.282 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 0.282 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.282 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.282 * [taylor]: Taking taylor expansion of -1 in x 0.282 * [taylor]: Taking taylor expansion of x in x 0.282 * [taylor]: Taking taylor expansion of 2.0 in x 0.282 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 0.282 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.282 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.282 * [taylor]: Taking taylor expansion of -1 in x 0.282 * [taylor]: Taking taylor expansion of x in x 0.282 * [taylor]: Taking taylor expansion of 2.0 in x 0.286 * * * [progress]: simplifying candidates 0.287 * [simplify]: Simplifying using # : (expm1 (+ (- (exp x) 2.0) (exp (- x)))) (log1p (+ (- (exp x) 2.0) (exp (- x)))) (* (/ (exp (exp x)) (exp 2.0)) (exp (exp (- x)))) (* (exp (- (exp x) 2.0)) (exp (exp (- x)))) (log (+ (- (exp x) 2.0) (exp (- x)))) (exp (+ (- (exp x) 2.0) (exp (- x)))) (* (cbrt (+ (- (exp x) 2.0) (exp (- x)))) (cbrt (+ (- (exp x) 2.0) (exp (- x))))) (cbrt (+ (- (exp x) 2.0) (exp (- x)))) (* (* (+ (- (exp x) 2.0) (exp (- x))) (+ (- (exp x) 2.0) (exp (- x)))) (+ (- (exp x) 2.0) (exp (- x)))) (sqrt (+ (- (exp x) 2.0) (exp (- x)))) (sqrt (+ (- (exp x) 2.0) (exp (- x)))) (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) 1)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp x)) (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp 0))) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp x)) (+ (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (* (+ (exp x) 2.0) 1)) (* (+ (exp x) 2.0) (exp x)) (+ (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (* (+ (exp x) 2.0) (exp 0))) (* (+ (exp x) 2.0) (exp x)) (+ (pow (- (exp x) 2.0) 3) (pow (exp (- x)) 3)) (+ (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (* (exp (- x)) (exp (- x))) (* (- (exp x) 2.0) (exp (- x))))) (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (exp (- x)) (exp (- x)))) (- (- (exp x) 2.0) (exp (- x))) (+ (- (exp x) 2.0) (exp (- x))) (+ (- (exp x) 2.0) (exp (- x))) (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (exp (- x))) (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (exp (- x))) (+ (fma (- 2.0) 1 (* 2.0 1)) (exp (- x))) (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (exp (- x))) (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (exp (- x))) (+ (fma (- 2.0) 1 (* 2.0 1)) (exp (- x))) (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (exp (- x))) (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (exp (- x))) (+ (fma (- 2.0) 1 (* 2.0 1)) (exp (- x))) (+ (- 2.0) (exp (- x))) (+ (- 2.0) (exp (- x))) (- 2.0 (exp (- x))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))) (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 2.0) (sqrt 2.0)))) (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 2.0 1))) (fma (- 2.0) 1 (* 2.0 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))) (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 2.0) (sqrt 2.0)))) (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 2.0 1))) (fma (- 2.0) 1 (* 2.0 1)) (fma 1 (exp x) (- (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))) (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (fma 1 (exp x) (- (* (sqrt 2.0) (sqrt 2.0)))) (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (fma 1 (exp x) (- (* 2.0 1))) (fma (- 2.0) 1 (* 2.0 1)) (expm1 (- (exp x) 2.0)) (log1p (- (exp x) 2.0)) (- 2.0) (- 2.0) (- 2.0) (/ (exp (exp x)) (exp 2.0)) (log (- (exp x) 2.0)) (exp (- (exp x) 2.0)) (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))) (cbrt (- (exp x) 2.0)) (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0)) (sqrt (- (exp x) 2.0)) (sqrt (- (exp x) 2.0)) (- (pow (exp x) 3) (pow 2.0 3)) (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (- 2.0) (- (* (exp x) (exp x)) (* 2.0 2.0)) (+ (exp x) 2.0) (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (- (exp x) 2.0) (- 2.0) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (- (+ (exp x) (exp (- x))) 2.0) (- (+ (exp (* -1 x)) (exp x)) 2.0) (- (+ (* 1/2 (pow x 2)) x) 1.0) (- (exp x) 2.0) (- (exp x) 2.0) 0.290 * * [simplify]: iteration 0 : 124 enodes (cost 914 ) 0.314 * * [simplify]: iteration 1 : 283 enodes (cost 729 ) 0.392 * * [simplify]: iteration 2 : 715 enodes (cost 628 ) 0.702 * * [simplify]: iteration 3 : 2777 enodes (cost 595 ) 1.864 * * [simplify]: iteration done : 5000 enodes (cost 595 ) 1.864 * [simplify]: Simplified to: (expm1 (+ (- (exp x) 2.0) (exp (- x)))) (log1p (+ (- (exp x) 2.0) (exp (- x)))) (exp (+ (- (exp x) 2.0) (exp (- x)))) (exp (+ (- (exp x) 2.0) (exp (- x)))) (log (+ (- (exp x) 2.0) (exp (- x)))) (exp (+ (- (exp x) 2.0) (exp (- x)))) (* (cbrt (+ (- (exp x) 2.0) (exp (- x)))) (cbrt (+ (- (exp x) 2.0) (exp (- x))))) (cbrt (+ (- (exp x) 2.0) (exp (- x)))) (pow (- (+ (exp x) (exp (- x))) 2.0) 3) (sqrt (+ (- (exp x) 2.0) (exp (- x)))) (sqrt (+ (- (exp x) 2.0) (exp (- x)))) (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))) (* (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))) (exp x)) (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))) (* (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))) (exp x)) (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))) (* (+ (exp x) 2.0) (exp x)) (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))) (* (+ (exp x) 2.0) (exp x)) (+ (exp (* x -3)) (pow (- (exp x) 2.0) 3)) (- (exp (* x -2)) (* (- (exp x) 2.0) (- (exp (- x)) (- (exp x) 2.0)))) (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (exp (* x -2))) (- (- (exp x) 2.0) (exp (- x))) (+ (exp (- x)) (- (exp x) 2.0)) (+ (exp (- x)) (- (exp x) 2.0)) (+ (- (exp (- x)) 2.0) 2.0) (+ (- (exp (- x)) 2.0) 2.0) (+ (- (exp (- x)) 2.0) 2.0) (+ (- (exp (- x)) 2.0) 2.0) (+ (- (exp (- x)) 2.0) 2.0) (+ (- (exp (- x)) 2.0) 2.0) (+ (- (exp (- x)) 2.0) 2.0) (+ (- (exp (- x)) 2.0) 2.0) (+ (- (exp (- x)) 2.0) 2.0) (- (exp (- x)) 2.0) (- (exp (- x)) 2.0) (- 2.0 (exp (- x))) (- (pow (cbrt (exp x)) 3) 2.0) (- 2.0 2.0) (- (pow (cbrt (exp x)) 3) 2.0) (- 2.0 2.0) (- (pow (cbrt (exp x)) 3) 2.0) (- 2.0 2.0) (- (exp x) 2.0) (- 2.0 2.0) (- (exp x) 2.0) (- 2.0 2.0) (- (exp x) 2.0) (- 2.0 2.0) (- (exp x) 2.0) (- 2.0 2.0) (- (exp x) 2.0) (- 2.0 2.0) (- (exp x) 2.0) (- 2.0 2.0) (expm1 (- (exp x) 2.0)) (log1p (- (exp x) 2.0)) (- 2.0) (- 2.0) (- 2.0) (exp (- (exp x) 2.0)) (log (- (exp x) 2.0)) (exp (- (exp x) 2.0)) (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))) (cbrt (- (exp x) 2.0)) (pow (- (exp x) 2.0) 3) (sqrt (- (exp x) 2.0)) (sqrt (- (exp x) 2.0)) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))) (- 2.0) (- (exp (+ x x)) (* 2.0 2.0)) (+ (exp x) 2.0) (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (- (exp x) 2.0) (- 2.0) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (+ (exp (- x)) (- (exp x) 2.0)) (+ (exp (- x)) (- (exp x) 2.0)) (- (fma 1/2 (pow x 2) x) 1.0) (- (exp x) 2.0) (- (exp x) 2.0) 1.865 * * * [progress]: adding candidates to table 2.016 * * [progress]: iteration 2 / 4 2.016 * * * [progress]: picking best candidate 2.022 * * * * [pick]: Picked # 2.022 * * * [progress]: localizing error 2.031 * * * [progress]: generating rewritten candidates 2.031 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3 3) 2.037 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3) 2.038 * * * [progress]: generating series expansions 2.038 * * * * [progress]: [ 1 / 2 ] generating series at (2 3 3) 2.039 * [approximate]: Taking taylor expansion of (* 1/12 (pow x 4)) in (x) around 0 2.039 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 2.039 * [taylor]: Taking taylor expansion of 1/12 in x 2.039 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.039 * [taylor]: Taking taylor expansion of x in x 2.039 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 2.039 * [taylor]: Taking taylor expansion of 1/12 in x 2.039 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.039 * [taylor]: Taking taylor expansion of x in x 2.054 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 2.054 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 2.054 * [taylor]: Taking taylor expansion of 1/12 in x 2.054 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.054 * [taylor]: Taking taylor expansion of x in x 2.055 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 2.055 * [taylor]: Taking taylor expansion of 1/12 in x 2.055 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.055 * [taylor]: Taking taylor expansion of x in x 2.067 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 2.067 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 2.067 * [taylor]: Taking taylor expansion of 1/12 in x 2.067 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.067 * [taylor]: Taking taylor expansion of x in x 2.068 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 2.068 * [taylor]: Taking taylor expansion of 1/12 in x 2.068 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.068 * [taylor]: Taking taylor expansion of x in x 2.080 * * * * [progress]: [ 2 / 2 ] generating series at (2 3) 2.080 * [approximate]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in (x) around 0 2.080 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x 2.080 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 2.080 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 2.080 * [taylor]: Taking taylor expansion of 1/360 in x 2.080 * [taylor]: Taking taylor expansion of (pow x 6) in x 2.080 * [taylor]: Taking taylor expansion of x in x 2.080 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 2.080 * [taylor]: Taking taylor expansion of 1/12 in x 2.080 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.080 * [taylor]: Taking taylor expansion of x in x 2.080 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x 2.080 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 2.080 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 2.080 * [taylor]: Taking taylor expansion of 1/360 in x 2.080 * [taylor]: Taking taylor expansion of (pow x 6) in x 2.080 * [taylor]: Taking taylor expansion of x in x 2.080 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 2.080 * [taylor]: Taking taylor expansion of 1/12 in x 2.080 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.080 * [taylor]: Taking taylor expansion of x in x 2.114 * [approximate]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in (x) around 0 2.114 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x 2.114 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4))) 2.114 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x 2.114 * [taylor]: Taking taylor expansion of 1/360 in x 2.114 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x 2.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.114 * [taylor]: Taking taylor expansion of x in x 2.115 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 2.115 * [taylor]: Taking taylor expansion of 1/12 in x 2.115 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.115 * [taylor]: Taking taylor expansion of x in x 2.116 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x 2.116 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4))) 2.116 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x 2.116 * [taylor]: Taking taylor expansion of 1/360 in x 2.116 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x 2.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.116 * [taylor]: Taking taylor expansion of x in x 2.116 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 2.116 * [taylor]: Taking taylor expansion of 1/12 in x 2.116 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.116 * [taylor]: Taking taylor expansion of x in x 2.159 * [approximate]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in (x) around 0 2.159 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x 2.160 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4))) 2.160 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x 2.160 * [taylor]: Taking taylor expansion of 1/360 in x 2.160 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x 2.160 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.160 * [taylor]: Taking taylor expansion of -1 in x 2.160 * [taylor]: Taking taylor expansion of x in x 2.160 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 2.160 * [taylor]: Taking taylor expansion of 1/12 in x 2.160 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.160 * [taylor]: Taking taylor expansion of x in x 2.161 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x 2.161 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4))) 2.161 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x 2.161 * [taylor]: Taking taylor expansion of 1/360 in x 2.161 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x 2.161 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.161 * [taylor]: Taking taylor expansion of -1 in x 2.161 * [taylor]: Taking taylor expansion of x in x 2.161 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 2.162 * [taylor]: Taking taylor expansion of 1/12 in x 2.162 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.162 * [taylor]: Taking taylor expansion of x in x 2.205 * * * [progress]: simplifying candidates 2.206 * [simplify]: Simplifying using # : (expm1 (* 1/12 (pow x 4))) (log1p (* 1/12 (pow x 4))) (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (log (pow x 4))) (log (* 1/12 (pow x 4))) (exp (* 1/12 (pow x 4))) (* (* (* 1/12 1/12) 1/12) (* (* (pow x 4) (pow x 4)) (pow x 4))) (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4)))) (cbrt (* 1/12 (pow x 4))) (* (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4))) (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (* (sqrt 1/12) (pow (sqrt x) 4)) (* (sqrt 1/12) (pow (sqrt x) 4)) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (pow x (/ 4 2))) (* (sqrt 1/12) (pow x (/ 4 2))) (* 1/12 (pow (* (cbrt x) (cbrt x)) 4)) (* 1/12 (pow (sqrt x) 4)) (* 1/12 (pow 1 4)) (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 1/12 (sqrt (pow x 4))) (* 1/12 1) (* 1/12 (pow x (/ 4 2))) (* (cbrt 1/12) (pow x 4)) (* (sqrt 1/12) (pow x 4)) (* 1/12 (pow x 4)) (expm1 (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (log1p (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (* 1/360 (pow x 6)) (log (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (exp (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (* (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (* (* (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (sqrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (sqrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 2.208 * * [simplify]: iteration 0 : 67 enodes (cost 403 ) 2.223 * * [simplify]: iteration 1 : 126 enodes (cost 371 ) 2.245 * * [simplify]: iteration 2 : 284 enodes (cost 345 ) 2.407 * * [simplify]: iteration 3 : 1028 enodes (cost 342 ) 3.866 * * [simplify]: iteration 4 : 4792 enodes (cost 338 ) 5.930 * * [simplify]: iteration done : 5000 enodes (cost 338 ) 5.930 * [simplify]: Simplified to: (expm1 (* 1/12 (pow x 4))) (log1p (* 1/12 (pow x 4))) (log (* 1/12 (pow x 4))) (log (* 1/12 (pow x 4))) (log (* 1/12 (pow x 4))) (log (* 1/12 (pow x 4))) (exp (* 1/12 (pow x 4))) (* 1/1728 (pow x 12)) (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4)))) (cbrt (* 1/12 (pow x 4))) (* 1/1728 (pow x 12)) (sqrt (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (* (pow x 2) (sqrt 1/12)) (* (pow x 2) (sqrt 1/12)) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (sqrt (pow x 4))) (* (pow x 2) (sqrt 1/12)) (* (pow x 2) (sqrt 1/12)) (* 1/12 (pow (* (cbrt x) (cbrt x)) 4)) (* (pow x 2) 1/12) 1/12 (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 1/12 (sqrt (pow x 4))) 1/12 (* (pow x 2) 1/12) (* (cbrt 1/12) (pow x 4)) (* (sqrt 1/12) (pow x 4)) (* 1/12 (pow x 4)) (expm1 (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (log1p (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (* 1/360 (pow x 6)) (log (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (exp (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (* (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (pow (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) 3) (sqrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (sqrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) 5.931 * * * [progress]: adding candidates to table 6.033 * * [progress]: iteration 3 / 4 6.033 * * * [progress]: picking best candidate 6.037 * * * * [pick]: Picked # 6.037 * * * [progress]: localizing error 6.043 * * * [progress]: generating rewritten candidates 6.043 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 6.066 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 6.074 * * * [progress]: generating series expansions 6.074 * * * * [progress]: [ 1 / 2 ] generating series at (2) 6.074 * [approximate]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in (x) around 0 6.074 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in x 6.074 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.074 * [taylor]: Taking taylor expansion of (exp x) in x 6.074 * [taylor]: Taking taylor expansion of x in x 6.074 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.074 * [taylor]: Taking taylor expansion of (- x) in x 6.074 * [taylor]: Taking taylor expansion of x in x 6.075 * [taylor]: Taking taylor expansion of 2.0 in x 6.075 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in x 6.075 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.075 * [taylor]: Taking taylor expansion of (exp x) in x 6.075 * [taylor]: Taking taylor expansion of x in x 6.075 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.075 * [taylor]: Taking taylor expansion of (- x) in x 6.075 * [taylor]: Taking taylor expansion of x in x 6.076 * [taylor]: Taking taylor expansion of 2.0 in x 6.116 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in (x) around 0 6.116 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in x 6.116 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.116 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.116 * [taylor]: Taking taylor expansion of x in x 6.117 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.117 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.117 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.117 * [taylor]: Taking taylor expansion of x in x 6.117 * [taylor]: Taking taylor expansion of 2.0 in x 6.117 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in x 6.117 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.117 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.117 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.117 * [taylor]: Taking taylor expansion of x in x 6.118 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.118 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.118 * [taylor]: Taking taylor expansion of x in x 6.118 * [taylor]: Taking taylor expansion of 2.0 in x 6.123 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in (x) around 0 6.123 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 6.123 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 6.123 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.123 * [taylor]: Taking taylor expansion of x in x 6.124 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.124 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.124 * [taylor]: Taking taylor expansion of -1 in x 6.124 * [taylor]: Taking taylor expansion of x in x 6.124 * [taylor]: Taking taylor expansion of 2.0 in x 6.124 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 6.124 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 6.124 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.124 * [taylor]: Taking taylor expansion of x in x 6.124 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.124 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.124 * [taylor]: Taking taylor expansion of -1 in x 6.124 * [taylor]: Taking taylor expansion of x in x 6.125 * [taylor]: Taking taylor expansion of 2.0 in x 6.130 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 6.130 * [approximate]: Taking taylor expansion of (- 2.0 (exp (- x))) in (x) around 0 6.130 * [taylor]: Taking taylor expansion of (- 2.0 (exp (- x))) in x 6.130 * [taylor]: Taking taylor expansion of 2.0 in x 6.130 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.130 * [taylor]: Taking taylor expansion of (- x) in x 6.130 * [taylor]: Taking taylor expansion of x in x 6.135 * [taylor]: Taking taylor expansion of (- 2.0 (exp (- x))) in x 6.135 * [taylor]: Taking taylor expansion of 2.0 in x 6.135 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.135 * [taylor]: Taking taylor expansion of (- x) in x 6.135 * [taylor]: Taking taylor expansion of x in x 6.140 * [approximate]: Taking taylor expansion of (- 2.0 (exp (- (/ 1 x)))) in (x) around 0 6.140 * [taylor]: Taking taylor expansion of (- 2.0 (exp (- (/ 1 x)))) in x 6.140 * [taylor]: Taking taylor expansion of 2.0 in x 6.140 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.140 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.140 * [taylor]: Taking taylor expansion of x in x 6.140 * [taylor]: Taking taylor expansion of (- 2.0 (exp (- (/ 1 x)))) in x 6.140 * [taylor]: Taking taylor expansion of 2.0 in x 6.140 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.141 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.141 * [taylor]: Taking taylor expansion of x in x 6.144 * [approximate]: Taking taylor expansion of (- 2.0 (exp (/ 1 x))) in (x) around 0 6.144 * [taylor]: Taking taylor expansion of (- 2.0 (exp (/ 1 x))) in x 6.144 * [taylor]: Taking taylor expansion of 2.0 in x 6.144 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.144 * [taylor]: Taking taylor expansion of x in x 6.144 * [taylor]: Taking taylor expansion of (- 2.0 (exp (/ 1 x))) in x 6.144 * [taylor]: Taking taylor expansion of 2.0 in x 6.144 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.145 * [taylor]: Taking taylor expansion of x in x 6.148 * * * [progress]: simplifying candidates 6.149 * [simplify]: Simplifying using # : (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt (- 2.0 (exp (- x)))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x)))))))) (fma (- (cbrt (- 2.0 (exp (- x))))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x))))) (* (cbrt (- 2.0 (exp (- x)))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x))))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt (- 2.0 (exp (- x)))) (sqrt (- 2.0 (exp (- x))))))) (fma (- (sqrt (- 2.0 (exp (- x))))) (sqrt (- 2.0 (exp (- x)))) (* (sqrt (- 2.0 (exp (- x)))) (sqrt (- 2.0 (exp (- x)))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (- 2.0 (exp (- x))) 1))) (fma (- (- 2.0 (exp (- x)))) 1 (* (- 2.0 (exp (- x))) 1)) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (- (sqrt 2.0) (sqrt (exp (- x)))) (+ (sqrt 2.0) (sqrt (exp (- x))))))) (fma (- (- (sqrt 2.0) (sqrt (exp (- x))))) (+ (sqrt 2.0) (sqrt (exp (- x)))) (* (- (sqrt 2.0) (sqrt (exp (- x)))) (+ (sqrt 2.0) (sqrt (exp (- x)))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (- 2.0 (exp (- x))) 1))) (fma (- (- 2.0 (exp (- x)))) 1 (* (- 2.0 (exp (- x))) 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt (- 2.0 (exp (- x)))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x)))))))) (fma (- (cbrt (- 2.0 (exp (- x))))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x))))) (* (cbrt (- 2.0 (exp (- x)))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x))))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt (- 2.0 (exp (- x)))) (sqrt (- 2.0 (exp (- x))))))) (fma (- (sqrt (- 2.0 (exp (- x))))) (sqrt (- 2.0 (exp (- x)))) (* (sqrt (- 2.0 (exp (- x)))) (sqrt (- 2.0 (exp (- x)))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (- 2.0 (exp (- x))) 1))) (fma (- (- 2.0 (exp (- x)))) 1 (* (- 2.0 (exp (- x))) 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (- (sqrt 2.0) (sqrt (exp (- x)))) (+ (sqrt 2.0) (sqrt (exp (- x))))))) (fma (- (- (sqrt 2.0) (sqrt (exp (- x))))) (+ (sqrt 2.0) (sqrt (exp (- x)))) (* (- (sqrt 2.0) (sqrt (exp (- x)))) (+ (sqrt 2.0) (sqrt (exp (- x)))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (- 2.0 (exp (- x))) 1))) (fma (- (- 2.0 (exp (- x)))) 1 (* (- 2.0 (exp (- x))) 1)) (fma 1 (exp x) (- (* (cbrt (- 2.0 (exp (- x)))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x)))))))) (fma (- (cbrt (- 2.0 (exp (- x))))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x))))) (* (cbrt (- 2.0 (exp (- x)))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x))))))) (fma 1 (exp x) (- (* (sqrt (- 2.0 (exp (- x)))) (sqrt (- 2.0 (exp (- x))))))) (fma (- (sqrt (- 2.0 (exp (- x))))) (sqrt (- 2.0 (exp (- x)))) (* (sqrt (- 2.0 (exp (- x)))) (sqrt (- 2.0 (exp (- x)))))) (fma 1 (exp x) (- (* (- 2.0 (exp (- x))) 1))) (fma (- (- 2.0 (exp (- x)))) 1 (* (- 2.0 (exp (- x))) 1)) (fma 1 (exp x) (- (* (- (sqrt 2.0) (sqrt (exp (- x)))) (+ (sqrt 2.0) (sqrt (exp (- x))))))) (fma (- (- (sqrt 2.0) (sqrt (exp (- x))))) (+ (sqrt 2.0) (sqrt (exp (- x)))) (* (- (sqrt 2.0) (sqrt (exp (- x)))) (+ (sqrt 2.0) (sqrt (exp (- x)))))) (fma 1 (exp x) (- (* (- 2.0 (exp (- x))) 1))) (fma (- (- 2.0 (exp (- x)))) 1 (* (- 2.0 (exp (- x))) 1)) (expm1 (- (exp x) (- 2.0 (exp (- x))))) (log1p (- (exp x) (- 2.0 (exp (- x))))) (- (- 2.0 (exp (- x)))) (- (- 2.0 (exp (- x)))) (- (- 2.0 (exp (- x)))) (/ (exp (exp x)) (/ (exp 2.0) (exp (exp (- x))))) (/ (exp (exp x)) (exp (- 2.0 (exp (- x))))) (log (- (exp x) (- 2.0 (exp (- x))))) (exp (- (exp x) (- 2.0 (exp (- x))))) (* (cbrt (- (exp x) (- 2.0 (exp (- x))))) (cbrt (- (exp x) (- 2.0 (exp (- x)))))) (cbrt (- (exp x) (- 2.0 (exp (- x))))) (* (* (- (exp x) (- 2.0 (exp (- x)))) (- (exp x) (- 2.0 (exp (- x))))) (- (exp x) (- 2.0 (exp (- x))))) (sqrt (- (exp x) (- 2.0 (exp (- x))))) (sqrt (- (exp x) (- 2.0 (exp (- x))))) (- (pow (exp x) 3) (pow (- 2.0 (exp (- x))) 3)) (+ (* (exp x) (exp x)) (+ (* (- 2.0 (exp (- x))) (- 2.0 (exp (- x)))) (* (exp x) (- 2.0 (exp (- x)))))) (- (- 2.0 (exp (- x)))) (- (* (exp x) (exp x)) (* (- 2.0 (exp (- x))) (- 2.0 (exp (- x))))) (+ (exp x) (- 2.0 (exp (- x)))) (+ (sqrt (exp x)) (sqrt (- 2.0 (exp (- x))))) (- (sqrt (exp x)) (sqrt (- 2.0 (exp (- x))))) (- (exp x) (- 2.0 (exp (- x)))) (- (exp x) (- 2.0 (exp (- x)))) (- (exp x) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))) (- (exp x) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))) (- (exp x) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (exp (- x)) 1)))) (- (exp x) (fma (sqrt 2.0) (sqrt 2.0) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))) (- (exp x) (fma (sqrt 2.0) (sqrt 2.0) (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))) (- (exp x) (fma (sqrt 2.0) (sqrt 2.0) (- (* (exp (- x)) 1)))) (- (exp x) (fma 1 2.0 (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))) (- (exp x) (fma 1 2.0 (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))) (- (exp x) (fma 1 2.0 (- (* (exp (- x)) 1)))) (- (exp x) 2.0) (- (exp x) 2.0) (- (exp x) 2.0) (- (- 2.0 (exp (- x)))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma (sqrt 2.0) (sqrt 2.0) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma 1 2.0 (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma 1 2.0 (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma 1 2.0 (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (expm1 (- 2.0 (exp (- x)))) (log1p (- 2.0 (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (/ (exp 2.0) (exp (exp (- x)))) (log (- 2.0 (exp (- x)))) (exp (- 2.0 (exp (- x)))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x))))) (cbrt (- 2.0 (exp (- x)))) (* (* (- 2.0 (exp (- x))) (- 2.0 (exp (- x)))) (- 2.0 (exp (- x)))) (sqrt (- 2.0 (exp (- x)))) (sqrt (- 2.0 (exp (- x)))) (- (pow 2.0 3) (pow (exp (- x)) 3)) (+ (* 2.0 2.0) (+ (* (exp (- x)) (exp (- x))) (* 2.0 (exp (- x))))) (- (exp (- x))) (- (* 2.0 2.0) (* (exp (- x)) (exp (- x)))) (+ 2.0 (exp (- x))) (+ (sqrt 2.0) (sqrt (exp (- x)))) (- (sqrt 2.0) (sqrt (exp (- x)))) (- 2.0 (exp (- x))) (- (exp (- x))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (- (+ (exp x) (exp (- x))) 2.0) (- (+ (exp (* -1 x)) (exp x)) 2.0) (- (+ x 1.0) (* 1/2 (pow x 2))) (- 2.0 (exp (- x))) (- 2.0 (exp (* -1 x))) 6.154 * * [simplify]: iteration 0 : 149 enodes (cost 1666 ) 6.183 * * [simplify]: iteration 1 : 335 enodes (cost 1248 ) 6.287 * * [simplify]: iteration 2 : 875 enodes (cost 986 ) 6.954 * * [simplify]: iteration 3 : 3719 enodes (cost 912 ) 8.134 * * [simplify]: iteration done : 5000 enodes (cost 906 ) 8.135 * [simplify]: Simplified to: (+ (pow (cbrt (exp x)) 3) (- (exp (- x)) 2.0)) (* (- 2.0 (exp (- x))) 0) (+ (pow (cbrt (exp x)) 3) (- (exp (- x)) 2.0)) (* (- 2.0 (exp (- x))) 0) (+ (pow (cbrt (exp x)) 3) (- (exp (- x)) 2.0)) (* (- 2.0 (exp (- x))) 0) (fma (- (sqrt (exp (- x))) (sqrt 2.0)) (+ (sqrt 2.0) (sqrt (exp (- x)))) (pow (cbrt (exp x)) 3)) (* (- (+ (sqrt 2.0) (sqrt (exp (- x)))) (+ (sqrt 2.0) (sqrt (exp (- x))))) (- (sqrt 2.0) (sqrt (exp (- x))))) (+ (pow (cbrt (exp x)) 3) (- (exp (- x)) 2.0)) (* (- 2.0 (exp (- x))) 0) (- (+ (exp (- x)) (exp x)) 2.0) (* (- 2.0 (exp (- x))) 0) (- (+ (exp (- x)) (exp x)) 2.0) (* (- 2.0 (exp (- x))) 0) (- (+ (exp (- x)) (exp x)) 2.0) (* (- 2.0 (exp (- x))) 0) (fma (- (sqrt (exp (- x))) (sqrt 2.0)) (+ (sqrt 2.0) (sqrt (exp (- x)))) (exp x)) (* (- (+ (sqrt 2.0) (sqrt (exp (- x)))) (+ (sqrt 2.0) (sqrt (exp (- x))))) (- (sqrt 2.0) (sqrt (exp (- x))))) (- (+ (exp (- x)) (exp x)) 2.0) (* (- 2.0 (exp (- x))) 0) (- (+ (exp (- x)) (exp x)) 2.0) (* (- 2.0 (exp (- x))) 0) (- (+ (exp (- x)) (exp x)) 2.0) (* (- 2.0 (exp (- x))) 0) (- (+ (exp (- x)) (exp x)) 2.0) (* (- 2.0 (exp (- x))) 0) (fma (- (sqrt (exp (- x))) (sqrt 2.0)) (+ (sqrt 2.0) (sqrt (exp (- x)))) (exp x)) (* (- (+ (sqrt 2.0) (sqrt (exp (- x)))) (+ (sqrt 2.0) (sqrt (exp (- x))))) (- (sqrt 2.0) (sqrt (exp (- x))))) (- (+ (exp (- x)) (exp x)) 2.0) (* (- 2.0 (exp (- x))) 0) (expm1 (- (exp x) (- 2.0 (exp (- x))))) (log1p (- (exp x) (- 2.0 (exp (- x))))) (- (exp (- x)) 2.0) (- (exp (- x)) 2.0) (- (exp (- x)) 2.0) (exp (- (exp x) (- 2.0 (exp (- x))))) (exp (- (exp x) (- 2.0 (exp (- x))))) (log (- (exp x) (- 2.0 (exp (- x))))) (exp (- (exp x) (- 2.0 (exp (- x))))) (* (cbrt (- (exp x) (- 2.0 (exp (- x))))) (cbrt (- (exp x) (- 2.0 (exp (- x)))))) (cbrt (- (exp x) (- 2.0 (exp (- x))))) (pow (+ (- (exp x) 2.0) (exp (- x))) 3) (sqrt (- (exp x) (- 2.0 (exp (- x))))) (sqrt (- (exp x) (- 2.0 (exp (- x))))) (- (pow (exp x) 3) (pow (- 2.0 (exp (- x))) 3)) (fma (- 2.0 (exp (- x))) (+ (exp x) (- 2.0 (exp (- x)))) (exp (+ x x))) (- (exp (- x)) 2.0) (- (exp (+ x x)) (pow (cbrt (- 2.0 (exp (- x)))) 6)) (+ (exp x) (- 2.0 (exp (- x)))) (+ (sqrt (exp x)) (sqrt (- 2.0 (exp (- x))))) (- (sqrt (exp x)) (sqrt (- 2.0 (exp (- x))))) (- (+ (exp (- x)) (exp x)) 2.0) (- (+ (exp (- x)) (exp x)) 2.0) (- (exp x) (- (pow (cbrt 2.0) 3) (exp (- x)))) (- (exp x) (- (pow (cbrt 2.0) 3) (exp (- x)))) (- (exp x) (- (pow (cbrt 2.0) 3) (exp (- x)))) (- (+ (exp (- x)) (exp x)) 2.0) (- (+ (exp (- x)) (exp x)) 2.0) (- (+ (exp (- x)) (exp x)) 2.0) (- (+ (exp (- x)) (exp x)) 2.0) (- (+ (exp (- x)) (exp x)) 2.0) (- (+ (exp (- x)) (exp x)) 2.0) (- (exp x) 2.0) (- (exp x) 2.0) (- (exp x) 2.0) (- (exp (- x)) 2.0) (- (pow (cbrt 2.0) 3) (exp (- x))) (/ 0 (exp x)) (- (pow (cbrt 2.0) 3) (exp (- x))) (/ 0 (exp x)) (- (pow (cbrt 2.0) 3) (exp (- x))) (/ 0 (exp x)) (- 2.0 (exp (- x))) (/ 0 (exp x)) (- 2.0 (exp (- x))) (/ 0 (exp x)) (- 2.0 (exp (- x))) (/ 0 (exp x)) (- 2.0 (exp (- x))) (/ 0 (exp x)) (- 2.0 (exp (- x))) (/ 0 (exp x)) (- 2.0 (exp (- x))) (/ 0 (exp x)) (expm1 (- 2.0 (exp (- x)))) (log1p (- 2.0 (exp (- x)))) (/ -1 (exp x)) (/ -1 (exp x)) (/ -1 (exp x)) (exp (- 2.0 (exp (- x)))) (log (- 2.0 (exp (- x)))) (exp (- 2.0 (exp (- x)))) (* (cbrt (- 2.0 (exp (- x)))) (cbrt (- 2.0 (exp (- x))))) (cbrt (- 2.0 (exp (- x)))) (pow (- 2.0 (exp (- x))) 3) (sqrt (- 2.0 (exp (- x)))) (sqrt (- 2.0 (exp (- x)))) (- (pow 2.0 3) (exp (* x -3))) (fma 2.0 2.0 (/ (+ 2.0 (exp (- x))) (exp x))) (/ -1 (exp x)) (- (* 2.0 2.0) (exp (* x -2))) (+ 2.0 (exp (- x))) (+ (sqrt 2.0) (sqrt (exp (- x)))) (- (sqrt 2.0) (sqrt (exp (- x)))) (- 2.0 (exp (- x))) (/ -1 (exp x)) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (- (+ (exp (- x)) (exp x)) 2.0) (- (+ (exp (- x)) (exp x)) 2.0) (fma -1/2 (pow x 2) (+ x 1.0)) (- 2.0 (exp (- x))) (- 2.0 (exp (- x))) 8.136 * * * [progress]: adding candidates to table 8.272 * * [progress]: iteration 4 / 4 8.272 * * * [progress]: picking best candidate 8.274 * * * * [pick]: Picked # 8.274 * * * [progress]: localizing error 8.285 * * * [progress]: generating rewritten candidates 8.285 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 8.285 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 8.295 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 8.302 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 8.307 * * * [progress]: generating series expansions 8.307 * * * * [progress]: [ 1 / 4 ] generating series at (2) 8.308 * [approximate]: Taking taylor expansion of (fma (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (exp (- x))) in (x) around 0 8.308 * [taylor]: Taking taylor expansion of (fma (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (exp (- x))) in x 8.308 * [taylor]: Rewrote expression to (+ (* (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0))) (exp (- x))) 8.308 * [taylor]: Taking taylor expansion of (* (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0))) in x 8.308 * [taylor]: Taking taylor expansion of (+ (sqrt (exp x)) (sqrt 2.0)) in x 8.308 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 8.308 * [taylor]: Taking taylor expansion of (exp x) in x 8.308 * [taylor]: Taking taylor expansion of x in x 8.310 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.310 * [taylor]: Taking taylor expansion of 2.0 in x 8.311 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 2.0)) in x 8.311 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 8.311 * [taylor]: Taking taylor expansion of (exp x) in x 8.311 * [taylor]: Taking taylor expansion of x in x 8.312 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.312 * [taylor]: Taking taylor expansion of 2.0 in x 8.313 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.313 * [taylor]: Taking taylor expansion of (- x) in x 8.313 * [taylor]: Taking taylor expansion of x in x 8.313 * [taylor]: Taking taylor expansion of (fma (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (exp (- x))) in x 8.313 * [taylor]: Rewrote expression to (+ (* (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0))) (exp (- x))) 8.314 * [taylor]: Taking taylor expansion of (* (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0))) in x 8.314 * [taylor]: Taking taylor expansion of (+ (sqrt (exp x)) (sqrt 2.0)) in x 8.314 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 8.314 * [taylor]: Taking taylor expansion of (exp x) in x 8.314 * [taylor]: Taking taylor expansion of x in x 8.315 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.315 * [taylor]: Taking taylor expansion of 2.0 in x 8.315 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 2.0)) in x 8.315 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 8.315 * [taylor]: Taking taylor expansion of (exp x) in x 8.316 * [taylor]: Taking taylor expansion of x in x 8.317 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.317 * [taylor]: Taking taylor expansion of 2.0 in x 8.317 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.317 * [taylor]: Taking taylor expansion of (- x) in x 8.317 * [taylor]: Taking taylor expansion of x in x 8.378 * [approximate]: Taking taylor expansion of (fma (+ (sqrt (exp (/ 1 x))) (sqrt 2.0)) (- (sqrt (exp (/ 1 x))) (sqrt 2.0)) (exp (- (/ 1 x)))) in (x) around 0 8.378 * [taylor]: Taking taylor expansion of (fma (+ (sqrt (exp (/ 1 x))) (sqrt 2.0)) (- (sqrt (exp (/ 1 x))) (sqrt 2.0)) (exp (- (/ 1 x)))) in x 8.378 * [taylor]: Rewrote expression to (+ (* (+ (sqrt (exp (/ 1 x))) (sqrt 2.0)) (- (sqrt (exp (/ 1 x))) (sqrt 2.0))) (exp (- (/ 1 x)))) 8.378 * [taylor]: Taking taylor expansion of (* (+ (sqrt (exp (/ 1 x))) (sqrt 2.0)) (- (sqrt (exp (/ 1 x))) (sqrt 2.0))) in x 8.378 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 x))) (sqrt 2.0)) in x 8.378 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 8.378 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.378 * [taylor]: Taking taylor expansion of x in x 8.379 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.379 * [taylor]: Taking taylor expansion of 2.0 in x 8.379 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 2.0)) in x 8.379 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 8.379 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.379 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.379 * [taylor]: Taking taylor expansion of x in x 8.380 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.380 * [taylor]: Taking taylor expansion of 2.0 in x 8.380 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.380 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.380 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.381 * [taylor]: Taking taylor expansion of x in x 8.381 * [taylor]: Taking taylor expansion of (fma (+ (sqrt (exp (/ 1 x))) (sqrt 2.0)) (- (sqrt (exp (/ 1 x))) (sqrt 2.0)) (exp (- (/ 1 x)))) in x 8.381 * [taylor]: Rewrote expression to (+ (* (+ (sqrt (exp (/ 1 x))) (sqrt 2.0)) (- (sqrt (exp (/ 1 x))) (sqrt 2.0))) (exp (- (/ 1 x)))) 8.381 * [taylor]: Taking taylor expansion of (* (+ (sqrt (exp (/ 1 x))) (sqrt 2.0)) (- (sqrt (exp (/ 1 x))) (sqrt 2.0))) in x 8.381 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 x))) (sqrt 2.0)) in x 8.381 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 8.381 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.381 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.381 * [taylor]: Taking taylor expansion of x in x 8.382 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.382 * [taylor]: Taking taylor expansion of 2.0 in x 8.382 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 2.0)) in x 8.382 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 8.382 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.382 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.382 * [taylor]: Taking taylor expansion of x in x 8.383 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.383 * [taylor]: Taking taylor expansion of 2.0 in x 8.384 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.384 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.384 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.384 * [taylor]: Taking taylor expansion of x in x 8.414 * [approximate]: Taking taylor expansion of (fma (+ (sqrt (exp (/ -1 x))) (sqrt 2.0)) (- (sqrt (exp (/ -1 x))) (sqrt 2.0)) (exp (/ 1 x))) in (x) around 0 8.414 * [taylor]: Taking taylor expansion of (fma (+ (sqrt (exp (/ -1 x))) (sqrt 2.0)) (- (sqrt (exp (/ -1 x))) (sqrt 2.0)) (exp (/ 1 x))) in x 8.414 * [taylor]: Rewrote expression to (+ (* (+ (sqrt (exp (/ -1 x))) (sqrt 2.0)) (- (sqrt (exp (/ -1 x))) (sqrt 2.0))) (exp (/ 1 x))) 8.414 * [taylor]: Taking taylor expansion of (* (+ (sqrt (exp (/ -1 x))) (sqrt 2.0)) (- (sqrt (exp (/ -1 x))) (sqrt 2.0))) in x 8.414 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ -1 x))) (sqrt 2.0)) in x 8.414 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 8.414 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.414 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.414 * [taylor]: Taking taylor expansion of -1 in x 8.414 * [taylor]: Taking taylor expansion of x in x 8.414 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.414 * [taylor]: Taking taylor expansion of 2.0 in x 8.415 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 2.0)) in x 8.415 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 8.415 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.415 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.415 * [taylor]: Taking taylor expansion of -1 in x 8.415 * [taylor]: Taking taylor expansion of x in x 8.416 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.416 * [taylor]: Taking taylor expansion of 2.0 in x 8.422 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.422 * [taylor]: Taking taylor expansion of x in x 8.423 * [taylor]: Taking taylor expansion of (fma (+ (sqrt (exp (/ -1 x))) (sqrt 2.0)) (- (sqrt (exp (/ -1 x))) (sqrt 2.0)) (exp (/ 1 x))) in x 8.423 * [taylor]: Rewrote expression to (+ (* (+ (sqrt (exp (/ -1 x))) (sqrt 2.0)) (- (sqrt (exp (/ -1 x))) (sqrt 2.0))) (exp (/ 1 x))) 8.423 * [taylor]: Taking taylor expansion of (* (+ (sqrt (exp (/ -1 x))) (sqrt 2.0)) (- (sqrt (exp (/ -1 x))) (sqrt 2.0))) in x 8.423 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ -1 x))) (sqrt 2.0)) in x 8.423 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 8.423 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.423 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.423 * [taylor]: Taking taylor expansion of -1 in x 8.423 * [taylor]: Taking taylor expansion of x in x 8.424 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.424 * [taylor]: Taking taylor expansion of 2.0 in x 8.424 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 2.0)) in x 8.424 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 8.424 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.424 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.424 * [taylor]: Taking taylor expansion of -1 in x 8.425 * [taylor]: Taking taylor expansion of x in x 8.425 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.425 * [taylor]: Taking taylor expansion of 2.0 in x 8.426 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.426 * [taylor]: Taking taylor expansion of x in x 8.455 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 8.455 * [approximate]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 2.0)) in (x) around 0 8.455 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 2.0)) in x 8.455 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 8.455 * [taylor]: Taking taylor expansion of (exp x) in x 8.455 * [taylor]: Taking taylor expansion of x in x 8.457 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.457 * [taylor]: Taking taylor expansion of 2.0 in x 8.457 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 2.0)) in x 8.457 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 8.457 * [taylor]: Taking taylor expansion of (exp x) in x 8.457 * [taylor]: Taking taylor expansion of x in x 8.459 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.459 * [taylor]: Taking taylor expansion of 2.0 in x 8.465 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 2.0)) in (x) around 0 8.465 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 2.0)) in x 8.465 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 8.465 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.466 * [taylor]: Taking taylor expansion of x in x 8.466 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.466 * [taylor]: Taking taylor expansion of 2.0 in x 8.467 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 2.0)) in x 8.467 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 8.467 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.467 * [taylor]: Taking taylor expansion of x in x 8.467 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.467 * [taylor]: Taking taylor expansion of 2.0 in x 8.478 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 2.0)) in (x) around 0 8.478 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 2.0)) in x 8.478 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 8.478 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.478 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.478 * [taylor]: Taking taylor expansion of -1 in x 8.478 * [taylor]: Taking taylor expansion of x in x 8.479 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.479 * [taylor]: Taking taylor expansion of 2.0 in x 8.480 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 2.0)) in x 8.480 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 8.480 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.480 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.480 * [taylor]: Taking taylor expansion of -1 in x 8.480 * [taylor]: Taking taylor expansion of x in x 8.480 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.480 * [taylor]: Taking taylor expansion of 2.0 in x 8.491 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 8.491 * [approximate]: Taking taylor expansion of (+ (sqrt (exp x)) (sqrt 2.0)) in (x) around 0 8.491 * [taylor]: Taking taylor expansion of (+ (sqrt (exp x)) (sqrt 2.0)) in x 8.491 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 8.492 * [taylor]: Taking taylor expansion of (exp x) in x 8.492 * [taylor]: Taking taylor expansion of x in x 8.493 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.493 * [taylor]: Taking taylor expansion of 2.0 in x 8.493 * [taylor]: Taking taylor expansion of (+ (sqrt (exp x)) (sqrt 2.0)) in x 8.493 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 8.493 * [taylor]: Taking taylor expansion of (exp x) in x 8.493 * [taylor]: Taking taylor expansion of x in x 8.495 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.495 * [taylor]: Taking taylor expansion of 2.0 in x 8.500 * [approximate]: Taking taylor expansion of (+ (sqrt (exp (/ 1 x))) (sqrt 2.0)) in (x) around 0 8.500 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 x))) (sqrt 2.0)) in x 8.500 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 8.500 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.500 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.500 * [taylor]: Taking taylor expansion of x in x 8.501 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.501 * [taylor]: Taking taylor expansion of 2.0 in x 8.501 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 x))) (sqrt 2.0)) in x 8.501 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 8.501 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.501 * [taylor]: Taking taylor expansion of x in x 8.502 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.502 * [taylor]: Taking taylor expansion of 2.0 in x 8.518 * [approximate]: Taking taylor expansion of (+ (sqrt (exp (/ -1 x))) (sqrt 2.0)) in (x) around 0 8.518 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ -1 x))) (sqrt 2.0)) in x 8.518 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 8.518 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.518 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.518 * [taylor]: Taking taylor expansion of -1 in x 8.518 * [taylor]: Taking taylor expansion of x in x 8.519 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.519 * [taylor]: Taking taylor expansion of 2.0 in x 8.519 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ -1 x))) (sqrt 2.0)) in x 8.519 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 8.519 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.519 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.519 * [taylor]: Taking taylor expansion of -1 in x 8.519 * [taylor]: Taking taylor expansion of x in x 8.520 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 8.520 * [taylor]: Taking taylor expansion of 2.0 in x 8.529 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 8.529 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 8.529 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 8.529 * [taylor]: Taking taylor expansion of (exp x) in x 8.529 * [taylor]: Taking taylor expansion of x in x 8.530 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 8.530 * [taylor]: Taking taylor expansion of (exp x) in x 8.530 * [taylor]: Taking taylor expansion of x in x 8.533 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 8.533 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 8.533 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.533 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.533 * [taylor]: Taking taylor expansion of x in x 8.534 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 8.534 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.534 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.534 * [taylor]: Taking taylor expansion of x in x 8.537 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 8.537 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 8.537 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.537 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.537 * [taylor]: Taking taylor expansion of -1 in x 8.537 * [taylor]: Taking taylor expansion of x in x 8.537 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 8.537 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.537 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.537 * [taylor]: Taking taylor expansion of -1 in x 8.537 * [taylor]: Taking taylor expansion of x in x 8.541 * * * [progress]: simplifying candidates 8.542 * [simplify]: Simplifying using # : (expm1 (fma (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (exp (- x)))) (log1p (fma (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (exp (- x)))) (* (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0))) (log (fma (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (exp (- x)))) (exp (fma (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (exp (- x)))) (* (cbrt (fma (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (exp (- x)))) (cbrt (fma (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (exp (- x))))) (cbrt (fma (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (exp (- x)))) (* (* (fma (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (exp (- x))) (fma (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (exp (- x)))) (fma (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (exp (- x)))) (sqrt (fma (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (exp (- x)))) (sqrt (fma (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (exp (- x)))) (fma (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (- (* (cbrt (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))) (fma (- (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (fma (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (- (* (sqrt (cbrt 2.0)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))) (fma (- (sqrt (cbrt 2.0))) (sqrt (* (cbrt 2.0) (cbrt 2.0))) (* (sqrt (cbrt 2.0)) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (fma (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (- (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))))) (fma (- (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0)))) (fma (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (- (* (sqrt 2.0) (sqrt 1)))) (fma (- (sqrt 2.0)) (sqrt 1) (* (sqrt 2.0) (sqrt 1))) (fma (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (- (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))))) (fma (- (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0)))) (fma (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (- (* (sqrt 2.0) 1))) (fma (- (sqrt 2.0)) 1 (* (sqrt 2.0) 1)) (fma (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (- (* (cbrt (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))) (fma (- (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (fma (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (- (* (sqrt (cbrt 2.0)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))) (fma (- (sqrt (cbrt 2.0))) (sqrt (* (cbrt 2.0) (cbrt 2.0))) (* (sqrt (cbrt 2.0)) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (fma (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (- (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))))) (fma (- (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0)))) (fma (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (- (* (sqrt 2.0) (sqrt 1)))) (fma (- (sqrt 2.0)) (sqrt 1) (* (sqrt 2.0) (sqrt 1))) (fma (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (- (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))))) (fma (- (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0)))) (fma (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (- (* (sqrt 2.0) 1))) (fma (- (sqrt 2.0)) 1 (* (sqrt 2.0) 1)) (fma (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (- (* (cbrt (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))) (fma (- (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (fma (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (- (* (sqrt (cbrt 2.0)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))) (fma (- (sqrt (cbrt 2.0))) (sqrt (* (cbrt 2.0) (cbrt 2.0))) (* (sqrt (cbrt 2.0)) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (fma (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (- (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))))) (fma (- (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0)))) (fma (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (- (* (sqrt 2.0) (sqrt 1)))) (fma (- (sqrt 2.0)) (sqrt 1) (* (sqrt 2.0) (sqrt 1))) (fma (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (- (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))))) (fma (- (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0)))) (fma (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (- (* (sqrt 2.0) 1))) (fma (- (sqrt 2.0)) 1 (* (sqrt 2.0) 1)) (fma (sqrt 1) (sqrt (exp x)) (- (* (cbrt (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))) (fma (- (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (fma (sqrt 1) (sqrt (exp x)) (- (* (sqrt (cbrt 2.0)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))) (fma (- (sqrt (cbrt 2.0))) (sqrt (* (cbrt 2.0) (cbrt 2.0))) (* (sqrt (cbrt 2.0)) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (fma (sqrt 1) (sqrt (exp x)) (- (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))))) (fma (- (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0)))) (fma (sqrt 1) (sqrt (exp x)) (- (* (sqrt 2.0) (sqrt 1)))) (fma (- (sqrt 2.0)) (sqrt 1) (* (sqrt 2.0) (sqrt 1))) (fma (sqrt 1) (sqrt (exp x)) (- (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))))) (fma (- (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0)))) (fma (sqrt 1) (sqrt (exp x)) (- (* (sqrt 2.0) 1))) (fma (- (sqrt 2.0)) 1 (* (sqrt 2.0) 1)) (fma (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (- (* (cbrt (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))) (fma (- (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (fma (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (- (* (sqrt (cbrt 2.0)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))) (fma (- (sqrt (cbrt 2.0))) (sqrt (* (cbrt 2.0) (cbrt 2.0))) (* (sqrt (cbrt 2.0)) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (fma (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (- (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))))) (fma (- (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0)))) (fma (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (- (* (sqrt 2.0) (sqrt 1)))) (fma (- (sqrt 2.0)) (sqrt 1) (* (sqrt 2.0) (sqrt 1))) (fma (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (- (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))))) (fma (- (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0)))) (fma (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (- (* (sqrt 2.0) 1))) (fma (- (sqrt 2.0)) 1 (* (sqrt 2.0) 1)) (fma 1 (sqrt (exp x)) (- (* (cbrt (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))) (fma (- (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (fma 1 (sqrt (exp x)) (- (* (sqrt (cbrt 2.0)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))) (fma (- (sqrt (cbrt 2.0))) (sqrt (* (cbrt 2.0) (cbrt 2.0))) (* (sqrt (cbrt 2.0)) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (fma 1 (sqrt (exp x)) (- (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))))) (fma (- (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0)))) (fma 1 (sqrt (exp x)) (- (* (sqrt 2.0) (sqrt 1)))) (fma (- (sqrt 2.0)) (sqrt 1) (* (sqrt 2.0) (sqrt 1))) (fma 1 (sqrt (exp x)) (- (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))))) (fma (- (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0)))) (fma 1 (sqrt (exp x)) (- (* (sqrt 2.0) 1))) (fma (- (sqrt 2.0)) 1 (* (sqrt 2.0) 1)) (expm1 (- (sqrt (exp x)) (sqrt 2.0))) (log1p (- (sqrt (exp x)) (sqrt 2.0))) (- (sqrt 2.0)) (- (sqrt 2.0)) (- (sqrt 2.0)) (- (sqrt 2.0)) (- (sqrt 2.0)) (- (sqrt 2.0)) (/ (exp (sqrt (exp x))) (exp (sqrt 2.0))) (log (- (sqrt (exp x)) (sqrt 2.0))) (exp (- (sqrt (exp x)) (sqrt 2.0))) (* (cbrt (- (sqrt (exp x)) (sqrt 2.0))) (cbrt (- (sqrt (exp x)) (sqrt 2.0)))) (cbrt (- (sqrt (exp x)) (sqrt 2.0))) (* (* (- (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0))) (- (sqrt (exp x)) (sqrt 2.0))) (sqrt (- (sqrt (exp x)) (sqrt 2.0))) (sqrt (- (sqrt (exp x)) (sqrt 2.0))) (- (pow (sqrt (exp x)) 3) (pow (sqrt 2.0) 3)) (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt 2.0) (sqrt 2.0)) (* (sqrt (exp x)) (sqrt 2.0)))) (- (sqrt 2.0)) (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt 2.0) (sqrt 2.0))) (+ (sqrt (exp x)) (sqrt 2.0)) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 2.0))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 2.0))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 2.0))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 2.0))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 2.0))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 2.0))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 2.0))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 2.0))) (- (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (- (sqrt 2.0)) (expm1 (+ (sqrt (exp x)) (sqrt 2.0))) (log1p (+ (sqrt (exp x)) (sqrt 2.0))) (* (exp (sqrt (exp x))) (exp (sqrt 2.0))) (log (+ (sqrt (exp x)) (sqrt 2.0))) (exp (+ (sqrt (exp x)) (sqrt 2.0))) (* (cbrt (+ (sqrt (exp x)) (sqrt 2.0))) (cbrt (+ (sqrt (exp x)) (sqrt 2.0)))) (cbrt (+ (sqrt (exp x)) (sqrt 2.0))) (* (* (+ (sqrt (exp x)) (sqrt 2.0)) (+ (sqrt (exp x)) (sqrt 2.0))) (+ (sqrt (exp x)) (sqrt 2.0))) (sqrt (+ (sqrt (exp x)) (sqrt 2.0))) (sqrt (+ (sqrt (exp x)) (sqrt 2.0))) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 2.0) 3)) (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (* (sqrt 2.0) (sqrt 2.0)) (* (sqrt (exp x)) (sqrt 2.0)))) (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt 2.0) (sqrt 2.0))) (- (sqrt (exp x)) (sqrt 2.0)) (+ (sqrt (exp x)) (sqrt 2.0)) (+ (sqrt (exp x)) (sqrt 2.0)) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (sqrt 1) (sqrt (exp x)) (/ 1 2) (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (- (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (pow (sqrt 2.0) 2)) (- (+ (exp x) (exp (- x))) (pow (sqrt 2.0) 2)) (- (+ (exp (* -1 x)) (exp x)) (pow (sqrt 2.0) 2)) (- (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) (+ (sqrt 2.0) 1))) (+ (sqrt (exp x)) (sqrt 2.0)) (+ (sqrt (exp x)) (sqrt 2.0)) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt (exp x)) (sqrt (exp x)) 8.548 * * [simplify]: iteration 0 : 154 enodes (cost 2006 ) 8.581 * * [simplify]: iteration 1 : 314 enodes (cost 1431 ) 8.650 * * [simplify]: iteration 2 : 696 enodes (cost 1130 ) 9.079 * * [simplify]: iteration 3 : 2537 enodes (cost 992 ) 10.097 * * [simplify]: iteration done : 5001 enodes (cost 986 ) 10.102 * [simplify]: Simplified to: (expm1 (+ (- (exp x) 2.0) (exp (- x)))) (log1p (+ (- (exp x) 2.0) (exp (- x)))) (- (exp x) 2.0) (log (+ (- (exp x) 2.0) (exp (- x)))) (exp (+ (- (exp x) 2.0) (exp (- x)))) (* (cbrt (+ (- (exp x) 2.0) (exp (- x)))) (cbrt (+ (- (exp x) 2.0) (exp (- x))))) (cbrt (+ (- (exp x) 2.0) (exp (- x)))) (pow (+ (- (exp x) 2.0) (exp (- x))) 3) (sqrt (+ (- (exp x) 2.0) (exp (- x)))) (sqrt (+ (- (exp x) 2.0) (exp (- x)))) (- (pow (cbrt (sqrt (exp x))) 3) (sqrt 2.0)) 0 (fma (sqrt (cbrt 2.0)) (- (fabs (cbrt 2.0))) (pow (cbrt (sqrt (exp x))) 3)) (* (sqrt (cbrt 2.0)) (- (fabs (cbrt 2.0)) (fabs (cbrt 2.0)))) (- (pow (cbrt (sqrt (exp x))) 3) (sqrt 2.0)) 0 (- (pow (cbrt (sqrt (exp x))) 3) (sqrt 2.0)) 0 (- (pow (cbrt (sqrt (exp x))) 3) (sqrt 2.0)) 0 (- (pow (cbrt (sqrt (exp x))) 3) (sqrt 2.0)) 0 (fma (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (- (sqrt 2.0))) 0 (fma (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (- (* (sqrt (cbrt 2.0)) (fabs (cbrt 2.0))))) (* (sqrt (cbrt 2.0)) (- (fabs (cbrt 2.0)) (fabs (cbrt 2.0)))) (fma (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (- (sqrt 2.0))) 0 (fma (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (- (sqrt 2.0))) 0 (fma (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (- (sqrt 2.0))) 0 (fma (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (- (sqrt 2.0))) 0 (- (sqrt (exp x)) (sqrt 2.0)) 0 (- (sqrt (exp x)) (* (sqrt (cbrt 2.0)) (fabs (cbrt 2.0)))) (* (sqrt (cbrt 2.0)) (- (fabs (cbrt 2.0)) (fabs (cbrt 2.0)))) (- (sqrt (exp x)) (sqrt 2.0)) 0 (- (sqrt (exp x)) (sqrt 2.0)) 0 (- (sqrt (exp x)) (sqrt 2.0)) 0 (- (sqrt (exp x)) (sqrt 2.0)) 0 (- (sqrt (exp x)) (sqrt 2.0)) 0 (- (sqrt (exp x)) (* (sqrt (cbrt 2.0)) (fabs (cbrt 2.0)))) (* (sqrt (cbrt 2.0)) (- (fabs (cbrt 2.0)) (fabs (cbrt 2.0)))) (- (sqrt (exp x)) (sqrt 2.0)) 0 (- (sqrt (exp x)) (sqrt 2.0)) 0 (- (sqrt (exp x)) (sqrt 2.0)) 0 (- (sqrt (exp x)) (sqrt 2.0)) 0 (- (sqrt (exp x)) (sqrt 2.0)) 0 (- (sqrt (exp x)) (* (sqrt (cbrt 2.0)) (fabs (cbrt 2.0)))) (* (sqrt (cbrt 2.0)) (- (fabs (cbrt 2.0)) (fabs (cbrt 2.0)))) (- (sqrt (exp x)) (sqrt 2.0)) 0 (- (sqrt (exp x)) (sqrt 2.0)) 0 (- (sqrt (exp x)) (sqrt 2.0)) 0 (- (sqrt (exp x)) (sqrt 2.0)) 0 (- (sqrt (exp x)) (sqrt 2.0)) 0 (- (sqrt (exp x)) (* (sqrt (cbrt 2.0)) (fabs (cbrt 2.0)))) (* (sqrt (cbrt 2.0)) (- (fabs (cbrt 2.0)) (fabs (cbrt 2.0)))) (- (sqrt (exp x)) (sqrt 2.0)) 0 (- (sqrt (exp x)) (sqrt 2.0)) 0 (- (sqrt (exp x)) (sqrt 2.0)) 0 (- (sqrt (exp x)) (sqrt 2.0)) 0 (expm1 (- (sqrt (exp x)) (sqrt 2.0))) (log1p (- (sqrt (exp x)) (sqrt 2.0))) (- (sqrt 2.0)) (- (sqrt 2.0)) (- (sqrt 2.0)) (- (sqrt 2.0)) (- (sqrt 2.0)) (- (sqrt 2.0)) (exp (- (sqrt (exp x)) (sqrt 2.0))) (log (- (sqrt (exp x)) (sqrt 2.0))) (exp (- (sqrt (exp x)) (sqrt 2.0))) (* (cbrt (- (sqrt (exp x)) (sqrt 2.0))) (cbrt (- (sqrt (exp x)) (sqrt 2.0)))) (cbrt (- (sqrt (exp x)) (sqrt 2.0))) (pow (- (sqrt (exp x)) (sqrt 2.0)) 3) (sqrt (- (sqrt (exp x)) (sqrt 2.0))) (sqrt (- (sqrt (exp x)) (sqrt 2.0))) (- (pow (sqrt (exp x)) 3) (pow (sqrt 2.0) 3)) (+ (fma (sqrt (exp x)) (sqrt 2.0) 2.0) (exp x)) (- (sqrt 2.0)) (- (exp x) 2.0) (+ (sqrt 2.0) (sqrt (exp x))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 2.0))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 2.0))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 2.0))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 2.0))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 2.0))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 2.0))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 2.0))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 2.0))) (- (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (- (sqrt 2.0)) (expm1 (+ (sqrt (exp x)) (sqrt 2.0))) (log1p (+ (sqrt (exp x)) (sqrt 2.0))) (exp (+ (sqrt (exp x)) (sqrt 2.0))) (log (+ (sqrt (exp x)) (sqrt 2.0))) (exp (+ (sqrt (exp x)) (sqrt 2.0))) (* (cbrt (+ (sqrt (exp x)) (sqrt 2.0))) (cbrt (+ (sqrt (exp x)) (sqrt 2.0)))) (cbrt (+ (sqrt (exp x)) (sqrt 2.0))) (pow (+ (sqrt (exp x)) (sqrt 2.0)) 3) (sqrt (+ (sqrt (exp x)) (sqrt 2.0))) (sqrt (+ (sqrt (exp x)) (sqrt 2.0))) (fma 2.0 (sqrt 2.0) (pow (sqrt (exp x)) 3)) (- (+ (exp x) 2.0) (* (sqrt (exp x)) (sqrt 2.0))) (- (exp x) 2.0) (- (sqrt (exp x)) (sqrt 2.0)) (+ (sqrt 2.0) (sqrt (exp x))) (+ (sqrt 2.0) (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 x x (- (fma 1/12 (pow x 4) 2) 2.0)) (+ (- (exp x) 2.0) (exp (- x))) (+ (- (exp x) 2.0) (exp (- x))) (- (fma 1/8 (pow x 2) (fma 1/2 x 1)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (fma 1/8 (pow x 2) (fma 1/2 x (+ (sqrt 2.0) 1))) (+ (sqrt 2.0) (sqrt (exp x))) (+ (sqrt 2.0) (sqrt (exp x))) (fma 1/8 (pow x 2) (fma 1/2 x 1)) (sqrt (exp x)) (sqrt (exp x)) 10.103 * * * [progress]: adding candidates to table 10.341 * [progress]: [Phase 3 of 3] Extracting. 10.341 * * [regime]: Finding splitpoints for: (# # #) 10.342 * * * [regime-changes]: Trying 1 branch expressions: (x) 10.342 * * * * [regimes]: Trying to branch on x from (# # #) 10.358 * * * [regime]: Found split indices: #