13.130 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying using # : (exp (- (- 1.0 (* x x)))) 0.022 * * [simplify]: iteration 0 : 11 enodes (cost 4 ) 0.023 * * [simplify]: iteration 1 : 25 enodes (cost 4 ) 0.025 * * [simplify]: iteration 2 : 49 enodes (cost 4 ) 0.026 * * [simplify]: iteration 3 : 96 enodes (cost 4 ) 0.028 * * [simplify]: iteration 4 : 253 enodes (cost 4 ) 0.032 * * [simplify]: iteration 5 : 821 enodes (cost 4 ) 0.044 * * [simplify]: iteration 6 : 3115 enodes (cost 4 ) 0.079 * * [simplify]: iteration 7 : 5001 enodes (cost 4 ) 0.079 * [simplify]: Simplified to: (exp (- (- 1.0 (* x x)))) 0.079 * * [progress]: iteration 1 / 4 0.080 * * * [progress]: picking best candidate 0.081 * * * * [pick]: Picked # 0.081 * * * [progress]: localizing error 0.086 * * * [progress]: generating rewritten candidates 0.086 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.093 * * * [progress]: generating series expansions 0.093 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.093 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0 0.093 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 0.093 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 0.093 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.093 * [taylor]: Taking taylor expansion of x in x 0.093 * [taylor]: Taking taylor expansion of 1.0 in x 0.094 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 0.094 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 0.094 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.095 * [taylor]: Taking taylor expansion of x in x 0.095 * [taylor]: Taking taylor expansion of 1.0 in x 0.115 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 0.115 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.115 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.115 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.115 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.115 * [taylor]: Taking taylor expansion of x in x 0.116 * [taylor]: Taking taylor expansion of 1.0 in x 0.116 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.116 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.116 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.116 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.116 * [taylor]: Taking taylor expansion of x in x 0.116 * [taylor]: Taking taylor expansion of 1.0 in x 0.117 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 0.117 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.117 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.117 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.117 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.117 * [taylor]: Taking taylor expansion of x in x 0.118 * [taylor]: Taking taylor expansion of 1.0 in x 0.118 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 0.118 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.118 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.118 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.118 * [taylor]: Taking taylor expansion of x in x 0.119 * [taylor]: Taking taylor expansion of 1.0 in x 0.120 * * * [progress]: simplifying candidates 0.120 * [simplify]: Simplifying using # : (expm1 (exp (- (- 1.0 (* x x))))) (log1p (exp (- (- 1.0 (* x x))))) (exp (* (cbrt (- (- 1.0 (* x x)))) (cbrt (- (- 1.0 (* x x)))))) (exp (sqrt (- (- 1.0 (* x x))))) (exp 1) (exp -1) (exp (- (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (exp (- (sqrt (- 1.0 (* x x))))) (exp (- 1)) (exp (- (+ (sqrt 1.0) x))) (exp (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x))))) (exp (sqrt (- 1.0 (* x x)))) (exp 1) (exp (+ (sqrt 1.0) x)) (exp (- (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x x))))) (exp (- (fma (- x) x (* x x)))) (exp (- (fma (sqrt 1.0) (sqrt 1.0) (- (* x x))))) (exp (- (fma (- x) x (* x x)))) (exp (- (fma 1 1.0 (- (* x x))))) (exp (- (fma (- x) x (* x x)))) (exp (- 1.0)) (exp (- (- (* x x)))) (exp (- 1.0)) (exp (- (- (* x x)))) (exp (- 1.0 (* x x))) (exp 0) (exp (- 1.0 (* x x))) (log (exp (- (- 1.0 (* x x))))) (exp (exp (- (- 1.0 (* x x))))) (* (cbrt (exp (- (- 1.0 (* x x))))) (cbrt (exp (- (- 1.0 (* x x)))))) (cbrt (exp (- (- 1.0 (* x x))))) (* (* (exp (- (- 1.0 (* x x)))) (exp (- (- 1.0 (* x x))))) (exp (- (- 1.0 (* x x))))) (sqrt (exp (- (- 1.0 (* x x))))) (sqrt (exp (- (- 1.0 (* x x))))) (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) 0.123 * * [simplify]: iteration 0 : 140 enodes (cost 176 ) 0.126 * * [simplify]: iteration 1 : 392 enodes (cost 156 ) 0.133 * * [simplify]: iteration 2 : 1701 enodes (cost 140 ) 0.175 * * [simplify]: iteration 3 : 5001 enodes (cost 133 ) 0.176 * [simplify]: Simplified to: (expm1 (exp (- (- 1.0 (* x x))))) (log1p (exp (- (- 1.0 (* x x))))) (exp (* (cbrt (- (- 1.0 (* x x)))) (cbrt (- (- 1.0 (* x x)))))) (exp (sqrt (- (- 1.0 (* x x))))) E (exp -1) (exp (- (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (exp (- (sqrt (- 1.0 (* x x))))) (exp -1) (exp (- (+ (sqrt 1.0) x))) (exp (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x))))) (exp (sqrt (- 1.0 (* x x)))) E (exp (+ (sqrt 1.0) x)) (exp (- (pow x 2) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- 1.0)) (exp (pow x 2)) (exp (- 1.0)) (exp (pow x 2)) (exp (- 1.0 (* x x))) 1 (exp (- 1.0 (* x x))) (- (pow x 2) 1.0) (exp (exp (- (- 1.0 (* x x))))) (* (cbrt (exp (- (- 1.0 (* x x))))) (cbrt (exp (- (- 1.0 (* x x)))))) (cbrt (exp (- (- 1.0 (* x x))))) (pow (exp 3) (- (pow x 2) 1.0)) (sqrt (exp (- (- 1.0 (* x x))))) (sqrt (exp (- (- 1.0 (* x x))))) (* (exp (- 1.0)) (+ (pow x 2) (fma 1/2 (pow x 4) 1))) (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) 0.176 * * * [progress]: adding candidates to table 0.233 * * [progress]: iteration 2 / 4 0.233 * * * [progress]: picking best candidate 0.237 * * * * [pick]: Picked # 0.237 * * * [progress]: localizing error 0.245 * * * [progress]: generating rewritten candidates 0.245 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.258 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.267 * * * [progress]: generating series expansions 0.267 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.267 * [approximate]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))) in (x) around 0 0.268 * [taylor]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))) in x 0.268 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0)))))) in x 0.268 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0))))) in x 0.268 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 0.268 * [taylor]: Taking taylor expansion of x in x 0.268 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.268 * [taylor]: Taking taylor expansion of 1.0 in x 0.268 * [taylor]: Taking taylor expansion of (log (exp (+ x (sqrt 1.0)))) in x 0.268 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 0.268 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 0.268 * [taylor]: Taking taylor expansion of x in x 0.269 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.269 * [taylor]: Taking taylor expansion of 1.0 in x 0.278 * [taylor]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))) in x 0.278 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0)))))) in x 0.278 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0))))) in x 0.278 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 0.278 * [taylor]: Taking taylor expansion of x in x 0.278 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.278 * [taylor]: Taking taylor expansion of 1.0 in x 0.278 * [taylor]: Taking taylor expansion of (log (exp (+ x (sqrt 1.0)))) in x 0.278 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 0.278 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 0.278 * [taylor]: Taking taylor expansion of x in x 0.278 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.278 * [taylor]: Taking taylor expansion of 1.0 in x 0.408 * [approximate]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0))) in (x) around 0 0.408 * [taylor]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0))) in x 0.408 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x)))))) in x 0.408 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x))))) in x 0.408 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 0.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.408 * [taylor]: Taking taylor expansion of x in x 0.408 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.408 * [taylor]: Taking taylor expansion of 1.0 in x 0.409 * [taylor]: Taking taylor expansion of (log (exp (+ (sqrt 1.0) (/ 1 x)))) in x 0.409 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 0.409 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 0.409 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.409 * [taylor]: Taking taylor expansion of 1.0 in x 0.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.410 * [taylor]: Taking taylor expansion of x in x 0.412 * [taylor]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0))) in x 0.412 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x)))))) in x 0.412 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x))))) in x 0.412 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 0.412 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.412 * [taylor]: Taking taylor expansion of x in x 0.412 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.412 * [taylor]: Taking taylor expansion of 1.0 in x 0.413 * [taylor]: Taking taylor expansion of (log (exp (+ (sqrt 1.0) (/ 1 x)))) in x 0.413 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 0.413 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 0.413 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.413 * [taylor]: Taking taylor expansion of 1.0 in x 0.416 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.416 * [taylor]: Taking taylor expansion of x in x 0.420 * [approximate]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x)))) in (x) around 0 0.420 * [taylor]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x)))) in x 0.420 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x)))))) in x 0.420 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x))))) in x 0.420 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 0.420 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 0.420 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.420 * [taylor]: Taking taylor expansion of 1.0 in x 0.421 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.421 * [taylor]: Taking taylor expansion of x in x 0.421 * [taylor]: Taking taylor expansion of (log (exp (- (sqrt 1.0) (/ 1 x)))) in x 0.421 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 0.421 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 0.421 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.421 * [taylor]: Taking taylor expansion of 1.0 in x 0.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.422 * [taylor]: Taking taylor expansion of x in x 0.424 * [taylor]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x)))) in x 0.424 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x)))))) in x 0.424 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x))))) in x 0.424 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 0.424 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 0.424 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.424 * [taylor]: Taking taylor expansion of 1.0 in x 0.425 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.425 * [taylor]: Taking taylor expansion of x in x 0.425 * [taylor]: Taking taylor expansion of (log (exp (- (sqrt 1.0) (/ 1 x)))) in x 0.425 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 0.425 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 0.425 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.425 * [taylor]: Taking taylor expansion of 1.0 in x 0.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.426 * [taylor]: Taking taylor expansion of x in x 0.430 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.430 * [approximate]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in (x) around 0 0.430 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 0.430 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 0.430 * [taylor]: Taking taylor expansion of x in x 0.430 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.430 * [taylor]: Taking taylor expansion of 1.0 in x 0.432 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 0.432 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 0.432 * [taylor]: Taking taylor expansion of x in x 0.432 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.432 * [taylor]: Taking taylor expansion of 1.0 in x 0.442 * [approximate]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in (x) around 0 0.442 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 0.442 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 0.442 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.442 * [taylor]: Taking taylor expansion of 1.0 in x 0.443 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.443 * [taylor]: Taking taylor expansion of x in x 0.443 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 0.443 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 0.443 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.443 * [taylor]: Taking taylor expansion of 1.0 in x 0.444 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.444 * [taylor]: Taking taylor expansion of x in x 0.446 * [approximate]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in (x) around 0 0.446 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 0.446 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 0.446 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.446 * [taylor]: Taking taylor expansion of 1.0 in x 0.446 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.446 * [taylor]: Taking taylor expansion of x in x 0.447 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 0.447 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 0.447 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.447 * [taylor]: Taking taylor expansion of 1.0 in x 0.448 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.448 * [taylor]: Taking taylor expansion of x in x 0.450 * * * [progress]: simplifying candidates 0.451 * [simplify]: Simplifying using # : (expm1 (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (log1p (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (* (+ (sqrt 1.0) x) (- (- (sqrt 1.0) x))) (* (log (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (* 1 (- (- (sqrt 1.0) x))) (* (cbrt (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))) (* (sqrt (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))) (* (+ (sqrt 1.0) x) (- (- (sqrt 1.0) x))) (* (+ (sqrt 1.0) x) (- (- (sqrt 1.0) x))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0) x)) (pow (exp (+ (sqrt 1.0) x)) 0) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0) x)) (pow (exp (+ (sqrt 1.0) x)) (* (cbrt (- (- (sqrt 1.0) x))) (cbrt (- (- (sqrt 1.0) x))))) (pow (exp (+ (sqrt 1.0) x)) (sqrt (- (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) 1) (pow (exp (+ (sqrt 1.0) x)) -1) (pow (exp (+ (sqrt 1.0) x)) (- (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x))))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) (- 1)) (pow (exp (+ (sqrt 1.0) x)) (- (+ (sqrt (sqrt 1.0)) (sqrt x)))) (pow (exp (+ (sqrt 1.0) x)) (- (+ (sqrt (sqrt 1.0)) (sqrt x)))) (pow (exp (+ (sqrt 1.0) x)) (- 1)) (pow (exp (+ (sqrt 1.0) x)) (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) (sqrt (- (sqrt 1.0) x))) (pow (exp (+ (sqrt 1.0) x)) 1) (pow (exp (+ (sqrt 1.0) x)) (+ (sqrt (sqrt 1.0)) (sqrt x))) (pow (exp (+ (sqrt 1.0) x)) (+ (sqrt (sqrt 1.0)) (sqrt x))) (pow (exp (+ (sqrt 1.0) x)) 1) (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (sqrt x) (sqrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* (sqrt x) (sqrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* (sqrt x) (sqrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))) (pow (exp (+ (sqrt 1.0) x)) (- (- x))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))) (pow (exp (+ (sqrt 1.0) x)) (- (- x))) (pow (exp (sqrt 1.0)) (- (- (sqrt 1.0) x))) (pow (exp x) (- (- (sqrt 1.0) x))) (pow (* (cbrt (exp (+ (sqrt 1.0) x))) (cbrt (exp (+ (sqrt 1.0) x)))) (- (- (sqrt 1.0) x))) (pow (cbrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (pow 1 (- (- (sqrt 1.0) x))) (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))) (log (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (exp (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (* (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (* (* (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))) (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)) (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)) (expm1 (exp (+ (sqrt 1.0) x))) (log1p (exp (+ (sqrt 1.0) x))) (exp (* (cbrt (+ (sqrt 1.0) x)) (cbrt (+ (sqrt 1.0) x)))) (exp (sqrt (+ (sqrt 1.0) x))) (exp 1) (exp 1) (exp (sqrt 1.0)) (exp x) (log (exp (+ (sqrt 1.0) x))) (exp (exp (+ (sqrt 1.0) x))) (* (cbrt (exp (+ (sqrt 1.0) x))) (cbrt (exp (+ (sqrt 1.0) x)))) (cbrt (exp (+ (sqrt 1.0) x))) (* (* (exp (+ (sqrt 1.0) x)) (exp (+ (sqrt 1.0) x))) (exp (+ (sqrt 1.0) x))) (sqrt (exp (+ (sqrt 1.0) x))) (sqrt (exp (+ (sqrt 1.0) x))) (+ (* 1/2 (* (pow x 4) (exp (* -1 (pow (sqrt 1.0) 2))))) (+ (* (pow x 2) (exp (* -1 (pow (sqrt 1.0) 2)))) (exp (* -1 (pow (sqrt 1.0) 2))))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* -1 (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x)))) (+ (* (exp (sqrt 1.0)) x) (+ (exp (sqrt 1.0)) (* 1/2 (* (exp (sqrt 1.0)) (pow x 2))))) (exp (+ x (sqrt 1.0))) (exp (+ x (sqrt 1.0))) 0.457 * * [simplify]: iteration 0 : 410 enodes (cost 888 ) 0.464 * * [simplify]: iteration 1 : 1452 enodes (cost 728 ) 0.489 * * [simplify]: iteration 2 : 5001 enodes (cost 569 ) 0.492 * [simplify]: Simplified to: (expm1 (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (log1p (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (- x (sqrt 1.0)) (* (cbrt (+ (sqrt 1.0) x)) (- x (sqrt 1.0))) (* (sqrt (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (exp (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x))) 1 (exp (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x))) (pow (exp (+ (sqrt 1.0) x)) (* (cbrt (- (- (sqrt 1.0) x))) (cbrt (- (- (sqrt 1.0) x))))) (pow (exp (+ (sqrt 1.0) x)) (sqrt (- (- (sqrt 1.0) x)))) (exp (+ (sqrt 1.0) x)) (pow (exp (+ (sqrt 1.0) x)) -1) (pow (exp (+ (sqrt 1.0) x)) (- (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x))))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) (- 1)) (pow (exp (+ (sqrt 1.0) x)) (- (+ (sqrt (sqrt 1.0)) (sqrt x)))) (pow (exp (+ (sqrt 1.0) x)) (- (+ (sqrt (sqrt 1.0)) (sqrt x)))) (pow (exp (+ (sqrt 1.0) x)) (- 1)) (pow (exp (+ (sqrt 1.0) x)) (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) (sqrt (- (sqrt 1.0) x))) (exp (+ (sqrt 1.0) x)) (pow (exp (+ (sqrt 1.0) x)) (+ (sqrt (sqrt 1.0)) (sqrt x))) (pow (exp (+ (sqrt 1.0) x)) (+ (sqrt (sqrt 1.0)) (sqrt x))) (exp (+ (sqrt 1.0) x)) (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))) 1 (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))) 1 (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))) 1 (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))) 1 (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))) 1 (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))) 1 (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) 1 (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) 1 (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) 1 (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) 1 (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) 1 (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) 1 (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) 1 (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) 1 (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) 1 (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) 1 (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) 1 (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) 1 (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))) (pow (exp (+ (sqrt 1.0) x)) x) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))) (pow (exp (+ (sqrt 1.0) x)) x) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))) (pow (exp x) (- x (sqrt 1.0))) (pow (* (cbrt (exp (+ (sqrt 1.0) x))) (cbrt (exp (+ (sqrt 1.0) x)))) (- x (sqrt 1.0))) (pow (cbrt (exp (+ (sqrt 1.0) x))) (- x (sqrt 1.0))) (pow (pow (exp (+ (sqrt 1.0) x)) 1/2) (- x (sqrt 1.0))) (pow (pow (exp (+ (sqrt 1.0) x)) 1/2) (- x (sqrt 1.0))) 1 (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (exp (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (* (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (pow (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) 3) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) (/ (- x (sqrt 1.0)) 2)) (pow (exp (+ (sqrt 1.0) x)) (/ (- x (sqrt 1.0)) 2)) (expm1 (exp (+ (sqrt 1.0) x))) (log1p (exp (+ (sqrt 1.0) x))) (exp (* (cbrt (+ (sqrt 1.0) x)) (cbrt (+ (sqrt 1.0) x)))) (exp (sqrt (+ (sqrt 1.0) x))) E E (exp (sqrt 1.0)) (exp x) (+ (sqrt 1.0) x) (exp (exp (+ (sqrt 1.0) x))) (* (cbrt (exp (+ (sqrt 1.0) x))) (cbrt (exp (+ (sqrt 1.0) x)))) (cbrt (exp (+ (sqrt 1.0) x))) (pow (exp (+ (sqrt 1.0) x)) 3) (pow (exp (+ (sqrt 1.0) x)) 1/2) (pow (exp (+ (sqrt 1.0) x)) 1/2) (* (exp (* -1 (pow (sqrt 1.0) 2))) (+ (* 1/2 (pow x 4)) (fma x x 1))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (* (exp (sqrt 1.0)) (+ (+ x 1) (* 1/2 (pow x 2)))) (exp (+ (sqrt 1.0) x)) (exp (+ (sqrt 1.0) x)) 0.493 * * * [progress]: adding candidates to table 0.628 * * [progress]: iteration 3 / 4 0.628 * * * [progress]: picking best candidate 0.634 * * * * [pick]: Picked # 0.634 * * * [progress]: localizing error 0.644 * * * [progress]: generating rewritten candidates 0.645 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 0.658 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 0.674 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.714 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.750 * * * [progress]: generating series expansions 0.751 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 0.752 * [approximate]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))) in (x) around 0 0.752 * [taylor]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))) in x 0.752 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0)))))) in x 0.752 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0))))) in x 0.752 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 0.752 * [taylor]: Taking taylor expansion of x in x 0.752 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.752 * [taylor]: Taking taylor expansion of 1.0 in x 0.752 * [taylor]: Taking taylor expansion of (log (exp (+ x (sqrt 1.0)))) in x 0.752 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 0.752 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 0.752 * [taylor]: Taking taylor expansion of x in x 0.752 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.752 * [taylor]: Taking taylor expansion of 1.0 in x 0.759 * [taylor]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))) in x 0.759 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0)))))) in x 0.759 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0))))) in x 0.759 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 0.759 * [taylor]: Taking taylor expansion of x in x 0.759 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.759 * [taylor]: Taking taylor expansion of 1.0 in x 0.760 * [taylor]: Taking taylor expansion of (log (exp (+ x (sqrt 1.0)))) in x 0.760 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 0.760 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 0.760 * [taylor]: Taking taylor expansion of x in x 0.760 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.760 * [taylor]: Taking taylor expansion of 1.0 in x 0.900 * [approximate]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0))) in (x) around 0 0.900 * [taylor]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0))) in x 0.900 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x)))))) in x 0.900 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x))))) in x 0.900 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 0.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.900 * [taylor]: Taking taylor expansion of x in x 0.901 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.901 * [taylor]: Taking taylor expansion of 1.0 in x 0.901 * [taylor]: Taking taylor expansion of (log (exp (+ (sqrt 1.0) (/ 1 x)))) in x 0.901 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 0.901 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 0.901 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.901 * [taylor]: Taking taylor expansion of 1.0 in x 0.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.902 * [taylor]: Taking taylor expansion of x in x 0.904 * [taylor]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0))) in x 0.904 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x)))))) in x 0.904 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x))))) in x 0.904 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 0.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.904 * [taylor]: Taking taylor expansion of x in x 0.905 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.905 * [taylor]: Taking taylor expansion of 1.0 in x 0.905 * [taylor]: Taking taylor expansion of (log (exp (+ (sqrt 1.0) (/ 1 x)))) in x 0.905 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 0.905 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 0.905 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.906 * [taylor]: Taking taylor expansion of 1.0 in x 0.906 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.906 * [taylor]: Taking taylor expansion of x in x 0.911 * [approximate]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x)))) in (x) around 0 0.911 * [taylor]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x)))) in x 0.911 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x)))))) in x 0.911 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x))))) in x 0.911 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 0.911 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 0.911 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.911 * [taylor]: Taking taylor expansion of 1.0 in x 0.911 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.911 * [taylor]: Taking taylor expansion of x in x 0.912 * [taylor]: Taking taylor expansion of (log (exp (- (sqrt 1.0) (/ 1 x)))) in x 0.912 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 0.912 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 0.912 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.912 * [taylor]: Taking taylor expansion of 1.0 in x 0.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.912 * [taylor]: Taking taylor expansion of x in x 0.915 * [taylor]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x)))) in x 0.915 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x)))))) in x 0.915 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x))))) in x 0.915 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 0.915 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 0.915 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.915 * [taylor]: Taking taylor expansion of 1.0 in x 0.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.916 * [taylor]: Taking taylor expansion of x in x 0.916 * [taylor]: Taking taylor expansion of (log (exp (- (sqrt 1.0) (/ 1 x)))) in x 0.916 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 0.916 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 0.916 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.916 * [taylor]: Taking taylor expansion of 1.0 in x 0.917 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.917 * [taylor]: Taking taylor expansion of x in x 0.921 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 0.922 * [approximate]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))) in (x) around 0 0.922 * [taylor]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))) in x 0.922 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0)))))) in x 0.922 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0))))) in x 0.922 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 0.922 * [taylor]: Taking taylor expansion of x in x 0.922 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.922 * [taylor]: Taking taylor expansion of 1.0 in x 0.923 * [taylor]: Taking taylor expansion of (log (exp (+ x (sqrt 1.0)))) in x 0.923 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 0.923 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 0.923 * [taylor]: Taking taylor expansion of x in x 0.923 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.923 * [taylor]: Taking taylor expansion of 1.0 in x 0.929 * [taylor]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))) in x 0.930 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0)))))) in x 0.930 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0))))) in x 0.930 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 0.930 * [taylor]: Taking taylor expansion of x in x 0.930 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.930 * [taylor]: Taking taylor expansion of 1.0 in x 0.930 * [taylor]: Taking taylor expansion of (log (exp (+ x (sqrt 1.0)))) in x 0.930 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 0.930 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 0.930 * [taylor]: Taking taylor expansion of x in x 0.930 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.930 * [taylor]: Taking taylor expansion of 1.0 in x 1.069 * [approximate]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0))) in (x) around 0 1.069 * [taylor]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0))) in x 1.069 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x)))))) in x 1.069 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x))))) in x 1.069 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 1.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.069 * [taylor]: Taking taylor expansion of x in x 1.070 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.070 * [taylor]: Taking taylor expansion of 1.0 in x 1.070 * [taylor]: Taking taylor expansion of (log (exp (+ (sqrt 1.0) (/ 1 x)))) in x 1.070 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 1.070 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 1.070 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.070 * [taylor]: Taking taylor expansion of 1.0 in x 1.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.071 * [taylor]: Taking taylor expansion of x in x 1.073 * [taylor]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0))) in x 1.073 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x)))))) in x 1.073 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x))))) in x 1.073 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 1.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.073 * [taylor]: Taking taylor expansion of x in x 1.074 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.074 * [taylor]: Taking taylor expansion of 1.0 in x 1.074 * [taylor]: Taking taylor expansion of (log (exp (+ (sqrt 1.0) (/ 1 x)))) in x 1.074 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 1.074 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 1.074 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.074 * [taylor]: Taking taylor expansion of 1.0 in x 1.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.075 * [taylor]: Taking taylor expansion of x in x 1.079 * [approximate]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x)))) in (x) around 0 1.079 * [taylor]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x)))) in x 1.079 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x)))))) in x 1.079 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x))))) in x 1.079 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 1.079 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 1.079 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.079 * [taylor]: Taking taylor expansion of 1.0 in x 1.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.080 * [taylor]: Taking taylor expansion of x in x 1.080 * [taylor]: Taking taylor expansion of (log (exp (- (sqrt 1.0) (/ 1 x)))) in x 1.080 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 1.080 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 1.080 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.080 * [taylor]: Taking taylor expansion of 1.0 in x 1.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.081 * [taylor]: Taking taylor expansion of x in x 1.084 * [taylor]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x)))) in x 1.084 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x)))))) in x 1.084 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x))))) in x 1.084 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 1.084 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 1.084 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.084 * [taylor]: Taking taylor expansion of 1.0 in x 1.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.084 * [taylor]: Taking taylor expansion of x in x 1.085 * [taylor]: Taking taylor expansion of (log (exp (- (sqrt 1.0) (/ 1 x)))) in x 1.085 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 1.085 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 1.085 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.085 * [taylor]: Taking taylor expansion of 1.0 in x 1.085 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.085 * [taylor]: Taking taylor expansion of x in x 1.089 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1.091 * [approximate]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))) in (x) around 0 1.091 * [taylor]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))) in x 1.091 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0)))))) in x 1.091 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0))))) in x 1.091 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 1.091 * [taylor]: Taking taylor expansion of x in x 1.091 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.091 * [taylor]: Taking taylor expansion of 1.0 in x 1.091 * [taylor]: Taking taylor expansion of (log (exp (+ x (sqrt 1.0)))) in x 1.091 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 1.091 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 1.092 * [taylor]: Taking taylor expansion of x in x 1.092 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.092 * [taylor]: Taking taylor expansion of 1.0 in x 1.098 * [taylor]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))) in x 1.098 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0)))))) in x 1.098 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0))))) in x 1.098 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 1.098 * [taylor]: Taking taylor expansion of x in x 1.098 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.098 * [taylor]: Taking taylor expansion of 1.0 in x 1.099 * [taylor]: Taking taylor expansion of (log (exp (+ x (sqrt 1.0)))) in x 1.099 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 1.099 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 1.099 * [taylor]: Taking taylor expansion of x in x 1.099 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.099 * [taylor]: Taking taylor expansion of 1.0 in x 1.239 * [approximate]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0))) in (x) around 0 1.239 * [taylor]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0))) in x 1.239 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x)))))) in x 1.239 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x))))) in x 1.239 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 1.239 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.239 * [taylor]: Taking taylor expansion of x in x 1.239 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.239 * [taylor]: Taking taylor expansion of 1.0 in x 1.240 * [taylor]: Taking taylor expansion of (log (exp (+ (sqrt 1.0) (/ 1 x)))) in x 1.240 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 1.240 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 1.240 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.240 * [taylor]: Taking taylor expansion of 1.0 in x 1.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.241 * [taylor]: Taking taylor expansion of x in x 1.243 * [taylor]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0))) in x 1.243 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x)))))) in x 1.243 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x))))) in x 1.243 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 1.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.243 * [taylor]: Taking taylor expansion of x in x 1.244 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.244 * [taylor]: Taking taylor expansion of 1.0 in x 1.244 * [taylor]: Taking taylor expansion of (log (exp (+ (sqrt 1.0) (/ 1 x)))) in x 1.244 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 1.244 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 1.244 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.244 * [taylor]: Taking taylor expansion of 1.0 in x 1.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.245 * [taylor]: Taking taylor expansion of x in x 1.250 * [approximate]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x)))) in (x) around 0 1.250 * [taylor]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x)))) in x 1.250 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x)))))) in x 1.250 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x))))) in x 1.250 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 1.250 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 1.250 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.250 * [taylor]: Taking taylor expansion of 1.0 in x 1.251 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.251 * [taylor]: Taking taylor expansion of x in x 1.251 * [taylor]: Taking taylor expansion of (log (exp (- (sqrt 1.0) (/ 1 x)))) in x 1.251 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 1.251 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 1.251 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.251 * [taylor]: Taking taylor expansion of 1.0 in x 1.252 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.252 * [taylor]: Taking taylor expansion of x in x 1.254 * [taylor]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x)))) in x 1.254 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x)))))) in x 1.254 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x))))) in x 1.254 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 1.254 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 1.254 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.254 * [taylor]: Taking taylor expansion of 1.0 in x 1.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.255 * [taylor]: Taking taylor expansion of x in x 1.255 * [taylor]: Taking taylor expansion of (log (exp (- (sqrt 1.0) (/ 1 x)))) in x 1.255 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 1.255 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 1.255 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.255 * [taylor]: Taking taylor expansion of 1.0 in x 1.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.256 * [taylor]: Taking taylor expansion of x in x 1.260 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.261 * [approximate]: Taking taylor expansion of (sqrt (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))) in (x) around 0 1.261 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))) in x 1.261 * [taylor]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))) in x 1.261 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0)))))) in x 1.261 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0))))) in x 1.261 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 1.261 * [taylor]: Taking taylor expansion of x in x 1.261 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.261 * [taylor]: Taking taylor expansion of 1.0 in x 1.261 * [taylor]: Taking taylor expansion of (log (exp (+ x (sqrt 1.0)))) in x 1.262 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 1.262 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 1.262 * [taylor]: Taking taylor expansion of x in x 1.262 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.262 * [taylor]: Taking taylor expansion of 1.0 in x 1.281 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))) in x 1.281 * [taylor]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0))) in x 1.281 * [taylor]: Taking taylor expansion of (exp (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0)))))) in x 1.281 * [taylor]: Taking taylor expansion of (* (- x (sqrt 1.0)) (log (exp (+ x (sqrt 1.0))))) in x 1.281 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 1.281 * [taylor]: Taking taylor expansion of x in x 1.281 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.281 * [taylor]: Taking taylor expansion of 1.0 in x 1.282 * [taylor]: Taking taylor expansion of (log (exp (+ x (sqrt 1.0)))) in x 1.282 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 1.282 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 1.282 * [taylor]: Taking taylor expansion of x in x 1.282 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.282 * [taylor]: Taking taylor expansion of 1.0 in x 1.449 * [approximate]: Taking taylor expansion of (sqrt (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0)))) in (x) around 0 1.449 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0)))) in x 1.449 * [taylor]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0))) in x 1.449 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x)))))) in x 1.449 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x))))) in x 1.449 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 1.449 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.449 * [taylor]: Taking taylor expansion of x in x 1.449 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.449 * [taylor]: Taking taylor expansion of 1.0 in x 1.450 * [taylor]: Taking taylor expansion of (log (exp (+ (sqrt 1.0) (/ 1 x)))) in x 1.450 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 1.450 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 1.450 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.450 * [taylor]: Taking taylor expansion of 1.0 in x 1.451 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.451 * [taylor]: Taking taylor expansion of x in x 1.454 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0)))) in x 1.454 * [taylor]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) (- (/ 1 x) (sqrt 1.0))) in x 1.454 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x)))))) in x 1.454 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (log (exp (+ (sqrt 1.0) (/ 1 x))))) in x 1.454 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 1.454 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.454 * [taylor]: Taking taylor expansion of x in x 1.455 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.455 * [taylor]: Taking taylor expansion of 1.0 in x 1.455 * [taylor]: Taking taylor expansion of (log (exp (+ (sqrt 1.0) (/ 1 x)))) in x 1.455 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 1.455 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 1.455 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.455 * [taylor]: Taking taylor expansion of 1.0 in x 1.456 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.456 * [taylor]: Taking taylor expansion of x in x 1.466 * [approximate]: Taking taylor expansion of (sqrt (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x))))) in (x) around 0 1.467 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x))))) in x 1.467 * [taylor]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x)))) in x 1.467 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x)))))) in x 1.467 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x))))) in x 1.467 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 1.467 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 1.467 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.467 * [taylor]: Taking taylor expansion of 1.0 in x 1.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.467 * [taylor]: Taking taylor expansion of x in x 1.468 * [taylor]: Taking taylor expansion of (log (exp (- (sqrt 1.0) (/ 1 x)))) in x 1.468 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 1.468 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 1.468 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.468 * [taylor]: Taking taylor expansion of 1.0 in x 1.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.468 * [taylor]: Taking taylor expansion of x in x 1.472 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x))))) in x 1.472 * [taylor]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) (- (+ (sqrt 1.0) (/ 1 x)))) in x 1.472 * [taylor]: Taking taylor expansion of (exp (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x)))))) in x 1.472 * [taylor]: Taking taylor expansion of (* (- (+ (sqrt 1.0) (/ 1 x))) (log (exp (- (sqrt 1.0) (/ 1 x))))) in x 1.472 * [taylor]: Taking taylor expansion of (- (+ (sqrt 1.0) (/ 1 x))) in x 1.472 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 1.472 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.472 * [taylor]: Taking taylor expansion of 1.0 in x 1.473 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.473 * [taylor]: Taking taylor expansion of x in x 1.473 * [taylor]: Taking taylor expansion of (log (exp (- (sqrt 1.0) (/ 1 x)))) in x 1.473 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 1.473 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 1.473 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.473 * [taylor]: Taking taylor expansion of 1.0 in x 1.474 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.474 * [taylor]: Taking taylor expansion of x in x 1.484 * * * [progress]: simplifying candidates 1.490 * [simplify]: Simplifying using # : (expm1 (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (log1p (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (* (+ (sqrt 1.0) x) (- (- (sqrt 1.0) x))) (* (log (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (* 1 (- (- (sqrt 1.0) x))) (* (cbrt (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))) (* (sqrt (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))) (* (+ (sqrt 1.0) x) (- (- (sqrt 1.0) x))) (* (+ (sqrt 1.0) x) (- (- (sqrt 1.0) x))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0) x)) (pow (exp (+ (sqrt 1.0) x)) 0) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0) x)) (pow (exp (+ (sqrt 1.0) x)) (* (cbrt (- (- (sqrt 1.0) x))) (cbrt (- (- (sqrt 1.0) x))))) (pow (exp (+ (sqrt 1.0) x)) (sqrt (- (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) 1) (pow (exp (+ (sqrt 1.0) x)) -1) (pow (exp (+ (sqrt 1.0) x)) (- (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x))))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) (- 1)) (pow (exp (+ (sqrt 1.0) x)) (- (+ (sqrt (sqrt 1.0)) (sqrt x)))) (pow (exp (+ (sqrt 1.0) x)) (- (+ (sqrt (sqrt 1.0)) (sqrt x)))) (pow (exp (+ (sqrt 1.0) x)) (- 1)) (pow (exp (+ (sqrt 1.0) x)) (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) (sqrt (- (sqrt 1.0) x))) (pow (exp (+ (sqrt 1.0) x)) 1) (pow (exp (+ (sqrt 1.0) x)) (+ (sqrt (sqrt 1.0)) (sqrt x))) (pow (exp (+ (sqrt 1.0) x)) (+ (sqrt (sqrt 1.0)) (sqrt x))) (pow (exp (+ (sqrt 1.0) x)) 1) (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (sqrt x) (sqrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* (sqrt x) (sqrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* (sqrt x) (sqrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))) (pow (exp (+ (sqrt 1.0) x)) (- (- x))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))) (pow (exp (+ (sqrt 1.0) x)) (- (- x))) (pow (exp (sqrt 1.0)) (- (- (sqrt 1.0) x))) (pow (exp x) (- (- (sqrt 1.0) x))) (pow (* (cbrt (exp (+ (sqrt 1.0) x))) (cbrt (exp (+ (sqrt 1.0) x)))) (- (- (sqrt 1.0) x))) (pow (cbrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (pow 1 (- (- (sqrt 1.0) x))) (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))) (log (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (exp (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (* (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (* (* (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))) (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)) (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)) (expm1 (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (log1p (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (* (+ (sqrt 1.0) x) (- (- (sqrt 1.0) x))) (* (log (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (* 1 (- (- (sqrt 1.0) x))) (* (cbrt (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))) (* (sqrt (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))) (* (+ (sqrt 1.0) x) (- (- (sqrt 1.0) x))) (* (+ (sqrt 1.0) x) (- (- (sqrt 1.0) x))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0) x)) (pow (exp (+ (sqrt 1.0) x)) 0) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0) x)) (pow (exp (+ (sqrt 1.0) x)) (* (cbrt (- (- (sqrt 1.0) x))) (cbrt (- (- (sqrt 1.0) x))))) (pow (exp (+ (sqrt 1.0) x)) (sqrt (- (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) 1) (pow (exp (+ (sqrt 1.0) x)) -1) (pow (exp (+ (sqrt 1.0) x)) (- (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x))))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) (- 1)) (pow (exp (+ (sqrt 1.0) x)) (- (+ (sqrt (sqrt 1.0)) (sqrt x)))) (pow (exp (+ (sqrt 1.0) x)) (- (+ (sqrt (sqrt 1.0)) (sqrt x)))) (pow (exp (+ (sqrt 1.0) x)) (- 1)) (pow (exp (+ (sqrt 1.0) x)) (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) (sqrt (- (sqrt 1.0) x))) (pow (exp (+ (sqrt 1.0) x)) 1) (pow (exp (+ (sqrt 1.0) x)) (+ (sqrt (sqrt 1.0)) (sqrt x))) (pow (exp (+ (sqrt 1.0) x)) (+ (sqrt (sqrt 1.0)) (sqrt x))) (pow (exp (+ (sqrt 1.0) x)) 1) (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (sqrt x) (sqrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* (sqrt x) (sqrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* (sqrt x) (sqrt x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))) (pow (exp (+ (sqrt 1.0) x)) (- (- x))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))) (pow (exp (+ (sqrt 1.0) x)) (- (- x))) (pow (exp (sqrt 1.0)) (- (- (sqrt 1.0) x))) (pow (exp x) (- (- (sqrt 1.0) x))) (pow (* (cbrt (exp (+ (sqrt 1.0) x))) (cbrt (exp (+ (sqrt 1.0) x)))) (- (- (sqrt 1.0) x))) (pow (cbrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (pow 1 (- (- (sqrt 1.0) x))) (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))) (log (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (exp (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (* (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (* (* (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))) (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)) (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)) (expm1 (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (log1p (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (+ 1/2 1/2) (+ 1 1) (+ (/ (- (- (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2)) (* (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))) (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (exp (+ (sqrt 1.0) x)) (exp (+ (sqrt 1.0) x))) (+ 1 1) (+ (log (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (log (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (log (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (exp (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (* (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (cbrt (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (cbrt (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))))) (cbrt (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (* (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))) (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (sqrt (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0) x))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0) x)))) (* (sqrt 1) (sqrt (pow (exp (+ (sqrt 1.0) x)) 0))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0) x))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0) x)))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) 0)) (sqrt 1)) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0) x))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0) x)))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) 0)) (sqrt (pow (exp (+ (sqrt 1.0) x)) 0))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0) x))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0) x)))) (* (* (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))))) (* (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (sqrt x) (sqrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (sqrt x) (sqrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* x 1))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* x 1))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* (sqrt x) (sqrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* (sqrt x) (sqrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* x 1))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* x 1))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* x 1))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* (sqrt x) (sqrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* (sqrt x) (sqrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* x 1))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- x))))) (* (sqrt (pow (exp (sqrt 1.0)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (sqrt 1.0)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp x) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp x) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (* (cbrt (exp (+ (sqrt 1.0) x))) (cbrt (exp (+ (sqrt 1.0) x)))) (- (- (sqrt 1.0) x)))) (sqrt (pow (* (cbrt (exp (+ (sqrt 1.0) x))) (cbrt (exp (+ (sqrt 1.0) x)))) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (cbrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (pow (cbrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))))) (* (sqrt (pow 1 (- (- (sqrt 1.0) x)))) (sqrt (pow 1 (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (* (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (sqrt (* (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))))) (* (sqrt (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* 1 1) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2))) (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2))) (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* 2 1/2) (* 2 1) (* 2 (/ (- (- (sqrt 1.0) x)) 2)) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (* (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (sqrt x) (sqrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* x 1))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* (sqrt x) (sqrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* x 1))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* x 1))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* (sqrt x) (sqrt x)))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* x 1))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (sqrt 1.0)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (* (cbrt (exp (+ (sqrt 1.0) x))) (cbrt (exp (+ (sqrt 1.0) x)))) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow 1 (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (* (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt 1)) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) 1) (* (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp x) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (cbrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt 1)) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) 0))) (* (sqrt 1) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) 0)) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (expm1 (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (log1p (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (log (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (exp (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (sqrt x) (sqrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* (sqrt x) (sqrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt 1) (sqrt 1.0) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt x) (sqrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* (sqrt x) (sqrt x))))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma 1 (sqrt 1.0) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- x)))) (sqrt (pow (exp (sqrt 1.0)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp x) (- (- (sqrt 1.0) x)))) (sqrt (pow (* (cbrt (exp (+ (sqrt 1.0) x))) (cbrt (exp (+ (sqrt 1.0) x)))) (- (- (sqrt 1.0) x)))) (sqrt (pow (cbrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (pow 1 (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (* (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (sqrt (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt 1) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2))) (sqrt 1) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0) x))) (sqrt (pow (exp (+ (sqrt 1.0) x)) 0)) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0) x))) (/ (- (- (sqrt 1.0) x)) 2) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (+ (* 1/2 (* (pow x 4) (exp (* -1 (pow (sqrt 1.0) 2))))) (+ (* (pow x 2) (exp (* -1 (pow (sqrt 1.0) 2)))) (exp (* -1 (pow (sqrt 1.0) 2))))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* -1 (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x)))) (+ (* 1/2 (* (pow x 4) (exp (* -1 (pow (sqrt 1.0) 2))))) (+ (* (pow x 2) (exp (* -1 (pow (sqrt 1.0) 2)))) (exp (* -1 (pow (sqrt 1.0) 2))))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* -1 (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x)))) (+ (* 1/2 (* (pow x 4) (exp (* -1 (pow (sqrt 1.0) 2))))) (+ (* (pow x 2) (exp (* -1 (pow (sqrt 1.0) 2)))) (exp (* -1 (pow (sqrt 1.0) 2))))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* -1 (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x)))) (+ (* 1/2 (* (pow x 2) (sqrt (exp (* -1 (pow (sqrt 1.0) 2)))))) (+ (sqrt (exp (* -1 (pow (sqrt 1.0) 2)))) (* 1/8 (* (pow x 4) (sqrt (exp (* -1 (pow (sqrt 1.0) 2)))))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (exp (* -1 (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x))))) 1.510 * * [simplify]: iteration 0 : 604 enodes (cost 5174 ) 1.522 * * [simplify]: iteration 1 : 2398 enodes (cost 4142 ) 1.566 * * [simplify]: iteration 2 : 5001 enodes (cost 4115 ) 1.588 * [simplify]: Simplified to: (expm1 (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (log1p (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (- x (sqrt 1.0)) (* (cbrt (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))) (* (sqrt (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (exp (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x))) 1 (exp (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x))) (pow (exp (+ (sqrt 1.0) x)) (* (cbrt (- (- (sqrt 1.0) x))) (cbrt (- (- (sqrt 1.0) x))))) (pow (exp (+ (sqrt 1.0) x)) (sqrt (- (- (sqrt 1.0) x)))) (exp (+ (sqrt 1.0) x)) (pow (exp (+ (sqrt 1.0) x)) -1) (pow (exp (+ (sqrt 1.0) x)) (- (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x))))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) (- 1)) (pow (exp (+ (sqrt 1.0) x)) (- (+ (sqrt (sqrt 1.0)) (sqrt x)))) (pow (exp (+ (sqrt 1.0) x)) (- (+ (sqrt (sqrt 1.0)) (sqrt x)))) (pow (exp (+ (sqrt 1.0) x)) (- 1)) (pow (exp (+ (sqrt 1.0) x)) (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) (sqrt (- (sqrt 1.0) x))) (exp (+ (sqrt 1.0) x)) (pow (exp (+ (sqrt 1.0) x)) (+ (sqrt (sqrt 1.0)) (sqrt x))) (pow (exp (+ (sqrt 1.0) x)) (+ (sqrt (sqrt 1.0)) (sqrt x))) (exp (+ (sqrt 1.0) x)) (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))) (pow (exp (+ (sqrt 1.0) x)) (- (- x))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))) (pow (exp (+ (sqrt 1.0) x)) (- (- x))) (pow (exp (sqrt 1.0)) (- (- (sqrt 1.0) x))) (pow (exp x) (- (- (sqrt 1.0) x))) (pow (* (cbrt (exp (+ (sqrt 1.0) x))) (cbrt (exp (+ (sqrt 1.0) x)))) (- (- (sqrt 1.0) x))) (pow (cbrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) 1 (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (exp (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (* (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (pow (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) 3) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (pow (exp (+ (sqrt 1.0) x)) (/ (- x (sqrt 1.0)) 2)) (pow (exp (+ (sqrt 1.0) x)) (/ (- x (sqrt 1.0)) 2)) (expm1 (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (log1p (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (- x (sqrt 1.0)) (* (cbrt (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))) (* (sqrt (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (exp (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x))) 1 (exp (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x))) (pow (exp (+ (sqrt 1.0) x)) (* (cbrt (- (- (sqrt 1.0) x))) (cbrt (- (- (sqrt 1.0) x))))) (pow (exp (+ (sqrt 1.0) x)) (sqrt (- (- (sqrt 1.0) x)))) (exp (+ (sqrt 1.0) x)) (pow (exp (+ (sqrt 1.0) x)) -1) (pow (exp (+ (sqrt 1.0) x)) (- (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x))))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) (- 1)) (pow (exp (+ (sqrt 1.0) x)) (- (+ (sqrt (sqrt 1.0)) (sqrt x)))) (pow (exp (+ (sqrt 1.0) x)) (- (+ (sqrt (sqrt 1.0)) (sqrt x)))) (pow (exp (+ (sqrt 1.0) x)) (- 1)) (pow (exp (+ (sqrt 1.0) x)) (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x)))) (pow (exp (+ (sqrt 1.0) x)) (sqrt (- (sqrt 1.0) x))) (exp (+ (sqrt 1.0) x)) (pow (exp (+ (sqrt 1.0) x)) (+ (sqrt (sqrt 1.0)) (sqrt x))) (pow (exp (+ (sqrt 1.0) x)) (+ (sqrt (sqrt 1.0)) (sqrt x))) (exp (+ (sqrt 1.0) x)) (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))) (pow (exp (+ (sqrt 1.0) x)) (- (- x))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))) (pow (exp (+ (sqrt 1.0) x)) (- (- x))) (pow (exp (sqrt 1.0)) (- (- (sqrt 1.0) x))) (pow (exp x) (- (- (sqrt 1.0) x))) (pow (* (cbrt (exp (+ (sqrt 1.0) x))) (cbrt (exp (+ (sqrt 1.0) x)))) (- (- (sqrt 1.0) x))) (pow (cbrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) 1 (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (exp (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (* (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (pow (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) 3) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (pow (exp (+ (sqrt 1.0) x)) (/ (- x (sqrt 1.0)) 2)) (pow (exp (+ (sqrt 1.0) x)) (/ (- x (sqrt 1.0)) 2)) (expm1 (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (log1p (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) 1 2 (- x (sqrt 1.0)) (pow (exp (+ (sqrt 1.0) x)) (* 2 (- (- (sqrt 1.0) x)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) 2) 2 (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (exp (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (pow (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) 3) (* (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (pow (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) 3) (pow (exp (+ (sqrt 1.0) x)) (* 2 (- (- (sqrt 1.0) x)))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) 1 (exp (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x))) 1 (exp (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x))) 1 (exp (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x))) 1 (exp (* (+ x (sqrt 1.0)) (- (sqrt 1.0) x))) (pow (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) 4) (* (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1)))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))) (pow (exp (+ (sqrt 1.0) x)) (- (- x))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))) (pow (exp (+ (sqrt 1.0) x)) (- (- x))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))) (pow (exp (+ (sqrt 1.0) x)) (- (- x))) (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))) (pow (exp (+ (sqrt 1.0) x)) (- (- x))) (pow (exp (sqrt 1.0)) (- (- (sqrt 1.0) x))) (pow (exp x) (- (- (sqrt 1.0) x))) (pow (* (cbrt (exp (+ (sqrt 1.0) x))) (cbrt (exp (+ (sqrt 1.0) x)))) (- (- (sqrt 1.0) x))) (pow (cbrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) 1 (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (* (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) 1 (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (exp (+ (sqrt 1.0) x)) (/ (- x (sqrt 1.0)) 2)) (pow (exp (+ (sqrt 1.0) x)) (/ (- x (sqrt 1.0)) 2)) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) 1 (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (pow (exp (+ (sqrt 1.0) x)) (/ (- x (sqrt 1.0)) 2)) (pow (exp (+ (sqrt 1.0) x)) (/ (- x (sqrt 1.0)) 2)) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (* (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (* (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) 1 2 (- x (sqrt 1.0)) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (* (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1))))))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (sqrt 1.0)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (* (cbrt (exp (+ (sqrt 1.0) x))) (cbrt (exp (+ (sqrt 1.0) x)))) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (* (fabs (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (pow (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) 3) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (pow (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) 3) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (pow (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) 4) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (fabs (pow (exp (+ (sqrt 1.0) x)) (/ x 2))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (fabs (pow (exp (+ (sqrt 1.0) x)) (/ x 2))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp x) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (cbrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x))))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (* (sqrt (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (pow (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) 3) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (* (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)))) (pow (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) 3) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (expm1 (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (log1p (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (log (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (exp (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x)))))) (cbrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (pow (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) 3) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* x 1)))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (fma (- x) 1 (* x 1))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0)))) (fabs (pow (exp (+ (sqrt 1.0) x)) (/ x 2))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0)))) (fabs (pow (exp (+ (sqrt 1.0) x)) (/ x 2))) (sqrt (pow (exp (sqrt 1.0)) (- (- (sqrt 1.0) x)))) (sqrt (pow (exp x) (- (- (sqrt 1.0) x)))) (sqrt (pow (* (cbrt (exp (+ (sqrt 1.0) x))) (cbrt (exp (+ (sqrt 1.0) x)))) (- (- (sqrt 1.0) x)))) (sqrt (pow (cbrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) (sqrt (pow (sqrt (exp (+ (sqrt 1.0) x))) (- (- (sqrt 1.0) x)))) 1 (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (fabs (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (cbrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) 1 (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2))) (sqrt (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2))) 1 (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0) x))) 1 (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (sqrt 1.0) x))) (/ (- x (sqrt 1.0)) 2) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (sqrt (sqrt (pow (exp (+ (sqrt 1.0) x)) (- (- (sqrt 1.0) x))))) (* (exp (* -1 (pow (sqrt 1.0) 2))) (+ (* 1/2 (pow x 4)) (fma x x 1))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (* (exp (* -1 (pow (sqrt 1.0) 2))) (+ (* 1/2 (pow x 4)) (fma x x 1))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (* (exp (* -1 (pow (sqrt 1.0) 2))) (+ (* 1/2 (pow x 4)) (fma x x 1))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) (fma (* 1/2 (sqrt (exp (* -1 (pow (sqrt 1.0) 2))))) (pow x 2) (* (+ (* 1/8 (pow x 4)) 1) (sqrt (exp (* -1 (pow (sqrt 1.0) 2)))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) (sqrt (exp (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) 1.591 * * * [progress]: adding candidates to table 2.314 * * [progress]: iteration 4 / 4 2.314 * * * [progress]: picking best candidate 2.324 * * * * [pick]: Picked # 2.325 * * * [progress]: localizing error 2.340 * * * [progress]: generating rewritten candidates 2.340 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 2.349 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 2.364 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 2.374 * * * [progress]: generating series expansions 2.374 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 2.375 * [approximate]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) 2) in (x) around 0 2.375 * [taylor]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) 2) in x 2.375 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 2.375 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 2.375 * [taylor]: Taking taylor expansion of x in x 2.375 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.375 * [taylor]: Taking taylor expansion of 1.0 in x 2.377 * [taylor]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) 2) in x 2.377 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 2.377 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 2.377 * [taylor]: Taking taylor expansion of x in x 2.377 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.377 * [taylor]: Taking taylor expansion of 1.0 in x 2.402 * [approximate]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) 2) in (x) around 0 2.402 * [taylor]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) 2) in x 2.402 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 2.402 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 2.402 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.402 * [taylor]: Taking taylor expansion of 1.0 in x 2.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.403 * [taylor]: Taking taylor expansion of x in x 2.404 * [taylor]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) 2) in x 2.404 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 2.404 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 2.404 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.404 * [taylor]: Taking taylor expansion of 1.0 in x 2.405 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.405 * [taylor]: Taking taylor expansion of x in x 2.415 * [approximate]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) 2) in (x) around 0 2.415 * [taylor]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) 2) in x 2.415 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 2.415 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 2.415 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.415 * [taylor]: Taking taylor expansion of 1.0 in x 2.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.415 * [taylor]: Taking taylor expansion of x in x 2.417 * [taylor]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) 2) in x 2.417 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 2.417 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 2.417 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.417 * [taylor]: Taking taylor expansion of 1.0 in x 2.417 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.417 * [taylor]: Taking taylor expansion of x in x 2.431 * * * * [progress]: [ 2 / 3 ] generating series at (2) 2.432 * [approximate]: Taking taylor expansion of (pow (pow (exp (+ x (sqrt 1.0))) 2) (* 1/2 (- x (sqrt 1.0)))) in (x) around 0 2.432 * [taylor]: Taking taylor expansion of (pow (pow (exp (+ x (sqrt 1.0))) 2) (* 1/2 (- x (sqrt 1.0)))) in x 2.432 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- x (sqrt 1.0))) (log (pow (exp (+ x (sqrt 1.0))) 2)))) in x 2.432 * [taylor]: Taking taylor expansion of (* (* 1/2 (- x (sqrt 1.0))) (log (pow (exp (+ x (sqrt 1.0))) 2))) in x 2.432 * [taylor]: Taking taylor expansion of (* 1/2 (- x (sqrt 1.0))) in x 2.432 * [taylor]: Taking taylor expansion of 1/2 in x 2.432 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 2.432 * [taylor]: Taking taylor expansion of x in x 2.432 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.432 * [taylor]: Taking taylor expansion of 1.0 in x 2.433 * [taylor]: Taking taylor expansion of (log (pow (exp (+ x (sqrt 1.0))) 2)) in x 2.433 * [taylor]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) 2) in x 2.433 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 2.433 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 2.433 * [taylor]: Taking taylor expansion of x in x 2.433 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.433 * [taylor]: Taking taylor expansion of 1.0 in x 2.446 * [taylor]: Taking taylor expansion of (pow (pow (exp (+ x (sqrt 1.0))) 2) (* 1/2 (- x (sqrt 1.0)))) in x 2.446 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- x (sqrt 1.0))) (log (pow (exp (+ x (sqrt 1.0))) 2)))) in x 2.446 * [taylor]: Taking taylor expansion of (* (* 1/2 (- x (sqrt 1.0))) (log (pow (exp (+ x (sqrt 1.0))) 2))) in x 2.446 * [taylor]: Taking taylor expansion of (* 1/2 (- x (sqrt 1.0))) in x 2.446 * [taylor]: Taking taylor expansion of 1/2 in x 2.446 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 2.446 * [taylor]: Taking taylor expansion of x in x 2.446 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.446 * [taylor]: Taking taylor expansion of 1.0 in x 2.447 * [taylor]: Taking taylor expansion of (log (pow (exp (+ x (sqrt 1.0))) 2)) in x 2.447 * [taylor]: Taking taylor expansion of (pow (exp (+ x (sqrt 1.0))) 2) in x 2.447 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 2.447 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 2.447 * [taylor]: Taking taylor expansion of x in x 2.447 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.447 * [taylor]: Taking taylor expansion of 1.0 in x 2.581 * [approximate]: Taking taylor expansion of (pow (pow (exp (+ (sqrt 1.0) (/ 1 x))) 2) (* 1/2 (- (/ 1 x) (sqrt 1.0)))) in (x) around 0 2.581 * [taylor]: Taking taylor expansion of (pow (pow (exp (+ (sqrt 1.0) (/ 1 x))) 2) (* 1/2 (- (/ 1 x) (sqrt 1.0)))) in x 2.581 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 x) (sqrt 1.0))) (log (pow (exp (+ (sqrt 1.0) (/ 1 x))) 2)))) in x 2.581 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 x) (sqrt 1.0))) (log (pow (exp (+ (sqrt 1.0) (/ 1 x))) 2))) in x 2.581 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 x) (sqrt 1.0))) in x 2.581 * [taylor]: Taking taylor expansion of 1/2 in x 2.581 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 2.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.581 * [taylor]: Taking taylor expansion of x in x 2.581 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.581 * [taylor]: Taking taylor expansion of 1.0 in x 2.582 * [taylor]: Taking taylor expansion of (log (pow (exp (+ (sqrt 1.0) (/ 1 x))) 2)) in x 2.582 * [taylor]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) 2) in x 2.582 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 2.582 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 2.582 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.582 * [taylor]: Taking taylor expansion of 1.0 in x 2.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.583 * [taylor]: Taking taylor expansion of x in x 2.586 * [taylor]: Taking taylor expansion of (pow (pow (exp (+ (sqrt 1.0) (/ 1 x))) 2) (* 1/2 (- (/ 1 x) (sqrt 1.0)))) in x 2.586 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 x) (sqrt 1.0))) (log (pow (exp (+ (sqrt 1.0) (/ 1 x))) 2)))) in x 2.586 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 x) (sqrt 1.0))) (log (pow (exp (+ (sqrt 1.0) (/ 1 x))) 2))) in x 2.586 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 x) (sqrt 1.0))) in x 2.586 * [taylor]: Taking taylor expansion of 1/2 in x 2.586 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 2.586 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.586 * [taylor]: Taking taylor expansion of x in x 2.586 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.586 * [taylor]: Taking taylor expansion of 1.0 in x 2.587 * [taylor]: Taking taylor expansion of (log (pow (exp (+ (sqrt 1.0) (/ 1 x))) 2)) in x 2.587 * [taylor]: Taking taylor expansion of (pow (exp (+ (sqrt 1.0) (/ 1 x))) 2) in x 2.587 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 2.587 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 2.587 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.587 * [taylor]: Taking taylor expansion of 1.0 in x 2.588 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.588 * [taylor]: Taking taylor expansion of x in x 2.597 * [approximate]: Taking taylor expansion of (pow (pow (exp (- (sqrt 1.0) (/ 1 x))) 2) (* -1/2 (+ (sqrt 1.0) (/ 1 x)))) in (x) around 0 2.597 * [taylor]: Taking taylor expansion of (pow (pow (exp (- (sqrt 1.0) (/ 1 x))) 2) (* -1/2 (+ (sqrt 1.0) (/ 1 x)))) in x 2.597 * [taylor]: Taking taylor expansion of (exp (* (* -1/2 (+ (sqrt 1.0) (/ 1 x))) (log (pow (exp (- (sqrt 1.0) (/ 1 x))) 2)))) in x 2.597 * [taylor]: Taking taylor expansion of (* (* -1/2 (+ (sqrt 1.0) (/ 1 x))) (log (pow (exp (- (sqrt 1.0) (/ 1 x))) 2))) in x 2.597 * [taylor]: Taking taylor expansion of (* -1/2 (+ (sqrt 1.0) (/ 1 x))) in x 2.597 * [taylor]: Taking taylor expansion of -1/2 in x 2.597 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 2.597 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.597 * [taylor]: Taking taylor expansion of 1.0 in x 2.598 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.598 * [taylor]: Taking taylor expansion of x in x 2.598 * [taylor]: Taking taylor expansion of (log (pow (exp (- (sqrt 1.0) (/ 1 x))) 2)) in x 2.598 * [taylor]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) 2) in x 2.598 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 2.598 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 2.598 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.598 * [taylor]: Taking taylor expansion of 1.0 in x 2.599 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.599 * [taylor]: Taking taylor expansion of x in x 2.602 * [taylor]: Taking taylor expansion of (pow (pow (exp (- (sqrt 1.0) (/ 1 x))) 2) (* -1/2 (+ (sqrt 1.0) (/ 1 x)))) in x 2.602 * [taylor]: Taking taylor expansion of (exp (* (* -1/2 (+ (sqrt 1.0) (/ 1 x))) (log (pow (exp (- (sqrt 1.0) (/ 1 x))) 2)))) in x 2.602 * [taylor]: Taking taylor expansion of (* (* -1/2 (+ (sqrt 1.0) (/ 1 x))) (log (pow (exp (- (sqrt 1.0) (/ 1 x))) 2))) in x 2.602 * [taylor]: Taking taylor expansion of (* -1/2 (+ (sqrt 1.0) (/ 1 x))) in x 2.602 * [taylor]: Taking taylor expansion of -1/2 in x 2.602 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 2.602 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.602 * [taylor]: Taking taylor expansion of 1.0 in x 2.603 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.603 * [taylor]: Taking taylor expansion of x in x 2.603 * [taylor]: Taking taylor expansion of (log (pow (exp (- (sqrt 1.0) (/ 1 x))) 2)) in x 2.603 * [taylor]: Taking taylor expansion of (pow (exp (- (sqrt 1.0) (/ 1 x))) 2) in x 2.603 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 2.603 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 2.603 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.603 * [taylor]: Taking taylor expansion of 1.0 in x 2.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.604 * [taylor]: Taking taylor expansion of x in x 2.609 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 2.610 * [approximate]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in (x) around 0 2.610 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 2.610 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 2.610 * [taylor]: Taking taylor expansion of x in x 2.610 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.610 * [taylor]: Taking taylor expansion of 1.0 in x 2.611 * [taylor]: Taking taylor expansion of (exp (+ x (sqrt 1.0))) in x 2.611 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 2.611 * [taylor]: Taking taylor expansion of x in x 2.612 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.612 * [taylor]: Taking taylor expansion of 1.0 in x 2.622 * [approximate]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in (x) around 0 2.622 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 2.622 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 2.622 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.622 * [taylor]: Taking taylor expansion of 1.0 in x 2.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.623 * [taylor]: Taking taylor expansion of x in x 2.624 * [taylor]: Taking taylor expansion of (exp (+ (sqrt 1.0) (/ 1 x))) in x 2.624 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (/ 1 x)) in x 2.624 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.624 * [taylor]: Taking taylor expansion of 1.0 in x 2.625 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.625 * [taylor]: Taking taylor expansion of x in x 2.626 * [approximate]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in (x) around 0 2.626 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 2.626 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 2.627 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.627 * [taylor]: Taking taylor expansion of 1.0 in x 2.627 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.627 * [taylor]: Taking taylor expansion of x in x 2.628 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (/ 1 x))) in x 2.628 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 2.628 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.628 * [taylor]: Taking taylor expansion of 1.0 in x 2.629 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.629 * [taylor]: Taking taylor expansion of x in x 2.631 * * * [progress]: simplifying candidates 2.632 * [simplify]: Simplifying using # : (expm1 (pow (exp (+ (sqrt 1.0) x)) 2)) (log1p (pow (exp (+ (sqrt 1.0) x)) 2)) (* (+ (sqrt 1.0) x) 2) (* (log (exp (+ (sqrt 1.0) x))) 2) (* 1 2) (* (cbrt (+ (sqrt 1.0) x)) 2) (* (sqrt (+ (sqrt 1.0) x)) 2) (* (+ (sqrt 1.0) x) 2) (* (+ (sqrt 1.0) x) 2) (pow (exp (+ (sqrt 1.0) x)) (* (cbrt 2) (cbrt 2))) (pow (exp (+ (sqrt 1.0) x)) (sqrt 2)) (pow (exp (+ (sqrt 1.0) x)) 1) (pow (exp (sqrt 1.0)) 2) (pow (exp x) 2) (pow (* (cbrt (exp (+ (sqrt 1.0) x))) (cbrt (exp (+ (sqrt 1.0) x)))) 2) (pow (cbrt (exp (+ (sqrt 1.0) x))) 2) (pow (sqrt (exp (+ (sqrt 1.0) x))) 2) (pow (sqrt (exp (+ (sqrt 1.0) x))) 2) (pow 1 2) (pow (exp (+ (sqrt 1.0) x)) 2) (log (pow (exp (+ (sqrt 1.0) x)) 2)) (exp (pow (exp (+ (sqrt 1.0) x)) 2)) (* (cbrt (pow (exp (+ (sqrt 1.0) x)) 2)) (cbrt (pow (exp (+ (sqrt 1.0) x)) 2))) (cbrt (pow (exp (+ (sqrt 1.0) x)) 2)) (* (* (pow (exp (+ (sqrt 1.0) x)) 2) (pow (exp (+ (sqrt 1.0) x)) 2)) (pow (exp (+ (sqrt 1.0) x)) 2)) (sqrt (pow (exp (+ (sqrt 1.0) x)) 2)) (sqrt (pow (exp (+ (sqrt 1.0) x)) 2)) (pow (exp (+ (sqrt 1.0) x)) (/ 2 2)) (pow (exp (+ (sqrt 1.0) x)) (/ 2 2)) (expm1 (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2))) (log1p (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2))) (* (* (+ (sqrt 1.0) x) 2) (/ (- (- (sqrt 1.0) x)) 2)) (* (* (log (exp (+ (sqrt 1.0) x))) 2) (/ (- (- (sqrt 1.0) x)) 2)) (* (log (pow (exp (+ (sqrt 1.0) x)) 2)) (/ (- (- (sqrt 1.0) x)) 2)) (* (log (pow (exp (+ (sqrt 1.0) x)) 2)) (/ (- (- (sqrt 1.0) x)) 2)) (* 2 (/ (- (- (sqrt 1.0) x)) 2)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (sqrt 1.0) x) 2)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ 0 2)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (sqrt 1.0) x) 2)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (* (cbrt (/ (- (- (sqrt 1.0) x)) 2)) (cbrt (/ (- (- (sqrt 1.0) x)) 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (sqrt (/ (- (- (sqrt 1.0) x)) 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (* (cbrt (- (- (sqrt 1.0) x))) (cbrt (- (- (sqrt 1.0) x)))) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (* (cbrt (- (- (sqrt 1.0) x))) (cbrt (- (- (sqrt 1.0) x)))) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (* (cbrt (- (- (sqrt 1.0) x))) (cbrt (- (- (sqrt 1.0) x)))) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (sqrt (- (- (sqrt 1.0) x))) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (sqrt (- (- (sqrt 1.0) x))) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (sqrt (- (- (sqrt 1.0) x))) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ 1 (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ 1 (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ 1 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ -1 (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ -1 (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ -1 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x)))) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x)))) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x)))) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (sqrt (- (sqrt 1.0) x))) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (sqrt (- (sqrt 1.0) x))) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (sqrt (- (sqrt 1.0) x))) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- 1) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- 1) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- 1) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (+ (sqrt (sqrt 1.0)) (sqrt x))) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (+ (sqrt (sqrt 1.0)) (sqrt x))) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (+ (sqrt (sqrt 1.0)) (sqrt x))) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (+ (sqrt (sqrt 1.0)) (sqrt x))) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (+ (sqrt (sqrt 1.0)) (sqrt x))) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (+ (sqrt (sqrt 1.0)) (sqrt x))) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- 1) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- 1) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- 1) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x))) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x))) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x))) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (sqrt (- (sqrt 1.0) x)) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (sqrt (- (sqrt 1.0) x)) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (sqrt (- (sqrt 1.0) x)) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ 1 (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ 1 (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ 1 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (+ (sqrt (sqrt 1.0)) (sqrt x)) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (+ (sqrt (sqrt 1.0)) (sqrt x)) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (+ (sqrt (sqrt 1.0)) (sqrt x)) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (+ (sqrt (sqrt 1.0)) (sqrt x)) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (+ (sqrt (sqrt 1.0)) (sqrt x)) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (+ (sqrt (sqrt 1.0)) (sqrt x)) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ 1 (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ 1 (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ 1 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) 1) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (- (- (sqrt 1.0) x))) (pow (pow (exp (sqrt 1.0)) 2) (/ (- (- (sqrt 1.0) x)) 2)) (pow (pow (exp x) 2) (/ (- (- (sqrt 1.0) x)) 2)) (pow (pow (* (cbrt (exp (+ (sqrt 1.0) x))) (cbrt (exp (+ (sqrt 1.0) x)))) 2) (/ (- (- (sqrt 1.0) x)) 2)) (pow (pow (cbrt (exp (+ (sqrt 1.0) x))) 2) (/ (- (- (sqrt 1.0) x)) 2)) (pow (pow (sqrt (exp (+ (sqrt 1.0) x))) 2) (/ (- (- (sqrt 1.0) x)) 2)) (pow (pow (sqrt (exp (+ (sqrt 1.0) x))) 2) (/ (- (- (sqrt 1.0) x)) 2)) (pow (pow 1 2) (/ (- (- (sqrt 1.0) x)) 2)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2)) (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)) (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)) (pow (* (cbrt (pow (exp (+ (sqrt 1.0) x)) 2)) (cbrt (pow (exp (+ (sqrt 1.0) x)) 2))) (/ (- (- (sqrt 1.0) x)) 2)) (pow (cbrt (pow (exp (+ (sqrt 1.0) x)) 2)) (/ (- (- (sqrt 1.0) x)) 2)) (pow (sqrt (pow (exp (+ (sqrt 1.0) x)) 2)) (/ (- (- (sqrt 1.0) x)) 2)) (pow (sqrt (pow (exp (+ (sqrt 1.0) x)) 2)) (/ (- (- (sqrt 1.0) x)) 2)) (pow 1 (/ (- (- (sqrt 1.0) x)) 2)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2)) (pow (pow (exp (+ (sqrt 1.0) x)) (/ 2 2)) (/ (- (- (sqrt 1.0) x)) 2)) (pow (pow (exp (+ (sqrt 1.0) x)) (/ 2 2)) (/ (- (- (sqrt 1.0) x)) 2)) (log (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2))) (exp (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2))) (* (cbrt (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2))) (cbrt (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2)))) (cbrt (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2))) (* (* (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2))) (sqrt (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2))) (sqrt (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (/ (- (- (sqrt 1.0) x)) 2) 2)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (/ (- (- (sqrt 1.0) x)) 2) 2)) (expm1 (exp (+ (sqrt 1.0) x))) (log1p (exp (+ (sqrt 1.0) x))) (exp (* (cbrt (+ (sqrt 1.0) x)) (cbrt (+ (sqrt 1.0) x)))) (exp (sqrt (+ (sqrt 1.0) x))) (exp 1) (exp 1) (exp (sqrt 1.0)) (exp x) (log (exp (+ (sqrt 1.0) x))) (exp (exp (+ (sqrt 1.0) x))) (* (cbrt (exp (+ (sqrt 1.0) x))) (cbrt (exp (+ (sqrt 1.0) x)))) (cbrt (exp (+ (sqrt 1.0) x))) (* (* (exp (+ (sqrt 1.0) x)) (exp (+ (sqrt 1.0) x))) (exp (+ (sqrt 1.0) x))) (sqrt (exp (+ (sqrt 1.0) x))) (sqrt (exp (+ (sqrt 1.0) x))) (+ (* 2 (* (pow (exp (sqrt 1.0)) 2) x)) (+ (* 2 (* (pow (exp (sqrt 1.0)) 2) (pow x 2))) (pow (exp (sqrt 1.0)) 2))) (pow (exp (+ x (sqrt 1.0))) 2) (pow (exp (+ x (sqrt 1.0))) 2) (- (+ (exp (* -1/2 (* (log (pow (exp (sqrt 1.0)) 2)) (sqrt 1.0)))) (+ (* 1/8 (* (exp (* -1/2 (* (log (pow (exp (sqrt 1.0)) 2)) (sqrt 1.0)))) (* (pow (log (pow (exp (sqrt 1.0)) 2)) 2) (pow x 2)))) (+ (* (exp (* -1/2 (* (log (pow (exp (sqrt 1.0)) 2)) (sqrt 1.0)))) (pow x 2)) (+ (* 1/2 (* (exp (* -1/2 (* (log (pow (exp (sqrt 1.0)) 2)) (sqrt 1.0)))) (* (log (pow (exp (sqrt 1.0)) 2)) x))) (* 1/2 (* (exp (* -1/2 (* (log (pow (exp (sqrt 1.0)) 2)) (sqrt 1.0)))) (* (pow (sqrt 1.0) 2) (pow x 2)))))))) (+ (* (exp (* -1/2 (* (log (pow (exp (sqrt 1.0)) 2)) (sqrt 1.0)))) (* (sqrt 1.0) x)) (* 1/2 (* (exp (* -1/2 (* (log (pow (exp (sqrt 1.0)) 2)) (sqrt 1.0)))) (* (sqrt 1.0) (* (log (pow (exp (sqrt 1.0)) 2)) (pow x 2))))))) (exp (* 1/2 (* (log (pow (exp (+ x (sqrt 1.0))) 2)) (- x (sqrt 1.0))))) (exp (* -1/2 (* (- (sqrt 1.0) x) (log (pow (exp (+ x (sqrt 1.0))) 2))))) (+ (* (exp (sqrt 1.0)) x) (+ (exp (sqrt 1.0)) (* 1/2 (* (exp (sqrt 1.0)) (pow x 2))))) (exp (+ x (sqrt 1.0))) (exp (+ x (sqrt 1.0))) 2.641 * * [simplify]: iteration 0 : 622 enodes (cost 1222 ) 2.652 * * [simplify]: iteration 1 : 2381 enodes (cost 1171 ) 2.692 * * [simplify]: iteration 2 : 5002 enodes (cost 1124 ) 2.698 * [simplify]: Simplified to: (expm1 (pow (exp (+ (sqrt 1.0) x)) 2)) (log1p (pow (exp (+ (sqrt 1.0) x)) 2)) (* (+ (sqrt 1.0) x) 2) (* (+ (sqrt 1.0) x) 2) 2 (* (cbrt (+ (sqrt 1.0) x)) 2) (* (sqrt (+ (sqrt 1.0) x)) 2) (* (+ (sqrt 1.0) x) 2) (* (+ (sqrt 1.0) x) 2) (pow (exp (+ (sqrt 1.0) x)) (* (cbrt 2) (cbrt 2))) (pow (exp (+ (sqrt 1.0) x)) (sqrt 2)) (exp (+ (sqrt 1.0) x)) (pow (exp (sqrt 1.0)) 2) (pow (exp x) 2) (pow (cbrt (exp (+ (sqrt 1.0) x))) 4) (pow (cbrt (exp (+ (sqrt 1.0) x))) 2) (exp (+ (sqrt 1.0) x)) (exp (+ (sqrt 1.0) x)) 1 (pow (exp (+ (sqrt 1.0) x)) 2) (* (+ (sqrt 1.0) x) 2) (exp (pow (exp (+ (sqrt 1.0) x)) 2)) (* (cbrt (pow (exp (+ (sqrt 1.0) x)) 2)) (cbrt (pow (exp (+ (sqrt 1.0) x)) 2))) (cbrt (pow (exp (+ (sqrt 1.0) x)) 2)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) 3) (exp (+ (sqrt 1.0) x)) (exp (+ (sqrt 1.0) x)) (exp (+ (sqrt 1.0) x)) (exp (+ (sqrt 1.0) x)) (expm1 (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2))) (log1p (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2))) (* (- x (sqrt 1.0)) (+ (sqrt 1.0) x)) (* (- x (sqrt 1.0)) (+ (sqrt 1.0) x)) (* (- x (sqrt 1.0)) (+ (sqrt 1.0) x)) (* (- x (sqrt 1.0)) (+ (sqrt 1.0) x)) (- x (sqrt 1.0)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (sqrt 1.0) x) 2)) 1 (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (sqrt 1.0) x) 2)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (* (cbrt (/ (- (- (sqrt 1.0) x)) 2)) (cbrt (/ (- (- (sqrt 1.0) x)) 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (sqrt (/ (- (- (sqrt 1.0) x)) 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (* (cbrt (- (- (sqrt 1.0) x))) (cbrt (- (- (sqrt 1.0) x)))) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (* (cbrt (- (- (sqrt 1.0) x))) (cbrt (- (- (sqrt 1.0) x)))) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (* (cbrt (- (- (sqrt 1.0) x))) (cbrt (- (- (sqrt 1.0) x)))) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (sqrt (- (- (sqrt 1.0) x))) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (sqrt (- (- (sqrt 1.0) x))) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (sqrt (- (- (sqrt 1.0) x))) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ 1 (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ 1 (sqrt 2))) (pow (exp (+ (sqrt 1.0) x)) 2) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ -1 (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ -1 (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) -1) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x)))) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x)))) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x)))) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (sqrt (- (sqrt 1.0) x))) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (sqrt (- (sqrt 1.0) x))) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (sqrt (- (sqrt 1.0) x))) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ -1 (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ -1 (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) -1) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (+ (sqrt (sqrt 1.0)) (sqrt x))) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (+ (sqrt (sqrt 1.0)) (sqrt x))) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (+ (sqrt (sqrt 1.0)) (sqrt x))) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (+ (sqrt (sqrt 1.0)) (sqrt x))) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (+ (sqrt (sqrt 1.0)) (sqrt x))) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (+ (sqrt (sqrt 1.0)) (sqrt x))) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ -1 (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ -1 (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) -1) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x))) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x))) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (* (cbrt (- (sqrt 1.0) x)) (cbrt (- (sqrt 1.0) x))) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (sqrt (- (sqrt 1.0) x)) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (sqrt (- (sqrt 1.0) x)) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (sqrt (- (sqrt 1.0) x)) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ 1 (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ 1 (sqrt 2))) (pow (exp (+ (sqrt 1.0) x)) 2) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (+ (sqrt (sqrt 1.0)) (sqrt x)) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (+ (sqrt (sqrt 1.0)) (sqrt x)) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (+ (sqrt (sqrt 1.0)) (sqrt x)) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (+ (sqrt (sqrt 1.0)) (sqrt x)) (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (+ (sqrt (sqrt 1.0)) (sqrt x)) (sqrt 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (+ (sqrt (sqrt 1.0)) (sqrt x)) 1)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ 1 (* (cbrt 2) (cbrt 2)))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ 1 (sqrt 2))) (pow (exp (+ (sqrt 1.0) x)) 2) (pow (exp (+ (sqrt 1.0) x)) 2) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (- x (sqrt 1.0))) (pow (pow (exp (sqrt 1.0)) 2) (/ (- (- (sqrt 1.0) x)) 2)) (pow (pow (exp x) 2) (/ (- (- (sqrt 1.0) x)) 2)) (pow (pow (cbrt (exp (+ (sqrt 1.0) x))) 4) (* 2 (/ (- (- (sqrt 1.0) x)) 4))) (pow (pow (cbrt (exp (+ (sqrt 1.0) x))) 2) (/ (- (- (sqrt 1.0) x)) 2)) (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)) (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)) 1 (pow (exp (+ (sqrt 1.0) x)) (- x (sqrt 1.0))) (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)) (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)) (pow (* (cbrt (pow (exp (+ (sqrt 1.0) x)) 2)) (cbrt (pow (exp (+ (sqrt 1.0) x)) 2))) (/ (- (- (sqrt 1.0) x)) 2)) (pow (cbrt (pow (exp (+ (sqrt 1.0) x)) 2)) (/ (- (- (sqrt 1.0) x)) 2)) (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)) (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)) 1 (pow (exp (+ (sqrt 1.0) x)) (- x (sqrt 1.0))) (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)) (pow (exp (+ (sqrt 1.0) x)) (/ (- (- (sqrt 1.0) x)) 2)) (* (- x (sqrt 1.0)) (+ (sqrt 1.0) x)) (exp (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2))) (* (cbrt (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2))) (cbrt (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2)))) (cbrt (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2))) (pow (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2)) 3) (sqrt (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2))) (sqrt (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (- (- (sqrt 1.0) x)) 2))) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (/ (- (- (sqrt 1.0) x)) 2) 2)) (pow (pow (exp (+ (sqrt 1.0) x)) 2) (/ (/ (- (- (sqrt 1.0) x)) 2) 2)) (expm1 (exp (+ (sqrt 1.0) x))) (log1p (exp (+ (sqrt 1.0) x))) (exp (* (cbrt (+ (sqrt 1.0) x)) (cbrt (+ (sqrt 1.0) x)))) (exp (sqrt (+ (sqrt 1.0) x))) E E (exp (sqrt 1.0)) (exp x) (+ (sqrt 1.0) x) (exp (exp (+ (sqrt 1.0) x))) (pow (cbrt (exp (+ (sqrt 1.0) x))) 2) (cbrt (exp (+ (sqrt 1.0) x))) (pow (exp (+ (sqrt 1.0) x)) 3) (pow (exp (+ (sqrt 1.0) x)) 1/2) (pow (exp (+ (sqrt 1.0) x)) 1/2) (fma (* 2 (pow (exp (sqrt 1.0)) 2)) (+ x (pow x 2)) (pow (exp (sqrt 1.0)) 2)) (pow (exp (+ (sqrt 1.0) x)) 2) (pow (exp (+ (sqrt 1.0) x)) 2) (+ (+ (fma (* 1/8 (exp (* -1/2 (* (log (pow (exp (sqrt 1.0)) 2)) (sqrt 1.0))))) (* (pow (log (pow (exp (sqrt 1.0)) 2)) 2) (pow x 2)) (* (exp (* -1/2 (* (log (pow (exp (sqrt 1.0)) 2)) (sqrt 1.0)))) (pow x 2))) (- (* (* 1/2 (exp (* -1/2 (* (log (pow (exp (sqrt 1.0)) 2)) (sqrt 1.0))))) (+ (* (log (pow (exp (sqrt 1.0)) 2)) x) (* (pow (sqrt 1.0) 2) (pow x 2)))) (fma (exp (* -1/2 (* (log (pow (exp (sqrt 1.0)) 2)) (sqrt 1.0)))) (* (sqrt 1.0) x) (* 1/2 (* (exp (* -1/2 (* (log (pow (exp (sqrt 1.0)) 2)) (sqrt 1.0)))) (* (sqrt 1.0) (* (log (pow (exp (sqrt 1.0)) 2)) (pow x 2)))))))) (exp (* -1/2 (* (log (pow (exp (sqrt 1.0)) 2)) (sqrt 1.0))))) (pow (exp (+ (sqrt 1.0) x)) (- x (sqrt 1.0))) (pow (exp (+ (sqrt 1.0) x)) (- x (sqrt 1.0))) (fma (+ x 1) (exp (sqrt 1.0)) (* 1/2 (* (exp (sqrt 1.0)) (pow x 2)))) (exp (+ (sqrt 1.0) x)) (exp (+ (sqrt 1.0) x)) 2.699 * * * [progress]: adding candidates to table 2.986 * [progress]: [Phase 3 of 3] Extracting. 2.986 * * [regime]: Finding splitpoints for: (# # #) 2.987 * * * [regime-changes]: Trying 1 branch expressions: (x) 2.987 * * * * [regimes]: Trying to branch on x from (# # #) 3.004 * * * [regime]: Found split indices: #