7.767 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.016 * [progress]: [Phase 2 of 3] Improving.
0.016 * [simplify]: Simplifying:
  (/ 2.0 (+ (exp x) (exp (- x))))
0.017 * [simplify]: Sending expressions to egg_math:
 (/ h0 (+ (exp h1) (exp (- h1))))
0.019 * * [simplify]: iteration  0 :  10  enodes  (cost  5 )
0.020 * * [simplify]: iteration  1 :  12  enodes  (cost  5 )
0.021 * * [simplify]: iteration  2 :  14  enodes  (cost  5 )
0.022 * * [simplify]: iteration  3 :  15  enodes  (cost  5 )
0.024 * * [simplify]: iteration  4 :  20  enodes  (cost  5 )
0.025 * * [simplify]: iteration  5 :  40  enodes  (cost  5 )
0.027 * * [simplify]: iteration  6 :  61  enodes  (cost  5 )
0.029 * * [simplify]: iteration  7 :  150  enodes  (cost  5 )
0.036 * * [simplify]: iteration  8 :  1040  enodes  (cost  5 )
0.237 * * [simplify]: iteration  9 :  5002  enodes  (cost  5 )
0.239 * * [progress]: iteration 1 / 4
0.239 * * * [progress]: picking best candidate
0.241 * * * * [pick]: Picked  #<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))>
0.241 * * * [progress]: localizing error
0.248 * * * [progress]: generating rewritten candidates
0.248 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.271 * * * [progress]: generating series expansions
0.271 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.271 * [backup-simplify]: Simplify (/ 2.0 (+ (exp x) (exp (- x)))) into (/ 2.0 (+ (exp x) (exp (- x))))
0.271 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in (x) around 0
0.271 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x
0.271 * [taylor]: Taking taylor expansion of 2.0 in x
0.271 * [backup-simplify]: Simplify 2.0 into 2.0
0.272 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.272 * [taylor]: Taking taylor expansion of (exp x) in x
0.272 * [taylor]: Taking taylor expansion of x in x
0.272 * [backup-simplify]: Simplify 0 into 0
0.272 * [backup-simplify]: Simplify 1 into 1
0.272 * [backup-simplify]: Simplify (exp 0) into 1
0.272 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.272 * [taylor]: Taking taylor expansion of (- x) in x
0.272 * [taylor]: Taking taylor expansion of x in x
0.272 * [backup-simplify]: Simplify 0 into 0
0.272 * [backup-simplify]: Simplify 1 into 1
0.272 * [backup-simplify]: Simplify (- 0) into 0
0.272 * [backup-simplify]: Simplify (- 1) into -1
0.272 * [backup-simplify]: Simplify (exp 0) into 1
0.273 * [backup-simplify]: Simplify (+ 1 1) into 2
0.273 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
0.273 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x
0.273 * [taylor]: Taking taylor expansion of 2.0 in x
0.273 * [backup-simplify]: Simplify 2.0 into 2.0
0.273 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.273 * [taylor]: Taking taylor expansion of (exp x) in x
0.273 * [taylor]: Taking taylor expansion of x in x
0.273 * [backup-simplify]: Simplify 0 into 0
0.273 * [backup-simplify]: Simplify 1 into 1
0.273 * [backup-simplify]: Simplify (exp 0) into 1
0.273 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.273 * [taylor]: Taking taylor expansion of (- x) in x
0.273 * [taylor]: Taking taylor expansion of x in x
0.273 * [backup-simplify]: Simplify 0 into 0
0.273 * [backup-simplify]: Simplify 1 into 1
0.273 * [backup-simplify]: Simplify (- 0) into 0
0.273 * [backup-simplify]: Simplify (- 1) into -1
0.274 * [backup-simplify]: Simplify (exp 0) into 1
0.274 * [backup-simplify]: Simplify (+ 1 1) into 2
0.274 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
0.274 * [backup-simplify]: Simplify 1.0 into 1.0
0.275 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.275 * [backup-simplify]: Simplify (- 1) into -1
0.276 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.276 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.276 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)))) into 0
0.276 * [backup-simplify]: Simplify 0 into 0
0.277 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.277 * [backup-simplify]: Simplify (- 1) into -1
0.278 * [backup-simplify]: Simplify (- 0) into 0
0.279 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.279 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
0.281 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 1 2)) (* 0 (/ 0 2)))) into (- 0.5)
0.281 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.282 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
0.283 * [backup-simplify]: Simplify (- 1) into -1
0.283 * [backup-simplify]: Simplify (- 1) into -1
0.283 * [backup-simplify]: Simplify (- 0) into 0
0.283 * [backup-simplify]: Simplify (- 0) into 0
0.285 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
0.285 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
0.286 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)) (* 0 (/ 1 2)) (* (- 0.5) (/ 0 2)))) into 0
0.286 * [backup-simplify]: Simplify 0 into 0
0.288 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
0.288 * [backup-simplify]: Simplify (- 1) into -1
0.288 * [backup-simplify]: Simplify (- 1) into -1
0.289 * [backup-simplify]: Simplify (- 0) into 0
0.289 * [backup-simplify]: Simplify (- 1) into -1
0.289 * [backup-simplify]: Simplify (- 0) into 0
0.289 * [backup-simplify]: Simplify (- 0) into 0
0.290 * [backup-simplify]: Simplify (- 0) into 0
0.292 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
0.292 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
0.296 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 1/12 2)) (* 0 (/ 0 2)) (* (- 0.5) (/ 1 2)) (* 0 (/ 0 2)))) into 0.20833333333333334
0.296 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
0.296 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 (pow x 4)) (+ (* (- 0.5) (pow x 2)) 1.0)) into (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2)))
0.297 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.297 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
0.297 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
0.297 * [taylor]: Taking taylor expansion of 2.0 in x
0.297 * [backup-simplify]: Simplify 2.0 into 2.0
0.297 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.297 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.297 * [taylor]: Taking taylor expansion of x in x
0.297 * [backup-simplify]: Simplify 0 into 0
0.297 * [backup-simplify]: Simplify 1 into 1
0.297 * [backup-simplify]: Simplify (/ 1 1) into 1
0.297 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.297 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.297 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.297 * [taylor]: Taking taylor expansion of x in x
0.297 * [backup-simplify]: Simplify 0 into 0
0.297 * [backup-simplify]: Simplify 1 into 1
0.297 * [backup-simplify]: Simplify (/ 1 1) into 1
0.298 * [backup-simplify]: Simplify (- 1) into -1
0.298 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
0.298 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.298 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.298 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
0.298 * [taylor]: Taking taylor expansion of 2.0 in x
0.298 * [backup-simplify]: Simplify 2.0 into 2.0
0.298 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.298 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.298 * [taylor]: Taking taylor expansion of x in x
0.298 * [backup-simplify]: Simplify 0 into 0
0.298 * [backup-simplify]: Simplify 1 into 1
0.298 * [backup-simplify]: Simplify (/ 1 1) into 1
0.298 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.298 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.298 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.298 * [taylor]: Taking taylor expansion of x in x
0.298 * [backup-simplify]: Simplify 0 into 0
0.298 * [backup-simplify]: Simplify 1 into 1
0.299 * [backup-simplify]: Simplify (/ 1 1) into 1
0.299 * [backup-simplify]: Simplify (- 1) into -1
0.299 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
0.299 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.299 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.299 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.300 * [backup-simplify]: Simplify (+ 0 0) into 0
0.300 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.300 * [backup-simplify]: Simplify 0 into 0
0.300 * [backup-simplify]: Simplify (+ 0 0) into 0
0.301 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.301 * [backup-simplify]: Simplify 0 into 0
0.301 * [backup-simplify]: Simplify (+ 0 0) into 0
0.301 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.301 * [backup-simplify]: Simplify 0 into 0
0.302 * [backup-simplify]: Simplify (+ 0 0) into 0
0.302 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.302 * [backup-simplify]: Simplify 0 into 0
0.303 * [backup-simplify]: Simplify (+ 0 0) into 0
0.303 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.303 * [backup-simplify]: Simplify 0 into 0
0.304 * [backup-simplify]: Simplify (+ 0 0) into 0
0.304 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.304 * [backup-simplify]: Simplify 0 into 0
0.304 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ 2.0 (+ (exp x) (exp (- x))))
0.305 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.305 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
0.305 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
0.305 * [taylor]: Taking taylor expansion of 2.0 in x
0.305 * [backup-simplify]: Simplify 2.0 into 2.0
0.305 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.305 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.305 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.305 * [taylor]: Taking taylor expansion of x in x
0.305 * [backup-simplify]: Simplify 0 into 0
0.305 * [backup-simplify]: Simplify 1 into 1
0.305 * [backup-simplify]: Simplify (/ 1 1) into 1
0.305 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.305 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.305 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.305 * [taylor]: Taking taylor expansion of -1 in x
0.305 * [backup-simplify]: Simplify -1 into -1
0.305 * [taylor]: Taking taylor expansion of x in x
0.305 * [backup-simplify]: Simplify 0 into 0
0.305 * [backup-simplify]: Simplify 1 into 1
0.305 * [backup-simplify]: Simplify (/ -1 1) into -1
0.306 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.306 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.306 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.306 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
0.306 * [taylor]: Taking taylor expansion of 2.0 in x
0.306 * [backup-simplify]: Simplify 2.0 into 2.0
0.306 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.306 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.306 * [taylor]: Taking taylor expansion of x in x
0.306 * [backup-simplify]: Simplify 0 into 0
0.306 * [backup-simplify]: Simplify 1 into 1
0.306 * [backup-simplify]: Simplify (/ 1 1) into 1
0.306 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.306 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.306 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.306 * [taylor]: Taking taylor expansion of -1 in x
0.306 * [backup-simplify]: Simplify -1 into -1
0.306 * [taylor]: Taking taylor expansion of x in x
0.306 * [backup-simplify]: Simplify 0 into 0
0.306 * [backup-simplify]: Simplify 1 into 1
0.307 * [backup-simplify]: Simplify (/ -1 1) into -1
0.310 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.310 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.310 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.310 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.311 * [backup-simplify]: Simplify (+ 0 0) into 0
0.311 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.311 * [backup-simplify]: Simplify 0 into 0
0.311 * [backup-simplify]: Simplify (+ 0 0) into 0
0.312 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.312 * [backup-simplify]: Simplify 0 into 0
0.312 * [backup-simplify]: Simplify (+ 0 0) into 0
0.313 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.313 * [backup-simplify]: Simplify 0 into 0
0.313 * [backup-simplify]: Simplify (+ 0 0) into 0
0.313 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.313 * [backup-simplify]: Simplify 0 into 0
0.314 * [backup-simplify]: Simplify (+ 0 0) into 0
0.314 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.314 * [backup-simplify]: Simplify 0 into 0
0.315 * [backup-simplify]: Simplify (+ 0 0) into 0
0.315 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.315 * [backup-simplify]: Simplify 0 into 0
0.315 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2.0 (+ (exp (* -1 x)) (exp x)))
0.315 * * * [progress]: simplifying candidates
0.316 * [simplify]: Simplifying:
  (- (log 2.0) (log (+ (exp x) (exp (- x)))))
  (log (/ 2.0 (+ (exp x) (exp (- x)))))
  (exp (/ 2.0 (+ (exp x) (exp (- x)))))
  (/ (* (* 2.0 2.0) 2.0) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))
  (* (cbrt (/ 2.0 (+ (exp x) (exp (- x))))) (cbrt (/ 2.0 (+ (exp x) (exp (- x))))))
  (cbrt (/ 2.0 (+ (exp x) (exp (- x)))))
  (* (* (/ 2.0 (+ (exp x) (exp (- x)))) (/ 2.0 (+ (exp x) (exp (- x))))) (/ 2.0 (+ (exp x) (exp (- x)))))
  (sqrt (/ 2.0 (+ (exp x) (exp (- x)))))
  (sqrt (/ 2.0 (+ (exp x) (exp (- x)))))
  (- 2.0)
  (- (+ (exp x) (exp (- x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (cbrt 2.0) (cbrt (+ (exp x) (exp (- x)))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ (exp x) (exp (- x)))))
  (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (+ (exp x) (exp (- x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (+ (exp x) (exp (- x))))
  (/ (sqrt 2.0) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (sqrt 2.0) (cbrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ 2.0 (cbrt (+ (exp x) (exp (- x)))))
  (/ 1 (sqrt (+ (exp x) (exp (- x)))))
  (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))
  (/ 1 1)
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 1 1)
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 1 (+ (exp x) (exp (- x))))
  (/ (+ (exp x) (exp (- x))) 2.0)
  (/ 2.0 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))
  (/ 2.0 1)
  (/ 2.0 1)
  (/ (+ (exp x) (exp (- x))) (cbrt 2.0))
  (/ (+ (exp x) (exp (- x))) (sqrt 2.0))
  (/ (+ (exp x) (exp (- x))) 2.0)
  (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ 2.0 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))
  (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2)))
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 2.0 (+ (exp (* -1 x)) (exp x)))
0.316 * [simplify]: Sending expressions to egg_math:
 (- (log h0) (log (+ (exp h1) (exp (- h1)))))
 (log (/ h0 (+ (exp h1) (exp (- h1)))))
 (exp (/ h0 (+ (exp h1) (exp (- h1)))))
 (/ (* (* h0 h0) h0) (* (* (+ (exp h1) (exp (- h1))) (+ (exp h1) (exp (- h1)))) (+ (exp h1) (exp (- h1)))))
 (* (cbrt (/ h0 (+ (exp h1) (exp (- h1))))) (cbrt (/ h0 (+ (exp h1) (exp (- h1))))))
 (cbrt (/ h0 (+ (exp h1) (exp (- h1)))))
 (* (* (/ h0 (+ (exp h1) (exp (- h1)))) (/ h0 (+ (exp h1) (exp (- h1))))) (/ h0 (+ (exp h1) (exp (- h1)))))
 (sqrt (/ h0 (+ (exp h1) (exp (- h1)))))
 (sqrt (/ h0 (+ (exp h1) (exp (- h1)))))
 (- h0)
 (- (+ (exp h1) (exp (- h1))))
 (/ (* (cbrt h0) (cbrt h0)) (* (cbrt (+ (exp h1) (exp (- h1)))) (cbrt (+ (exp h1) (exp (- h1))))))
 (/ (cbrt h0) (cbrt (+ (exp h1) (exp (- h1)))))
 (/ (* (cbrt h0) (cbrt h0)) (sqrt (+ (exp h1) (exp (- h1)))))
 (/ (cbrt h0) (sqrt (+ (exp h1) (exp (- h1)))))
 (/ (* (cbrt h0) (cbrt h0)) 1)
 (/ (cbrt h0) (+ (exp h1) (exp (- h1))))
 (/ (* (cbrt h0) (cbrt h0)) 1)
 (/ (cbrt h0) (+ (exp h1) (exp (- h1))))
 (/ (sqrt h0) (* (cbrt (+ (exp h1) (exp (- h1)))) (cbrt (+ (exp h1) (exp (- h1))))))
 (/ (sqrt h0) (cbrt (+ (exp h1) (exp (- h1)))))
 (/ (sqrt h0) (sqrt (+ (exp h1) (exp (- h1)))))
 (/ (sqrt h0) (sqrt (+ (exp h1) (exp (- h1)))))
 (/ (sqrt h0) 1)
 (/ (sqrt h0) (+ (exp h1) (exp (- h1))))
 (/ (sqrt h0) 1)
 (/ (sqrt h0) (+ (exp h1) (exp (- h1))))
 (/ 1 (* (cbrt (+ (exp h1) (exp (- h1)))) (cbrt (+ (exp h1) (exp (- h1))))))
 (/ h0 (cbrt (+ (exp h1) (exp (- h1)))))
 (/ 1 (sqrt (+ (exp h1) (exp (- h1)))))
 (/ h0 (sqrt (+ (exp h1) (exp (- h1)))))
 (/ 1 1)
 (/ h0 (+ (exp h1) (exp (- h1))))
 (/ 1 1)
 (/ h0 (+ (exp h1) (exp (- h1))))
 (/ 1 (+ (exp h1) (exp (- h1))))
 (/ (+ (exp h1) (exp (- h1))) h0)
 (/ h0 (* (cbrt (+ (exp h1) (exp (- h1)))) (cbrt (+ (exp h1) (exp (- h1))))))
 (/ h0 (sqrt (+ (exp h1) (exp (- h1)))))
 (/ h0 1)
 (/ h0 1)
 (/ (+ (exp h1) (exp (- h1))) (cbrt h0))
 (/ (+ (exp h1) (exp (- h1))) (sqrt h0))
 (/ (+ (exp h1) (exp (- h1))) h0)
 (/ h0 (+ (pow (exp h1) 3) (pow (exp (- h1)) 3)))
 (/ h0 (- (* (exp h1) (exp h1)) (* (exp (- h1)) (exp (- h1)))))
 (- (+ (* h2 (pow h1 4)) h3) (* h4 (pow h1 2)))
 (/ h0 (+ (exp h1) (exp (- h1))))
 (/ h0 (+ (exp (* -1 h1)) (exp h1)))
