31.693 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.062 * * * [progress]: [2/2] Setting up program. 0.064 * [progress]: [Phase 2 of 3] Improving. 0.064 * [simplify]: Simplifying using # : (/ (- (exp x) (exp (- x))) 2.0) 0.065 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.066 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.068 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 0.071 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 0.074 * * [simplify]: iteration 4 : 37 enodes (cost 8 ) 0.079 * * [simplify]: iteration 5 : 43 enodes (cost 8 ) 0.088 * * [simplify]: iteration 6 : 58 enodes (cost 8 ) 0.101 * * [simplify]: iteration 7 : 105 enodes (cost 8 ) 0.139 * * [simplify]: iteration 8 : 265 enodes (cost 8 ) 0.492 * * [simplify]: iteration 9 : 1777 enodes (cost 8 ) 32.378 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 32.378 * [simplify]: Simplified to: (/ (- (exp x) (exp (- x))) 2.0) 32.379 * * [progress]: iteration 1 / 4 32.379 * * * [progress]: picking best candidate 32.381 * * * * [pick]: Picked # 32.381 * * * [progress]: localizing error 32.387 * * * [progress]: generating rewritten candidates 32.388 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 32.397 * * * [progress]: generating series expansions 32.397 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 32.397 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 32.397 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 32.397 * [taylor]: Taking taylor expansion of (exp x) in x 32.397 * [taylor]: Taking taylor expansion of x in x 32.397 * [taylor]: Taking taylor expansion of (exp (- x)) in x 32.397 * [taylor]: Taking taylor expansion of (- x) in x 32.397 * [taylor]: Taking taylor expansion of x in x 32.398 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 32.398 * [taylor]: Taking taylor expansion of (exp x) in x 32.398 * [taylor]: Taking taylor expansion of x in x 32.398 * [taylor]: Taking taylor expansion of (exp (- x)) in x 32.398 * [taylor]: Taking taylor expansion of (- x) in x 32.398 * [taylor]: Taking taylor expansion of x in x 32.424 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 32.424 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 32.424 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.424 * [taylor]: Taking taylor expansion of x in x 32.425 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 32.425 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 32.425 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.425 * [taylor]: Taking taylor expansion of x in x 32.425 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 32.425 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.425 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.425 * [taylor]: Taking taylor expansion of x in x 32.426 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 32.426 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 32.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.426 * [taylor]: Taking taylor expansion of x in x 32.430 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 32.430 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 32.430 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 32.430 * [taylor]: Taking taylor expansion of (/ -1 x) in x 32.430 * [taylor]: Taking taylor expansion of -1 in x 32.430 * [taylor]: Taking taylor expansion of x in x 32.430 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.430 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.430 * [taylor]: Taking taylor expansion of x in x 32.430 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 32.430 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 32.430 * [taylor]: Taking taylor expansion of (/ -1 x) in x 32.430 * [taylor]: Taking taylor expansion of -1 in x 32.431 * [taylor]: Taking taylor expansion of x in x 32.431 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.431 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.431 * [taylor]: Taking taylor expansion of x in x 32.434 * * * [progress]: simplifying candidates 32.435 * [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))) 32.437 * * [simplify]: iteration 0 : 73 enodes (cost 547 ) 32.448 * * [simplify]: iteration 1 : 165 enodes (cost 401 ) 32.483 * * [simplify]: iteration 2 : 457 enodes (cost 308 ) 32.697 * * [simplify]: iteration 3 : 2131 enodes (cost 253 ) 34.625 * * [simplify]: iteration done : 5000 enodes (cost 253 ) 34.625 * [simplify]: Simplified to: (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (exp (- (exp x) (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (pow (- (exp x) (exp (- x))) 3) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (exp (- x))) (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (- x))) 34.626 * * * [progress]: adding candidates to table 34.707 * * [progress]: iteration 2 / 4 34.707 * * * [progress]: picking best candidate 34.714 * * * * [pick]: Picked # 34.714 * * * [progress]: localizing error 34.725 * * * [progress]: generating rewritten candidates 34.725 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 34.725 * * * [progress]: generating series expansions 34.725 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 34.725 * [approximate]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in (x) around 0 34.725 * [taylor]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in x 34.726 * [taylor]: Rewrote expression to (+ (* 1/3 (pow x 3)) (fma 1/60 (pow x 5) (* 2 x))) 34.726 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 34.726 * [taylor]: Taking taylor expansion of 1/3 in x 34.726 * [taylor]: Taking taylor expansion of (pow x 3) in x 34.726 * [taylor]: Taking taylor expansion of x in x 34.726 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 34.726 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 34.726 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 34.726 * [taylor]: Taking taylor expansion of 1/60 in x 34.726 * [taylor]: Taking taylor expansion of (pow x 5) in x 34.726 * [taylor]: Taking taylor expansion of x in x 34.726 * [taylor]: Taking taylor expansion of (* 2 x) in x 34.726 * [taylor]: Taking taylor expansion of 2 in x 34.726 * [taylor]: Taking taylor expansion of x in x 34.726 * [taylor]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in x 34.726 * [taylor]: Rewrote expression to (+ (* 1/3 (pow x 3)) (fma 1/60 (pow x 5) (* 2 x))) 34.726 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 34.726 * [taylor]: Taking taylor expansion of 1/3 in x 34.726 * [taylor]: Taking taylor expansion of (pow x 3) in x 34.726 * [taylor]: Taking taylor expansion of x in x 34.726 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 34.726 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 34.726 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 34.726 * [taylor]: Taking taylor expansion of 1/60 in x 34.726 * [taylor]: Taking taylor expansion of (pow x 5) in x 34.726 * [taylor]: Taking taylor expansion of x in x 34.726 * [taylor]: Taking taylor expansion of (* 2 x) in x 34.726 * [taylor]: Taking taylor expansion of 2 in x 34.726 * [taylor]: Taking taylor expansion of x in x 34.737 * [approximate]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in (x) around 0 34.737 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in x 34.737 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 x) 3)) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 34.738 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 x) 3)) in x 34.738 * [taylor]: Taking taylor expansion of 1/3 in x 34.738 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 34.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x 34.738 * [taylor]: Taking taylor expansion of x in x 34.738 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 34.738 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 34.738 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 34.738 * [taylor]: Taking taylor expansion of 1/60 in x 34.738 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 34.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x 34.738 * [taylor]: Taking taylor expansion of x in x 34.738 * [taylor]: Taking taylor expansion of (/ 2 x) in x 34.738 * [taylor]: Taking taylor expansion of 2 in x 34.738 * [taylor]: Taking taylor expansion of x in x 34.739 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in x 34.739 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 x) 3)) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 34.739 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 x) 3)) in x 34.739 * [taylor]: Taking taylor expansion of 1/3 in x 34.739 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 34.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x 34.739 * [taylor]: Taking taylor expansion of x in x 34.739 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 34.739 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 34.739 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 34.739 * [taylor]: Taking taylor expansion of 1/60 in x 34.739 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 34.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x 34.739 * [taylor]: Taking taylor expansion of x in x 34.740 * [taylor]: Taking taylor expansion of (/ 2 x) in x 34.740 * [taylor]: Taking taylor expansion of 2 in x 34.740 * [taylor]: Taking taylor expansion of x in x 34.762 * [approximate]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in (x) around 0 34.762 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in x 34.762 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 x) 3)) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 34.762 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 x) 3)) in x 34.762 * [taylor]: Taking taylor expansion of 1/3 in x 34.762 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 34.762 * [taylor]: Taking taylor expansion of (/ -1 x) in x 34.762 * [taylor]: Taking taylor expansion of -1 in x 34.762 * [taylor]: Taking taylor expansion of x in x 34.762 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 34.763 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 34.763 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 34.763 * [taylor]: Taking taylor expansion of 1/60 in x 34.763 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 34.763 * [taylor]: Taking taylor expansion of (/ -1 x) in x 34.763 * [taylor]: Taking taylor expansion of -1 in x 34.763 * [taylor]: Taking taylor expansion of x in x 34.763 * [taylor]: Taking taylor expansion of (/ -2 x) in x 34.763 * [taylor]: Taking taylor expansion of -2 in x 34.763 * [taylor]: Taking taylor expansion of x in x 34.763 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in x 34.763 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 x) 3)) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 34.763 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 x) 3)) in x 34.763 * [taylor]: Taking taylor expansion of 1/3 in x 34.763 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 34.764 * [taylor]: Taking taylor expansion of (/ -1 x) in x 34.764 * [taylor]: Taking taylor expansion of -1 in x 34.764 * [taylor]: Taking taylor expansion of x in x 34.764 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 34.764 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 34.764 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 34.764 * [taylor]: Taking taylor expansion of 1/60 in x 34.764 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 34.764 * [taylor]: Taking taylor expansion of (/ -1 x) in x 34.764 * [taylor]: Taking taylor expansion of -1 in x 34.764 * [taylor]: Taking taylor expansion of x in x 34.764 * [taylor]: Taking taylor expansion of (/ -2 x) in x 34.764 * [taylor]: Taking taylor expansion of -2 in x 34.764 * [taylor]: Taking taylor expansion of x in x 34.783 * * * [progress]: simplifying candidates 34.783 * [simplify]: Simplifying using # : (expm1 (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (log1p (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* 1/3 (pow x 3)) (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (exp (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (* (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) 34.785 * * [simplify]: iteration 0 : 26 enodes (cost 218 ) 34.789 * * [simplify]: iteration 1 : 50 enodes (cost 212 ) 34.798 * * [simplify]: iteration 2 : 149 enodes (cost 186 ) 34.839 * * [simplify]: iteration 3 : 684 enodes (cost 186 ) 35.116 * * [simplify]: iteration 4 : 4734 enodes (cost 186 ) 37.553 * * [simplify]: iteration done : 5000 enodes (cost 186 ) 37.553 * [simplify]: Simplified to: (expm1 (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (log1p (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* 1/3 (pow x 3)) (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (exp (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 3) (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 37.553 * * * [progress]: adding candidates to table 37.591 * * [progress]: iteration 3 / 4 37.591 * * * [progress]: picking best candidate 37.595 * * * * [pick]: Picked # 37.595 * * * [progress]: localizing error 37.604 * * * [progress]: generating rewritten candidates 37.604 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1) 37.611 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 37.621 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 37.633 * * * [progress]: generating series expansions 37.633 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1) 37.634 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 37.634 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 37.634 * [taylor]: Taking taylor expansion of (exp x) in x 37.634 * [taylor]: Taking taylor expansion of x in x 37.634 * [taylor]: Taking taylor expansion of (exp (- x)) in x 37.634 * [taylor]: Taking taylor expansion of (- x) in x 37.634 * [taylor]: Taking taylor expansion of x in x 37.634 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 37.635 * [taylor]: Taking taylor expansion of (exp x) in x 37.635 * [taylor]: Taking taylor expansion of x in x 37.635 * [taylor]: Taking taylor expansion of (exp (- x)) in x 37.635 * [taylor]: Taking taylor expansion of (- x) in x 37.635 * [taylor]: Taking taylor expansion of x in x 37.663 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 37.663 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 37.663 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 37.663 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.664 * [taylor]: Taking taylor expansion of x in x 37.664 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 37.664 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 37.664 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.664 * [taylor]: Taking taylor expansion of x in x 37.664 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 37.664 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 37.664 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.665 * [taylor]: Taking taylor expansion of x in x 37.665 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 37.665 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 37.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.665 * [taylor]: Taking taylor expansion of x in x 37.668 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 37.669 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 37.669 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 37.669 * [taylor]: Taking taylor expansion of (/ -1 x) in x 37.669 * [taylor]: Taking taylor expansion of -1 in x 37.669 * [taylor]: Taking taylor expansion of x in x 37.669 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 37.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.669 * [taylor]: Taking taylor expansion of x in x 37.669 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 37.669 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 37.669 * [taylor]: Taking taylor expansion of (/ -1 x) in x 37.669 * [taylor]: Taking taylor expansion of -1 in x 37.669 * [taylor]: Taking taylor expansion of x in x 37.670 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 37.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.670 * [taylor]: Taking taylor expansion of x in x 37.673 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 37.673 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 37.673 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 37.673 * [taylor]: Taking taylor expansion of (exp x) in x 37.673 * [taylor]: Taking taylor expansion of x in x 37.673 * [taylor]: Taking taylor expansion of (exp (- x)) in x 37.673 * [taylor]: Taking taylor expansion of (- x) in x 37.673 * [taylor]: Taking taylor expansion of x in x 37.674 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 37.674 * [taylor]: Taking taylor expansion of (exp x) in x 37.674 * [taylor]: Taking taylor expansion of x in x 37.674 * [taylor]: Taking taylor expansion of (exp (- x)) in x 37.674 * [taylor]: Taking taylor expansion of (- x) in x 37.674 * [taylor]: Taking taylor expansion of x in x 37.699 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 37.699 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 37.699 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 37.699 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.699 * [taylor]: Taking taylor expansion of x in x 37.699 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 37.699 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 37.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.700 * [taylor]: Taking taylor expansion of x in x 37.700 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 37.700 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 37.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.700 * [taylor]: Taking taylor expansion of x in x 37.700 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 37.700 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 37.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.700 * [taylor]: Taking taylor expansion of x in x 37.704 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 37.704 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 37.704 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 37.704 * [taylor]: Taking taylor expansion of (/ -1 x) in x 37.704 * [taylor]: Taking taylor expansion of -1 in x 37.704 * [taylor]: Taking taylor expansion of x in x 37.705 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 37.705 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.705 * [taylor]: Taking taylor expansion of x in x 37.705 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 37.705 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 37.705 * [taylor]: Taking taylor expansion of (/ -1 x) in x 37.705 * [taylor]: Taking taylor expansion of -1 in x 37.705 * [taylor]: Taking taylor expansion of x in x 37.706 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 37.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.706 * [taylor]: Taking taylor expansion of x in x 37.709 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 37.709 * [approximate]: Taking taylor expansion of (pow (- (exp x) (exp (- x))) 3) in (x) around 0 37.709 * [taylor]: Taking taylor expansion of (pow (- (exp x) (exp (- x))) 3) in x 37.709 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 37.709 * [taylor]: Taking taylor expansion of (exp x) in x 37.709 * [taylor]: Taking taylor expansion of x in x 37.709 * [taylor]: Taking taylor expansion of (exp (- x)) in x 37.709 * [taylor]: Taking taylor expansion of (- x) in x 37.709 * [taylor]: Taking taylor expansion of x in x 37.712 * [taylor]: Taking taylor expansion of (pow (- (exp x) (exp (- x))) 3) in x 37.712 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 37.712 * [taylor]: Taking taylor expansion of (exp x) in x 37.712 * [taylor]: Taking taylor expansion of x in x 37.712 * [taylor]: Taking taylor expansion of (exp (- x)) in x 37.712 * [taylor]: Taking taylor expansion of (- x) in x 37.712 * [taylor]: Taking taylor expansion of x in x 37.747 * [approximate]: Taking taylor expansion of (pow (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 3) in (x) around 0 37.748 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 3) in x 37.748 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 37.748 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 37.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.748 * [taylor]: Taking taylor expansion of x in x 37.748 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 37.748 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 37.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.748 * [taylor]: Taking taylor expansion of x in x 37.749 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 3) in x 37.749 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 37.749 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 37.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.749 * [taylor]: Taking taylor expansion of x in x 37.749 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 37.749 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 37.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.749 * [taylor]: Taking taylor expansion of x in x 37.763 * [approximate]: Taking taylor expansion of (pow (- (exp (/ -1 x)) (exp (/ 1 x))) 3) in (x) around 0 37.763 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) (exp (/ 1 x))) 3) in x 37.763 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 37.763 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 37.763 * [taylor]: Taking taylor expansion of (/ -1 x) in x 37.763 * [taylor]: Taking taylor expansion of -1 in x 37.763 * [taylor]: Taking taylor expansion of x in x 37.763 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 37.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.763 * [taylor]: Taking taylor expansion of x in x 37.764 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) (exp (/ 1 x))) 3) in x 37.764 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 37.764 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 37.764 * [taylor]: Taking taylor expansion of (/ -1 x) in x 37.764 * [taylor]: Taking taylor expansion of -1 in x 37.764 * [taylor]: Taking taylor expansion of x in x 37.764 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 37.764 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.764 * [taylor]: Taking taylor expansion of x in x 37.777 * * * [progress]: simplifying candidates 37.779 * [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))) (expm1 (cbrt (pow (- (exp x) (exp (- x))) 3))) (log1p (cbrt (pow (- (exp x) (exp (- x))) 3))) (log (cbrt (pow (- (exp x) (exp (- x))) 3))) (exp (cbrt (pow (- (exp x) (exp (- x))) 3))) (cbrt (pow (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) 3)) (cbrt (pow (cbrt (- (exp x) (exp (- x)))) 3)) (cbrt (pow (sqrt (- (exp x) (exp (- x)))) 3)) (cbrt (pow (sqrt (- (exp x) (exp (- x)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- (exp x) (exp (- x))) 3)) (cbrt (pow (+ (sqrt (exp x)) (sqrt (exp (- x)))) 3)) (cbrt (pow (- (sqrt (exp x)) (sqrt (exp (- x)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- (exp x) (exp (- x))) 3)) (cbrt (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (cbrt (* (cbrt (pow (- (exp x) (exp (- x))) 3)) (cbrt (pow (- (exp x) (exp (- x))) 3)))) (cbrt (cbrt (pow (- (exp x) (exp (- x))) 3))) (cbrt (pow (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) 3)) (cbrt (pow (cbrt (- (exp x) (exp (- x)))) 3)) (cbrt (pow (sqrt (- (exp x) (exp (- x)))) 3)) (cbrt (pow (sqrt (- (exp x) (exp (- x)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- (exp x) (exp (- x))) 3)) (cbrt (pow (+ (sqrt (exp x)) (sqrt (exp (- x)))) 3)) (cbrt (pow (- (sqrt (exp x)) (sqrt (exp (- x)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- (exp x) (exp (- x))) 3)) (cbrt (- (exp x) (exp (- x)))) (cbrt (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x))))) (cbrt (sqrt (pow (- (exp x) (exp (- x))) 3))) (cbrt (sqrt (pow (- (exp x) (exp (- x))) 3))) (cbrt 1) (cbrt (pow (- (exp x) (exp (- x))) 3)) (cbrt (pow (- (exp x) (exp (- x))) (/ 3 2))) (cbrt (pow (- (exp x) (exp (- x))) (/ 3 2))) (cbrt (pow (- (pow (exp x) 3) (pow (exp (- x)) 3)) 3)) (cbrt (pow (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) 3)) (cbrt (pow (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) 3)) (cbrt (pow (+ (exp x) (exp (- x))) 3)) (* (cbrt (cbrt (pow (- (exp x) (exp (- x))) 3))) (cbrt (cbrt (pow (- (exp x) (exp (- x))) 3)))) (cbrt (cbrt (pow (- (exp x) (exp (- x))) 3))) (* (* (cbrt (pow (- (exp x) (exp (- x))) 3)) (cbrt (pow (- (exp x) (exp (- x))) 3))) (cbrt (pow (- (exp x) (exp (- x))) 3))) (sqrt (cbrt (pow (- (exp x) (exp (- x))) 3))) (sqrt (cbrt (pow (- (exp x) (exp (- x))) 3))) (expm1 (pow (- (exp x) (exp (- x))) 3)) (log1p (pow (- (exp x) (exp (- x))) 3)) (* (log (- (exp x) (exp (- x)))) 3) (* (log (- (exp x) (exp (- x)))) 3) (* 1 3) (pow (- (exp x) (exp (- x))) (* (cbrt 3) (cbrt 3))) (pow (- (exp x) (exp (- x))) (sqrt 3)) (pow (- (exp x) (exp (- x))) 1) (pow (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) 3) (pow (cbrt (- (exp x) (exp (- x)))) 3) (pow (sqrt (- (exp x) (exp (- x)))) 3) (pow (sqrt (- (exp x) (exp (- x)))) 3) (pow 1 3) (pow (- (exp x) (exp (- x))) 3) (pow (+ (sqrt (exp x)) (sqrt (exp (- x)))) 3) (pow (- (sqrt (exp x)) (sqrt (exp (- x)))) 3) (pow 1 3) (pow (- (exp x) (exp (- x))) 3) (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (log (pow (- (exp x) (exp (- x))) 3)) (exp (pow (- (exp x) (exp (- x))) 3)) (* (cbrt (pow (- (exp x) (exp (- x))) 3)) (cbrt (pow (- (exp x) (exp (- x))) 3))) (cbrt (pow (- (exp x) (exp (- x))) 3)) (* (* (pow (- (exp x) (exp (- x))) 3) (pow (- (exp x) (exp (- x))) 3)) (pow (- (exp x) (exp (- x))) 3)) (pow (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) 3) (pow (cbrt (- (exp x) (exp (- x)))) 3) (pow (sqrt (- (exp x) (exp (- x)))) 3) (pow (sqrt (- (exp x) (exp (- x)))) 3) (pow 1 3) (pow (- (exp x) (exp (- x))) 3) (pow (+ (sqrt (exp x)) (sqrt (exp (- x)))) 3) (pow (- (sqrt (exp x)) (sqrt (exp (- x)))) 3) (pow 1 3) (pow (- (exp x) (exp (- x))) 3) (pow (- (pow (exp x) 3) (pow (exp (- x)) 3)) 3) (pow (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) 3) (pow (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) 3) (pow (+ (exp x) (exp (- x))) 3) (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (sqrt (pow (- (exp x) (exp (- x))) 3)) (sqrt (pow (- (exp x) (exp (- x))) 3)) (pow (- (exp x) (exp (- x))) (/ 3 2)) (pow (- (exp x) (exp (- x))) (/ 3 2)) (+ (* 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))) (+ (* 13/15 (pow x 7)) (+ (* 8 (pow x 3)) (* 4 (pow x 5)))) (pow (- (exp x) (exp (- x))) 3) (pow (- (exp x) (exp (* -1 x))) 3) 37.783 * * [simplify]: iteration 0 : 137 enodes (cost 1540 ) 37.811 * * [simplify]: iteration 1 : 326 enodes (cost 1173 ) 37.891 * * [simplify]: iteration 2 : 1070 enodes (cost 1013 ) 38.373 * * [simplify]: iteration done : 5001 enodes (cost 1004 ) 38.374 * [simplify]: Simplified to: (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) (exp (- x))) (/ 0 (exp x)) (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) (exp (- x))) (/ 0 (exp x)) (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) (exp (- x))) (/ 0 (exp x)) (- (exp x) (exp (- x))) (/ 0 (exp x)) (- (exp x) (exp (- x))) (/ 0 (exp x)) (- (exp x) (exp (- x))) (/ 0 (exp x)) (- (exp x) (exp (- x))) (/ 0 (exp x)) (- (exp x) (exp (- x))) (/ 0 (exp x)) (- (exp x) (exp (- x))) (/ 0 (exp x)) (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 (pow (- (exp x) (exp (- x))) 2)) (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) (pow (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 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (cbrt (pow (- (exp x) (exp (- x))) 2)) (cbrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) 1 (- (exp x) (exp (- x))) (+ (sqrt (exp (- x))) (sqrt (exp x))) (- (sqrt (exp x)) (sqrt (exp (- x)))) 1 (- (exp x) (exp (- x))) (cbrt (pow (- (exp x) (exp (- x))) 2)) (cbrt (- (exp x) (exp (- x)))) (cbrt (pow (- (exp x) (exp (- x))) 2)) (cbrt (- (exp x) (exp (- x)))) (cbrt (pow (- (exp x) (exp (- x))) 2)) (cbrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) 1 (- (exp x) (exp (- x))) (+ (sqrt (exp (- x))) (sqrt (exp x))) (- (sqrt (exp x)) (sqrt (exp (- x)))) 1 (- (exp x) (exp (- x))) (cbrt (- (exp x) (exp (- x)))) (cbrt (pow (- (exp x) (exp (- x))) 2)) (cbrt (sqrt (pow (- (exp x) (exp (- x))) 3))) (cbrt (sqrt (pow (- (exp x) (exp (- x))) 3))) 1 (- (exp x) (exp (- x))) (cbrt (pow (- (exp x) (exp (- x))) 3/2)) (cbrt (pow (- (exp x) (exp (- x))) 3/2)) (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (exp (* x -2)) (+ 1 (exp (+ x x)))) (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))) (cbrt (pow (- (exp x) (exp (- x))) 2)) (cbrt (- (exp x) (exp (- x)))) (pow (- (exp x) (exp (- x))) 3) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (expm1 (pow (- (exp x) (exp (- x))) 3)) (log1p (pow (- (exp x) (exp (- x))) 3)) (log (pow (- (exp x) (exp (- x))) 3)) (log (pow (- (exp x) (exp (- x))) 3)) 3 (pow (- (exp x) (exp (- x))) (* (cbrt 3) (cbrt 3))) (pow (- (exp x) (exp (- x))) (sqrt 3)) (- (exp x) (exp (- x))) (pow (- (exp x) (exp (- x))) 2) (- (exp x) (exp (- x))) (pow (sqrt (- (exp x) (exp (- x)))) 3) (pow (sqrt (- (exp x) (exp (- x)))) 3) 1 (pow (- (exp x) (exp (- x))) 3) (pow (+ (sqrt (exp x)) (sqrt (exp (- x)))) 3) (pow (- (sqrt (exp x)) (sqrt (exp (- x)))) 3) 1 (pow (- (exp x) (exp (- x))) 3) (pow (- (exp x) (exp (- x))) 2) (log (pow (- (exp x) (exp (- x))) 3)) (exp (pow (- (exp x) (exp (- x))) 3)) (pow (- (exp x) (exp (- x))) 2) (- (exp x) (exp (- x))) (pow (pow (- (exp x) (exp (- x))) 3) 3) (pow (- (exp x) (exp (- x))) 2) (- (exp x) (exp (- x))) (pow (sqrt (- (exp x) (exp (- x)))) 3) (pow (sqrt (- (exp x) (exp (- x)))) 3) 1 (pow (- (exp x) (exp (- x))) 3) (pow (+ (sqrt (exp x)) (sqrt (exp (- x)))) 3) (pow (- (sqrt (exp x)) (sqrt (exp (- x)))) 3) 1 (pow (- (exp x) (exp (- x))) 3) (pow (- (pow (exp x) 3) (pow (exp (- x)) 3)) 3) (pow (+ (exp (* x -2)) (+ 1 (exp (+ x x)))) 3) (pow (- (exp (+ x x)) (exp (* x -2))) 3) (pow (+ (exp x) (exp (- x))) 3) (pow (- (exp x) (exp (- x))) 2) (sqrt (pow (- (exp x) (exp (- x))) 3)) (sqrt (pow (- (exp x) (exp (- x))) 3)) (pow (- (exp x) (exp (- x))) 3/2) (pow (- (exp x) (exp (- x))) 3/2) (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 13/15 (pow x 7) (fma 8 (pow x 3) (* 4 (pow x 5)))) (pow (- (exp x) (exp (- x))) 3) (pow (- (exp x) (exp (- x))) 3) 38.375 * * * [progress]: adding candidates to table 38.536 * * [progress]: iteration 4 / 4 38.536 * * * [progress]: picking best candidate 38.541 * * * * [pick]: Picked # 38.541 * * * [progress]: localizing error 38.547 * * * [progress]: generating rewritten candidates 38.547 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 38.555 * * * [progress]: generating series expansions 38.555 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 38.555 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 38.556 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 38.556 * [taylor]: Taking taylor expansion of (exp x) in x 38.556 * [taylor]: Taking taylor expansion of x in x 38.556 * [taylor]: Taking taylor expansion of (exp (- x)) in x 38.556 * [taylor]: Taking taylor expansion of (- x) in x 38.556 * [taylor]: Taking taylor expansion of x in x 38.556 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 38.556 * [taylor]: Taking taylor expansion of (exp x) in x 38.556 * [taylor]: Taking taylor expansion of x in x 38.556 * [taylor]: Taking taylor expansion of (exp (- x)) in x 38.556 * [taylor]: Taking taylor expansion of (- x) in x 38.557 * [taylor]: Taking taylor expansion of x in x 38.581 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 38.581 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 38.581 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 38.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.581 * [taylor]: Taking taylor expansion of x in x 38.581 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 38.581 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 38.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.582 * [taylor]: Taking taylor expansion of x in x 38.582 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 38.582 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 38.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.582 * [taylor]: Taking taylor expansion of x in x 38.582 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 38.582 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 38.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.582 * [taylor]: Taking taylor expansion of x in x 38.586 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 38.586 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 38.586 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 38.586 * [taylor]: Taking taylor expansion of (/ -1 x) in x 38.586 * [taylor]: Taking taylor expansion of -1 in x 38.586 * [taylor]: Taking taylor expansion of x in x 38.587 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 38.587 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.587 * [taylor]: Taking taylor expansion of x in x 38.587 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 38.587 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 38.587 * [taylor]: Taking taylor expansion of (/ -1 x) in x 38.587 * [taylor]: Taking taylor expansion of -1 in x 38.587 * [taylor]: Taking taylor expansion of x in x 38.587 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 38.588 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.588 * [taylor]: Taking taylor expansion of x in x 38.591 * * * [progress]: simplifying candidates 38.591 * [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))) 38.594 * * [simplify]: iteration 0 : 73 enodes (cost 547 ) 38.610 * * [simplify]: iteration 1 : 165 enodes (cost 401 ) 38.641 * * [simplify]: iteration 2 : 457 enodes (cost 308 ) 38.843 * * [simplify]: iteration 3 : 2131 enodes (cost 253 ) 40.734 * * [simplify]: iteration done : 5000 enodes (cost 253 ) 40.734 * [simplify]: Simplified to: (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (exp (- (exp x) (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (pow (- (exp x) (exp (- x))) 3) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (exp (- x))) (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (- x))) 40.734 * * * [progress]: adding candidates to table 40.781 * [progress]: [Phase 3 of 3] Extracting. 40.781 * * [regime]: Finding splitpoints for: (# # #) 40.781 * * * [regime-changes]: Trying 3 branch expressions: ((- (exp x) (exp (- x))) (/ (- (exp x) (exp (- x))) 2.0) x) 40.781 * * * * [regimes]: Trying to branch on (- (exp x) (exp (- x))) from (# # #) 40.799 * * * * [regimes]: Trying to branch on (- (exp x) (exp (- x))) from (# #) 40.813 * * * * [regimes]: Trying to branch on (/ (- (exp x) (exp (- x))) 2.0) from (# # #) 40.833 * * * * [regimes]: Trying to branch on x from (# # #) 40.848 * * * [regime]: Found split indices: #