2.343 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.022 * * * [progress]: [2/2] Setting up program. 0.024 * [progress]: [Phase 2 of 3] Improving. 0.024 * [simplify]: Simplifying using # : (exp (- (- 1.0 (* x x)))) 0.025 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.026 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.027 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 0.030 * * [simplify]: iteration 3 : 43 enodes (cost 7 ) 0.035 * * [simplify]: iteration 4 : 73 enodes (cost 6 ) 0.048 * * [simplify]: iteration 5 : 144 enodes (cost 6 ) 0.082 * * [simplify]: iteration 6 : 418 enodes (cost 6 ) 0.255 * * [simplify]: iteration 7 : 1414 enodes (cost 6 ) 1.233 * * [simplify]: iteration 8 : 4702 enodes (cost 6 ) 2.720 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 2.720 * [simplify]: Simplified to: (exp (- (* x x) 1.0)) 2.723 * * [progress]: iteration 1 / 4 2.723 * * * [progress]: picking best candidate 2.724 * * * * [pick]: Picked # 2.724 * * * [progress]: localizing error 2.734 * * * [progress]: generating rewritten candidates 2.734 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.744 * * * [progress]: generating series expansions 2.744 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.745 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0 2.745 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 2.745 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 2.745 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.745 * [taylor]: Taking taylor expansion of x in x 2.745 * [taylor]: Taking taylor expansion of 1.0 in x 2.746 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 2.746 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 2.746 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.746 * [taylor]: Taking taylor expansion of x in x 2.746 * [taylor]: Taking taylor expansion of 1.0 in x 2.765 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 2.765 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 2.765 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 2.765 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.765 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.765 * [taylor]: Taking taylor expansion of x in x 2.766 * [taylor]: Taking taylor expansion of 1.0 in x 2.766 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 2.766 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 2.766 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.766 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.767 * [taylor]: Taking taylor expansion of x in x 2.767 * [taylor]: Taking taylor expansion of 1.0 in x 2.768 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 2.768 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 2.768 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 2.768 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.768 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.768 * [taylor]: Taking taylor expansion of x in x 2.769 * [taylor]: Taking taylor expansion of 1.0 in x 2.769 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 2.769 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 2.769 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.769 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.769 * [taylor]: Taking taylor expansion of x in x 2.770 * [taylor]: Taking taylor expansion of 1.0 in x 2.770 * * * [progress]: simplifying candidates 2.771 * [simplify]: Simplifying using # : (exp (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0)))) (exp (sqrt (- (* x x) 1.0))) (exp 1) (exp (+ x (sqrt 1.0))) (exp (* x x)) (exp (- 1.0)) (exp (* x x)) (exp (- 1.0)) (exp (* x x)) (exp 1.0) (log (exp (- (* x x) 1.0))) (exp (exp (- (* x x) 1.0))) (* (cbrt (exp (- (* x x) 1.0))) (cbrt (exp (- (* x x) 1.0)))) (cbrt (exp (- (* x x) 1.0))) (* (* (exp (- (* x x) 1.0)) (exp (- (* x x) 1.0))) (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0))) (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) 2.772 * * [simplify]: iteration 0 : 38 enodes (cost 151 ) 2.778 * * [simplify]: iteration 1 : 72 enodes (cost 147 ) 2.789 * * [simplify]: iteration 2 : 165 enodes (cost 134 ) 2.840 * * [simplify]: iteration 3 : 529 enodes (cost 130 ) 3.293 * * [simplify]: iteration 4 : 2490 enodes (cost 130 ) 4.527 * * [simplify]: iteration done : 5000 enodes (cost 130 ) 4.528 * [simplify]: Simplified to: (exp (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0)))) (exp (sqrt (- (* x x) 1.0))) E (exp (+ x (sqrt 1.0))) (exp (* x x)) (exp (- 1.0)) (exp (* x x)) (exp (- 1.0)) (exp (* x x)) (exp 1.0) (- (* x x) 1.0) (exp (exp (- (* x x) 1.0))) (* (cbrt (exp (- (* x x) 1.0))) (cbrt (exp (- (* x x) 1.0)))) (cbrt (exp (- (* x x) 1.0))) (pow (exp (- (pow x 2) 1.0)) 3) (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0))) (* (exp (- 1.0)) (+ (pow x 2) (+ (* 1/2 (pow x 4)) 1))) (exp (- (* x x) 1.0)) (exp (- (* x x) 1.0)) 4.528 * * * [progress]: adding candidates to table 4.562 * * [progress]: iteration 2 / 4 4.562 * * * [progress]: picking best candidate 4.565 * * * * [pick]: Picked # 4.565 * * * [progress]: localizing error 4.574 * * * [progress]: generating rewritten candidates 4.574 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 4.593 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 4.606 * * * [progress]: generating series expansions 4.606 * * * * [progress]: [ 1 / 2 ] generating series at (2) 4.607 * [approximate]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))) in (x) around 0 4.607 * [taylor]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))) in x 4.607 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0)))))) in x 4.607 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0))))) in x 4.607 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 4.607 * [taylor]: Taking taylor expansion of x in x 4.607 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.607 * [taylor]: Taking taylor expansion of 1.0 in x 4.608 * [taylor]: Taking taylor expansion of (log (exp (+ x (sqrt 1.0)))) in x 4.608 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 4.608 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 4.608 * [taylor]: Taking taylor expansion of x in x 4.608 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.608 * [taylor]: Taking taylor expansion of 1.0 in x 4.615 * [taylor]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))) in x 4.615 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0)))))) in x 4.615 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0))))) in x 4.616 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 4.616 * [taylor]: Taking taylor expansion of x in x 4.616 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.616 * [taylor]: Taking taylor expansion of 1.0 in x 4.616 * [taylor]: Taking taylor expansion of (log (exp (+ x (sqrt 1.0)))) in x 4.616 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 4.616 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 4.616 * [taylor]: Taking taylor expansion of x in x 4.616 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.616 * [taylor]: Taking taylor expansion of 1.0 in x 4.767 * [approximate]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0))) in (x) around 0 4.767 * [taylor]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0))) in x 4.767 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x)))))) in x 4.767 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x))))) in x 4.767 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 4.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.767 * [taylor]: Taking taylor expansion of x in x 4.768 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.768 * [taylor]: Taking taylor expansion of 1.0 in x 4.768 * [taylor]: Taking taylor expansion of (log (exp (+ (sqrt 1.0) (/ 1 x)))) in x 4.768 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 4.768 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 4.768 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.768 * [taylor]: Taking taylor expansion of 1.0 in x 4.769 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.769 * [taylor]: Taking taylor expansion of x in x 4.772 * [taylor]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0))) in x 4.772 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x)))))) in x 4.772 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x))))) in x 4.772 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 4.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.772 * [taylor]: Taking taylor expansion of x in x 4.772 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.772 * [taylor]: Taking taylor expansion of 1.0 in x 4.773 * [taylor]: Taking taylor expansion of (log (exp (+ (sqrt 1.0) (/ 1 x)))) in x 4.773 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 4.773 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 4.773 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.773 * [taylor]: Taking taylor expansion of 1.0 in x 4.774 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.774 * [taylor]: Taking taylor expansion of x in x 4.778 * [approximate]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x)))) in (x) around 0 4.778 * [taylor]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x)))) in x 4.778 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x)))))) in x 4.778 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x))))) in x 4.778 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 4.778 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 4.778 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.778 * [taylor]: Taking taylor expansion of 1.0 in x 4.779 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.779 * [taylor]: Taking taylor expansion of x in x 4.779 * [taylor]: Taking taylor expansion of (log (exp (- (sqrt 1.0) (/ 1 x)))) in x 4.779 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 4.779 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 4.779 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.779 * [taylor]: Taking taylor expansion of 1.0 in x 4.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.780 * [taylor]: Taking taylor expansion of x in x 4.783 * [taylor]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x)))) in x 4.783 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x)))))) in x 4.783 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x))))) in x 4.783 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 4.783 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 4.783 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.783 * [taylor]: Taking taylor expansion of 1.0 in x 4.784 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.784 * [taylor]: Taking taylor expansion of x in x 4.784 * [taylor]: Taking taylor expansion of (log (exp (- (sqrt 1.0) (/ 1 x)))) in x 4.784 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 4.784 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 4.784 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.784 * [taylor]: Taking taylor expansion of 1.0 in x 4.785 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.785 * [taylor]: Taking taylor expansion of x in x 4.789 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 4.789 * [approximate]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in (x) around 0 4.790 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 4.790 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 4.790 * [taylor]: Taking taylor expansion of x in x 4.790 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.790 * [taylor]: Taking taylor expansion of 1.0 in x 4.791 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 4.791 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 4.791 * [taylor]: Taking taylor expansion of x in x 4.791 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.791 * [taylor]: Taking taylor expansion of 1.0 in x 4.803 * [approximate]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in (x) around 0 4.803 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 4.803 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 4.803 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.803 * [taylor]: Taking taylor expansion of 1.0 in x 4.807 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.807 * [taylor]: Taking taylor expansion of x in x 4.808 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 4.808 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 4.808 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.808 * [taylor]: Taking taylor expansion of 1.0 in x 4.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.808 * [taylor]: Taking taylor expansion of x in x 4.810 * [approximate]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in (x) around 0 4.810 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 4.810 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 4.810 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.810 * [taylor]: Taking taylor expansion of 1.0 in x 4.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.811 * [taylor]: Taking taylor expansion of x in x 4.812 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 4.812 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 4.812 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.812 * [taylor]: Taking taylor expansion of 1.0 in x 4.813 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.813 * [taylor]: Taking taylor expansion of x in x 4.815 * * * [progress]: simplifying candidates 4.815 * [simplify]: Simplifying using # : (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (* (log (exp (+ x (sqrt 1.0)))) (- x (sqrt 1.0))) (* 1 (- x (sqrt 1.0))) (* (cbrt (+ x (sqrt 1.0))) (- x (sqrt 1.0))) (* (sqrt (+ x (sqrt 1.0))) (- x (sqrt 1.0))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (pow (exp (+ x (sqrt 1.0))) x) (pow (exp (+ x (sqrt 1.0))) (sqrt 1.0)) (pow (exp (+ x (sqrt 1.0))) (* (cbrt (- x (sqrt 1.0))) (cbrt (- x (sqrt 1.0))))) (pow (exp (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (pow (exp (+ x (sqrt 1.0))) 1) (pow (exp (+ x (sqrt 1.0))) (+ (sqrt x) (sqrt (sqrt 1.0)))) (pow (exp (+ x (sqrt 1.0))) (+ (sqrt x) (sqrt (sqrt 1.0)))) (pow (exp (+ x (sqrt 1.0))) 1) (pow (exp (+ x (sqrt 1.0))) x) (pow (exp (+ x (sqrt 1.0))) (- (sqrt 1.0))) (pow (exp (+ x (sqrt 1.0))) x) (pow (exp (+ x (sqrt 1.0))) (- (sqrt 1.0))) (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))) (pow (* (cbrt (exp (+ x (sqrt 1.0)))) (cbrt (exp (+ x (sqrt 1.0))))) (- x (sqrt 1.0))) (pow (cbrt (exp (+ x (sqrt 1.0)))) (- x (sqrt 1.0))) (pow (sqrt (exp (+ x (sqrt 1.0)))) (- x (sqrt 1.0))) (pow (sqrt (exp (+ x (sqrt 1.0)))) (- x (sqrt 1.0))) (pow 1 (- x (sqrt 1.0))) (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))) (log (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))) (exp (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))) (* (cbrt (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))) (cbrt (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))))) (cbrt (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))) (* (* (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))) (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))) (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))) (sqrt (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))) (sqrt (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))) (pow (exp (+ x (sqrt 1.0))) (/ (- x (sqrt 1.0)) 2)) (pow (exp (+ x (sqrt 1.0))) (/ (- x (sqrt 1.0)) 2)) (exp (* (cbrt (+ x (sqrt 1.0))) (cbrt (+ x (sqrt 1.0))))) (exp (sqrt (+ x (sqrt 1.0)))) (exp 1) (exp 1) (exp x) (exp (sqrt 1.0)) (log (exp (+ x (sqrt 1.0)))) (exp (exp (+ x (sqrt 1.0)))) (* (cbrt (exp (+ x (sqrt 1.0)))) (cbrt (exp (+ x (sqrt 1.0))))) (cbrt (exp (+ x (sqrt 1.0)))) (* (* (exp (+ x (sqrt 1.0))) (exp (+ x (sqrt 1.0)))) (exp (+ x (sqrt 1.0)))) (sqrt (exp (+ x (sqrt 1.0)))) (sqrt (exp (+ x (sqrt 1.0)))) (+ (* 1/2 (* (pow x 4) (exp (* -1 (pow (sqrt 1.0) 2))))) (+ (* (pow x 2) (exp (* -1 (pow (sqrt 1.0) 2)))) (exp (* -1 (pow (sqrt 1.0) 2))))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* -1 (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x)))) (+ (* (exp (sqrt 1.0)) x) (+ (exp (sqrt 1.0)) (* 1/2 (* (exp (sqrt 1.0)) (pow x 2))))) (exp (+ x (sqrt 1.0))) (exp (+ x (sqrt 1.0))) 4.818 * * [simplify]: iteration 0 : 81 enodes (cost 564 ) 4.833 * * [simplify]: iteration 1 : 181 enodes (cost 526 ) 4.874 * * [simplify]: iteration 2 : 536 enodes (cost 494 ) 5.120 * * [simplify]: iteration 3 : 1761 enodes (cost 490 ) 5.706 * * [simplify]: iteration done : 5000 enodes (cost 489 ) 5.706 * [simplify]: Simplified to: (* (- x (sqrt 1.0)) (+ (sqrt 1.0) x)) (* (- x (sqrt 1.0)) (+ (sqrt 1.0) x)) (- x (sqrt 1.0)) (* (cbrt (+ x (sqrt 1.0))) (- x (sqrt 1.0))) (* (sqrt (+ x (sqrt 1.0))) (- x (sqrt 1.0))) (* (- x (sqrt 1.0)) (+ (sqrt 1.0) x)) (* (- x (sqrt 1.0)) (+ (sqrt 1.0) x)) (pow (exp (+ x (sqrt 1.0))) x) (pow (exp (+ x (sqrt 1.0))) (sqrt 1.0)) (pow (exp (+ x (sqrt 1.0))) (* (cbrt (- x (sqrt 1.0))) (cbrt (- x (sqrt 1.0))))) (pow (exp (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (exp (+ x (sqrt 1.0))) (pow (exp (+ x (sqrt 1.0))) (+ (sqrt x) (sqrt (sqrt 1.0)))) (pow (exp (+ x (sqrt 1.0))) (+ (sqrt x) (sqrt (sqrt 1.0)))) (exp (+ x (sqrt 1.0))) (pow (exp (+ x (sqrt 1.0))) x) (pow (exp (+ x (sqrt 1.0))) (- (sqrt 1.0))) (pow (exp (+ x (sqrt 1.0))) x) (pow (exp (+ x (sqrt 1.0))) (- (sqrt 1.0))) (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))) (pow (* (cbrt (exp (+ x (sqrt 1.0)))) (cbrt (exp (+ x (sqrt 1.0))))) (- x (sqrt 1.0))) (pow (cbrt (exp (+ x (sqrt 1.0)))) (- x (sqrt 1.0))) (pow (sqrt (exp (+ x (sqrt 1.0)))) (- x (sqrt 1.0))) (pow (sqrt (exp (+ x (sqrt 1.0)))) (- x (sqrt 1.0))) 1 (pow (exp (- x (sqrt 1.0))) (+ (sqrt 1.0) x)) (* (- x (sqrt 1.0)) (+ (sqrt 1.0) x)) (exp (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))) (* (cbrt (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))) (cbrt (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))))) (cbrt (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))) (pow (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) 3) (sqrt (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))) (sqrt (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))) (pow (exp (+ x (sqrt 1.0))) (/ (- x (sqrt 1.0)) 2)) (pow (exp (+ x (sqrt 1.0))) (/ (- x (sqrt 1.0)) 2)) (exp (* (cbrt (+ x (sqrt 1.0))) (cbrt (+ x (sqrt 1.0))))) (exp (sqrt (+ x (sqrt 1.0)))) E E (exp x) (exp (sqrt 1.0)) (+ x (sqrt 1.0)) (exp (exp (+ x (sqrt 1.0)))) (* (cbrt (exp (+ x (sqrt 1.0)))) (cbrt (exp (+ x (sqrt 1.0))))) (cbrt (exp (+ x (sqrt 1.0)))) (pow (exp (+ x (sqrt 1.0))) 3) (sqrt (exp (+ x (sqrt 1.0)))) (sqrt (exp (+ x (sqrt 1.0)))) (/ (+ (+ (pow x 2) 1) (* 1/2 (pow x 4))) (exp 1.0)) (pow (exp (- x (sqrt 1.0))) (+ (sqrt 1.0) x)) (exp (- (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x)))) (* (exp (sqrt 1.0)) (+ (* (pow x 2) 1/2) (+ x 1))) (exp (+ x (sqrt 1.0))) (exp (+ x (sqrt 1.0))) 5.706 * * * [progress]: adding candidates to table 5.813 * * [progress]: iteration 3 / 4 5.813 * * * [progress]: picking best candidate 5.817 * * * * [pick]: Picked # 5.817 * * * [progress]: localizing error 5.830 * * * [progress]: generating rewritten candidates 5.830 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 5.837 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 5.842 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 5.865 * * * [progress]: generating series expansions 5.865 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 5.867 * [approximate]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))) in (x) around 0 5.867 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))) in x 5.867 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp (sqrt 1.0))))) in x 5.867 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp (sqrt 1.0)))) in x 5.867 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 5.867 * [taylor]: Taking taylor expansion of x in x 5.867 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.867 * [taylor]: Taking taylor expansion of 1.0 in x 5.868 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 5.868 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 5.868 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.868 * [taylor]: Taking taylor expansion of 1.0 in x 5.874 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))) in x 5.874 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp (sqrt 1.0))))) in x 5.874 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp (sqrt 1.0)))) in x 5.874 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 5.874 * [taylor]: Taking taylor expansion of x in x 5.874 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.874 * [taylor]: Taking taylor expansion of 1.0 in x 5.875 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 5.875 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 5.875 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.875 * [taylor]: Taking taylor expansion of 1.0 in x 5.916 * [approximate]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (- (/ 1 x) (sqrt 1.0))) in (x) around 0 5.916 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (- (/ 1 x) (sqrt 1.0))) in x 5.916 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (sqrt 1.0))))) in x 5.917 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (sqrt 1.0)))) in x 5.917 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 5.917 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.917 * [taylor]: Taking taylor expansion of x in x 5.917 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.917 * [taylor]: Taking taylor expansion of 1.0 in x 5.918 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 5.918 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 5.918 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.918 * [taylor]: Taking taylor expansion of 1.0 in x 5.922 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (- (/ 1 x) (sqrt 1.0))) in x 5.922 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (sqrt 1.0))))) in x 5.922 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (sqrt 1.0)))) in x 5.922 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 5.922 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.922 * [taylor]: Taking taylor expansion of x in x 5.922 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.922 * [taylor]: Taking taylor expansion of 1.0 in x 5.923 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 5.923 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 5.923 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.923 * [taylor]: Taking taylor expansion of 1.0 in x 5.929 * [approximate]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (- (+ (sqrt 1.0) (/ 1 x)))) in (x) around 0 5.930 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (- (+ (sqrt 1.0) (/ 1 x)))) in x 5.930 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (sqrt 1.0))))) in x 5.930 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (sqrt 1.0)))) in x 5.930 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 5.930 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 5.930 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.930 * [taylor]: Taking taylor expansion of 1.0 in x 5.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.930 * [taylor]: Taking taylor expansion of x in x 5.931 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 5.931 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 5.931 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.931 * [taylor]: Taking taylor expansion of 1.0 in x 5.936 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (- (+ (sqrt 1.0) (/ 1 x)))) in x 5.936 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (sqrt 1.0))))) in x 5.936 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (sqrt 1.0)))) in x 5.936 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 5.936 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 5.936 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.936 * [taylor]: Taking taylor expansion of 1.0 in x 5.936 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.936 * [taylor]: Taking taylor expansion of x in x 5.937 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 5.937 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 5.937 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.937 * [taylor]: Taking taylor expansion of 1.0 in x 5.947 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 5.947 * [approximate]: Taking taylor expansion of (pow (exp x) (- x (sqrt 1.0))) in (x) around 0 5.947 * [taylor]: Taking taylor expansion of (pow (exp x) (- x (sqrt 1.0))) in x 5.947 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp x)))) in x 5.947 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp x))) in x 5.947 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 5.947 * [taylor]: Taking taylor expansion of x in x 5.947 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.947 * [taylor]: Taking taylor expansion of 1.0 in x 5.948 * [taylor]: Taking taylor expansion of (log (exp x)) in x 5.948 * [taylor]: Taking taylor expansion of (exp x) in x 5.948 * [taylor]: Taking taylor expansion of x in x 5.953 * [taylor]: Taking taylor expansion of (pow (exp x) (- x (sqrt 1.0))) in x 5.953 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp x)))) in x 5.954 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp x))) in x 5.954 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 5.954 * [taylor]: Taking taylor expansion of x in x 5.954 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.954 * [taylor]: Taking taylor expansion of 1.0 in x 5.954 * [taylor]: Taking taylor expansion of (log (exp x)) in x 5.954 * [taylor]: Taking taylor expansion of (exp x) in x 5.954 * [taylor]: Taking taylor expansion of x in x 5.976 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0))) in (x) around 0 5.976 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0))) in x 5.976 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x))))) in x 5.976 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x)))) in x 5.976 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 5.976 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.976 * [taylor]: Taking taylor expansion of x in x 5.977 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.977 * [taylor]: Taking taylor expansion of 1.0 in x 5.977 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 5.977 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.977 * [taylor]: Taking taylor expansion of x in x 5.979 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0))) in x 5.979 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x))))) in x 5.979 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x)))) in x 5.979 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 5.979 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.979 * [taylor]: Taking taylor expansion of x in x 5.979 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.979 * [taylor]: Taking taylor expansion of 1.0 in x 5.980 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 5.980 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.980 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.980 * [taylor]: Taking taylor expansion of x in x 5.982 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) in (x) around 0 5.982 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) in x 5.982 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x))))) in x 5.982 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x)))) in x 5.982 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 5.982 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 5.982 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.982 * [taylor]: Taking taylor expansion of 1.0 in x 5.983 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.983 * [taylor]: Taking taylor expansion of x in x 5.983 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 5.983 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.983 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.983 * [taylor]: Taking taylor expansion of -1 in x 5.983 * [taylor]: Taking taylor expansion of x in x 5.985 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) in x 5.985 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x))))) in x 5.985 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x)))) in x 5.985 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 5.985 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 5.985 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.985 * [taylor]: Taking taylor expansion of 1.0 in x 5.986 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.986 * [taylor]: Taking taylor expansion of x in x 5.986 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 5.986 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.986 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.986 * [taylor]: Taking taylor expansion of -1 in x 5.986 * [taylor]: Taking taylor expansion of x in x 5.988 * * * * [progress]: [ 3 / 3 ] generating series at (2) 5.989 * [approximate]: Taking taylor expansion of (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) in (x) around 0 5.989 * [taylor]: Taking taylor expansion of (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) in x 5.989 * [taylor]: Taking taylor expansion of (pow (exp x) (- x (sqrt 1.0))) in x 5.989 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp x)))) in x 5.989 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp x))) in x 5.989 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 5.989 * [taylor]: Taking taylor expansion of x in x 5.989 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.989 * [taylor]: Taking taylor expansion of 1.0 in x 5.990 * [taylor]: Taking taylor expansion of (log (exp x)) in x 5.990 * [taylor]: Taking taylor expansion of (exp x) in x 5.990 * [taylor]: Taking taylor expansion of x in x 5.996 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))) in x 5.996 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp (sqrt 1.0))))) in x 5.996 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp (sqrt 1.0)))) in x 5.996 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 5.996 * [taylor]: Taking taylor expansion of x in x 5.996 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.996 * [taylor]: Taking taylor expansion of 1.0 in x 5.996 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 5.996 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 5.996 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.996 * [taylor]: Taking taylor expansion of 1.0 in x 6.003 * [taylor]: Taking taylor expansion of (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) in x 6.003 * [taylor]: Taking taylor expansion of (pow (exp x) (- x (sqrt 1.0))) in x 6.003 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp x)))) in x 6.003 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp x))) in x 6.003 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 6.003 * [taylor]: Taking taylor expansion of x in x 6.003 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.003 * [taylor]: Taking taylor expansion of 1.0 in x 6.004 * [taylor]: Taking taylor expansion of (log (exp x)) in x 6.004 * [taylor]: Taking taylor expansion of (exp x) in x 6.004 * [taylor]: Taking taylor expansion of x in x 6.009 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))) in x 6.009 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp (sqrt 1.0))))) in x 6.009 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp (sqrt 1.0)))) in x 6.009 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 6.009 * [taylor]: Taking taylor expansion of x in x 6.009 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.009 * [taylor]: Taking taylor expansion of 1.0 in x 6.010 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 6.010 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 6.010 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.010 * [taylor]: Taking taylor expansion of 1.0 in x 6.218 * [approximate]: Taking taylor expansion of (* (pow (exp (sqrt 1.0)) (- (/ 1 x) (sqrt 1.0))) (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0)))) in (x) around 0 6.218 * [taylor]: Taking taylor expansion of (* (pow (exp (sqrt 1.0)) (- (/ 1 x) (sqrt 1.0))) (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0)))) in x 6.218 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (- (/ 1 x) (sqrt 1.0))) in x 6.219 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (sqrt 1.0))))) in x 6.219 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (sqrt 1.0)))) in x 6.219 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 6.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.219 * [taylor]: Taking taylor expansion of x in x 6.219 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.219 * [taylor]: Taking taylor expansion of 1.0 in x 6.220 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 6.220 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 6.220 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.220 * [taylor]: Taking taylor expansion of 1.0 in x 6.224 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0))) in x 6.224 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x))))) in x 6.224 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x)))) in x 6.224 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 6.224 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.224 * [taylor]: Taking taylor expansion of x in x 6.224 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.224 * [taylor]: Taking taylor expansion of 1.0 in x 6.225 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 6.225 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.225 * [taylor]: Taking taylor expansion of x in x 6.226 * [taylor]: Taking taylor expansion of (* (pow (exp (sqrt 1.0)) (- (/ 1 x) (sqrt 1.0))) (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0)))) in x 6.226 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (- (/ 1 x) (sqrt 1.0))) in x 6.226 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (sqrt 1.0))))) in x 6.226 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (sqrt 1.0)))) in x 6.226 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 6.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.226 * [taylor]: Taking taylor expansion of x in x 6.226 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.226 * [taylor]: Taking taylor expansion of 1.0 in x 6.227 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 6.227 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 6.227 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.227 * [taylor]: Taking taylor expansion of 1.0 in x 6.231 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0))) in x 6.231 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x))))) in x 6.231 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x)))) in x 6.231 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 6.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.231 * [taylor]: Taking taylor expansion of x in x 6.231 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.231 * [taylor]: Taking taylor expansion of 1.0 in x 6.232 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 6.232 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.232 * [taylor]: Taking taylor expansion of x in x 6.246 * [approximate]: Taking taylor expansion of (* (pow (exp (sqrt 1.0)) (- (+ (sqrt 1.0) (/ 1 x)))) (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x))))) in (x) around 0 6.246 * [taylor]: Taking taylor expansion of (* (pow (exp (sqrt 1.0)) (- (+ (sqrt 1.0) (/ 1 x)))) (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x))))) in x 6.246 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (- (+ (sqrt 1.0) (/ 1 x)))) in x 6.246 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (sqrt 1.0))))) in x 6.246 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (sqrt 1.0)))) in x 6.246 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 6.246 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 6.246 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.246 * [taylor]: Taking taylor expansion of 1.0 in x 6.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.247 * [taylor]: Taking taylor expansion of x in x 6.247 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 6.247 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 6.247 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.247 * [taylor]: Taking taylor expansion of 1.0 in x 6.251 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) in x 6.251 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x))))) in x 6.252 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x)))) in x 6.252 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 6.252 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 6.252 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.252 * [taylor]: Taking taylor expansion of 1.0 in x 6.252 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.252 * [taylor]: Taking taylor expansion of x in x 6.253 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 6.253 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.253 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.253 * [taylor]: Taking taylor expansion of -1 in x 6.253 * [taylor]: Taking taylor expansion of x in x 6.254 * [taylor]: Taking taylor expansion of (* (pow (exp (sqrt 1.0)) (- (+ (sqrt 1.0) (/ 1 x)))) (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x))))) in x 6.254 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (- (+ (sqrt 1.0) (/ 1 x)))) in x 6.254 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (sqrt 1.0))))) in x 6.254 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (sqrt 1.0)))) in x 6.254 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 6.254 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 6.254 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.254 * [taylor]: Taking taylor expansion of 1.0 in x 6.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.255 * [taylor]: Taking taylor expansion of x in x 6.255 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 6.255 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 6.255 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.255 * [taylor]: Taking taylor expansion of 1.0 in x 6.260 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) in x 6.260 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x))))) in x 6.260 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x)))) in x 6.260 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 6.260 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 6.260 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.260 * [taylor]: Taking taylor expansion of 1.0 in x 6.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.260 * [taylor]: Taking taylor expansion of x in x 6.265 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 6.265 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.265 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.265 * [taylor]: Taking taylor expansion of -1 in x 6.265 * [taylor]: Taking taylor expansion of x in x 6.278 * * * [progress]: simplifying candidates 6.280 * [simplify]: Simplifying using # : (* (sqrt 1.0) (- x (sqrt 1.0))) (* (log (exp (sqrt 1.0))) (- x (sqrt 1.0))) (* 1 (- x (sqrt 1.0))) (* (cbrt (sqrt 1.0)) (- x (sqrt 1.0))) (* (sqrt (cbrt 1.0)) (- x (sqrt 1.0))) (* (sqrt (sqrt 1.0)) (- x (sqrt 1.0))) (* (sqrt 1.0) (- x (sqrt 1.0))) (* (sqrt (sqrt 1.0)) (- x (sqrt 1.0))) (* (sqrt 1.0) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x) (pow (exp (sqrt 1.0)) (sqrt 1.0)) (pow (exp (sqrt 1.0)) (* (cbrt (- x (sqrt 1.0))) (cbrt (- x (sqrt 1.0))))) (pow (exp (sqrt 1.0)) (sqrt (- x (sqrt 1.0)))) (pow (exp (sqrt 1.0)) 1) (pow (exp (sqrt 1.0)) (+ (sqrt x) (sqrt (sqrt 1.0)))) (pow (exp (sqrt 1.0)) (+ (sqrt x) (sqrt (sqrt 1.0)))) (pow (exp (sqrt 1.0)) 1) (pow (exp (sqrt 1.0)) x) (pow (exp (sqrt 1.0)) (- (sqrt 1.0))) (pow (exp (sqrt 1.0)) x) (pow (exp (sqrt 1.0)) (- (sqrt 1.0))) (pow (* (cbrt (exp (sqrt 1.0))) (cbrt (exp (sqrt 1.0)))) (- x (sqrt 1.0))) (pow (cbrt (exp (sqrt 1.0))) (- x (sqrt 1.0))) (pow (sqrt (exp (sqrt 1.0))) (- x (sqrt 1.0))) (pow (sqrt (exp (sqrt 1.0))) (- x (sqrt 1.0))) (pow 1 (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))) (log (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (* (cbrt (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (cbrt (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (cbrt (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (* (* (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (sqrt (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (sqrt (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (sqrt 1.0)) (/ (- x (sqrt 1.0)) 2)) (pow (exp (sqrt 1.0)) (/ (- x (sqrt 1.0)) 2)) (* x (- x (sqrt 1.0))) (* (log (exp x)) (- x (sqrt 1.0))) (* 1 (- x (sqrt 1.0))) (* (cbrt x) (- x (sqrt 1.0))) (* (sqrt x) (- x (sqrt 1.0))) (* x (- x (sqrt 1.0))) (pow (exp x) x) (pow (exp x) (sqrt 1.0)) (pow (exp x) (* (cbrt (- x (sqrt 1.0))) (cbrt (- x (sqrt 1.0))))) (pow (exp x) (sqrt (- x (sqrt 1.0)))) (pow (exp x) 1) (pow (exp x) (+ (sqrt x) (sqrt (sqrt 1.0)))) (pow (exp x) (+ (sqrt x) (sqrt (sqrt 1.0)))) (pow (exp x) 1) (pow (exp x) x) (pow (exp x) (- (sqrt 1.0))) (pow (exp x) x) (pow (exp x) (- (sqrt 1.0))) (pow (* (cbrt (exp x)) (cbrt (exp x))) (- x (sqrt 1.0))) (pow (cbrt (exp x)) (- x (sqrt 1.0))) (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow 1 (- x (sqrt 1.0))) (pow (exp x) (- x (sqrt 1.0))) (log (pow (exp x) (- x (sqrt 1.0)))) (exp (pow (exp x) (- x (sqrt 1.0)))) (* (cbrt (pow (exp x) (- x (sqrt 1.0)))) (cbrt (pow (exp x) (- x (sqrt 1.0))))) (cbrt (pow (exp x) (- x (sqrt 1.0)))) (* (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp x) (- x (sqrt 1.0)))) (pow (exp x) (- x (sqrt 1.0)))) (sqrt (pow (exp x) (- x (sqrt 1.0)))) (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (* (exp x) (exp (sqrt 1.0))) (+ (* x (- x (sqrt 1.0))) (* (sqrt 1.0) (- x (sqrt 1.0)))) (+ (* x (- x (sqrt 1.0))) (* (log (exp (sqrt 1.0))) (- x (sqrt 1.0)))) (+ (* x (- x (sqrt 1.0))) (log (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (+ (* (log (exp x)) (- x (sqrt 1.0))) (* (sqrt 1.0) (- x (sqrt 1.0)))) (+ (* (log (exp x)) (- x (sqrt 1.0))) (* (log (exp (sqrt 1.0))) (- x (sqrt 1.0)))) (+ (* (log (exp x)) (- x (sqrt 1.0))) (log (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (+ (log (pow (exp x) (- x (sqrt 1.0)))) (* (sqrt 1.0) (- x (sqrt 1.0)))) (+ (log (pow (exp x) (- x (sqrt 1.0)))) (* (log (exp (sqrt 1.0))) (- x (sqrt 1.0)))) (+ (log (pow (exp x) (- x (sqrt 1.0)))) (log (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (log (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (exp (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (* (* (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp x) (- x (sqrt 1.0)))) (pow (exp x) (- x (sqrt 1.0)))) (* (* (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (* (cbrt (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (cbrt (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))))) (cbrt (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (* (* (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (* (pow (exp x) x) (pow (exp (sqrt 1.0)) x)) (* (pow (exp x) (sqrt 1.0)) (pow (exp (sqrt 1.0)) (sqrt 1.0))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (sqrt (exp (sqrt 1.0))) (- x (sqrt 1.0)))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (sqrt (exp (sqrt 1.0))) (- x (sqrt 1.0)))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (sqrt (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (sqrt (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (/ (- x (sqrt 1.0)) 2))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (/ (- x (sqrt 1.0)) 2))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (sqrt (exp (sqrt 1.0))) (- x (sqrt 1.0)))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (sqrt (exp (sqrt 1.0))) (- x (sqrt 1.0)))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (sqrt (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (sqrt (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp (sqrt 1.0)) (/ (- x (sqrt 1.0)) 2))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp (sqrt 1.0)) (/ (- x (sqrt 1.0)) 2))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (sqrt (exp (sqrt 1.0))) (- x (sqrt 1.0)))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (sqrt (exp (sqrt 1.0))) (- x (sqrt 1.0)))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (sqrt (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (sqrt (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (exp (sqrt 1.0)) (/ (- x (sqrt 1.0)) 2))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (exp (sqrt 1.0)) (/ (- x (sqrt 1.0)) 2))) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (* (pow (exp x) (- x (sqrt 1.0))) (pow (* (cbrt (exp (sqrt 1.0))) (cbrt (exp (sqrt 1.0)))) (- x (sqrt 1.0)))) (* (pow (exp x) (- x (sqrt 1.0))) (pow (sqrt (exp (sqrt 1.0))) (- x (sqrt 1.0)))) (* (pow (exp x) (- x (sqrt 1.0))) (pow 1 (- x (sqrt 1.0)))) (* (pow (exp x) (- x (sqrt 1.0))) (* (cbrt (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (cbrt (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))))) (* (pow (exp x) (- x (sqrt 1.0))) (sqrt (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))) (* (pow (exp x) (- x (sqrt 1.0))) 1) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (/ (- x (sqrt 1.0)) 2))) (* (pow (exp x) (- (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (* (pow (exp x) (- (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (* (pow (cbrt (exp x)) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (* (cbrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (* (pow (exp x) x) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))) (+ (* x (* (sqrt 1.0) (exp (* -1 (pow (sqrt 1.0) 2))))) (+ (* 1/2 (* (pow x 2) (* (pow (sqrt 1.0) 2) (exp (* -1 (pow (sqrt 1.0) 2)))))) (exp (* -1 (pow (sqrt 1.0) 2))))) (exp (* (sqrt 1.0) (- x (sqrt 1.0)))) (exp (* -1 (* (- (sqrt 1.0) x) (sqrt 1.0)))) (- (+ (pow x 2) (+ (* 1/2 (* (pow x 2) (pow (sqrt 1.0) 2))) 1)) (* x (sqrt 1.0))) (exp (* x (- x (sqrt 1.0)))) (exp (* -1 (* (- (sqrt 1.0) x) x))) (+ (* 1/2 (* (pow x 4) (exp (* -1 (pow (sqrt 1.0) 2))))) (+ (* (pow x 2) (exp (* -1 (pow (sqrt 1.0) 2)))) (exp (* -1 (pow (sqrt 1.0) 2))))) (* (exp (* (sqrt 1.0) (- x (sqrt 1.0)))) (exp (* x (- x (sqrt 1.0))))) (* (exp (* -1 (* (- (sqrt 1.0) x) (sqrt 1.0)))) (exp (* -1 (* (- (sqrt 1.0) x) x)))) 6.285 * * [simplify]: iteration 0 : 159 enodes (cost 1807 ) 6.317 * * [simplify]: iteration 1 : 365 enodes (cost 1575 ) 6.420 * * [simplify]: iteration 2 : 1204 enodes (cost 1481 ) 7.000 * * [simplify]: iteration done : 5000 enodes (cost 1437 ) 7.001 * [simplify]: Simplified to: (- (* x (sqrt 1.0)) 1.0) (- (* x (sqrt 1.0)) 1.0) (- x (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (- x (sqrt 1.0))) (* (sqrt (cbrt 1.0)) (- x (sqrt 1.0))) (* (sqrt (sqrt 1.0)) (- x (sqrt 1.0))) (- (* x (sqrt 1.0)) 1.0) (* (sqrt (sqrt 1.0)) (- x (sqrt 1.0))) (- (* x (sqrt 1.0)) 1.0) (pow (exp (sqrt 1.0)) x) (pow (exp (sqrt 1.0)) (sqrt 1.0)) (pow (exp (sqrt 1.0)) (* (cbrt (- x (sqrt 1.0))) (cbrt (- x (sqrt 1.0))))) (pow (exp (sqrt 1.0)) (sqrt (- x (sqrt 1.0)))) (exp (sqrt 1.0)) (pow (exp (sqrt 1.0)) (+ (sqrt x) (sqrt (sqrt 1.0)))) (pow (exp (sqrt 1.0)) (+ (sqrt x) (sqrt (sqrt 1.0)))) (exp (sqrt 1.0)) (pow (exp (sqrt 1.0)) x) (exp (- 1.0)) (pow (exp (sqrt 1.0)) x) (exp (- 1.0)) (pow (* (cbrt (exp (sqrt 1.0))) (cbrt (exp (sqrt 1.0)))) (- x (sqrt 1.0))) (pow (cbrt (exp (sqrt 1.0))) (- x (sqrt 1.0))) (pow (sqrt (exp (sqrt 1.0))) (- x (sqrt 1.0))) (pow (sqrt (exp (sqrt 1.0))) (- x (sqrt 1.0))) 1 (exp (- (* x (sqrt 1.0)) 1.0)) (- (* x (sqrt 1.0)) 1.0) (exp (exp (- (* x (sqrt 1.0)) 1.0))) (* (cbrt (exp (- (* x (sqrt 1.0)) 1.0))) (cbrt (exp (- (* x (sqrt 1.0)) 1.0)))) (cbrt (exp (- (* x (sqrt 1.0)) 1.0))) (pow (exp (- (* x (sqrt 1.0)) 1.0)) 3) (sqrt (exp (- (* x (sqrt 1.0)) 1.0))) (sqrt (exp (- (* x (sqrt 1.0)) 1.0))) (pow (exp (sqrt 1.0)) (/ (- x (sqrt 1.0)) 2)) (pow (exp (sqrt 1.0)) (/ (- x (sqrt 1.0)) 2)) (* (- x (sqrt 1.0)) x) (* (- x (sqrt 1.0)) x) (- x (sqrt 1.0)) (* (cbrt x) (- x (sqrt 1.0))) (* (sqrt x) (- x (sqrt 1.0))) (* (- x (sqrt 1.0)) x) (pow (exp x) x) (pow (exp x) (sqrt 1.0)) (pow (exp x) (* (cbrt (- x (sqrt 1.0))) (cbrt (- x (sqrt 1.0))))) (pow (exp x) (sqrt (- x (sqrt 1.0)))) (exp x) (pow (exp x) (+ (sqrt x) (sqrt (sqrt 1.0)))) (pow (exp x) (+ (sqrt x) (sqrt (sqrt 1.0)))) (exp x) (pow (exp x) x) (pow (exp x) (- (sqrt 1.0))) (pow (exp x) x) (pow (exp x) (- (sqrt 1.0))) (pow (* (cbrt (exp x)) (cbrt (exp x))) (- x (sqrt 1.0))) (pow (cbrt (exp x)) (- x (sqrt 1.0))) (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (sqrt (exp x)) (- x (sqrt 1.0))) 1 (pow (exp (- x (sqrt 1.0))) x) (* (- x (sqrt 1.0)) x) (exp (pow (exp x) (- x (sqrt 1.0)))) (* (cbrt (pow (exp x) (- x (sqrt 1.0)))) (cbrt (pow (exp x) (- x (sqrt 1.0))))) (cbrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp (* x (- x (sqrt 1.0)))) 3) (sqrt (pow (exp x) (- x (sqrt 1.0)))) (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (exp (+ x (sqrt 1.0))) (* (- x (sqrt 1.0)) (+ x (sqrt 1.0))) (* (- x (sqrt 1.0)) (+ x (sqrt 1.0))) (* (- x (sqrt 1.0)) (+ x (sqrt 1.0))) (* (- x (sqrt 1.0)) (+ x (sqrt 1.0))) (* (- x (sqrt 1.0)) (+ x (sqrt 1.0))) (* (- x (sqrt 1.0)) (+ x (sqrt 1.0))) (* (- x (sqrt 1.0)) (+ x (sqrt 1.0))) (* (- x (sqrt 1.0)) (+ x (sqrt 1.0))) (* (- x (sqrt 1.0)) (+ x (sqrt 1.0))) (* (- x (sqrt 1.0)) (+ x (sqrt 1.0))) (exp (exp (* (- x (sqrt 1.0)) (+ x (sqrt 1.0))))) (pow (exp (* (- x (sqrt 1.0)) (+ x (sqrt 1.0)))) 3) (* (cbrt (exp (* (- x (sqrt 1.0)) (+ x (sqrt 1.0))))) (cbrt (exp (* (- x (sqrt 1.0)) (+ x (sqrt 1.0)))))) (cbrt (exp (* (- x (sqrt 1.0)) (+ x (sqrt 1.0))))) (pow (exp (* (- x (sqrt 1.0)) (+ x (sqrt 1.0)))) 3) (sqrt (exp (* (- x (sqrt 1.0)) (+ x (sqrt 1.0))))) (sqrt (exp (* (- x (sqrt 1.0)) (+ x (sqrt 1.0))))) (* (pow (exp x) x) (pow (exp (sqrt 1.0)) x)) (* (pow (exp x) (sqrt 1.0)) (pow (exp (sqrt 1.0)) (sqrt 1.0))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (sqrt (exp (sqrt 1.0))) (- x (sqrt 1.0)))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (sqrt (exp (sqrt 1.0))) (- x (sqrt 1.0)))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (sqrt (exp (- (* x (sqrt 1.0)) 1.0)))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (sqrt (exp (- (* x (sqrt 1.0)) 1.0)))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (/ (- x (sqrt 1.0)) 2))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (/ (- x (sqrt 1.0)) 2))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (sqrt (exp (sqrt 1.0))) (- x (sqrt 1.0)))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (sqrt (exp (sqrt 1.0))) (- x (sqrt 1.0)))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (sqrt (exp (- (* x (sqrt 1.0)) 1.0)))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (sqrt (exp (- (* x (sqrt 1.0)) 1.0)))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp (sqrt 1.0)) (/ (- x (sqrt 1.0)) 2))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp (sqrt 1.0)) (/ (- x (sqrt 1.0)) 2))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (sqrt (exp (sqrt 1.0))) (- x (sqrt 1.0)))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (sqrt (exp (sqrt 1.0))) (- x (sqrt 1.0)))) (* (sqrt (exp (- (* x (sqrt 1.0)) 1.0))) (pow (exp x) (/ (- x (sqrt 1.0)) 2))) (* (sqrt (exp (- (* x (sqrt 1.0)) 1.0))) (pow (exp x) (/ (- x (sqrt 1.0)) 2))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (exp (sqrt 1.0)) (/ (- x (sqrt 1.0)) 2))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (exp (sqrt 1.0)) (/ (- x (sqrt 1.0)) 2))) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (* (pow (exp x) (- x (sqrt 1.0))) (pow (* (cbrt (exp (sqrt 1.0))) (cbrt (exp (sqrt 1.0)))) (- x (sqrt 1.0)))) (* (pow (exp x) (- x (sqrt 1.0))) (pow (sqrt (exp (sqrt 1.0))) (- x (sqrt 1.0)))) (pow (exp (- x (sqrt 1.0))) x) (* (pow (exp (- x (sqrt 1.0))) x) (* (cbrt (exp (- (* x (sqrt 1.0)) 1.0))) (cbrt (exp (- (* x (sqrt 1.0)) 1.0))))) (* (sqrt (exp (- (* x (sqrt 1.0)) 1.0))) (pow (exp (- x (sqrt 1.0))) x)) (pow (exp (- x (sqrt 1.0))) x) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (/ (- x (sqrt 1.0)) 2))) (* (exp (- (* x (sqrt 1.0)) 1.0)) (pow (exp x) (- (sqrt 1.0)))) (* (exp (- (* x (sqrt 1.0)) 1.0)) (pow (exp x) (- (sqrt 1.0)))) (* (pow (cbrt (exp x)) (- x (sqrt 1.0))) (exp (- (* x (sqrt 1.0)) 1.0))) (* (exp (- (* x (sqrt 1.0)) 1.0)) (pow (sqrt (exp x)) (- x (sqrt 1.0)))) (exp (* (- x (sqrt 1.0)) (+ x (sqrt 1.0)))) (* (cbrt (pow (exp x) (- x (sqrt 1.0)))) (exp (- (* x (sqrt 1.0)) 1.0))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (exp (- (* x (sqrt 1.0)) 1.0))) (exp (* (- x (sqrt 1.0)) (+ x (sqrt 1.0)))) (* (exp (- (* x (sqrt 1.0)) 1.0)) (pow (exp x) (/ (- x (sqrt 1.0)) 2))) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (* (pow (exp x) x) (exp (- (* x (sqrt 1.0)) 1.0))) (+ (exp (- 1.0)) (* (exp (- 1.0)) (+ (* x (sqrt 1.0)) (* 1.0 (* 1/2 (pow x 2)))))) (exp (- (* x (sqrt 1.0)) 1.0)) (exp (- (- 1.0 (* x (sqrt 1.0))))) (+ (+ (* 1.0 (* 1/2 (pow x 2))) 1) (* x (- x (sqrt 1.0)))) (pow (exp (- x (sqrt 1.0))) x) (exp (- (* (- (sqrt 1.0) x) x))) (* (exp (- 1.0)) (+ (* 1/2 (pow x 4)) (+ (pow x 2) 1))) (exp (* (- x (sqrt 1.0)) (+ x (sqrt 1.0)))) (exp (* (- (- (sqrt 1.0) x)) (+ x (sqrt 1.0)))) 7.002 * * * [progress]: adding candidates to table 7.299 * * [progress]: iteration 4 / 4 7.299 * * * [progress]: picking best candidate 7.305 * * * * [pick]: Picked # 7.305 * * * [progress]: localizing error 7.326 * * * [progress]: generating rewritten candidates 7.326 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 7.332 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 7.342 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 7.356 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 7.365 * * * [progress]: generating series expansions 7.366 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 7.366 * [approximate]: Taking taylor expansion of (pow (exp x) (- x (sqrt 1.0))) in (x) around 0 7.366 * [taylor]: Taking taylor expansion of (pow (exp x) (- x (sqrt 1.0))) in x 7.366 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp x)))) in x 7.366 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp x))) in x 7.366 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 7.366 * [taylor]: Taking taylor expansion of x in x 7.367 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.367 * [taylor]: Taking taylor expansion of 1.0 in x 7.367 * [taylor]: Taking taylor expansion of (log (exp x)) in x 7.367 * [taylor]: Taking taylor expansion of (exp x) in x 7.367 * [taylor]: Taking taylor expansion of x in x 7.374 * [taylor]: Taking taylor expansion of (pow (exp x) (- x (sqrt 1.0))) in x 7.374 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp x)))) in x 7.374 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp x))) in x 7.374 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 7.374 * [taylor]: Taking taylor expansion of x in x 7.374 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.374 * [taylor]: Taking taylor expansion of 1.0 in x 7.375 * [taylor]: Taking taylor expansion of (log (exp x)) in x 7.375 * [taylor]: Taking taylor expansion of (exp x) in x 7.375 * [taylor]: Taking taylor expansion of x in x 7.397 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0))) in (x) around 0 7.397 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0))) in x 7.397 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x))))) in x 7.397 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x)))) in x 7.397 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 7.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.397 * [taylor]: Taking taylor expansion of x in x 7.397 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.397 * [taylor]: Taking taylor expansion of 1.0 in x 7.398 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 7.398 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.398 * [taylor]: Taking taylor expansion of x in x 7.399 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0))) in x 7.399 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x))))) in x 7.399 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x)))) in x 7.399 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 7.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.399 * [taylor]: Taking taylor expansion of x in x 7.399 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.399 * [taylor]: Taking taylor expansion of 1.0 in x 7.400 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 7.400 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.400 * [taylor]: Taking taylor expansion of x in x 7.402 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) in (x) around 0 7.402 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) in x 7.402 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x))))) in x 7.402 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x)))) in x 7.402 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 7.402 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 7.403 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.403 * [taylor]: Taking taylor expansion of 1.0 in x 7.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.403 * [taylor]: Taking taylor expansion of x in x 7.404 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 7.404 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.404 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.404 * [taylor]: Taking taylor expansion of -1 in x 7.404 * [taylor]: Taking taylor expansion of x in x 7.405 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) in x 7.405 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x))))) in x 7.405 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x)))) in x 7.405 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 7.405 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 7.405 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.405 * [taylor]: Taking taylor expansion of 1.0 in x 7.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.406 * [taylor]: Taking taylor expansion of x in x 7.406 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 7.406 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.406 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.406 * [taylor]: Taking taylor expansion of -1 in x 7.406 * [taylor]: Taking taylor expansion of x in x 7.408 * * * * [progress]: [ 2 / 4 ] generating series at (2) 7.411 * [approximate]: Taking taylor expansion of (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (pow (exp (sqrt 1.0)) (sqrt 1.0))) in (x) around 0 7.411 * [taylor]: Taking taylor expansion of (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (pow (exp (sqrt 1.0)) (sqrt 1.0))) in x 7.411 * [taylor]: Taking taylor expansion of (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) in x 7.411 * [taylor]: Taking taylor expansion of (pow (exp x) (- x (sqrt 1.0))) in x 7.411 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp x)))) in x 7.411 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp x))) in x 7.411 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 7.411 * [taylor]: Taking taylor expansion of x in x 7.411 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.411 * [taylor]: Taking taylor expansion of 1.0 in x 7.412 * [taylor]: Taking taylor expansion of (log (exp x)) in x 7.412 * [taylor]: Taking taylor expansion of (exp x) in x 7.412 * [taylor]: Taking taylor expansion of x in x 7.423 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) x) in x 7.423 * [taylor]: Taking taylor expansion of (exp (* x (log (exp (sqrt 1.0))))) in x 7.423 * [taylor]: Taking taylor expansion of (* x (log (exp (sqrt 1.0)))) in x 7.423 * [taylor]: Taking taylor expansion of x in x 7.423 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 7.423 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 7.423 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.423 * [taylor]: Taking taylor expansion of 1.0 in x 7.428 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (sqrt 1.0)) in x 7.428 * [taylor]: Taking taylor expansion of (exp (* (sqrt 1.0) (log (exp (sqrt 1.0))))) in x 7.428 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (log (exp (sqrt 1.0)))) in x 7.428 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.428 * [taylor]: Taking taylor expansion of 1.0 in x 7.429 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 7.429 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 7.429 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.429 * [taylor]: Taking taylor expansion of 1.0 in x 7.435 * [taylor]: Taking taylor expansion of (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (pow (exp (sqrt 1.0)) (sqrt 1.0))) in x 7.435 * [taylor]: Taking taylor expansion of (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) in x 7.435 * [taylor]: Taking taylor expansion of (pow (exp x) (- x (sqrt 1.0))) in x 7.435 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp x)))) in x 7.435 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp x))) in x 7.435 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 7.435 * [taylor]: Taking taylor expansion of x in x 7.435 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.435 * [taylor]: Taking taylor expansion of 1.0 in x 7.436 * [taylor]: Taking taylor expansion of (log (exp x)) in x 7.436 * [taylor]: Taking taylor expansion of (exp x) in x 7.436 * [taylor]: Taking taylor expansion of x in x 7.441 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) x) in x 7.441 * [taylor]: Taking taylor expansion of (exp (* x (log (exp (sqrt 1.0))))) in x 7.442 * [taylor]: Taking taylor expansion of (* x (log (exp (sqrt 1.0)))) in x 7.442 * [taylor]: Taking taylor expansion of x in x 7.442 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 7.442 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 7.442 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.442 * [taylor]: Taking taylor expansion of 1.0 in x 7.447 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (sqrt 1.0)) in x 7.447 * [taylor]: Taking taylor expansion of (exp (* (sqrt 1.0) (log (exp (sqrt 1.0))))) in x 7.447 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (log (exp (sqrt 1.0)))) in x 7.447 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.447 * [taylor]: Taking taylor expansion of 1.0 in x 7.448 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 7.448 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 7.448 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.448 * [taylor]: Taking taylor expansion of 1.0 in x 7.647 * [approximate]: Taking taylor expansion of (/ (* (pow (exp (sqrt 1.0)) (/ 1 x)) (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0)))) (pow (exp (sqrt 1.0)) (sqrt 1.0))) in (x) around 0 7.647 * [taylor]: Taking taylor expansion of (/ (* (pow (exp (sqrt 1.0)) (/ 1 x)) (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0)))) (pow (exp (sqrt 1.0)) (sqrt 1.0))) in x 7.648 * [taylor]: Taking taylor expansion of (* (pow (exp (sqrt 1.0)) (/ 1 x)) (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0)))) in x 7.648 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (/ 1 x)) in x 7.648 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (exp (sqrt 1.0))))) in x 7.648 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (exp (sqrt 1.0)))) in x 7.648 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.648 * [taylor]: Taking taylor expansion of x in x 7.648 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 7.648 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 7.648 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.648 * [taylor]: Taking taylor expansion of 1.0 in x 7.652 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0))) in x 7.652 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x))))) in x 7.652 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x)))) in x 7.652 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 7.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.652 * [taylor]: Taking taylor expansion of x in x 7.652 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.652 * [taylor]: Taking taylor expansion of 1.0 in x 7.653 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 7.653 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.653 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.653 * [taylor]: Taking taylor expansion of x in x 7.654 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (sqrt 1.0)) in x 7.654 * [taylor]: Taking taylor expansion of (exp (* (sqrt 1.0) (log (exp (sqrt 1.0))))) in x 7.654 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (log (exp (sqrt 1.0)))) in x 7.654 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.654 * [taylor]: Taking taylor expansion of 1.0 in x 7.655 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 7.655 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 7.655 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.655 * [taylor]: Taking taylor expansion of 1.0 in x 7.660 * [taylor]: Taking taylor expansion of (/ (* (pow (exp (sqrt 1.0)) (/ 1 x)) (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0)))) (pow (exp (sqrt 1.0)) (sqrt 1.0))) in x 7.661 * [taylor]: Taking taylor expansion of (* (pow (exp (sqrt 1.0)) (/ 1 x)) (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0)))) in x 7.661 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (/ 1 x)) in x 7.661 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (exp (sqrt 1.0))))) in x 7.661 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (exp (sqrt 1.0)))) in x 7.661 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.661 * [taylor]: Taking taylor expansion of x in x 7.661 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 7.661 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 7.661 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.661 * [taylor]: Taking taylor expansion of 1.0 in x 7.670 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0))) in x 7.671 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x))))) in x 7.671 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x)))) in x 7.671 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 7.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.671 * [taylor]: Taking taylor expansion of x in x 7.671 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.671 * [taylor]: Taking taylor expansion of 1.0 in x 7.672 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 7.672 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.672 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.672 * [taylor]: Taking taylor expansion of x in x 7.673 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (sqrt 1.0)) in x 7.673 * [taylor]: Taking taylor expansion of (exp (* (sqrt 1.0) (log (exp (sqrt 1.0))))) in x 7.673 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (log (exp (sqrt 1.0)))) in x 7.673 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.673 * [taylor]: Taking taylor expansion of 1.0 in x 7.673 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 7.674 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 7.674 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.674 * [taylor]: Taking taylor expansion of 1.0 in x 7.790 * [approximate]: Taking taylor expansion of (/ (* (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) (pow (exp (sqrt 1.0)) (/ -1 x))) (pow (exp (sqrt 1.0)) (sqrt 1.0))) in (x) around 0 7.790 * [taylor]: Taking taylor expansion of (/ (* (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) (pow (exp (sqrt 1.0)) (/ -1 x))) (pow (exp (sqrt 1.0)) (sqrt 1.0))) in x 7.790 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) (pow (exp (sqrt 1.0)) (/ -1 x))) in x 7.790 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) in x 7.790 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x))))) in x 7.790 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x)))) in x 7.790 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 7.790 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 7.790 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.790 * [taylor]: Taking taylor expansion of 1.0 in x 7.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.791 * [taylor]: Taking taylor expansion of x in x 7.791 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 7.791 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.791 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.791 * [taylor]: Taking taylor expansion of -1 in x 7.791 * [taylor]: Taking taylor expansion of x in x 7.793 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (/ -1 x)) in x 7.793 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (exp (sqrt 1.0))))) in x 7.793 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (exp (sqrt 1.0)))) in x 7.793 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.793 * [taylor]: Taking taylor expansion of -1 in x 7.793 * [taylor]: Taking taylor expansion of x in x 7.793 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 7.793 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 7.793 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.793 * [taylor]: Taking taylor expansion of 1.0 in x 7.797 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (sqrt 1.0)) in x 7.797 * [taylor]: Taking taylor expansion of (exp (* (sqrt 1.0) (log (exp (sqrt 1.0))))) in x 7.797 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (log (exp (sqrt 1.0)))) in x 7.797 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.797 * [taylor]: Taking taylor expansion of 1.0 in x 7.798 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 7.798 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 7.798 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.798 * [taylor]: Taking taylor expansion of 1.0 in x 7.804 * [taylor]: Taking taylor expansion of (/ (* (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) (pow (exp (sqrt 1.0)) (/ -1 x))) (pow (exp (sqrt 1.0)) (sqrt 1.0))) in x 7.804 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) (pow (exp (sqrt 1.0)) (/ -1 x))) in x 7.804 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) in x 7.804 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x))))) in x 7.804 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x)))) in x 7.804 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 7.804 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 7.804 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.804 * [taylor]: Taking taylor expansion of 1.0 in x 7.805 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.805 * [taylor]: Taking taylor expansion of x in x 7.805 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 7.805 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.805 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.805 * [taylor]: Taking taylor expansion of -1 in x 7.805 * [taylor]: Taking taylor expansion of x in x 7.806 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (/ -1 x)) in x 7.807 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (exp (sqrt 1.0))))) in x 7.807 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (exp (sqrt 1.0)))) in x 7.807 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.807 * [taylor]: Taking taylor expansion of -1 in x 7.807 * [taylor]: Taking taylor expansion of x in x 7.807 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 7.807 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 7.807 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.807 * [taylor]: Taking taylor expansion of 1.0 in x 7.811 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (sqrt 1.0)) in x 7.811 * [taylor]: Taking taylor expansion of (exp (* (sqrt 1.0) (log (exp (sqrt 1.0))))) in x 7.811 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (log (exp (sqrt 1.0)))) in x 7.811 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.811 * [taylor]: Taking taylor expansion of 1.0 in x 7.811 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 7.811 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 7.812 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.812 * [taylor]: Taking taylor expansion of 1.0 in x 7.933 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 7.934 * [approximate]: Taking taylor expansion of (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) in (x) around 0 7.934 * [taylor]: Taking taylor expansion of (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) in x 7.934 * [taylor]: Taking taylor expansion of (pow (exp x) (- x (sqrt 1.0))) in x 7.934 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp x)))) in x 7.934 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp x))) in x 7.934 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 7.934 * [taylor]: Taking taylor expansion of x in x 7.934 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.934 * [taylor]: Taking taylor expansion of 1.0 in x 7.935 * [taylor]: Taking taylor expansion of (log (exp x)) in x 7.935 * [taylor]: Taking taylor expansion of (exp x) in x 7.935 * [taylor]: Taking taylor expansion of x in x 7.941 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) x) in x 7.941 * [taylor]: Taking taylor expansion of (exp (* x (log (exp (sqrt 1.0))))) in x 7.941 * [taylor]: Taking taylor expansion of (* x (log (exp (sqrt 1.0)))) in x 7.941 * [taylor]: Taking taylor expansion of x in x 7.941 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 7.941 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 7.941 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.941 * [taylor]: Taking taylor expansion of 1.0 in x 7.947 * [taylor]: Taking taylor expansion of (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) in x 7.947 * [taylor]: Taking taylor expansion of (pow (exp x) (- x (sqrt 1.0))) in x 7.947 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp x)))) in x 7.947 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp x))) in x 7.947 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 7.947 * [taylor]: Taking taylor expansion of x in x 7.947 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.947 * [taylor]: Taking taylor expansion of 1.0 in x 7.948 * [taylor]: Taking taylor expansion of (log (exp x)) in x 7.948 * [taylor]: Taking taylor expansion of (exp x) in x 7.948 * [taylor]: Taking taylor expansion of x in x 7.953 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) x) in x 7.953 * [taylor]: Taking taylor expansion of (exp (* x (log (exp (sqrt 1.0))))) in x 7.953 * [taylor]: Taking taylor expansion of (* x (log (exp (sqrt 1.0)))) in x 7.953 * [taylor]: Taking taylor expansion of x in x 7.953 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 7.953 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 7.953 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 7.953 * [taylor]: Taking taylor expansion of 1.0 in x 8.103 * [approximate]: Taking taylor expansion of (* (pow (exp (sqrt 1.0)) (/ 1 x)) (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0)))) in (x) around 0 8.103 * [taylor]: Taking taylor expansion of (* (pow (exp (sqrt 1.0)) (/ 1 x)) (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0)))) in x 8.103 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (/ 1 x)) in x 8.103 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (exp (sqrt 1.0))))) in x 8.103 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (exp (sqrt 1.0)))) in x 8.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.103 * [taylor]: Taking taylor expansion of x in x 8.103 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 8.103 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 8.103 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 8.104 * [taylor]: Taking taylor expansion of 1.0 in x 8.107 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0))) in x 8.107 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x))))) in x 8.107 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x)))) in x 8.107 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 8.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.107 * [taylor]: Taking taylor expansion of x in x 8.108 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 8.108 * [taylor]: Taking taylor expansion of 1.0 in x 8.108 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 8.108 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.108 * [taylor]: Taking taylor expansion of x in x 8.109 * [taylor]: Taking taylor expansion of (* (pow (exp (sqrt 1.0)) (/ 1 x)) (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0)))) in x 8.109 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (/ 1 x)) in x 8.109 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (exp (sqrt 1.0))))) in x 8.109 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (exp (sqrt 1.0)))) in x 8.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.109 * [taylor]: Taking taylor expansion of x in x 8.110 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 8.110 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 8.110 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 8.110 * [taylor]: Taking taylor expansion of 1.0 in x 8.113 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) (- (/ 1 x) (sqrt 1.0))) in x 8.113 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x))))) in x 8.113 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (/ 1 x)))) in x 8.113 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 8.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.113 * [taylor]: Taking taylor expansion of x in x 8.114 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 8.114 * [taylor]: Taking taylor expansion of 1.0 in x 8.114 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 8.114 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.114 * [taylor]: Taking taylor expansion of x in x 8.126 * [approximate]: Taking taylor expansion of (* (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) (pow (exp (sqrt 1.0)) (/ -1 x))) in (x) around 0 8.126 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) (pow (exp (sqrt 1.0)) (/ -1 x))) in x 8.126 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) in x 8.126 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x))))) in x 8.126 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x)))) in x 8.126 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 8.126 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 8.126 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 8.126 * [taylor]: Taking taylor expansion of 1.0 in x 8.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.126 * [taylor]: Taking taylor expansion of x in x 8.127 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 8.127 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.127 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.127 * [taylor]: Taking taylor expansion of -1 in x 8.127 * [taylor]: Taking taylor expansion of x in x 8.128 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (/ -1 x)) in x 8.128 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (exp (sqrt 1.0))))) in x 8.128 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (exp (sqrt 1.0)))) in x 8.128 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.128 * [taylor]: Taking taylor expansion of -1 in x 8.128 * [taylor]: Taking taylor expansion of x in x 8.129 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 8.129 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 8.129 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 8.129 * [taylor]: Taking taylor expansion of 1.0 in x 8.132 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) (pow (exp (sqrt 1.0)) (/ -1 x))) in x 8.132 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) (- (+ (sqrt 1.0) (/ 1 x)))) in x 8.132 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x))))) in x 8.132 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (/ -1 x)))) in x 8.132 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 8.132 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 8.132 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 8.132 * [taylor]: Taking taylor expansion of 1.0 in x 8.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.133 * [taylor]: Taking taylor expansion of x in x 8.133 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 8.133 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.133 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.133 * [taylor]: Taking taylor expansion of -1 in x 8.133 * [taylor]: Taking taylor expansion of x in x 8.135 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (/ -1 x)) in x 8.135 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (exp (sqrt 1.0))))) in x 8.135 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (exp (sqrt 1.0)))) in x 8.135 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.135 * [taylor]: Taking taylor expansion of -1 in x 8.135 * [taylor]: Taking taylor expansion of x in x 8.135 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 8.135 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 8.135 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 8.135 * [taylor]: Taking taylor expansion of 1.0 in x 8.148 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 8.149 * [approximate]: Taking taylor expansion of (pow (exp (sqrt 1.0)) x) in (x) around 0 8.149 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) x) in x 8.149 * [taylor]: Taking taylor expansion of (exp (* x (log (exp (sqrt 1.0))))) in x 8.149 * [taylor]: Taking taylor expansion of (* x (log (exp (sqrt 1.0)))) in x 8.149 * [taylor]: Taking taylor expansion of x in x 8.149 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 8.149 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 8.149 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 8.149 * [taylor]: Taking taylor expansion of 1.0 in x 8.159 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) x) in x 8.159 * [taylor]: Taking taylor expansion of (exp (* x (log (exp (sqrt 1.0))))) in x 8.159 * [taylor]: Taking taylor expansion of (* x (log (exp (sqrt 1.0)))) in x 8.159 * [taylor]: Taking taylor expansion of x in x 8.159 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 8.159 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 8.159 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 8.159 * [taylor]: Taking taylor expansion of 1.0 in x 8.178 * [approximate]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (/ 1 x)) in (x) around 0 8.179 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (/ 1 x)) in x 8.179 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (exp (sqrt 1.0))))) in x 8.179 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (exp (sqrt 1.0)))) in x 8.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.179 * [taylor]: Taking taylor expansion of x in x 8.179 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 8.179 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 8.179 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 8.179 * [taylor]: Taking taylor expansion of 1.0 in x 8.182 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (/ 1 x)) in x 8.183 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (exp (sqrt 1.0))))) in x 8.183 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (exp (sqrt 1.0)))) in x 8.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.183 * [taylor]: Taking taylor expansion of x in x 8.183 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 8.183 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 8.183 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 8.183 * [taylor]: Taking taylor expansion of 1.0 in x 8.188 * [approximate]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (/ -1 x)) in (x) around 0 8.188 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (/ -1 x)) in x 8.188 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (exp (sqrt 1.0))))) in x 8.188 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (exp (sqrt 1.0)))) in x 8.188 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.188 * [taylor]: Taking taylor expansion of -1 in x 8.188 * [taylor]: Taking taylor expansion of x in x 8.188 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 8.188 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 8.188 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 8.188 * [taylor]: Taking taylor expansion of 1.0 in x 8.192 * [taylor]: Taking taylor expansion of (pow (exp (sqrt 1.0)) (/ -1 x)) in x 8.192 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (exp (sqrt 1.0))))) in x 8.192 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (exp (sqrt 1.0)))) in x 8.192 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.192 * [taylor]: Taking taylor expansion of -1 in x 8.192 * [taylor]: Taking taylor expansion of x in x 8.192 * [taylor]: Taking taylor expansion of (log (exp (sqrt 1.0))) in x 8.192 * [taylor]: Taking taylor expansion of (exp (sqrt 1.0)) in x 8.192 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 8.192 * [taylor]: Taking taylor expansion of 1.0 in x 8.197 * * * [progress]: simplifying candidates 8.199 * [simplify]: Simplifying using # : (* x (- x (sqrt 1.0))) (* (log (exp x)) (- x (sqrt 1.0))) (* 1 (- x (sqrt 1.0))) (* (cbrt x) (- x (sqrt 1.0))) (* (sqrt x) (- x (sqrt 1.0))) (* x (- x (sqrt 1.0))) (pow (exp x) x) (pow (exp x) (sqrt 1.0)) (pow (exp x) (* (cbrt (- x (sqrt 1.0))) (cbrt (- x (sqrt 1.0))))) (pow (exp x) (sqrt (- x (sqrt 1.0)))) (pow (exp x) 1) (pow (exp x) (+ (sqrt x) (sqrt (sqrt 1.0)))) (pow (exp x) (+ (sqrt x) (sqrt (sqrt 1.0)))) (pow (exp x) 1) (pow (exp x) x) (pow (exp x) (- (sqrt 1.0))) (pow (exp x) x) (pow (exp x) (- (sqrt 1.0))) (pow (* (cbrt (exp x)) (cbrt (exp x))) (- x (sqrt 1.0))) (pow (cbrt (exp x)) (- x (sqrt 1.0))) (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow 1 (- x (sqrt 1.0))) (pow (exp x) (- x (sqrt 1.0))) (log (pow (exp x) (- x (sqrt 1.0)))) (exp (pow (exp x) (- x (sqrt 1.0)))) (* (cbrt (pow (exp x) (- x (sqrt 1.0)))) (cbrt (pow (exp x) (- x (sqrt 1.0))))) (cbrt (pow (exp x) (- x (sqrt 1.0)))) (* (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp x) (- x (sqrt 1.0)))) (pow (exp x) (- x (sqrt 1.0)))) (sqrt (pow (exp x) (- x (sqrt 1.0)))) (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (- (+ (* x (- x (sqrt 1.0))) (* (sqrt 1.0) x)) (* (sqrt 1.0) (sqrt 1.0))) (- (+ (* x (- x (sqrt 1.0))) (* (sqrt 1.0) x)) (* (log (exp (sqrt 1.0))) (sqrt 1.0))) (- (+ (* x (- x (sqrt 1.0))) (* (sqrt 1.0) x)) (log (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (- (+ (* x (- x (sqrt 1.0))) (* (log (exp (sqrt 1.0))) x)) (* (sqrt 1.0) (sqrt 1.0))) (- (+ (* x (- x (sqrt 1.0))) (* (log (exp (sqrt 1.0))) x)) (* (log (exp (sqrt 1.0))) (sqrt 1.0))) (- (+ (* x (- x (sqrt 1.0))) (* (log (exp (sqrt 1.0))) x)) (log (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (- (+ (* x (- x (sqrt 1.0))) (log (pow (exp (sqrt 1.0)) x))) (* (sqrt 1.0) (sqrt 1.0))) (- (+ (* x (- x (sqrt 1.0))) (log (pow (exp (sqrt 1.0)) x))) (* (log (exp (sqrt 1.0))) (sqrt 1.0))) (- (+ (* x (- x (sqrt 1.0))) (log (pow (exp (sqrt 1.0)) x))) (log (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (- (+ (* (log (exp x)) (- x (sqrt 1.0))) (* (sqrt 1.0) x)) (* (sqrt 1.0) (sqrt 1.0))) (- (+ (* (log (exp x)) (- x (sqrt 1.0))) (* (sqrt 1.0) x)) (* (log (exp (sqrt 1.0))) (sqrt 1.0))) (- (+ (* (log (exp x)) (- x (sqrt 1.0))) (* (sqrt 1.0) x)) (log (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (- (+ (* (log (exp x)) (- x (sqrt 1.0))) (* (log (exp (sqrt 1.0))) x)) (* (sqrt 1.0) (sqrt 1.0))) (- (+ (* (log (exp x)) (- x (sqrt 1.0))) (* (log (exp (sqrt 1.0))) x)) (* (log (exp (sqrt 1.0))) (sqrt 1.0))) (- (+ (* (log (exp x)) (- x (sqrt 1.0))) (* (log (exp (sqrt 1.0))) x)) (log (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (- (+ (* (log (exp x)) (- x (sqrt 1.0))) (log (pow (exp (sqrt 1.0)) x))) (* (sqrt 1.0) (sqrt 1.0))) (- (+ (* (log (exp x)) (- x (sqrt 1.0))) (log (pow (exp (sqrt 1.0)) x))) (* (log (exp (sqrt 1.0))) (sqrt 1.0))) (- (+ (* (log (exp x)) (- x (sqrt 1.0))) (log (pow (exp (sqrt 1.0)) x))) (log (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (- (+ (log (pow (exp x) (- x (sqrt 1.0)))) (* (sqrt 1.0) x)) (* (sqrt 1.0) (sqrt 1.0))) (- (+ (log (pow (exp x) (- x (sqrt 1.0)))) (* (sqrt 1.0) x)) (* (log (exp (sqrt 1.0))) (sqrt 1.0))) (- (+ (log (pow (exp x) (- x (sqrt 1.0)))) (* (sqrt 1.0) x)) (log (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (- (+ (log (pow (exp x) (- x (sqrt 1.0)))) (* (log (exp (sqrt 1.0))) x)) (* (sqrt 1.0) (sqrt 1.0))) (- (+ (log (pow (exp x) (- x (sqrt 1.0)))) (* (log (exp (sqrt 1.0))) x)) (* (log (exp (sqrt 1.0))) (sqrt 1.0))) (- (+ (log (pow (exp x) (- x (sqrt 1.0)))) (* (log (exp (sqrt 1.0))) x)) (log (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (- (+ (log (pow (exp x) (- x (sqrt 1.0)))) (log (pow (exp (sqrt 1.0)) x))) (* (sqrt 1.0) (sqrt 1.0))) (- (+ (log (pow (exp x) (- x (sqrt 1.0)))) (log (pow (exp (sqrt 1.0)) x))) (* (log (exp (sqrt 1.0))) (sqrt 1.0))) (- (+ (log (pow (exp x) (- x (sqrt 1.0)))) (log (pow (exp (sqrt 1.0)) x))) (log (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (- (log (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x))) (* (sqrt 1.0) (sqrt 1.0))) (- (log (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x))) (* (log (exp (sqrt 1.0))) (sqrt 1.0))) (- (log (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x))) (log (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (log (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (exp (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (/ (* (* (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp x) (- x (sqrt 1.0)))) (pow (exp x) (- x (sqrt 1.0)))) (* (* (pow (exp (sqrt 1.0)) x) (pow (exp (sqrt 1.0)) x)) (pow (exp (sqrt 1.0)) x))) (* (* (pow (exp (sqrt 1.0)) (sqrt 1.0)) (pow (exp (sqrt 1.0)) (sqrt 1.0))) (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (/ (* (* (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x))) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x))) (* (* (pow (exp (sqrt 1.0)) (sqrt 1.0)) (pow (exp (sqrt 1.0)) (sqrt 1.0))) (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (* (cbrt (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (cbrt (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (pow (exp (sqrt 1.0)) (sqrt 1.0))))) (cbrt (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (* (* (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (pow (exp (sqrt 1.0)) (sqrt 1.0))) (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (sqrt (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (sqrt (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (- (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x))) (- (pow (exp (sqrt 1.0)) (sqrt 1.0))) (/ (pow (exp x) (- x (sqrt 1.0))) (pow (* (cbrt (exp (sqrt 1.0))) (cbrt (exp (sqrt 1.0)))) (sqrt 1.0))) (/ (pow (exp (sqrt 1.0)) x) (pow (cbrt (exp (sqrt 1.0))) (sqrt 1.0))) (/ (pow (exp x) (- x (sqrt 1.0))) (pow (sqrt (exp (sqrt 1.0))) (sqrt 1.0))) (/ (pow (exp (sqrt 1.0)) x) (pow (sqrt (exp (sqrt 1.0))) (sqrt 1.0))) (/ (pow (exp x) (- x (sqrt 1.0))) (pow 1 (sqrt 1.0))) (/ (pow (exp (sqrt 1.0)) x) (pow (exp (sqrt 1.0)) (sqrt 1.0))) (/ (pow (exp x) (- x (sqrt 1.0))) (* (cbrt (pow (exp (sqrt 1.0)) (sqrt 1.0))) (cbrt (pow (exp (sqrt 1.0)) (sqrt 1.0))))) (/ (pow (exp (sqrt 1.0)) x) (cbrt (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (/ (pow (exp x) (- x (sqrt 1.0))) (sqrt (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (/ (pow (exp (sqrt 1.0)) x) (sqrt (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (/ (pow (exp x) (- x (sqrt 1.0))) 1) (/ (pow (exp (sqrt 1.0)) x) (pow (exp (sqrt 1.0)) (sqrt 1.0))) (/ (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (/ (sqrt 1.0) 2))) (/ (pow (exp (sqrt 1.0)) x) (pow (exp (sqrt 1.0)) (/ (sqrt 1.0) 2))) (/ 1 (pow (exp (sqrt 1.0)) (sqrt 1.0))) (/ (pow (exp (sqrt 1.0)) (sqrt 1.0)) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x))) (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (pow (* (cbrt (exp (sqrt 1.0))) (cbrt (exp (sqrt 1.0)))) (sqrt 1.0))) (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (pow (sqrt (exp (sqrt 1.0))) (sqrt 1.0))) (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (pow 1 (sqrt 1.0))) (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (* (cbrt (pow (exp (sqrt 1.0)) (sqrt 1.0))) (cbrt (pow (exp (sqrt 1.0)) (sqrt 1.0))))) (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (sqrt (pow (exp (sqrt 1.0)) (sqrt 1.0)))) (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) 1) (/ (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (pow (exp (sqrt 1.0)) (/ (sqrt 1.0) 2))) (/ (pow (exp (sqrt 1.0)) (sqrt 1.0)) (pow (exp (sqrt 1.0)) x)) (* (pow (exp (sqrt 1.0)) (sqrt 1.0)) (pow (exp x) (sqrt 1.0))) (+ (* x (- x (sqrt 1.0))) (* (sqrt 1.0) x)) (+ (* x (- x (sqrt 1.0))) (* (log (exp (sqrt 1.0))) x)) (+ (* x (- x (sqrt 1.0))) (log (pow (exp (sqrt 1.0)) x))) (+ (* (log (exp x)) (- x (sqrt 1.0))) (* (sqrt 1.0) x)) (+ (* (log (exp x)) (- x (sqrt 1.0))) (* (log (exp (sqrt 1.0))) x)) (+ (* (log (exp x)) (- x (sqrt 1.0))) (log (pow (exp (sqrt 1.0)) x))) (+ (log (pow (exp x) (- x (sqrt 1.0)))) (* (sqrt 1.0) x)) (+ (log (pow (exp x) (- x (sqrt 1.0)))) (* (log (exp (sqrt 1.0))) x)) (+ (log (pow (exp x) (- x (sqrt 1.0)))) (log (pow (exp (sqrt 1.0)) x))) (log (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x))) (exp (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x))) (* (* (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp x) (- x (sqrt 1.0)))) (pow (exp x) (- x (sqrt 1.0)))) (* (* (pow (exp (sqrt 1.0)) x) (pow (exp (sqrt 1.0)) x)) (pow (exp (sqrt 1.0)) x))) (* (cbrt (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x))) (cbrt (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)))) (cbrt (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x))) (* (* (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x))) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x))) (sqrt (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x))) (sqrt (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (sqrt (exp (sqrt 1.0))) x)) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (sqrt (exp (sqrt 1.0))) x)) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (sqrt (pow (exp (sqrt 1.0)) x))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (sqrt (pow (exp (sqrt 1.0)) x))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (/ x 2))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (/ x 2))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (sqrt (exp (sqrt 1.0))) x)) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (sqrt (exp (sqrt 1.0))) x)) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (sqrt (pow (exp (sqrt 1.0)) x))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (sqrt (pow (exp (sqrt 1.0)) x))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp (sqrt 1.0)) (/ x 2))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp (sqrt 1.0)) (/ x 2))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (sqrt (exp (sqrt 1.0))) x)) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (sqrt (exp (sqrt 1.0))) x)) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (sqrt (pow (exp (sqrt 1.0)) x))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (sqrt (pow (exp (sqrt 1.0)) x))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (exp (sqrt 1.0)) (/ x 2))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (exp (sqrt 1.0)) (/ x 2))) (* (pow (exp x) (- x (sqrt 1.0))) (pow (* (cbrt (exp (sqrt 1.0))) (cbrt (exp (sqrt 1.0)))) x)) (* (pow (exp x) (- x (sqrt 1.0))) (pow (sqrt (exp (sqrt 1.0))) x)) (* (pow (exp x) (- x (sqrt 1.0))) (pow 1 x)) (* (pow (exp x) (- x (sqrt 1.0))) (* (cbrt (pow (exp (sqrt 1.0)) x)) (cbrt (pow (exp (sqrt 1.0)) x)))) (* (pow (exp x) (- x (sqrt 1.0))) (sqrt (pow (exp (sqrt 1.0)) x))) (* (pow (exp x) (- x (sqrt 1.0))) 1) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (/ x 2))) (* (pow (exp x) (- (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (* (pow (exp x) (- (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (* (pow (cbrt (exp x)) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (* (cbrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp (sqrt 1.0)) x)) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp (sqrt 1.0)) x)) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (exp (sqrt 1.0)) x)) (* (pow (exp x) x) (pow (exp (sqrt 1.0)) x)) (* (sqrt 1.0) x) (* (log (exp (sqrt 1.0))) x) (* 1 x) (* (cbrt (sqrt 1.0)) x) (* (sqrt (cbrt 1.0)) x) (* (sqrt (sqrt 1.0)) x) (* (sqrt 1.0) x) (* (sqrt (sqrt 1.0)) x) (* (sqrt 1.0) x) (pow (exp (sqrt 1.0)) (* (cbrt x) (cbrt x))) (pow (exp (sqrt 1.0)) (sqrt x)) (pow (exp (sqrt 1.0)) 1) (pow (* (cbrt (exp (sqrt 1.0))) (cbrt (exp (sqrt 1.0)))) x) (pow (cbrt (exp (sqrt 1.0))) x) (pow (sqrt (exp (sqrt 1.0))) x) (pow (sqrt (exp (sqrt 1.0))) x) (pow 1 x) (pow (exp (sqrt 1.0)) x) (log (pow (exp (sqrt 1.0)) x)) (exp (pow (exp (sqrt 1.0)) x)) (* (cbrt (pow (exp (sqrt 1.0)) x)) (cbrt (pow (exp (sqrt 1.0)) x))) (cbrt (pow (exp (sqrt 1.0)) x)) (* (* (pow (exp (sqrt 1.0)) x) (pow (exp (sqrt 1.0)) x)) (pow (exp (sqrt 1.0)) x)) (sqrt (pow (exp (sqrt 1.0)) x)) (sqrt (pow (exp (sqrt 1.0)) x)) (pow (exp (sqrt 1.0)) (/ x 2)) (pow (exp (sqrt 1.0)) (/ x 2)) (- (+ (pow x 2) (+ (* 1/2 (* (pow x 2) (pow (sqrt 1.0) 2))) 1)) (* x (sqrt 1.0))) (exp (* x (- x (sqrt 1.0)))) (exp (* -1 (* (- (sqrt 1.0) x) x))) (+ (* 1/2 (/ (pow x 4) (exp (pow (sqrt 1.0) 2)))) (+ (/ 1 (exp (pow (sqrt 1.0) 2))) (/ (pow x 2) (exp (pow (sqrt 1.0) 2))))) (/ (* (exp (* x (- x (sqrt 1.0)))) (exp (* x (sqrt 1.0)))) (exp (pow (sqrt 1.0) 2))) (/ (* (exp (* -1 (* (- (sqrt 1.0) x) x))) (exp (* x (sqrt 1.0)))) (exp (pow (sqrt 1.0) 2))) (+ (pow x 2) (+ (* 1/2 (pow x 4)) 1)) (* (exp (* x (- x (sqrt 1.0)))) (exp (* x (sqrt 1.0)))) (* (exp (* x (sqrt 1.0))) (exp (* -1 (* (- (sqrt 1.0) x) x)))) (+ (* x (sqrt 1.0)) (+ (* 1/2 (* (pow x 2) (pow (sqrt 1.0) 2))) 1)) (exp (* x (sqrt 1.0))) (exp (* x (sqrt 1.0))) 8.206 * * [simplify]: iteration 0 : 233 enodes (cost 2818 ) 8.261 * * [simplify]: iteration 1 : 541 enodes (cost 2492 ) 8.449 * * [simplify]: iteration 2 : 1787 enodes (cost 1989 ) 8.828 * * [simplify]: iteration done : 5000 enodes (cost 1989 ) 8.829 * [simplify]: Simplified to: (* (- x (sqrt 1.0)) x) (* (- x (sqrt 1.0)) x) (- x (sqrt 1.0)) (* (cbrt x) (- x (sqrt 1.0))) (* (sqrt x) (- x (sqrt 1.0))) (* (- x (sqrt 1.0)) x) (pow (exp x) x) (pow (exp (sqrt 1.0)) x) (pow (exp x) (* (cbrt (- x (sqrt 1.0))) (cbrt (- x (sqrt 1.0))))) (pow (exp x) (sqrt (- x (sqrt 1.0)))) (exp x) (pow (exp x) (+ (sqrt x) (sqrt (sqrt 1.0)))) (pow (exp x) (+ (sqrt x) (sqrt (sqrt 1.0)))) (exp x) (pow (exp x) x) (pow (exp x) (- (sqrt 1.0))) (pow (exp x) x) (pow (exp x) (- (sqrt 1.0))) (pow (* (cbrt (exp x)) (cbrt (exp x))) (- x (sqrt 1.0))) (pow (cbrt (exp x)) (- x (sqrt 1.0))) (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (sqrt (exp x)) (- x (sqrt 1.0))) 1 (exp (* x (- x (sqrt 1.0)))) (* (- x (sqrt 1.0)) x) (exp (pow (exp x) (- x (sqrt 1.0)))) (* (cbrt (pow (exp x) (- x (sqrt 1.0)))) (cbrt (pow (exp x) (- x (sqrt 1.0))))) (cbrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp (* x (- x (sqrt 1.0)))) 3) (sqrt (pow (exp x) (- x (sqrt 1.0)))) (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0) (exp (exp (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0))) (pow (exp (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0)) 3) (pow (exp (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0)) 3) (* (cbrt (exp (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0))) (cbrt (exp (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0)))) (cbrt (exp (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0))) (pow (exp (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0)) 3) (sqrt (exp (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0))) (sqrt (exp (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0))) (- (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))))) (- (exp 1.0)) (/ (pow (exp x) (- x (sqrt 1.0))) (pow (* (cbrt (exp (sqrt 1.0))) (cbrt (exp (sqrt 1.0)))) (sqrt 1.0))) (/ (pow (exp (sqrt 1.0)) x) (pow (cbrt (exp (sqrt 1.0))) (sqrt 1.0))) (/ (pow (exp x) (- x (sqrt 1.0))) (pow (sqrt (exp (sqrt 1.0))) (sqrt 1.0))) (/ (pow (exp (sqrt 1.0)) x) (pow (sqrt (exp (sqrt 1.0))) (sqrt 1.0))) (exp (* x (- x (sqrt 1.0)))) (/ (pow (exp (sqrt 1.0)) x) (exp 1.0)) (/ (exp (* x (- x (sqrt 1.0)))) (* (cbrt (exp 1.0)) (cbrt (exp 1.0)))) (/ (pow (exp (sqrt 1.0)) x) (cbrt (exp 1.0))) (/ (exp (* x (- x (sqrt 1.0)))) (sqrt (exp 1.0))) (/ (pow (exp (sqrt 1.0)) x) (sqrt (exp 1.0))) (exp (* x (- x (sqrt 1.0)))) (/ (pow (exp (sqrt 1.0)) x) (exp 1.0)) (/ (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (/ (sqrt 1.0) 2))) (/ (pow (exp (sqrt 1.0)) x) (pow (exp (sqrt 1.0)) (/ (sqrt 1.0) 2))) (exp (- 1.0)) (/ (exp 1.0) (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))))) (/ (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0))))) (pow (* (cbrt (exp (sqrt 1.0))) (cbrt (exp (sqrt 1.0)))) (sqrt 1.0))) (/ (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0))))) (pow (sqrt (exp (sqrt 1.0))) (sqrt 1.0))) (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0))))) (/ (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0))))) (* (cbrt (exp 1.0)) (cbrt (exp 1.0)))) (/ (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0))))) (sqrt (exp 1.0))) (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0))))) (/ (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0))))) (pow (exp (sqrt 1.0)) (/ (sqrt 1.0) 2))) (exp (- 1.0 (* (sqrt 1.0) x))) (* (exp 1.0) (pow (exp (sqrt 1.0)) x)) (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) (exp (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))))) (pow (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0))))) 3) (* (cbrt (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))))) (cbrt (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0))))))) (cbrt (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))))) (pow (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0))))) 3) (sqrt (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))))) (sqrt (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (sqrt (exp (sqrt 1.0))) x)) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (sqrt (exp (sqrt 1.0))) x)) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (sqrt (pow (exp (sqrt 1.0)) x))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (sqrt (pow (exp (sqrt 1.0)) x))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (/ x 2))) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (/ x 2))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (sqrt (exp (sqrt 1.0))) x)) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (sqrt (exp (sqrt 1.0))) x)) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (sqrt (pow (exp (sqrt 1.0)) x))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (sqrt (pow (exp (sqrt 1.0)) x))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp (sqrt 1.0)) (/ x 2))) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp (sqrt 1.0)) (/ x 2))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (sqrt (exp (sqrt 1.0))) x)) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (sqrt (exp (sqrt 1.0))) x)) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (sqrt (pow (exp (sqrt 1.0)) x))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (sqrt (pow (exp (sqrt 1.0)) x))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (exp (sqrt 1.0)) (/ x 2))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (exp (sqrt 1.0)) (/ x 2))) (* (pow (exp x) (- x (sqrt 1.0))) (pow (* (cbrt (exp (sqrt 1.0))) (cbrt (exp (sqrt 1.0)))) x)) (* (pow (exp x) (- x (sqrt 1.0))) (pow (sqrt (exp (sqrt 1.0))) x)) (exp (* x (- x (sqrt 1.0)))) (* (pow (exp x) (- x (sqrt 1.0))) (* (cbrt (pow (exp (sqrt 1.0)) x)) (cbrt (pow (exp (sqrt 1.0)) x)))) (* (pow (exp x) (- x (sqrt 1.0))) (sqrt (pow (exp (sqrt 1.0)) x))) (exp (* x (- x (sqrt 1.0)))) (* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (/ x 2))) (* (pow (exp x) (- (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (* (pow (exp x) (- (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (* (pow (cbrt (exp x)) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (* (pow (sqrt (exp x)) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) x)) (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0))))) (* (cbrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp (sqrt 1.0)) x)) (* (sqrt (pow (exp x) (- x (sqrt 1.0)))) (pow (exp (sqrt 1.0)) x)) (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0))))) (* (pow (exp x) (/ (- x (sqrt 1.0)) 2)) (pow (exp (sqrt 1.0)) x)) (* (pow (exp x) x) (pow (exp (sqrt 1.0)) x)) (* (sqrt 1.0) x) (* (sqrt 1.0) x) x (* (cbrt (sqrt 1.0)) x) (* (sqrt (cbrt 1.0)) x) (* (sqrt (sqrt 1.0)) x) (* (sqrt 1.0) x) (* (sqrt (sqrt 1.0)) x) (* (sqrt 1.0) x) (pow (exp (sqrt 1.0)) (* (cbrt x) (cbrt x))) (pow (exp (sqrt 1.0)) (sqrt x)) (exp (sqrt 1.0)) (pow (* (cbrt (exp (sqrt 1.0))) (cbrt (exp (sqrt 1.0)))) x) (pow (cbrt (exp (sqrt 1.0))) x) (pow (sqrt (exp (sqrt 1.0))) x) (pow (sqrt (exp (sqrt 1.0))) x) 1 (pow (exp (sqrt 1.0)) x) (* (sqrt 1.0) x) (exp (pow (exp (sqrt 1.0)) x)) (* (cbrt (pow (exp (sqrt 1.0)) x)) (cbrt (pow (exp (sqrt 1.0)) x))) (cbrt (pow (exp (sqrt 1.0)) x)) (pow (pow (exp (sqrt 1.0)) x) 3) (sqrt (pow (exp (sqrt 1.0)) x)) (sqrt (pow (exp (sqrt 1.0)) x)) (pow (exp (sqrt 1.0)) (/ x 2)) (pow (exp (sqrt 1.0)) (/ x 2)) (+ (+ 1 (* 1/2 (* 1.0 (pow x 2)))) (* x (- x (sqrt 1.0)))) (exp (* x (- x (sqrt 1.0)))) (exp (- (* (- (sqrt 1.0) x) x))) (+ (+ (/ (pow x 2) (exp 1.0)) (exp (- 1.0))) (/ (* 1/2 (pow x 4)) (exp 1.0))) (exp (- (* x (+ (sqrt 1.0) (- x (sqrt 1.0)))) 1.0)) (exp (- (- (* (sqrt 1.0) x) (* (- (sqrt 1.0) x) x)) 1.0)) (+ (pow x 2) (+ (* 1/2 (pow x 4)) 1)) (exp (* x (+ (sqrt 1.0) (- x (sqrt 1.0))))) (exp (- (* (sqrt 1.0) x) (* (- (sqrt 1.0) x) x))) (+ (+ 1 (* 1/2 (* 1.0 (pow x 2)))) (* (sqrt 1.0) x)) (pow (exp (sqrt 1.0)) x) (pow (exp (sqrt 1.0)) x) 8.830 * * * [progress]: adding candidates to table 9.236 * [progress]: [Phase 3 of 3] Extracting. 9.236 * * [regime]: Finding splitpoints for: (# # #) 9.236 * * * [regime-changes]: Trying 1 branch expressions: (x) 9.236 * * * * [regimes]: Trying to branch on x from (# # #) 9.250 * * * [regime]: Found split indices: #