0.924 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.325 * * * [progress]: [2/2] Setting up program. 0.335 * [progress]: [Phase 2 of 3] Improving. 0.337 * [simplify]: Simplifying using # : (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 0.340 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 0.344 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 0.346 * * [simplify]: iteration 2 : 28 enodes (cost 12 ) 0.349 * * [simplify]: iteration 3 : 40 enodes (cost 12 ) 0.355 * * [simplify]: iteration 4 : 74 enodes (cost 12 ) 0.368 * * [simplify]: iteration 5 : 170 enodes (cost 12 ) 0.420 * * [simplify]: iteration 6 : 464 enodes (cost 12 ) 0.645 * * [simplify]: iteration 7 : 1492 enodes (cost 12 ) 1.679 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 1.680 * [simplify]: Simplified to: (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 1.681 * * [progress]: iteration 1 / 4 1.681 * * * [progress]: picking best candidate 1.683 * * * * [pick]: Picked # 1.683 * * * [progress]: localizing error 1.694 * * * [progress]: generating rewritten candidates 1.695 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.701 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.705 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.720 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.745 * * * [progress]: generating series expansions 1.745 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.749 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0 1.750 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.750 * [taylor]: Taking taylor expansion of (exp x) in x 1.750 * [taylor]: Taking taylor expansion of x in x 1.750 * [taylor]: Taking taylor expansion of 1.0 in x 1.750 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.750 * [taylor]: Taking taylor expansion of (exp x) in x 1.750 * [taylor]: Taking taylor expansion of x in x 1.750 * [taylor]: Taking taylor expansion of 1.0 in x 1.760 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0 1.760 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.760 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.760 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.760 * [taylor]: Taking taylor expansion of x in x 1.760 * [taylor]: Taking taylor expansion of 1.0 in x 1.760 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.760 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.760 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.760 * [taylor]: Taking taylor expansion of x in x 1.761 * [taylor]: Taking taylor expansion of 1.0 in x 1.764 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0 1.764 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.764 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.764 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.764 * [taylor]: Taking taylor expansion of -1 in x 1.764 * [taylor]: Taking taylor expansion of x in x 1.765 * [taylor]: Taking taylor expansion of 1.0 in x 1.765 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.765 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.765 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.765 * [taylor]: Taking taylor expansion of -1 in x 1.765 * [taylor]: Taking taylor expansion of x in x 1.765 * [taylor]: Taking taylor expansion of 1.0 in x 1.769 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.769 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 1.769 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.769 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.769 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.769 * [taylor]: Taking taylor expansion of 2.0 in x 1.769 * [taylor]: Taking taylor expansion of x in x 1.770 * [taylor]: Taking taylor expansion of 1.0 in x 1.771 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.771 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.771 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.771 * [taylor]: Taking taylor expansion of 2.0 in x 1.771 * [taylor]: Taking taylor expansion of x in x 1.772 * [taylor]: Taking taylor expansion of 1.0 in x 1.785 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 1.785 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.785 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.785 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.785 * [taylor]: Taking taylor expansion of 2.0 in x 1.785 * [taylor]: Taking taylor expansion of x in x 1.786 * [taylor]: Taking taylor expansion of 1.0 in x 1.786 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.786 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.786 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.786 * [taylor]: Taking taylor expansion of 2.0 in x 1.786 * [taylor]: Taking taylor expansion of x in x 1.786 * [taylor]: Taking taylor expansion of 1.0 in x 1.790 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 1.790 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.790 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.790 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.790 * [taylor]: Taking taylor expansion of -2.0 in x 1.790 * [taylor]: Taking taylor expansion of x in x 1.790 * [taylor]: Taking taylor expansion of 1.0 in x 1.790 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.790 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.790 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.790 * [taylor]: Taking taylor expansion of -2.0 in x 1.790 * [taylor]: Taking taylor expansion of x in x 1.790 * [taylor]: Taking taylor expansion of 1.0 in x 1.794 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.794 * [approximate]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in (x) around 0 1.794 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.794 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.794 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.794 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.794 * [taylor]: Taking taylor expansion of 2.0 in x 1.794 * [taylor]: Taking taylor expansion of x in x 1.795 * [taylor]: Taking taylor expansion of 1.0 in x 1.795 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.795 * [taylor]: Taking taylor expansion of (exp x) in x 1.795 * [taylor]: Taking taylor expansion of x in x 1.795 * [taylor]: Taking taylor expansion of 1.0 in x 1.801 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.801 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.801 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.801 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.801 * [taylor]: Taking taylor expansion of 2.0 in x 1.801 * [taylor]: Taking taylor expansion of x in x 1.802 * [taylor]: Taking taylor expansion of 1.0 in x 1.802 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.802 * [taylor]: Taking taylor expansion of (exp x) in x 1.802 * [taylor]: Taking taylor expansion of x in x 1.802 * [taylor]: Taking taylor expansion of 1.0 in x 1.826 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in (x) around 0 1.826 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.826 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.826 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.826 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.826 * [taylor]: Taking taylor expansion of 2.0 in x 1.826 * [taylor]: Taking taylor expansion of x in x 1.826 * [taylor]: Taking taylor expansion of 1.0 in x 1.826 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.826 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.826 * [taylor]: Taking taylor expansion of x in x 1.826 * [taylor]: Taking taylor expansion of 1.0 in x 1.831 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.831 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.831 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.831 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.831 * [taylor]: Taking taylor expansion of 2.0 in x 1.831 * [taylor]: Taking taylor expansion of x in x 1.832 * [taylor]: Taking taylor expansion of 1.0 in x 1.832 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.832 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.832 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.832 * [taylor]: Taking taylor expansion of x in x 1.832 * [taylor]: Taking taylor expansion of 1.0 in x 1.842 * [approximate]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in (x) around 0 1.842 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.842 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.842 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.842 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.842 * [taylor]: Taking taylor expansion of -2.0 in x 1.842 * [taylor]: Taking taylor expansion of x in x 1.842 * [taylor]: Taking taylor expansion of 1.0 in x 1.842 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.843 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.843 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.843 * [taylor]: Taking taylor expansion of -1 in x 1.843 * [taylor]: Taking taylor expansion of x in x 1.843 * [taylor]: Taking taylor expansion of 1.0 in x 1.844 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.844 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.844 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.844 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.844 * [taylor]: Taking taylor expansion of -2.0 in x 1.844 * [taylor]: Taking taylor expansion of x in x 1.844 * [taylor]: Taking taylor expansion of 1.0 in x 1.844 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.844 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.845 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.845 * [taylor]: Taking taylor expansion of -1 in x 1.845 * [taylor]: Taking taylor expansion of x in x 1.845 * [taylor]: Taking taylor expansion of 1.0 in x 1.854 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.854 * [approximate]: Taking taylor expansion of (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) in (x) around 0 1.854 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) in x 1.854 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.854 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.854 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.854 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.854 * [taylor]: Taking taylor expansion of 2.0 in x 1.854 * [taylor]: Taking taylor expansion of x in x 1.855 * [taylor]: Taking taylor expansion of 1.0 in x 1.855 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.855 * [taylor]: Taking taylor expansion of (exp x) in x 1.855 * [taylor]: Taking taylor expansion of x in x 1.855 * [taylor]: Taking taylor expansion of 1.0 in x 1.869 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) in x 1.869 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.869 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.869 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.869 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.869 * [taylor]: Taking taylor expansion of 2.0 in x 1.869 * [taylor]: Taking taylor expansion of x in x 1.871 * [taylor]: Taking taylor expansion of 1.0 in x 1.871 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.871 * [taylor]: Taking taylor expansion of (exp x) in x 1.871 * [taylor]: Taking taylor expansion of x in x 1.871 * [taylor]: Taking taylor expansion of 1.0 in x 1.908 * [approximate]: Taking taylor expansion of (sqrt (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0))) in (x) around 0 1.908 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0))) in x 1.908 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.908 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.908 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.908 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.908 * [taylor]: Taking taylor expansion of 2.0 in x 1.908 * [taylor]: Taking taylor expansion of x in x 1.909 * [taylor]: Taking taylor expansion of 1.0 in x 1.909 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.909 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.909 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.909 * [taylor]: Taking taylor expansion of x in x 1.909 * [taylor]: Taking taylor expansion of 1.0 in x 1.912 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0))) in x 1.912 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.912 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.912 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.912 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.912 * [taylor]: Taking taylor expansion of 2.0 in x 1.912 * [taylor]: Taking taylor expansion of x in x 1.912 * [taylor]: Taking taylor expansion of 1.0 in x 1.912 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.912 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.912 * [taylor]: Taking taylor expansion of x in x 1.912 * [taylor]: Taking taylor expansion of 1.0 in x 1.927 * [approximate]: Taking taylor expansion of (sqrt (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0))) in (x) around 0 1.927 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0))) in x 1.928 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.928 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.928 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.928 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.928 * [taylor]: Taking taylor expansion of -2.0 in x 1.928 * [taylor]: Taking taylor expansion of x in x 1.928 * [taylor]: Taking taylor expansion of 1.0 in x 1.928 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.928 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.928 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.928 * [taylor]: Taking taylor expansion of -1 in x 1.928 * [taylor]: Taking taylor expansion of x in x 1.928 * [taylor]: Taking taylor expansion of 1.0 in x 1.931 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0))) in x 1.931 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.931 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.931 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.931 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.931 * [taylor]: Taking taylor expansion of -2.0 in x 1.931 * [taylor]: Taking taylor expansion of x in x 1.932 * [taylor]: Taking taylor expansion of 1.0 in x 1.932 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.932 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.932 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.932 * [taylor]: Taking taylor expansion of -1 in x 1.932 * [taylor]: Taking taylor expansion of x in x 1.932 * [taylor]: Taking taylor expansion of 1.0 in x 1.944 * * * [progress]: simplifying candidates 1.947 * [simplify]: Simplifying using # : (/ (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) (/ (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) (- (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)) (log (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (exp (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (* (cbrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (cbrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))))) (cbrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (* (* (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (* (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))))) (sqrt (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0)))) (sqrt (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (sqrt (- (exp x) 1.0)))) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 1)) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 1)) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) 1)) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) 1)) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp x) 1.0)))) (sqrt (/ 1 (sqrt (- (exp x) 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0)))) (sqrt (/ 1 1)) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ 1 1)) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (cbrt (- (exp x) 1.0)))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 1)) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 1)) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))) (sqrt (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp x) 1.0)))) (sqrt (/ 1 (sqrt (- (exp x) 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0)))) (sqrt (/ 1 1)) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ 1 1)) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt 1) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (/ 1 (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (pow (exp x) 3) (pow 1.0 3)))) (sqrt (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (* (exp x) (exp x)) (* 1.0 1.0)))) (sqrt (+ (exp x) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)) (/ 1 2) (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) (- (exp x) 1.0) (- (exp x) 1.0) (+ (* 2.0 (pow x 2)) (+ (* 1.3333333333333333 (pow x 3)) (* 2.0 x))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (+ (* 0.5 (pow x 2)) (+ (* 1.0 x) 2.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (- (+ (* 0.25 (/ (pow x 2) (sqrt 2.0))) (+ (sqrt 2.0) (* 0.5 (/ x (sqrt 2.0))))) (* 0.125 (/ (pow x 2) (pow (sqrt 2.0) 3)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 1.953 * * [simplify]: iteration 0 : 189 enodes (cost 2376 ) 1.985 * * [simplify]: iteration 1 : 388 enodes (cost 2279 ) 2.063 * * [simplify]: iteration 2 : 896 enodes (cost 2169 ) 2.360 * * [simplify]: iteration 3 : 2386 enodes (cost 2156 ) 3.025 * * [simplify]: iteration done : 5001 enodes (cost 2154 ) 3.027 * [simplify]: Simplified to: (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)) (+ (* 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) (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)) (+ (* 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 1.0) (sqrt (exp (* 2.0 x)))) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (* 2.0 x)) 1.0) (- 1.0) (log (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (log (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (exp (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (pow (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) 3) (* (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (pow (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) 3) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (- 1.0 (exp (* 2.0 x))) (- 1.0 (exp x)) (/ (exp (* 2.0 x)) (- (exp x) 1.0)) (/ 1.0 (- (exp x) 1.0)) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0))) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (sqrt (- (exp x) 1.0))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0))) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0))) (sqrt (- (exp (* 2.0 x)) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (sqrt (- (exp (* 2.0 x)) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp x) 1.0))) (/ 1 (sqrt (- (exp x) 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp x)) (sqrt 1.0))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (cbrt (- (exp x) 1.0))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0))) (+ (sqrt 1.0) (sqrt (exp (* 2.0 x)))) (/ (- (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 1.0) (sqrt (exp (* 2.0 x)))) (/ (- (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))) (* (- (exp x) 1.0) (+ (* 1.0 (+ (exp (* 2.0 x)) 1.0)) (exp (* 2.0 (+ x x))))) (* (- (exp x) 1.0) (+ (exp (* 2.0 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 1.0) (sqrt (exp (* 2.0 x))))) (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 1.0) (sqrt (exp (* 2.0 x))))) (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 (+ (* 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)))) (+ x (* (pow x 2) (+ (* 1/6 x) 1/2))) (- (exp x) 1.0) (- (exp x) 1.0) (+ (* 1.3333333333333333 (pow x 3)) (* (+ x 1) (* 2.0 x))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (+ 2.0 (* x (+ 1.0 (* 0.5 x)))) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (+ (* (/ (pow x 2) (sqrt 2.0)) (- 0.25 (/ 0.125 2.0))) (+ (sqrt 2.0) (* 0.5 (/ x (sqrt 2.0))))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 3.028 * * * [progress]: adding candidates to table 3.341 * * [progress]: iteration 2 / 4 3.341 * * * [progress]: picking best candidate 3.352 * * * * [pick]: Picked # 3.352 * * * [progress]: localizing error 3.367 * * * [progress]: generating rewritten candidates 3.367 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 3.397 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 3.401 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 3.405 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 3.412 * * * [progress]: generating series expansions 3.412 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 3.413 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in (x) around 0 3.413 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 3.413 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 3.413 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.413 * [taylor]: Taking taylor expansion of 2 in x 3.413 * [taylor]: Taking taylor expansion of x in x 3.414 * [taylor]: Taking taylor expansion of 1.0 in x 3.414 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 3.414 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 3.414 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.414 * [taylor]: Taking taylor expansion of 2 in x 3.414 * [taylor]: Taking taylor expansion of x in x 3.415 * [taylor]: Taking taylor expansion of 1.0 in x 3.421 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in (x) around 0 3.422 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 3.422 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.422 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.422 * [taylor]: Taking taylor expansion of 2 in x 3.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.422 * [taylor]: Taking taylor expansion of x in x 3.422 * [taylor]: Taking taylor expansion of 1.0 in x 3.422 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 3.422 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.422 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.422 * [taylor]: Taking taylor expansion of 2 in x 3.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.422 * [taylor]: Taking taylor expansion of x in x 3.423 * [taylor]: Taking taylor expansion of 1.0 in x 3.427 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in (x) around 0 3.427 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 3.427 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 3.427 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 3.427 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.427 * [taylor]: Taking taylor expansion of 2 in x 3.427 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.427 * [taylor]: Taking taylor expansion of x in x 3.428 * [taylor]: Taking taylor expansion of 1.0 in x 3.428 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 3.428 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 3.428 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 3.428 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.428 * [taylor]: Taking taylor expansion of 2 in x 3.428 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.428 * [taylor]: Taking taylor expansion of x in x 3.429 * [taylor]: Taking taylor expansion of 1.0 in x 3.432 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 3.432 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 3.432 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 3.432 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 3.432 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 3.432 * [taylor]: Taking taylor expansion of 2.0 in x 3.432 * [taylor]: Taking taylor expansion of x in x 3.434 * [taylor]: Taking taylor expansion of 1.0 in x 3.434 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 3.434 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 3.434 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 3.434 * [taylor]: Taking taylor expansion of 2.0 in x 3.434 * [taylor]: Taking taylor expansion of x in x 3.435 * [taylor]: Taking taylor expansion of 1.0 in x 3.448 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 3.448 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 3.448 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 3.448 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 3.448 * [taylor]: Taking taylor expansion of 2.0 in x 3.448 * [taylor]: Taking taylor expansion of x in x 3.449 * [taylor]: Taking taylor expansion of 1.0 in x 3.449 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 3.449 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 3.449 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 3.449 * [taylor]: Taking taylor expansion of 2.0 in x 3.449 * [taylor]: Taking taylor expansion of x in x 3.449 * [taylor]: Taking taylor expansion of 1.0 in x 3.453 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 3.453 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 3.453 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 3.453 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 3.453 * [taylor]: Taking taylor expansion of -2.0 in x 3.453 * [taylor]: Taking taylor expansion of x in x 3.453 * [taylor]: Taking taylor expansion of 1.0 in x 3.453 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 3.453 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 3.453 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 3.453 * [taylor]: Taking taylor expansion of -2.0 in x 3.453 * [taylor]: Taking taylor expansion of x in x 3.454 * [taylor]: Taking taylor expansion of 1.0 in x 3.457 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 3.457 * [approximate]: Taking taylor expansion of (+ (exp x) 1.0) in (x) around 0 3.457 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 3.457 * [taylor]: Taking taylor expansion of (exp x) in x 3.457 * [taylor]: Taking taylor expansion of x in x 3.457 * [taylor]: Taking taylor expansion of 1.0 in x 3.457 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 3.457 * [taylor]: Taking taylor expansion of (exp x) in x 3.457 * [taylor]: Taking taylor expansion of x in x 3.457 * [taylor]: Taking taylor expansion of 1.0 in x 3.460 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in (x) around 0 3.460 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 3.460 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.460 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.460 * [taylor]: Taking taylor expansion of x in x 3.460 * [taylor]: Taking taylor expansion of 1.0 in x 3.460 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 3.460 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.460 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.460 * [taylor]: Taking taylor expansion of x in x 3.461 * [taylor]: Taking taylor expansion of 1.0 in x 3.462 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in (x) around 0 3.462 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 3.462 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.463 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.463 * [taylor]: Taking taylor expansion of -1 in x 3.463 * [taylor]: Taking taylor expansion of x in x 3.463 * [taylor]: Taking taylor expansion of 1.0 in x 3.463 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 3.463 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.463 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.463 * [taylor]: Taking taylor expansion of -1 in x 3.463 * [taylor]: Taking taylor expansion of x in x 3.463 * [taylor]: Taking taylor expansion of 1.0 in x 3.465 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 3.465 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) 1.0)) in (x) around 0 3.465 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1.0)) in x 3.465 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 3.465 * [taylor]: Taking taylor expansion of (exp x) in x 3.465 * [taylor]: Taking taylor expansion of x in x 3.465 * [taylor]: Taking taylor expansion of 1.0 in x 3.468 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1.0)) in x 3.468 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 3.468 * [taylor]: Taking taylor expansion of (exp x) in x 3.468 * [taylor]: Taking taylor expansion of x in x 3.468 * [taylor]: Taking taylor expansion of 1.0 in x 3.488 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1.0)) in (x) around 0 3.488 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1.0)) in x 3.488 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 3.488 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.488 * [taylor]: Taking taylor expansion of x in x 3.488 * [taylor]: Taking taylor expansion of 1.0 in x 3.489 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1.0)) in x 3.489 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 3.489 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.489 * [taylor]: Taking taylor expansion of x in x 3.489 * [taylor]: Taking taylor expansion of 1.0 in x 3.494 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1.0)) in (x) around 0 3.494 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1.0)) in x 3.494 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 3.494 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.494 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.494 * [taylor]: Taking taylor expansion of -1 in x 3.494 * [taylor]: Taking taylor expansion of x in x 3.494 * [taylor]: Taking taylor expansion of 1.0 in x 3.495 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1.0)) in x 3.495 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 3.495 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.495 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.495 * [taylor]: Taking taylor expansion of -1 in x 3.495 * [taylor]: Taking taylor expansion of x in x 3.495 * [taylor]: Taking taylor expansion of 1.0 in x 3.500 * * * [progress]: simplifying candidates 3.500 * [simplify]: Simplifying using # : (/ (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)) (/ (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) (* (exp (exp x)) (exp 1.0)) (log (+ (exp x) 1.0)) (exp (+ (exp x) 1.0)) (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0))) (cbrt (+ (exp x) 1.0)) (* (* (+ (exp x) 1.0) (+ (exp x) 1.0)) (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) (+ (pow (exp x) 3) (pow 1.0 3)) (+ (* (exp x) (exp x)) (- (* 1.0 1.0) (* (exp x) 1.0))) (- (* (exp x) (exp x)) (* 1.0 1.0)) (- (exp x) 1.0) (+ (exp x) 1.0) (log (sqrt (+ (exp x) 1.0))) (exp (sqrt (+ (exp x) 1.0))) (* (cbrt (sqrt (+ (exp x) 1.0))) (cbrt (sqrt (+ (exp x) 1.0)))) (cbrt (sqrt (+ (exp x) 1.0))) (* (* (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0))) (sqrt (+ (exp x) 1.0))) (sqrt (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0)))) (sqrt (cbrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) (sqrt 1) (sqrt (+ (exp x) 1.0)) (sqrt 1) (sqrt (+ (exp x) 1.0)) (sqrt (+ (pow (exp x) 3) (pow 1.0 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1.0 1.0) (* (exp x) 1.0)))) (sqrt (- (* (exp x) (exp x)) (* 1.0 1.0))) (sqrt (- (exp x) 1.0)) (/ 1 2) (sqrt (sqrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) (+ (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (+ (* 2.0 (pow x 2)) (+ (* 1.3333333333333333 (pow x 3)) (* 2.0 x))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (+ (* 1/2 (pow x 2)) (+ x 2.0)) (+ (exp x) 1.0) (+ (exp x) 1.0) (- (+ (* 1/4 (/ (pow x 2) (sqrt 2.0))) (+ (sqrt 2.0) (* 1/2 (/ x (sqrt 2.0))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2.0) 3)))) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) 3.503 * * [simplify]: iteration 0 : 127 enodes (cost 697 ) 3.524 * * [simplify]: iteration 1 : 278 enodes (cost 657 ) 3.580 * * [simplify]: iteration 2 : 721 enodes (cost 598 ) 3.775 * * [simplify]: iteration 3 : 2095 enodes (cost 585 ) 4.384 * * [simplify]: iteration done : 5000 enodes (cost 585 ) 4.385 * [simplify]: Simplified to: (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) 6) (pow 1.0 6)) (+ (exp (* x 4)) (* (* 1.0 1.0) (+ (exp (+ x x)) (* 1.0 1.0)))) (- (* 1.0 1.0)) (- (exp (* x 4)) (pow 1.0 4)) (+ (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)) (- (exp x) 1.0) (+ 1.0 (fabs (exp x))) (- (fabs (exp x)) 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)) (+ (exp (* 2.0 (+ x x))) (* 1.0 (+ (exp (* 2.0 x)) 1.0))) (- 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) (exp (+ (exp x) 1.0)) (log (+ (exp x) 1.0)) (exp (+ (exp x) 1.0)) (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0))) (cbrt (+ (exp x) 1.0)) (pow (+ 1.0 (exp x)) 3) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) (+ (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (- 1.0 (exp x))) (exp (+ x x))) (- (exp (+ x x)) (* 1.0 1.0)) (- (exp x) 1.0) (+ 1.0 (exp x)) (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)) (sqrt (+ (pow (exp x) 3) (pow 1.0 3))) (sqrt (+ (* 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))) (+ (* x (+ 2 (+ x x))) (* 4/3 (pow x 3))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (+ (* (pow x 2) (+ (* x 1.3333333333333333) 2.0)) (* 2.0 x)) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (+ (* 1/2 (pow x 2)) (+ x 2.0)) (+ 1.0 (exp x)) (+ 1.0 (exp x)) (+ (* (/ (pow x 2) (sqrt 2.0)) (- 1/4 (/ 1/8 2.0))) (+ (sqrt 2.0) (* 1/2 (/ x (sqrt 2.0))))) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) 4.385 * * * [progress]: adding candidates to table 4.596 * * [progress]: iteration 3 / 4 4.596 * * * [progress]: picking best candidate 4.605 * * * * [pick]: Picked # 4.605 * * * [progress]: localizing error 4.626 * * * [progress]: generating rewritten candidates 4.626 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 4.653 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1) 4.657 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 4.663 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 4.671 * * * [progress]: generating series expansions 4.671 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 4.672 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in (x) around 0 4.672 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 4.672 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 4.672 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.672 * [taylor]: Taking taylor expansion of 2 in x 4.672 * [taylor]: Taking taylor expansion of x in x 4.673 * [taylor]: Taking taylor expansion of 1.0 in x 4.673 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 4.673 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 4.673 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.673 * [taylor]: Taking taylor expansion of 2 in x 4.673 * [taylor]: Taking taylor expansion of x in x 4.674 * [taylor]: Taking taylor expansion of 1.0 in x 4.680 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in (x) around 0 4.681 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 4.681 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 4.681 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.681 * [taylor]: Taking taylor expansion of 2 in x 4.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.681 * [taylor]: Taking taylor expansion of x in x 4.681 * [taylor]: Taking taylor expansion of 1.0 in x 4.681 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 4.681 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 4.681 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.681 * [taylor]: Taking taylor expansion of 2 in x 4.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.681 * [taylor]: Taking taylor expansion of x in x 4.682 * [taylor]: Taking taylor expansion of 1.0 in x 4.685 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in (x) around 0 4.686 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 4.686 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 4.686 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 4.686 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.686 * [taylor]: Taking taylor expansion of 2 in x 4.686 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.686 * [taylor]: Taking taylor expansion of x in x 4.686 * [taylor]: Taking taylor expansion of 1.0 in x 4.686 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 4.687 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 4.687 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 4.687 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.687 * [taylor]: Taking taylor expansion of 2 in x 4.687 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.687 * [taylor]: Taking taylor expansion of x in x 4.687 * [taylor]: Taking taylor expansion of 1.0 in x 4.691 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1) 4.691 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 4.691 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 4.691 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 4.691 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 4.691 * [taylor]: Taking taylor expansion of 2.0 in x 4.691 * [taylor]: Taking taylor expansion of x in x 4.692 * [taylor]: Taking taylor expansion of 1.0 in x 4.692 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 4.692 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 4.692 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 4.692 * [taylor]: Taking taylor expansion of 2.0 in x 4.692 * [taylor]: Taking taylor expansion of x in x 4.693 * [taylor]: Taking taylor expansion of 1.0 in x 4.710 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 4.710 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 4.710 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 4.710 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 4.710 * [taylor]: Taking taylor expansion of 2.0 in x 4.710 * [taylor]: Taking taylor expansion of x in x 4.710 * [taylor]: Taking taylor expansion of 1.0 in x 4.710 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 4.710 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 4.710 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 4.710 * [taylor]: Taking taylor expansion of 2.0 in x 4.710 * [taylor]: Taking taylor expansion of x in x 4.711 * [taylor]: Taking taylor expansion of 1.0 in x 4.714 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 4.714 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 4.714 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 4.714 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 4.714 * [taylor]: Taking taylor expansion of -2.0 in x 4.714 * [taylor]: Taking taylor expansion of x in x 4.714 * [taylor]: Taking taylor expansion of 1.0 in x 4.714 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 4.714 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 4.714 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 4.714 * [taylor]: Taking taylor expansion of -2.0 in x 4.714 * [taylor]: Taking taylor expansion of x in x 4.715 * [taylor]: Taking taylor expansion of 1.0 in x 4.718 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 4.719 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 4.719 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 4.719 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 4.719 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 4.719 * [taylor]: Taking taylor expansion of 2.0 in x 4.719 * [taylor]: Taking taylor expansion of x in x 4.720 * [taylor]: Taking taylor expansion of 1.0 in x 4.720 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 4.720 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 4.720 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 4.720 * [taylor]: Taking taylor expansion of 2.0 in x 4.720 * [taylor]: Taking taylor expansion of x in x 4.721 * [taylor]: Taking taylor expansion of 1.0 in x 4.734 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 4.734 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 4.734 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 4.734 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 4.734 * [taylor]: Taking taylor expansion of 2.0 in x 4.734 * [taylor]: Taking taylor expansion of x in x 4.735 * [taylor]: Taking taylor expansion of 1.0 in x 4.735 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 4.735 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 4.735 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 4.735 * [taylor]: Taking taylor expansion of 2.0 in x 4.735 * [taylor]: Taking taylor expansion of x in x 4.735 * [taylor]: Taking taylor expansion of 1.0 in x 4.738 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 4.738 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 4.738 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 4.739 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 4.739 * [taylor]: Taking taylor expansion of -2.0 in x 4.739 * [taylor]: Taking taylor expansion of x in x 4.739 * [taylor]: Taking taylor expansion of 1.0 in x 4.739 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 4.739 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 4.739 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 4.739 * [taylor]: Taking taylor expansion of -2.0 in x 4.739 * [taylor]: Taking taylor expansion of x in x 4.739 * [taylor]: Taking taylor expansion of 1.0 in x 4.743 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 4.743 * [approximate]: Taking taylor expansion of (pow (- (exp (* 2.0 x)) 1.0) 3) in (x) around 0 4.743 * [taylor]: Taking taylor expansion of (pow (- (exp (* 2.0 x)) 1.0) 3) in x 4.743 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 4.743 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 4.743 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 4.743 * [taylor]: Taking taylor expansion of 2.0 in x 4.743 * [taylor]: Taking taylor expansion of x in x 4.744 * [taylor]: Taking taylor expansion of 1.0 in x 4.748 * [taylor]: Taking taylor expansion of (pow (- (exp (* 2.0 x)) 1.0) 3) in x 4.748 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 4.748 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 4.748 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 4.748 * [taylor]: Taking taylor expansion of 2.0 in x 4.748 * [taylor]: Taking taylor expansion of x in x 4.749 * [taylor]: Taking taylor expansion of 1.0 in x 4.768 * [approximate]: Taking taylor expansion of (pow (- (exp (/ 2.0 x)) 1.0) 3) in (x) around 0 4.768 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 2.0 x)) 1.0) 3) in x 4.768 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 4.768 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 4.768 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 4.768 * [taylor]: Taking taylor expansion of 2.0 in x 4.768 * [taylor]: Taking taylor expansion of x in x 4.769 * [taylor]: Taking taylor expansion of 1.0 in x 4.769 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 2.0 x)) 1.0) 3) in x 4.769 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 4.769 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 4.769 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 4.769 * [taylor]: Taking taylor expansion of 2.0 in x 4.769 * [taylor]: Taking taylor expansion of x in x 4.770 * [taylor]: Taking taylor expansion of 1.0 in x 4.782 * [approximate]: Taking taylor expansion of (pow (- (exp (/ -2.0 x)) 1.0) 3) in (x) around 0 4.782 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -2.0 x)) 1.0) 3) in x 4.782 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 4.782 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 4.782 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 4.782 * [taylor]: Taking taylor expansion of -2.0 in x 4.782 * [taylor]: Taking taylor expansion of x in x 4.783 * [taylor]: Taking taylor expansion of 1.0 in x 4.783 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -2.0 x)) 1.0) 3) in x 4.783 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 4.783 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 4.783 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 4.783 * [taylor]: Taking taylor expansion of -2.0 in x 4.783 * [taylor]: Taking taylor expansion of x in x 4.784 * [taylor]: Taking taylor expansion of 1.0 in x 4.800 * * * [progress]: simplifying candidates 4.802 * [simplify]: Simplifying using # : (/ (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)) (/ (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) (log (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (exp (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (cbrt (pow (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 3)) (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 3)) (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (cbrt (pow 1 3)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (cbrt (pow (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (cbrt (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (cbrt (pow 1 3)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (cbrt (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0))) (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (* (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)))) (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (cbrt (pow (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 3)) (cbrt (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 3)) (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (cbrt (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3)) (cbrt (pow 1 3)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (cbrt (pow (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (cbrt (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)) (cbrt (pow 1 3)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0))) (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (cbrt 1) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) (/ 3 2))) (cbrt (pow (- (exp (* 2.0 x)) 1.0) (/ 3 2))) (cbrt (pow (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) 3)) (cbrt (pow (+ (* (exp (* 2.0 x)) (exp (* 2.0 x))) (+ (* 1.0 1.0) (* (exp (* 2.0 x)) 1.0))) 3)) (cbrt (pow (- (* (exp (* 2.0 x)) (exp (* 2.0 x))) (* 1.0 1.0)) 3)) (cbrt (pow (+ (exp (* 2.0 x)) 1.0) 3)) (* (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)))) (cbrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (* (* (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (sqrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (sqrt (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (* (log (- (exp (* 2.0 x)) 1.0)) 3) (* (log (- (exp (* 2.0 x)) 1.0)) 3) (* 1 3) (pow (- (exp (* 2.0 x)) 1.0) (* (cbrt 3) (cbrt 3))) (pow (- (exp (* 2.0 x)) 1.0) (sqrt 3)) (pow (- (exp (* 2.0 x)) 1.0) 1) (pow (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 3) (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 3) (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3) (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3) (pow 1 3) (pow (- (exp (* 2.0 x)) 1.0) 3) (pow (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3) (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3) (pow 1 3) (pow (- (exp (* 2.0 x)) 1.0) 3) (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0)) (log (pow (- (exp (* 2.0 x)) 1.0) 3)) (exp (pow (- (exp (* 2.0 x)) 1.0) 3)) (* (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (* (* (pow (- (exp (* 2.0 x)) 1.0) 3) (pow (- (exp (* 2.0 x)) 1.0) 3)) (pow (- (exp (* 2.0 x)) 1.0) 3)) (pow (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 3) (pow (cbrt (- (exp (* 2.0 x)) 1.0)) 3) (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3) (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3) (pow 1 3) (pow (- (exp (* 2.0 x)) 1.0) 3) (pow (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3) (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3) (pow 1 3) (pow (- (exp (* 2.0 x)) 1.0) 3) (pow (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) 3) (pow (+ (* (exp (* 2.0 x)) (exp (* 2.0 x))) (+ (* 1.0 1.0) (* (exp (* 2.0 x)) 1.0))) 3) (pow (- (* (exp (* 2.0 x)) (exp (* 2.0 x))) (* 1.0 1.0)) 3) (pow (+ (exp (* 2.0 x)) 1.0) 3) (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0)) (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (pow (- (exp (* 2.0 x)) 1.0) (/ 3 2)) (pow (- (exp (* 2.0 x)) 1.0) (/ 3 2)) (+ (* 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) (+ (* 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) (+ (* 8.0 (pow x 3)) (+ (* 40.0 (pow x 5)) (* 24.0 (pow x 4)))) (pow (- (exp (* 2.0 x)) 1.0) 3) (pow (- (exp (* 2.0 x)) 1.0) 3) 4.806 * * [simplify]: iteration 0 : 140 enodes (cost 1353 ) 4.834 * * [simplify]: iteration 1 : 318 enodes (cost 1136 ) 4.910 * * [simplify]: iteration 2 : 923 enodes (cost 1025 ) 5.329 * * [simplify]: iteration 3 : 4278 enodes (cost 1017 ) 6.790 * * [simplify]: iteration done : 5000 enodes (cost 1017 ) 6.791 * [simplify]: Simplified to: (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) 6) (pow 1.0 6)) (+ (exp (* x 4)) (* (* 1.0 1.0) (+ (exp (+ x x)) (* 1.0 1.0)))) (- (* 1.0 1.0)) (- (exp (* x 4)) (pow 1.0 4)) (+ (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0) (- (exp x) 1.0) (+ 1.0 (fabs (exp x))) (- (fabs (exp x)) 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 (- (exp (* 2.0 x)) 1.0) 2)) (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)) (+ (exp (* 2 (* 2.0 x))) (* 1.0 (+ (exp (* 2.0 x)) 1.0))) (- 1.0) (- (exp (* 2 (* 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) (log (- (exp (* 2.0 x)) 1.0)) (exp (- (exp (* 2.0 x)) 1.0)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 2)) (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) 1 (- (exp (* 2.0 x)) 1.0) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 1 (- (exp (* 2.0 x)) 1.0) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 2)) (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 2)) (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 2)) (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) 1 (- (exp (* 2.0 x)) 1.0) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 1 (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 2)) (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) (cbrt (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3))) 1 (- (exp (* 2.0 x)) 1.0) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3/2)) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 3/2)) (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) (+ (exp (* 2 (* 2.0 x))) (* 1.0 (+ (exp (* 2.0 x)) 1.0))) (- (exp (* 2 (* 2.0 x))) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0) (cbrt (pow (- (exp (* 2.0 x)) 1.0) 2)) (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)) (log (pow (- (exp (* 2.0 x)) 1.0) 3)) (log (pow (- (exp (* 2.0 x)) 1.0) 3)) 3 (pow (- (exp (* 2.0 x)) 1.0) (* (cbrt 3) (cbrt 3))) (pow (- (exp (* 2.0 x)) 1.0) (sqrt 3)) (- (exp (* 2.0 x)) 1.0) (pow (- (exp (* 2.0 x)) 1.0) 2) (- (exp (* 2.0 x)) 1.0) (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3) (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3) 1 (pow (- (exp (* 2.0 x)) 1.0) 3) (pow (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3) (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3) 1 (pow (- (exp (* 2.0 x)) 1.0) 3) (pow (- (exp (* 2.0 x)) 1.0) 2) (log (pow (- (exp (* 2.0 x)) 1.0) 3)) (exp (pow (- (exp (* 2.0 x)) 1.0) 3)) (pow (- (exp (* 2.0 x)) 1.0) 2) (- (exp (* 2.0 x)) 1.0) (pow (pow (- (exp (* 2.0 x)) 1.0) 3) 3) (pow (- (exp (* 2.0 x)) 1.0) 2) (- (exp (* 2.0 x)) 1.0) (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3) (pow (sqrt (- (exp (* 2.0 x)) 1.0)) 3) 1 (pow (- (exp (* 2.0 x)) 1.0) 3) (pow (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3) (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3) 1 (pow (- (exp (* 2.0 x)) 1.0) 3) (pow (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) 3) (pow (+ (exp (* 2 (* 2.0 x))) (* 1.0 (+ (exp (* 2.0 x)) 1.0))) 3) (pow (- (exp (* 2 (* 2.0 x))) (* 1.0 1.0)) 3) (pow (+ (exp (* 2.0 x)) 1.0) 3) (pow (- (exp (* 2.0 x)) 1.0) 2) (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (sqrt (pow (- (exp (* 2.0 x)) 1.0) 3)) (pow (- (exp (* 2.0 x)) 1.0) 3/2) (pow (- (exp (* 2.0 x)) 1.0) 3/2) (+ (* 4/3 (pow x 3)) (* x (+ (+ x x) 2))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (+ (* 2.0 x) (* (* x x) (+ (* 1.3333333333333333 x) 2.0))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (+ (* 2.0 x) (* (* x x) (+ (* 1.3333333333333333 x) 2.0))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (+ (* 8.0 (pow x 3)) (+ (* 40.0 (pow x 5)) (* 24.0 (pow x 4)))) (pow (- (exp (* 2.0 x)) 1.0) 3) (pow (- (exp (* 2.0 x)) 1.0) 3) 6.791 * * * [progress]: adding candidates to table 7.066 * * [progress]: iteration 4 / 4 7.066 * * * [progress]: picking best candidate 7.075 * * * * [pick]: Picked # 7.075 * * * [progress]: localizing error 7.098 * * * [progress]: generating rewritten candidates 7.099 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 2) 7.101 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 7.128 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 7.132 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1) 7.135 * * * [progress]: generating series expansions 7.135 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 2) 7.136 * [approximate]: Taking taylor expansion of (- 1.0 (exp x)) in (x) around 0 7.136 * [taylor]: Taking taylor expansion of (- 1.0 (exp x)) in x 7.136 * [taylor]: Taking taylor expansion of 1.0 in x 7.136 * [taylor]: Taking taylor expansion of (exp x) in x 7.136 * [taylor]: Taking taylor expansion of x in x 7.136 * [taylor]: Taking taylor expansion of (- 1.0 (exp x)) in x 7.136 * [taylor]: Taking taylor expansion of 1.0 in x 7.136 * [taylor]: Taking taylor expansion of (exp x) in x 7.136 * [taylor]: Taking taylor expansion of x in x 7.141 * [approximate]: Taking taylor expansion of (- 1.0 (exp (/ 1 x))) in (x) around 0 7.141 * [taylor]: Taking taylor expansion of (- 1.0 (exp (/ 1 x))) in x 7.141 * [taylor]: Taking taylor expansion of 1.0 in x 7.141 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.141 * [taylor]: Taking taylor expansion of x in x 7.141 * [taylor]: Taking taylor expansion of (- 1.0 (exp (/ 1 x))) in x 7.141 * [taylor]: Taking taylor expansion of 1.0 in x 7.141 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.141 * [taylor]: Taking taylor expansion of x in x 7.145 * [approximate]: Taking taylor expansion of (- 1.0 (exp (/ -1 x))) in (x) around 0 7.145 * [taylor]: Taking taylor expansion of (- 1.0 (exp (/ -1 x))) in x 7.145 * [taylor]: Taking taylor expansion of 1.0 in x 7.145 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.145 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.145 * [taylor]: Taking taylor expansion of -1 in x 7.145 * [taylor]: Taking taylor expansion of x in x 7.145 * [taylor]: Taking taylor expansion of (- 1.0 (exp (/ -1 x))) in x 7.145 * [taylor]: Taking taylor expansion of 1.0 in x 7.145 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.145 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.145 * [taylor]: Taking taylor expansion of -1 in x 7.145 * [taylor]: Taking taylor expansion of x in x 7.149 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 7.149 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in (x) around 0 7.149 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 7.149 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 7.149 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.149 * [taylor]: Taking taylor expansion of 2 in x 7.149 * [taylor]: Taking taylor expansion of x in x 7.150 * [taylor]: Taking taylor expansion of 1.0 in x 7.150 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 7.150 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 7.150 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.150 * [taylor]: Taking taylor expansion of 2 in x 7.150 * [taylor]: Taking taylor expansion of x in x 7.150 * [taylor]: Taking taylor expansion of 1.0 in x 7.160 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in (x) around 0 7.160 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 7.160 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 7.160 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.160 * [taylor]: Taking taylor expansion of 2 in x 7.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.160 * [taylor]: Taking taylor expansion of x in x 7.161 * [taylor]: Taking taylor expansion of 1.0 in x 7.161 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 7.161 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 7.161 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.161 * [taylor]: Taking taylor expansion of 2 in x 7.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.161 * [taylor]: Taking taylor expansion of x in x 7.161 * [taylor]: Taking taylor expansion of 1.0 in x 7.165 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in (x) around 0 7.165 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 7.165 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 7.165 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 7.165 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.165 * [taylor]: Taking taylor expansion of 2 in x 7.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.165 * [taylor]: Taking taylor expansion of x in x 7.166 * [taylor]: Taking taylor expansion of 1.0 in x 7.166 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 7.166 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 7.166 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 7.166 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.166 * [taylor]: Taking taylor expansion of 2 in x 7.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.166 * [taylor]: Taking taylor expansion of x in x 7.167 * [taylor]: Taking taylor expansion of 1.0 in x 7.170 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 7.170 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 7.170 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 7.170 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 7.170 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 7.170 * [taylor]: Taking taylor expansion of 2.0 in x 7.171 * [taylor]: Taking taylor expansion of x in x 7.172 * [taylor]: Taking taylor expansion of 1.0 in x 7.172 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 7.172 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 7.172 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 7.172 * [taylor]: Taking taylor expansion of 2.0 in x 7.172 * [taylor]: Taking taylor expansion of x in x 7.173 * [taylor]: Taking taylor expansion of 1.0 in x 7.186 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 7.186 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 7.186 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 7.186 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 7.186 * [taylor]: Taking taylor expansion of 2.0 in x 7.186 * [taylor]: Taking taylor expansion of x in x 7.187 * [taylor]: Taking taylor expansion of 1.0 in x 7.187 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 7.187 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 7.187 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 7.187 * [taylor]: Taking taylor expansion of 2.0 in x 7.187 * [taylor]: Taking taylor expansion of x in x 7.187 * [taylor]: Taking taylor expansion of 1.0 in x 7.190 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 7.190 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 7.190 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 7.191 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 7.191 * [taylor]: Taking taylor expansion of -2.0 in x 7.191 * [taylor]: Taking taylor expansion of x in x 7.191 * [taylor]: Taking taylor expansion of 1.0 in x 7.191 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 7.191 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 7.191 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 7.191 * [taylor]: Taking taylor expansion of -2.0 in x 7.191 * [taylor]: Taking taylor expansion of x in x 7.191 * [taylor]: Taking taylor expansion of 1.0 in x 7.195 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1) 7.195 * [approximate]: Taking taylor expansion of (pow (exp x) 3) in (x) around 0 7.195 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 7.195 * [taylor]: Taking taylor expansion of (exp x) in x 7.195 * [taylor]: Taking taylor expansion of x in x 7.195 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 7.195 * [taylor]: Taking taylor expansion of (exp x) in x 7.195 * [taylor]: Taking taylor expansion of x in x 7.199 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0 7.199 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 7.199 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.199 * [taylor]: Taking taylor expansion of x in x 7.199 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 7.199 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.199 * [taylor]: Taking taylor expansion of x in x 7.209 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0 7.209 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 7.209 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.209 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.209 * [taylor]: Taking taylor expansion of -1 in x 7.209 * [taylor]: Taking taylor expansion of x in x 7.209 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 7.209 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.209 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.209 * [taylor]: Taking taylor expansion of -1 in x 7.209 * [taylor]: Taking taylor expansion of x in x 7.218 * * * [progress]: simplifying candidates 7.219 * [simplify]: Simplifying using # : (/ (exp 1.0) (exp (exp x))) (log (- 1.0 (exp x))) (exp (- 1.0 (exp x))) (* (cbrt (- 1.0 (exp x))) (cbrt (- 1.0 (exp x)))) (cbrt (- 1.0 (exp x))) (* (* (- 1.0 (exp x)) (- 1.0 (exp x))) (- 1.0 (exp x))) (sqrt (- 1.0 (exp x))) (sqrt (- 1.0 (exp x))) (- (pow 1.0 3) (pow (exp x) 3)) (+ (* 1.0 1.0) (+ (* (exp x) (exp x)) (* 1.0 (exp x)))) (- (exp x)) (- (* 1.0 1.0) (* (exp x) (exp x))) (+ 1.0 (exp x)) (+ (sqrt 1.0) (sqrt (exp x))) (- (sqrt 1.0) (sqrt (exp x))) (- 1.0 (exp x)) (- (exp x)) (/ (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)) (/ (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) (* x 3) (* (log (exp x)) 3) (* 1 3) (* (cbrt x) 3) (* (sqrt x) 3) (* x 3) (pow (exp x) (* (cbrt 3) (cbrt 3))) (pow (exp x) (sqrt 3)) (pow (exp x) 1) (pow (* (cbrt (exp x)) (cbrt (exp x))) 3) (pow (cbrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow 1 3) (pow (exp x) 3) (* (exp x) (exp x)) (log (pow (exp x) 3)) (exp (pow (exp x) 3)) (* (cbrt (pow (exp x) 3)) (cbrt (pow (exp x) 3))) (cbrt (pow (exp x) 3)) (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3)) (pow (* (cbrt (exp x)) (cbrt (exp x))) 3) (pow (cbrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow 1 3) (pow (exp x) 3) (* (exp x) (exp x)) (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3)) (pow (exp x) (/ 3 2)) (pow (exp x) (/ 3 2)) (- (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x))) (- 1.0 (exp x)) (- 1.0 (exp x)) (+ (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (+ (* 2.0 (pow x 2)) (+ (* 1.3333333333333333 (pow x 3)) (* 2.0 x))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) (pow (exp x) 3) (pow (exp x) 3) 7.223 * * [simplify]: iteration 0 : 142 enodes (cost 727 ) 7.256 * * [simplify]: iteration 1 : 305 enodes (cost 659 ) 7.327 * * [simplify]: iteration 2 : 924 enodes (cost 597 ) 7.990 * * [simplify]: iteration 3 : 4535 enodes (cost 590 ) 9.697 * * [simplify]: iteration done : 5000 enodes (cost 590 ) 9.697 * [simplify]: Simplified to: (exp (- 1.0 (exp x))) (log (- 1.0 (exp x))) (exp (- 1.0 (exp x))) (* (cbrt (- 1.0 (exp x))) (cbrt (- 1.0 (exp x)))) (cbrt (- 1.0 (exp x))) (pow (- 1.0 (exp x)) 3) (sqrt (- 1.0 (exp x))) (sqrt (- 1.0 (exp x))) (- (pow 1.0 3) (pow (exp x) 3)) (+ (* (exp x) (+ 1.0 (exp x))) (* 1.0 1.0)) (- (exp x)) (- (* 1.0 1.0) (exp (+ x x))) (+ (exp x) 1.0) (+ (sqrt 1.0) (sqrt (exp x))) (- (sqrt 1.0) (sqrt (exp x))) (- 1.0 (exp x)) (- (exp x)) (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) 6) (pow 1.0 6)) (+ (exp (* x 4)) (* (* 1.0 1.0) (+ (exp (+ x x)) (* 1.0 1.0)))) (- (* 1.0 1.0)) (- (exp (* x 4)) (pow 1.0 4)) (+ (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0) (- (exp x) 1.0) (+ (fabs (exp x)) 1.0) (- (fabs (exp x)) 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)) (+ (pow (exp 2.0) (+ x x)) (* 1.0 (+ (exp (* 2.0 x)) 1.0))) (- 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) (* 3 x) (* 3 x) 3 (* (cbrt x) 3) (* (sqrt x) 3) (* 3 x) (pow (exp x) (* (cbrt 3) (cbrt 3))) (pow (exp x) (sqrt 3)) (exp x) (exp (* 2 x)) (exp x) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) 1 (pow (exp x) 3) (exp (* 2 x)) (* 3 x) (exp (pow (exp x) 3)) (exp (* 2 x)) (exp x) (pow (pow (exp x) 3) 3) (exp (* 2 x)) (exp x) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) 1 (pow (exp x) 3) (exp (* 2 x)) (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3)) (pow (exp x) 3/2) (pow (exp x) 3/2) (- (+ x (* (* x x) (+ 1/2 (* x 1/6))))) (- 1.0 (exp x)) (- 1.0 (exp x)) (+ (+ x x) (* (* x x) (+ 2 (* 4/3 x)))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (+ (* x (+ 2.0 (* 2.0 x))) (* 1.3333333333333333 (pow x 3))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (+ (* x (+ 3 (* 9/2 x))) 1) (pow (exp x) 3) (pow (exp x) 3) 9.698 * * * [progress]: adding candidates to table 10.018 * [progress]: [Phase 3 of 3] Extracting. 10.019 * * [regime]: Finding splitpoints for: (# # # #) 10.021 * * * [regime-changes]: Trying 1 branch expressions: (x) 10.021 * * * * [regimes]: Trying to branch on x from (# # # #) 10.047 * * * [regime]: Found split indices: #