15.022 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.010 * * * [progress]: [2/2] Setting up program. 0.012 * [progress]: [Phase 2 of 3] Improving. 0.013 * [simplify]: Simplifying using # : (/ 2.0 (+ (exp x) (exp (- x)))) 0.013 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.014 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 0.016 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 0.017 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 0.018 * * [simplify]: iteration 4 : 15 enodes (cost 8 ) 0.020 * * [simplify]: iteration 5 : 21 enodes (cost 8 ) 0.024 * * [simplify]: iteration 6 : 32 enodes (cost 8 ) 0.033 * * [simplify]: iteration 7 : 53 enodes (cost 8 ) 0.060 * * [simplify]: iteration 8 : 143 enodes (cost 8 ) 0.350 * * [simplify]: iteration 9 : 1450 enodes (cost 8 ) 31.202 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 31.202 * [simplify]: Simplified to: (/ 2.0 (+ (exp x) (exp (- x)))) 31.203 * * [progress]: iteration 1 / 4 31.203 * * * [progress]: picking best candidate 31.204 * * * * [pick]: Picked # 31.204 * * * [progress]: localizing error 31.211 * * * [progress]: generating rewritten candidates 31.211 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 31.222 * * * [progress]: generating series expansions 31.222 * * * * [progress]: [ 1 / 1 ] generating series at (2) 31.222 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in (x) around 0 31.222 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x 31.222 * [taylor]: Taking taylor expansion of 2.0 in x 31.222 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 31.222 * [taylor]: Taking taylor expansion of (exp x) in x 31.222 * [taylor]: Taking taylor expansion of x in x 31.222 * [taylor]: Taking taylor expansion of (exp (- x)) in x 31.222 * [taylor]: Taking taylor expansion of (- x) in x 31.222 * [taylor]: Taking taylor expansion of x in x 31.224 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x 31.224 * [taylor]: Taking taylor expansion of 2.0 in x 31.224 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 31.224 * [taylor]: Taking taylor expansion of (exp x) in x 31.224 * [taylor]: Taking taylor expansion of x in x 31.224 * [taylor]: Taking taylor expansion of (exp (- x)) in x 31.224 * [taylor]: Taking taylor expansion of (- x) in x 31.224 * [taylor]: Taking taylor expansion of x in x 31.251 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 31.251 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 31.251 * [taylor]: Taking taylor expansion of 2.0 in x 31.251 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 31.251 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 31.251 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.251 * [taylor]: Taking taylor expansion of x in x 31.252 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 31.252 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 31.252 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.252 * [taylor]: Taking taylor expansion of x in x 31.252 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 31.252 * [taylor]: Taking taylor expansion of 2.0 in x 31.252 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 31.252 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 31.252 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.252 * [taylor]: Taking taylor expansion of x in x 31.253 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 31.253 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 31.253 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.253 * [taylor]: Taking taylor expansion of x in x 31.258 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 31.258 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 31.259 * [taylor]: Taking taylor expansion of 2.0 in x 31.259 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 31.259 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 31.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.259 * [taylor]: Taking taylor expansion of x in x 31.259 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 31.259 * [taylor]: Taking taylor expansion of (/ -1 x) in x 31.259 * [taylor]: Taking taylor expansion of -1 in x 31.259 * [taylor]: Taking taylor expansion of x in x 31.260 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 31.260 * [taylor]: Taking taylor expansion of 2.0 in x 31.260 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 31.260 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 31.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.260 * [taylor]: Taking taylor expansion of x in x 31.260 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 31.260 * [taylor]: Taking taylor expansion of (/ -1 x) in x 31.260 * [taylor]: Taking taylor expansion of -1 in x 31.260 * [taylor]: Taking taylor expansion of x in x 31.265 * * * [progress]: simplifying candidates 31.266 * [simplify]: Simplifying using # : (- (log 2.0) (log (+ (exp x) (exp (- x))))) (log (/ 2.0 (+ (exp x) (exp (- x))))) (exp (/ 2.0 (+ (exp x) (exp (- x))))) (/ (* (* 2.0 2.0) 2.0) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))) (* (cbrt (/ 2.0 (+ (exp x) (exp (- x))))) (cbrt (/ 2.0 (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (+ (exp x) (exp (- x))))) (* (* (/ 2.0 (+ (exp x) (exp (- x)))) (/ 2.0 (+ (exp x) (exp (- x))))) (/ 2.0 (+ (exp x) (exp (- x))))) (sqrt (/ 2.0 (+ (exp x) (exp (- x))))) (sqrt (/ 2.0 (+ (exp x) (exp (- x))))) (- 2.0) (- (+ (exp x) (exp (- x)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt 2.0) (cbrt (+ (exp x) (exp (- x))))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ (exp x) (exp (- x))))) (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (/ (cbrt 2.0) (+ (exp x) (exp (- x)))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (/ (cbrt 2.0) (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) 1) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) 1) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ 2.0 (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (/ 1 1) (/ 2.0 (+ (exp x) (exp (- x)))) (/ 1 1) (/ 2.0 (+ (exp x) (exp (- x)))) (/ 1 (+ (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) 2.0) (/ 2.0 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (/ 2.0 1) (/ 2.0 1) (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) 2.0) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ 2.0 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) (/ 2.0 (+ (exp x) (exp (- x)))) (/ 2.0 (+ (exp (* -1 x)) (exp x))) 31.268 * * [simplify]: iteration 0 : 78 enodes (cost 492 ) 31.280 * * [simplify]: iteration 1 : 167 enodes (cost 472 ) 31.316 * * [simplify]: iteration 2 : 503 enodes (cost 438 ) 31.483 * * [simplify]: iteration 3 : 2067 enodes (cost 437 ) 32.517 * * [simplify]: iteration done : 5000 enodes (cost 437 ) 32.518 * [simplify]: Simplified to: (log (/ 2.0 (+ (exp x) (exp (- x))))) (log (/ 2.0 (+ (exp x) (exp (- x))))) (exp (/ 2.0 (+ (exp x) (exp (- x))))) (pow (/ 2.0 (+ (exp (- x)) (exp x))) 3) (* (cbrt (/ 2.0 (+ (exp x) (exp (- x))))) (cbrt (/ 2.0 (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (+ (exp x) (exp (- x))))) (pow (/ 2.0 (+ (exp (- x)) (exp x))) 3) (sqrt (/ 2.0 (+ (exp x) (exp (- x))))) (sqrt (/ 2.0 (+ (exp x) (exp (- x))))) (- 2.0) (- (+ (exp x) (exp (- x)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt 2.0) (cbrt (+ (exp x) (exp (- x))))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ (exp x) (exp (- x))))) (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (* (cbrt 2.0) (cbrt 2.0)) (/ (cbrt 2.0) (+ (exp x) (exp (- x)))) (* (cbrt 2.0) (cbrt 2.0)) (/ (cbrt 2.0) (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))) (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ 2.0 (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) 1 (/ 2.0 (+ (exp (- x)) (exp x))) 1 (/ 2.0 (+ (exp (- x)) (exp x))) (/ 1 (+ (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) 2.0) (/ 2.0 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) 2.0 2.0 (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) 2.0) (/ 2.0 (+ (pow (exp x) 3) (exp (* x -3)))) (/ 2.0 (- (exp (+ x x)) (exp (* x -2)))) (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) (/ 2.0 (+ (exp (- x)) (exp x))) (/ 2.0 (+ (exp (- x)) (exp x))) 32.518 * * * [progress]: adding candidates to table 32.596 * * [progress]: iteration 2 / 4 32.596 * * * [progress]: picking best candidate 32.600 * * * * [pick]: Picked # 32.600 * * * [progress]: localizing error 32.609 * * * [progress]: generating rewritten candidates 32.609 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 32.621 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 32.629 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 32.638 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 32.692 * * * [progress]: generating series expansions 32.692 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 32.692 * [approximate]: Taking taylor expansion of (* 2.0 (sqrt (/ 1 (+ (exp x) (exp (- x)))))) in (x) around 0 32.692 * [taylor]: Taking taylor expansion of (* 2.0 (sqrt (/ 1 (+ (exp x) (exp (- x)))))) in x 32.692 * [taylor]: Taking taylor expansion of 2.0 in x 32.692 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (exp x) (exp (- x))))) in x 32.692 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp x) (exp (- x)))) in x 32.692 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 32.692 * [taylor]: Taking taylor expansion of (exp x) in x 32.692 * [taylor]: Taking taylor expansion of x in x 32.692 * [taylor]: Taking taylor expansion of (exp (- x)) in x 32.692 * [taylor]: Taking taylor expansion of (- x) in x 32.692 * [taylor]: Taking taylor expansion of x in x 32.696 * [taylor]: Taking taylor expansion of (* 2.0 (sqrt (/ 1 (+ (exp x) (exp (- x)))))) in x 32.696 * [taylor]: Taking taylor expansion of 2.0 in x 32.696 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (exp x) (exp (- x))))) in x 32.696 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp x) (exp (- x)))) in x 32.696 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 32.696 * [taylor]: Taking taylor expansion of (exp x) in x 32.696 * [taylor]: Taking taylor expansion of x in x 32.696 * [taylor]: Taking taylor expansion of (exp (- x)) in x 32.696 * [taylor]: Taking taylor expansion of (- x) in x 32.696 * [taylor]: Taking taylor expansion of x in x 32.745 * [approximate]: Taking taylor expansion of (* 2.0 (sqrt (/ 1 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) in (x) around 0 32.745 * [taylor]: Taking taylor expansion of (* 2.0 (sqrt (/ 1 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) in x 32.745 * [taylor]: Taking taylor expansion of 2.0 in x 32.745 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 32.745 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 32.745 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 32.745 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.745 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.745 * [taylor]: Taking taylor expansion of x in x 32.745 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 32.745 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 32.745 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.745 * [taylor]: Taking taylor expansion of x in x 32.751 * [taylor]: Taking taylor expansion of (* 2.0 (sqrt (/ 1 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) in x 32.751 * [taylor]: Taking taylor expansion of 2.0 in x 32.751 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 32.751 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 32.751 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 32.751 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.751 * [taylor]: Taking taylor expansion of x in x 32.752 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 32.752 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 32.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.752 * [taylor]: Taking taylor expansion of x in x 32.766 * [approximate]: Taking taylor expansion of (* 2.0 (sqrt (/ 1 (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in (x) around 0 32.766 * [taylor]: Taking taylor expansion of (* 2.0 (sqrt (/ 1 (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in x 32.766 * [taylor]: Taking taylor expansion of 2.0 in x 32.766 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 32.766 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 32.766 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 32.766 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.766 * [taylor]: Taking taylor expansion of x in x 32.767 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 32.767 * [taylor]: Taking taylor expansion of (/ -1 x) in x 32.767 * [taylor]: Taking taylor expansion of -1 in x 32.767 * [taylor]: Taking taylor expansion of x in x 32.768 * [taylor]: Taking taylor expansion of (* 2.0 (sqrt (/ 1 (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in x 32.768 * [taylor]: Taking taylor expansion of 2.0 in x 32.768 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 32.768 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 32.768 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 32.768 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.768 * [taylor]: Taking taylor expansion of x in x 32.768 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 32.768 * [taylor]: Taking taylor expansion of (/ -1 x) in x 32.768 * [taylor]: Taking taylor expansion of -1 in x 32.768 * [taylor]: Taking taylor expansion of x in x 32.782 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 32.782 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) (exp (- x)))) in (x) around 0 32.782 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) (exp (- x)))) in x 32.782 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 32.782 * [taylor]: Taking taylor expansion of (exp x) in x 32.782 * [taylor]: Taking taylor expansion of x in x 32.782 * [taylor]: Taking taylor expansion of (exp (- x)) in x 32.782 * [taylor]: Taking taylor expansion of (- x) in x 32.782 * [taylor]: Taking taylor expansion of x in x 32.785 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) (exp (- x)))) in x 32.785 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 32.785 * [taylor]: Taking taylor expansion of (exp x) in x 32.785 * [taylor]: Taking taylor expansion of x in x 32.785 * [taylor]: Taking taylor expansion of (exp (- x)) in x 32.785 * [taylor]: Taking taylor expansion of (- x) in x 32.785 * [taylor]: Taking taylor expansion of x in x 32.816 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 32.816 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 32.816 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 32.816 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.816 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.817 * [taylor]: Taking taylor expansion of x in x 32.817 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 32.817 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 32.817 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.817 * [taylor]: Taking taylor expansion of x in x 32.818 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 32.818 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 32.818 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.818 * [taylor]: Taking taylor expansion of x in x 32.818 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 32.818 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 32.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.818 * [taylor]: Taking taylor expansion of x in x 32.824 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 32.824 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 32.824 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 32.824 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.824 * [taylor]: Taking taylor expansion of x in x 32.824 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 32.824 * [taylor]: Taking taylor expansion of (/ -1 x) in x 32.824 * [taylor]: Taking taylor expansion of -1 in x 32.824 * [taylor]: Taking taylor expansion of x in x 32.825 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 32.825 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 32.825 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.825 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.825 * [taylor]: Taking taylor expansion of x in x 32.825 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 32.825 * [taylor]: Taking taylor expansion of (/ -1 x) in x 32.825 * [taylor]: Taking taylor expansion of -1 in x 32.825 * [taylor]: Taking taylor expansion of x in x 32.830 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 32.831 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) (exp (- x)))) in (x) around 0 32.831 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) (exp (- x)))) in x 32.831 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 32.831 * [taylor]: Taking taylor expansion of (exp x) in x 32.831 * [taylor]: Taking taylor expansion of x in x 32.831 * [taylor]: Taking taylor expansion of (exp (- x)) in x 32.831 * [taylor]: Taking taylor expansion of (- x) in x 32.831 * [taylor]: Taking taylor expansion of x in x 32.837 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) (exp (- x)))) in x 32.837 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 32.837 * [taylor]: Taking taylor expansion of (exp x) in x 32.837 * [taylor]: Taking taylor expansion of x in x 32.837 * [taylor]: Taking taylor expansion of (exp (- x)) in x 32.837 * [taylor]: Taking taylor expansion of (- x) in x 32.837 * [taylor]: Taking taylor expansion of x in x 32.869 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 32.869 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 32.869 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 32.869 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.869 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.869 * [taylor]: Taking taylor expansion of x in x 32.869 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 32.869 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 32.869 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.869 * [taylor]: Taking taylor expansion of x in x 32.870 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 32.870 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 32.870 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.870 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.870 * [taylor]: Taking taylor expansion of x in x 32.870 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 32.871 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 32.871 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.871 * [taylor]: Taking taylor expansion of x in x 32.876 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 32.876 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 32.876 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 32.876 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.876 * [taylor]: Taking taylor expansion of x in x 32.876 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 32.876 * [taylor]: Taking taylor expansion of (/ -1 x) in x 32.876 * [taylor]: Taking taylor expansion of -1 in x 32.876 * [taylor]: Taking taylor expansion of x in x 32.877 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 32.877 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 32.877 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.877 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.877 * [taylor]: Taking taylor expansion of x in x 32.878 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 32.878 * [taylor]: Taking taylor expansion of (/ -1 x) in x 32.878 * [taylor]: Taking taylor expansion of -1 in x 32.878 * [taylor]: Taking taylor expansion of x in x 32.883 * * * * [progress]: [ 4 / 4 ] generating series at (2) 32.883 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in (x) around 0 32.883 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x 32.883 * [taylor]: Taking taylor expansion of 2.0 in x 32.883 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 32.883 * [taylor]: Taking taylor expansion of (exp x) in x 32.883 * [taylor]: Taking taylor expansion of x in x 32.883 * [taylor]: Taking taylor expansion of (exp (- x)) in x 32.883 * [taylor]: Taking taylor expansion of (- x) in x 32.883 * [taylor]: Taking taylor expansion of x in x 32.884 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x 32.884 * [taylor]: Taking taylor expansion of 2.0 in x 32.884 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 32.884 * [taylor]: Taking taylor expansion of (exp x) in x 32.884 * [taylor]: Taking taylor expansion of x in x 32.884 * [taylor]: Taking taylor expansion of (exp (- x)) in x 32.884 * [taylor]: Taking taylor expansion of (- x) in x 32.884 * [taylor]: Taking taylor expansion of x in x 32.908 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 32.909 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 32.909 * [taylor]: Taking taylor expansion of 2.0 in x 32.909 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 32.909 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.909 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.909 * [taylor]: Taking taylor expansion of x in x 32.909 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 32.909 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 32.909 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.909 * [taylor]: Taking taylor expansion of x in x 32.910 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 32.910 * [taylor]: Taking taylor expansion of 2.0 in x 32.910 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 32.910 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.910 * [taylor]: Taking taylor expansion of x in x 32.910 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 32.910 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 32.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.910 * [taylor]: Taking taylor expansion of x in x 32.916 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 32.916 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 32.916 * [taylor]: Taking taylor expansion of 2.0 in x 32.916 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 32.916 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.916 * [taylor]: Taking taylor expansion of x in x 32.916 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 32.916 * [taylor]: Taking taylor expansion of (/ -1 x) in x 32.916 * [taylor]: Taking taylor expansion of -1 in x 32.916 * [taylor]: Taking taylor expansion of x in x 32.917 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 32.917 * [taylor]: Taking taylor expansion of 2.0 in x 32.917 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 32.917 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 32.917 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.917 * [taylor]: Taking taylor expansion of x in x 32.917 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 32.917 * [taylor]: Taking taylor expansion of (/ -1 x) in x 32.917 * [taylor]: Taking taylor expansion of -1 in x 32.917 * [taylor]: Taking taylor expansion of x in x 32.925 * * * [progress]: simplifying candidates 32.931 * [simplify]: Simplifying using # : (- (log 2.0) (log (sqrt (+ (exp x) (exp (- x)))))) (log (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (exp (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (/ (* (* 2.0 2.0) 2.0) (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (* (* (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (- 2.0) (- (sqrt (+ (exp x) (exp (- x))))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (cbrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt 1)) (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt 1)) (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (sqrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt 1)) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt 1)) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) 1) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ 1 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ 2.0 (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ 1 (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ 2.0 (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 1 (sqrt 1)) (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt 1)) (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 1 1) (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (/ 2.0 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ 2.0 (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 2.0 (sqrt 1)) (/ 2.0 (sqrt 1)) (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 2.0 1) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (/ 2.0 (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (/ 2.0 (sqrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))) (log (sqrt (+ (exp x) (exp (- x))))) (exp (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x))))) (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 1) (sqrt (+ (exp x) (exp (- x)))) (sqrt 1) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (sqrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (sqrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (sqrt (- (exp x) (exp (- x)))) (/ 1 2) (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x))))) (log (sqrt (+ (exp x) (exp (- x))))) (exp (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x))))) (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 1) (sqrt (+ (exp x) (exp (- x)))) (sqrt 1) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (sqrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (sqrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (sqrt (- (exp x) (exp (- x)))) (/ 1 2) (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x))))) (- (- (log 2.0) (log (sqrt (+ (exp x) (exp (- x)))))) (log (sqrt (+ (exp x) (exp (- x)))))) (- (log (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (log (sqrt (+ (exp x) (exp (- x)))))) (log (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x)))))) (exp (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (* 2.0 2.0) 2.0) (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x)))))) (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x)))))) (/ (* (* (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x)))))) (cbrt (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))))) (cbrt (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x)))))) (* (* (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x)))))) (sqrt (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x)))))) (sqrt (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x)))))) (- (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (- (sqrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (* (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (* (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (* (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) (sqrt 1)) (/ (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) (sqrt 1)) (/ (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (* (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) 1) (/ (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt 1)) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt 1)) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) 1) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt 1)) (/ (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt 1)) (/ (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) 1) (/ (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (sqrt 1)) (/ (/ (cbrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (sqrt 1)) (/ (/ (cbrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) 1) (/ (/ (cbrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt 1)) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt 1)) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) 1) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt 1)) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt 1)) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt 1)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt 1)) (sqrt 1)) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt 1)) (sqrt 1)) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt 1)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt 1)) 1) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt 1)) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt 1)) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt 1)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt 1)) (sqrt 1)) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt 1)) (sqrt 1)) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt 1)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt 1)) 1) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt 1)) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt 1)) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) 1) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (sqrt 1)) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (sqrt 1)) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) 1) 1) (/ (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt 1)) (/ (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt 1)) (/ (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) 1) (/ (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (sqrt 1)) (/ (/ (sqrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (sqrt 1)) (/ (/ (sqrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) 1) (/ (/ (sqrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt 1)) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt 1)) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) 1) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) (sqrt 1)) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt 1)) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt 1)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt 1)) (sqrt 1)) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) (sqrt 1)) (sqrt 1)) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) (sqrt 1)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt 1)) 1) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) (sqrt 1)) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt 1)) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt 1)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt 1)) (sqrt 1)) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) (sqrt 1)) (sqrt 1)) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) (sqrt 1)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt 1)) 1) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt 1)) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt 1)) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) 1) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) 1) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) 1) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) 1) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) 1) (sqrt 1)) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) 1) (sqrt 1)) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) 1) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) 1) 1) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (cbrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt 1)) (/ (/ 2.0 (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt 1)) (/ (/ 2.0 (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) 1) (/ (/ 2.0 (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (cbrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (sqrt 1)) (/ (/ 2.0 (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (sqrt 1)) (/ (/ 2.0 (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) 1) (/ (/ 2.0 (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt 1)) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt 1)) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) 1) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 (sqrt 1)) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt 1)) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt 1)) (sqrt 1)) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 (sqrt 1)) (sqrt 1)) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt 1)) 1) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 (sqrt 1)) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt 1)) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt 1)) (sqrt 1)) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 (sqrt 1)) (sqrt 1)) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt 1)) 1) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt 1)) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt 1)) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) 1) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 1) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 1) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 1 1) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 1) (sqrt 1)) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 1) (sqrt 1)) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 1 1) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 1) 1) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ 1 (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 1 (sqrt 1)) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt 1)) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 1 1) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ 2.0 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 1 (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ 2.0 (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ 1 (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 2.0 (sqrt 1)) (/ (/ 1 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ 2.0 (sqrt 1)) (/ (/ 1 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 2.0 1) (/ (/ 1 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 2.0 (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (sqrt 1)) (/ (sqrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 2.0 (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (sqrt 1)) (/ (sqrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 2.0 (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) 1) (/ (sqrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 2.0 (sqrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (- (exp x) (exp (- x)))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))) (sqrt 1)) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 2.0 (sqrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))) (sqrt 1)) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 2.0 (sqrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))) 1) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt 1)) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt 1)) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) 1) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (cbrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ 2.0 (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ 2.0 (sqrt (cbrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ 1 (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (- (+ (* 0.10416666666666667 (/ (pow x 4) (sqrt 1/2))) (* 2.0 (sqrt 1/2))) (+ (* 0.25 (/ (pow x 2) (sqrt 1/2))) (* 0.015625 (/ (pow x 4) (pow (sqrt 1/2) 3))))) (* 2.0 (sqrt (/ 1 (+ (exp x) (exp (- x)))))) (* 2.0 (sqrt (/ 1 (+ (exp (* -1 x)) (exp x))))) (- (+ (* 1/24 (/ (pow x 4) (sqrt 2))) (+ (* 1/2 (/ (pow x 2) (sqrt 2))) (sqrt 2))) (* 1/8 (/ (pow x 4) (pow (sqrt 2) 3)))) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp (* -1 x)) (exp x))) (- (+ (* 1/24 (/ (pow x 4) (sqrt 2))) (+ (* 1/2 (/ (pow x 2) (sqrt 2))) (sqrt 2))) (* 1/8 (/ (pow x 4) (pow (sqrt 2) 3)))) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp (* -1 x)) (exp x))) (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) (/ 2.0 (+ (exp x) (exp (- x)))) (/ 2.0 (+ (exp (* -1 x)) (exp x))) 32.951 * * [simplify]: iteration 0 : 338 enodes (cost 9705 ) 33.012 * * [simplify]: iteration 1 : 754 enodes (cost 8488 ) 33.178 * * [simplify]: iteration 2 : 2409 enodes (cost 7725 ) 34.029 * * [simplify]: iteration done : 5000 enodes (cost 7725 ) 34.032 * [simplify]: Simplified to: (log (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (log (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (exp (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (pow (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) 3) (* (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (pow (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) 3) (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (- 2.0) (- (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (* (cbrt 2.0) (cbrt 2.0)) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (* (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt 2.0)) (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt 2.0) (cbrt 2.0)) (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (* (cbrt 2.0) (cbrt 2.0)) (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (* (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt 2.0)) (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt 2.0) (cbrt 2.0)) (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ 1 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ 2.0 (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ 1 (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ 2.0 (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) 1 (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) 1 (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) 1 (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (/ 2.0 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ 2.0 (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) 2.0 2.0 (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) 2.0 (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (/ 2.0 (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (/ 2.0 (sqrt (- (exp (+ x x)) (exp (* x -2))))) (log (sqrt (+ (exp x) (exp (- x))))) (exp (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x))))) (pow (sqrt (+ (exp x) (exp (- x)))) 3) (fabs (cbrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x))))) 1 (sqrt (+ (exp x) (exp (- x)))) 1 (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (sqrt (- (exp (+ x x)) (exp (* x -2)))) (sqrt (- (exp x) (exp (- x)))) 1/2 (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x))))) (log (sqrt (+ (exp x) (exp (- x))))) (exp (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x))))) (pow (sqrt (+ (exp x) (exp (- x)))) 3) (fabs (cbrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x))))) 1 (sqrt (+ (exp x) (exp (- x)))) 1 (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (sqrt (- (exp (+ x x)) (exp (* x -2)))) (sqrt (- (exp x) (exp (- x)))) 1/2 (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x))))) (log (/ 2.0 (+ (exp x) (exp (- x))))) (log (/ 2.0 (+ (exp x) (exp (- x))))) (log (/ 2.0 (+ (exp x) (exp (- x))))) (exp (/ 2.0 (+ (exp x) (exp (- x))))) (pow (/ 2.0 (+ (exp x) (exp (- x)))) 3) (pow (/ 2.0 (+ (exp x) (exp (- x)))) 3) (* (cbrt (/ 2.0 (+ (exp x) (exp (- x))))) (cbrt (/ 2.0 (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (+ (exp x) (exp (- x))))) (pow (/ 2.0 (+ (exp x) (exp (- x)))) 3) (sqrt (/ 2.0 (+ (exp x) (exp (- x))))) (sqrt (/ 2.0 (+ (exp x) (exp (- x))))) (- (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (- (sqrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (* (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (* (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) (/ (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) (/ (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) (/ (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (fabs (cbrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (fabs (cbrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt 2.0) (cbrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (fabs (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (* (cbrt 2.0) (cbrt 2.0)) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (* (cbrt 2.0) (cbrt 2.0)) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (fabs (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (* (cbrt 2.0) (cbrt 2.0)) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (fabs (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0))) (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (* (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt 2.0)) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (* (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt 2.0)) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (cbrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0))) (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (* (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt 2.0)) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (* (cbrt 2.0) (cbrt 2.0)) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (* (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt 2.0)) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (* (cbrt 2.0) (cbrt 2.0)) (/ (cbrt 2.0) (+ (exp x) (exp (- x)))) (* (cbrt 2.0) (cbrt 2.0)) (/ (cbrt 2.0) (+ (exp x) (exp (- x)))) (* (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt 2.0)) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (* (cbrt 2.0) (cbrt 2.0)) (/ (cbrt 2.0) (+ (exp x) (exp (- x)))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (* (cbrt 2.0) (cbrt 2.0)) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (* (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt 2.0)) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (* (cbrt 2.0) (cbrt 2.0)) (/ (cbrt 2.0) (+ (exp x) (exp (- x)))) (* (cbrt 2.0) (cbrt 2.0)) (/ (cbrt 2.0) (+ (exp x) (exp (- x)))) (* (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt 2.0)) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (* (cbrt 2.0) (cbrt 2.0)) (/ (cbrt 2.0) (+ (exp x) (exp (- x)))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (fabs (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0))) (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (* (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt 2.0)) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (* (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt 2.0)) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (cbrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0))) (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (* (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt 2.0)) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (* (cbrt 2.0) (cbrt 2.0)) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (cbrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (* (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt 2.0)) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (* (cbrt 2.0) (cbrt 2.0)) (/ (cbrt 2.0) (+ (exp x) (exp (- x)))) (* (cbrt 2.0) (cbrt 2.0)) (/ (cbrt 2.0) (+ (exp x) (exp (- x)))) (* (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt 2.0)) (/ (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (* (cbrt 2.0) (cbrt 2.0)) (/ (cbrt 2.0) (+ (exp x) (exp (- x)))) (/ (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (cbrt (+ (exp x) (exp (- x))))) (/ (/ (sqrt 2.0) (fabs (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (fabs (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (fabs (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))) (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))) (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))) (/ (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (fabs (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))) (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))) (/ (/ 1 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ 2.0 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 1 (fabs (cbrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (cbrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ 1 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ 1 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ 1 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (fabs (cbrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (cbrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ 2.0 (cbrt (+ (exp x) (exp (- x))))) (/ (/ 1 (fabs (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 1 (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ 1 (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (fabs (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 1 (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (fabs (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ 1 (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) 1 (/ 2.0 (+ (exp x) (exp (- x)))) 1 (/ 2.0 (+ (exp x) (exp (- x)))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) 1 (/ 2.0 (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ 1 (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) 1 (/ 2.0 (+ (exp x) (exp (- x)))) 1 (/ 2.0 (+ (exp x) (exp (- x)))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) 1 (/ 2.0 (+ (exp x) (exp (- x)))) (/ (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (fabs (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (cbrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ 1 (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) 1 (/ 2.0 (+ (exp x) (exp (- x)))) 1 (/ 2.0 (+ (exp x) (exp (- x)))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) 1 (/ 2.0 (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ 1 (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) 1 (/ 2.0 (+ (exp x) (exp (- x)))) 1 (/ 2.0 (+ (exp x) (exp (- x)))) (/ 1 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) 1 (/ 2.0 (+ (exp x) (exp (- x)))) (/ 2.0 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 1 (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ 2.0 (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (+ (exp x) (exp (- x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) 2.0 (/ 1 (+ (exp x) (exp (- x)))) 2.0 (/ 1 (+ (exp x) (exp (- x)))) (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 1 (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) 2.0 (/ 1 (+ (exp x) (exp (- x)))) (/ (/ 2.0 (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 2.0 (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (/ (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (sqrt (+ (exp x) (exp (- x))))) (/ 2.0 (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (/ (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 2.0 (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 2.0 (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (/ (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 2.0 (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (sqrt (- (exp (+ x x)) (exp (* x -2))))) (/ (sqrt (- (exp x) (exp (- x)))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (- (exp (+ x x)) (exp (* x -2))))) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (- (exp (+ x x)) (exp (* x -2))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 2.0 (sqrt (- (exp (+ x x)) (exp (* x -2))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ 2.0 (sqrt (- (exp (+ x x)) (exp (* x -2))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (- (exp (+ x x)) (exp (* x -2))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (sqrt (+ (exp x) (exp (- x)))))) (/ 2.0 (sqrt (- (exp (+ x x)) (exp (* x -2))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (+ (exp x) (exp (- x))) 2.0) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (fabs (cbrt (+ (exp x) (exp (- x)))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (/ (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (+ (exp x) (exp (- x))))) (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (/ 2.0 (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (cbrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (cbrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x))))))) (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (cbrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x))))))) (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (sqrt (cbrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x))))))) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (sqrt (sqrt (+ (exp x) (exp (- x))))))) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (/ 2.0 (cbrt (sqrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ 2.0 (sqrt (cbrt (+ (exp x) (exp (- x))))))) (/ (sqrt (+ (exp x) (exp (- x)))) (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x))))))) (/ (+ (exp x) (exp (- x))) 2.0) (/ (+ (exp x) (exp (- x))) 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (/ 2.0 (sqrt (sqrt (+ (exp x) (exp (- x))))))) (/ (+ (exp x) (exp (- x))) 2.0) (/ (+ (exp x) (exp (- x))) 2.0) (+ (exp x) (exp (- x))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x)))))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x))))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (- (exp (+ x x)) (exp (* x -2))))) (+ (exp x) (exp (- x))) (- (+ (* 0.10416666666666667 (/ (pow x 4) (sqrt 1/2))) (* 2.0 (sqrt 1/2))) (+ (* 0.25 (/ (pow x 2) (sqrt 1/2))) (* 0.015625 (/ (pow x 4) (pow (sqrt 1/2) 3))))) (* 2.0 (sqrt (/ 1 (+ (exp x) (exp (- x)))))) (* 2.0 (sqrt (/ 1 (+ (exp x) (exp (- x)))))) (- (+ (* 1/24 (/ (pow x 4) (sqrt 2))) (+ (* 1/2 (/ (pow x 2) (sqrt 2))) (sqrt 2))) (* 1/8 (/ (pow x 4) (pow (sqrt 2) 3)))) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (- (+ (* 1/24 (/ (pow x 4) (sqrt 2))) (+ (* 1/2 (/ (pow x 2) (sqrt 2))) (sqrt 2))) (* 1/8 (/ (pow x 4) (pow (sqrt 2) 3)))) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) (/ 2.0 (+ (exp x) (exp (- x)))) (/ 2.0 (+ (exp x) (exp (- x)))) 34.035 * * * [progress]: adding candidates to table 34.552 * [progress]: [Phase 3 of 3] Extracting. 34.552 * * [regime]: Finding splitpoints for: (# #) 34.552 * * * [regime-changes]: Trying 3 branch expressions: ((+ (exp x) (exp (- x))) (/ 2.0 (+ (exp x) (exp (- x)))) x) 34.552 * * * * [regimes]: Trying to branch on (+ (exp x) (exp (- x))) from (# #) 34.567 * * * * [regimes]: Trying to branch on (/ 2.0 (+ (exp x) (exp (- x)))) from (# #) 34.585 * * * * [regimes]: Trying to branch on x from (# #) 34.596 * * * [regime]: Found split indices: #