0.880 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.320 * * * [progress]: [2/2] Setting up program. 0.324 * [progress]: [Phase 2 of 3] Improving. 0.326 * [simplify]: Simplifying using # : (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 0.329 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 0.332 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 0.335 * * [simplify]: iteration 2 : 28 enodes (cost 12 ) 0.339 * * [simplify]: iteration 3 : 41 enodes (cost 12 ) 0.345 * * [simplify]: iteration 4 : 76 enodes (cost 12 ) 0.367 * * [simplify]: iteration 5 : 176 enodes (cost 12 ) 0.407 * * [simplify]: iteration 6 : 496 enodes (cost 12 ) 0.583 * * [simplify]: iteration 7 : 1977 enodes (cost 12 ) 1.507 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 1.507 * [simplify]: Simplified to: (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 1.509 * * [progress]: iteration 1 / 4 1.509 * * * [progress]: picking best candidate 1.511 * * * * [pick]: Picked # 1.511 * * * [progress]: localizing error 1.522 * * * [progress]: generating rewritten candidates 1.523 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.530 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.535 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.557 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.577 * * * [progress]: generating series expansions 1.578 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.581 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0 1.582 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.582 * [taylor]: Taking taylor expansion of (exp x) in x 1.582 * [taylor]: Taking taylor expansion of x in x 1.582 * [taylor]: Taking taylor expansion of 1.0 in x 1.582 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.582 * [taylor]: Taking taylor expansion of (exp x) in x 1.582 * [taylor]: Taking taylor expansion of x in x 1.582 * [taylor]: Taking taylor expansion of 1.0 in x 1.592 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0 1.592 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.592 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.592 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.592 * [taylor]: Taking taylor expansion of x in x 1.593 * [taylor]: Taking taylor expansion of 1.0 in x 1.593 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.593 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.593 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.593 * [taylor]: Taking taylor expansion of x in x 1.593 * [taylor]: Taking taylor expansion of 1.0 in x 1.597 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0 1.597 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.597 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.597 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.597 * [taylor]: Taking taylor expansion of -1 in x 1.597 * [taylor]: Taking taylor expansion of x in x 1.597 * [taylor]: Taking taylor expansion of 1.0 in x 1.597 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.598 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.598 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.598 * [taylor]: Taking taylor expansion of -1 in x 1.598 * [taylor]: Taking taylor expansion of x in x 1.598 * [taylor]: Taking taylor expansion of 1.0 in x 1.601 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.602 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 1.602 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.602 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.602 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.602 * [taylor]: Taking taylor expansion of 2.0 in x 1.602 * [taylor]: Taking taylor expansion of x in x 1.603 * [taylor]: Taking taylor expansion of 1.0 in x 1.603 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.603 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.603 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.603 * [taylor]: Taking taylor expansion of 2.0 in x 1.603 * [taylor]: Taking taylor expansion of x in x 1.604 * [taylor]: Taking taylor expansion of 1.0 in x 1.618 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 1.618 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.618 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.618 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.618 * [taylor]: Taking taylor expansion of 2.0 in x 1.619 * [taylor]: Taking taylor expansion of x in x 1.619 * [taylor]: Taking taylor expansion of 1.0 in x 1.619 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.619 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.619 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.619 * [taylor]: Taking taylor expansion of 2.0 in x 1.619 * [taylor]: Taking taylor expansion of x in x 1.619 * [taylor]: Taking taylor expansion of 1.0 in x 1.623 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 1.623 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.623 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.623 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.623 * [taylor]: Taking taylor expansion of -2.0 in x 1.623 * [taylor]: Taking taylor expansion of x in x 1.623 * [taylor]: Taking taylor expansion of 1.0 in x 1.623 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.623 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.623 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.623 * [taylor]: Taking taylor expansion of -2.0 in x 1.623 * [taylor]: Taking taylor expansion of x in x 1.624 * [taylor]: Taking taylor expansion of 1.0 in x 1.627 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.627 * [approximate]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in (x) around 0 1.627 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.627 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.628 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.628 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.628 * [taylor]: Taking taylor expansion of 2.0 in x 1.628 * [taylor]: Taking taylor expansion of x in x 1.629 * [taylor]: Taking taylor expansion of 1.0 in x 1.629 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.629 * [taylor]: Taking taylor expansion of (exp x) in x 1.629 * [taylor]: Taking taylor expansion of x in x 1.629 * [taylor]: Taking taylor expansion of 1.0 in x 1.634 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.634 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.634 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.634 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.634 * [taylor]: Taking taylor expansion of 2.0 in x 1.634 * [taylor]: Taking taylor expansion of x in x 1.636 * [taylor]: Taking taylor expansion of 1.0 in x 1.636 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.636 * [taylor]: Taking taylor expansion of (exp x) in x 1.636 * [taylor]: Taking taylor expansion of x in x 1.636 * [taylor]: Taking taylor expansion of 1.0 in x 1.666 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in (x) around 0 1.666 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.666 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.666 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.666 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.666 * [taylor]: Taking taylor expansion of 2.0 in x 1.666 * [taylor]: Taking taylor expansion of x in x 1.666 * [taylor]: Taking taylor expansion of 1.0 in x 1.666 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.666 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.666 * [taylor]: Taking taylor expansion of x in x 1.666 * [taylor]: Taking taylor expansion of 1.0 in x 1.668 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.668 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.668 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.668 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.668 * [taylor]: Taking taylor expansion of 2.0 in x 1.668 * [taylor]: Taking taylor expansion of x in x 1.668 * [taylor]: Taking taylor expansion of 1.0 in x 1.668 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.668 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.668 * [taylor]: Taking taylor expansion of x in x 1.668 * [taylor]: Taking taylor expansion of 1.0 in x 1.678 * [approximate]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in (x) around 0 1.678 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.678 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.678 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.678 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.678 * [taylor]: Taking taylor expansion of -2.0 in x 1.678 * [taylor]: Taking taylor expansion of x in x 1.678 * [taylor]: Taking taylor expansion of 1.0 in x 1.678 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.678 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.678 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.678 * [taylor]: Taking taylor expansion of -1 in x 1.678 * [taylor]: Taking taylor expansion of x in x 1.679 * [taylor]: Taking taylor expansion of 1.0 in x 1.680 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.680 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.680 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.680 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.680 * [taylor]: Taking taylor expansion of -2.0 in x 1.680 * [taylor]: Taking taylor expansion of x in x 1.680 * [taylor]: Taking taylor expansion of 1.0 in x 1.680 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.680 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.680 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.680 * [taylor]: Taking taylor expansion of -1 in x 1.680 * [taylor]: Taking taylor expansion of x in x 1.681 * [taylor]: Taking taylor expansion of 1.0 in x 1.690 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.690 * [approximate]: Taking taylor expansion of (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) in (x) around 0 1.690 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) in x 1.690 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.690 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.690 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.690 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.690 * [taylor]: Taking taylor expansion of 2.0 in x 1.690 * [taylor]: Taking taylor expansion of x in x 1.691 * [taylor]: Taking taylor expansion of 1.0 in x 1.691 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.691 * [taylor]: Taking taylor expansion of (exp x) in x 1.691 * [taylor]: Taking taylor expansion of x in x 1.691 * [taylor]: Taking taylor expansion of 1.0 in x 1.705 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) in x 1.705 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.705 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.705 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.705 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.705 * [taylor]: Taking taylor expansion of 2.0 in x 1.705 * [taylor]: Taking taylor expansion of x in x 1.707 * [taylor]: Taking taylor expansion of 1.0 in x 1.707 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.707 * [taylor]: Taking taylor expansion of (exp x) in x 1.707 * [taylor]: Taking taylor expansion of x in x 1.707 * [taylor]: Taking taylor expansion of 1.0 in x 1.750 * [approximate]: Taking taylor expansion of (sqrt (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0))) in (x) around 0 1.750 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0))) in x 1.750 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.750 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.750 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.750 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.750 * [taylor]: Taking taylor expansion of 2.0 in x 1.750 * [taylor]: Taking taylor expansion of x in x 1.750 * [taylor]: Taking taylor expansion of 1.0 in x 1.750 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.751 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.751 * [taylor]: Taking taylor expansion of x in x 1.751 * [taylor]: Taking taylor expansion of 1.0 in x 1.753 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0))) in x 1.753 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.753 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.753 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.753 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.753 * [taylor]: Taking taylor expansion of 2.0 in x 1.753 * [taylor]: Taking taylor expansion of x in x 1.754 * [taylor]: Taking taylor expansion of 1.0 in x 1.754 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.754 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.754 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.754 * [taylor]: Taking taylor expansion of x in x 1.754 * [taylor]: Taking taylor expansion of 1.0 in x 1.767 * [approximate]: Taking taylor expansion of (sqrt (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0))) in (x) around 0 1.767 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0))) in x 1.767 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.767 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.767 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.767 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.767 * [taylor]: Taking taylor expansion of -2.0 in x 1.767 * [taylor]: Taking taylor expansion of x in x 1.767 * [taylor]: Taking taylor expansion of 1.0 in x 1.767 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.767 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.767 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.767 * [taylor]: Taking taylor expansion of -1 in x 1.767 * [taylor]: Taking taylor expansion of x in x 1.768 * [taylor]: Taking taylor expansion of 1.0 in x 1.770 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0))) in x 1.770 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.770 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.770 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.770 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.770 * [taylor]: Taking taylor expansion of -2.0 in x 1.770 * [taylor]: Taking taylor expansion of x in x 1.771 * [taylor]: Taking taylor expansion of 1.0 in x 1.771 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.771 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.771 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.771 * [taylor]: Taking taylor expansion of -1 in x 1.771 * [taylor]: Taking taylor expansion of x in x 1.771 * [taylor]: Taking taylor expansion of 1.0 in x 1.783 * * * [progress]: simplifying candidates 1.786 * [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.794 * * [simplify]: iteration 0 : 232 enodes (cost 2954 ) 1.838 * * [simplify]: iteration 1 : 492 enodes (cost 2688 ) 1.944 * * [simplify]: iteration 2 : 1518 enodes (cost 2453 ) 2.449 * * [simplify]: iteration done : 5000 enodes (cost 2453 ) 2.450 * [simplify]: Simplified to: (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) 1.0) (* 1.0 0) (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) 1.0) (* 1.0 0) (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) 1.0) (* 1.0 0) (- (exp x) 1.0) (* 1.0 0) (- (exp x) 1.0) (* 1.0 0) (- (exp x) 1.0) (* 1.0 0) (- (exp x) 1.0) (* 1.0 0) (- (exp x) 1.0) (* 1.0 0) (- (exp x) 1.0) (* 1.0 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) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- 1.0)) (* 1.0 0) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- 1.0)) (* 1.0 0) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- 1.0)) (* 1.0 0) (- (exp (* 2.0 x)) 1.0) (* 1.0 0) (- (exp (* 2.0 x)) 1.0) (* 1.0 0) (- (exp (* 2.0 x)) 1.0) (* 1.0 0) (- (exp (* 2.0 x)) 1.0) (* 1.0 0) (- (exp (* 2.0 x)) 1.0) (* 1.0 0) (- (exp (* 2.0 x)) 1.0) (* 1.0 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))) (- (- (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))) (/ (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 (pow x 2) (fma 1.3333333333333333 (pow x 3) (* 2.0 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 (/ (pow x 2) (sqrt 2.0)) 0.25 (- (fma (/ x (sqrt 2.0)) 0.5 (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))) 2.451 * * * [progress]: adding candidates to table 2.827 * * [progress]: iteration 2 / 4 2.827 * * * [progress]: picking best candidate 2.838 * * * * [pick]: Picked # 2.838 * * * [progress]: localizing error 2.852 * * * [progress]: generating rewritten candidates 2.852 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 2.885 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 2.890 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 2.915 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 2.921 * * * [progress]: generating series expansions 2.921 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 2.922 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in (x) around 0 2.922 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 2.922 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 2.922 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.922 * [taylor]: Taking taylor expansion of 2 in x 2.922 * [taylor]: Taking taylor expansion of x in x 2.923 * [taylor]: Taking taylor expansion of 1.0 in x 2.923 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 2.923 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 2.923 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.923 * [taylor]: Taking taylor expansion of 2 in x 2.923 * [taylor]: Taking taylor expansion of x in x 2.924 * [taylor]: Taking taylor expansion of 1.0 in x 2.931 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in (x) around 0 2.931 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 2.931 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 2.931 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.931 * [taylor]: Taking taylor expansion of 2 in x 2.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.931 * [taylor]: Taking taylor expansion of x in x 2.931 * [taylor]: Taking taylor expansion of 1.0 in x 2.931 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 2.931 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 2.931 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.931 * [taylor]: Taking taylor expansion of 2 in x 2.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.931 * [taylor]: Taking taylor expansion of x in x 2.932 * [taylor]: Taking taylor expansion of 1.0 in x 2.936 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in (x) around 0 2.936 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 2.936 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 2.936 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 2.936 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.936 * [taylor]: Taking taylor expansion of 2 in x 2.936 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.936 * [taylor]: Taking taylor expansion of x in x 2.937 * [taylor]: Taking taylor expansion of 1.0 in x 2.937 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 2.937 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 2.937 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 2.937 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.937 * [taylor]: Taking taylor expansion of 2 in x 2.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.937 * [taylor]: Taking taylor expansion of x in x 2.938 * [taylor]: Taking taylor expansion of 1.0 in x 2.941 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 2.941 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 2.941 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 2.941 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 2.941 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 2.941 * [taylor]: Taking taylor expansion of 2.0 in x 2.941 * [taylor]: Taking taylor expansion of x in x 2.942 * [taylor]: Taking taylor expansion of 1.0 in x 2.942 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 2.942 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 2.942 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 2.942 * [taylor]: Taking taylor expansion of 2.0 in x 2.942 * [taylor]: Taking taylor expansion of x in x 2.944 * [taylor]: Taking taylor expansion of 1.0 in x 2.957 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 2.957 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 2.957 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 2.957 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 2.957 * [taylor]: Taking taylor expansion of 2.0 in x 2.957 * [taylor]: Taking taylor expansion of x in x 2.957 * [taylor]: Taking taylor expansion of 1.0 in x 2.957 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 2.957 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 2.957 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 2.957 * [taylor]: Taking taylor expansion of 2.0 in x 2.957 * [taylor]: Taking taylor expansion of x in x 2.962 * [taylor]: Taking taylor expansion of 1.0 in x 2.965 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 2.965 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 2.965 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 2.965 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 2.966 * [taylor]: Taking taylor expansion of -2.0 in x 2.966 * [taylor]: Taking taylor expansion of x in x 2.966 * [taylor]: Taking taylor expansion of 1.0 in x 2.966 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 2.966 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 2.966 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 2.966 * [taylor]: Taking taylor expansion of -2.0 in x 2.966 * [taylor]: Taking taylor expansion of x in x 2.966 * [taylor]: Taking taylor expansion of 1.0 in x 2.970 * * * * [progress]: [ 3 / 4 ] generating series at (2) 2.970 * [approximate]: Taking taylor expansion of (sqrt (/ (* (+ (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2 x)) 1.0))) in (x) around 0 2.970 * [taylor]: Taking taylor expansion of (sqrt (/ (* (+ (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2 x)) 1.0))) in x 2.970 * [taylor]: Taking taylor expansion of (/ (* (+ (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2 x)) 1.0)) in x 2.970 * [taylor]: Taking taylor expansion of (* (+ (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) in x 2.970 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 2.970 * [taylor]: Taking taylor expansion of (exp x) in x 2.970 * [taylor]: Taking taylor expansion of x in x 2.970 * [taylor]: Taking taylor expansion of 1.0 in x 2.970 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 2.970 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 2.970 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 2.970 * [taylor]: Taking taylor expansion of 2.0 in x 2.970 * [taylor]: Taking taylor expansion of x in x 2.972 * [taylor]: Taking taylor expansion of 1.0 in x 2.972 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 2.972 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 2.972 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.972 * [taylor]: Taking taylor expansion of 2 in x 2.972 * [taylor]: Taking taylor expansion of x in x 2.972 * [taylor]: Taking taylor expansion of 1.0 in x 2.991 * [taylor]: Taking taylor expansion of (sqrt (/ (* (+ (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2 x)) 1.0))) in x 2.991 * [taylor]: Taking taylor expansion of (/ (* (+ (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2 x)) 1.0)) in x 2.991 * [taylor]: Taking taylor expansion of (* (+ (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) in x 2.991 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 2.992 * [taylor]: Taking taylor expansion of (exp x) in x 2.992 * [taylor]: Taking taylor expansion of x in x 2.992 * [taylor]: Taking taylor expansion of 1.0 in x 2.992 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 2.992 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 2.992 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 2.992 * [taylor]: Taking taylor expansion of 2.0 in x 2.992 * [taylor]: Taking taylor expansion of x in x 2.993 * [taylor]: Taking taylor expansion of 1.0 in x 2.993 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 2.993 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 2.993 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.993 * [taylor]: Taking taylor expansion of 2 in x 2.993 * [taylor]: Taking taylor expansion of x in x 2.994 * [taylor]: Taking taylor expansion of 1.0 in x 3.046 * [approximate]: Taking taylor expansion of (sqrt (/ (* (- (exp (/ 2.0 x)) 1.0) (+ (exp (/ 1 x)) 1.0)) (- (exp (* 2 (/ 1 x))) 1.0))) in (x) around 0 3.046 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- (exp (/ 2.0 x)) 1.0) (+ (exp (/ 1 x)) 1.0)) (- (exp (* 2 (/ 1 x))) 1.0))) in x 3.046 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ 2.0 x)) 1.0) (+ (exp (/ 1 x)) 1.0)) (- (exp (* 2 (/ 1 x))) 1.0)) in x 3.046 * [taylor]: Taking taylor expansion of (* (- (exp (/ 2.0 x)) 1.0) (+ (exp (/ 1 x)) 1.0)) in x 3.046 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 3.046 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 3.046 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 3.046 * [taylor]: Taking taylor expansion of 2.0 in x 3.046 * [taylor]: Taking taylor expansion of x in x 3.046 * [taylor]: Taking taylor expansion of 1.0 in x 3.046 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 3.046 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.047 * [taylor]: Taking taylor expansion of x in x 3.047 * [taylor]: Taking taylor expansion of 1.0 in x 3.047 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 3.047 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.047 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.047 * [taylor]: Taking taylor expansion of 2 in x 3.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.047 * [taylor]: Taking taylor expansion of x in x 3.048 * [taylor]: Taking taylor expansion of 1.0 in x 3.051 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- (exp (/ 2.0 x)) 1.0) (+ (exp (/ 1 x)) 1.0)) (- (exp (* 2 (/ 1 x))) 1.0))) in x 3.051 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ 2.0 x)) 1.0) (+ (exp (/ 1 x)) 1.0)) (- (exp (* 2 (/ 1 x))) 1.0)) in x 3.051 * [taylor]: Taking taylor expansion of (* (- (exp (/ 2.0 x)) 1.0) (+ (exp (/ 1 x)) 1.0)) in x 3.051 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 3.051 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 3.051 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 3.051 * [taylor]: Taking taylor expansion of 2.0 in x 3.051 * [taylor]: Taking taylor expansion of x in x 3.051 * [taylor]: Taking taylor expansion of 1.0 in x 3.051 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 3.051 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.051 * [taylor]: Taking taylor expansion of x in x 3.052 * [taylor]: Taking taylor expansion of 1.0 in x 3.052 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 3.052 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.052 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.052 * [taylor]: Taking taylor expansion of 2 in x 3.052 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.052 * [taylor]: Taking taylor expansion of x in x 3.052 * [taylor]: Taking taylor expansion of 1.0 in x 3.072 * [approximate]: Taking taylor expansion of (sqrt (/ (* (+ (exp (/ -1 x)) 1.0) (- (exp (/ -2.0 x)) 1.0)) (- (exp (- (* 2 (/ 1 x)))) 1.0))) in (x) around 0 3.072 * [taylor]: Taking taylor expansion of (sqrt (/ (* (+ (exp (/ -1 x)) 1.0) (- (exp (/ -2.0 x)) 1.0)) (- (exp (- (* 2 (/ 1 x)))) 1.0))) in x 3.072 * [taylor]: Taking taylor expansion of (/ (* (+ (exp (/ -1 x)) 1.0) (- (exp (/ -2.0 x)) 1.0)) (- (exp (- (* 2 (/ 1 x)))) 1.0)) in x 3.072 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 x)) 1.0) (- (exp (/ -2.0 x)) 1.0)) in x 3.072 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 3.072 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.072 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.072 * [taylor]: Taking taylor expansion of -1 in x 3.072 * [taylor]: Taking taylor expansion of x in x 3.072 * [taylor]: Taking taylor expansion of 1.0 in x 3.072 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 3.072 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 3.072 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 3.072 * [taylor]: Taking taylor expansion of -2.0 in x 3.072 * [taylor]: Taking taylor expansion of x in x 3.073 * [taylor]: Taking taylor expansion of 1.0 in x 3.073 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 3.073 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 3.073 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 3.073 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.073 * [taylor]: Taking taylor expansion of 2 in x 3.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.073 * [taylor]: Taking taylor expansion of x in x 3.074 * [taylor]: Taking taylor expansion of 1.0 in x 3.077 * [taylor]: Taking taylor expansion of (sqrt (/ (* (+ (exp (/ -1 x)) 1.0) (- (exp (/ -2.0 x)) 1.0)) (- (exp (- (* 2 (/ 1 x)))) 1.0))) in x 3.077 * [taylor]: Taking taylor expansion of (/ (* (+ (exp (/ -1 x)) 1.0) (- (exp (/ -2.0 x)) 1.0)) (- (exp (- (* 2 (/ 1 x)))) 1.0)) in x 3.077 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 x)) 1.0) (- (exp (/ -2.0 x)) 1.0)) in x 3.077 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 3.077 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.077 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.077 * [taylor]: Taking taylor expansion of -1 in x 3.077 * [taylor]: Taking taylor expansion of x in x 3.077 * [taylor]: Taking taylor expansion of 1.0 in x 3.077 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 3.077 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 3.077 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 3.077 * [taylor]: Taking taylor expansion of -2.0 in x 3.077 * [taylor]: Taking taylor expansion of x in x 3.078 * [taylor]: Taking taylor expansion of 1.0 in x 3.078 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 3.078 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 3.078 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 3.078 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.078 * [taylor]: Taking taylor expansion of 2 in x 3.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.078 * [taylor]: Taking taylor expansion of x in x 3.079 * [taylor]: Taking taylor expansion of 1.0 in x 3.098 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 3.098 * [approximate]: Taking taylor expansion of (+ (exp x) 1.0) in (x) around 0 3.098 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 3.098 * [taylor]: Taking taylor expansion of (exp x) in x 3.098 * [taylor]: Taking taylor expansion of x in x 3.098 * [taylor]: Taking taylor expansion of 1.0 in x 3.098 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 3.098 * [taylor]: Taking taylor expansion of (exp x) in x 3.098 * [taylor]: Taking taylor expansion of x in x 3.098 * [taylor]: Taking taylor expansion of 1.0 in x 3.101 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in (x) around 0 3.101 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 3.101 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.101 * [taylor]: Taking taylor expansion of x in x 3.101 * [taylor]: Taking taylor expansion of 1.0 in x 3.101 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 3.101 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.101 * [taylor]: Taking taylor expansion of x in x 3.102 * [taylor]: Taking taylor expansion of 1.0 in x 3.103 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in (x) around 0 3.103 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 3.103 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.103 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.103 * [taylor]: Taking taylor expansion of -1 in x 3.104 * [taylor]: Taking taylor expansion of x in x 3.104 * [taylor]: Taking taylor expansion of 1.0 in x 3.104 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 3.104 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.104 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.104 * [taylor]: Taking taylor expansion of -1 in x 3.104 * [taylor]: Taking taylor expansion of x in x 3.104 * [taylor]: Taking taylor expansion of 1.0 in x 3.106 * * * [progress]: simplifying candidates 3.107 * [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 (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0)))) (log1p (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0)))) (log (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0)))) (exp (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0)))) (* (cbrt (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0)))) (cbrt (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0))))) (cbrt (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0)))) (* (* (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0))) (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0)))) (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0)))) (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) (+ (pow (exp x) 3) (pow 1.0 3)))) (sqrt (* (- (exp (+ x x)) (* 1.0 1.0)) (+ (* (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 x)) (* 1.0 1.0)) (- (exp x) 1.0))) (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 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 x)) (* 1.0 1.0))) (- (* (exp x) (exp x)) (* 1.0 1.0)))) (sqrt (- (exp x) 1.0)) (sqrt (* (- (exp (* 2.0 x)) 1.0) (+ (exp x) 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (/ 1 2) (/ 1 2) (sqrt (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0)))) (sqrt (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 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) (+ (* 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.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 x) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2 x)) 1.0))) (sqrt (/ (* (+ (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2 x)) 1.0))) (+ (* 1/2 (pow x 2)) (+ x 2.0)) (+ (exp x) 1.0) (+ (exp x) 1.0) 3.112 * * [simplify]: iteration 0 : 183 enodes (cost 1444 ) 3.149 * * [simplify]: iteration 1 : 437 enodes (cost 1302 ) 3.254 * * [simplify]: iteration 2 : 1524 enodes (cost 1139 ) 3.721 * * [simplify]: iteration done : 5001 enodes (cost 1139 ) 3.722 * [simplify]: Simplified to: (- (exp (+ x x)) (* 1.0 1.0)) (* 1.0 (* 1.0 0)) (fma (* (cbrt (exp (+ x x))) (cbrt (exp (+ x x)))) (cbrt (exp (+ x x))) (- (* 1.0 1.0))) (* 1.0 (* 1.0 0)) (- (exp (+ x x)) (* 1.0 1.0)) (* 1.0 (* 1.0 0)) (- (exp (+ x x)) (* 1.0 1.0)) (* 1.0 (* 1.0 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 (+ x 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 x)) 3) (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)) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- 1.0)) (* 1.0 0) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- 1.0)) (* 1.0 0) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- 1.0)) (* 1.0 0) (- (exp (* 2.0 x)) 1.0) (* 1.0 0) (- (exp (* 2.0 x)) 1.0) (* 1.0 0) (- (exp (* 2.0 x)) 1.0) (* 1.0 0) (- (exp (* 2.0 x)) 1.0) (* 1.0 0) (- (exp (* 2.0 x)) 1.0) (* 1.0 0) (- (exp (* 2.0 x)) 1.0) (* 1.0 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 (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0)))) (log1p (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0)))) (log (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0)))) (exp (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0)))) (* (cbrt (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0)))) (cbrt (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0))))) (cbrt (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0)))) (pow (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0))) 3) (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) (+ (pow (exp x) 3) (pow 1.0 3)))) (sqrt (* (fma 1.0 (- 1.0 (exp x)) (exp (+ x x))) (- (exp (+ x x)) (* 1.0 1.0)))) (sqrt (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) (* 1.0 1.0)))) (sqrt (* (- (exp (+ x x)) (* 1.0 1.0)) (- (exp x) 1.0))) (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (pow (exp x) 3) (pow 1.0 3)))) (sqrt (fma 1.0 (- 1.0 (exp x)) (exp (+ x x)))) (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (- (exp (* 2 x)) (* 1.0 1.0)))) (sqrt (- (exp x) 1.0)) (sqrt (* (- (exp (* 2.0 x)) 1.0) (+ (exp x) 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) 1/2 1/2 (sqrt (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 1.0)))) (sqrt (sqrt (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (+ (exp x) 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 (+ (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 (- 1.0 (exp x)) (exp (+ x x))) (- (exp (+ x x)) (* 1.0 1.0)) (- (exp x) 1.0) (+ (exp x) 1.0) (fma 2 (pow x 2) (fma 4/3 (pow x 3) (* 2 x))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (fma 2.0 (pow x 2) (fma 1.3333333333333333 (pow x 3) (* 2.0 x))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (- (fma 0.25 (/ (pow x 2) (sqrt 2.0)) (fma (/ x (sqrt 2.0)) 0.5 (sqrt 2.0))) (* 0.125 (/ (pow x 2) (pow (sqrt 2.0) 3)))) (sqrt (/ (* (+ (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2 x)) 1.0))) (sqrt (/ (* (+ (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2 x)) 1.0))) (fma 1/2 (pow x 2) (+ x 2.0)) (+ (exp x) 1.0) (+ (exp x) 1.0) 3.723 * * * [progress]: adding candidates to table 4.021 * * [progress]: iteration 3 / 4 4.021 * * * [progress]: picking best candidate 4.029 * * * * [pick]: Picked # 4.029 * * * [progress]: localizing error 4.045 * * * [progress]: generating rewritten candidates 4.045 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 4.075 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 4.083 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 4.084 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 4.088 * * * [progress]: generating series expansions 4.088 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 4.088 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in (x) around 0 4.088 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 4.088 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 4.089 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.089 * [taylor]: Taking taylor expansion of 2 in x 4.089 * [taylor]: Taking taylor expansion of x in x 4.089 * [taylor]: Taking taylor expansion of 1.0 in x 4.089 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 4.089 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 4.089 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.089 * [taylor]: Taking taylor expansion of 2 in x 4.089 * [taylor]: Taking taylor expansion of x in x 4.090 * [taylor]: Taking taylor expansion of 1.0 in x 4.097 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in (x) around 0 4.097 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 4.097 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 4.097 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.097 * [taylor]: Taking taylor expansion of 2 in x 4.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.097 * [taylor]: Taking taylor expansion of x in x 4.097 * [taylor]: Taking taylor expansion of 1.0 in x 4.097 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 4.097 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 4.097 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.097 * [taylor]: Taking taylor expansion of 2 in x 4.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.098 * [taylor]: Taking taylor expansion of x in x 4.098 * [taylor]: Taking taylor expansion of 1.0 in x 4.102 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in (x) around 0 4.102 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 4.102 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 4.102 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 4.102 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.102 * [taylor]: Taking taylor expansion of 2 in x 4.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.102 * [taylor]: Taking taylor expansion of x in x 4.103 * [taylor]: Taking taylor expansion of 1.0 in x 4.103 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 4.103 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 4.103 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 4.103 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.103 * [taylor]: Taking taylor expansion of 2 in x 4.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.103 * [taylor]: Taking taylor expansion of x in x 4.104 * [taylor]: Taking taylor expansion of 1.0 in x 4.107 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 4.107 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 4.107 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 4.107 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 4.107 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 4.107 * [taylor]: Taking taylor expansion of 2.0 in x 4.107 * [taylor]: Taking taylor expansion of x in x 4.109 * [taylor]: Taking taylor expansion of 1.0 in x 4.109 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 4.109 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 4.109 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 4.109 * [taylor]: Taking taylor expansion of 2.0 in x 4.109 * [taylor]: Taking taylor expansion of x in x 4.110 * [taylor]: Taking taylor expansion of 1.0 in x 4.123 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 4.123 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 4.123 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 4.123 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 4.123 * [taylor]: Taking taylor expansion of 2.0 in x 4.123 * [taylor]: Taking taylor expansion of x in x 4.123 * [taylor]: Taking taylor expansion of 1.0 in x 4.123 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 4.123 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 4.123 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 4.123 * [taylor]: Taking taylor expansion of 2.0 in x 4.123 * [taylor]: Taking taylor expansion of x in x 4.124 * [taylor]: Taking taylor expansion of 1.0 in x 4.127 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 4.127 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 4.127 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 4.127 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 4.127 * [taylor]: Taking taylor expansion of -2.0 in x 4.127 * [taylor]: Taking taylor expansion of x in x 4.127 * [taylor]: Taking taylor expansion of 1.0 in x 4.128 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 4.128 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 4.128 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 4.128 * [taylor]: Taking taylor expansion of -2.0 in x 4.128 * [taylor]: Taking taylor expansion of x in x 4.128 * [taylor]: Taking taylor expansion of 1.0 in x 4.131 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 4.131 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 4.131 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 4.131 * [taylor]: Taking taylor expansion of (exp x) in x 4.131 * [taylor]: Taking taylor expansion of x in x 4.133 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 4.133 * [taylor]: Taking taylor expansion of (exp x) in x 4.133 * [taylor]: Taking taylor expansion of x in x 4.135 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 4.136 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 4.136 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.136 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.136 * [taylor]: Taking taylor expansion of x in x 4.136 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 4.136 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.136 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.136 * [taylor]: Taking taylor expansion of x in x 4.139 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 4.139 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 4.139 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.139 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.139 * [taylor]: Taking taylor expansion of -1 in x 4.139 * [taylor]: Taking taylor expansion of x in x 4.140 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 4.140 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.140 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.140 * [taylor]: Taking taylor expansion of -1 in x 4.140 * [taylor]: Taking taylor expansion of x in x 4.143 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 4.143 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 4.143 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 4.143 * [taylor]: Taking taylor expansion of (exp x) in x 4.143 * [taylor]: Taking taylor expansion of x in x 4.145 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 4.145 * [taylor]: Taking taylor expansion of (exp x) in x 4.145 * [taylor]: Taking taylor expansion of x in x 4.147 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 4.147 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 4.147 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.148 * [taylor]: Taking taylor expansion of x in x 4.148 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 4.148 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.148 * [taylor]: Taking taylor expansion of x in x 4.151 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 4.151 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 4.151 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.151 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.151 * [taylor]: Taking taylor expansion of -1 in x 4.151 * [taylor]: Taking taylor expansion of x in x 4.152 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 4.152 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.152 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.152 * [taylor]: Taking taylor expansion of -1 in x 4.152 * [taylor]: Taking taylor expansion of x in x 4.155 * * * [progress]: simplifying candidates 4.156 * [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 (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))) (+ (* 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/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt (exp x)) (sqrt (exp x)) 4.159 * * [simplify]: iteration 0 : 141 enodes (cost 1009 ) 4.188 * * [simplify]: iteration 1 : 297 enodes (cost 881 ) 4.253 * * [simplify]: iteration 2 : 898 enodes (cost 747 ) 4.662 * * [simplify]: iteration 3 : 4615 enodes (cost 669 ) 7.071 * * [simplify]: iteration done : 5000 enodes (cost 669 ) 7.072 * [simplify]: Simplified to: (fma (- 1.0) 1.0 (exp (+ x x))) 0 (fma 1.0 (- 1.0) (pow (cbrt (exp (+ x x))) 3)) 0 (fma (- 1.0) 1.0 (exp (+ x x))) 0 (fma (- 1.0) 1.0 (exp (+ x x))) 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 (+ x 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))) (+ (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) 0 (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) 0 (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 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 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (pow (sqrt (exp x)) 3) (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) 1 (sqrt (exp x)) 1/2 (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (pow (sqrt (exp x)) 3) (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) 1 (sqrt (exp x)) 1/2 (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (fma (pow x 3) 4/3 (* 2 (+ x (pow x 2)))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (fma 1.3333333333333333 (pow x 3) (* 2.0 (+ x (pow x 2)))) (- (exp (* 2.0 x)) 1.0) (- (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 (pow x 2) (fma 1/2 x 1)) (sqrt (exp x)) (sqrt (exp x)) 7.073 * * * [progress]: adding candidates to table 7.410 * * [progress]: iteration 4 / 4 7.411 * * * [progress]: picking best candidate 7.416 * * * * [pick]: Picked # 7.416 * * * [progress]: localizing error 7.434 * * * [progress]: generating rewritten candidates 7.434 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1) 7.464 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2 1) 7.497 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1) 7.527 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 7.535 * * * [progress]: generating series expansions 7.535 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1) 7.535 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in (x) around 0 7.535 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 7.535 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 7.535 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.535 * [taylor]: Taking taylor expansion of 2 in x 7.535 * [taylor]: Taking taylor expansion of x in x 7.536 * [taylor]: Taking taylor expansion of 1.0 in x 7.536 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 7.536 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 7.536 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.536 * [taylor]: Taking taylor expansion of 2 in x 7.536 * [taylor]: Taking taylor expansion of x in x 7.537 * [taylor]: Taking taylor expansion of 1.0 in x 7.544 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in (x) around 0 7.544 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 7.544 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 7.544 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.544 * [taylor]: Taking taylor expansion of 2 in x 7.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.544 * [taylor]: Taking taylor expansion of x in x 7.544 * [taylor]: Taking taylor expansion of 1.0 in x 7.544 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 7.544 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 7.545 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.545 * [taylor]: Taking taylor expansion of 2 in x 7.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.545 * [taylor]: Taking taylor expansion of x in x 7.545 * [taylor]: Taking taylor expansion of 1.0 in x 7.549 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in (x) around 0 7.549 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 7.549 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 7.549 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 7.549 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.549 * [taylor]: Taking taylor expansion of 2 in x 7.549 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.549 * [taylor]: Taking taylor expansion of x in x 7.550 * [taylor]: Taking taylor expansion of 1.0 in x 7.550 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 7.550 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 7.550 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 7.550 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.550 * [taylor]: Taking taylor expansion of 2 in x 7.550 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.550 * [taylor]: Taking taylor expansion of x in x 7.551 * [taylor]: Taking taylor expansion of 1.0 in x 7.554 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2 1) 7.554 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in (x) around 0 7.554 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 7.554 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 7.554 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.555 * [taylor]: Taking taylor expansion of 2 in x 7.555 * [taylor]: Taking taylor expansion of x in x 7.555 * [taylor]: Taking taylor expansion of 1.0 in x 7.555 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 7.555 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 7.555 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.555 * [taylor]: Taking taylor expansion of 2 in x 7.555 * [taylor]: Taking taylor expansion of x in x 7.556 * [taylor]: Taking taylor expansion of 1.0 in x 7.566 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in (x) around 0 7.566 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 7.566 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 7.566 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.566 * [taylor]: Taking taylor expansion of 2 in x 7.566 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.566 * [taylor]: Taking taylor expansion of x in x 7.567 * [taylor]: Taking taylor expansion of 1.0 in x 7.567 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 7.567 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 7.567 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.567 * [taylor]: Taking taylor expansion of 2 in x 7.567 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.567 * [taylor]: Taking taylor expansion of x in x 7.567 * [taylor]: Taking taylor expansion of 1.0 in x 7.571 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in (x) around 0 7.571 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 7.571 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 7.571 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 7.571 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.571 * [taylor]: Taking taylor expansion of 2 in x 7.571 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.571 * [taylor]: Taking taylor expansion of x in x 7.572 * [taylor]: Taking taylor expansion of 1.0 in x 7.572 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 7.572 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 7.572 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 7.572 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.572 * [taylor]: Taking taylor expansion of 2 in x 7.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.572 * [taylor]: Taking taylor expansion of x in x 7.573 * [taylor]: Taking taylor expansion of 1.0 in x 7.576 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1) 7.577 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in (x) around 0 7.577 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 7.577 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 7.577 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.577 * [taylor]: Taking taylor expansion of 2 in x 7.577 * [taylor]: Taking taylor expansion of x in x 7.578 * [taylor]: Taking taylor expansion of 1.0 in x 7.578 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 7.578 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 7.578 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.578 * [taylor]: Taking taylor expansion of 2 in x 7.578 * [taylor]: Taking taylor expansion of x in x 7.579 * [taylor]: Taking taylor expansion of 1.0 in x 7.585 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in (x) around 0 7.585 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 7.585 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 7.585 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.585 * [taylor]: Taking taylor expansion of 2 in x 7.585 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.585 * [taylor]: Taking taylor expansion of x in x 7.586 * [taylor]: Taking taylor expansion of 1.0 in x 7.586 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 7.586 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 7.586 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.586 * [taylor]: Taking taylor expansion of 2 in x 7.586 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.586 * [taylor]: Taking taylor expansion of x in x 7.587 * [taylor]: Taking taylor expansion of 1.0 in x 7.590 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in (x) around 0 7.590 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 7.590 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 7.590 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 7.590 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.590 * [taylor]: Taking taylor expansion of 2 in x 7.590 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.590 * [taylor]: Taking taylor expansion of x in x 7.591 * [taylor]: Taking taylor expansion of 1.0 in x 7.591 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 7.591 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 7.591 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 7.591 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.591 * [taylor]: Taking taylor expansion of 2 in x 7.591 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.591 * [taylor]: Taking taylor expansion of x in x 7.592 * [taylor]: Taking taylor expansion of 1.0 in x 7.596 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 7.596 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 7.596 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 7.596 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 7.596 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 7.596 * [taylor]: Taking taylor expansion of 2.0 in x 7.596 * [taylor]: Taking taylor expansion of x in x 7.597 * [taylor]: Taking taylor expansion of 1.0 in x 7.597 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 7.597 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 7.597 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 7.597 * [taylor]: Taking taylor expansion of 2.0 in x 7.597 * [taylor]: Taking taylor expansion of x in x 7.598 * [taylor]: Taking taylor expansion of 1.0 in x 7.611 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 7.611 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 7.611 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 7.611 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 7.611 * [taylor]: Taking taylor expansion of 2.0 in x 7.611 * [taylor]: Taking taylor expansion of x in x 7.612 * [taylor]: Taking taylor expansion of 1.0 in x 7.612 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 7.612 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 7.612 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 7.612 * [taylor]: Taking taylor expansion of 2.0 in x 7.612 * [taylor]: Taking taylor expansion of x in x 7.612 * [taylor]: Taking taylor expansion of 1.0 in x 7.615 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 7.616 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 7.616 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 7.616 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 7.616 * [taylor]: Taking taylor expansion of -2.0 in x 7.616 * [taylor]: Taking taylor expansion of x in x 7.616 * [taylor]: Taking taylor expansion of 1.0 in x 7.616 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 7.616 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 7.616 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 7.616 * [taylor]: Taking taylor expansion of -2.0 in x 7.616 * [taylor]: Taking taylor expansion of x in x 7.616 * [taylor]: Taking taylor expansion of 1.0 in x 7.620 * * * [progress]: simplifying candidates 7.622 * [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 (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 (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) (+ (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 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 (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) 7.625 * * [simplify]: iteration 0 : 114 enodes (cost 1475 ) 7.649 * * [simplify]: iteration 1 : 260 enodes (cost 1351 ) 7.707 * * [simplify]: iteration 2 : 807 enodes (cost 1115 ) 8.076 * * [simplify]: iteration 3 : 4306 enodes (cost 979 ) 10.281 * * [simplify]: iteration done : 5000 enodes (cost 979 ) 10.282 * [simplify]: Simplified to: (fma 1.0 (- 1.0) (exp (+ x x))) 0 (fma (- 1.0) 1.0 (pow (cbrt (exp (+ x x))) 3)) 0 (fma 1.0 (- 1.0) (exp (+ x x))) 0 (fma 1.0 (- 1.0) (exp (+ x x))) 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))) (+ (exp x) 1.0) (- (exp x) 1.0) (+ 1.0 (fabs (exp x))) (- (fabs (exp x)) 1.0) (- (* 1.0 1.0)) (fma 1.0 (- 1.0) (exp (+ x x))) 0 (fma (- 1.0) 1.0 (pow (cbrt (exp (+ x x))) 3)) 0 (fma 1.0 (- 1.0) (exp (+ x x))) 0 (fma 1.0 (- 1.0) (exp (+ x x))) 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))) (+ (exp x) 1.0) (- (exp x) 1.0) (+ 1.0 (fabs (exp x))) (- (fabs (exp x)) 1.0) (- (* 1.0 1.0)) (fma 1.0 (- 1.0) (exp (+ x x))) 0 (fma (- 1.0) 1.0 (pow (cbrt (exp (+ x x))) 3)) 0 (fma 1.0 (- 1.0) (exp (+ x x))) 0 (fma 1.0 (- 1.0) (exp (+ x x))) 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))) (+ (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) 0 (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) 0 (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) 0 (- (pow (exp 2.0) x) 1.0) 0 (- (pow (exp 2.0) x) 1.0) 0 (- (pow (exp 2.0) x) 1.0) 0 (- (pow (exp 2.0) x) 1.0) 0 (- (pow (exp 2.0) x) 1.0) 0 (- (pow (exp 2.0) x) 1.0) 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)) (+ (pow (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) (fma (pow x 3) 4/3 (* x (+ 2 (+ x x)))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (fma (pow x 3) 4/3 (* x (+ 2 (+ x x)))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (fma (pow x 3) 4/3 (* x (+ 2 (+ x x)))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (fma x 2.0 (* (pow x 2) (+ (* x 1.3333333333333333) 2.0))) (- (pow (exp 2.0) x) 1.0) (- (pow (exp 2.0) x) 1.0) 10.283 * * * [progress]: adding candidates to table 10.695 * [progress]: [Phase 3 of 3] Extracting. 10.696 * * [regime]: Finding splitpoints for: (# # #) 10.697 * * * [regime-changes]: Trying 1 branch expressions: (x) 10.698 * * * * [regimes]: Trying to branch on x from (# # #) 10.719 * * * [regime]: Found split indices: #