0.320 * * [simplify]: iteration  0 :  163  enodes  (cost  311 )
0.323 * * [simplify]: iteration  1 :  549  enodes  (cost  289 )
0.333 * * [simplify]: iteration  2 :  2172  enodes  (cost  288 )
0.389 * * [simplify]: iteration  3 :  5001  enodes  (cost  288 )
0.390 * * * [progress]: adding candidates to table
0.466 * * [progress]: iteration 2 / 4
0.466 * * * [progress]: picking best candidate
0.467 * * * * [pick]: Picked  #<alt (λ (x) (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))>
0.468 * * * [progress]: localizing error
0.476 * * * [progress]: generating rewritten candidates
0.476 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.516 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.570 * * * [progress]: generating series expansions
0.570 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.571 * [backup-simplify]: Simplify (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) into (/ (+ (exp x) (exp (- x))) (sqrt 2.0))
0.571 * [approximate]: Taking taylor expansion of (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) in (x) around 0
0.571 * [taylor]: Taking taylor expansion of (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) in x
0.571 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.571 * [taylor]: Taking taylor expansion of (exp x) in x
0.571 * [taylor]: Taking taylor expansion of x in x
0.571 * [backup-simplify]: Simplify 0 into 0
0.571 * [backup-simplify]: Simplify 1 into 1
0.571 * [backup-simplify]: Simplify (exp 0) into 1
0.571 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.571 * [taylor]: Taking taylor expansion of (- x) in x
0.571 * [taylor]: Taking taylor expansion of x in x
0.571 * [backup-simplify]: Simplify 0 into 0
0.571 * [backup-simplify]: Simplify 1 into 1
0.571 * [backup-simplify]: Simplify (- 0) into 0
0.571 * [backup-simplify]: Simplify (- 1) into -1
0.571 * [backup-simplify]: Simplify (exp 0) into 1
0.571 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.571 * [taylor]: Taking taylor expansion of 2.0 in x
0.571 * [backup-simplify]: Simplify 2.0 into 2.0
0.572 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
0.572 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
0.572 * [backup-simplify]: Simplify (+ 1 1) into 2
0.573 * [backup-simplify]: Simplify (/ 2 (sqrt 2.0)) into (/ 2 (sqrt 2.0))
0.573 * [taylor]: Taking taylor expansion of (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) in x
0.573 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.573 * [taylor]: Taking taylor expansion of (exp x) in x
0.573 * [taylor]: Taking taylor expansion of x in x
0.573 * [backup-simplify]: Simplify 0 into 0
0.573 * [backup-simplify]: Simplify 1 into 1
0.573 * [backup-simplify]: Simplify (exp 0) into 1
0.573 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.573 * [taylor]: Taking taylor expansion of (- x) in x
0.573 * [taylor]: Taking taylor expansion of x in x
0.573 * [backup-simplify]: Simplify 0 into 0
0.573 * [backup-simplify]: Simplify 1 into 1
0.573 * [backup-simplify]: Simplify (- 0) into 0
0.574 * [backup-simplify]: Simplify (- 1) into -1
0.574 * [backup-simplify]: Simplify (exp 0) into 1
0.574 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.574 * [taylor]: Taking taylor expansion of 2.0 in x
0.574 * [backup-simplify]: Simplify 2.0 into 2.0
0.574 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
0.574 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
0.575 * [backup-simplify]: Simplify (+ 1 1) into 2
0.575 * [backup-simplify]: Simplify (/ 2 (sqrt 2.0)) into (/ 2 (sqrt 2.0))
0.576 * [backup-simplify]: Simplify (/ 2 (sqrt 2.0)) into (/ 2 (sqrt 2.0))
0.576 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.577 * [backup-simplify]: Simplify (- 1) into -1
0.577 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.577 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.578 * [backup-simplify]: Simplify (- (/ 0 (sqrt 2.0)) (+ (* (/ 2 (sqrt 2.0)) (/ 0 (sqrt 2.0))))) into 0
0.578 * [backup-simplify]: Simplify 0 into 0
0.579 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.579 * [backup-simplify]: Simplify (- 1) into -1
0.579 * [backup-simplify]: Simplify (- 0) into 0
0.580 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.581 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
0.581 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0
0.583 * [backup-simplify]: Simplify (- (/ 1 (sqrt 2.0)) (+ (* (/ 2 (sqrt 2.0)) (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))))) into (/ 1 (sqrt 2.0))
0.584 * [backup-simplify]: Simplify (/ 1 (sqrt 2.0)) into (/ 1 (sqrt 2.0))
0.585 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
0.586 * [backup-simplify]: Simplify (- 1) into -1
0.586 * [backup-simplify]: Simplify (- 1) into -1
0.586 * [backup-simplify]: Simplify (- 0) into 0
0.586 * [backup-simplify]: Simplify (- 0) into 0
0.587 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
0.588 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
0.588 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.589 * [backup-simplify]: Simplify (- (/ 0 (sqrt 2.0)) (+ (* (/ 2 (sqrt 2.0)) (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* (/ 1 (sqrt 2.0)) (/ 0 (sqrt 2.0))))) into 0
0.589 * [backup-simplify]: Simplify 0 into 0
0.592 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
0.592 * [backup-simplify]: Simplify (- 1) into -1
0.592 * [backup-simplify]: Simplify (- 1) into -1
0.592 * [backup-simplify]: Simplify (- 0) into 0
0.593 * [backup-simplify]: Simplify (- 1) into -1
0.593 * [backup-simplify]: Simplify (- 0) into 0
0.593 * [backup-simplify]: Simplify (- 0) into 0
0.593 * [backup-simplify]: Simplify (- 0) into 0
0.595 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
0.596 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
0.596 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.599 * [backup-simplify]: Simplify (- (/ 1/12 (sqrt 2.0)) (+ (* (/ 2 (sqrt 2.0)) (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* (/ 1 (sqrt 2.0)) (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))))) into (* 1/12 (/ 1 (sqrt 2.0)))
0.600 * [backup-simplify]: Simplify (* 1/12 (/ 1 (sqrt 2.0))) into (/ 1/12 (sqrt 2.0))
0.602 * [backup-simplify]: Simplify (+ (* (/ 1/12 (sqrt 2.0)) (pow x 4)) (+ (* (/ 1 (sqrt 2.0)) (pow x 2)) (/ 2 (sqrt 2.0)))) into (+ (/ (pow x 2) (sqrt 2.0)) (+ (* 1/12 (/ (pow x 4) (sqrt 2.0))) (* 2 (/ 1 (sqrt 2.0)))))
0.602 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 2.0)) into (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 2.0))
0.602 * [approximate]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 2.0)) in (x) around 0
0.602 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 2.0)) in x
0.602 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.602 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.602 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.602 * [taylor]: Taking taylor expansion of x in x
0.602 * [backup-simplify]: Simplify 0 into 0
0.602 * [backup-simplify]: Simplify 1 into 1
0.602 * [backup-simplify]: Simplify (/ 1 1) into 1
0.603 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.603 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.603 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.603 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.603 * [taylor]: Taking taylor expansion of x in x
0.603 * [backup-simplify]: Simplify 0 into 0
0.603 * [backup-simplify]: Simplify 1 into 1
0.603 * [backup-simplify]: Simplify (/ 1 1) into 1
0.603 * [backup-simplify]: Simplify (- 1) into -1
0.603 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
0.603 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.603 * [taylor]: Taking taylor expansion of 2.0 in x
0.603 * [backup-simplify]: Simplify 2.0 into 2.0
0.603 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
0.604 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
0.604 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.604 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 2.0)) into (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 2.0))
0.604 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 2.0)) in x
0.604 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.604 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.604 * [taylor]: Taking taylor expansion of x in x
0.604 * [backup-simplify]: Simplify 0 into 0
0.604 * [backup-simplify]: Simplify 1 into 1
0.605 * [backup-simplify]: Simplify (/ 1 1) into 1
0.605 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.605 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.605 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.605 * [taylor]: Taking taylor expansion of x in x
0.605 * [backup-simplify]: Simplify 0 into 0
0.605 * [backup-simplify]: Simplify 1 into 1
0.605 * [backup-simplify]: Simplify (/ 1 1) into 1
0.605 * [backup-simplify]: Simplify (- 1) into -1
0.605 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
0.605 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.605 * [taylor]: Taking taylor expansion of 2.0 in x
0.605 * [backup-simplify]: Simplify 2.0 into 2.0
0.606 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
0.606 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
0.606 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.606 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 2.0)) into (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 2.0))
0.607 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 2.0)) into (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 2.0))
0.607 * [backup-simplify]: Simplify (+ 0 0) into 0
0.608 * [backup-simplify]: Simplify (- (/ 0 (sqrt 2.0)) (+ (* (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 2.0)) (/ 0 (sqrt 2.0))))) into 0
0.608 * [backup-simplify]: Simplify 0 into 0
0.608 * [backup-simplify]: Simplify (+ 0 0) into 0
0.609 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0
0.610 * [backup-simplify]: Simplify (- (/ 0 (sqrt 2.0)) (+ (* (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 2.0)) (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))))) into 0
0.610 * [backup-simplify]: Simplify 0 into 0
0.611 * [backup-simplify]: Simplify (+ 0 0) into 0
0.611 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.614 * [backup-simplify]: Simplify (- (/ 0 (sqrt 2.0)) (+ (* (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 2.0)) (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))))) into 0
0.614 * [backup-simplify]: Simplify 0 into 0
0.614 * [backup-simplify]: Simplify (+ 0 0) into 0
0.615 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.617 * [backup-simplify]: Simplify (- (/ 0 (sqrt 2.0)) (+ (* (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 2.0)) (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))))) into 0
0.617 * [backup-simplify]: Simplify 0 into 0
0.617 * [backup-simplify]: Simplify (+ 0 0) into 0
0.618 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.620 * [backup-simplify]: Simplify (- (/ 0 (sqrt 2.0)) (+ (* (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 2.0)) (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))))) into 0
0.620 * [backup-simplify]: Simplify 0 into 0
0.620 * [backup-simplify]: Simplify (+ 0 0) into 0
0.621 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.624 * [backup-simplify]: Simplify (- (/ 0 (sqrt 2.0)) (+ (* (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 2.0)) (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))))) into 0
0.624 * [backup-simplify]: Simplify 0 into 0
0.624 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) (sqrt 2.0)) into (/ (+ (exp x) (exp (- x))) (sqrt 2.0))
0.624 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) (sqrt 2.0)) into (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) (sqrt 2.0))
0.624 * [approximate]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) (sqrt 2.0)) in (x) around 0
0.624 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) (sqrt 2.0)) in x
0.624 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.624 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.624 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.624 * [taylor]: Taking taylor expansion of x in x
0.625 * [backup-simplify]: Simplify 0 into 0
0.625 * [backup-simplify]: Simplify 1 into 1
0.625 * [backup-simplify]: Simplify (/ 1 1) into 1
0.625 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.625 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.625 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.625 * [taylor]: Taking taylor expansion of -1 in x
0.625 * [backup-simplify]: Simplify -1 into -1
0.625 * [taylor]: Taking taylor expansion of x in x
0.625 * [backup-simplify]: Simplify 0 into 0
0.625 * [backup-simplify]: Simplify 1 into 1
0.625 * [backup-simplify]: Simplify (/ -1 1) into -1
0.625 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.625 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.625 * [taylor]: Taking taylor expansion of 2.0 in x
0.625 * [backup-simplify]: Simplify 2.0 into 2.0
0.626 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
0.626 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
0.626 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.626 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) (sqrt 2.0)) into (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) (sqrt 2.0))
0.626 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) (sqrt 2.0)) in x
0.626 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.626 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.626 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.626 * [taylor]: Taking taylor expansion of x in x
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [backup-simplify]: Simplify 1 into 1
0.627 * [backup-simplify]: Simplify (/ 1 1) into 1
0.627 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.627 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.627 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.627 * [taylor]: Taking taylor expansion of -1 in x
0.627 * [backup-simplify]: Simplify -1 into -1
0.627 * [taylor]: Taking taylor expansion of x in x
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [backup-simplify]: Simplify 1 into 1
0.627 * [backup-simplify]: Simplify (/ -1 1) into -1
0.627 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.627 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.627 * [taylor]: Taking taylor expansion of 2.0 in x
0.627 * [backup-simplify]: Simplify 2.0 into 2.0
0.628 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
0.628 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
0.628 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.628 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) (sqrt 2.0)) into (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) (sqrt 2.0))
0.629 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) (sqrt 2.0)) into (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) (sqrt 2.0))
0.629 * [backup-simplify]: Simplify (+ 0 0) into 0
0.630 * [backup-simplify]: Simplify (- (/ 0 (sqrt 2.0)) (+ (* (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) (sqrt 2.0)) (/ 0 (sqrt 2.0))))) into 0
0.630 * [backup-simplify]: Simplify 0 into 0
0.630 * [backup-simplify]: Simplify (+ 0 0) into 0
0.631 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0
0.632 * [backup-simplify]: Simplify (- (/ 0 (sqrt 2.0)) (+ (* (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) (sqrt 2.0)) (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))))) into 0
0.632 * [backup-simplify]: Simplify 0 into 0
0.632 * [backup-simplify]: Simplify (+ 0 0) into 0
0.633 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.635 * [backup-simplify]: Simplify (- (/ 0 (sqrt 2.0)) (+ (* (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) (sqrt 2.0)) (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))))) into 0
0.635 * [backup-simplify]: Simplify 0 into 0
0.635 * [backup-simplify]: Simplify (+ 0 0) into 0
0.636 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.638 * [backup-simplify]: Simplify (- (/ 0 (sqrt 2.0)) (+ (* (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) (sqrt 2.0)) (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))))) into 0
0.638 * [backup-simplify]: Simplify 0 into 0
0.638 * [backup-simplify]: Simplify (+ 0 0) into 0
0.639 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.648 * [backup-simplify]: Simplify (- (/ 0 (sqrt 2.0)) (+ (* (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) (sqrt 2.0)) (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))))) into 0
0.648 * [backup-simplify]: Simplify 0 into 0
0.648 * [backup-simplify]: Simplify (+ 0 0) into 0
0.649 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.652 * [backup-simplify]: Simplify (- (/ 0 (sqrt 2.0)) (+ (* (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) (sqrt 2.0)) (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))) (* 0 (/ 0 (sqrt 2.0))))) into 0
0.652 * [backup-simplify]: Simplify 0 into 0
0.653 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))) (sqrt 2.0)) into (/ (+ (exp (* -1 x)) (exp x)) (sqrt 2.0))
0.653 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.653 * [backup-simplify]: Simplify (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0))) into (/ (pow (sqrt 2.0) 2) (+ (exp x) (exp (- x))))
0.653 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (+ (exp x) (exp (- x)))) in (x) around 0
0.653 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (+ (exp x) (exp (- x)))) in x
0.653 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x
0.653 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.653 * [taylor]: Taking taylor expansion of 2.0 in x
0.653 * [backup-simplify]: Simplify 2.0 into 2.0
0.654 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
0.654 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
0.654 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.654 * [taylor]: Taking taylor expansion of (exp x) in x
0.654 * [taylor]: Taking taylor expansion of x in x
0.654 * [backup-simplify]: Simplify 0 into 0
0.654 * [backup-simplify]: Simplify 1 into 1
0.654 * [backup-simplify]: Simplify (exp 0) into 1
0.654 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.654 * [taylor]: Taking taylor expansion of (- x) in x
0.654 * [taylor]: Taking taylor expansion of x in x
0.654 * [backup-simplify]: Simplify 0 into 0
0.654 * [backup-simplify]: Simplify 1 into 1
0.654 * [backup-simplify]: Simplify (- 0) into 0
0.655 * [backup-simplify]: Simplify (- 1) into -1
0.655 * [backup-simplify]: Simplify (exp 0) into 1
0.655 * [backup-simplify]: Simplify (* (sqrt 2.0) (sqrt 2.0)) into (pow (sqrt 2.0) 2)
0.656 * [backup-simplify]: Simplify (+ 1 1) into 2
0.657 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) 2) into (* 1/2 (pow (sqrt 2.0) 2))
0.657 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (+ (exp x) (exp (- x)))) in x
0.657 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x
0.657 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.657 * [taylor]: Taking taylor expansion of 2.0 in x
0.657 * [backup-simplify]: Simplify 2.0 into 2.0
0.657 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
0.657 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
0.657 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.657 * [taylor]: Taking taylor expansion of (exp x) in x
0.657 * [taylor]: Taking taylor expansion of x in x
0.657 * [backup-simplify]: Simplify 0 into 0
0.657 * [backup-simplify]: Simplify 1 into 1
0.657 * [backup-simplify]: Simplify (exp 0) into 1
0.657 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.657 * [taylor]: Taking taylor expansion of (- x) in x
0.657 * [taylor]: Taking taylor expansion of x in x
0.657 * [backup-simplify]: Simplify 0 into 0
0.657 * [backup-simplify]: Simplify 1 into 1
0.658 * [backup-simplify]: Simplify (- 0) into 0
0.658 * [backup-simplify]: Simplify (- 1) into -1
0.658 * [backup-simplify]: Simplify (exp 0) into 1
0.659 * [backup-simplify]: Simplify (* (sqrt 2.0) (sqrt 2.0)) into (pow (sqrt 2.0) 2)
0.659 * [backup-simplify]: Simplify (+ 1 1) into 2
0.660 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) 2) into (* 1/2 (pow (sqrt 2.0) 2))
0.661 * [backup-simplify]: Simplify (* 1/2 (pow (sqrt 2.0) 2)) into (* 1/2 (pow (sqrt 2.0) 2))
0.661 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (* 0 (sqrt 2.0))) into 0
0.662 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.662 * [backup-simplify]: Simplify (- 1) into -1
0.663 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.663 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.664 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (pow (sqrt 2.0) 2)) (/ 0 2)))) into 0
0.664 * [backup-simplify]: Simplify 0 into 0
0.664 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0
0.665 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (* 0 (sqrt 2.0)))) into 0
0.666 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.666 * [backup-simplify]: Simplify (- 1) into -1
0.666 * [backup-simplify]: Simplify (- 0) into 0
0.667 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.667 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
0.671 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (pow (sqrt 2.0) 2)) (/ 1 2)) (* 0 (/ 0 2)))) into (- (* 1/4 (pow (sqrt 2.0) 2)))
0.673 * [backup-simplify]: Simplify (- (* 1/4 (pow (sqrt 2.0) 2))) into (- (* 1/4 (pow (sqrt 2.0) 2)))
0.674 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.674 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0))))) into 0
0.675 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
0.676 * [backup-simplify]: Simplify (- 1) into -1
0.676 * [backup-simplify]: Simplify (- 1) into -1
0.676 * [backup-simplify]: Simplify (- 0) into 0
0.676 * [backup-simplify]: Simplify (- 0) into 0
0.678 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
0.678 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
0.679 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (pow (sqrt 2.0) 2)) (/ 0 2)) (* 0 (/ 1 2)) (* (- (* 1/4 (pow (sqrt 2.0) 2))) (/ 0 2)))) into 0
0.679 * [backup-simplify]: Simplify 0 into 0
0.680 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.681 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0)))))) into 0
0.683 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
0.683 * [backup-simplify]: Simplify (- 1) into -1
0.683 * [backup-simplify]: Simplify (- 1) into -1
0.683 * [backup-simplify]: Simplify (- 0) into 0
0.684 * [backup-simplify]: Simplify (- 1) into -1
0.684 * [backup-simplify]: Simplify (- 0) into 0
0.684 * [backup-simplify]: Simplify (- 0) into 0
0.684 * [backup-simplify]: Simplify (- 0) into 0
0.686 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
0.687 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
0.694 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (pow (sqrt 2.0) 2)) (/ 1/12 2)) (* 0 (/ 0 2)) (* (- (* 1/4 (pow (sqrt 2.0) 2))) (/ 1 2)) (* 0 (/ 0 2)))) into (* 5/48 (pow (sqrt 2.0) 2))
0.695 * [backup-simplify]: Simplify (* 5/48 (pow (sqrt 2.0) 2)) into (* 5/48 (pow (sqrt 2.0) 2))
0.699 * [backup-simplify]: Simplify (+ (* (* 5/48 (pow (sqrt 2.0) 2)) (pow x 4)) (+ (* (- (* 1/4 (pow (sqrt 2.0) 2))) (pow x 2)) (* 1/2 (pow (sqrt 2.0) 2)))) into (- (+ (* 1/2 (pow (sqrt 2.0) 2)) (* 5/48 (* (pow (sqrt 2.0) 2) (pow x 4)))) (* 1/4 (* (pow (sqrt 2.0) 2) (pow x 2))))
0.700 * [backup-simplify]: Simplify (/ (sqrt 2.0) (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sqrt 2.0))) into (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.700 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
0.700 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
0.700 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x
0.700 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.700 * [taylor]: Taking taylor expansion of 2.0 in x
0.700 * [backup-simplify]: Simplify 2.0 into 2.0
0.700 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
0.701 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
0.701 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.701 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.701 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.701 * [taylor]: Taking taylor expansion of x in x
0.701 * [backup-simplify]: Simplify 0 into 0
0.701 * [backup-simplify]: Simplify 1 into 1
0.701 * [backup-simplify]: Simplify (/ 1 1) into 1
0.701 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.701 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.701 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.701 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.701 * [taylor]: Taking taylor expansion of x in x
0.701 * [backup-simplify]: Simplify 0 into 0
0.701 * [backup-simplify]: Simplify 1 into 1
0.701 * [backup-simplify]: Simplify (/ 1 1) into 1
0.701 * [backup-simplify]: Simplify (- 1) into -1
0.702 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
0.702 * [backup-simplify]: Simplify (* (sqrt 2.0) (sqrt 2.0)) into (pow (sqrt 2.0) 2)
0.702 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.703 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.703 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
0.703 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x
0.703 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.703 * [taylor]: Taking taylor expansion of 2.0 in x
0.703 * [backup-simplify]: Simplify 2.0 into 2.0
0.703 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
0.704 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
0.704 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.704 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.704 * [backup-simplify]: Simplify 0 into 0
0.704 * [backup-simplify]: Simplify 1 into 1
0.704 * [backup-simplify]: Simplify (/ 1 1) into 1
0.704 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.704 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.704 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.704 * [backup-simplify]: Simplify 0 into 0
0.704 * [backup-simplify]: Simplify 1 into 1
0.705 * [backup-simplify]: Simplify (/ 1 1) into 1
0.705 * [backup-simplify]: Simplify (- 1) into -1
0.705 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
0.706 * [backup-simplify]: Simplify (* (sqrt 2.0) (sqrt 2.0)) into (pow (sqrt 2.0) 2)
0.706 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.706 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.707 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.708 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (* 0 (sqrt 2.0))) into 0
0.708 * [backup-simplify]: Simplify (+ 0 0) into 0
0.709 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.709 * [backup-simplify]: Simplify 0 into 0
0.709 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0
0.710 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (* 0 (sqrt 2.0)))) into 0
0.710 * [backup-simplify]: Simplify (+ 0 0) into 0
0.711 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.711 * [backup-simplify]: Simplify 0 into 0
0.712 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.712 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0))))) into 0
0.713 * [backup-simplify]: Simplify (+ 0 0) into 0
0.714 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.714 * [backup-simplify]: Simplify 0 into 0
0.715 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.715 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0)))))) into 0
0.716 * [backup-simplify]: Simplify (+ 0 0) into 0
0.717 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.717 * [backup-simplify]: Simplify 0 into 0
0.717 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.718 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0))))))) into 0
0.719 * [backup-simplify]: Simplify (+ 0 0) into 0
0.720 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.720 * [backup-simplify]: Simplify 0 into 0
0.721 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.722 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0)))))))) into 0
0.722 * [backup-simplify]: Simplify (+ 0 0) into 0
0.723 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.723 * [backup-simplify]: Simplify 0 into 0
0.724 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ (pow (sqrt 2.0) 2) (+ (exp x) (exp (- x))))
0.725 * [backup-simplify]: Simplify (/ (sqrt 2.0) (/ (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) (sqrt 2.0))) into (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.725 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
0.725 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
0.725 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x
0.725 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.725 * [taylor]: Taking taylor expansion of 2.0 in x
0.725 * [backup-simplify]: Simplify 2.0 into 2.0
0.725 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
0.725 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
0.725 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.725 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.725 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.725 * [taylor]: Taking taylor expansion of x in x
0.725 * [backup-simplify]: Simplify 0 into 0
0.725 * [backup-simplify]: Simplify 1 into 1
0.726 * [backup-simplify]: Simplify (/ 1 1) into 1
0.726 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.726 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.726 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.726 * [taylor]: Taking taylor expansion of -1 in x
0.726 * [backup-simplify]: Simplify -1 into -1
0.726 * [taylor]: Taking taylor expansion of x in x
0.726 * [backup-simplify]: Simplify 0 into 0
0.726 * [backup-simplify]: Simplify 1 into 1
0.726 * [backup-simplify]: Simplify (/ -1 1) into -1
0.726 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.727 * [backup-simplify]: Simplify (* (sqrt 2.0) (sqrt 2.0)) into (pow (sqrt 2.0) 2)
0.727 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.728 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.728 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
0.728 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x
0.728 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.728 * [taylor]: Taking taylor expansion of 2.0 in x
0.728 * [backup-simplify]: Simplify 2.0 into 2.0
0.728 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
0.728 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
0.728 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.728 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.728 * [taylor]: Taking taylor expansion of x in x
0.728 * [backup-simplify]: Simplify 0 into 0
0.728 * [backup-simplify]: Simplify 1 into 1
0.729 * [backup-simplify]: Simplify (/ 1 1) into 1
0.729 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.729 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.729 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.729 * [taylor]: Taking taylor expansion of -1 in x
0.729 * [backup-simplify]: Simplify -1 into -1
0.729 * [taylor]: Taking taylor expansion of x in x
0.729 * [backup-simplify]: Simplify 0 into 0
0.729 * [backup-simplify]: Simplify 1 into 1
0.729 * [backup-simplify]: Simplify (/ -1 1) into -1
0.729 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.730 * [backup-simplify]: Simplify (* (sqrt 2.0) (sqrt 2.0)) into (pow (sqrt 2.0) 2)
0.730 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.731 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.731 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.732 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (* 0 (sqrt 2.0))) into 0
0.732 * [backup-simplify]: Simplify (+ 0 0) into 0
0.733 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.733 * [backup-simplify]: Simplify 0 into 0
0.734 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0
0.734 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (* 0 (sqrt 2.0)))) into 0
0.734 * [backup-simplify]: Simplify (+ 0 0) into 0
0.741 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.741 * [backup-simplify]: Simplify 0 into 0
0.742 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.742 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0))))) into 0
0.743 * [backup-simplify]: Simplify (+ 0 0) into 0
0.744 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.744 * [backup-simplify]: Simplify 0 into 0
0.744 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.745 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0)))))) into 0
0.745 * [backup-simplify]: Simplify (+ 0 0) into 0
0.746 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.747 * [backup-simplify]: Simplify 0 into 0
0.747 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.748 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0))))))) into 0
0.748 * [backup-simplify]: Simplify (+ 0 0) into 0
0.749 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.749 * [backup-simplify]: Simplify 0 into 0
0.750 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
0.751 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0)))))))) into 0
0.751 * [backup-simplify]: Simplify (+ 0 0) into 0
0.753 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.753 * [backup-simplify]: Simplify 0 into 0
0.753 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ (pow (sqrt 2.0) 2) (+ (exp (* -1 x)) (exp x)))
0.753 * * * [progress]: simplifying candidates
0.759 * [simplify]: Simplifying:
  (- (log (+ (exp x) (exp (- x)))) (log (sqrt 2.0)))
  (log (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (exp (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))
  (* (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))) (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (* (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0))) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (sqrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (sqrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (- (+ (exp x) (exp (- x))))
  (- (sqrt 2.0))
  (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
  (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0)))
  (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (* (cbrt 2.0) (cbrt 2.0))))
  (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0)))
  (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0)))
  (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0)))
  (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt 1))
  (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0))
  (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0)))
  (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0)))
  (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) 1)
  (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0))
  (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
  (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0)))
  (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (* (cbrt 2.0) (cbrt 2.0))))
  (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0)))
  (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0)))
  (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0)))
  (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 1))
  (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))
  (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0)))
  (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0)))
  (/ (sqrt (+ (exp x) (exp (- x)))) 1)
  (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))
  (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
  (/ (+ (exp x) (exp (- x))) (cbrt (sqrt 2.0)))
  (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0))))
  (/ (+ (exp x) (exp (- x))) (sqrt (cbrt 2.0)))
  (/ 1 (sqrt (sqrt 2.0)))
  (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0)))
  (/ 1 (sqrt 1))
  (/ (+ (exp x) (exp (- x))) (sqrt 2.0))
  (/ 1 (sqrt (sqrt 2.0)))
  (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0)))
  (/ 1 1)
  (/ (+ (exp x) (exp (- x))) (sqrt 2.0))
  (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
  (/ (+ (exp x) (exp (- x))) (cbrt (sqrt 2.0)))
  (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0))))
  (/ (+ (exp x) (exp (- x))) (sqrt (cbrt 2.0)))
  (/ 1 (sqrt (sqrt 2.0)))
  (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0)))
  (/ 1 (sqrt 1))
  (/ (+ (exp x) (exp (- x))) (sqrt 2.0))
  (/ 1 (sqrt (sqrt 2.0)))
  (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0)))
  (/ 1 1)
  (/ (+ (exp x) (exp (- x))) (sqrt 2.0))
  (/ 1 (sqrt 2.0))
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (/ (+ (exp x) (exp (- x))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
  (/ (+ (exp x) (exp (- x))) (sqrt (* (cbrt 2.0) (cbrt 2.0))))
  (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0)))
  (/ (+ (exp x) (exp (- x))) (sqrt 1))
  (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0)))
  (/ (+ (exp x) (exp (- x))) 1)
  (/ (sqrt 2.0) (cbrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (* (sqrt 2.0) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))
  (* (sqrt 2.0) (- (exp x) (exp (- x))))
  (- (log (sqrt 2.0)) (- (log (+ (exp x) (exp (- x)))) (log (sqrt 2.0))))
  (- (log (sqrt 2.0)) (log (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (log (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (exp (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)) (/ (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))))
  (/ (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)) (* (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0))) (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (* (cbrt (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))) (cbrt (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))))
  (cbrt (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (* (* (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0))) (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))) (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (sqrt (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (sqrt (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (- (sqrt 2.0))
  (- (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))) (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))))
  (/ (cbrt (sqrt 2.0)) (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ (cbrt (sqrt 2.0)) (sqrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (cbrt (sqrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (cbrt (sqrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))))
  (/ (cbrt (sqrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt 1)))
  (/ (cbrt (sqrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))))
  (/ (cbrt (sqrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) 1))
  (/ (cbrt (sqrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (cbrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (cbrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (cbrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 1)))
  (/ (cbrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (cbrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) 1))
  (/ (cbrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (cbrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (cbrt (sqrt 2.0))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (cbrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (cbrt 2.0))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ 1 (sqrt (sqrt 2.0))))
  (/ (cbrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ 1 (sqrt 1)))
  (/ (cbrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ 1 (sqrt (sqrt 2.0))))
  (/ (cbrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ 1 1))
  (/ (cbrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (cbrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (cbrt (sqrt 2.0))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (cbrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (cbrt 2.0))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ 1 (sqrt (sqrt 2.0))))
  (/ (cbrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ 1 (sqrt 1)))
  (/ (cbrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ 1 (sqrt (sqrt 2.0))))
  (/ (cbrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (/ 1 1))
  (/ (cbrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) 1)
  (/ (cbrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (+ (exp x) (exp (- x))))
  (/ (cbrt (sqrt 2.0)) (/ 1 (sqrt 2.0)))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (* (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))) (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))))
  (/ (sqrt (cbrt 2.0)) (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (sqrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ (sqrt (cbrt 2.0)) (sqrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt (cbrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt (cbrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))))
  (/ (sqrt (cbrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt 1)))
  (/ (sqrt (cbrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))))
  (/ (sqrt (cbrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) 1))
  (/ (sqrt (cbrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt (cbrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt (cbrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt (cbrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 1)))
  (/ (sqrt (cbrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt (cbrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ (sqrt (+ (exp x) (exp (- x)))) 1))
  (/ (sqrt (cbrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt (cbrt 2.0)) (/ (+ (exp x) (exp (- x))) (cbrt (sqrt 2.0))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt (cbrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (cbrt 2.0))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt (cbrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ 1 (sqrt 1)))
  (/ (sqrt (cbrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt (cbrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ 1 1))
  (/ (sqrt (cbrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt (cbrt 2.0)) (/ (+ (exp x) (exp (- x))) (cbrt (sqrt 2.0))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt (cbrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (cbrt 2.0))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt (cbrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ 1 (sqrt 1)))
  (/ (sqrt (cbrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt (cbrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (/ 1 1))
  (/ (sqrt (cbrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) 1)
  (/ (sqrt (cbrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (+ (exp x) (exp (- x))))
  (/ (sqrt (cbrt 2.0)) (/ 1 (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) (* (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))) (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))))
  (/ (sqrt (sqrt 2.0)) (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (sqrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (sqrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt (sqrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt (sqrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt 1)))
  (/ (sqrt (sqrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) 1))
  (/ (sqrt (sqrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 1)))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) 1))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (cbrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (cbrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ 1 (sqrt 1)))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ 1 1))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (cbrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (cbrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ 1 (sqrt 1)))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ 1 1))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) 1)
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) (+ (exp x) (exp (- x))))
  (/ (sqrt (sqrt 2.0)) (/ 1 (sqrt 2.0)))
  (/ (sqrt 1) (* (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))) (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))))
  (/ (sqrt 2.0) (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ (sqrt 1) (sqrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ (sqrt 2.0) (sqrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ (sqrt 1) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt 2.0) (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))))
  (/ (sqrt 1) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt 2.0) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))))
  (/ (sqrt 1) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt 1) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt 1)))
  (/ (sqrt 2.0) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (sqrt 1) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt 1) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) 1))
  (/ (sqrt 2.0) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (sqrt 1) (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))))
  (/ (sqrt 1) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))))
  (/ (sqrt 1) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt 1) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 1)))
  (/ (sqrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (sqrt 1) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt 1) (/ (sqrt (+ (exp x) (exp (- x)))) 1))
  (/ (sqrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (sqrt 1) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (cbrt (sqrt 2.0))))
  (/ (sqrt 1) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt (cbrt 2.0))))
  (/ (sqrt 1) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (sqrt 1) (/ 1 (sqrt 1)))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt 1) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt 1) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (cbrt (sqrt 2.0))))
  (/ (sqrt 1) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt (cbrt 2.0))))
  (/ (sqrt 1) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (sqrt 1) (/ 1 (sqrt 1)))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt 1) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt 1) 1)
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt 1) (+ (exp x) (exp (- x))))
  (/ (sqrt 2.0) (/ 1 (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) (* (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))) (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))))
  (/ (sqrt (sqrt 2.0)) (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (sqrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (sqrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt (sqrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt (sqrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt 1)))
  (/ (sqrt (sqrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) 1))
  (/ (sqrt (sqrt 2.0)) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 1)))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) 1))
  (/ (sqrt (sqrt 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (cbrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (cbrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ 1 (sqrt 1)))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ 1 1))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (cbrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (cbrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ 1 (sqrt 1)))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ (sqrt (sqrt 2.0)) (/ 1 1))
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) 1)
  (/ (sqrt (sqrt 2.0)) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (sqrt (sqrt 2.0)) (+ (exp x) (exp (- x))))
  (/ (sqrt (sqrt 2.0)) (/ 1 (sqrt 2.0)))
  (/ 1 (* (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))) (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))))
  (/ (sqrt 2.0) (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ 1 (sqrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ (sqrt 2.0) (sqrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ 1 (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt 2.0) (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))))
  (/ 1 (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt 2.0) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))))
  (/ 1 (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ 1 (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt 1)))
  (/ (sqrt 2.0) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ 1 (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ 1 (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) 1))
  (/ (sqrt 2.0) (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ 1 (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt (sqrt 2.0))))
  (/ 1 (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (cbrt 2.0))))
  (/ 1 (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ 1 (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 1)))
  (/ (sqrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ 1 (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ 1 (/ (sqrt (+ (exp x) (exp (- x)))) 1))
  (/ (sqrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)))
  (/ 1 (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (cbrt (sqrt 2.0))))
  (/ 1 (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt (cbrt 2.0))))
  (/ 1 (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ 1 (/ 1 (sqrt 1)))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ 1 (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ 1 (/ 1 1))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ 1 (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (cbrt (sqrt 2.0))))
  (/ 1 (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt (cbrt 2.0))))
  (/ 1 (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ 1 (/ 1 (sqrt 1)))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ 1 (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0))))
  (/ 1 (/ 1 1))
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ 1 1)
  (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ 1 (+ (exp x) (exp (- x))))
  (/ (sqrt 2.0) (/ 1 (sqrt 2.0)))
  (/ 1 (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))
  (/ (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (sqrt 2.0))
  (/ (sqrt 2.0) (* (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))) (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0)))))
  (/ (sqrt 2.0) (sqrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt 2.0) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt 2.0) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt 1)))
  (/ (sqrt 2.0) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) 1))
  (/ (sqrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 1)))
  (/ (sqrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) 1))
  (/ (sqrt 2.0) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt 2.0) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt 2.0) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ 1 (sqrt 1)))
  (/ (sqrt 2.0) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ 1 1))
  (/ (sqrt 2.0) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (/ (sqrt 2.0) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (/ (sqrt 2.0) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ 1 (sqrt 1)))
  (/ (sqrt 2.0) (/ 1 (sqrt (sqrt 2.0))))
  (/ (sqrt 2.0) (/ 1 1))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (/ (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cbrt (sqrt 2.0)))
  (/ (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (sqrt (cbrt 2.0)))
  (/ (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (sqrt (sqrt 2.0)))
  (/ (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (sqrt 2.0))
  (/ (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (sqrt (sqrt 2.0)))
  (/ (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (sqrt 2.0))
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (+ (/ (pow x 2) (sqrt 2.0)) (+ (* 1/12 (/ (pow x 4) (sqrt 2.0))) (* 2 (/ 1 (sqrt 2.0)))))
  (/ (+ (exp x) (exp (- x))) (sqrt 2.0))
  (/ (+ (exp (* -1 x)) (exp x)) (sqrt 2.0))
  (- (+ (* 1/2 (pow (sqrt 2.0) 2)) (* 5/48 (* (pow (sqrt 2.0) 2) (pow x 4)))) (* 1/4 (* (pow (sqrt 2.0) 2) (pow x 2))))
  (/ (pow (sqrt 2.0) 2) (+ (exp x) (exp (- x))))
  (/ (pow (sqrt 2.0) 2) (+ (exp (* -1 x)) (exp x)))
0.761 * [simplify]: Sending expressions to egg_math:
 (- (log (+ (exp h0) (exp (- h0)))) (log (sqrt h1)))
 (log (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (exp (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (* (* (+ (exp h0) (exp (- h0))) (+ (exp h0) (exp (- h0)))) (+ (exp h0) (exp (- h0)))) (* (* (sqrt h1) (sqrt h1)) (sqrt h1)))
 (* (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))) (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (* (* (/ (+ (exp h0) (exp (- h0))) (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1))) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (sqrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (sqrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (- (+ (exp h0) (exp (- h0))))
 (- (sqrt h1))
 (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (* (cbrt (sqrt h1)) (cbrt (sqrt h1))))
 (/ (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (sqrt h1)))
 (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (* (cbrt h1) (cbrt h1))))
 (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (cbrt h1)))
 (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (sqrt h1)))
 (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1)))
 (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt 1))
 (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt h1))
 (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (sqrt h1)))
 (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1)))
 (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) 1)
 (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt h1))
 (/ (sqrt (+ (exp h0) (exp (- h0)))) (* (cbrt (sqrt h1)) (cbrt (sqrt h1))))
 (/ (sqrt (+ (exp h0) (exp (- h0)))) (cbrt (sqrt h1)))
 (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (* (cbrt h1) (cbrt h1))))
 (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (cbrt h1)))
 (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1)))
 (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1)))
 (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt 1))
 (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt h1))
 (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1)))
 (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1)))
 (/ (sqrt (+ (exp h0) (exp (- h0)))) 1)
 (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt h1))
 (/ 1 (* (cbrt (sqrt h1)) (cbrt (sqrt h1))))
 (/ (+ (exp h0) (exp (- h0))) (cbrt (sqrt h1)))
 (/ 1 (sqrt (* (cbrt h1) (cbrt h1))))
 (/ (+ (exp h0) (exp (- h0))) (sqrt (cbrt h1)))
 (/ 1 (sqrt (sqrt h1)))
 (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1)))
 (/ 1 (sqrt 1))
 (/ (+ (exp h0) (exp (- h0))) (sqrt h1))
 (/ 1 (sqrt (sqrt h1)))
 (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1)))
 (/ 1 1)
 (/ (+ (exp h0) (exp (- h0))) (sqrt h1))
 (/ 1 (* (cbrt (sqrt h1)) (cbrt (sqrt h1))))
 (/ (+ (exp h0) (exp (- h0))) (cbrt (sqrt h1)))
 (/ 1 (sqrt (* (cbrt h1) (cbrt h1))))
 (/ (+ (exp h0) (exp (- h0))) (sqrt (cbrt h1)))
 (/ 1 (sqrt (sqrt h1)))
 (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1)))
 (/ 1 (sqrt 1))
 (/ (+ (exp h0) (exp (- h0))) (sqrt h1))
 (/ 1 (sqrt (sqrt h1)))
 (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1)))
 (/ 1 1)
 (/ (+ (exp h0) (exp (- h0))) (sqrt h1))
 (/ 1 (sqrt h1))
 (/ (sqrt h1) (+ (exp h0) (exp (- h0))))
 (/ (+ (exp h0) (exp (- h0))) (* (cbrt (sqrt h1)) (cbrt (sqrt h1))))
 (/ (+ (exp h0) (exp (- h0))) (sqrt (* (cbrt h1) (cbrt h1))))
 (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1)))
 (/ (+ (exp h0) (exp (- h0))) (sqrt 1))
 (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1)))
 (/ (+ (exp h0) (exp (- h0))) 1)
 (/ (sqrt h1) (cbrt (+ (exp h0) (exp (- h0)))))
 (/ (sqrt h1) (sqrt (+ (exp h0) (exp (- h0)))))
 (/ (sqrt h1) (+ (exp h0) (exp (- h0))))
 (/ (sqrt h1) (+ (exp h0) (exp (- h0))))
 (* (sqrt h1) (+ (* (exp h0) (exp h0)) (- (* (exp (- h0)) (exp (- h0))) (* (exp h0) (exp (- h0))))))
 (* (sqrt h1) (- (exp h0) (exp (- h0))))
 (- (log (sqrt h1)) (- (log (+ (exp h0) (exp (- h0)))) (log (sqrt h1))))
 (- (log (sqrt h1)) (log (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (log (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (exp (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ (* (* (sqrt h1) (sqrt h1)) (sqrt h1)) (/ (* (* (+ (exp h0) (exp (- h0))) (+ (exp h0) (exp (- h0)))) (+ (exp h0) (exp (- h0)))) (* (* (sqrt h1) (sqrt h1)) (sqrt h1))))
 (/ (* (* (sqrt h1) (sqrt h1)) (sqrt h1)) (* (* (/ (+ (exp h0) (exp (- h0))) (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1))) (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (* (cbrt (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))) (cbrt (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))))
 (cbrt (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (* (* (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1))) (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))) (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (sqrt (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (sqrt (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (- (sqrt h1))
 (- (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (* (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))) (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))))
 (/ (cbrt (sqrt h1)) (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (sqrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ (cbrt (sqrt h1)) (sqrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (cbrt (sqrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (sqrt h1))))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (cbrt (sqrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (cbrt h1))))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (sqrt h1))))
 (/ (cbrt (sqrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt 1)))
 (/ (cbrt (sqrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (sqrt h1))))
 (/ (cbrt (sqrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) 1))
 (/ (cbrt (sqrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ (sqrt (+ (exp h0) (exp (- h0)))) (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (cbrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (cbrt (sqrt h1))))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (cbrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (cbrt h1))))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (cbrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt 1)))
 (/ (cbrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (cbrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ (sqrt (+ (exp h0) (exp (- h0)))) 1))
 (/ (cbrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ 1 (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (cbrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (cbrt (sqrt h1))))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ 1 (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (cbrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (cbrt h1))))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ 1 (sqrt (sqrt h1))))
 (/ (cbrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ 1 (sqrt 1)))
 (/ (cbrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ 1 (sqrt (sqrt h1))))
 (/ (cbrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ 1 1))
 (/ (cbrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ 1 (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (cbrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (cbrt (sqrt h1))))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ 1 (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (cbrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (cbrt h1))))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ 1 (sqrt (sqrt h1))))
 (/ (cbrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ 1 (sqrt 1)))
 (/ (cbrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ 1 (sqrt (sqrt h1))))
 (/ (cbrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (/ 1 1))
 (/ (cbrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) 1)
 (/ (cbrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (+ (exp h0) (exp (- h0))))
 (/ (cbrt (sqrt h1)) (/ 1 (sqrt h1)))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (* (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))) (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))))
 (/ (sqrt (cbrt h1)) (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (sqrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ (sqrt (cbrt h1)) (sqrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt (cbrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (sqrt h1))))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt (cbrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (cbrt h1))))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (sqrt h1))))
 (/ (sqrt (cbrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt 1)))
 (/ (sqrt (cbrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (sqrt h1))))
 (/ (sqrt (cbrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) 1))
 (/ (sqrt (cbrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ (sqrt (+ (exp h0) (exp (- h0)))) (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt (cbrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (cbrt (sqrt h1))))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt (cbrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (cbrt h1))))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt (cbrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt 1)))
 (/ (sqrt (cbrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt (cbrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ (sqrt (+ (exp h0) (exp (- h0)))) 1))
 (/ (sqrt (cbrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ 1 (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt (cbrt h1)) (/ (+ (exp h0) (exp (- h0))) (cbrt (sqrt h1))))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ 1 (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt (cbrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (cbrt h1))))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt (cbrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ 1 (sqrt 1)))
 (/ (sqrt (cbrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt (cbrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ 1 1))
 (/ (sqrt (cbrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ 1 (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt (cbrt h1)) (/ (+ (exp h0) (exp (- h0))) (cbrt (sqrt h1))))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ 1 (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt (cbrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (cbrt h1))))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt (cbrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ 1 (sqrt 1)))
 (/ (sqrt (cbrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt (cbrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (/ 1 1))
 (/ (sqrt (cbrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) 1)
 (/ (sqrt (cbrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt (* (cbrt h1) (cbrt h1))) (+ (exp h0) (exp (- h0))))
 (/ (sqrt (cbrt h1)) (/ 1 (sqrt h1)))
 (/ (sqrt (sqrt h1)) (* (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))) (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))))
 (/ (sqrt (sqrt h1)) (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ (sqrt (sqrt h1)) (sqrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ (sqrt (sqrt h1)) (sqrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt (sqrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt (sqrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (cbrt h1))))
 (/ (sqrt (sqrt h1)) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt 1)))
 (/ (sqrt (sqrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (sqrt (sqrt h1)) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) 1))
 (/ (sqrt (sqrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (cbrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (cbrt h1))))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt 1)))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) 1))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (sqrt (sqrt h1)) (/ 1 (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (cbrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ 1 (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (cbrt h1))))
 (/ (sqrt (sqrt h1)) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ 1 (sqrt 1)))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt (sqrt h1)) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ 1 1))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt (sqrt h1)) (/ 1 (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (cbrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ 1 (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (cbrt h1))))
 (/ (sqrt (sqrt h1)) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ 1 (sqrt 1)))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt (sqrt h1)) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ 1 1))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt (sqrt h1)) 1)
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt (sqrt h1)) (+ (exp h0) (exp (- h0))))
 (/ (sqrt (sqrt h1)) (/ 1 (sqrt h1)))
 (/ (sqrt 1) (* (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))) (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))))
 (/ (sqrt h1) (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ (sqrt 1) (sqrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ (sqrt h1) (sqrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ (sqrt 1) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt h1) (/ (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (sqrt h1))))
 (/ (sqrt 1) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt h1) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (cbrt h1))))
 (/ (sqrt 1) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt 1) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt 1)))
 (/ (sqrt h1) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (sqrt 1) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt 1) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) 1))
 (/ (sqrt h1) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (sqrt 1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt h1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (cbrt (sqrt h1))))
 (/ (sqrt 1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt h1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (cbrt h1))))
 (/ (sqrt 1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt 1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt 1)))
 (/ (sqrt h1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (sqrt 1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt 1) (/ (sqrt (+ (exp h0) (exp (- h0)))) 1))
 (/ (sqrt h1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (sqrt 1) (/ 1 (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (cbrt (sqrt h1))))
 (/ (sqrt 1) (/ 1 (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt (cbrt h1))))
 (/ (sqrt 1) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (sqrt 1) (/ 1 (sqrt 1)))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt 1) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (sqrt 1) (/ 1 1))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt 1) (/ 1 (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (cbrt (sqrt h1))))
 (/ (sqrt 1) (/ 1 (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt (cbrt h1))))
 (/ (sqrt 1) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (sqrt 1) (/ 1 (sqrt 1)))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt 1) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (sqrt 1) (/ 1 1))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt 1) 1)
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt 1) (+ (exp h0) (exp (- h0))))
 (/ (sqrt h1) (/ 1 (sqrt h1)))
 (/ (sqrt (sqrt h1)) (* (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))) (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))))
 (/ (sqrt (sqrt h1)) (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ (sqrt (sqrt h1)) (sqrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ (sqrt (sqrt h1)) (sqrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt (sqrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt (sqrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (cbrt h1))))
 (/ (sqrt (sqrt h1)) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt 1)))
 (/ (sqrt (sqrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (sqrt (sqrt h1)) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) 1))
 (/ (sqrt (sqrt h1)) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (cbrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (cbrt h1))))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt 1)))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) 1))
 (/ (sqrt (sqrt h1)) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ (sqrt (sqrt h1)) (/ 1 (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (cbrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ 1 (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (cbrt h1))))
 (/ (sqrt (sqrt h1)) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ 1 (sqrt 1)))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt (sqrt h1)) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ 1 1))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt (sqrt h1)) (/ 1 (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (cbrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ 1 (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (cbrt h1))))
 (/ (sqrt (sqrt h1)) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ 1 (sqrt 1)))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt (sqrt h1)) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ (sqrt (sqrt h1)) (/ 1 1))
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt (sqrt h1)) 1)
 (/ (sqrt (sqrt h1)) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (sqrt (sqrt h1)) (+ (exp h0) (exp (- h0))))
 (/ (sqrt (sqrt h1)) (/ 1 (sqrt h1)))
 (/ 1 (* (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))) (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))))
 (/ (sqrt h1) (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ 1 (sqrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ (sqrt h1) (sqrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ 1 (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt h1) (/ (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (sqrt h1))))
 (/ 1 (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt h1) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (cbrt h1))))
 (/ 1 (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ 1 (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt 1)))
 (/ (sqrt h1) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ 1 (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ 1 (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) 1))
 (/ (sqrt h1) (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ 1 (/ (sqrt (+ (exp h0) (exp (- h0)))) (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt h1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (cbrt (sqrt h1))))
 (/ 1 (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt h1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (cbrt h1))))
 (/ 1 (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ 1 (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt 1)))
 (/ (sqrt h1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ 1 (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ 1 (/ (sqrt (+ (exp h0) (exp (- h0)))) 1))
 (/ (sqrt h1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt h1)))
 (/ 1 (/ 1 (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (cbrt (sqrt h1))))
 (/ 1 (/ 1 (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt (cbrt h1))))
 (/ 1 (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ 1 (/ 1 (sqrt 1)))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ 1 (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ 1 (/ 1 1))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ 1 (/ 1 (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (cbrt (sqrt h1))))
 (/ 1 (/ 1 (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt (cbrt h1))))
 (/ 1 (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ 1 (/ 1 (sqrt 1)))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ 1 (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt (sqrt h1))))
 (/ 1 (/ 1 1))
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ 1 1)
 (/ (sqrt h1) (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ 1 (+ (exp h0) (exp (- h0))))
 (/ (sqrt h1) (/ 1 (sqrt h1)))
 (/ 1 (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))
 (/ (/ (+ (exp h0) (exp (- h0))) (sqrt h1)) (sqrt h1))
 (/ (sqrt h1) (* (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))) (cbrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1)))))
 (/ (sqrt h1) (sqrt (/ (+ (exp h0) (exp (- h0))) (sqrt h1))))
 (/ (sqrt h1) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt h1) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt h1) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt 1)))
 (/ (sqrt h1) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))) 1))
 (/ (sqrt h1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt h1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt h1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt 1)))
 (/ (sqrt h1) (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ (sqrt (+ (exp h0) (exp (- h0)))) 1))
 (/ (sqrt h1) (/ 1 (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt h1) (/ 1 (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt h1) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ 1 (sqrt 1)))
 (/ (sqrt h1) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ 1 1))
 (/ (sqrt h1) (/ 1 (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (/ (sqrt h1) (/ 1 (sqrt (* (cbrt h1) (cbrt h1)))))
 (/ (sqrt h1) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ 1 (sqrt 1)))
 (/ (sqrt h1) (/ 1 (sqrt (sqrt h1))))
 (/ (sqrt h1) (/ 1 1))
 (/ (sqrt h1) 1)
 (/ (sqrt h1) (+ (exp h0) (exp (- h0))))
 (/ (/ (+ (exp h0) (exp (- h0))) (sqrt h1)) (cbrt (sqrt h1)))
 (/ (/ (+ (exp h0) (exp (- h0))) (sqrt h1)) (sqrt (cbrt h1)))
 (/ (/ (+ (exp h0) (exp (- h0))) (sqrt h1)) (sqrt (sqrt h1)))
 (/ (/ (+ (exp h0) (exp (- h0))) (sqrt h1)) (sqrt h1))
 (/ (/ (+ (exp h0) (exp (- h0))) (sqrt h1)) (sqrt (sqrt h1)))
 (/ (/ (+ (exp h0) (exp (- h0))) (sqrt h1)) (sqrt h1))
 (/ (sqrt h1) (+ (exp h0) (exp (- h0))))
 (+ (/ (pow h0 2) (sqrt h1)) (+ (* 1/12 (/ (pow h0 4) (sqrt h1))) (* 2 (/ 1 (sqrt h1)))))
 (/ (+ (exp h0) (exp (- h0))) (sqrt h1))
 (/ (+ (exp (* -1 h0)) (exp h0)) (sqrt h1))
 (- (+ (* 1/2 (pow (sqrt h1) 2)) (* 5/48 (* (pow (sqrt h1) 2) (pow h0 4)))) (* 1/4 (* (pow (sqrt h1) 2) (pow h0 2))))
 (/ (pow (sqrt h1) 2) (+ (exp h0) (exp (- h0))))
 (/ (pow (sqrt h1) 2) (+ (exp (* -1 h0)) (exp h0)))
0.772 * * [simplify]: iteration  0 :  644  enodes  (cost  4208 )
0.786 * * [simplify]: iteration  1 :  3376  enodes  (cost  3811 )
0.840 * * [simplify]: iteration  2 :  5001  enodes  (cost  3793 )
0.853 * * * [progress]: adding candidates to table
1.233 * [progress]: [Phase 3 of 3] Extracting.
1.233 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))> #<alt (λ (x) (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))>)
1.234 * * * [regime-changes]: Trying 3 branch expressions: ((+ (exp x) (exp (- x))) (/ 2.0 (+ (exp x) (exp (- x)))) x)
1.234 * * * * [regimes]: Trying to branch on (+ (exp x) (exp (- x))) from (#<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))> #<alt (λ (x) (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))>)
1.248 * * * * [regimes]: Trying to branch on (/ 2.0 (+ (exp x) (exp (- x)))) from (#<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))> #<alt (λ (x) (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))>)
1.266 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))> #<alt (λ (x) (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))>)
1.276 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.276 * [simplify]: Simplifying:
  (/ 2.0 (+ (exp x) (exp (- x))))
1.276 * [simplify]: Sending expressions to egg_math:
 (/ h0 (+ (exp h1) (exp (- h1))))
1.277 * * [simplify]: iteration  0 :  8  enodes  (cost  5 )
1.277 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
1.704 * [regime-testing]: Baseline error score: 0.008586035755190553
1.704 * [regime-testing]: Oracle error score: 0.006241381735667681
1.705 * [regime-testing]: End program error score: 0.008586035755190553