0.887 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.327 * * * [progress]: [2/2] Setting up program. 0.330 * [progress]: [Phase 2 of 3] Improving. 0.333 * [simplify]: Simplifying using # : (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 0.335 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 0.339 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 0.342 * * [simplify]: iteration 2 : 28 enodes (cost 12 ) 0.345 * * [simplify]: iteration 3 : 41 enodes (cost 12 ) 0.351 * * [simplify]: iteration 4 : 76 enodes (cost 12 ) 0.372 * * [simplify]: iteration 5 : 175 enodes (cost 12 ) 0.423 * * [simplify]: iteration 6 : 476 enodes (cost 12 ) 0.649 * * [simplify]: iteration 7 : 1519 enodes (cost 12 ) 1.668 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 1.668 * [simplify]: Simplified to: (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 1.670 * * [progress]: iteration 1 / 4 1.670 * * * [progress]: picking best candidate 1.672 * * * * [pick]: Picked # 1.672 * * * [progress]: localizing error 1.683 * * * [progress]: generating rewritten candidates 1.683 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.691 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.696 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.713 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.738 * * * [progress]: generating series expansions 1.739 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.742 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0 1.743 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.743 * [taylor]: Taking taylor expansion of (exp x) in x 1.743 * [taylor]: Taking taylor expansion of x in x 1.743 * [taylor]: Taking taylor expansion of 1.0 in x 1.743 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.743 * [taylor]: Taking taylor expansion of (exp x) in x 1.743 * [taylor]: Taking taylor expansion of x in x 1.743 * [taylor]: Taking taylor expansion of 1.0 in x 1.752 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0 1.753 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.753 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.753 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.753 * [taylor]: Taking taylor expansion of x in x 1.753 * [taylor]: Taking taylor expansion of 1.0 in x 1.753 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.753 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.753 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.753 * [taylor]: Taking taylor expansion of x in x 1.753 * [taylor]: Taking taylor expansion of 1.0 in x 1.757 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0 1.757 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.757 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.757 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.757 * [taylor]: Taking taylor expansion of -1 in x 1.757 * [taylor]: Taking taylor expansion of x in x 1.758 * [taylor]: Taking taylor expansion of 1.0 in x 1.758 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.758 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.758 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.758 * [taylor]: Taking taylor expansion of -1 in x 1.758 * [taylor]: Taking taylor expansion of x in x 1.758 * [taylor]: Taking taylor expansion of 1.0 in x 1.761 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.761 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 1.761 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.761 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.761 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.761 * [taylor]: Taking taylor expansion of 2.0 in x 1.761 * [taylor]: Taking taylor expansion of x in x 1.763 * [taylor]: Taking taylor expansion of 1.0 in x 1.763 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.763 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.763 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.763 * [taylor]: Taking taylor expansion of 2.0 in x 1.763 * [taylor]: Taking taylor expansion of x in x 1.764 * [taylor]: Taking taylor expansion of 1.0 in x 1.777 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 1.777 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.777 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.777 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.777 * [taylor]: Taking taylor expansion of 2.0 in x 1.777 * [taylor]: Taking taylor expansion of x in x 1.778 * [taylor]: Taking taylor expansion of 1.0 in x 1.778 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.778 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.778 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.778 * [taylor]: Taking taylor expansion of 2.0 in x 1.778 * [taylor]: Taking taylor expansion of x in x 1.778 * [taylor]: Taking taylor expansion of 1.0 in x 1.782 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 1.782 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.782 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.782 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.782 * [taylor]: Taking taylor expansion of -2.0 in x 1.782 * [taylor]: Taking taylor expansion of x in x 1.782 * [taylor]: Taking taylor expansion of 1.0 in x 1.782 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.782 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.782 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.782 * [taylor]: Taking taylor expansion of -2.0 in x 1.782 * [taylor]: Taking taylor expansion of x in x 1.782 * [taylor]: Taking taylor expansion of 1.0 in x 1.786 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.786 * [approximate]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in (x) around 0 1.786 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.786 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.786 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.786 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.786 * [taylor]: Taking taylor expansion of 2.0 in x 1.786 * [taylor]: Taking taylor expansion of x in x 1.787 * [taylor]: Taking taylor expansion of 1.0 in x 1.787 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.787 * [taylor]: Taking taylor expansion of (exp x) in x 1.787 * [taylor]: Taking taylor expansion of x in x 1.787 * [taylor]: Taking taylor expansion of 1.0 in x 1.793 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.793 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.793 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.793 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.793 * [taylor]: Taking taylor expansion of 2.0 in x 1.793 * [taylor]: Taking taylor expansion of x in x 1.794 * [taylor]: Taking taylor expansion of 1.0 in x 1.794 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.794 * [taylor]: Taking taylor expansion of (exp x) in x 1.794 * [taylor]: Taking taylor expansion of x in x 1.794 * [taylor]: Taking taylor expansion of 1.0 in x 1.817 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in (x) around 0 1.817 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.817 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.817 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.817 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.817 * [taylor]: Taking taylor expansion of 2.0 in x 1.817 * [taylor]: Taking taylor expansion of x in x 1.817 * [taylor]: Taking taylor expansion of 1.0 in x 1.817 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.817 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.817 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.817 * [taylor]: Taking taylor expansion of x in x 1.818 * [taylor]: Taking taylor expansion of 1.0 in x 1.819 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.819 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.819 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.819 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.819 * [taylor]: Taking taylor expansion of 2.0 in x 1.819 * [taylor]: Taking taylor expansion of x in x 1.819 * [taylor]: Taking taylor expansion of 1.0 in x 1.819 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.819 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.819 * [taylor]: Taking taylor expansion of x in x 1.820 * [taylor]: Taking taylor expansion of 1.0 in x 1.833 * [approximate]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in (x) around 0 1.833 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.833 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.833 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.833 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.833 * [taylor]: Taking taylor expansion of -2.0 in x 1.833 * [taylor]: Taking taylor expansion of x in x 1.834 * [taylor]: Taking taylor expansion of 1.0 in x 1.834 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.834 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.834 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.834 * [taylor]: Taking taylor expansion of -1 in x 1.834 * [taylor]: Taking taylor expansion of x in x 1.834 * [taylor]: Taking taylor expansion of 1.0 in x 1.835 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.835 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.835 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.835 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.835 * [taylor]: Taking taylor expansion of -2.0 in x 1.835 * [taylor]: Taking taylor expansion of x in x 1.835 * [taylor]: Taking taylor expansion of 1.0 in x 1.836 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.836 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.836 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.836 * [taylor]: Taking taylor expansion of -1 in x 1.836 * [taylor]: Taking taylor expansion of x in x 1.836 * [taylor]: Taking taylor expansion of 1.0 in x 1.845 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.845 * [approximate]: Taking taylor expansion of (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) in (x) around 0 1.845 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) in x 1.845 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.845 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.845 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.845 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.845 * [taylor]: Taking taylor expansion of 2.0 in x 1.845 * [taylor]: Taking taylor expansion of x in x 1.847 * [taylor]: Taking taylor expansion of 1.0 in x 1.847 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.847 * [taylor]: Taking taylor expansion of (exp x) in x 1.847 * [taylor]: Taking taylor expansion of x in x 1.847 * [taylor]: Taking taylor expansion of 1.0 in x 1.860 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) in x 1.860 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.860 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.860 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.860 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.861 * [taylor]: Taking taylor expansion of 2.0 in x 1.861 * [taylor]: Taking taylor expansion of x in x 1.862 * [taylor]: Taking taylor expansion of 1.0 in x 1.862 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.862 * [taylor]: Taking taylor expansion of (exp x) in x 1.862 * [taylor]: Taking taylor expansion of x in x 1.862 * [taylor]: Taking taylor expansion of 1.0 in x 1.899 * [approximate]: Taking taylor expansion of (sqrt (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0))) in (x) around 0 1.899 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0))) in x 1.899 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.899 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.899 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.899 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.899 * [taylor]: Taking taylor expansion of 2.0 in x 1.899 * [taylor]: Taking taylor expansion of x in x 1.900 * [taylor]: Taking taylor expansion of 1.0 in x 1.900 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.900 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.900 * [taylor]: Taking taylor expansion of x in x 1.900 * [taylor]: Taking taylor expansion of 1.0 in x 1.903 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0))) in x 1.903 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.903 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.903 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.903 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.903 * [taylor]: Taking taylor expansion of 2.0 in x 1.903 * [taylor]: Taking taylor expansion of x in x 1.903 * [taylor]: Taking taylor expansion of 1.0 in x 1.903 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.903 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.903 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.903 * [taylor]: Taking taylor expansion of x in x 1.903 * [taylor]: Taking taylor expansion of 1.0 in x 1.919 * [approximate]: Taking taylor expansion of (sqrt (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0))) in (x) around 0 1.919 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0))) in x 1.919 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.919 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.919 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.919 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.919 * [taylor]: Taking taylor expansion of -2.0 in x 1.919 * [taylor]: Taking taylor expansion of x in x 1.919 * [taylor]: Taking taylor expansion of 1.0 in x 1.919 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.919 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.919 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.920 * [taylor]: Taking taylor expansion of -1 in x 1.920 * [taylor]: Taking taylor expansion of x in x 1.920 * [taylor]: Taking taylor expansion of 1.0 in x 1.922 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0))) in x 1.922 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.922 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.922 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.922 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.922 * [taylor]: Taking taylor expansion of -2.0 in x 1.922 * [taylor]: Taking taylor expansion of x in x 1.923 * [taylor]: Taking taylor expansion of 1.0 in x 1.923 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.923 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.923 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.923 * [taylor]: Taking taylor expansion of -1 in x 1.923 * [taylor]: Taking taylor expansion of x in x 1.923 * [taylor]: Taking taylor expansion of 1.0 in x 1.935 * * * [progress]: simplifying candidates 1.938 * [simplify]: Simplifying using # : (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma 1 (exp x) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma 1 (exp x) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma 1 (exp x) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (expm1 (- (exp x) 1.0)) (log1p (- (exp x) 1.0)) (- 1.0) (- 1.0) (- 1.0) (/ (exp (exp x)) (exp 1.0)) (log (- (exp x) 1.0)) (exp (- (exp x) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (cbrt (- (exp x) 1.0)) (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (- (pow (exp x) 3) (pow 1.0 3)) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))) (- 1.0) (- (* (exp x) (exp x)) (* 1.0 1.0)) (+ (exp x) 1.0) (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (exp x) 1.0) (- 1.0) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma 1 (exp (* 2.0 x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma 1 (exp (* 2.0 x)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma 1 (exp (* 2.0 x)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (expm1 (- (exp (* 2.0 x)) 1.0)) (log1p (- (exp (* 2.0 x)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (/ (exp (exp (* 2.0 x))) (exp 1.0)) (log (- (exp (* 2.0 x)) 1.0)) (exp (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (cbrt (- (exp (* 2.0 x)) 1.0)) (* (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) (+ (* (exp (* 2.0 x)) (exp (* 2.0 x))) (+ (* 1.0 1.0) (* (exp (* 2.0 x)) 1.0))) (- 1.0) (- (* (exp (* 2.0 x)) (exp (* 2.0 x))) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (* 2.0 x)) 1.0) (- 1.0) (expm1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (log1p (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (- (log (- (exp (* 2.0 x)) 1.0)) (log (- (exp x) 1.0))) (log (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (exp (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (/ (* (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2.0 x)) 1.0)) (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0))) (* (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (* (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (- (- (exp (* 2.0 x)) 1.0)) (- (- (exp x) 1.0)) (/ (exp (* 2.0 x)) (- (exp x) 1.0)) (/ 1.0 (- (exp x) 1.0)) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0))) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (sqrt (- (exp x) 1.0))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0))) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 1) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 1) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) 1) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) 1) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp x) 1.0))) (/ 1 (sqrt (- (exp x) 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0))) (/ 1 1) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp x)) (sqrt 1.0))) (/ 1 1) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (cbrt (- (exp x) 1.0))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 1) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0)) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 1) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0)) (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp x) 1.0))) (/ 1 (sqrt (- (exp x) 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0))) (/ 1 1) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp x)) (sqrt 1.0))) (/ 1 1) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (- (exp x) 1.0)) (/ (- (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0))) (/ (- (exp (* 2.0 x)) 1.0) 1) (/ (- (exp (* 2.0 x)) 1.0) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (exp (* 2.0 x)) 1.0) 1) (/ (- (exp x) 1.0) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp x) 1.0) (sqrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp x) 1.0) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (/ (- (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (pow (exp x) 3) (pow 1.0 3))) (/ (- (exp (* 2.0 x)) 1.0) (- (* (exp x) (exp x)) (* 1.0 1.0))) (* (- (exp x) 1.0) (+ (* (exp (* 2.0 x)) (exp (* 2.0 x))) (+ (* 1.0 1.0) (* (exp (* 2.0 x)) 1.0)))) (* (- (exp x) 1.0) (+ (exp (* 2.0 x)) 1.0)) (expm1 (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (log1p (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (log (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (exp (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (* (cbrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (cbrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))))) (cbrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (* (* (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (* (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))))) (sqrt (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0)))) (sqrt (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (sqrt (- (exp x) 1.0)))) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 1)) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 1)) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) 1)) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) 1)) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp x) 1.0)))) (sqrt (/ 1 (sqrt (- (exp x) 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0)))) (sqrt (/ 1 1)) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ 1 1)) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (cbrt (- (exp x) 1.0)))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 1)) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 1)) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))) (sqrt (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp x) 1.0)))) (sqrt (/ 1 (sqrt (- (exp x) 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0)))) (sqrt (/ 1 1)) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ 1 1)) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt 1) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (/ 1 (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (pow (exp x) 3) (pow 1.0 3)))) (sqrt (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (* (exp x) (exp x)) (* 1.0 1.0)))) (sqrt (+ (exp x) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)) (/ 1 2) (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) (- (exp x) 1.0) (- (exp x) 1.0) (+ (* 2.0 (pow x 2)) (+ (* 1.3333333333333333 (pow x 3)) (* 2.0 x))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (+ (* 0.5 (pow x 2)) (+ (* 1.0 x) 2.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (- (+ (* 0.25 (/ (pow x 2) (sqrt 2.0))) (+ (sqrt 2.0) (* 0.5 (/ x (sqrt 2.0))))) (* 0.125 (/ (pow x 2) (pow (sqrt 2.0) 3)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 1.946 * * [simplify]: iteration 0 : 232 enodes (cost 2954 ) 1.991 * * [simplify]: iteration 1 : 475 enodes (cost 2688 ) 2.130 * * [simplify]: iteration 2 : 1077 enodes (cost 2471 ) 2.777 * * [simplify]: iteration 3 : 3777 enodes (cost 2398 ) 3.586 * * [simplify]: iteration done : 5000 enodes (cost 2396 ) 3.587 * [simplify]: Simplified to: (- (pow (cbrt (exp x)) 3) 1.0) (* 0 1.0) (- (pow (cbrt (exp x)) 3) 1.0) (* 0 1.0) (- (pow (cbrt (exp x)) 3) 1.0) (* 0 1.0) (- (exp x) 1.0) (* 0 1.0) (- (exp x) 1.0) (* 0 1.0) (- (exp x) 1.0) (* 0 1.0) (- (exp x) 1.0) (* 0 1.0) (- (exp x) 1.0) (* 0 1.0) (- (exp x) 1.0) (* 0 1.0) (expm1 (- (exp x) 1.0)) (log1p (- (exp x) 1.0)) (- 1.0) (- 1.0) (- 1.0) (exp (- (exp x) 1.0)) (log (- (exp x) 1.0)) (exp (- (exp x) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (cbrt (- (exp x) 1.0)) (pow (- (exp x) 1.0) 3) (sqrt (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (- (pow (exp x) 3) (pow 1.0 3)) (fma 1.0 (+ (exp x) 1.0) (exp (+ x x))) (- 1.0) (- (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0) (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (exp x) 1.0) (- 1.0) (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) (* 0 1.0) (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) (* 0 1.0) (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) (* 0 1.0) (- (exp (* 2.0 x)) 1.0) (* 0 1.0) (- (exp (* 2.0 x)) 1.0) (* 0 1.0) (- (exp (* 2.0 x)) 1.0) (* 0 1.0) (- (exp (* 2.0 x)) 1.0) (* 0 1.0) (- (exp (* 2.0 x)) 1.0) (* 0 1.0) (- (exp (* 2.0 x)) 1.0) (* 0 1.0) (expm1 (- (exp (* 2.0 x)) 1.0)) (log1p (- (exp (* 2.0 x)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (exp (- (exp (* 2.0 x)) 1.0)) (log (- (exp (* 2.0 x)) 1.0)) (exp (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (cbrt (- (exp (* 2.0 x)) 1.0)) (pow (- (exp (* 2.0 x)) 1.0) 3) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) (fma 1.0 (+ (exp (* 2.0 x)) 1.0) (pow (exp 2.0) (+ x x))) (- 1.0) (- (pow (exp 2.0) (+ x x)) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (* 2.0 x)) 1.0) (- 1.0) (expm1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (log1p (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (log (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (log (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (exp (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (pow (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) 3) (* (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (pow (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) 3) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (- 1.0 (exp (* 2.0 x))) (- 1.0 (exp x)) (/ (exp (* 2.0 x)) (- (exp x) 1.0)) (/ 1.0 (- (exp x) 1.0)) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0))) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (sqrt (- (exp x) 1.0))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0))) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0))) (sqrt (- (exp (* 2.0 x)) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (sqrt (- (exp (* 2.0 x)) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp x) 1.0))) (/ 1 (sqrt (- (exp x) 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp x)) (sqrt 1.0))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (cbrt (- (exp x) 1.0))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0))) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0)) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0)) (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp x) 1.0))) (/ 1 (sqrt (- (exp x) 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp x)) (sqrt 1.0))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (- (exp x) 1.0)) (/ (- (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0))) (- (exp (* 2.0 x)) 1.0) (/ (- (exp (* 2.0 x)) 1.0) (+ (sqrt (exp x)) (sqrt 1.0))) (- (exp (* 2.0 x)) 1.0) (/ (- (exp x) 1.0) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp x) 1.0) (sqrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp x) 1.0) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (/ (- (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (pow (exp x) 3) (pow 1.0 3))) (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (* (fma 1.0 (+ (exp (* 2.0 x)) 1.0) (pow (exp 2.0) (+ x x))) (- (exp x) 1.0)) (* (- (exp x) 1.0) (+ (exp (* 2.0 x)) 1.0)) (expm1 (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (log1p (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (log (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (exp (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (* (cbrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (cbrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))))) (cbrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (pow (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 3) (fabs (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (fabs (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0)))) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0)))) (sqrt (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (sqrt (- (exp x) 1.0)))) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)))) (fabs (cbrt (- (exp (* 2.0 x)) 1.0))) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0)))) (fabs (cbrt (- (exp (* 2.0 x)) 1.0))) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (sqrt (- (exp (* 2.0 x)) 1.0))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0)))) (sqrt (sqrt (- (exp (* 2.0 x)) 1.0))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp x) 1.0)))) (sqrt (/ 1 (sqrt (- (exp x) 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0)))) 1 (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp x)) (sqrt 1.0)))) 1 (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (cbrt (- (exp x) 1.0)))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)))) (sqrt (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))) (sqrt (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp x) 1.0)))) (sqrt (/ 1 (sqrt (- (exp x) 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0)))) 1 (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp x)) (sqrt 1.0)))) 1 (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 1 (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (/ 1 (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (pow (exp x) 3) (pow 1.0 3)))) (sqrt (fma 1.0 (+ (exp x) 1.0) (exp (+ x x)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (sqrt (+ (exp x) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)) 1/2 (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (fma 1/2 (pow x 2) (fma 1/6 (pow x 3) x)) (- (exp x) 1.0) (- (exp x) 1.0) (fma 2.0 x (* (* x x) (+ 2.0 (* 1.3333333333333333 x)))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (fma 0.5 (pow x 2) (fma 1.0 x 2.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (+ (fma (/ x (sqrt 2.0)) 0.5 (sqrt 2.0)) (* (/ (pow x 2) (sqrt 2.0)) (- 0.25 (/ 0.125 2.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 3.588 * * * [progress]: adding candidates to table 3.958 * * [progress]: iteration 2 / 4 3.958 * * * [progress]: picking best candidate 3.970 * * * * [pick]: Picked # 3.970 * * * [progress]: localizing error 3.988 * * * [progress]: generating rewritten candidates 3.988 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 4.019 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 4.024 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 4.028 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 4.036 * * * [progress]: generating series expansions 4.036 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 4.037 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in (x) around 0 4.037 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 4.037 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 4.037 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.037 * [taylor]: Taking taylor expansion of 2 in x 4.037 * [taylor]: Taking taylor expansion of x in x 4.038 * [taylor]: Taking taylor expansion of 1.0 in x 4.038 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 4.038 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 4.038 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.038 * [taylor]: Taking taylor expansion of 2 in x 4.038 * [taylor]: Taking taylor expansion of x in x 4.038 * [taylor]: Taking taylor expansion of 1.0 in x 4.045 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in (x) around 0 4.045 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 4.045 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 4.045 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.045 * [taylor]: Taking taylor expansion of 2 in x 4.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.045 * [taylor]: Taking taylor expansion of x in x 4.045 * [taylor]: Taking taylor expansion of 1.0 in x 4.046 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 4.046 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 4.046 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.046 * [taylor]: Taking taylor expansion of 2 in x 4.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.046 * [taylor]: Taking taylor expansion of x in x 4.046 * [taylor]: Taking taylor expansion of 1.0 in x 4.050 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in (x) around 0 4.050 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 4.050 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 4.050 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 4.050 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.050 * [taylor]: Taking taylor expansion of 2 in x 4.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.050 * [taylor]: Taking taylor expansion of x in x 4.051 * [taylor]: Taking taylor expansion of 1.0 in x 4.051 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 4.051 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 4.051 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 4.051 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.051 * [taylor]: Taking taylor expansion of 2 in x 4.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.051 * [taylor]: Taking taylor expansion of x in x 4.052 * [taylor]: Taking taylor expansion of 1.0 in x 4.055 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 4.055 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 4.055 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 4.055 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 4.055 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 4.055 * [taylor]: Taking taylor expansion of 2.0 in x 4.055 * [taylor]: Taking taylor expansion of x in x 4.057 * [taylor]: Taking taylor expansion of 1.0 in x 4.057 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 4.057 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 4.057 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 4.057 * [taylor]: Taking taylor expansion of 2.0 in x 4.057 * [taylor]: Taking taylor expansion of x in x 4.058 * [taylor]: Taking taylor expansion of 1.0 in x 4.074 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 4.074 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 4.074 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 4.074 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 4.074 * [taylor]: Taking taylor expansion of 2.0 in x 4.075 * [taylor]: Taking taylor expansion of x in x 4.075 * [taylor]: Taking taylor expansion of 1.0 in x 4.075 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 4.075 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 4.075 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 4.075 * [taylor]: Taking taylor expansion of 2.0 in x 4.075 * [taylor]: Taking taylor expansion of x in x 4.075 * [taylor]: Taking taylor expansion of 1.0 in x 4.079 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 4.079 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 4.079 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 4.079 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 4.079 * [taylor]: Taking taylor expansion of -2.0 in x 4.079 * [taylor]: Taking taylor expansion of x in x 4.079 * [taylor]: Taking taylor expansion of 1.0 in x 4.079 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 4.079 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 4.079 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 4.079 * [taylor]: Taking taylor expansion of -2.0 in x 4.079 * [taylor]: Taking taylor expansion of x in x 4.080 * [taylor]: Taking taylor expansion of 1.0 in x 4.083 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 4.083 * [approximate]: Taking taylor expansion of (+ (exp x) 1.0) in (x) around 0 4.083 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 4.083 * [taylor]: Taking taylor expansion of (exp x) in x 4.083 * [taylor]: Taking taylor expansion of x in x 4.083 * [taylor]: Taking taylor expansion of 1.0 in x 4.083 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 4.083 * [taylor]: Taking taylor expansion of (exp x) in x 4.083 * [taylor]: Taking taylor expansion of x in x 4.083 * [taylor]: Taking taylor expansion of 1.0 in x 4.086 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in (x) around 0 4.086 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 4.086 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.086 * [taylor]: Taking taylor expansion of x in x 4.086 * [taylor]: Taking taylor expansion of 1.0 in x 4.086 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 4.086 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.086 * [taylor]: Taking taylor expansion of x in x 4.086 * [taylor]: Taking taylor expansion of 1.0 in x 4.088 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in (x) around 0 4.088 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 4.088 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.088 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.088 * [taylor]: Taking taylor expansion of -1 in x 4.088 * [taylor]: Taking taylor expansion of x in x 4.088 * [taylor]: Taking taylor expansion of 1.0 in x 4.088 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 4.089 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.089 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.089 * [taylor]: Taking taylor expansion of -1 in x 4.089 * [taylor]: Taking taylor expansion of x in x 4.089 * [taylor]: Taking taylor expansion of 1.0 in x 4.090 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 4.091 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) 1.0)) in (x) around 0 4.091 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1.0)) in x 4.091 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 4.091 * [taylor]: Taking taylor expansion of (exp x) in x 4.091 * [taylor]: Taking taylor expansion of x in x 4.091 * [taylor]: Taking taylor expansion of 1.0 in x 4.093 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1.0)) in x 4.093 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 4.093 * [taylor]: Taking taylor expansion of (exp x) in x 4.093 * [taylor]: Taking taylor expansion of x in x 4.093 * [taylor]: Taking taylor expansion of 1.0 in x 4.110 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1.0)) in (x) around 0 4.110 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1.0)) in x 4.110 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 4.110 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.110 * [taylor]: Taking taylor expansion of x in x 4.110 * [taylor]: Taking taylor expansion of 1.0 in x 4.111 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1.0)) in x 4.111 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 4.111 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.111 * [taylor]: Taking taylor expansion of x in x 4.111 * [taylor]: Taking taylor expansion of 1.0 in x 4.115 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1.0)) in (x) around 0 4.115 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1.0)) in x 4.115 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 4.115 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.115 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.115 * [taylor]: Taking taylor expansion of -1 in x 4.115 * [taylor]: Taking taylor expansion of x in x 4.116 * [taylor]: Taking taylor expansion of 1.0 in x 4.116 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1.0)) in x 4.116 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 4.116 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.116 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.116 * [taylor]: Taking taylor expansion of -1 in x 4.116 * [taylor]: Taking taylor expansion of x in x 4.117 * [taylor]: Taking taylor expansion of 1.0 in x 4.121 * * * [progress]: simplifying candidates 4.123 * [simplify]: Simplifying using # : (fma (exp x) (exp x) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma (* (cbrt (exp (+ x x))) (cbrt (exp (+ x x)))) (cbrt (exp (+ x x))) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma (sqrt (exp (+ x x))) (sqrt (exp (+ x x))) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma 1 (exp (+ x x)) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (expm1 (- (exp (+ x x)) (* 1.0 1.0))) (log1p (- (exp (+ x x)) (* 1.0 1.0))) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (/ (exp (exp (+ x x))) (exp (* 1.0 1.0))) (log (- (exp (+ x x)) (* 1.0 1.0))) (exp (- (exp (+ x x)) (* 1.0 1.0))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (* (* (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (+ x x)) (* 1.0 1.0))) (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (- (pow (exp (+ x x)) 3) (pow (* 1.0 1.0) 3)) (+ (* (exp (+ x x)) (exp (+ x x))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (exp (+ x x)) (* 1.0 1.0)))) (- (* 1.0 1.0)) (- (* (exp (+ x x)) (exp (+ x x))) (* (* 1.0 1.0) (* 1.0 1.0))) (+ (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0) (- (exp x) 1.0) (+ (sqrt (exp (+ x x))) 1.0) (- (sqrt (exp (+ x x))) 1.0) (- (* 1.0 1.0)) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma 1 (exp (* 2.0 x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma 1 (exp (* 2.0 x)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma 1 (exp (* 2.0 x)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (expm1 (- (exp (* 2.0 x)) 1.0)) (log1p (- (exp (* 2.0 x)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (/ (exp (exp (* 2.0 x))) (exp 1.0)) (log (- (exp (* 2.0 x)) 1.0)) (exp (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (cbrt (- (exp (* 2.0 x)) 1.0)) (* (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) (+ (* (exp (* 2.0 x)) (exp (* 2.0 x))) (+ (* 1.0 1.0) (* (exp (* 2.0 x)) 1.0))) (- 1.0) (- (* (exp (* 2.0 x)) (exp (* 2.0 x))) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (* 2.0 x)) 1.0) (- 1.0) (expm1 (+ (exp x) 1.0)) (log1p (+ (exp x) 1.0)) (* (exp (exp x)) (exp 1.0)) (log (+ (exp x) 1.0)) (exp (+ (exp x) 1.0)) (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0))) (cbrt (+ (exp x) 1.0)) (* (* (+ (exp x) 1.0) (+ (exp x) 1.0)) (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) (+ (pow (exp x) 3) (pow 1.0 3)) (+ (* (exp x) (exp x)) (- (* 1.0 1.0) (* (exp x) 1.0))) (- (* (exp x) (exp x)) (* 1.0 1.0)) (- (exp x) 1.0) (+ (exp x) 1.0) (expm1 (sqrt (+ (exp x) 1.0))) (log1p (sqrt (+ (exp x) 1.0))) (log (sqrt (+ (exp x) 1.0))) (exp (sqrt (+ (exp x) 1.0))) (* (cbrt (sqrt (+ (exp x) 1.0))) (cbrt (sqrt (+ (exp x) 1.0)))) (cbrt (sqrt (+ (exp x) 1.0))) (* (* (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0))) (sqrt (+ (exp x) 1.0))) (sqrt (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0)))) (sqrt (cbrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) (sqrt 1) (sqrt (+ (exp x) 1.0)) (sqrt 1) (sqrt (+ (exp x) 1.0)) (sqrt (+ (pow (exp x) 3) (pow 1.0 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1.0 1.0) (* (exp x) 1.0)))) (sqrt (- (* (exp x) (exp x)) (* 1.0 1.0))) (sqrt (- (exp x) 1.0)) (/ 1 2) (sqrt (sqrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) (+ (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (+ (* 2.0 (pow x 2)) (+ (* 1.3333333333333333 (pow x 3)) (* 2.0 x))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (+ (* 1/2 (pow x 2)) (+ x 2.0)) (+ (exp x) 1.0) (+ (exp x) 1.0) (- (+ (* 1/4 (/ (pow x 2) (sqrt 2.0))) (+ (sqrt 2.0) (* 1/2 (/ x (sqrt 2.0))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2.0) 3)))) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) 4.127 * * [simplify]: iteration 0 : 166 enodes (cost 1120 ) 4.159 * * [simplify]: iteration 1 : 360 enodes (cost 992 ) 4.265 * * [simplify]: iteration 2 : 925 enodes (cost 858 ) 4.634 * * [simplify]: iteration 3 : 3377 enodes (cost 795 ) 5.549 * * [simplify]: iteration done : 5000 enodes (cost 795 ) 5.550 * [simplify]: Simplified to: (- (pow (exp 2) x) (* 1.0 1.0)) (* 1.0 (- 1.0 1.0)) (fma 1.0 (- 1.0) (pow (cbrt (exp (+ x x))) 3)) (* 1.0 (- 1.0 1.0)) (- (pow (exp 2) x) (* 1.0 1.0)) (* 1.0 (- 1.0 1.0)) (- (pow (exp 2) x) (* 1.0 1.0)) (* 1.0 (- 1.0 1.0)) (expm1 (- (exp (+ x x)) (* 1.0 1.0))) (log1p (- (exp (+ x x)) (* 1.0 1.0))) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (exp (- (exp (* 2 x)) (* 1.0 1.0))) (log (- (exp (+ x x)) (* 1.0 1.0))) (exp (- (exp (* 2 x)) (* 1.0 1.0))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (pow (- (exp (* 2 x)) (* 1.0 1.0)) 3) (sqrt (- (exp (* 2 x)) (* 1.0 1.0))) (sqrt (- (exp (* 2 x)) (* 1.0 1.0))) (- (exp (* x 6)) (pow 1.0 6)) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (+ x x))) (exp (* x 4))) (- (* 1.0 1.0)) (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (exp (+ x x))) (+ 1.0 (exp x)) (- (exp x) 1.0) (+ 1.0 (fabs (exp x))) (- (fabs (exp x)) 1.0) (- (* 1.0 1.0)) (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) (- 1.0 1.0) (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) (- 1.0 1.0) (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) (- 1.0 1.0) (- (pow (exp x) 2.0) 1.0) (- 1.0 1.0) (- (pow (exp x) 2.0) 1.0) (- 1.0 1.0) (- (pow (exp x) 2.0) 1.0) (- 1.0 1.0) (- (pow (exp x) 2.0) 1.0) (- 1.0 1.0) (- (pow (exp x) 2.0) 1.0) (- 1.0 1.0) (- (pow (exp x) 2.0) 1.0) (- 1.0 1.0) (expm1 (- (exp (* 2.0 x)) 1.0)) (log1p (- (exp (* 2.0 x)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (exp (- (exp (* 2.0 x)) 1.0)) (log (- (exp (* 2.0 x)) 1.0)) (exp (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (cbrt (- (exp (* 2.0 x)) 1.0)) (pow (- (exp (* 2.0 x)) 1.0) 3) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) (fma 1.0 (+ (exp (* 2.0 x)) 1.0) (pow (exp 2.0) (+ x x))) (- 1.0) (- (pow (exp 2.0) (+ x x)) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (pow (exp x) 2.0) 1.0) (- 1.0) (expm1 (+ (exp x) 1.0)) (log1p (+ (exp x) 1.0)) (exp (+ (exp x) 1.0)) (log (+ (exp x) 1.0)) (exp (+ (exp x) 1.0)) (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0))) (cbrt (+ (exp x) 1.0)) (pow (+ 1.0 (exp x)) 3) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) (+ (pow (exp x) 3) (pow 1.0 3)) (fma 1.0 (- 1.0 (exp x)) (pow (exp 2) x)) (- (pow (exp 2) x) (* 1.0 1.0)) (- (exp x) 1.0) (+ 1.0 (exp x)) (expm1 (sqrt (+ (exp x) 1.0))) (log1p (sqrt (+ (exp x) 1.0))) (log (sqrt (+ (exp x) 1.0))) (exp (sqrt (+ (exp x) 1.0))) (* (cbrt (sqrt (+ (exp x) 1.0))) (cbrt (sqrt (+ (exp x) 1.0)))) (cbrt (sqrt (+ (exp x) 1.0))) (pow (sqrt (+ (exp x) 1.0)) 3) (fabs (cbrt (+ (exp x) 1.0))) (sqrt (cbrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) 1 (sqrt (+ (exp x) 1.0)) 1 (sqrt (+ (exp x) 1.0)) (hypot (pow (exp x) 3/2) (pow 1.0 3/2)) (sqrt (fma 1.0 (- 1.0 (exp x)) (pow (exp 2) x))) (sqrt (- (exp (* 2 x)) (* 1.0 1.0))) (sqrt (- (exp x) 1.0)) 1/2 (sqrt (sqrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) (fma 2 x (* (pow x 2) (+ (* x 4/3) 2))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (fma x 2.0 (* (pow x 2) (+ (* x 1.3333333333333333) 2.0))) (- (pow (exp x) 2.0) 1.0) (- (pow (exp x) 2.0) 1.0) (fma 1/2 (pow x 2) (+ x 2.0)) (+ 1.0 (exp x)) (+ 1.0 (exp x)) (+ (* (/ (pow x 2) (sqrt 2.0)) (- 1/4 (/ 1/8 2.0))) (fma (/ x (sqrt 2.0)) 1/2 (sqrt 2.0))) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) 5.550 * * * [progress]: adding candidates to table 5.863 * * [progress]: iteration 3 / 4 5.864 * * * [progress]: picking best candidate 5.872 * * * * [pick]: Picked # 5.872 * * * [progress]: localizing error 5.888 * * * [progress]: generating rewritten candidates 5.888 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 5.921 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 5.925 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 5.927 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 5.929 * * * [progress]: generating series expansions 5.929 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 5.930 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in (x) around 0 5.930 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 5.930 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 5.930 * [taylor]: Taking taylor expansion of (* 2 x) in x 5.930 * [taylor]: Taking taylor expansion of 2 in x 5.930 * [taylor]: Taking taylor expansion of x in x 5.930 * [taylor]: Taking taylor expansion of 1.0 in x 5.930 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 5.930 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 5.930 * [taylor]: Taking taylor expansion of (* 2 x) in x 5.930 * [taylor]: Taking taylor expansion of 2 in x 5.930 * [taylor]: Taking taylor expansion of x in x 5.931 * [taylor]: Taking taylor expansion of 1.0 in x 5.938 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in (x) around 0 5.938 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 5.938 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 5.938 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 5.938 * [taylor]: Taking taylor expansion of 2 in x 5.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.938 * [taylor]: Taking taylor expansion of x in x 5.938 * [taylor]: Taking taylor expansion of 1.0 in x 5.938 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 5.938 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 5.938 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 5.938 * [taylor]: Taking taylor expansion of 2 in x 5.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.938 * [taylor]: Taking taylor expansion of x in x 5.939 * [taylor]: Taking taylor expansion of 1.0 in x 5.943 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in (x) around 0 5.943 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 5.943 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 5.943 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 5.943 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 5.943 * [taylor]: Taking taylor expansion of 2 in x 5.943 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.943 * [taylor]: Taking taylor expansion of x in x 5.943 * [taylor]: Taking taylor expansion of 1.0 in x 5.943 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 5.943 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 5.943 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 5.943 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 5.944 * [taylor]: Taking taylor expansion of 2 in x 5.944 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.944 * [taylor]: Taking taylor expansion of x in x 5.944 * [taylor]: Taking taylor expansion of 1.0 in x 5.948 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 5.948 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 5.948 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 5.948 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 5.948 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 5.948 * [taylor]: Taking taylor expansion of 2.0 in x 5.948 * [taylor]: Taking taylor expansion of x in x 5.949 * [taylor]: Taking taylor expansion of 1.0 in x 5.949 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 5.949 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 5.949 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 5.949 * [taylor]: Taking taylor expansion of 2.0 in x 5.949 * [taylor]: Taking taylor expansion of x in x 5.950 * [taylor]: Taking taylor expansion of 1.0 in x 5.963 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 5.963 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 5.963 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 5.963 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 5.963 * [taylor]: Taking taylor expansion of 2.0 in x 5.963 * [taylor]: Taking taylor expansion of x in x 5.963 * [taylor]: Taking taylor expansion of 1.0 in x 5.964 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 5.964 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 5.964 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 5.964 * [taylor]: Taking taylor expansion of 2.0 in x 5.964 * [taylor]: Taking taylor expansion of x in x 5.964 * [taylor]: Taking taylor expansion of 1.0 in x 5.967 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 5.967 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 5.967 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 5.967 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 5.967 * [taylor]: Taking taylor expansion of -2.0 in x 5.967 * [taylor]: Taking taylor expansion of x in x 5.968 * [taylor]: Taking taylor expansion of 1.0 in x 5.968 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 5.968 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 5.968 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 5.968 * [taylor]: Taking taylor expansion of -2.0 in x 5.968 * [taylor]: Taking taylor expansion of x in x 5.968 * [taylor]: Taking taylor expansion of 1.0 in x 5.971 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 5.972 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 5.972 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 5.972 * [taylor]: Taking taylor expansion of (exp x) in x 5.972 * [taylor]: Taking taylor expansion of x in x 5.973 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 5.973 * [taylor]: Taking taylor expansion of (exp x) in x 5.973 * [taylor]: Taking taylor expansion of x in x 5.976 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 5.976 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 5.976 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.976 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.976 * [taylor]: Taking taylor expansion of x in x 5.976 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 5.976 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.976 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.976 * [taylor]: Taking taylor expansion of x in x 5.979 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 5.979 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 5.979 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.979 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.979 * [taylor]: Taking taylor expansion of -1 in x 5.979 * [taylor]: Taking taylor expansion of x in x 5.980 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 5.980 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.980 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.980 * [taylor]: Taking taylor expansion of -1 in x 5.980 * [taylor]: Taking taylor expansion of x in x 5.983 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 5.983 * [approximate]: Taking taylor expansion of (hypot (sqrt (exp x)) (sqrt 1.0)) in (x) around 0 5.983 * [taylor]: Taking taylor expansion of (hypot (sqrt (exp x)) (sqrt 1.0)) in x 5.985 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt 1.0) (sqrt 1.0)))) 5.985 * [taylor]: Taking taylor expansion of (+ (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt 1.0) (sqrt 1.0))) in x 5.985 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 5.985 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 5.985 * [taylor]: Taking taylor expansion of (exp x) in x 5.985 * [taylor]: Taking taylor expansion of x in x 5.986 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 5.986 * [taylor]: Taking taylor expansion of (exp x) in x 5.986 * [taylor]: Taking taylor expansion of x in x 5.990 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 5.990 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.990 * [taylor]: Taking taylor expansion of 1.0 in x 5.991 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.991 * [taylor]: Taking taylor expansion of 1.0 in x 5.999 * [taylor]: Taking taylor expansion of (hypot (sqrt (exp x)) (sqrt 1.0)) in x 5.999 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt 1.0) (sqrt 1.0)))) 5.999 * [taylor]: Taking taylor expansion of (+ (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt 1.0) (sqrt 1.0))) in x 5.999 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 5.999 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 5.999 * [taylor]: Taking taylor expansion of (exp x) in x 5.999 * [taylor]: Taking taylor expansion of x in x 6.000 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 6.000 * [taylor]: Taking taylor expansion of (exp x) in x 6.000 * [taylor]: Taking taylor expansion of x in x 6.001 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 6.001 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.001 * [taylor]: Taking taylor expansion of 1.0 in x 6.002 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.002 * [taylor]: Taking taylor expansion of 1.0 in x 6.044 * [approximate]: Taking taylor expansion of (hypot (sqrt (exp (/ 1 x))) (sqrt 1.0)) in (x) around 0 6.044 * [taylor]: Taking taylor expansion of (hypot (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x 6.044 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (* (sqrt 1.0) (sqrt 1.0)))) 6.044 * [taylor]: Taking taylor expansion of (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (* (sqrt 1.0) (sqrt 1.0))) in x 6.044 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 6.044 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 6.044 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.044 * [taylor]: Taking taylor expansion of x in x 6.045 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 6.045 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.045 * [taylor]: Taking taylor expansion of x in x 6.045 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 6.045 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.045 * [taylor]: Taking taylor expansion of 1.0 in x 6.046 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.046 * [taylor]: Taking taylor expansion of 1.0 in x 6.050 * [taylor]: Taking taylor expansion of (hypot (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x 6.050 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (* (sqrt 1.0) (sqrt 1.0)))) 6.050 * [taylor]: Taking taylor expansion of (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (* (sqrt 1.0) (sqrt 1.0))) in x 6.050 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 6.050 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 6.050 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.050 * [taylor]: Taking taylor expansion of x in x 6.051 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 6.051 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.051 * [taylor]: Taking taylor expansion of x in x 6.051 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 6.051 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.051 * [taylor]: Taking taylor expansion of 1.0 in x 6.052 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.052 * [taylor]: Taking taylor expansion of 1.0 in x 6.086 * [approximate]: Taking taylor expansion of (hypot (sqrt (exp (/ -1 x))) (sqrt 1.0)) in (x) around 0 6.086 * [taylor]: Taking taylor expansion of (hypot (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x 6.086 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (* (sqrt 1.0) (sqrt 1.0)))) 6.086 * [taylor]: Taking taylor expansion of (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (* (sqrt 1.0) (sqrt 1.0))) in x 6.086 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 6.086 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 6.086 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.086 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.086 * [taylor]: Taking taylor expansion of -1 in x 6.086 * [taylor]: Taking taylor expansion of x in x 6.087 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 6.087 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.087 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.087 * [taylor]: Taking taylor expansion of -1 in x 6.087 * [taylor]: Taking taylor expansion of x in x 6.087 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 6.087 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.087 * [taylor]: Taking taylor expansion of 1.0 in x 6.088 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.088 * [taylor]: Taking taylor expansion of 1.0 in x 6.092 * [taylor]: Taking taylor expansion of (hypot (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x 6.092 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (* (sqrt 1.0) (sqrt 1.0)))) 6.092 * [taylor]: Taking taylor expansion of (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (* (sqrt 1.0) (sqrt 1.0))) in x 6.092 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 6.092 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 6.092 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.092 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.092 * [taylor]: Taking taylor expansion of -1 in x 6.093 * [taylor]: Taking taylor expansion of x in x 6.093 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 6.093 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.093 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.093 * [taylor]: Taking taylor expansion of -1 in x 6.093 * [taylor]: Taking taylor expansion of x in x 6.093 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 6.093 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.093 * [taylor]: Taking taylor expansion of 1.0 in x 6.094 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.094 * [taylor]: Taking taylor expansion of 1.0 in x 6.126 * * * [progress]: simplifying candidates 6.127 * [simplify]: Simplifying using # : (fma (exp x) (exp x) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma (* (cbrt (exp (+ x x))) (cbrt (exp (+ x x)))) (cbrt (exp (+ x x))) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma (sqrt (exp (+ x x))) (sqrt (exp (+ x x))) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma 1 (exp (+ x x)) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (expm1 (- (exp (+ x x)) (* 1.0 1.0))) (log1p (- (exp (+ x x)) (* 1.0 1.0))) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (/ (exp (exp (+ x x))) (exp (* 1.0 1.0))) (log (- (exp (+ x x)) (* 1.0 1.0))) (exp (- (exp (+ x x)) (* 1.0 1.0))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (* (* (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (+ x x)) (* 1.0 1.0))) (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (- (pow (exp (+ x x)) 3) (pow (* 1.0 1.0) 3)) (+ (* (exp (+ x x)) (exp (+ x x))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (exp (+ x x)) (* 1.0 1.0)))) (- (* 1.0 1.0)) (- (* (exp (+ x x)) (exp (+ x x))) (* (* 1.0 1.0) (* 1.0 1.0))) (+ (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0) (- (exp x) 1.0) (+ (sqrt (exp (+ x x))) 1.0) (- (sqrt (exp (+ x x))) 1.0) (- (* 1.0 1.0)) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma 1 (exp (* 2.0 x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma 1 (exp (* 2.0 x)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma 1 (exp (* 2.0 x)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (expm1 (- (exp (* 2.0 x)) 1.0)) (log1p (- (exp (* 2.0 x)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (/ (exp (exp (* 2.0 x))) (exp 1.0)) (log (- (exp (* 2.0 x)) 1.0)) (exp (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (cbrt (- (exp (* 2.0 x)) 1.0)) (* (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) (+ (* (exp (* 2.0 x)) (exp (* 2.0 x))) (+ (* 1.0 1.0) (* (exp (* 2.0 x)) 1.0))) (- 1.0) (- (* (exp (* 2.0 x)) (exp (* 2.0 x))) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (* 2.0 x)) 1.0) (- 1.0) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (sqrt 1) (sqrt (exp x)) (/ 1 2) (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (expm1 (hypot (sqrt (exp x)) (sqrt 1.0))) (log1p (hypot (sqrt (exp x)) (sqrt 1.0))) (+ (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt 1.0) (sqrt 1.0))) (log (hypot (sqrt (exp x)) (sqrt 1.0))) (exp (hypot (sqrt (exp x)) (sqrt 1.0))) (* (cbrt (hypot (sqrt (exp x)) (sqrt 1.0))) (cbrt (hypot (sqrt (exp x)) (sqrt 1.0)))) (cbrt (hypot (sqrt (exp x)) (sqrt 1.0))) (* (* (hypot (sqrt (exp x)) (sqrt 1.0)) (hypot (sqrt (exp x)) (sqrt 1.0))) (hypot (sqrt (exp x)) (sqrt 1.0))) (sqrt (hypot (sqrt (exp x)) (sqrt 1.0))) (sqrt (hypot (sqrt (exp x)) (sqrt 1.0))) (+ (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (+ (* 2.0 (pow x 2)) (+ (* 1.3333333333333333 (pow x 3)) (* 2.0 x))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt (exp x)) (sqrt (exp x)) (- (+ (* 1/2 (* x (sqrt (/ 1 (+ (pow (sqrt 1.0) 2) 1))))) (+ (sqrt (+ (pow (sqrt 1.0) 2) 1)) (* 1/4 (* (pow x 2) (sqrt (/ 1 (+ (pow (sqrt 1.0) 2) 1))))))) (* 1/8 (* (pow x 2) (sqrt (/ 1 (pow (+ (pow (sqrt 1.0) 2) 1) 3)))))) (sqrt (+ (exp x) (pow (sqrt 1.0) 2))) (sqrt (+ (exp x) (pow (sqrt 1.0) 2))) 6.132 * * [simplify]: iteration 0 : 172 enodes (cost 1073 ) 6.164 * * [simplify]: iteration 1 : 346 enodes (cost 931 ) 6.253 * * [simplify]: iteration 2 : 841 enodes (cost 798 ) 6.570 * * [simplify]: iteration 3 : 2888 enodes (cost 735 ) 7.322 * * [simplify]: iteration done : 5000 enodes (cost 735 ) 7.323 * [simplify]: Simplified to: (fma 1.0 (- 1.0) (exp (+ x x))) (* 1.0 (- 1.0 1.0)) (fma 1.0 (- 1.0) (pow (cbrt (exp (+ x x))) 3)) (* 1.0 (- 1.0 1.0)) (fma 1.0 (- 1.0) (exp (+ x x))) (* 1.0 (- 1.0 1.0)) (fma 1.0 (- 1.0) (exp (+ x x))) (* 1.0 (- 1.0 1.0)) (expm1 (- (exp (+ x x)) (* 1.0 1.0))) (log1p (- (exp (+ x x)) (* 1.0 1.0))) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (exp (- (exp (* 2 x)) (* 1.0 1.0))) (log (- (exp (+ x x)) (* 1.0 1.0))) (exp (- (exp (* 2 x)) (* 1.0 1.0))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (pow (- (exp (* 2 x)) (* 1.0 1.0)) 3) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (- (pow (exp x) 6) (pow 1.0 6)) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (+ x x))) (exp (* x 4))) (- (* 1.0 1.0)) (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (exp (+ x x))) (+ (exp x) 1.0) (- (exp x) 1.0) (+ 1.0 (fabs (exp x))) (- (fabs (exp x)) 1.0) (- (* 1.0 1.0)) (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) (- 1.0 1.0) (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) (- 1.0 1.0) (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) (- 1.0 1.0) (- (pow (exp 2.0) x) 1.0) (- 1.0 1.0) (- (pow (exp 2.0) x) 1.0) (- 1.0 1.0) (- (pow (exp 2.0) x) 1.0) (- 1.0 1.0) (- (pow (exp 2.0) x) 1.0) (- 1.0 1.0) (- (pow (exp 2.0) x) 1.0) (- 1.0 1.0) (- (pow (exp 2.0) x) 1.0) (- 1.0 1.0) (expm1 (- (exp (* 2.0 x)) 1.0)) (log1p (- (exp (* 2.0 x)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (exp (- (exp (* 2.0 x)) 1.0)) (log (- (exp (* 2.0 x)) 1.0)) (exp (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (cbrt (- (exp (* 2.0 x)) 1.0)) (pow (- (exp (* 2.0 x)) 1.0) 3) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) (fma 1.0 (+ (exp (* 2.0 x)) 1.0) (pow (exp 2.0) (+ x x))) (- 1.0) (- (pow (exp 2.0) (+ x x)) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (pow (exp 2.0) x) 1.0) (- 1.0) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (pow (sqrt (exp x)) 3) (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) 1 (sqrt (exp x)) 1/2 (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (expm1 (hypot (sqrt (exp x)) (sqrt 1.0))) (log1p (hypot (sqrt (exp x)) (sqrt 1.0))) (+ (exp x) 1.0) (log (hypot (sqrt (exp x)) (sqrt 1.0))) (exp (hypot (sqrt (exp x)) (sqrt 1.0))) (* (cbrt (hypot (sqrt (exp x)) (sqrt 1.0))) (cbrt (hypot (sqrt (exp x)) (sqrt 1.0)))) (cbrt (hypot (sqrt (exp x)) (sqrt 1.0))) (pow (hypot (sqrt (exp x)) (sqrt 1.0)) 3) (sqrt (hypot (sqrt (exp x)) (sqrt 1.0))) (sqrt (hypot (sqrt (exp x)) (sqrt 1.0))) (fma (pow x 3) 4/3 (* x (+ (+ x x) 2))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (fma 2.0 x (* (* x x) (+ (* 1.3333333333333333 x) 2.0))) (- (pow (exp 2.0) x) 1.0) (- (pow (exp 2.0) x) 1.0) (fma 1/8 (pow x 2) (fma 1/2 x 1)) (sqrt (exp x)) (sqrt (exp x)) (fma -1/8 (* (sqrt (/ 1 (pow (+ 1 1.0) 3))) (pow x 2)) (+ (sqrt (+ 1 1.0)) (* (sqrt (/ 1 (+ 1 1.0))) (+ (* 1/2 x) (* 1/4 (pow x 2)))))) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) 7.323 * * * [progress]: adding candidates to table 7.652 * * [progress]: iteration 4 / 4 7.652 * * * [progress]: picking best candidate 7.657 * * * * [pick]: Picked # 7.657 * * * [progress]: localizing error 7.676 * * * [progress]: generating rewritten candidates 7.676 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 7.710 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 7.715 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 7.715 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 7.717 * * * [progress]: generating series expansions 7.717 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 7.718 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in (x) around 0 7.718 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 7.718 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 7.718 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.718 * [taylor]: Taking taylor expansion of 2 in x 7.718 * [taylor]: Taking taylor expansion of x in x 7.719 * [taylor]: Taking taylor expansion of 1.0 in x 7.719 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 7.719 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 7.719 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.719 * [taylor]: Taking taylor expansion of 2 in x 7.719 * [taylor]: Taking taylor expansion of x in x 7.719 * [taylor]: Taking taylor expansion of 1.0 in x 7.726 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in (x) around 0 7.726 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 7.726 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 7.726 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.726 * [taylor]: Taking taylor expansion of 2 in x 7.726 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.726 * [taylor]: Taking taylor expansion of x in x 7.727 * [taylor]: Taking taylor expansion of 1.0 in x 7.727 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 7.727 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 7.727 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.727 * [taylor]: Taking taylor expansion of 2 in x 7.727 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.727 * [taylor]: Taking taylor expansion of x in x 7.727 * [taylor]: Taking taylor expansion of 1.0 in x 7.731 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in (x) around 0 7.731 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 7.731 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 7.731 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 7.731 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.731 * [taylor]: Taking taylor expansion of 2 in x 7.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.731 * [taylor]: Taking taylor expansion of x in x 7.732 * [taylor]: Taking taylor expansion of 1.0 in x 7.732 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 7.732 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 7.732 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 7.732 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.732 * [taylor]: Taking taylor expansion of 2 in x 7.732 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.732 * [taylor]: Taking taylor expansion of x in x 7.733 * [taylor]: Taking taylor expansion of 1.0 in x 7.736 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 7.736 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 7.737 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 7.737 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 7.737 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 7.737 * [taylor]: Taking taylor expansion of 2.0 in x 7.737 * [taylor]: Taking taylor expansion of x in x 7.738 * [taylor]: Taking taylor expansion of 1.0 in x 7.738 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 7.738 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 7.738 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 7.738 * [taylor]: Taking taylor expansion of 2.0 in x 7.738 * [taylor]: Taking taylor expansion of x in x 7.739 * [taylor]: Taking taylor expansion of 1.0 in x 7.752 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 7.752 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 7.752 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 7.752 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 7.752 * [taylor]: Taking taylor expansion of 2.0 in x 7.752 * [taylor]: Taking taylor expansion of x in x 7.753 * [taylor]: Taking taylor expansion of 1.0 in x 7.753 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 7.753 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 7.753 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 7.753 * [taylor]: Taking taylor expansion of 2.0 in x 7.753 * [taylor]: Taking taylor expansion of x in x 7.753 * [taylor]: Taking taylor expansion of 1.0 in x 7.757 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 7.757 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 7.757 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 7.757 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 7.757 * [taylor]: Taking taylor expansion of -2.0 in x 7.757 * [taylor]: Taking taylor expansion of x in x 7.757 * [taylor]: Taking taylor expansion of 1.0 in x 7.757 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 7.757 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 7.757 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 7.757 * [taylor]: Taking taylor expansion of -2.0 in x 7.757 * [taylor]: Taking taylor expansion of x in x 7.758 * [taylor]: Taking taylor expansion of 1.0 in x 7.761 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 7.761 * [approximate]: Taking taylor expansion of (log1p (+ (exp x) 1.0)) in (x) around 0 7.761 * [taylor]: Taking taylor expansion of (log1p (+ (exp x) 1.0)) in x 7.761 * [taylor]: Rewrote expression to (log (+ 1 (+ (exp x) 1.0))) 7.761 * [taylor]: Taking taylor expansion of (+ 1 (+ (exp x) 1.0)) in x 7.761 * [taylor]: Taking taylor expansion of 1 in x 7.762 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 7.762 * [taylor]: Taking taylor expansion of (exp x) in x 7.762 * [taylor]: Taking taylor expansion of x in x 7.762 * [taylor]: Taking taylor expansion of 1.0 in x 7.762 * [taylor]: Taking taylor expansion of (log1p (+ (exp x) 1.0)) in x 7.763 * [taylor]: Rewrote expression to (log (+ 1 (+ (exp x) 1.0))) 7.763 * [taylor]: Taking taylor expansion of (+ 1 (+ (exp x) 1.0)) in x 7.763 * [taylor]: Taking taylor expansion of 1 in x 7.763 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 7.763 * [taylor]: Taking taylor expansion of (exp x) in x 7.763 * [taylor]: Taking taylor expansion of x in x 7.763 * [taylor]: Taking taylor expansion of 1.0 in x 7.786 * [approximate]: Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1.0)) in (x) around 0 7.786 * [taylor]: Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1.0)) in x 7.787 * [taylor]: Rewrote expression to (log (+ 1 (+ (exp (/ 1 x)) 1.0))) 7.787 * [taylor]: Taking taylor expansion of (+ 1 (+ (exp (/ 1 x)) 1.0)) in x 7.787 * [taylor]: Taking taylor expansion of 1 in x 7.787 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 7.787 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.787 * [taylor]: Taking taylor expansion of x in x 7.787 * [taylor]: Taking taylor expansion of 1.0 in x 7.787 * [taylor]: Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1.0)) in x 7.787 * [taylor]: Rewrote expression to (log (+ 1 (+ (exp (/ 1 x)) 1.0))) 7.787 * [taylor]: Taking taylor expansion of (+ 1 (+ (exp (/ 1 x)) 1.0)) in x 7.787 * [taylor]: Taking taylor expansion of 1 in x 7.787 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 7.787 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.787 * [taylor]: Taking taylor expansion of x in x 7.788 * [taylor]: Taking taylor expansion of 1.0 in x 7.809 * [approximate]: Taking taylor expansion of (log1p (+ (exp (/ -1 x)) 1.0)) in (x) around 0 7.809 * [taylor]: Taking taylor expansion of (log1p (+ (exp (/ -1 x)) 1.0)) in x 7.809 * [taylor]: Rewrote expression to (log (+ 1 (+ (exp (/ -1 x)) 1.0))) 7.809 * [taylor]: Taking taylor expansion of (+ 1 (+ (exp (/ -1 x)) 1.0)) in x 7.809 * [taylor]: Taking taylor expansion of 1 in x 7.809 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 7.809 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.809 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.809 * [taylor]: Taking taylor expansion of -1 in x 7.809 * [taylor]: Taking taylor expansion of x in x 7.810 * [taylor]: Taking taylor expansion of 1.0 in x 7.810 * [taylor]: Taking taylor expansion of (log1p (+ (exp (/ -1 x)) 1.0)) in x 7.810 * [taylor]: Rewrote expression to (log (+ 1 (+ (exp (/ -1 x)) 1.0))) 7.810 * [taylor]: Taking taylor expansion of (+ 1 (+ (exp (/ -1 x)) 1.0)) in x 7.810 * [taylor]: Taking taylor expansion of 1 in x 7.810 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 7.810 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.810 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.810 * [taylor]: Taking taylor expansion of -1 in x 7.810 * [taylor]: Taking taylor expansion of x in x 7.810 * [taylor]: Taking taylor expansion of 1.0 in x 7.832 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 7.832 * [approximate]: Taking taylor expansion of (expm1 (log1p (+ (exp x) 1.0))) in (x) around 0 7.832 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ (exp x) 1.0))) in x 7.832 * [taylor]: Rewrote expression to (- (exp (log1p (+ (exp x) 1.0))) 1) 7.832 * [taylor]: Taking taylor expansion of (exp (log1p (+ (exp x) 1.0))) in x 7.832 * [taylor]: Taking taylor expansion of (log1p (+ (exp x) 1.0)) in x 7.832 * [taylor]: Rewrote expression to (log (+ 1 (+ (exp x) 1.0))) 7.832 * [taylor]: Taking taylor expansion of (+ 1 (+ (exp x) 1.0)) in x 7.832 * [taylor]: Taking taylor expansion of 1 in x 7.832 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 7.832 * [taylor]: Taking taylor expansion of (exp x) in x 7.832 * [taylor]: Taking taylor expansion of x in x 7.832 * [taylor]: Taking taylor expansion of 1.0 in x 7.834 * [taylor]: Taking taylor expansion of 1 in x 7.834 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ (exp x) 1.0))) in x 7.834 * [taylor]: Rewrote expression to (- (exp (log1p (+ (exp x) 1.0))) 1) 7.834 * [taylor]: Taking taylor expansion of (exp (log1p (+ (exp x) 1.0))) in x 7.834 * [taylor]: Taking taylor expansion of (log1p (+ (exp x) 1.0)) in x 7.834 * [taylor]: Rewrote expression to (log (+ 1 (+ (exp x) 1.0))) 7.834 * [taylor]: Taking taylor expansion of (+ 1 (+ (exp x) 1.0)) in x 7.834 * [taylor]: Taking taylor expansion of 1 in x 7.834 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 7.834 * [taylor]: Taking taylor expansion of (exp x) in x 7.834 * [taylor]: Taking taylor expansion of x in x 7.834 * [taylor]: Taking taylor expansion of 1.0 in x 7.835 * [taylor]: Taking taylor expansion of 1 in x 7.872 * [approximate]: Taking taylor expansion of (expm1 (log1p (+ (exp (/ 1 x)) 1.0))) in (x) around 0 7.872 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ (exp (/ 1 x)) 1.0))) in x 7.872 * [taylor]: Rewrote expression to (- (exp (log1p (+ (exp (/ 1 x)) 1.0))) 1) 7.872 * [taylor]: Taking taylor expansion of (exp (log1p (+ (exp (/ 1 x)) 1.0))) in x 7.872 * [taylor]: Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1.0)) in x 7.872 * [taylor]: Rewrote expression to (log (+ 1 (+ (exp (/ 1 x)) 1.0))) 7.872 * [taylor]: Taking taylor expansion of (+ 1 (+ (exp (/ 1 x)) 1.0)) in x 7.872 * [taylor]: Taking taylor expansion of 1 in x 7.872 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 7.872 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.872 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.872 * [taylor]: Taking taylor expansion of x in x 7.872 * [taylor]: Taking taylor expansion of 1.0 in x 7.873 * [taylor]: Taking taylor expansion of 1 in x 7.873 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ (exp (/ 1 x)) 1.0))) in x 7.873 * [taylor]: Rewrote expression to (- (exp (log1p (+ (exp (/ 1 x)) 1.0))) 1) 7.873 * [taylor]: Taking taylor expansion of (exp (log1p (+ (exp (/ 1 x)) 1.0))) in x 7.873 * [taylor]: Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1.0)) in x 7.873 * [taylor]: Rewrote expression to (log (+ 1 (+ (exp (/ 1 x)) 1.0))) 7.873 * [taylor]: Taking taylor expansion of (+ 1 (+ (exp (/ 1 x)) 1.0)) in x 7.873 * [taylor]: Taking taylor expansion of 1 in x 7.873 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 7.873 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.873 * [taylor]: Taking taylor expansion of x in x 7.873 * [taylor]: Taking taylor expansion of 1.0 in x 7.874 * [taylor]: Taking taylor expansion of 1 in x 7.907 * [approximate]: Taking taylor expansion of (expm1 (log1p (+ (exp (/ -1 x)) 1.0))) in (x) around 0 7.907 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ (exp (/ -1 x)) 1.0))) in x 7.907 * [taylor]: Rewrote expression to (- (exp (log1p (+ (exp (/ -1 x)) 1.0))) 1) 7.907 * [taylor]: Taking taylor expansion of (exp (log1p (+ (exp (/ -1 x)) 1.0))) in x 7.907 * [taylor]: Taking taylor expansion of (log1p (+ (exp (/ -1 x)) 1.0)) in x 7.907 * [taylor]: Rewrote expression to (log (+ 1 (+ (exp (/ -1 x)) 1.0))) 7.907 * [taylor]: Taking taylor expansion of (+ 1 (+ (exp (/ -1 x)) 1.0)) in x 7.907 * [taylor]: Taking taylor expansion of 1 in x 7.907 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 7.907 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.907 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.907 * [taylor]: Taking taylor expansion of -1 in x 7.907 * [taylor]: Taking taylor expansion of x in x 7.907 * [taylor]: Taking taylor expansion of 1.0 in x 7.908 * [taylor]: Taking taylor expansion of 1 in x 7.908 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ (exp (/ -1 x)) 1.0))) in x 7.908 * [taylor]: Rewrote expression to (- (exp (log1p (+ (exp (/ -1 x)) 1.0))) 1) 7.908 * [taylor]: Taking taylor expansion of (exp (log1p (+ (exp (/ -1 x)) 1.0))) in x 7.908 * [taylor]: Taking taylor expansion of (log1p (+ (exp (/ -1 x)) 1.0)) in x 7.908 * [taylor]: Rewrote expression to (log (+ 1 (+ (exp (/ -1 x)) 1.0))) 7.908 * [taylor]: Taking taylor expansion of (+ 1 (+ (exp (/ -1 x)) 1.0)) in x 7.908 * [taylor]: Taking taylor expansion of 1 in x 7.908 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 7.908 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.908 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.908 * [taylor]: Taking taylor expansion of -1 in x 7.908 * [taylor]: Taking taylor expansion of x in x 7.909 * [taylor]: Taking taylor expansion of 1.0 in x 7.909 * [taylor]: Taking taylor expansion of 1 in x 7.947 * * * [progress]: simplifying candidates 7.949 * [simplify]: Simplifying using # : (fma (exp x) (exp x) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma (* (cbrt (exp (+ x x))) (cbrt (exp (+ x x)))) (cbrt (exp (+ x x))) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma (sqrt (exp (+ x x))) (sqrt (exp (+ x x))) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma 1 (exp (+ x x)) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (expm1 (- (exp (+ x x)) (* 1.0 1.0))) (log1p (- (exp (+ x x)) (* 1.0 1.0))) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (/ (exp (exp (+ x x))) (exp (* 1.0 1.0))) (log (- (exp (+ x x)) (* 1.0 1.0))) (exp (- (exp (+ x x)) (* 1.0 1.0))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (* (* (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (+ x x)) (* 1.0 1.0))) (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (- (pow (exp (+ x x)) 3) (pow (* 1.0 1.0) 3)) (+ (* (exp (+ x x)) (exp (+ x x))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (exp (+ x x)) (* 1.0 1.0)))) (- (* 1.0 1.0)) (- (* (exp (+ x x)) (exp (+ x x))) (* (* 1.0 1.0) (* 1.0 1.0))) (+ (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0) (- (exp x) 1.0) (+ (sqrt (exp (+ x x))) 1.0) (- (sqrt (exp (+ x x))) 1.0) (- (* 1.0 1.0)) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma 1 (exp (* 2.0 x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma 1 (exp (* 2.0 x)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma 1 (exp (* 2.0 x)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (expm1 (- (exp (* 2.0 x)) 1.0)) (log1p (- (exp (* 2.0 x)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (/ (exp (exp (* 2.0 x))) (exp 1.0)) (log (- (exp (* 2.0 x)) 1.0)) (exp (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (cbrt (- (exp (* 2.0 x)) 1.0)) (* (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) (+ (* (exp (* 2.0 x)) (exp (* 2.0 x))) (+ (* 1.0 1.0) (* (exp (* 2.0 x)) 1.0))) (- 1.0) (- (* (exp (* 2.0 x)) (exp (* 2.0 x))) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (* 2.0 x)) 1.0) (- 1.0) (+ 1 (+ (exp x) 1.0)) (expm1 (log1p (+ (exp x) 1.0))) (log1p (log1p (+ (exp x) 1.0))) (log (log1p (+ (exp x) 1.0))) (exp (log1p (+ (exp x) 1.0))) (* (cbrt (log1p (+ (exp x) 1.0))) (cbrt (log1p (+ (exp x) 1.0)))) (cbrt (log1p (+ (exp x) 1.0))) (* (* (log1p (+ (exp x) 1.0)) (log1p (+ (exp x) 1.0))) (log1p (+ (exp x) 1.0))) (sqrt (log1p (+ (exp x) 1.0))) (sqrt (log1p (+ (exp x) 1.0))) (exp (log1p (+ (exp x) 1.0))) (expm1 (expm1 (log1p (+ (exp x) 1.0)))) (log1p (expm1 (log1p (+ (exp x) 1.0)))) (log (expm1 (log1p (+ (exp x) 1.0)))) (exp (expm1 (log1p (+ (exp x) 1.0)))) (* (cbrt (expm1 (log1p (+ (exp x) 1.0)))) (cbrt (expm1 (log1p (+ (exp x) 1.0))))) (cbrt (expm1 (log1p (+ (exp x) 1.0)))) (* (* (expm1 (log1p (+ (exp x) 1.0))) (expm1 (log1p (+ (exp x) 1.0)))) (expm1 (log1p (+ (exp x) 1.0)))) (sqrt (expm1 (log1p (+ (exp x) 1.0)))) (sqrt (expm1 (log1p (+ (exp x) 1.0)))) (+ (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (+ (* 2.0 (pow x 2)) (+ (* 1.3333333333333333 (pow x 3)) (* 2.0 x))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (- (+ (* 0.16666666666666666 (pow x 2)) (+ (* 0.3333333333333333 x) (log 3.0))) (* 1/2 (/ (pow x 2) (pow 3.0 2)))) (log (+ (exp x) 2.0)) (log (+ (exp x) 2.0)) (- (+ (* 0.6666666666666666 (pow x 2)) (+ (* 1.0 x) 2.0)) (* 1.5 (/ (pow x 2) (pow 3.0 2)))) (+ (exp x) 1.0) (+ (exp x) 1.0) 7.952 * * [simplify]: iteration 0 : 157 enodes (cost 1030 ) 7.979 * * [simplify]: iteration 1 : 329 enodes (cost 900 ) 8.075 * * [simplify]: iteration 2 : 856 enodes (cost 763 ) 8.391 * * [simplify]: iteration 3 : 3008 enodes (cost 705 ) 9.100 * * [simplify]: iteration done : 5000 enodes (cost 705 ) 9.101 * [simplify]: Simplified to: (- (exp (+ x x)) (* 1.0 1.0)) (* 1.0 (- 1.0 1.0)) (fma 1.0 (- 1.0) (pow (cbrt (exp (+ x x))) 3)) (* 1.0 (- 1.0 1.0)) (- (exp (+ x x)) (* 1.0 1.0)) (* 1.0 (- 1.0 1.0)) (- (exp (+ x x)) (* 1.0 1.0)) (* 1.0 (- 1.0 1.0)) (expm1 (- (exp (+ x x)) (* 1.0 1.0))) (log1p (- (exp (+ x x)) (* 1.0 1.0))) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (exp (- (exp (* 2 x)) (* 1.0 1.0))) (log (- (exp (+ x x)) (* 1.0 1.0))) (exp (- (exp (* 2 x)) (* 1.0 1.0))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (pow (- (exp (* 2 x)) (* 1.0 1.0)) 3) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (- (exp (* x 6)) (pow 1.0 6)) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (+ x x))) (exp (* x 4))) (- (* 1.0 1.0)) (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (exp (+ x x))) (+ 1.0 (exp x)) (- (exp x) 1.0) (+ 1.0 (fabs (exp x))) (- (fabs (exp x)) 1.0) (- (* 1.0 1.0)) (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) (- 1.0 1.0) (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) (- 1.0 1.0) (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) (- 1.0 1.0) (- (pow (exp x) 2.0) 1.0) (- 1.0 1.0) (- (pow (exp x) 2.0) 1.0) (- 1.0 1.0) (- (pow (exp x) 2.0) 1.0) (- 1.0 1.0) (- (pow (exp x) 2.0) 1.0) (- 1.0 1.0) (- (pow (exp x) 2.0) 1.0) (- 1.0 1.0) (- (pow (exp x) 2.0) 1.0) (- 1.0 1.0) (expm1 (- (exp (* 2.0 x)) 1.0)) (log1p (- (exp (* 2.0 x)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (exp (- (exp (* 2.0 x)) 1.0)) (log (- (exp (* 2.0 x)) 1.0)) (exp (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (cbrt (- (exp (* 2.0 x)) 1.0)) (pow (- (exp (* 2.0 x)) 1.0) 3) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) (fma 1.0 (+ (exp (* 2.0 x)) 1.0) (pow (exp 2.0) (+ x x))) (- 1.0) (- (pow (exp 2.0) (+ x x)) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (pow (exp x) 2.0) 1.0) (- 1.0) (+ 1 (+ (exp x) 1.0)) (+ 1.0 (exp x)) (log1p (log1p (+ (exp x) 1.0))) (log (log1p (+ (exp x) 1.0))) (exp (log1p (+ (exp x) 1.0))) (* (cbrt (log1p (+ (exp x) 1.0))) (cbrt (log1p (+ (exp x) 1.0)))) (cbrt (log1p (+ (exp x) 1.0))) (pow (log1p (+ 1.0 (exp x))) 3) (sqrt (log1p (+ (exp x) 1.0))) (sqrt (log1p (+ (exp x) 1.0))) (exp (log1p (+ (exp x) 1.0))) (expm1 (+ (exp x) 1.0)) (log1p (+ 1.0 (exp x))) (log (+ 1.0 (exp x))) (exp (+ 1.0 (exp x))) (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x)))) (cbrt (+ 1.0 (exp x))) (pow (+ 1.0 (exp x)) 3) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) (fma x 2 (* (* x x) (+ 2 (* x 4/3)))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (fma x 2.0 (* (* x x) (+ (* x 1.3333333333333333) 2.0))) (- (pow (exp x) 2.0) 1.0) (- (pow (exp x) 2.0) 1.0) (fma -1/2 (/ (pow x 2) (pow 3.0 2)) (fma 0.16666666666666666 (pow x 2) (fma 0.3333333333333333 x (log 3.0)))) (log (+ (exp x) 2.0)) (log (+ (exp x) 2.0)) (- (fma 0.6666666666666666 (pow x 2) (fma 1.0 x 2.0)) (* 1.5 (/ (pow x 2) (pow 3.0 2)))) (+ 1.0 (exp x)) (+ 1.0 (exp x)) 9.102 * * * [progress]: adding candidates to table 9.426 * [progress]: [Phase 3 of 3] Extracting. 9.427 * * [regime]: Finding splitpoints for: (# # #) 9.428 * * * [regime-changes]: Trying 1 branch expressions: (x) 9.428 * * * * [regimes]: Trying to branch on x from (# # #) 9.450 * * * [regime]: Found split indices: #