0.867 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.339 * * * [progress]: [2/2] Setting up program. 0.343 * [progress]: [Phase 2 of 3] Improving. 0.345 * [simplify]: Simplifying using # : (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 0.348 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 0.352 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 0.354 * * [simplify]: iteration 2 : 28 enodes (cost 12 ) 0.358 * * [simplify]: iteration 3 : 41 enodes (cost 12 ) 0.363 * * [simplify]: iteration 4 : 76 enodes (cost 12 ) 0.375 * * [simplify]: iteration 5 : 176 enodes (cost 12 ) 0.418 * * [simplify]: iteration 6 : 496 enodes (cost 12 ) 0.582 * * [simplify]: iteration 7 : 1977 enodes (cost 12 ) 1.489 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 1.489 * [simplify]: Simplified to: (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 1.490 * * [progress]: iteration 1 / 4 1.490 * * * [progress]: picking best candidate 1.493 * * * * [pick]: Picked # 1.493 * * * [progress]: localizing error 1.504 * * * [progress]: generating rewritten candidates 1.504 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.512 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.516 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1.530 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.553 * * * [progress]: generating series expansions 1.553 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.557 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0 1.557 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.557 * [taylor]: Taking taylor expansion of (exp x) in x 1.557 * [taylor]: Taking taylor expansion of x in x 1.558 * [taylor]: Taking taylor expansion of 1.0 in x 1.558 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.558 * [taylor]: Taking taylor expansion of (exp x) in x 1.558 * [taylor]: Taking taylor expansion of x in x 1.558 * [taylor]: Taking taylor expansion of 1.0 in x 1.567 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0 1.567 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.567 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.567 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.567 * [taylor]: Taking taylor expansion of x in x 1.568 * [taylor]: Taking taylor expansion of 1.0 in x 1.568 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.568 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.568 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.568 * [taylor]: Taking taylor expansion of x in x 1.568 * [taylor]: Taking taylor expansion of 1.0 in x 1.572 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0 1.572 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.572 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.572 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.572 * [taylor]: Taking taylor expansion of -1 in x 1.572 * [taylor]: Taking taylor expansion of x in x 1.572 * [taylor]: Taking taylor expansion of 1.0 in x 1.572 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.572 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.572 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.572 * [taylor]: Taking taylor expansion of -1 in x 1.572 * [taylor]: Taking taylor expansion of x in x 1.573 * [taylor]: Taking taylor expansion of 1.0 in x 1.582 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.582 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 1.583 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.583 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.583 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.583 * [taylor]: Taking taylor expansion of 2.0 in x 1.583 * [taylor]: Taking taylor expansion of x in x 1.584 * [taylor]: Taking taylor expansion of 1.0 in x 1.584 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.584 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.584 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.584 * [taylor]: Taking taylor expansion of 2.0 in x 1.584 * [taylor]: Taking taylor expansion of x in x 1.585 * [taylor]: Taking taylor expansion of 1.0 in x 1.599 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 1.599 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.599 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.599 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.599 * [taylor]: Taking taylor expansion of 2.0 in x 1.599 * [taylor]: Taking taylor expansion of x in x 1.599 * [taylor]: Taking taylor expansion of 1.0 in x 1.599 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.600 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.600 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.600 * [taylor]: Taking taylor expansion of 2.0 in x 1.600 * [taylor]: Taking taylor expansion of x in x 1.600 * [taylor]: Taking taylor expansion of 1.0 in x 1.603 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 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.604 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.604 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.604 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.604 * [taylor]: Taking taylor expansion of -2.0 in x 1.604 * [taylor]: Taking taylor expansion of x in x 1.604 * [taylor]: Taking taylor expansion of 1.0 in x 1.608 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1.608 * [approximate]: Taking taylor expansion of (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) in (x) around 0 1.608 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) in x 1.608 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.608 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.608 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.608 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.608 * [taylor]: Taking taylor expansion of 2.0 in x 1.608 * [taylor]: Taking taylor expansion of x in x 1.609 * [taylor]: Taking taylor expansion of 1.0 in x 1.609 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.609 * [taylor]: Taking taylor expansion of (exp x) in x 1.609 * [taylor]: Taking taylor expansion of x in x 1.609 * [taylor]: Taking taylor expansion of 1.0 in x 1.623 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) in x 1.623 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 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.625 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.625 * [taylor]: Taking taylor expansion of (exp x) in x 1.625 * [taylor]: Taking taylor expansion of x in x 1.625 * [taylor]: Taking taylor expansion of 1.0 in x 1.665 * [approximate]: Taking taylor expansion of (sqrt (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0))) in (x) around 0 1.665 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0))) in x 1.665 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.665 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.665 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.665 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.665 * [taylor]: Taking taylor expansion of 2.0 in x 1.665 * [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 (sqrt (/ (- (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) (- (exp (/ 1 x)) 1.0)) in x 1.669 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.669 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.669 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.669 * [taylor]: Taking taylor expansion of 2.0 in x 1.669 * [taylor]: Taking taylor expansion of x in x 1.669 * [taylor]: Taking taylor expansion of 1.0 in x 1.669 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.669 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.669 * [taylor]: Taking taylor expansion of x in x 1.669 * [taylor]: Taking taylor expansion of 1.0 in x 1.682 * [approximate]: Taking taylor expansion of (sqrt (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0))) in (x) around 0 1.682 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0))) in x 1.682 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.682 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.682 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.682 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.682 * [taylor]: Taking taylor expansion of -2.0 in x 1.682 * [taylor]: Taking taylor expansion of x in x 1.682 * [taylor]: Taking taylor expansion of 1.0 in x 1.682 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.682 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.682 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.682 * [taylor]: Taking taylor expansion of -1 in x 1.682 * [taylor]: Taking taylor expansion of x in x 1.683 * [taylor]: Taking taylor expansion of 1.0 in x 1.685 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0))) in x 1.685 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.685 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.685 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.685 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.685 * [taylor]: Taking taylor expansion of -2.0 in x 1.685 * [taylor]: Taking taylor expansion of x in x 1.686 * [taylor]: Taking taylor expansion of 1.0 in x 1.686 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.686 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.686 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.686 * [taylor]: Taking taylor expansion of -1 in x 1.686 * [taylor]: Taking taylor expansion of x in x 1.686 * [taylor]: Taking taylor expansion of 1.0 in x 1.698 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.699 * [approximate]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in (x) around 0 1.699 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.699 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.699 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.699 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.699 * [taylor]: Taking taylor expansion of 2.0 in x 1.699 * [taylor]: Taking taylor expansion of x in x 1.700 * [taylor]: Taking taylor expansion of 1.0 in x 1.700 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.700 * [taylor]: Taking taylor expansion of (exp x) in x 1.700 * [taylor]: Taking taylor expansion of x in x 1.700 * [taylor]: Taking taylor expansion of 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.706 * [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.729 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in (x) around 0 1.729 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.729 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.729 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.729 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.729 * [taylor]: Taking taylor expansion of 2.0 in x 1.729 * [taylor]: Taking taylor expansion of x in x 1.730 * [taylor]: Taking taylor expansion of 1.0 in x 1.730 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.730 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.730 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.730 * [taylor]: Taking taylor expansion of x in x 1.730 * [taylor]: Taking taylor expansion of 1.0 in x 1.731 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.731 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.731 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.731 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.731 * [taylor]: Taking taylor expansion of 2.0 in x 1.731 * [taylor]: Taking taylor expansion of x in x 1.732 * [taylor]: Taking taylor expansion of 1.0 in x 1.732 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.732 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.732 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.732 * [taylor]: Taking taylor expansion of x in x 1.732 * [taylor]: Taking taylor expansion of 1.0 in x 1.741 * [approximate]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in (x) around 0 1.741 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.741 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.741 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.741 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.741 * [taylor]: Taking taylor expansion of -2.0 in x 1.741 * [taylor]: Taking taylor expansion of x in x 1.741 * [taylor]: Taking taylor expansion of 1.0 in x 1.741 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.741 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.741 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.741 * [taylor]: Taking taylor expansion of -1 in x 1.741 * [taylor]: Taking taylor expansion of x in x 1.742 * [taylor]: Taking taylor expansion of 1.0 in x 1.743 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.743 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.743 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.743 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.743 * [taylor]: Taking taylor expansion of -2.0 in x 1.743 * [taylor]: Taking taylor expansion of x in x 1.743 * [taylor]: Taking taylor expansion of 1.0 in x 1.743 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.743 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.743 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.743 * [taylor]: Taking taylor expansion of -1 in x 1.743 * [taylor]: Taking taylor expansion of x in x 1.744 * [taylor]: Taking taylor expansion of 1.0 in x 1.755 * * * [progress]: simplifying candidates 1.759 * [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 (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)))) (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)) (+ (* 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.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))) (+ (* 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)) 1.766 * * [simplify]: iteration 0 : 232 enodes (cost 2954 ) 1.800 * * [simplify]: iteration 1 : 492 enodes (cost 2688 ) 1.897 * * [simplify]: iteration 2 : 1505 enodes (cost 2453 ) 2.375 * * [simplify]: iteration done : 5001 enodes (cost 2453 ) 2.376 * [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) (exp (* 2.0 (+ x x)))) (- 1.0) (- (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) 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)))) (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) (exp (* 2.0 (+ x x)))) (- (exp x) 1.0)) (* (- (exp x) 1.0) (+ (exp (* 2.0 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.25 (/ (pow x 2) (sqrt 2.0)) (- (fma 0.5 (/ x (sqrt 2.0)) (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))) (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)) 2.378 * * * [progress]: adding candidates to table 2.756 * * [progress]: iteration 2 / 4 2.756 * * * [progress]: picking best candidate 2.768 * * * * [pick]: Picked # 2.768 * * * [progress]: localizing error 2.786 * * * [progress]: generating rewritten candidates 2.786 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 2.816 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 2.820 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 2.826 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 2.871 * * * [progress]: generating series expansions 2.871 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 2.872 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in (x) around 0 2.872 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 2.872 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 2.872 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.872 * [taylor]: Taking taylor expansion of 2 in x 2.872 * [taylor]: Taking taylor expansion of x in x 2.873 * [taylor]: Taking taylor expansion of 1.0 in x 2.873 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 2.873 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 2.873 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.873 * [taylor]: Taking taylor expansion of 2 in x 2.873 * [taylor]: Taking taylor expansion of x in x 2.874 * [taylor]: Taking taylor expansion of 1.0 in x 2.880 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in (x) around 0 2.880 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 2.880 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 2.880 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.880 * [taylor]: Taking taylor expansion of 2 in x 2.880 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.880 * [taylor]: Taking taylor expansion of x in x 2.881 * [taylor]: Taking taylor expansion of 1.0 in x 2.881 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 2.881 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 2.881 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.881 * [taylor]: Taking taylor expansion of 2 in x 2.881 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.881 * [taylor]: Taking taylor expansion of x in x 2.882 * [taylor]: Taking taylor expansion of 1.0 in x 2.885 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in (x) around 0 2.885 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 2.885 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 2.885 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 2.885 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.885 * [taylor]: Taking taylor expansion of 2 in x 2.885 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.886 * [taylor]: Taking taylor expansion of x in x 2.886 * [taylor]: Taking taylor expansion of 1.0 in x 2.886 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 2.886 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 2.886 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 2.886 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.886 * [taylor]: Taking taylor expansion of 2 in x 2.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.886 * [taylor]: Taking taylor expansion of x in x 2.887 * [taylor]: Taking taylor expansion of 1.0 in x 2.891 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 2.891 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 2.891 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 2.891 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 2.891 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 2.891 * [taylor]: Taking taylor expansion of 2.0 in x 2.891 * [taylor]: Taking taylor expansion of x in x 2.892 * [taylor]: Taking taylor expansion of 1.0 in x 2.892 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 2.892 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 2.892 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 2.892 * [taylor]: Taking taylor expansion of 2.0 in x 2.892 * [taylor]: Taking taylor expansion of x in x 2.893 * [taylor]: Taking taylor expansion of 1.0 in x 2.907 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 2.907 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 2.907 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 2.907 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 2.907 * [taylor]: Taking taylor expansion of 2.0 in x 2.907 * [taylor]: Taking taylor expansion of x in x 2.907 * [taylor]: Taking taylor expansion of 1.0 in x 2.907 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 2.907 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 2.907 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 2.907 * [taylor]: Taking taylor expansion of 2.0 in x 2.907 * [taylor]: Taking taylor expansion of x in x 2.908 * [taylor]: Taking taylor expansion of 1.0 in x 2.911 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 2.912 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 2.912 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 2.912 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 2.912 * [taylor]: Taking taylor expansion of -2.0 in x 2.912 * [taylor]: Taking taylor expansion of x in x 2.912 * [taylor]: Taking taylor expansion of 1.0 in x 2.912 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 2.912 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 2.912 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 2.912 * [taylor]: Taking taylor expansion of -2.0 in x 2.912 * [taylor]: Taking taylor expansion of x in x 2.912 * [taylor]: Taking taylor expansion of 1.0 in x 2.916 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 2.916 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) 1.0)) in (x) around 0 2.916 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1.0)) in x 2.916 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 2.916 * [taylor]: Taking taylor expansion of (exp x) in x 2.916 * [taylor]: Taking taylor expansion of x in x 2.916 * [taylor]: Taking taylor expansion of 1.0 in x 2.918 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1.0)) in x 2.918 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 2.918 * [taylor]: Taking taylor expansion of (exp x) in x 2.918 * [taylor]: Taking taylor expansion of x in x 2.918 * [taylor]: Taking taylor expansion of 1.0 in x 2.935 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1.0)) in (x) around 0 2.935 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1.0)) in x 2.935 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 2.935 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.935 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.935 * [taylor]: Taking taylor expansion of x in x 2.935 * [taylor]: Taking taylor expansion of 1.0 in x 2.936 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1.0)) in x 2.936 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 2.936 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.936 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.936 * [taylor]: Taking taylor expansion of x in x 2.936 * [taylor]: Taking taylor expansion of 1.0 in x 2.943 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1.0)) in (x) around 0 2.943 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1.0)) in x 2.943 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 2.943 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.943 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.943 * [taylor]: Taking taylor expansion of -1 in x 2.943 * [taylor]: Taking taylor expansion of x in x 2.944 * [taylor]: Taking taylor expansion of 1.0 in x 2.944 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1.0)) in x 2.944 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 2.944 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.944 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.944 * [taylor]: Taking taylor expansion of -1 in x 2.944 * [taylor]: Taking taylor expansion of x in x 2.945 * [taylor]: Taking taylor expansion of 1.0 in x 2.949 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 2.949 * [approximate]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) in (x) around 0 2.949 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) in x 2.950 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 2.950 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 2.950 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 2.950 * [taylor]: Taking taylor expansion of 2.0 in x 2.950 * [taylor]: Taking taylor expansion of x in x 2.951 * [taylor]: Taking taylor expansion of 1.0 in x 2.951 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 2.951 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 2.951 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.951 * [taylor]: Taking taylor expansion of 2 in x 2.951 * [taylor]: Taking taylor expansion of x in x 2.952 * [taylor]: Taking taylor expansion of 1.0 in x 2.957 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 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.958 * [taylor]: Taking taylor expansion of 1.0 in x 2.958 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 2.958 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 2.958 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.958 * [taylor]: Taking taylor expansion of 2 in x 2.958 * [taylor]: Taking taylor expansion of x in x 2.959 * [taylor]: Taking taylor expansion of 1.0 in x 3.081 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (* 2 (/ 1 x))) 1.0)) in (x) around 0 3.081 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (* 2 (/ 1 x))) 1.0)) in x 3.081 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 3.081 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 3.081 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 3.081 * [taylor]: Taking taylor expansion of 2.0 in x 3.081 * [taylor]: Taking taylor expansion of x in x 3.081 * [taylor]: Taking taylor expansion of 1.0 in x 3.081 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 3.081 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.081 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.081 * [taylor]: Taking taylor expansion of 2 in x 3.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.081 * [taylor]: Taking taylor expansion of x in x 3.082 * [taylor]: Taking taylor expansion of 1.0 in x 3.083 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (* 2 (/ 1 x))) 1.0)) in x 3.083 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 3.083 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 3.083 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 3.083 * [taylor]: Taking taylor expansion of 2.0 in x 3.083 * [taylor]: Taking taylor expansion of x in x 3.084 * [taylor]: Taking taylor expansion of 1.0 in x 3.084 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 3.084 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.084 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.084 * [taylor]: Taking taylor expansion of 2 in x 3.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.084 * [taylor]: Taking taylor expansion of x in x 3.084 * [taylor]: Taking taylor expansion of 1.0 in x 3.093 * [approximate]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (- (* 2 (/ 1 x)))) 1.0)) in (x) around 0 3.093 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (- (* 2 (/ 1 x)))) 1.0)) in x 3.093 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 3.093 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 3.093 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 3.093 * [taylor]: Taking taylor expansion of -2.0 in x 3.096 * [taylor]: Taking taylor expansion of x in x 3.096 * [taylor]: Taking taylor expansion of 1.0 in x 3.096 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 3.096 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 3.096 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 3.096 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.096 * [taylor]: Taking taylor expansion of 2 in x 3.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.096 * [taylor]: Taking taylor expansion of x in x 3.097 * [taylor]: Taking taylor expansion of 1.0 in x 3.098 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (- (* 2 (/ 1 x)))) 1.0)) in x 3.098 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 3.098 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 3.098 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 3.098 * [taylor]: Taking taylor expansion of -2.0 in x 3.098 * [taylor]: Taking taylor expansion of x in x 3.099 * [taylor]: Taking taylor expansion of 1.0 in x 3.099 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 3.099 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 3.099 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 3.099 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.099 * [taylor]: Taking taylor expansion of 2 in x 3.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.099 * [taylor]: Taking taylor expansion of x in x 3.100 * [taylor]: Taking taylor expansion of 1.0 in x 3.109 * * * [progress]: simplifying candidates 3.112 * [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) 1.0))) (log1p (sqrt (+ (exp x) 1.0))) (log (sqrt (+ (exp x) 1.0))) (exp (sqrt (+ (exp x) 1.0))) (* (cbrt (sqrt (+ (exp x) 1.0))) (cbrt (sqrt (+ (exp x) 1.0)))) (cbrt (sqrt (+ (exp x) 1.0))) (* (* (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0))) (sqrt (+ (exp x) 1.0))) (sqrt (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0)))) (sqrt (cbrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) (sqrt 1) (sqrt (+ (exp x) 1.0)) (sqrt 1) (sqrt (+ (exp x) 1.0)) (sqrt (+ (pow (exp x) 3) (pow 1.0 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1.0 1.0) (* (exp x) 1.0)))) (sqrt (- (* (exp x) (exp x)) (* 1.0 1.0))) (sqrt (- (exp x) 1.0)) (/ 1 2) (sqrt (sqrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) (expm1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (log1p (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (- (log (- (exp (* 2.0 x)) 1.0)) (log (- (exp (+ x x)) (* 1.0 1.0)))) (log (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (exp (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (/ (* (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2.0 x)) 1.0)) (* (* (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (+ x x)) (* 1.0 1.0))) (- (exp (+ x x)) (* 1.0 1.0)))) (* (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (* (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (- (- (exp (* 2.0 x)) 1.0)) (- (- (exp (+ x x)) (* 1.0 1.0))) (/ (exp (* 2.0 x)) (- (exp (+ x x)) (* 1.0 1.0))) (/ 1.0 (- (exp (+ x x)) (* 1.0 1.0))) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 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 x)) (* 1.0 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)) (- (exp x) 1.0)) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp (+ x x))) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) 1) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp (+ x x)) (* 1.0 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)) (+ (sqrt (exp (+ x x))) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp (+ x x))) 1.0)) (/ 1 (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 1) (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (/ 1 (+ (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ (sqrt (exp (+ x x))) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp (+ x x))) 1.0)) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 1) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (exp x) 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 x))) 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (+ x x))) 1.0)) (/ 1 (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 1) (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (/ 1 (+ (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ (sqrt (exp (+ x x))) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp (+ x x))) 1.0)) (/ 1 (- (exp (+ x x)) (* 1.0 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) 1) (/ (- (exp (* 2.0 x)) 1.0) (+ (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (+ (sqrt (exp (+ x x))) 1.0)) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (+ x x)) (* 1.0 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (pow (exp (+ x x)) 3) (pow (* 1.0 1.0) 3))) (/ (- (exp (* 2.0 x)) 1.0) (- (* (exp (+ x x)) (exp (+ x x))) (* (* 1.0 1.0) (* 1.0 1.0)))) (* (- (exp (+ x x)) (* 1.0 1.0)) (+ (* (exp (* 2.0 x)) (exp (* 2.0 x))) (+ (* 1.0 1.0) (* (exp (* 2.0 x)) 1.0)))) (* (- (exp (+ x x)) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0)) (+ (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (+ (* 2.0 (pow x 2)) (+ (* 1.3333333333333333 (pow x 3)) (* 2.0 x))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (- (+ (* 1/4 (/ (pow x 2) (sqrt 2.0))) (+ (sqrt 2.0) (* 1/2 (/ x (sqrt 2.0))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2.0) 3)))) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) 1.0 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) 3.118 * * [simplify]: iteration 0 : 223 enodes (cost 2351 ) 3.157 * * [simplify]: iteration 1 : 521 enodes (cost 2210 ) 3.277 * * [simplify]: iteration 2 : 1838 enodes (cost 1979 ) 3.808 * * [simplify]: iteration done : 5001 enodes (cost 1979 ) 3.809 * [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 (+ x x)) (* 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))) (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))) (+ 1.0 (exp x)) (- (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 x) 1.0))) (log1p (sqrt (+ (exp x) 1.0))) (log (sqrt (+ (exp x) 1.0))) (exp (sqrt (+ (exp x) 1.0))) (* (cbrt (sqrt (+ (exp x) 1.0))) (cbrt (sqrt (+ (exp x) 1.0)))) (cbrt (sqrt (+ (exp x) 1.0))) (pow (sqrt (+ (exp x) 1.0)) 3) (fabs (cbrt (+ (exp x) 1.0))) (sqrt (cbrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) 1 (sqrt (+ (exp x) 1.0)) 1 (sqrt (+ (exp x) 1.0)) (hypot (pow 1.0 3/2) (pow (exp x) 3/2)) (sqrt (fma 1.0 (- 1.0 (exp x)) (exp (+ x x)))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp x) 1.0)) 1/2 (sqrt (sqrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) (expm1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (log1p (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (log (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (log (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (exp (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (pow (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) 3) (* (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (pow (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) 3) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (- (- (exp (* 2.0 x)) 1.0)) (- (- (exp (+ x x)) (* 1.0 1.0))) (/ (exp (* 2.0 x)) (- (exp (+ x x)) (* 1.0 1.0))) (/ 1.0 (- (exp (+ x x)) (* 1.0 1.0))) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 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 x)) (* 1.0 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)) (- (exp x) 1.0)) (* (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (+ 1.0 (fabs (exp x)))) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (fabs (exp x)) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (sqrt (- (exp (* 2.0 x)) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp (+ x x)) (* 1.0 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)) (+ 1.0 (fabs (exp x)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (fabs (exp x)) 1.0)) (/ 1 (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (/ 1 (+ (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ 1.0 (fabs (exp x)))) (/ (- (exp (* 2.0 x)) 1.0) (- (fabs (exp x)) 1.0)) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (exp x) 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0)) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ 1.0 (fabs (exp x)))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (fabs (exp x)) 1.0)) (/ 1 (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (/ 1 (+ (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ 1.0 (fabs (exp x)))) (/ (- (exp (* 2.0 x)) 1.0) (- (fabs (exp x)) 1.0)) (/ 1 (- (exp (+ x x)) (* 1.0 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (- (exp (* 2.0 x)) 1.0) (/ (- (exp (* 2.0 x)) 1.0) (+ (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (+ 1.0 (fabs (exp x)))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (+ x x)) (* 1.0 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (pow (exp (+ x x)) 3) (pow 1.0 6))) (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* x 4)) (pow 1.0 4))) (* (- (exp (+ x x)) (* 1.0 1.0)) (fma 1.0 (+ (exp (* 2.0 x)) 1.0) (pow (exp 2.0) (+ x x)))) (* (- (exp (+ x x)) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0)) (fma 2 (pow x 2) (fma 4/3 (pow x 3) (+ x 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 1/4 (/ (pow x 2) (sqrt 2.0)) (- (fma 1/2 (/ x (sqrt 2.0)) (sqrt 2.0)) (* 1/8 (/ (pow x 2) (pow (sqrt 2.0) 3))))) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) 1.0 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) 3.810 * * * [progress]: adding candidates to table 4.246 * * [progress]: iteration 3 / 4 4.246 * * * [progress]: picking best candidate 4.256 * * * * [pick]: Picked # 4.256 * * * [progress]: localizing error 4.273 * * * [progress]: generating rewritten candidates 4.273 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 4.305 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 4.310 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 4.311 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 4.354 * * * [progress]: generating series expansions 4.354 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 4.354 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in (x) around 0 4.354 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 4.354 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 4.354 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.354 * [taylor]: Taking taylor expansion of 2 in x 4.354 * [taylor]: Taking taylor expansion of x in x 4.355 * [taylor]: Taking taylor expansion of 1.0 in x 4.355 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 4.355 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 4.355 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.355 * [taylor]: Taking taylor expansion of 2 in x 4.355 * [taylor]: Taking taylor expansion of x in x 4.356 * [taylor]: Taking taylor expansion of 1.0 in x 4.363 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in (x) around 0 4.363 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 4.363 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 4.363 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.363 * [taylor]: Taking taylor expansion of 2 in x 4.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.363 * [taylor]: Taking taylor expansion of x in x 4.363 * [taylor]: Taking taylor expansion of 1.0 in x 4.363 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 4.363 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 4.363 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.363 * [taylor]: Taking taylor expansion of 2 in x 4.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.364 * [taylor]: Taking taylor expansion of x in x 4.364 * [taylor]: Taking taylor expansion of 1.0 in x 4.368 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in (x) around 0 4.368 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 4.368 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 4.368 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 4.368 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.368 * [taylor]: Taking taylor expansion of 2 in x 4.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.368 * [taylor]: Taking taylor expansion of x in x 4.369 * [taylor]: Taking taylor expansion of 1.0 in x 4.369 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 4.369 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 4.369 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 4.369 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.369 * [taylor]: Taking taylor expansion of 2 in x 4.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.369 * [taylor]: Taking taylor expansion of x in x 4.370 * [taylor]: Taking taylor expansion of 1.0 in x 4.373 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 4.374 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 4.374 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 4.374 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 4.374 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 4.374 * [taylor]: Taking taylor expansion of 2.0 in x 4.374 * [taylor]: Taking taylor expansion of x in x 4.378 * [taylor]: Taking taylor expansion of 1.0 in x 4.378 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 4.378 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 4.378 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 4.378 * [taylor]: Taking taylor expansion of 2.0 in x 4.378 * [taylor]: Taking taylor expansion of x in x 4.379 * [taylor]: Taking taylor expansion of 1.0 in x 4.393 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 4.393 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 4.393 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 4.393 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 4.393 * [taylor]: Taking taylor expansion of 2.0 in x 4.393 * [taylor]: Taking taylor expansion of x in x 4.393 * [taylor]: Taking taylor expansion of 1.0 in x 4.393 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 4.393 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 4.393 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 4.393 * [taylor]: Taking taylor expansion of 2.0 in x 4.393 * [taylor]: Taking taylor expansion of x in x 4.393 * [taylor]: Taking taylor expansion of 1.0 in x 4.397 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 4.397 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 4.397 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 4.397 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 4.397 * [taylor]: Taking taylor expansion of -2.0 in x 4.397 * [taylor]: Taking taylor expansion of x in x 4.397 * [taylor]: Taking taylor expansion of 1.0 in x 4.397 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 4.397 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 4.397 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 4.397 * [taylor]: Taking taylor expansion of -2.0 in x 4.397 * [taylor]: Taking taylor expansion of x in x 4.398 * [taylor]: Taking taylor expansion of 1.0 in x 4.401 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 4.401 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 4.401 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 4.401 * [taylor]: Taking taylor expansion of (exp x) in x 4.401 * [taylor]: Taking taylor expansion of x in x 4.403 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 4.403 * [taylor]: Taking taylor expansion of (exp x) in x 4.403 * [taylor]: Taking taylor expansion of x in x 4.405 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 4.405 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 4.405 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.405 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.406 * [taylor]: Taking taylor expansion of x in x 4.406 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 4.406 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.406 * [taylor]: Taking taylor expansion of x in x 4.409 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 4.409 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 4.409 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.409 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.409 * [taylor]: Taking taylor expansion of -1 in x 4.409 * [taylor]: Taking taylor expansion of x in x 4.410 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 4.410 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.410 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.410 * [taylor]: Taking taylor expansion of -1 in x 4.410 * [taylor]: Taking taylor expansion of x in x 4.413 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 4.413 * [approximate]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) in (x) around 0 4.413 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) in x 4.413 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 4.413 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 4.413 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 4.413 * [taylor]: Taking taylor expansion of 2.0 in x 4.413 * [taylor]: Taking taylor expansion of x in x 4.415 * [taylor]: Taking taylor expansion of 1.0 in x 4.415 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 4.415 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 4.415 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.415 * [taylor]: Taking taylor expansion of 2 in x 4.415 * [taylor]: Taking taylor expansion of x in x 4.415 * [taylor]: Taking taylor expansion of 1.0 in x 4.421 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) in x 4.421 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 4.421 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 4.421 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 4.421 * [taylor]: Taking taylor expansion of 2.0 in x 4.421 * [taylor]: Taking taylor expansion of x in x 4.422 * [taylor]: Taking taylor expansion of 1.0 in x 4.422 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 4.422 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 4.422 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.422 * [taylor]: Taking taylor expansion of 2 in x 4.422 * [taylor]: Taking taylor expansion of x in x 4.423 * [taylor]: Taking taylor expansion of 1.0 in x 4.553 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (* 2 (/ 1 x))) 1.0)) in (x) around 0 4.553 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (* 2 (/ 1 x))) 1.0)) in x 4.553 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 4.553 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 4.553 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 4.553 * [taylor]: Taking taylor expansion of 2.0 in x 4.553 * [taylor]: Taking taylor expansion of x in x 4.553 * [taylor]: Taking taylor expansion of 1.0 in x 4.553 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 4.553 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 4.553 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.553 * [taylor]: Taking taylor expansion of 2 in x 4.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.553 * [taylor]: Taking taylor expansion of x in x 4.554 * [taylor]: Taking taylor expansion of 1.0 in x 4.555 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (* 2 (/ 1 x))) 1.0)) in x 4.555 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 4.555 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 4.555 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 4.555 * [taylor]: Taking taylor expansion of 2.0 in x 4.555 * [taylor]: Taking taylor expansion of x in x 4.555 * [taylor]: Taking taylor expansion of 1.0 in x 4.555 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 4.555 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 4.555 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.555 * [taylor]: Taking taylor expansion of 2 in x 4.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.555 * [taylor]: Taking taylor expansion of x in x 4.556 * [taylor]: Taking taylor expansion of 1.0 in x 4.565 * [approximate]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (- (* 2 (/ 1 x)))) 1.0)) in (x) around 0 4.565 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (- (* 2 (/ 1 x)))) 1.0)) in x 4.565 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 4.565 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 4.565 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 4.565 * [taylor]: Taking taylor expansion of -2.0 in x 4.565 * [taylor]: Taking taylor expansion of x in x 4.566 * [taylor]: Taking taylor expansion of 1.0 in x 4.566 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 4.566 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 4.566 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 4.566 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.566 * [taylor]: Taking taylor expansion of 2 in x 4.566 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.566 * [taylor]: Taking taylor expansion of x in x 4.566 * [taylor]: Taking taylor expansion of 1.0 in x 4.568 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (- (* 2 (/ 1 x)))) 1.0)) in x 4.568 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 4.568 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 4.568 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 4.568 * [taylor]: Taking taylor expansion of -2.0 in x 4.568 * [taylor]: Taking taylor expansion of x in x 4.568 * [taylor]: Taking taylor expansion of 1.0 in x 4.568 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 4.568 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 4.568 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 4.568 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.568 * [taylor]: Taking taylor expansion of 2 in x 4.568 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.568 * [taylor]: Taking taylor expansion of x in x 4.569 * [taylor]: Taking taylor expansion of 1.0 in x 4.579 * * * [progress]: simplifying candidates 4.581 * [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 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (log1p (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (- (log (- (exp (* 2.0 x)) 1.0)) (log (- (exp (+ x x)) (* 1.0 1.0)))) (log (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (exp (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (/ (* (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2.0 x)) 1.0)) (* (* (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (+ x x)) (* 1.0 1.0))) (- (exp (+ x x)) (* 1.0 1.0)))) (* (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (* (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (- (- (exp (* 2.0 x)) 1.0)) (- (- (exp (+ x x)) (* 1.0 1.0))) (/ (exp (* 2.0 x)) (- (exp (+ x x)) (* 1.0 1.0))) (/ 1.0 (- (exp (+ x x)) (* 1.0 1.0))) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 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 x)) (* 1.0 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)) (- (exp x) 1.0)) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp (+ x x))) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) 1) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp (+ x x)) (* 1.0 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)) (+ (sqrt (exp (+ x x))) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp (+ x x))) 1.0)) (/ 1 (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 1) (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (/ 1 (+ (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ (sqrt (exp (+ x x))) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp (+ x x))) 1.0)) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 1) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (exp x) 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 x))) 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (+ x x))) 1.0)) (/ 1 (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 1) (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (/ 1 (+ (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ (sqrt (exp (+ x x))) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp (+ x x))) 1.0)) (/ 1 (- (exp (+ x x)) (* 1.0 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) 1) (/ (- (exp (* 2.0 x)) 1.0) (+ (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (+ (sqrt (exp (+ x x))) 1.0)) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (+ x x)) (* 1.0 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (pow (exp (+ x x)) 3) (pow (* 1.0 1.0) 3))) (/ (- (exp (* 2.0 x)) 1.0) (- (* (exp (+ x x)) (exp (+ x x))) (* (* 1.0 1.0) (* 1.0 1.0)))) (* (- (exp (+ x x)) (* 1.0 1.0)) (+ (* (exp (* 2.0 x)) (exp (* 2.0 x))) (+ (* 1.0 1.0) (* (exp (* 2.0 x)) 1.0)))) (* (- (exp (+ x x)) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0)) (+ (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (+ (* 2.0 (pow x 2)) (+ (* 1.3333333333333333 (pow x 3)) (* 2.0 x))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt (exp x)) (sqrt (exp x)) 1.0 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) 4.587 * * [simplify]: iteration 0 : 209 enodes (cost 2258 ) 4.625 * * [simplify]: iteration 1 : 476 enodes (cost 2125 ) 4.726 * * [simplify]: iteration 2 : 1517 enodes (cost 1899 ) 5.204 * * [simplify]: iteration done : 5000 enodes (cost 1899 ) 5.206 * [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 (+ x x)) (* 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))) (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 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 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (log1p (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (log (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (log (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (exp (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (pow (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) 3) (* (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (pow (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) 3) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (- (- (exp (* 2.0 x)) 1.0)) (- (- (exp (+ x x)) (* 1.0 1.0))) (/ (exp (* 2.0 x)) (- (exp (+ x x)) (* 1.0 1.0))) (/ 1.0 (- (exp (+ x x)) (* 1.0 1.0))) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 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 x)) (* 1.0 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)) (- (exp x) 1.0)) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (/ (+ 1.0 (fabs (exp x))) (cbrt (- (exp (* 2.0 x)) 1.0)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (fabs (exp x)) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (sqrt (- (exp (* 2.0 x)) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp (+ x x)) (* 1.0 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)) (+ 1.0 (fabs (exp x)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (fabs (exp x)) 1.0)) (/ 1 (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (/ 1 (+ (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ 1.0 (fabs (exp x)))) (/ (- (exp (* 2.0 x)) 1.0) (- (fabs (exp x)) 1.0)) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (exp x) 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0)) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ 1.0 (fabs (exp x)))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (fabs (exp x)) 1.0)) (/ 1 (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (/ 1 (+ (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ 1.0 (fabs (exp x)))) (/ (- (exp (* 2.0 x)) 1.0) (- (fabs (exp x)) 1.0)) (/ 1 (- (exp (+ x x)) (* 1.0 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (- (exp (* 2.0 x)) 1.0) (/ (- (exp (* 2.0 x)) 1.0) (+ (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (+ 1.0 (fabs (exp x)))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (+ x x)) (* 1.0 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (pow (exp (+ x x)) 3) (pow 1.0 6))) (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* x 4)) (pow 1.0 4))) (* (- (exp (+ x x)) (* 1.0 1.0)) (fma 1.0 (+ (exp (* 2.0 x)) 1.0) (pow (exp 2.0) (+ x x)))) (* (- (exp (+ x x)) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0)) (fma 2 (pow x 2) (fma 4/3 (pow x 3) (+ x 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 1/8 (pow x 2) (fma 1/2 x 1)) (sqrt (exp x)) (sqrt (exp x)) 1.0 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) 5.207 * * * [progress]: adding candidates to table 5.693 * * [progress]: iteration 4 / 4 5.694 * * * [progress]: picking best candidate 5.700 * * * * [pick]: Picked # 5.701 * * * [progress]: localizing error 5.724 * * * [progress]: generating rewritten candidates 5.724 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 5.753 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1) 5.758 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 5.759 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 5.820 * * * [progress]: generating series expansions 5.820 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 5.821 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in (x) around 0 5.821 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 5.821 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 5.821 * [taylor]: Taking taylor expansion of (* 2 x) in x 5.821 * [taylor]: Taking taylor expansion of 2 in x 5.821 * [taylor]: Taking taylor expansion of x in x 5.822 * [taylor]: Taking taylor expansion of 1.0 in x 5.822 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 5.822 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 5.822 * [taylor]: Taking taylor expansion of (* 2 x) in x 5.822 * [taylor]: Taking taylor expansion of 2 in x 5.822 * [taylor]: Taking taylor expansion of x in x 5.822 * [taylor]: Taking taylor expansion of 1.0 in x 5.829 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in (x) around 0 5.829 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 5.829 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 5.829 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 5.829 * [taylor]: Taking taylor expansion of 2 in x 5.829 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.829 * [taylor]: Taking taylor expansion of x in x 5.830 * [taylor]: Taking taylor expansion of 1.0 in x 5.830 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 5.830 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 5.830 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 5.830 * [taylor]: Taking taylor expansion of 2 in x 5.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.830 * [taylor]: Taking taylor expansion of x in x 5.831 * [taylor]: Taking taylor expansion of 1.0 in x 5.834 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in (x) around 0 5.834 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 5.834 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 5.834 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 5.834 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 5.834 * [taylor]: Taking taylor expansion of 2 in x 5.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.834 * [taylor]: Taking taylor expansion of x in x 5.835 * [taylor]: Taking taylor expansion of 1.0 in x 5.835 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 5.835 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 5.835 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 5.835 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 5.835 * [taylor]: Taking taylor expansion of 2 in x 5.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.835 * [taylor]: Taking taylor expansion of x in x 5.836 * [taylor]: Taking taylor expansion of 1.0 in x 5.840 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1) 5.840 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 5.840 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 5.840 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 5.840 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 5.840 * [taylor]: Taking taylor expansion of 2.0 in x 5.840 * [taylor]: Taking taylor expansion of x in x 5.841 * [taylor]: Taking taylor expansion of 1.0 in x 5.841 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 5.841 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 5.841 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 5.841 * [taylor]: Taking taylor expansion of 2.0 in x 5.841 * [taylor]: Taking taylor expansion of x in x 5.842 * [taylor]: Taking taylor expansion of 1.0 in x 5.855 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 5.856 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 5.856 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 5.856 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 5.856 * [taylor]: Taking taylor expansion of 2.0 in x 5.856 * [taylor]: Taking taylor expansion of x in x 5.856 * [taylor]: Taking taylor expansion of 1.0 in x 5.856 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 5.856 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 5.856 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 5.856 * [taylor]: Taking taylor expansion of 2.0 in x 5.856 * [taylor]: Taking taylor expansion of x in x 5.856 * [taylor]: Taking taylor expansion of 1.0 in x 5.860 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 5.860 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 5.860 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 5.860 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 5.860 * [taylor]: Taking taylor expansion of -2.0 in x 5.860 * [taylor]: Taking taylor expansion of x in x 5.860 * [taylor]: Taking taylor expansion of 1.0 in x 5.860 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 5.860 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 5.860 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 5.861 * [taylor]: Taking taylor expansion of -2.0 in x 5.861 * [taylor]: Taking taylor expansion of x in x 5.861 * [taylor]: Taking taylor expansion of 1.0 in x 5.864 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 5.864 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 5.864 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 5.864 * [taylor]: Taking taylor expansion of (exp x) in x 5.864 * [taylor]: Taking taylor expansion of x in x 5.866 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 5.866 * [taylor]: Taking taylor expansion of (exp x) in x 5.866 * [taylor]: Taking taylor expansion of x in x 5.873 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 5.873 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 5.873 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.873 * [taylor]: Taking taylor expansion of x in x 5.874 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 5.874 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.874 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.874 * [taylor]: Taking taylor expansion of x in x 5.877 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 5.877 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 5.877 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.877 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.877 * [taylor]: Taking taylor expansion of -1 in x 5.877 * [taylor]: Taking taylor expansion of x in x 5.878 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 5.878 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.878 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.878 * [taylor]: Taking taylor expansion of -1 in x 5.878 * [taylor]: Taking taylor expansion of x in x 5.881 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 5.882 * [approximate]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) in (x) around 0 5.882 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) in x 5.882 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 5.882 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 5.882 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 5.882 * [taylor]: Taking taylor expansion of 2.0 in x 5.882 * [taylor]: Taking taylor expansion of x in x 5.883 * [taylor]: Taking taylor expansion of 1.0 in x 5.883 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 5.883 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 5.883 * [taylor]: Taking taylor expansion of (* 2 x) in x 5.883 * [taylor]: Taking taylor expansion of 2 in x 5.883 * [taylor]: Taking taylor expansion of x in x 5.884 * [taylor]: Taking taylor expansion of 1.0 in x 5.889 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) in x 5.889 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 5.889 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 5.889 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 5.889 * [taylor]: Taking taylor expansion of 2.0 in x 5.889 * [taylor]: Taking taylor expansion of x in x 5.891 * [taylor]: Taking taylor expansion of 1.0 in x 5.891 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 5.891 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 5.891 * [taylor]: Taking taylor expansion of (* 2 x) in x 5.891 * [taylor]: Taking taylor expansion of 2 in x 5.891 * [taylor]: Taking taylor expansion of x in x 5.891 * [taylor]: Taking taylor expansion of 1.0 in x 6.016 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (* 2 (/ 1 x))) 1.0)) in (x) around 0 6.016 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (* 2 (/ 1 x))) 1.0)) in x 6.016 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 6.017 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 6.017 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 6.017 * [taylor]: Taking taylor expansion of 2.0 in x 6.017 * [taylor]: Taking taylor expansion of x in x 6.017 * [taylor]: Taking taylor expansion of 1.0 in x 6.017 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 6.017 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 6.017 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 6.017 * [taylor]: Taking taylor expansion of 2 in x 6.017 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.017 * [taylor]: Taking taylor expansion of x in x 6.018 * [taylor]: Taking taylor expansion of 1.0 in x 6.019 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (* 2 (/ 1 x))) 1.0)) in x 6.019 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 6.019 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 6.019 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 6.019 * [taylor]: Taking taylor expansion of 2.0 in x 6.019 * [taylor]: Taking taylor expansion of x in x 6.019 * [taylor]: Taking taylor expansion of 1.0 in x 6.019 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 6.019 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 6.019 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 6.019 * [taylor]: Taking taylor expansion of 2 in x 6.019 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.019 * [taylor]: Taking taylor expansion of x in x 6.020 * [taylor]: Taking taylor expansion of 1.0 in x 6.034 * [approximate]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (- (* 2 (/ 1 x)))) 1.0)) in (x) around 0 6.034 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (- (* 2 (/ 1 x)))) 1.0)) in x 6.034 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 6.034 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 6.034 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 6.034 * [taylor]: Taking taylor expansion of -2.0 in x 6.034 * [taylor]: Taking taylor expansion of x in x 6.035 * [taylor]: Taking taylor expansion of 1.0 in x 6.035 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 6.035 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 6.035 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 6.035 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 6.035 * [taylor]: Taking taylor expansion of 2 in x 6.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.035 * [taylor]: Taking taylor expansion of x in x 6.036 * [taylor]: Taking taylor expansion of 1.0 in x 6.037 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (- (* 2 (/ 1 x)))) 1.0)) in x 6.037 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 6.037 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 6.037 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 6.037 * [taylor]: Taking taylor expansion of -2.0 in x 6.037 * [taylor]: Taking taylor expansion of x in x 6.037 * [taylor]: Taking taylor expansion of 1.0 in x 6.037 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 6.037 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 6.037 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 6.037 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 6.037 * [taylor]: Taking taylor expansion of 2 in x 6.037 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.037 * [taylor]: Taking taylor expansion of x in x 6.038 * [taylor]: Taking taylor expansion of 1.0 in x 6.048 * * * [progress]: simplifying candidates 6.052 * [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 (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp (+ x x)) (* 1.0 1.0)))) (log1p (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp (+ x x)) (* 1.0 1.0)))) (- (log (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (log (- (exp (+ x x)) (* 1.0 1.0)))) (log (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp (+ x x)) (* 1.0 1.0)))) (exp (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp (+ x x)) (* 1.0 1.0)))) (/ (pow (- (exp (* 2.0 x)) 1.0) 3) (* (* (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (+ x x)) (* 1.0 1.0))) (- (exp (+ x x)) (* 1.0 1.0)))) (* (cbrt (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp (+ x x)) (* 1.0 1.0))))) (cbrt (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp (+ x x)) (* 1.0 1.0)))) (* (* (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp (+ x x)) (* 1.0 1.0)))) (sqrt (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp (+ x x)) (* 1.0 1.0)))) (sqrt (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp (+ x x)) (* 1.0 1.0)))) (- (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (- (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt (pow (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 3)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 3)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 3)) 1) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 3)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt (pow (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 3)) (+ (exp x) 1.0)) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 3)) (- (exp x) 1.0)) (/ (cbrt (pow (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 3)) (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 3)) (- (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) 1) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (+ (exp x) 1.0)) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (- (exp x) 1.0)) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (- (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow 1 3)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow 1 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow 1 3)) 1) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt (pow 1 3)) (+ (exp x) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp x) 1.0)) (/ (cbrt (pow 1 3)) (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) 1) (/ (cbrt (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt (pow (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (+ (exp x) 1.0)) (/ (cbrt (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (- (exp x) 1.0)) (/ (cbrt (pow (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (- (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow 1 3)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow 1 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow 1 3)) 1) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt (pow 1 3)) (+ (exp x) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp x) 1.0)) (/ (cbrt (pow 1 3)) (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0))) 1) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt (* (- (exp (* 2.0 x)) 1.0) (- (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 (* 2.0 x)) 1.0))) (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (* (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (* (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)))) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (* (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)))) 1) (/ (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt (* (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)))) (+ (exp x) 1.0)) (/ (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (- (exp x) 1.0)) (/ (cbrt (* (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)))) (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (- (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 3)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 3)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 3)) 1) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 3)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt (pow (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 3)) (+ (exp x) 1.0)) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 3)) (- (exp x) 1.0)) (/ (cbrt (pow (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 3)) (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 3)) (- (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) 1) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (+ (exp x) 1.0)) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (- (exp x) 1.0)) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (- (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow 1 3)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow 1 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow 1 3)) 1) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt (pow 1 3)) (+ (exp x) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp x) 1.0)) (/ (cbrt (pow 1 3)) (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) 1) (/ (cbrt (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt (pow (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (+ (exp x) 1.0)) (/ (cbrt (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (- (exp x) 1.0)) (/ (cbrt (pow (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (- (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow 1 3)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow 1 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow 1 3)) 1) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt (pow 1 3)) (+ (exp x) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp x) 1.0)) (/ (cbrt (pow 1 3)) (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) 1) (/ (cbrt (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0))) (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (+ (exp x) 1.0)) (/ (cbrt (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0))) (- (exp x) 1.0)) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0))) (- (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) 1) (/ (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (+ (exp x) 1.0)) (/ (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (- (exp x) 1.0)) (/ (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (- (sqrt (exp (+ x x))) 1.0)) (/ (cbrt 1) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt 1) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt 1) 1) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt 1) (+ (exp x) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp x) 1.0)) (/ (cbrt 1) (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) (/ 3 2))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) (/ 3 2))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) (/ 3 2))) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) (/ 3 2))) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) (/ 3 2))) 1) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) (/ 3 2))) (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) (/ 3 2))) (+ (exp x) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) (/ 3 2))) (- (exp x) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) (/ 3 2))) (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) (/ 3 2))) (- (sqrt (exp (+ x x))) 1.0)) (/ (* (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (* (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)))) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (* (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)))) 1) (/ (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (- (exp (+ x x)) (* 1.0 1.0))) (/ (* (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)))) (+ (exp x) 1.0)) (/ (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (- (exp x) 1.0)) (/ (* (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)))) (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (- (sqrt (exp (+ x x))) 1.0)) (/ (sqrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (sqrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) 1) (/ (sqrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (- (exp (+ x x)) (* 1.0 1.0))) (/ (sqrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (+ (exp x) 1.0)) (/ (sqrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (- (exp x) 1.0)) (/ (sqrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (+ (sqrt (exp (+ x x))) 1.0)) (/ (sqrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (- (sqrt (exp (+ x x))) 1.0)) (/ 1 (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 1) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp (+ x x)) (* 1.0 1.0))) (/ 1 (+ (exp x) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (exp x) 1.0)) (/ 1 (+ (sqrt (exp (+ x x))) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (sqrt (exp (+ x x))) 1.0)) (/ 1 (- (exp (+ x x)) (* 1.0 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) 1) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (+ (exp x) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (+ (sqrt (exp (+ x x))) 1.0)) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 3))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 3))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0)))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3)))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) (/ 3 2)))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (sqrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (pow (exp (+ x x)) 3) (pow (* 1.0 1.0) 3))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (- (* (exp (+ x x)) (exp (+ x x))) (* (* 1.0 1.0) (* 1.0 1.0)))) (* (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (pow (+ (* (exp (* 2.0 x)) (exp (* 2.0 x))) (+ (* 1.0 1.0) (* (exp (* 2.0 x)) 1.0))) 3))) (* (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (pow (+ (exp (* 2.0 x)) 1.0) 3))) (+ (* 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.0 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) 6.064 * * [simplify]: iteration 0 : 314 enodes (cost 5353 ) 6.118 * * [simplify]: iteration 1 : 600 enodes (cost 4570 ) 6.263 * * [simplify]: iteration 2 : 2107 enodes (cost 4184 ) 7.021 * * [simplify]: iteration done : 5000 enodes (cost 4184 ) 7.023 * [simplify]: Simplified to: (- (exp (* 2 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 (* 2 x)) (* 1.0 1.0)) (* 1.0 (* 1.0 0)) (- (exp (* 2 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 (* 2 x)) (* 1.0 1.0)) 3) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (- (pow (exp (+ x x)) 3) (pow 1.0 6)) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 x))) (exp (* x 4))) (- (* 1.0 1.0)) (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (exp (* 2 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) (- (pow (exp x) 2.0) 1.0) (* 1.0 0) (- (pow (exp x) 2.0) 1.0) (* 1.0 0) (- (pow (exp x) 2.0) 1.0) (* 1.0 0) (- (pow (exp x) 2.0) 1.0) (* 1.0 0) (- (pow (exp x) 2.0) 1.0) (* 1.0 0) (- (pow (exp x) 2.0) 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 (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (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 (+ 1.0 (exp (* 2.0 x))) (exp (* 2.0 (+ x x)))) (- 1.0) (- (exp (* 2.0 (+ x x))) (* 1.0 1.0)) (+ 1.0 (exp (* 2.0 x))) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (pow (exp x) 2.0) 1.0) (- 1.0) (expm1 (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) (* 1/2 x) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (expm1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) (* 1.0 1.0)))) (log1p (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) (* 1.0 1.0)))) (log (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) (* 1.0 1.0)))) (log (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) (* 1.0 1.0)))) (exp (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) (* 1.0 1.0)))) (pow (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) (* 1.0 1.0))) 3) (* (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) (* 1.0 1.0)))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) (* 1.0 1.0))))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) (* 1.0 1.0)))) (pow (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) (* 1.0 1.0))) 3) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) (* 1.0 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) (* 1.0 1.0)))) (- (- (exp (* 2.0 x)) 1.0)) (- (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2 x)) (* 1.0 1.0))) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (+ (exp x) 1.0)) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (+ 1.0 (fabs (exp x)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (fabs (exp x)) 1.0)) (/ (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (sqrt (- (exp (* 2.0 x)) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2 x)) (* 1.0 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)) (+ 1.0 (fabs (exp x)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (fabs (exp x)) 1.0)) (/ 1 (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) (* 1.0 1.0))) (/ 1 (+ (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ 1.0 (fabs (exp x)))) (/ (- (pow (exp x) 2.0) 1.0) (- (fabs (exp x)) 1.0)) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (exp x) 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0)) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ 1.0 (fabs (exp x)))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (fabs (exp x)) 1.0)) (/ 1 (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) (* 1.0 1.0))) (/ 1 (+ (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ 1.0 (fabs (exp x)))) (/ (- (pow (exp x) 2.0) 1.0) (- (fabs (exp x)) 1.0)) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2 x)) (* 1.0 1.0))) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (+ (exp x) 1.0)) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (+ 1.0 (fabs (exp x)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (fabs (exp x)) 1.0)) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2 x)) (* 1.0 1.0))) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (+ (exp x) 1.0)) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (+ 1.0 (fabs (exp x)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (fabs (exp x)) 1.0)) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2 x)) (* 1.0 1.0))) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (+ (exp x) 1.0)) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (+ 1.0 (fabs (exp x)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (fabs (exp x)) 1.0)) (/ (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (sqrt (- (exp (* 2.0 x)) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2 x)) (* 1.0 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)) (+ 1.0 (fabs (exp x)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (fabs (exp x)) 1.0)) (/ 1 (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) (* 1.0 1.0))) (/ 1 (+ (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ 1.0 (fabs (exp x)))) (/ (- (pow (exp x) 2.0) 1.0) (- (fabs (exp x)) 1.0)) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (exp x) 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0)) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ 1.0 (fabs (exp x)))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (fabs (exp x)) 1.0)) (/ 1 (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) (* 1.0 1.0))) (/ 1 (+ (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ 1.0 (fabs (exp x)))) (/ (- (pow (exp x) 2.0) 1.0) (- (fabs (exp x)) 1.0)) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (- (exp (* 2.0 x)) 1.0)) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (- (exp (* 2 x)) (* 1.0 1.0))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (+ (exp x) 1.0)) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (- (exp x) 1.0)) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (+ 1.0 (fabs (exp x)))) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (- (fabs (exp x)) 1.0)) (/ (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (/ (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (- (exp (+ x x)) (* 1.0 1.0))) (/ (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (+ (exp x) 1.0)) (/ (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (- (exp x) 1.0)) (/ (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (+ 1.0 (fabs (exp x)))) (/ (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (- (fabs (exp x)) 1.0)) (/ 1 (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) (* 1.0 1.0))) (/ 1 (+ (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ 1.0 (fabs (exp x)))) (/ (- (pow (exp x) 2.0) 1.0) (- (fabs (exp x)) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3/2)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3/2)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3/2)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3/2)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3/2)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3/2)) (- (exp (* 2 x)) (* 1.0 1.0))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3/2)) (+ (exp x) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3/2)) (- (exp x) 1.0)) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3/2)) (+ 1.0 (fabs (exp x)))) (/ (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3/2)) (- (fabs (exp x)) 1.0)) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2 x)) (* 1.0 1.0))) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (+ (exp x) 1.0)) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6)) (+ 1.0 (fabs (exp x)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (fabs (exp x)) 1.0)) (/ (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (sqrt (- (exp (* 2.0 x)) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2 x)) (* 1.0 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)) (+ 1.0 (fabs (exp x)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (fabs (exp x)) 1.0)) (/ 1 (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ 1 (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) (* 1.0 1.0))) (/ 1 (+ (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ 1.0 (fabs (exp x)))) (/ (- (pow (exp x) 2.0) 1.0) (- (fabs (exp x)) 1.0)) (/ 1 (- (exp (+ x x)) (* 1.0 1.0))) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (- (pow (exp x) 2.0) 1.0) (/ (- (exp (* 2.0 x)) 1.0) (+ (exp x) 1.0)) (/ (- (pow (exp x) 2.0) 1.0) (+ 1.0 (fabs (exp x)))) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (+ x x)) (* 1.0 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (+ x x)) (* 1.0 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 6))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3)))) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3/2))) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (- (exp (* 2.0 x)) 1.0)) (/ (- (pow (exp x) 2.0) 1.0) (- (pow (exp (+ x x)) 3) (pow 1.0 6))) (/ (- (pow (exp x) 2.0) 1.0) (- (exp (* x 4)) (pow 1.0 4))) (* (fma 1.0 (+ 1.0 (exp (* 2.0 x))) (exp (* 2.0 (+ x x)))) (- (exp (* 2 x)) (* 1.0 1.0))) (* (- (exp (* 2 x)) (* 1.0 1.0)) (+ 1.0 (exp (* 2.0 x)))) (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))) (- (pow (exp x) 2.0) 1.0) (- (pow (exp x) 2.0) 1.0) (fma 1/8 (pow x 2) (fma 1/2 x 1)) (sqrt (exp x)) (sqrt (exp x)) 1.0 (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp (* 2 x)) 1.0)) 7.024 * * * [progress]: adding candidates to table 7.698 * [progress]: [Phase 3 of 3] Extracting. 7.698 * * [regime]: Finding splitpoints for: (# # # #) 7.700 * * * [regime-changes]: Trying 1 branch expressions: (x) 7.701 * * * * [regimes]: Trying to branch on x from (# # # #) 7.731 * * * [regime]: Found split indices: #