30.083 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.072 * * * [progress]: [2/2] Setting up program.
0.074 * [progress]: [Phase 2 of 3] Improving.
0.074 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (cos x) (/ (sinh y) y))
0.077 * * [simplify]: iteration  0 :  15  enodes  (cost  4 )
0.078 * * [simplify]: iteration  1 :  30  enodes  (cost  4 )
0.079 * * [simplify]: iteration  2 :  66  enodes  (cost  4 )
0.081 * * [simplify]: iteration  3 :  139  enodes  (cost  4 )
0.084 * * [simplify]: iteration  4 :  271  enodes  (cost  4 )
0.087 * * [simplify]: iteration  5 :  520  enodes  (cost  4 )
0.095 * * [simplify]: iteration  6 :  1491  enodes  (cost  4 )
0.122 * * [simplify]: iteration  7 :  5001  enodes  (cost  4 )
0.123 * [simplify]: Simplified to:
   (* (cos x) (/ (sinh y) y))
0.123 * * [progress]: iteration 1 / 4
0.123 * * * [progress]: picking best candidate
0.126 * * * * [pick]: Picked  #<alt (λ (x y) (* (cos x) (/ (sinh y) y)))>
0.126 * * * [progress]: localizing error
0.139 * * * [progress]: generating rewritten candidates
0.139 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.145 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.158 * * * [progress]: generating series expansions
0.158 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.158 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0
0.158 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
0.158 * [taylor]: Taking taylor expansion of (sinh y) in y
0.158 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
0.158 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
0.158 * [taylor]: Taking taylor expansion of (exp y) in y
0.159 * [taylor]: Taking taylor expansion of y in y
0.159 * [taylor]: Taking taylor expansion of (exp (- y)) in y
0.159 * [taylor]: Taking taylor expansion of (- y) in y
0.159 * [taylor]: Taking taylor expansion of y in y
0.159 * [taylor]: Taking taylor expansion of 2 in y
0.162 * [taylor]: Taking taylor expansion of y in y
0.162 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
0.162 * [taylor]: Taking taylor expansion of (sinh y) in y
0.162 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
0.162 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
0.162 * [taylor]: Taking taylor expansion of (exp y) in y
0.162 * [taylor]: Taking taylor expansion of y in y
0.162 * [taylor]: Taking taylor expansion of (exp (- y)) in y
0.162 * [taylor]: Taking taylor expansion of (- y) in y
0.162 * [taylor]: Taking taylor expansion of y in y
0.163 * [taylor]: Taking taylor expansion of 2 in y
0.166 * [taylor]: Taking taylor expansion of y in y
0.192 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0
0.192 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
0.192 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.192 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
0.192 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
0.192 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.193 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.193 * [taylor]: Taking taylor expansion of y in y
0.193 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
0.193 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.193 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.193 * [taylor]: Taking taylor expansion of y in y
0.193 * [taylor]: Taking taylor expansion of 2 in y
0.194 * [taylor]: Taking taylor expansion of y in y
0.194 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
0.194 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.194 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
0.194 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
0.194 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.194 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.194 * [taylor]: Taking taylor expansion of y in y
0.194 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
0.194 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.194 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.194 * [taylor]: Taking taylor expansion of y in y
0.195 * [taylor]: Taking taylor expansion of 2 in y
0.195 * [taylor]: Taking taylor expansion of y in y
0.217 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in (y) around 0
0.217 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
0.217 * [taylor]: Taking taylor expansion of -1 in y
0.217 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
0.217 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.217 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
0.217 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
0.217 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.217 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.217 * [taylor]: Taking taylor expansion of -1 in y
0.217 * [taylor]: Taking taylor expansion of y in y
0.218 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
0.218 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
0.218 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.218 * [taylor]: Taking taylor expansion of -1 in y
0.218 * [taylor]: Taking taylor expansion of y in y
0.218 * [taylor]: Taking taylor expansion of 2 in y
0.219 * [taylor]: Taking taylor expansion of y in y
0.219 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
0.219 * [taylor]: Taking taylor expansion of -1 in y
0.219 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
0.219 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.219 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
0.219 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
0.219 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.219 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.219 * [taylor]: Taking taylor expansion of -1 in y
0.219 * [taylor]: Taking taylor expansion of y in y
0.219 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
0.219 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
0.219 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.219 * [taylor]: Taking taylor expansion of -1 in y
0.219 * [taylor]: Taking taylor expansion of y in y
0.220 * [taylor]: Taking taylor expansion of 2 in y
0.220 * [taylor]: Taking taylor expansion of y in y
0.246 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.246 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0
0.246 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y
0.246 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y
0.246 * [taylor]: Taking taylor expansion of (sinh y) in y
0.246 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
0.246 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
0.246 * [taylor]: Taking taylor expansion of (exp y) in y
0.246 * [taylor]: Taking taylor expansion of y in y
0.246 * [taylor]: Taking taylor expansion of (exp (- y)) in y
0.246 * [taylor]: Taking taylor expansion of (- y) in y
0.246 * [taylor]: Taking taylor expansion of y in y
0.247 * [taylor]: Taking taylor expansion of 2 in y
0.249 * [taylor]: Taking taylor expansion of (cos x) in y
0.249 * [taylor]: Taking taylor expansion of x in y
0.249 * [taylor]: Taking taylor expansion of y in y
0.250 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x
0.250 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
0.250 * [taylor]: Taking taylor expansion of (sinh y) in x
0.250 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
0.250 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
0.250 * [taylor]: Taking taylor expansion of (exp y) in x
0.250 * [taylor]: Taking taylor expansion of y in x
0.250 * [taylor]: Taking taylor expansion of (exp (- y)) in x
0.250 * [taylor]: Taking taylor expansion of (- y) in x
0.250 * [taylor]: Taking taylor expansion of y in x
0.250 * [taylor]: Taking taylor expansion of 2 in x
0.250 * [taylor]: Taking taylor expansion of (cos x) in x
0.251 * [taylor]: Taking taylor expansion of x in x
0.251 * [taylor]: Taking taylor expansion of y in x
0.251 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x
0.251 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
0.251 * [taylor]: Taking taylor expansion of (sinh y) in x
0.251 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
0.251 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
0.251 * [taylor]: Taking taylor expansion of (exp y) in x
0.251 * [taylor]: Taking taylor expansion of y in x
0.251 * [taylor]: Taking taylor expansion of (exp (- y)) in x
0.251 * [taylor]: Taking taylor expansion of (- y) in x
0.251 * [taylor]: Taking taylor expansion of y in x
0.251 * [taylor]: Taking taylor expansion of 2 in x
0.251 * [taylor]: Taking taylor expansion of (cos x) in x
0.251 * [taylor]: Taking taylor expansion of x in x
0.251 * [taylor]: Taking taylor expansion of y in x
0.251 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (- y))) y)) in y
0.251 * [taylor]: Taking taylor expansion of 1/2 in y
0.251 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (- y))) y) in y
0.251 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
0.251 * [taylor]: Taking taylor expansion of (exp y) in y
0.251 * [taylor]: Taking taylor expansion of y in y
0.251 * [taylor]: Taking taylor expansion of (exp (- y)) in y
0.251 * [taylor]: Taking taylor expansion of (- y) in y
0.251 * [taylor]: Taking taylor expansion of y in y
0.252 * [taylor]: Taking taylor expansion of y in y
0.258 * [taylor]: Taking taylor expansion of 0 in y
0.266 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (- y)) y)) (* 1/4 (/ (exp y) y))) in y
0.266 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (- y)) y)) in y
0.266 * [taylor]: Taking taylor expansion of 1/4 in y
0.266 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
0.266 * [taylor]: Taking taylor expansion of (exp (- y)) in y
0.266 * [taylor]: Taking taylor expansion of (- y) in y
0.266 * [taylor]: Taking taylor expansion of y in y
0.267 * [taylor]: Taking taylor expansion of y in y
0.267 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y
0.267 * [taylor]: Taking taylor expansion of 1/4 in y
0.267 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
0.267 * [taylor]: Taking taylor expansion of (exp y) in y
0.267 * [taylor]: Taking taylor expansion of y in y
0.267 * [taylor]: Taking taylor expansion of y in y
0.276 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0
0.277 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y
0.277 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.277 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
0.277 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
0.277 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.277 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.277 * [taylor]: Taking taylor expansion of y in y
0.277 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
0.277 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.277 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.277 * [taylor]: Taking taylor expansion of y in y
0.278 * [taylor]: Taking taylor expansion of 2 in y
0.278 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y
0.278 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
0.278 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.278 * [taylor]: Taking taylor expansion of x in y
0.278 * [taylor]: Taking taylor expansion of y in y
0.278 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x
0.278 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
0.278 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
0.278 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
0.278 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.278 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.278 * [taylor]: Taking taylor expansion of y in x
0.278 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
0.278 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
0.278 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.278 * [taylor]: Taking taylor expansion of y in x
0.278 * [taylor]: Taking taylor expansion of 2 in x
0.279 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x
0.279 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.279 * [taylor]: Taking taylor expansion of x in x
0.279 * [taylor]: Taking taylor expansion of y in x
0.279 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x
0.279 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
0.279 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
0.279 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
0.279 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.279 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.279 * [taylor]: Taking taylor expansion of y in x
0.279 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
0.279 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
0.279 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.279 * [taylor]: Taking taylor expansion of y in x
0.279 * [taylor]: Taking taylor expansion of 2 in x
0.280 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x
0.280 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.280 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.280 * [taylor]: Taking taylor expansion of x in x
0.280 * [taylor]: Taking taylor expansion of y in x
0.280 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y
0.280 * [taylor]: Taking taylor expansion of 1/2 in y
0.280 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y
0.280 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
0.280 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.280 * [taylor]: Taking taylor expansion of x in y
0.280 * [taylor]: Taking taylor expansion of (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y
0.280 * [taylor]: Taking taylor expansion of y in y
0.280 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
0.280 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.280 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.281 * [taylor]: Taking taylor expansion of y in y
0.281 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
0.281 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.281 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.281 * [taylor]: Taking taylor expansion of y in y
0.288 * [taylor]: Taking taylor expansion of 0 in y
0.296 * [taylor]: Taking taylor expansion of 0 in y
0.306 * [taylor]: Taking taylor expansion of 0 in y
0.307 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in (x y) around 0
0.307 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y
0.307 * [taylor]: Taking taylor expansion of -1 in y
0.307 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y
0.307 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.307 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
0.307 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
0.307 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.307 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.307 * [taylor]: Taking taylor expansion of -1 in y
0.307 * [taylor]: Taking taylor expansion of y in y
0.307 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
0.307 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
0.307 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.307 * [taylor]: Taking taylor expansion of -1 in y
0.307 * [taylor]: Taking taylor expansion of y in y
0.308 * [taylor]: Taking taylor expansion of 2 in y
0.308 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y
0.308 * [taylor]: Taking taylor expansion of y in y
0.308 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
0.308 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.308 * [taylor]: Taking taylor expansion of -1 in y
0.308 * [taylor]: Taking taylor expansion of x in y
0.308 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x
0.308 * [taylor]: Taking taylor expansion of -1 in x
0.308 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x
0.308 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
0.308 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
0.308 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
0.308 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
0.308 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.309 * [taylor]: Taking taylor expansion of -1 in x
0.309 * [taylor]: Taking taylor expansion of y in x
0.309 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
0.309 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
0.309 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.309 * [taylor]: Taking taylor expansion of -1 in x
0.309 * [taylor]: Taking taylor expansion of y in x
0.309 * [taylor]: Taking taylor expansion of 2 in x
0.309 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x
0.309 * [taylor]: Taking taylor expansion of y in x
0.309 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.309 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.309 * [taylor]: Taking taylor expansion of -1 in x
0.309 * [taylor]: Taking taylor expansion of x in x
0.309 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x
0.309 * [taylor]: Taking taylor expansion of -1 in x
0.309 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x
0.309 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
0.310 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
0.310 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
0.310 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
0.310 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.310 * [taylor]: Taking taylor expansion of -1 in x
0.310 * [taylor]: Taking taylor expansion of y in x
0.310 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
0.310 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
0.310 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.310 * [taylor]: Taking taylor expansion of -1 in x
0.310 * [taylor]: Taking taylor expansion of y in x
0.310 * [taylor]: Taking taylor expansion of 2 in x
0.310 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x
0.310 * [taylor]: Taking taylor expansion of y in x
0.310 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.310 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.310 * [taylor]: Taking taylor expansion of -1 in x
0.310 * [taylor]: Taking taylor expansion of x in x
0.311 * [taylor]: Taking taylor expansion of (* -1/2 (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))))) in y
0.311 * [taylor]: Taking taylor expansion of -1/2 in y
0.311 * [taylor]: Taking taylor expansion of (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x)))) in y
0.311 * [taylor]: Taking taylor expansion of y in y
0.311 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))) in y
0.311 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
0.311 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.311 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.311 * [taylor]: Taking taylor expansion of -1 in y
0.311 * [taylor]: Taking taylor expansion of y in y
0.311 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.311 * [taylor]: Taking taylor expansion of y in y
0.312 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
0.312 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.312 * [taylor]: Taking taylor expansion of -1 in y
0.312 * [taylor]: Taking taylor expansion of x in y
0.316 * [taylor]: Taking taylor expansion of 0 in y
0.324 * [taylor]: Taking taylor expansion of 0 in y
0.335 * [taylor]: Taking taylor expansion of 0 in y
0.336 * * * [progress]: simplifying candidates
0.337 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (/ (sinh y) y))
  (log1p (/ (sinh y) y))
  (- (log (sinh y)) (log y))
  (log (/ (sinh y) y))
  (exp (/ (sinh y) y))
  (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* y y) y))
  (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))
  (cbrt (/ (sinh y) y))
  (* (* (/ (sinh y) y) (/ (sinh y) y)) (/ (sinh y) y))
  (sqrt (/ (sinh y) y))
  (sqrt (/ (sinh y) y))
  (- (sinh y))
  (- y)
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (sinh y)) (cbrt y))
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))
  (/ (cbrt (sinh y)) (sqrt y))
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)
  (/ (cbrt (sinh y)) y)
  (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (sinh y)) (cbrt y))
  (/ (sqrt (sinh y)) (sqrt y))
  (/ (sqrt (sinh y)) (sqrt y))
  (/ (sqrt (sinh y)) 1)
  (/ (sqrt (sinh y)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (sinh y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (sinh y) (sqrt y))
  (/ 1 1)
  (/ (sinh y) y)
  (/ 1 y)
  (/ y (sinh y))
  (/ (sinh y) (* (cbrt y) (cbrt y)))
  (/ (sinh y) (sqrt y))
  (/ (sinh y) 1)
  (/ y (cbrt (sinh y)))
  (/ y (sqrt (sinh y)))
  (/ y (sinh y))
  (* y 2)
  (expm1 (* (cos x) (/ (sinh y) y)))
  (log1p (* (cos x) (/ (sinh y) y)))
  (* (cos x) (/ (sinh y) y))
  (+ (log (cos x)) (- (log (sinh y)) (log y)))
  (+ (log (cos x)) (log (/ (sinh y) y)))
  (log (* (cos x) (/ (sinh y) y)))
  (exp (* (cos x) (/ (sinh y) y)))
  (* (* (* (cos x) (cos x)) (cos x)) (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* y y) y)))
  (* (* (* (cos x) (cos x)) (cos x)) (* (* (/ (sinh y) y) (/ (sinh y) y)) (/ (sinh y) y)))
  (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y))))
  (cbrt (* (cos x) (/ (sinh y) y)))
  (* (* (* (cos x) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y))) (* (cos x) (/ (sinh y) y)))
  (sqrt (* (cos x) (/ (sinh y) y)))
  (sqrt (* (cos x) (/ (sinh y) y)))
  (* (sqrt (cos x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (cos x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (cos x) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))))
  (* (cos x) (sqrt (/ (sinh y) y)))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1))
  (* (cos x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))
  (* (cos x) (/ (sqrt (sinh y)) (sqrt y)))
  (* (cos x) (/ (sqrt (sinh y)) 1))
  (* (cos x) (/ 1 (* (cbrt y) (cbrt y))))
  (* (cos x) (/ 1 (sqrt y)))
  (* (cos x) (/ 1 1))
  (* (cos x) 1)
  (* (cos x) (sinh y))
  (* (cbrt (cos x)) (/ (sinh y) y))
  (* (sqrt (cos x)) (/ (sinh y) y))
  (* (cos x) (/ (sinh y) y))
  (* (cos x) (sinh y))
  (* (cos x) (- (sinh y)))
  (* (cos x) 1)
  (* (cos x) (/ (sinh y) (* (cbrt y) (cbrt y))))
  (* (cos x) (/ (sinh y) (sqrt y)))
  (* (cos x) (/ (sinh y) 1))
  (* (cos x) (* (cbrt (sinh y)) (cbrt (sinh y))))
  (* (cos x) (sqrt (sinh y)))
  (* (cos x) 1)
  (* (cos x) (- (exp y) (exp (- y))))
  (+ (* 1/6 (pow y 2)) (+ (* 1/120 (pow y 4)) 1))
  (/ (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) y)
  (* -1 (/ (- (* 1/2 (exp (* -1 y))) (* 1/2 (exp y))) y))
  (- (+ (* 1/6 (pow y 2)) 1) (* 1/2 (pow x 2)))
  (/ (- (* 1/2 (* (exp y) (cos x))) (* 1/2 (* (exp (- y)) (cos x)))) y)
  (* -1 (/ (- (* 1/2 (* (exp (* -1 y)) (cos x))) (* 1/2 (* (exp y) (cos x)))) y))
0.342 * * [simplify]: iteration  0 :  325  enodes  (cost  441 )
0.351 * * [simplify]: iteration  1 :  1345  enodes  (cost  397 )
0.386 * * [simplify]: iteration  2 :  5001  enodes  (cost  385 )
0.389 * [simplify]: Simplified to:
   (expm1 (/ (sinh y) y))
  (log1p (/ (sinh y) y))
  (log (/ (sinh y) y))
  (log (/ (sinh y) y))
  (exp (/ (sinh y) y))
  (pow (/ (sinh y) y) 3)
  (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))
  (cbrt (/ (sinh y) y))
  (pow (/ (sinh y) y) 3)
  (sqrt (/ (sinh y) y))
  (sqrt (/ (sinh y) y))
  (- (sinh y))
  (* -1 y)
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (sinh y)) (cbrt y))
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))
  (/ (cbrt (sinh y)) (sqrt y))
  (* (cbrt (sinh y)) (cbrt (sinh y)))
  (/ (cbrt (sinh y)) y)
  (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (sinh y)) (cbrt y))
  (/ (sqrt (sinh y)) (sqrt y))
  (/ (sqrt (sinh y)) (sqrt y))
  (sqrt (sinh y))
  (/ (sqrt (sinh y)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (sinh y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (sinh y) (sqrt y))
  1
  (/ (sinh y) y)
  (/ 1 y)
  (/ y (sinh y))
  (/ (sinh y) (* (cbrt y) (cbrt y)))
  (/ (sinh y) (sqrt y))
  (sinh y)
  (/ y (cbrt (sinh y)))
  (/ y (sqrt (sinh y)))
  (/ y (sinh y))
  (* y 2)
  (expm1 (* (cos x) (/ (sinh y) y)))
  (log1p (* (cos x) (/ (sinh y) y)))
  (* (cos x) (/ (sinh y) y))
  (log (* (cos x) (/ (sinh y) y)))
  (log (* (cos x) (/ (sinh y) y)))
  (log (* (cos x) (/ (sinh y) y)))
  (exp (* (cos x) (/ (sinh y) y)))
  (pow (* (cos x) (/ (sinh y) y)) 3)
  (pow (* (cos x) (/ (sinh y) y)) 3)
  (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y))))
  (cbrt (* (cos x) (/ (sinh y) y)))
  (pow (* (cos x) (/ (sinh y) y)) 3)
  (sqrt (* (cos x) (/ (sinh y) y)))
  (sqrt (* (cos x) (/ (sinh y) y)))
  (* (sqrt (cos x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (cos x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (cos x) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))))
  (* (cos x) (sqrt (/ (sinh y) y)))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)))
  (* (cos x) (* (cbrt (sinh y)) (cbrt (sinh y))))
  (* (cos x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))
  (* (cos x) (/ (sqrt (sinh y)) (sqrt y)))
  (* (sqrt (sinh y)) (cos x))
  (/ (cos x) (* (cbrt y) (cbrt y)))
  (/ (cos x) (sqrt y))
  (cos x)
  (cos x)
  (* (sinh y) (cos x))
  (* (cbrt (cos x)) (/ (sinh y) y))
  (* (sqrt (cos x)) (/ (sinh y) y))
  (* (cos x) (/ (sinh y) y))
  (* (sinh y) (cos x))
  (* (cos x) (- (sinh y)))
  (cos x)
  (* (cos x) (/ (sinh y) (* (cbrt y) (cbrt y))))
  (* (cos x) (/ (sinh y) (sqrt y)))
  (* (sinh y) (cos x))
  (* (cos x) (* (cbrt (sinh y)) (cbrt (sinh y))))
  (* (sqrt (sinh y)) (cos x))
  (cos x)
  (* 2 (* (sinh y) (cos x)))
  (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))
  (/ (* -1/2 (- (exp (* -1 y)) (exp y))) y)
  (/ (* -1/2 (- (exp (* -1 y)) (exp y))) y)
  (fma (pow y 2) 1/6 (- 1 (* 1/2 (pow x 2))))
  (* (cos x) (/ (sinh y) y))
  (* (cos x) (/ (sinh y) y))
0.389 * * * [progress]: adding candidates to table
0.559 * * [progress]: iteration 2 / 4
0.559 * * * [progress]: picking best candidate
0.561 * * * * [pick]: Picked  #<alt (λ (x y) (/ (* 2 (* (sinh y) (cos x))) (* y 2)))>
0.561 * * * [progress]: localizing error
0.570 * * * [progress]: generating rewritten candidates
0.570 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.591 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
0.596 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.625 * * * [progress]: generating series expansions
0.625 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.625 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (y x) around 0
0.625 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x
0.625 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
0.625 * [taylor]: Taking taylor expansion of (sinh y) in x
0.625 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
0.625 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
0.625 * [taylor]: Taking taylor expansion of (exp y) in x
0.625 * [taylor]: Taking taylor expansion of y in x
0.625 * [taylor]: Taking taylor expansion of (exp (- y)) in x
0.625 * [taylor]: Taking taylor expansion of (- y) in x
0.625 * [taylor]: Taking taylor expansion of y in x
0.625 * [taylor]: Taking taylor expansion of 2 in x
0.626 * [taylor]: Taking taylor expansion of (cos x) in x
0.626 * [taylor]: Taking taylor expansion of x in x
0.626 * [taylor]: Taking taylor expansion of y in x
0.626 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y
0.626 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y
0.626 * [taylor]: Taking taylor expansion of (sinh y) in y
0.626 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
0.626 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
0.626 * [taylor]: Taking taylor expansion of (exp y) in y
0.626 * [taylor]: Taking taylor expansion of y in y
0.626 * [taylor]: Taking taylor expansion of (exp (- y)) in y
0.626 * [taylor]: Taking taylor expansion of (- y) in y
0.626 * [taylor]: Taking taylor expansion of y in y
0.627 * [taylor]: Taking taylor expansion of 2 in y
0.629 * [taylor]: Taking taylor expansion of (cos x) in y
0.629 * [taylor]: Taking taylor expansion of x in y
0.629 * [taylor]: Taking taylor expansion of y in y
0.630 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y
0.630 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y
0.630 * [taylor]: Taking taylor expansion of (sinh y) in y
0.630 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
0.630 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
0.630 * [taylor]: Taking taylor expansion of (exp y) in y
0.630 * [taylor]: Taking taylor expansion of y in y
0.630 * [taylor]: Taking taylor expansion of (exp (- y)) in y
0.630 * [taylor]: Taking taylor expansion of (- y) in y
0.630 * [taylor]: Taking taylor expansion of y in y
0.631 * [taylor]: Taking taylor expansion of 2 in y
0.633 * [taylor]: Taking taylor expansion of (cos x) in y
0.633 * [taylor]: Taking taylor expansion of x in y
0.633 * [taylor]: Taking taylor expansion of y in y
0.634 * [taylor]: Taking taylor expansion of (cos x) in x
0.634 * [taylor]: Taking taylor expansion of x in x
0.645 * [taylor]: Taking taylor expansion of 0 in x
0.653 * [taylor]: Taking taylor expansion of (* 1/6 (cos x)) in x
0.653 * [taylor]: Taking taylor expansion of 1/6 in x
0.653 * [taylor]: Taking taylor expansion of (cos x) in x
0.653 * [taylor]: Taking taylor expansion of x in x
0.654 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (y x) around 0
0.654 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x
0.654 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
0.654 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
0.654 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
0.654 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.654 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.654 * [taylor]: Taking taylor expansion of y in x
0.654 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
0.655 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
0.655 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.655 * [taylor]: Taking taylor expansion of y in x
0.655 * [taylor]: Taking taylor expansion of 2 in x
0.655 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x
0.655 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.655 * [taylor]: Taking taylor expansion of x in x
0.655 * [taylor]: Taking taylor expansion of y in x
0.655 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y
0.655 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.655 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
0.655 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
0.655 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.655 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.655 * [taylor]: Taking taylor expansion of y in y
0.656 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
0.656 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.656 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.656 * [taylor]: Taking taylor expansion of y in y
0.656 * [taylor]: Taking taylor expansion of 2 in y
0.657 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y
0.657 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
0.657 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.657 * [taylor]: Taking taylor expansion of x in y
0.657 * [taylor]: Taking taylor expansion of y in y
0.657 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y
0.657 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.657 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
0.657 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
0.657 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.657 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.657 * [taylor]: Taking taylor expansion of y in y
0.657 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
0.657 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.657 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.657 * [taylor]: Taking taylor expansion of y in y
0.658 * [taylor]: Taking taylor expansion of 2 in y
0.658 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y
0.658 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
0.658 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.658 * [taylor]: Taking taylor expansion of x in y
0.658 * [taylor]: Taking taylor expansion of y in y
0.659 * [taylor]: Taking taylor expansion of 0 in x
0.662 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (exp (/ 1 y)) (cos (/ 1 x)))) (* 1/2 (* (exp (- (/ 1 y))) (cos (/ 1 x))))) in x
0.662 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (cos (/ 1 x)))) in x
0.662 * [taylor]: Taking taylor expansion of 1/2 in x
0.662 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (cos (/ 1 x))) in x
0.662 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.662 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.662 * [taylor]: Taking taylor expansion of y in x
0.662 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.662 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.662 * [taylor]: Taking taylor expansion of x in x
0.663 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (- (/ 1 y))) (cos (/ 1 x)))) in x
0.663 * [taylor]: Taking taylor expansion of 1/2 in x
0.663 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 y))) (cos (/ 1 x))) in x
0.663 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
0.663 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
0.663 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.663 * [taylor]: Taking taylor expansion of y in x
0.663 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.663 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.663 * [taylor]: Taking taylor expansion of x in x
0.669 * [taylor]: Taking taylor expansion of 0 in x
0.677 * [taylor]: Taking taylor expansion of 0 in x
0.677 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in (y x) around 0
0.678 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x
0.678 * [taylor]: Taking taylor expansion of -1 in x
0.678 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x
0.678 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
0.678 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
0.678 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
0.678 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
0.678 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.678 * [taylor]: Taking taylor expansion of -1 in x
0.678 * [taylor]: Taking taylor expansion of y in x
0.678 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
0.678 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
0.678 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.678 * [taylor]: Taking taylor expansion of -1 in x
0.678 * [taylor]: Taking taylor expansion of y in x
0.678 * [taylor]: Taking taylor expansion of 2 in x
0.678 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x
0.678 * [taylor]: Taking taylor expansion of y in x
0.678 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.678 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.678 * [taylor]: Taking taylor expansion of -1 in x
0.678 * [taylor]: Taking taylor expansion of x in x
0.679 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y
0.679 * [taylor]: Taking taylor expansion of -1 in y
0.679 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y
0.679 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.679 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
0.679 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
0.679 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.679 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.679 * [taylor]: Taking taylor expansion of -1 in y
0.679 * [taylor]: Taking taylor expansion of y in y
0.679 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
0.679 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
0.679 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.679 * [taylor]: Taking taylor expansion of -1 in y
0.679 * [taylor]: Taking taylor expansion of y in y
0.680 * [taylor]: Taking taylor expansion of 2 in y
0.680 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y
0.680 * [taylor]: Taking taylor expansion of y in y
0.680 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
0.680 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.680 * [taylor]: Taking taylor expansion of -1 in y
0.680 * [taylor]: Taking taylor expansion of x in y
0.680 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y
0.680 * [taylor]: Taking taylor expansion of -1 in y
0.680 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y
0.680 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.680 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
0.680 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
0.681 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.681 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.681 * [taylor]: Taking taylor expansion of -1 in y
0.681 * [taylor]: Taking taylor expansion of y in y
0.681 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
0.681 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
0.681 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.681 * [taylor]: Taking taylor expansion of -1 in y
0.681 * [taylor]: Taking taylor expansion of y in y
0.682 * [taylor]: Taking taylor expansion of 2 in y
0.682 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y
0.682 * [taylor]: Taking taylor expansion of y in y
0.682 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
0.682 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.682 * [taylor]: Taking taylor expansion of -1 in y
0.682 * [taylor]: Taking taylor expansion of x in y
0.683 * [taylor]: Taking taylor expansion of 0 in x
0.687 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (exp (/ 1 y)) (cos (/ -1 x)))) (* 1/2 (* (exp (/ -1 y)) (cos (/ -1 x))))) in x
0.687 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (cos (/ -1 x)))) in x
0.687 * [taylor]: Taking taylor expansion of 1/2 in x
0.687 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (cos (/ -1 x))) in x
0.687 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.687 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.687 * [taylor]: Taking taylor expansion of y in x
0.687 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.687 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.687 * [taylor]: Taking taylor expansion of -1 in x
0.687 * [taylor]: Taking taylor expansion of x in x
0.687 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 y)) (cos (/ -1 x)))) in x
0.687 * [taylor]: Taking taylor expansion of 1/2 in x
0.687 * [taylor]: Taking taylor expansion of (* (exp (/ -1 y)) (cos (/ -1 x))) in x
0.687 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
0.687 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.687 * [taylor]: Taking taylor expansion of -1 in x
0.687 * [taylor]: Taking taylor expansion of y in x
0.687 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.687 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.687 * [taylor]: Taking taylor expansion of -1 in x
0.687 * [taylor]: Taking taylor expansion of x in x
0.694 * [taylor]: Taking taylor expansion of 0 in x
0.703 * [taylor]: Taking taylor expansion of 0 in x
0.703 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
0.703 * [approximate]: Taking taylor expansion of (* (sinh y) (cos x)) in (y x) around 0
0.703 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
0.703 * [taylor]: Taking taylor expansion of (sinh y) in x
0.703 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
0.703 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
0.703 * [taylor]: Taking taylor expansion of (exp y) in x
0.703 * [taylor]: Taking taylor expansion of y in x
0.703 * [taylor]: Taking taylor expansion of (exp (- y)) in x
0.704 * [taylor]: Taking taylor expansion of (- y) in x
0.704 * [taylor]: Taking taylor expansion of y in x
0.704 * [taylor]: Taking taylor expansion of 2 in x
0.704 * [taylor]: Taking taylor expansion of (cos x) in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.704 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y
0.704 * [taylor]: Taking taylor expansion of (sinh y) in y
0.704 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
0.704 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
0.704 * [taylor]: Taking taylor expansion of (exp y) in y
0.704 * [taylor]: Taking taylor expansion of y in y
0.704 * [taylor]: Taking taylor expansion of (exp (- y)) in y
0.704 * [taylor]: Taking taylor expansion of (- y) in y
0.704 * [taylor]: Taking taylor expansion of y in y
0.705 * [taylor]: Taking taylor expansion of 2 in y
0.707 * [taylor]: Taking taylor expansion of (cos x) in y
0.707 * [taylor]: Taking taylor expansion of x in y
0.707 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y
0.707 * [taylor]: Taking taylor expansion of (sinh y) in y
0.707 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
0.707 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
0.707 * [taylor]: Taking taylor expansion of (exp y) in y
0.707 * [taylor]: Taking taylor expansion of y in y
0.707 * [taylor]: Taking taylor expansion of (exp (- y)) in y
0.707 * [taylor]: Taking taylor expansion of (- y) in y
0.707 * [taylor]: Taking taylor expansion of y in y
0.708 * [taylor]: Taking taylor expansion of 2 in y
0.710 * [taylor]: Taking taylor expansion of (cos x) in y
0.710 * [taylor]: Taking taylor expansion of x in y
0.711 * [taylor]: Taking taylor expansion of (cos x) in x
0.711 * [taylor]: Taking taylor expansion of x in x
0.716 * [taylor]: Taking taylor expansion of 0 in x
0.723 * [taylor]: Taking taylor expansion of (* 1/6 (cos x)) in x
0.723 * [taylor]: Taking taylor expansion of 1/6 in x
0.723 * [taylor]: Taking taylor expansion of (cos x) in x
0.723 * [taylor]: Taking taylor expansion of x in x
0.728 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (cos (/ 1 x))) in (y x) around 0
0.728 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (cos (/ 1 x))) in x
0.728 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
0.728 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
0.728 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
0.728 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.728 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.728 * [taylor]: Taking taylor expansion of y in x
0.728 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
0.728 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
0.728 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.728 * [taylor]: Taking taylor expansion of y in x
0.728 * [taylor]: Taking taylor expansion of 2 in x
0.728 * [taylor]: Taking taylor expansion of (cos (/ 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.729 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (cos (/ 1 x))) in y
0.729 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.729 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
0.729 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
0.729 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.729 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.729 * [taylor]: Taking taylor expansion of y in y
0.729 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
0.729 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.729 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.729 * [taylor]: Taking taylor expansion of y in y
0.730 * [taylor]: Taking taylor expansion of 2 in y
0.730 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
0.730 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.730 * [taylor]: Taking taylor expansion of x in y
0.730 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (cos (/ 1 x))) in y
0.730 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.730 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
0.730 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
0.730 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.730 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.730 * [taylor]: Taking taylor expansion of y in y
0.731 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
0.731 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.731 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.731 * [taylor]: Taking taylor expansion of y in y
0.731 * [taylor]: Taking taylor expansion of 2 in y
0.731 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
0.731 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.732 * [taylor]: Taking taylor expansion of x in y
0.732 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in x
0.732 * [taylor]: Taking taylor expansion of 1/2 in x
0.732 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in x
0.732 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.732 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.732 * [taylor]: Taking taylor expansion of x in x
0.733 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
0.733 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.733 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.733 * [taylor]: Taking taylor expansion of y in x
0.733 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
0.733 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
0.733 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.733 * [taylor]: Taking taylor expansion of y in x
0.736 * [taylor]: Taking taylor expansion of 0 in x
0.743 * [taylor]: Taking taylor expansion of 0 in x
0.751 * [taylor]: Taking taylor expansion of 0 in x
0.752 * [approximate]: Taking taylor expansion of (* (sinh (/ -1 y)) (cos (/ -1 x))) in (y x) around 0
0.752 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (cos (/ -1 x))) in x
0.752 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
0.752 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
0.752 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
0.752 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
0.752 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.752 * [taylor]: Taking taylor expansion of -1 in x
0.752 * [taylor]: Taking taylor expansion of y in x
0.752 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
0.752 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
0.752 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.752 * [taylor]: Taking taylor expansion of -1 in x
0.752 * [taylor]: Taking taylor expansion of y in x
0.752 * [taylor]: Taking taylor expansion of 2 in x
0.752 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.752 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.752 * [taylor]: Taking taylor expansion of -1 in x
0.752 * [taylor]: Taking taylor expansion of x in x
0.753 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (cos (/ -1 x))) in y
0.753 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.753 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
0.753 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
0.753 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.753 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.753 * [taylor]: Taking taylor expansion of -1 in y
0.753 * [taylor]: Taking taylor expansion of y in y
0.753 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
0.753 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
0.753 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.753 * [taylor]: Taking taylor expansion of -1 in y
0.753 * [taylor]: Taking taylor expansion of y in y
0.754 * [taylor]: Taking taylor expansion of 2 in y
0.754 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
0.754 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.754 * [taylor]: Taking taylor expansion of -1 in y
0.754 * [taylor]: Taking taylor expansion of x in y
0.754 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (cos (/ -1 x))) in y
0.754 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.754 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
0.754 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
0.754 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.754 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.754 * [taylor]: Taking taylor expansion of -1 in y
0.754 * [taylor]: Taking taylor expansion of y in y
0.755 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
0.755 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
0.755 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.755 * [taylor]: Taking taylor expansion of -1 in y
0.755 * [taylor]: Taking taylor expansion of y in y
0.755 * [taylor]: Taking taylor expansion of 2 in y
0.756 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
0.756 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.756 * [taylor]: Taking taylor expansion of -1 in y
0.756 * [taylor]: Taking taylor expansion of x in y
0.756 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x)))) in x
0.756 * [taylor]: Taking taylor expansion of 1/2 in x
0.756 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))) in x
0.756 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in x
0.756 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
0.756 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.756 * [taylor]: Taking taylor expansion of -1 in x
0.756 * [taylor]: Taking taylor expansion of y in x
0.756 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.756 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.756 * [taylor]: Taking taylor expansion of y in x
0.757 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.757 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.757 * [taylor]: Taking taylor expansion of -1 in x
0.757 * [taylor]: Taking taylor expansion of x in x
0.760 * [taylor]: Taking taylor expansion of 0 in x
0.766 * [taylor]: Taking taylor expansion of 0 in x
0.775 * [taylor]: Taking taylor expansion of 0 in x
0.775 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.775 * [approximate]: Taking taylor expansion of (* 2 (* (sinh y) (cos x))) in (y x) around 0
0.775 * [taylor]: Taking taylor expansion of (* 2 (* (sinh y) (cos x))) in x
0.775 * [taylor]: Taking taylor expansion of 2 in x
0.775 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
0.775 * [taylor]: Taking taylor expansion of (sinh y) in x
0.775 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
0.775 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
0.775 * [taylor]: Taking taylor expansion of (exp y) in x
0.776 * [taylor]: Taking taylor expansion of y in x
0.776 * [taylor]: Taking taylor expansion of (exp (- y)) in x
0.776 * [taylor]: Taking taylor expansion of (- y) in x
0.776 * [taylor]: Taking taylor expansion of y in x
0.776 * [taylor]: Taking taylor expansion of 2 in x
0.776 * [taylor]: Taking taylor expansion of (cos x) in x
0.776 * [taylor]: Taking taylor expansion of x in x
0.776 * [taylor]: Taking taylor expansion of (* 2 (* (sinh y) (cos x))) in y
0.776 * [taylor]: Taking taylor expansion of 2 in y
0.776 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y
0.776 * [taylor]: Taking taylor expansion of (sinh y) in y
0.776 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
0.776 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
0.776 * [taylor]: Taking taylor expansion of (exp y) in y
0.776 * [taylor]: Taking taylor expansion of y in y
0.776 * [taylor]: Taking taylor expansion of (exp (- y)) in y
0.776 * [taylor]: Taking taylor expansion of (- y) in y
0.776 * [taylor]: Taking taylor expansion of y in y
0.777 * [taylor]: Taking taylor expansion of 2 in y
0.779 * [taylor]: Taking taylor expansion of (cos x) in y
0.779 * [taylor]: Taking taylor expansion of x in y
0.779 * [taylor]: Taking taylor expansion of (* 2 (* (sinh y) (cos x))) in y
0.779 * [taylor]: Taking taylor expansion of 2 in y
0.779 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y
0.779 * [taylor]: Taking taylor expansion of (sinh y) in y
0.779 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
0.779 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
0.779 * [taylor]: Taking taylor expansion of (exp y) in y
0.779 * [taylor]: Taking taylor expansion of y in y
0.779 * [taylor]: Taking taylor expansion of (exp (- y)) in y
0.779 * [taylor]: Taking taylor expansion of (- y) in y
0.779 * [taylor]: Taking taylor expansion of y in y
0.780 * [taylor]: Taking taylor expansion of 2 in y
0.782 * [taylor]: Taking taylor expansion of (cos x) in y
0.782 * [taylor]: Taking taylor expansion of x in y
0.783 * [taylor]: Taking taylor expansion of (* 2 (cos x)) in x
0.783 * [taylor]: Taking taylor expansion of 2 in x
0.783 * [taylor]: Taking taylor expansion of (cos x) in x
0.783 * [taylor]: Taking taylor expansion of x in x
0.789 * [taylor]: Taking taylor expansion of 0 in x
0.797 * [taylor]: Taking taylor expansion of (* 1/3 (cos x)) in x
0.797 * [taylor]: Taking taylor expansion of 1/3 in x
0.797 * [taylor]: Taking taylor expansion of (cos x) in x
0.797 * [taylor]: Taking taylor expansion of x in x
0.799 * [approximate]: Taking taylor expansion of (* 2 (* (sinh (/ 1 y)) (cos (/ 1 x)))) in (y x) around 0
0.799 * [taylor]: Taking taylor expansion of (* 2 (* (sinh (/ 1 y)) (cos (/ 1 x)))) in x
0.799 * [taylor]: Taking taylor expansion of 2 in x
0.799 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (cos (/ 1 x))) in x
0.799 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
0.799 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
0.799 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
0.799 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.799 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.799 * [taylor]: Taking taylor expansion of y in x
0.799 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
0.799 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
0.799 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.799 * [taylor]: Taking taylor expansion of y in x
0.799 * [taylor]: Taking taylor expansion of 2 in x
0.799 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.799 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.799 * [taylor]: Taking taylor expansion of x in x
0.800 * [taylor]: Taking taylor expansion of (* 2 (* (sinh (/ 1 y)) (cos (/ 1 x)))) in y
0.800 * [taylor]: Taking taylor expansion of 2 in y
0.800 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (cos (/ 1 x))) in y
0.800 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.800 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
0.800 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
0.800 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.800 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.800 * [taylor]: Taking taylor expansion of y in y
0.800 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
0.800 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.800 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.800 * [taylor]: Taking taylor expansion of y in y
0.801 * [taylor]: Taking taylor expansion of 2 in y
0.801 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
0.801 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.801 * [taylor]: Taking taylor expansion of x in y
0.801 * [taylor]: Taking taylor expansion of (* 2 (* (sinh (/ 1 y)) (cos (/ 1 x)))) in y
0.801 * [taylor]: Taking taylor expansion of 2 in y
0.801 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (cos (/ 1 x))) in y
0.801 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.801 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
0.801 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
0.801 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.801 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.801 * [taylor]: Taking taylor expansion of y in y
0.802 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
0.802 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.802 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.802 * [taylor]: Taking taylor expansion of y in y
0.802 * [taylor]: Taking taylor expansion of 2 in y
0.803 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
0.803 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.803 * [taylor]: Taking taylor expansion of x in y
0.803 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in x
0.803 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.803 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.803 * [taylor]: Taking taylor expansion of x in x
0.804 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
0.804 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.804 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.804 * [taylor]: Taking taylor expansion of y in x
0.804 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
0.804 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
0.804 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.804 * [taylor]: Taking taylor expansion of y in x
0.808 * [taylor]: Taking taylor expansion of 0 in x
0.817 * [taylor]: Taking taylor expansion of 0 in x
0.826 * [taylor]: Taking taylor expansion of 0 in x
0.827 * [approximate]: Taking taylor expansion of (* 2 (* (sinh (/ -1 y)) (cos (/ -1 x)))) in (y x) around 0
0.827 * [taylor]: Taking taylor expansion of (* 2 (* (sinh (/ -1 y)) (cos (/ -1 x)))) in x
0.827 * [taylor]: Taking taylor expansion of 2 in x
0.827 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (cos (/ -1 x))) in x
0.827 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
0.827 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
0.827 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
0.827 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
0.827 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.827 * [taylor]: Taking taylor expansion of -1 in x
0.827 * [taylor]: Taking taylor expansion of y in x
0.827 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
0.827 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
0.827 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.827 * [taylor]: Taking taylor expansion of -1 in x
0.827 * [taylor]: Taking taylor expansion of y in x
0.827 * [taylor]: Taking taylor expansion of 2 in x
0.828 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.828 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.828 * [taylor]: Taking taylor expansion of -1 in x
0.828 * [taylor]: Taking taylor expansion of x in x
0.828 * [taylor]: Taking taylor expansion of (* 2 (* (sinh (/ -1 y)) (cos (/ -1 x)))) in y
0.828 * [taylor]: Taking taylor expansion of 2 in y
0.828 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (cos (/ -1 x))) in y
0.828 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.828 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
0.828 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
0.828 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.828 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.828 * [taylor]: Taking taylor expansion of -1 in y
0.828 * [taylor]: Taking taylor expansion of y in y
0.828 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
0.829 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
0.829 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.829 * [taylor]: Taking taylor expansion of -1 in y
0.829 * [taylor]: Taking taylor expansion of y in y
0.829 * [taylor]: Taking taylor expansion of 2 in y
0.829 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
0.829 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.829 * [taylor]: Taking taylor expansion of -1 in y
0.829 * [taylor]: Taking taylor expansion of x in y
0.829 * [taylor]: Taking taylor expansion of (* 2 (* (sinh (/ -1 y)) (cos (/ -1 x)))) in y
0.829 * [taylor]: Taking taylor expansion of 2 in y
0.830 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (cos (/ -1 x))) in y
0.830 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.830 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
0.830 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
0.830 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.830 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.830 * [taylor]: Taking taylor expansion of -1 in y
0.830 * [taylor]: Taking taylor expansion of y in y
0.830 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
0.830 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
0.830 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.830 * [taylor]: Taking taylor expansion of -1 in y
0.830 * [taylor]: Taking taylor expansion of y in y
0.831 * [taylor]: Taking taylor expansion of 2 in y
0.831 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
0.831 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.831 * [taylor]: Taking taylor expansion of -1 in y
0.831 * [taylor]: Taking taylor expansion of x in y
0.832 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))) in x
0.832 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in x
0.832 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
0.832 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.832 * [taylor]: Taking taylor expansion of -1 in x
0.832 * [taylor]: Taking taylor expansion of y in x
0.832 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.832 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.832 * [taylor]: Taking taylor expansion of y in x
0.832 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.832 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.832 * [taylor]: Taking taylor expansion of -1 in x
0.832 * [taylor]: Taking taylor expansion of x in x
0.836 * [taylor]: Taking taylor expansion of 0 in x
0.843 * [taylor]: Taking taylor expansion of 0 in x
0.851 * [taylor]: Taking taylor expansion of 0 in x
0.851 * * * [progress]: simplifying candidates
0.857 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (log1p (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (- (+ (log 2) (+ (log (sinh y)) (log (cos x)))) (+ (log y) (log 2)))
  (- (+ (log 2) (+ (log (sinh y)) (log (cos x)))) (log (* y 2)))
  (- (+ (log 2) (log (* (sinh y) (cos x)))) (+ (log y) (log 2)))
  (- (+ (log 2) (log (* (sinh y) (cos x)))) (log (* y 2)))
  (- (log (* 2 (* (sinh y) (cos x)))) (+ (log y) (log 2)))
  (- (log (* 2 (* (sinh y) (cos x)))) (log (* y 2)))
  (log (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (exp (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (/ (* (* (* 2 2) 2) (* (* (* (sinh y) (sinh y)) (sinh y)) (* (* (cos x) (cos x)) (cos x)))) (* (* (* y y) y) (* (* 2 2) 2)))
  (/ (* (* (* 2 2) 2) (* (* (* (sinh y) (sinh y)) (sinh y)) (* (* (cos x) (cos x)) (cos x)))) (* (* (* y 2) (* y 2)) (* y 2)))
  (/ (* (* (* 2 2) 2) (* (* (* (sinh y) (cos x)) (* (sinh y) (cos x))) (* (sinh y) (cos x)))) (* (* (* y y) y) (* (* 2 2) 2)))
  (/ (* (* (* 2 2) 2) (* (* (* (sinh y) (cos x)) (* (sinh y) (cos x))) (* (sinh y) (cos x)))) (* (* (* y 2) (* y 2)) (* y 2)))
  (/ (* (* (* 2 (* (sinh y) (cos x))) (* 2 (* (sinh y) (cos x)))) (* 2 (* (sinh y) (cos x)))) (* (* (* y y) y) (* (* 2 2) 2)))
  (/ (* (* (* 2 (* (sinh y) (cos x))) (* 2 (* (sinh y) (cos x)))) (* 2 (* (sinh y) (cos x)))) (* (* (* y 2) (* y 2)) (* y 2)))
  (* (cbrt (/ (* 2 (* (sinh y) (cos x))) (* y 2))) (cbrt (/ (* 2 (* (sinh y) (cos x))) (* y 2))))
  (cbrt (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (* (* (/ (* 2 (* (sinh y) (cos x))) (* y 2)) (/ (* 2 (* (sinh y) (cos x))) (* y 2))) (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (sqrt (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (sqrt (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (- (* 2 (* (sinh y) (cos x))))
  (- (* y 2))
  (/ 2 y)
  (/ (* (sinh y) (cos x)) 2)
  (/ 2 (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (sinh y) (cos x)) (cbrt (* y 2)))
  (/ 2 (sqrt (* y 2)))
  (/ (* (sinh y) (cos x)) (sqrt (* y 2)))
  (/ 2 1)
  (/ (* (sinh y) (cos x)) (* y 2))
  (/ 2 (* (sqrt y) (sqrt 2)))
  (/ (* (sinh y) (cos x)) (* (sqrt y) (sqrt 2)))
  (/ 2 (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (sinh y) (cos x)) (cbrt 2))
  (/ 2 (* y (sqrt 2)))
  (/ (* (sinh y) (cos x)) (sqrt 2))
  (/ 2 (* y 1))
  (/ (* (sinh y) (cos x)) 2)
  (/ 2 (* (cbrt y) (cbrt y)))
  (/ (* (sinh y) (cos x)) (* (cbrt y) 2))
  (/ 2 (sqrt y))
  (/ (* (sinh y) (cos x)) (* (sqrt y) 2))
  (/ 2 1)
  (/ (* (sinh y) (cos x)) (* y 2))
  (/ 2 2)
  (/ (* (sinh y) (cos x)) y)
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) y)
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) 2)
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* y 2)))
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) (sqrt (* y 2)))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (sqrt (* y 2)))
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) 1)
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (* y 2))
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) (* (sqrt y) (sqrt 2)))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt 2))
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) (* y (sqrt 2)))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (sqrt 2))
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) (* y 1))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) 2)
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (* (cbrt y) 2))
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) (sqrt y))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (* (sqrt y) 2))
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) 1)
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (* y 2))
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) 2)
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) y)
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) y)
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) 2)
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (cbrt (* y 2)))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (sqrt (* y 2)))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (sqrt (* y 2)))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) 1)
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* y 2))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (cbrt 2))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* y (sqrt 2)))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (sqrt 2))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* y 1))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) 2)
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* (cbrt y) (cbrt y)))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* (cbrt y) 2))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (sqrt y))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* (sqrt y) 2))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) 1)
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* y 2))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) 2)
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) y)
  (/ 1 y)
  (/ (* 2 (* (sinh y) (cos x))) 2)
  (/ 1 (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* 2 (* (sinh y) (cos x))) (cbrt (* y 2)))
  (/ 1 (sqrt (* y 2)))
  (/ (* 2 (* (sinh y) (cos x))) (sqrt (* y 2)))
  (/ 1 1)
  (/ (* 2 (* (sinh y) (cos x))) (* y 2))
  (/ 1 (* (sqrt y) (sqrt 2)))
  (/ (* 2 (* (sinh y) (cos x))) (* (sqrt y) (sqrt 2)))
  (/ 1 (* y (* (cbrt 2) (cbrt 2))))
  (/ (* 2 (* (sinh y) (cos x))) (cbrt 2))
  (/ 1 (* y (sqrt 2)))
  (/ (* 2 (* (sinh y) (cos x))) (sqrt 2))
  (/ 1 (* y 1))
  (/ (* 2 (* (sinh y) (cos x))) 2)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (* 2 (* (sinh y) (cos x))) (* (cbrt y) 2))
  (/ 1 (sqrt y))
  (/ (* 2 (* (sinh y) (cos x))) (* (sqrt y) 2))
  (/ 1 1)
  (/ (* 2 (* (sinh y) (cos x))) (* y 2))
  (/ 1 2)
  (/ (* 2 (* (sinh y) (cos x))) y)
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) y)
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) 2)
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (cbrt (* y 2)))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (sqrt (* y 2)))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (sqrt (* y 2)))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) 1)
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* y 2))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (cbrt 2))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* y (sqrt 2)))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (sqrt 2))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* y 1))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) 2)
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* (cbrt y) (cbrt y)))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* (cbrt y) 2))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (sqrt y))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* (sqrt y) 2))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) 1)
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* y 2))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) 2)
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) y)
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) y)
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) 2)
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (cbrt (* y 2)))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (sqrt (* y 2)))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (sqrt (* y 2)))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) 1)
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* y 2))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (cbrt 2))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* y (sqrt 2)))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (sqrt 2))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* y 1))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) 2)
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* (cbrt y) (cbrt y)))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* (cbrt y) 2))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (sqrt y))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* (sqrt y) 2))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) 1)
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* y 2))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) 2)
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) y)
  (/ (* 2 (sinh y)) y)
  (/ (cos x) 2)
  (/ (* 2 (sinh y)) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (cos x) (cbrt (* y 2)))
  (/ (* 2 (sinh y)) (sqrt (* y 2)))
  (/ (cos x) (sqrt (* y 2)))
  (/ (* 2 (sinh y)) 1)
  (/ (cos x) (* y 2))
  (/ (* 2 (sinh y)) (* (sqrt y) (sqrt 2)))
  (/ (cos x) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (sinh y)) (* y (* (cbrt 2) (cbrt 2))))
  (/ (cos x) (cbrt 2))
  (/ (* 2 (sinh y)) (* y (sqrt 2)))
  (/ (cos x) (sqrt 2))
  (/ (* 2 (sinh y)) (* y 1))
  (/ (cos x) 2)
  (/ (* 2 (sinh y)) (* (cbrt y) (cbrt y)))
  (/ (cos x) (* (cbrt y) 2))
  (/ (* 2 (sinh y)) (sqrt y))
  (/ (cos x) (* (sqrt y) 2))
  (/ (* 2 (sinh y)) 1)
  (/ (cos x) (* y 2))
  (/ (* 2 (sinh y)) 2)
  (/ (cos x) y)
  (/ (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))) y)
  (/ (cbrt (* (sinh y) (cos x))) 2)
  (/ (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (cbrt (* (sinh y) (cos x))) (cbrt (* y 2)))
  (/ (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))) (sqrt (* y 2)))
  (/ (cbrt (* (sinh y) (cos x))) (sqrt (* y 2)))
  (/ (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))) 1)
  (/ (cbrt (* (sinh y) (cos x))) (* y 2))
  (/ (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))) (* (sqrt y) (sqrt 2)))
  (/ (cbrt (* (sinh y) (cos x))) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (cbrt (* (sinh y) (cos x))) (cbrt 2))
  (/ (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))) (* y (sqrt 2)))
  (/ (cbrt (* (sinh y) (cos x))) (sqrt 2))
  (/ (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))) (* y 1))
  (/ (cbrt (* (sinh y) (cos x))) 2)
  (/ (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (* (sinh y) (cos x))) (* (cbrt y) 2))
  (/ (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))) (sqrt y))
  (/ (cbrt (* (sinh y) (cos x))) (* (sqrt y) 2))
  (/ (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))) 1)
  (/ (cbrt (* (sinh y) (cos x))) (* y 2))
  (/ (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))) 2)
  (/ (cbrt (* (sinh y) (cos x))) y)
  (/ (* 2 (sqrt (* (sinh y) (cos x)))) y)
  (/ (sqrt (* (sinh y) (cos x))) 2)
  (/ (* 2 (sqrt (* (sinh y) (cos x)))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (sqrt (* (sinh y) (cos x))) (cbrt (* y 2)))
  (/ (* 2 (sqrt (* (sinh y) (cos x)))) (sqrt (* y 2)))
  (/ (sqrt (* (sinh y) (cos x))) (sqrt (* y 2)))
  (/ (* 2 (sqrt (* (sinh y) (cos x)))) 1)
  (/ (sqrt (* (sinh y) (cos x))) (* y 2))
  (/ (* 2 (sqrt (* (sinh y) (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (sqrt (* (sinh y) (cos x))) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (sqrt (* (sinh y) (cos x)))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (sqrt (* (sinh y) (cos x))) (cbrt 2))
  (/ (* 2 (sqrt (* (sinh y) (cos x)))) (* y (sqrt 2)))
  (/ (sqrt (* (sinh y) (cos x))) (sqrt 2))
  (/ (* 2 (sqrt (* (sinh y) (cos x)))) (* y 1))
  (/ (sqrt (* (sinh y) (cos x))) 2)
  (/ (* 2 (sqrt (* (sinh y) (cos x)))) (* (cbrt y) (cbrt y)))
  (/ (sqrt (* (sinh y) (cos x))) (* (cbrt y) 2))
  (/ (* 2 (sqrt (* (sinh y) (cos x)))) (sqrt y))
  (/ (sqrt (* (sinh y) (cos x))) (* (sqrt y) 2))
  (/ (* 2 (sqrt (* (sinh y) (cos x)))) 1)
  (/ (sqrt (* (sinh y) (cos x))) (* y 2))
  (/ (* 2 (sqrt (* (sinh y) (cos x)))) 2)
  (/ (sqrt (* (sinh y) (cos x))) y)
  (/ (* 2 1) y)
  (/ (* (sinh y) (cos x)) 2)
  (/ (* 2 1) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (sinh y) (cos x)) (cbrt (* y 2)))
  (/ (* 2 1) (sqrt (* y 2)))
  (/ (* (sinh y) (cos x)) (sqrt (* y 2)))
  (/ (* 2 1) 1)
  (/ (* (sinh y) (cos x)) (* y 2))
  (/ (* 2 1) (* (sqrt y) (sqrt 2)))
  (/ (* (sinh y) (cos x)) (* (sqrt y) (sqrt 2)))
  (/ (* 2 1) (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (sinh y) (cos x)) (cbrt 2))
  (/ (* 2 1) (* y (sqrt 2)))
  (/ (* (sinh y) (cos x)) (sqrt 2))
  (/ (* 2 1) (* y 1))
  (/ (* (sinh y) (cos x)) 2)
  (/ (* 2 1) (* (cbrt y) (cbrt y)))
  (/ (* (sinh y) (cos x)) (* (cbrt y) 2))
  (/ (* 2 1) (sqrt y))
  (/ (* (sinh y) (cos x)) (* (sqrt y) 2))
  (/ (* 2 1) 1)
  (/ (* (sinh y) (cos x)) (* y 2))
  (/ (* 2 1) 2)
  (/ (* (sinh y) (cos x)) y)
  (/ (* 2 (* (sqrt (sinh y)) (sqrt (cos x)))) y)
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) 2)
  (/ (* 2 (* (sqrt (sinh y)) (sqrt (cos x)))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) (cbrt (* y 2)))
  (/ (* 2 (* (sqrt (sinh y)) (sqrt (cos x)))) (sqrt (* y 2)))
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) (sqrt (* y 2)))
  (/ (* 2 (* (sqrt (sinh y)) (sqrt (cos x)))) 1)
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) (* y 2))
  (/ (* 2 (* (sqrt (sinh y)) (sqrt (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (* (sqrt (sinh y)) (sqrt (cos x)))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) (cbrt 2))
  (/ (* 2 (* (sqrt (sinh y)) (sqrt (cos x)))) (* y (sqrt 2)))
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) (sqrt 2))
  (/ (* 2 (* (sqrt (sinh y)) (sqrt (cos x)))) (* y 1))
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) 2)
  (/ (* 2 (* (sqrt (sinh y)) (sqrt (cos x)))) (* (cbrt y) (cbrt y)))
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) (* (cbrt y) 2))
  (/ (* 2 (* (sqrt (sinh y)) (sqrt (cos x)))) (sqrt y))
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) (* (sqrt y) 2))
  (/ (* 2 (* (sqrt (sinh y)) (sqrt (cos x)))) 1)
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) (* y 2))
  (/ (* 2 (* (sqrt (sinh y)) (sqrt (cos x)))) 2)
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) y)
  (/ (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))) y)
  (/ (cbrt (cos x)) 2)
  (/ (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (cbrt (cos x)) (cbrt (* y 2)))
  (/ (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))) (sqrt (* y 2)))
  (/ (cbrt (cos x)) (sqrt (* y 2)))
  (/ (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))) 1)
  (/ (cbrt (cos x)) (* y 2))
  (/ (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))) (* (sqrt y) (sqrt 2)))
  (/ (cbrt (cos x)) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (cbrt (cos x)) (cbrt 2))
  (/ (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))) (* y (sqrt 2)))
  (/ (cbrt (cos x)) (sqrt 2))
  (/ (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))) (* y 1))
  (/ (cbrt (cos x)) 2)
  (/ (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (cos x)) (* (cbrt y) 2))
  (/ (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))) (sqrt y))
  (/ (cbrt (cos x)) (* (sqrt y) 2))
  (/ (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))) 1)
  (/ (cbrt (cos x)) (* y 2))
  (/ (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))) 2)
  (/ (cbrt (cos x)) y)
  (/ (* 2 (* (sinh y) (sqrt (cos x)))) y)
  (/ (sqrt (cos x)) 2)
  (/ (* 2 (* (sinh y) (sqrt (cos x)))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (sqrt (cos x)) (cbrt (* y 2)))
  (/ (* 2 (* (sinh y) (sqrt (cos x)))) (sqrt (* y 2)))
  (/ (sqrt (cos x)) (sqrt (* y 2)))
  (/ (* 2 (* (sinh y) (sqrt (cos x)))) 1)
  (/ (sqrt (cos x)) (* y 2))
  (/ (* 2 (* (sinh y) (sqrt (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (sqrt (cos x)) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (* (sinh y) (sqrt (cos x)))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (sqrt (cos x)) (cbrt 2))
  (/ (* 2 (* (sinh y) (sqrt (cos x)))) (* y (sqrt 2)))
  (/ (sqrt (cos x)) (sqrt 2))
  (/ (* 2 (* (sinh y) (sqrt (cos x)))) (* y 1))
  (/ (sqrt (cos x)) 2)
  (/ (* 2 (* (sinh y) (sqrt (cos x)))) (* (cbrt y) (cbrt y)))
  (/ (sqrt (cos x)) (* (cbrt y) 2))
  (/ (* 2 (* (sinh y) (sqrt (cos x)))) (sqrt y))
  (/ (sqrt (cos x)) (* (sqrt y) 2))
  (/ (* 2 (* (sinh y) (sqrt (cos x)))) 1)
  (/ (sqrt (cos x)) (* y 2))
  (/ (* 2 (* (sinh y) (sqrt (cos x)))) 2)
  (/ (sqrt (cos x)) y)
  (/ (* 2 (* (sinh y) 1)) y)
  (/ (cos x) 2)
  (/ (* 2 (* (sinh y) 1)) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (cos x) (cbrt (* y 2)))
  (/ (* 2 (* (sinh y) 1)) (sqrt (* y 2)))
  (/ (cos x) (sqrt (* y 2)))
  (/ (* 2 (* (sinh y) 1)) 1)
  (/ (cos x) (* y 2))
  (/ (* 2 (* (sinh y) 1)) (* (sqrt y) (sqrt 2)))
  (/ (cos x) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (* (sinh y) 1)) (* y (* (cbrt 2) (cbrt 2))))
  (/ (cos x) (cbrt 2))
  (/ (* 2 (* (sinh y) 1)) (* y (sqrt 2)))
  (/ (cos x) (sqrt 2))
  (/ (* 2 (* (sinh y) 1)) (* y 1))
  (/ (cos x) 2)
  (/ (* 2 (* (sinh y) 1)) (* (cbrt y) (cbrt y)))
  (/ (cos x) (* (cbrt y) 2))
  (/ (* 2 (* (sinh y) 1)) (sqrt y))
  (/ (cos x) (* (sqrt y) 2))
  (/ (* 2 (* (sinh y) 1)) 1)
  (/ (cos x) (* y 2))
  (/ (* 2 (* (sinh y) 1)) 2)
  (/ (cos x) y)
  (/ (* 2 (* (cbrt (sinh y)) (cbrt (sinh y)))) y)
  (/ (* (cbrt (sinh y)) (cos x)) 2)
  (/ (* 2 (* (cbrt (sinh y)) (cbrt (sinh y)))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (cbrt (sinh y)) (cos x)) (cbrt (* y 2)))
  (/ (* 2 (* (cbrt (sinh y)) (cbrt (sinh y)))) (sqrt (* y 2)))
  (/ (* (cbrt (sinh y)) (cos x)) (sqrt (* y 2)))
  (/ (* 2 (* (cbrt (sinh y)) (cbrt (sinh y)))) 1)
  (/ (* (cbrt (sinh y)) (cos x)) (* y 2))
  (/ (* 2 (* (cbrt (sinh y)) (cbrt (sinh y)))) (* (sqrt y) (sqrt 2)))
  (/ (* (cbrt (sinh y)) (cos x)) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (* (cbrt (sinh y)) (cbrt (sinh y)))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (cbrt (sinh y)) (cos x)) (cbrt 2))
  (/ (* 2 (* (cbrt (sinh y)) (cbrt (sinh y)))) (* y (sqrt 2)))
  (/ (* (cbrt (sinh y)) (cos x)) (sqrt 2))
  (/ (* 2 (* (cbrt (sinh y)) (cbrt (sinh y)))) (* y 1))
  (/ (* (cbrt (sinh y)) (cos x)) 2)
  (/ (* 2 (* (cbrt (sinh y)) (cbrt (sinh y)))) (* (cbrt y) (cbrt y)))
  (/ (* (cbrt (sinh y)) (cos x)) (* (cbrt y) 2))
  (/ (* 2 (* (cbrt (sinh y)) (cbrt (sinh y)))) (sqrt y))
  (/ (* (cbrt (sinh y)) (cos x)) (* (sqrt y) 2))
  (/ (* 2 (* (cbrt (sinh y)) (cbrt (sinh y)))) 1)
  (/ (* (cbrt (sinh y)) (cos x)) (* y 2))
  (/ (* 2 (* (cbrt (sinh y)) (cbrt (sinh y)))) 2)
  (/ (* (cbrt (sinh y)) (cos x)) y)
  (/ (* 2 (sqrt (sinh y))) y)
  (/ (* (sqrt (sinh y)) (cos x)) 2)
  (/ (* 2 (sqrt (sinh y))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (sqrt (sinh y)) (cos x)) (cbrt (* y 2)))
  (/ (* 2 (sqrt (sinh y))) (sqrt (* y 2)))
  (/ (* (sqrt (sinh y)) (cos x)) (sqrt (* y 2)))
  (/ (* 2 (sqrt (sinh y))) 1)
  (/ (* (sqrt (sinh y)) (cos x)) (* y 2))
  (/ (* 2 (sqrt (sinh y))) (* (sqrt y) (sqrt 2)))
  (/ (* (sqrt (sinh y)) (cos x)) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (sqrt (sinh y))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (sqrt (sinh y)) (cos x)) (cbrt 2))
  (/ (* 2 (sqrt (sinh y))) (* y (sqrt 2)))
  (/ (* (sqrt (sinh y)) (cos x)) (sqrt 2))
  (/ (* 2 (sqrt (sinh y))) (* y 1))
  (/ (* (sqrt (sinh y)) (cos x)) 2)
  (/ (* 2 (sqrt (sinh y))) (* (cbrt y) (cbrt y)))
  (/ (* (sqrt (sinh y)) (cos x)) (* (cbrt y) 2))
  (/ (* 2 (sqrt (sinh y))) (sqrt y))
  (/ (* (sqrt (sinh y)) (cos x)) (* (sqrt y) 2))
  (/ (* 2 (sqrt (sinh y))) 1)
  (/ (* (sqrt (sinh y)) (cos x)) (* y 2))
  (/ (* 2 (sqrt (sinh y))) 2)
  (/ (* (sqrt (sinh y)) (cos x)) y)
  (/ (* 2 1) y)
  (/ (* (sinh y) (cos x)) 2)
  (/ (* 2 1) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (sinh y) (cos x)) (cbrt (* y 2)))
  (/ (* 2 1) (sqrt (* y 2)))
  (/ (* (sinh y) (cos x)) (sqrt (* y 2)))
  (/ (* 2 1) 1)
  (/ (* (sinh y) (cos x)) (* y 2))
  (/ (* 2 1) (* (sqrt y) (sqrt 2)))
  (/ (* (sinh y) (cos x)) (* (sqrt y) (sqrt 2)))
  (/ (* 2 1) (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (sinh y) (cos x)) (cbrt 2))
  (/ (* 2 1) (* y (sqrt 2)))
  (/ (* (sinh y) (cos x)) (sqrt 2))
  (/ (* 2 1) (* y 1))
  (/ (* (sinh y) (cos x)) 2)
  (/ (* 2 1) (* (cbrt y) (cbrt y)))
  (/ (* (sinh y) (cos x)) (* (cbrt y) 2))
  (/ (* 2 1) (sqrt y))
  (/ (* (sinh y) (cos x)) (* (sqrt y) 2))
  (/ (* 2 1) 1)
  (/ (* (sinh y) (cos x)) (* y 2))
  (/ (* 2 1) 2)
  (/ (* (sinh y) (cos x)) y)
  (/ (* 2 (cos x)) y)
  (/ (sinh y) 2)
  (/ (* 2 (cos x)) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (sinh y) (cbrt (* y 2)))
  (/ (* 2 (cos x)) (sqrt (* y 2)))
  (/ (sinh y) (sqrt (* y 2)))
  (/ (* 2 (cos x)) 1)
  (/ (sinh y) (* y 2))
  (/ (* 2 (cos x)) (* (sqrt y) (sqrt 2)))
  (/ (sinh y) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (cos x)) (* y (* (cbrt 2) (cbrt 2))))
  (/ (sinh y) (cbrt 2))
  (/ (* 2 (cos x)) (* y (sqrt 2)))
  (/ (sinh y) (sqrt 2))
  (/ (* 2 (cos x)) (* y 1))
  (/ (sinh y) 2)
  (/ (* 2 (cos x)) (* (cbrt y) (cbrt y)))
  (/ (sinh y) (* (cbrt y) 2))
  (/ (* 2 (cos x)) (sqrt y))
  (/ (sinh y) (* (sqrt y) 2))
  (/ (* 2 (cos x)) 1)
  (/ (sinh y) (* y 2))
  (/ (* 2 (cos x)) 2)
  (/ (sinh y) y)
  (/ (* (cbrt 2) (cbrt 2)) y)
  (/ (* (cbrt 2) (* (sinh y) (cos x))) 2)
  (/ (* (cbrt 2) (cbrt 2)) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (cbrt 2) (* (sinh y) (cos x))) (cbrt (* y 2)))
  (/ (* (cbrt 2) (cbrt 2)) (sqrt (* y 2)))
  (/ (* (cbrt 2) (* (sinh y) (cos x))) (sqrt (* y 2)))
  (/ (* (cbrt 2) (cbrt 2)) 1)
  (/ (* (cbrt 2) (* (sinh y) (cos x))) (* y 2))
  (/ (* (cbrt 2) (cbrt 2)) (* (sqrt y) (sqrt 2)))
  (/ (* (cbrt 2) (* (sinh y) (cos x))) (* (sqrt y) (sqrt 2)))
  (/ (* (cbrt 2) (cbrt 2)) (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (cbrt 2) (* (sinh y) (cos x))) (cbrt 2))
  (/ (* (cbrt 2) (cbrt 2)) (* y (sqrt 2)))
  (/ (* (cbrt 2) (* (sinh y) (cos x))) (sqrt 2))
  (/ (* (cbrt 2) (cbrt 2)) (* y 1))
  (/ (* (cbrt 2) (* (sinh y) (cos x))) 2)
  (/ (* (cbrt 2) (cbrt 2)) (* (cbrt y) (cbrt y)))
  (/ (* (cbrt 2) (* (sinh y) (cos x))) (* (cbrt y) 2))
  (/ (* (cbrt 2) (cbrt 2)) (sqrt y))
  (/ (* (cbrt 2) (* (sinh y) (cos x))) (* (sqrt y) 2))
  (/ (* (cbrt 2) (cbrt 2)) 1)
  (/ (* (cbrt 2) (* (sinh y) (cos x))) (* y 2))
  (/ (* (cbrt 2) (cbrt 2)) 2)
  (/ (* (cbrt 2) (* (sinh y) (cos x))) y)
  (/ (sqrt 2) y)
  (/ (* (sqrt 2) (* (sinh y) (cos x))) 2)
  (/ (sqrt 2) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (sqrt 2) (* (sinh y) (cos x))) (cbrt (* y 2)))
  (/ (sqrt 2) (sqrt (* y 2)))
  (/ (* (sqrt 2) (* (sinh y) (cos x))) (sqrt (* y 2)))
  (/ (sqrt 2) 1)
  (/ (* (sqrt 2) (* (sinh y) (cos x))) (* y 2))
  (/ (sqrt 2) (* (sqrt y) (sqrt 2)))
  (/ (* (sqrt 2) (* (sinh y) (cos x))) (* (sqrt y) (sqrt 2)))
  (/ (sqrt 2) (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (sqrt 2) (* (sinh y) (cos x))) (cbrt 2))
  (/ (sqrt 2) (* y (sqrt 2)))
  (/ (* (sqrt 2) (* (sinh y) (cos x))) (sqrt 2))
  (/ (sqrt 2) (* y 1))
  (/ (* (sqrt 2) (* (sinh y) (cos x))) 2)
  (/ (sqrt 2) (* (cbrt y) (cbrt y)))
  (/ (* (sqrt 2) (* (sinh y) (cos x))) (* (cbrt y) 2))
  (/ (sqrt 2) (sqrt y))
  (/ (* (sqrt 2) (* (sinh y) (cos x))) (* (sqrt y) 2))
  (/ (sqrt 2) 1)
  (/ (* (sqrt 2) (* (sinh y) (cos x))) (* y 2))
  (/ (sqrt 2) 2)
  (/ (* (sqrt 2) (* (sinh y) (cos x))) y)
  (/ 1 y)
  (/ (* 2 (* (sinh y) (cos x))) 2)
  (/ 1 (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* 2 (* (sinh y) (cos x))) (cbrt (* y 2)))
  (/ 1 (sqrt (* y 2)))
  (/ (* 2 (* (sinh y) (cos x))) (sqrt (* y 2)))
  (/ 1 1)
  (/ (* 2 (* (sinh y) (cos x))) (* y 2))
  (/ 1 (* (sqrt y) (sqrt 2)))
  (/ (* 2 (* (sinh y) (cos x))) (* (sqrt y) (sqrt 2)))
  (/ 1 (* y (* (cbrt 2) (cbrt 2))))
  (/ (* 2 (* (sinh y) (cos x))) (cbrt 2))
  (/ 1 (* y (sqrt 2)))
  (/ (* 2 (* (sinh y) (cos x))) (sqrt 2))
  (/ 1 (* y 1))
  (/ (* 2 (* (sinh y) (cos x))) 2)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (* 2 (* (sinh y) (cos x))) (* (cbrt y) 2))
  (/ 1 (sqrt y))
  (/ (* 2 (* (sinh y) (cos x))) (* (sqrt y) 2))
  (/ 1 1)
  (/ (* 2 (* (sinh y) (cos x))) (* y 2))
  (/ 1 2)
  (/ (* 2 (* (sinh y) (cos x))) y)
  (/ (* (sinh y) (cos x)) y)
  (/ 2 2)
  (/ (* (sinh y) (cos x)) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ 2 (cbrt (* y 2)))
  (/ (* (sinh y) (cos x)) (sqrt (* y 2)))
  (/ 2 (sqrt (* y 2)))
  (/ (* (sinh y) (cos x)) 1)
  (/ 2 (* y 2))
  (/ (* (sinh y) (cos x)) (* (sqrt y) (sqrt 2)))
  (/ 2 (* (sqrt y) (sqrt 2)))
  (/ (* (sinh y) (cos x)) (* y (* (cbrt 2) (cbrt 2))))
  (/ 2 (cbrt 2))
  (/ (* (sinh y) (cos x)) (* y (sqrt 2)))
  (/ 2 (sqrt 2))
  (/ (* (sinh y) (cos x)) (* y 1))
  (/ 2 2)
  (/ (* (sinh y) (cos x)) (* (cbrt y) (cbrt y)))
  (/ 2 (* (cbrt y) 2))
  (/ (* (sinh y) (cos x)) (sqrt y))
  (/ 2 (* (sqrt y) 2))
  (/ (* (sinh y) (cos x)) 1)
  (/ 2 (* y 2))
  (/ (* (sinh y) (cos x)) 2)
  (/ 2 y)
  (/ 1 (* y 2))
  (/ (* y 2) (* 2 (* (sinh y) (cos x))))
  (/ (* 2 (* (sinh y) (cos x))) y)
  (/ (* 2 (* (sinh y) (cos x))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* 2 (* (sinh y) (cos x))) (sqrt (* y 2)))
  (/ (* 2 (* (sinh y) (cos x))) 1)
  (/ (* 2 (* (sinh y) (cos x))) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (* (sinh y) (cos x))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (* 2 (* (sinh y) (cos x))) (* y (sqrt 2)))
  (/ (* 2 (* (sinh y) (cos x))) (* y 1))
  (/ (* 2 (* (sinh y) (cos x))) (* (cbrt y) (cbrt y)))
  (/ (* 2 (* (sinh y) (cos x))) (sqrt y))
  (/ (* 2 (* (sinh y) (cos x))) 1)
  (/ (* 2 (* (sinh y) (cos x))) 2)
  (/ (* y 2) (* (sinh y) (cos x)))
  (/ (* y 2) (cbrt (* 2 (* (sinh y) (cos x)))))
  (/ (* y 2) (sqrt (* 2 (* (sinh y) (cos x)))))
  (/ (* y 2) (* 2 (* (sinh y) (cos x))))
  (/ (* y 2) (* (sqrt 2) (sqrt (* (sinh y) (cos x)))))
  (/ (* y 2) (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))))
  (/ (* y 2) (cos x))
  (/ (* y 2) (cbrt (* (sinh y) (cos x))))
  (/ (* y 2) (sqrt (* (sinh y) (cos x))))
  (/ (* y 2) (* (sinh y) (cos x)))
  (/ (* y 2) (* (sqrt (sinh y)) (sqrt (cos x))))
  (/ (* y 2) (cbrt (cos x)))
  (/ (* y 2) (sqrt (cos x)))
  (/ (* y 2) (cos x))
  (/ (* y 2) (* (cbrt (sinh y)) (cos x)))
  (/ (* y 2) (* (sqrt (sinh y)) (cos x)))
  (/ (* y 2) (* (sinh y) (cos x)))
  (/ (* y 2) (sinh y))
  (/ (* y 2) (* (cbrt 2) (* (sinh y) (cos x))))
  (/ (* y 2) (* (sqrt 2) (* (sinh y) (cos x))))
  (/ (* y 2) (* 2 (* (sinh y) (cos x))))
  (/ (* y 2) 2)
  (* (* y 2) 2)
  (expm1 (* (sinh y) (cos x)))
  (log1p (* (sinh y) (cos x)))
  (* (sinh y) (cos x))
  (+ (log (sinh y)) (log (cos x)))
  (log (* (sinh y) (cos x)))
  (exp (* (sinh y) (cos x)))
  (* (* (* (sinh y) (sinh y)) (sinh y)) (* (* (cos x) (cos x)) (cos x)))
  (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))
  (cbrt (* (sinh y) (cos x)))
  (* (* (* (sinh y) (cos x)) (* (sinh y) (cos x))) (* (sinh y) (cos x)))
  (sqrt (* (sinh y) (cos x)))
  (sqrt (* (sinh y) (cos x)))
  (* (sqrt (sinh y)) (sqrt (cos x)))
  (* (sqrt (sinh y)) (sqrt (cos x)))
  (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))
  (* (sinh y) (sqrt (cos x)))
  (* (sinh y) 1)
  (* (cbrt (sinh y)) (cos x))
  (* (sqrt (sinh y)) (cos x))
  (* (sinh y) (cos x))
  (* (- (exp y) (exp (- y))) (cos x))
  (expm1 (* 2 (* (sinh y) (cos x))))
  (log1p (* 2 (* (sinh y) (cos x))))
  (* 2 (* (sinh y) (cos x)))
  (* 2 (* (sinh y) (cos x)))
  (+ (log 2) (+ (log (sinh y)) (log (cos x))))
  (+ (log 2) (log (* (sinh y) (cos x))))
  (log (* 2 (* (sinh y) (cos x))))
  (exp (* 2 (* (sinh y) (cos x))))
  (* (* (* 2 2) 2) (* (* (* (sinh y) (sinh y)) (sinh y)) (* (* (cos x) (cos x)) (cos x))))
  (* (* (* 2 2) 2) (* (* (* (sinh y) (cos x)) (* (sinh y) (cos x))) (* (sinh y) (cos x))))
  (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x)))))
  (cbrt (* 2 (* (sinh y) (cos x))))
  (* (* (* 2 (* (sinh y) (cos x))) (* 2 (* (sinh y) (cos x)))) (* 2 (* (sinh y) (cos x))))
  (sqrt (* 2 (* (sinh y) (cos x))))
  (sqrt (* 2 (* (sinh y) (cos x))))
  (* (sqrt 2) (sqrt (* (sinh y) (cos x))))
  (* (sqrt 2) (sqrt (* (sinh y) (cos x))))
  (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x))))
  (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x))))
  (* 2 (sinh y))
  (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x)))))
  (* 2 (sqrt (* (sinh y) (cos x))))
  (* 2 1)
  (* 2 (* (sqrt (sinh y)) (sqrt (cos x))))
  (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x)))))
  (* 2 (* (sinh y) (sqrt (cos x))))
  (* 2 (* (sinh y) 1))
  (* 2 (* (cbrt (sinh y)) (cbrt (sinh y))))
  (* 2 (sqrt (sinh y)))
  (* 2 1)
  (* 2 (cos x))
  (* (cbrt 2) (* (sinh y) (cos x)))
  (* (sqrt 2) (* (sinh y) (cos x)))
  (* 2 (* (sinh y) (cos x)))
  (* 2 (* (- (exp y) (exp (- y))) (cos x)))
  (- (+ (* 1/6 (pow y 2)) 1) (* 1/2 (pow x 2)))
  (/ (- (* 1/2 (* (exp y) (cos x))) (* 1/2 (* (exp (- y)) (cos x)))) y)
  (* -1 (/ (- (* 1/2 (* (exp (* -1 y)) (cos x))) (* 1/2 (* (exp y) (cos x)))) y))
  (- (+ (* 1/6 (pow y 3)) y) (* 1/2 (* (pow x 2) y)))
  (* 1/2 (* (- (exp y) (exp (- y))) (cos x)))
  (* 1/2 (* (- (exp y) (exp (* -1 y))) (cos x)))
  (- (+ (* 1/3 (pow y 3)) (* 2 y)) (* (pow x 2) y))
  (* (- (exp y) (exp (- y))) (cos x))
  (* (- (exp y) (exp (* -1 y))) (cos x))
0.879 * * [simplify]: iteration  0 :  1759  enodes  (cost  4012 )
0.912 * * [simplify]: iteration  1 :  5001  enodes  (cost  3859 )
0.930 * [simplify]: Simplified to:
   (expm1 (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (log1p (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (log (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (log (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (log (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (log (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (log (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (log (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (log (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (exp (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (pow (/ (* 2 (* (sinh y) (cos x))) (* y 2)) 3)
  (pow (/ (* 2 (* (sinh y) (cos x))) (* y 2)) 3)
  (pow (/ (* 2 (* (sinh y) (cos x))) (* y 2)) 3)
  (pow (/ (* 2 (* (sinh y) (cos x))) (* y 2)) 3)
  (pow (/ (* 2 (* (sinh y) (cos x))) (* y 2)) 3)
  (pow (/ (* 2 (* (sinh y) (cos x))) (* y 2)) 3)
  (* (cbrt (/ (* 2 (* (sinh y) (cos x))) (* y 2))) (cbrt (/ (* 2 (* (sinh y) (cos x))) (* y 2))))
  (cbrt (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (pow (/ (* 2 (* (sinh y) (cos x))) (* y 2)) 3)
  (sqrt (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (sqrt (/ (* 2 (* (sinh y) (cos x))) (* y 2)))
  (- (* 2 (* (sinh y) (cos x))))
  (* y -2)
  (/ 2 y)
  (/ (* (sinh y) (cos x)) 2)
  (/ 2 (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (sinh y) (cos x)) (cbrt (* y 2)))
  (/ 2 (sqrt (* y 2)))
  (/ (* (sinh y) (cos x)) (sqrt (* y 2)))
  2
  (/ (* (sinh y) (cos x)) (* y 2))
  (/ 2 (* (sqrt y) (sqrt 2)))
  (/ (* (sinh y) (cos x)) (* (sqrt y) (sqrt 2)))
  (/ 2 (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (sinh y) (cos x)) (cbrt 2))
  (/ 2 (* y (sqrt 2)))
  (/ (* (sinh y) (cos x)) (sqrt 2))
  (/ 2 y)
  (/ (* (sinh y) (cos x)) 2)
  (/ 2 (* (cbrt y) (cbrt y)))
  (/ (* (sinh y) (cos x)) (* (cbrt y) 2))
  (/ 2 (sqrt y))
  (/ (* (sinh y) (cos x)) (* (sqrt y) 2))
  2
  (/ (* (sinh y) (cos x)) (* y 2))
  1
  (/ (sinh y) (/ y (cos x)))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (/ y (cbrt (* 2 (* (sinh y) (cos x))))))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) 2)
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* y 2)))
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) (sqrt (* y 2)))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (sqrt (* y 2)))
  (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x)))))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (* y 2))
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) (* (sqrt y) (sqrt 2)))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt 2))
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) (* y (sqrt 2)))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (sqrt 2))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (/ y (cbrt (* 2 (* (sinh y) (cos x))))))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) 2)
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (* (cbrt y) 2))
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) (sqrt y))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (* (sqrt y) 2))
  (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x)))))
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) (* y 2))
  (/ (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x))))) 2)
  (/ (cbrt (* 2 (* (sinh y) (cos x)))) y)
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) y)
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) 2)
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (cbrt (* y 2)))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (sqrt (* y 2)))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (sqrt (* y 2)))
  (sqrt (* 2 (* (sinh y) (cos x))))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* y 2))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (cbrt 2))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* y (sqrt 2)))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (sqrt 2))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) y)
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) 2)
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* (cbrt y) (cbrt y)))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* (cbrt y) 2))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (sqrt y))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* (sqrt y) 2))
  (sqrt (* 2 (* (sinh y) (cos x))))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) (* y 2))
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) 2)
  (/ (sqrt (* 2 (* (sinh y) (cos x)))) y)
  (/ 1 y)
  (* (sinh y) (cos x))
  (/ 1 (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* 2 (* (sinh y) (cos x))) (cbrt (* y 2)))
  (/ 1 (sqrt (* y 2)))
  (/ (* 2 (* (sinh y) (cos x))) (sqrt (* y 2)))
  1
  (/ (sinh y) (/ y (cos x)))
  (/ 1 (* (sqrt y) (sqrt 2)))
  (/ (* 2 (* (sinh y) (cos x))) (* (sqrt y) (sqrt 2)))
  (/ 1 (* y (* (cbrt 2) (cbrt 2))))
  (/ (* 2 (* (sinh y) (cos x))) (cbrt 2))
  (/ 1 (* y (sqrt 2)))
  (/ (* 2 (* (sinh y) (cos x))) (sqrt 2))
  (/ 1 y)
  (* (sinh y) (cos x))
  (/ 1 (* (cbrt y) (cbrt y)))
  (* 1 (/ (* (sinh y) (cos x)) (cbrt y)))
  (/ 1 (sqrt y))
  (* 1 (/ (* (sinh y) (cos x)) (sqrt y)))
  1
  (/ (sinh y) (/ y (cos x)))
  1/2
  (/ 2 (/ y (* (sinh y) (cos x))))
  (/ (sqrt 2) (/ y (sqrt (* (sinh y) (cos x)))))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) 2)
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (cbrt (* y 2)))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (sqrt (* y 2)))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (sqrt (* y 2)))
  (* (sqrt 2) (sqrt (* (sinh y) (cos x))))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* y 2))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (cbrt 2))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* y (sqrt 2)))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (sqrt 2))
  (/ (sqrt 2) (/ y (sqrt (* (sinh y) (cos x)))))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) 2)
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* (cbrt y) (cbrt y)))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* (cbrt y) 2))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (sqrt y))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* (sqrt y) 2))
  (* (sqrt 2) (sqrt (* (sinh y) (cos x))))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) (* y 2))
  (/ (* (sqrt 2) (sqrt (* (sinh y) (cos x)))) 2)
  (/ (sqrt 2) (/ y (sqrt (* (sinh y) (cos x)))))
  (/ (sqrt 2) (/ y (* (sqrt (sinh y)) (sqrt (cos x)))))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) 2)
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (cbrt (* y 2)))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (sqrt (* y 2)))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (sqrt (* y 2)))
  (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x))))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* y 2))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (cbrt 2))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* y (sqrt 2)))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (sqrt 2))
  (/ (sqrt 2) (/ y (* (sqrt (sinh y)) (sqrt (cos x)))))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) 2)
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* (cbrt y) (cbrt y)))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* (cbrt y) 2))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (sqrt y))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* (sqrt y) 2))
  (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x))))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) (* y 2))
  (/ (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))) 2)
  (/ (sqrt 2) (/ y (* (sqrt (sinh y)) (sqrt (cos x)))))
  (/ 2 (/ y (sinh y)))
  (/ (cos x) 2)
  (/ 2 (/ (* (cbrt (* y 2)) (cbrt (* y 2))) (sinh y)))
  (/ (cos x) (cbrt (* y 2)))
  (/ 2 (/ (sqrt (* y 2)) (sinh y)))
  (/ (cos x) (sqrt (* y 2)))
  (* (sinh y) 2)
  (/ (cos x) (* y 2))
  (/ 2 (/ (* (sqrt y) (sqrt 2)) (sinh y)))
  (/ (cos x) (* (sqrt y) (sqrt 2)))
  (/ 2 (/ (* y (* (cbrt 2) (cbrt 2))) (sinh y)))
  (/ (cos x) (cbrt 2))
  (/ 2 (/ (* y (sqrt 2)) (sinh y)))
  (/ (cos x) (sqrt 2))
  (/ 2 (/ y (sinh y)))
  (/ (cos x) 2)
  (/ 2 (/ (* (cbrt y) (cbrt y)) (sinh y)))
  (/ (cos x) (* (cbrt y) 2))
  (/ 2 (/ (sqrt y) (sinh y)))
  (/ (cos x) (* (sqrt y) 2))
  (* (sinh y) 2)
  (/ (cos x) (* y 2))
  (sinh y)
  (/ (cos x) y)
  (/ 2 (/ y (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))))
  (/ (cbrt (* (sinh y) (cos x))) 2)
  (/ (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (cbrt (* (sinh y) (cos x))) (cbrt (* y 2)))
  (/ (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))) (sqrt (* y 2)))
  (/ (cbrt (* (sinh y) (cos x))) (sqrt (* y 2)))
  (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x)))))
  (/ (cbrt (* (sinh y) (cos x))) (* y 2))
  (/ (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))) (* (sqrt y) (sqrt 2)))
  (/ (cbrt (* (sinh y) (cos x))) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (cbrt (* (sinh y) (cos x))) (cbrt 2))
  (/ (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))) (* y (sqrt 2)))
  (/ (cbrt (* (sinh y) (cos x))) (sqrt 2))
  (/ 2 (/ y (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))))
  (/ (cbrt (* (sinh y) (cos x))) 2)
  (/ (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (* (sinh y) (cos x))) (* (cbrt y) 2))
  (/ (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))) (sqrt y))
  (/ (cbrt (* (sinh y) (cos x))) (* (sqrt y) 2))
  (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x)))))
  (/ (cbrt (* (sinh y) (cos x))) (* y 2))
  (* (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x)))) 1)
  (/ (cbrt (* (sinh y) (cos x))) y)
  (/ 2 (/ y (sqrt (* (sinh y) (cos x)))))
  (/ (sqrt (* (sinh y) (cos x))) 2)
  (/ (* 2 (sqrt (* (sinh y) (cos x)))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (sqrt (* (sinh y) (cos x))) (cbrt (* y 2)))
  (/ (* 2 (sqrt (* (sinh y) (cos x)))) (sqrt (* y 2)))
  (/ (sqrt (* (sinh y) (cos x))) (sqrt (* y 2)))
  (* 2 (sqrt (* (sinh y) (cos x))))
  (/ (sqrt (* (sinh y) (cos x))) (* y 2))
  (/ (* 2 (sqrt (* (sinh y) (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (sqrt (* (sinh y) (cos x))) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (sqrt (* (sinh y) (cos x)))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (sqrt (* (sinh y) (cos x))) (cbrt 2))
  (/ (* 2 (sqrt (* (sinh y) (cos x)))) (* y (sqrt 2)))
  (/ (sqrt (* (sinh y) (cos x))) (sqrt 2))
  (/ 2 (/ y (sqrt (* (sinh y) (cos x)))))
  (/ (sqrt (* (sinh y) (cos x))) 2)
  (/ (* 2 (sqrt (* (sinh y) (cos x)))) (* (cbrt y) (cbrt y)))
  (/ (sqrt (* (sinh y) (cos x))) (* (cbrt y) 2))
  (/ (* 2 (sqrt (* (sinh y) (cos x)))) (sqrt y))
  (/ (sqrt (* (sinh y) (cos x))) (* (sqrt y) 2))
  (* 2 (sqrt (* (sinh y) (cos x))))
  (/ (sqrt (* (sinh y) (cos x))) (* y 2))
  (* (sqrt (* (sinh y) (cos x))) 1)
  (/ (sqrt (* (sinh y) (cos x))) y)
  (/ 2 y)
  (/ (* (sinh y) (cos x)) 2)
  (/ 2 (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (sinh y) (cos x)) (cbrt (* y 2)))
  (/ 2 (sqrt (* y 2)))
  (/ (* (sinh y) (cos x)) (sqrt (* y 2)))
  2
  (/ (* (sinh y) (cos x)) (* y 2))
  (/ 2 (* (sqrt y) (sqrt 2)))
  (/ (* (sinh y) (cos x)) (* (sqrt y) (sqrt 2)))
  (/ 2 (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (sinh y) (cos x)) (cbrt 2))
  (/ 2 (* y (sqrt 2)))
  (/ (* (sinh y) (cos x)) (sqrt 2))
  (/ 2 y)
  (/ (* (sinh y) (cos x)) 2)
  (/ 2 (* (cbrt y) (cbrt y)))
  (/ (* (sinh y) (cos x)) (* (cbrt y) 2))
  (/ 2 (sqrt y))
  (/ (* (sinh y) (cos x)) (* (sqrt y) 2))
  2
  (/ (* (sinh y) (cos x)) (* y 2))
  1
  (/ (sinh y) (/ y (cos x)))
  (/ 2 (/ y (* (sqrt (sinh y)) (sqrt (cos x)))))
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) 2)
  (/ (* 2 (* (sqrt (sinh y)) (sqrt (cos x)))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) (cbrt (* y 2)))
  (/ (* 2 (* (sqrt (sinh y)) (sqrt (cos x)))) (sqrt (* y 2)))
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) (sqrt (* y 2)))
  (* 2 (* (sqrt (sinh y)) (sqrt (cos x))))
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) (* y 2))
  (/ (* 2 (* (sqrt (sinh y)) (sqrt (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (* (sqrt (sinh y)) (sqrt (cos x)))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) (cbrt 2))
  (/ (* 2 (* (sqrt (sinh y)) (sqrt (cos x)))) (* y (sqrt 2)))
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) (sqrt 2))
  (/ 2 (/ y (* (sqrt (sinh y)) (sqrt (cos x)))))
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) 2)
  (/ (* 2 (* (sqrt (sinh y)) (sqrt (cos x)))) (* (cbrt y) (cbrt y)))
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) (* (cbrt y) 2))
  (/ (* 2 (* (sqrt (sinh y)) (sqrt (cos x)))) (sqrt y))
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) (* (sqrt y) 2))
  (* 2 (* (sqrt (sinh y)) (sqrt (cos x))))
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) (* y 2))
  (* (* (sqrt (sinh y)) (sqrt (cos x))) 1)
  (/ (* (sqrt (sinh y)) (sqrt (cos x))) y)
  (/ 2 (/ y (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))))
  (/ (cbrt (cos x)) 2)
  (/ (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (cbrt (cos x)) (cbrt (* y 2)))
  (/ (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))) (sqrt (* y 2)))
  (/ (cbrt (cos x)) (sqrt (* y 2)))
  (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x)))))
  (/ (cbrt (cos x)) (* y 2))
  (/ (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))) (* (sqrt y) (sqrt 2)))
  (/ (cbrt (cos x)) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (cbrt (cos x)) (cbrt 2))
  (/ (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))) (* y (sqrt 2)))
  (/ (cbrt (cos x)) (sqrt 2))
  (/ 2 (/ y (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))))
  (/ (cbrt (cos x)) 2)
  (/ (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (cos x)) (* (cbrt y) 2))
  (/ (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))) (sqrt y))
  (/ (cbrt (cos x)) (* (sqrt y) 2))
  (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x)))))
  (/ (cbrt (cos x)) (* y 2))
  (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))
  (/ (cbrt (cos x)) y)
  (/ 2 (/ y (* (sinh y) (sqrt (cos x)))))
  (/ (sqrt (cos x)) 2)
  (/ (* 2 (* (sinh y) (sqrt (cos x)))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (sqrt (cos x)) (cbrt (* y 2)))
  (/ (* 2 (* (sinh y) (sqrt (cos x)))) (sqrt (* y 2)))
  (/ (sqrt (cos x)) (sqrt (* y 2)))
  (* 2 (* (sinh y) (sqrt (cos x))))
  (/ (sqrt (cos x)) (* y 2))
  (/ (* 2 (* (sinh y) (sqrt (cos x)))) (* (sqrt y) (sqrt 2)))
  (/ (sqrt (cos x)) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (* (sinh y) (sqrt (cos x)))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (sqrt (cos x)) (cbrt 2))
  (/ (* 2 (* (sinh y) (sqrt (cos x)))) (* y (sqrt 2)))
  (/ (sqrt (cos x)) (sqrt 2))
  (/ 2 (/ y (* (sinh y) (sqrt (cos x)))))
  (/ (sqrt (cos x)) 2)
  (/ (* 2 (* (sinh y) (sqrt (cos x)))) (* (cbrt y) (cbrt y)))
  (/ (sqrt (cos x)) (* (cbrt y) 2))
  (/ (* 2 (* (sinh y) (sqrt (cos x)))) (sqrt y))
  (/ (sqrt (cos x)) (* (sqrt y) 2))
  (* 2 (* (sinh y) (sqrt (cos x))))
  (/ (sqrt (cos x)) (* y 2))
  (* (sinh y) (sqrt (cos x)))
  (/ (sqrt (cos x)) y)
  (/ 2 (/ y (sinh y)))
  (/ (cos x) 2)
  (/ 2 (/ (* (cbrt (* y 2)) (cbrt (* y 2))) (sinh y)))
  (/ (cos x) (cbrt (* y 2)))
  (/ 2 (/ (sqrt (* y 2)) (sinh y)))
  (/ (cos x) (sqrt (* y 2)))
  (* (sinh y) 2)
  (/ (cos x) (* y 2))
  (/ 2 (/ (* (sqrt y) (sqrt 2)) (sinh y)))
  (/ (cos x) (* (sqrt y) (sqrt 2)))
  (/ 2 (/ (* y (* (cbrt 2) (cbrt 2))) (sinh y)))
  (/ (cos x) (cbrt 2))
  (/ 2 (/ (* y (sqrt 2)) (sinh y)))
  (/ (cos x) (sqrt 2))
  (/ 2 (/ y (sinh y)))
  (/ (cos x) 2)
  (/ 2 (/ (* (cbrt y) (cbrt y)) (sinh y)))
  (/ (cos x) (* (cbrt y) 2))
  (/ 2 (/ (sqrt y) (sinh y)))
  (/ (cos x) (* (sqrt y) 2))
  (* (sinh y) 2)
  (/ (cos x) (* y 2))
  (sinh y)
  (/ (cos x) y)
  (/ 2 (/ y (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (* (cbrt (sinh y)) (cos x)) 2)
  (/ (* 2 (* (cbrt (sinh y)) (cbrt (sinh y)))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (cbrt (sinh y)) (cos x)) (cbrt (* y 2)))
  (/ (* 2 (* (cbrt (sinh y)) (cbrt (sinh y)))) (sqrt (* y 2)))
  (/ (* (cbrt (sinh y)) (cos x)) (sqrt (* y 2)))
  (* 2 (* (cbrt (sinh y)) (cbrt (sinh y))))
  (/ (* (cbrt (sinh y)) (cos x)) (* y 2))
  (/ (* 2 (* (cbrt (sinh y)) (cbrt (sinh y)))) (* (sqrt y) (sqrt 2)))
  (/ (* (cbrt (sinh y)) (cos x)) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (* (cbrt (sinh y)) (cbrt (sinh y)))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (cbrt (sinh y)) (cos x)) (cbrt 2))
  (/ (* 2 (* (cbrt (sinh y)) (cbrt (sinh y)))) (* y (sqrt 2)))
  (/ (* (cbrt (sinh y)) (cos x)) (sqrt 2))
  (/ 2 (/ y (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (* (cbrt (sinh y)) (cos x)) 2)
  (/ (* 2 (* (cbrt (sinh y)) (cbrt (sinh y)))) (* (cbrt y) (cbrt y)))
  (/ (* (cbrt (sinh y)) (cos x)) (* (cbrt y) 2))
  (/ (* 2 (* (cbrt (sinh y)) (cbrt (sinh y)))) (sqrt y))
  (/ (* (cbrt (sinh y)) (cos x)) (* (sqrt y) 2))
  (* 2 (* (cbrt (sinh y)) (cbrt (sinh y))))
  (/ (* (cbrt (sinh y)) (cos x)) (* y 2))
  (* (* (cbrt (sinh y)) (cbrt (sinh y))) 1)
  (/ (* (cbrt (sinh y)) (cos x)) y)
  (/ 2 (/ y (sqrt (sinh y))))
  (/ (* (sqrt (sinh y)) (cos x)) 2)
  (/ (* 2 (sqrt (sinh y))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (sqrt (sinh y)) (cos x)) (cbrt (* y 2)))
  (/ (* 2 (sqrt (sinh y))) (sqrt (* y 2)))
  (/ (* (sqrt (sinh y)) (cos x)) (sqrt (* y 2)))
  (* 2 (sqrt (sinh y)))
  (/ (* (sqrt (sinh y)) (cos x)) (* y 2))
  (/ (* 2 (sqrt (sinh y))) (* (sqrt y) (sqrt 2)))
  (/ (* (sqrt (sinh y)) (cos x)) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (sqrt (sinh y))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (sqrt (sinh y)) (cos x)) (cbrt 2))
  (/ (* 2 (sqrt (sinh y))) (* y (sqrt 2)))
  (/ (* (sqrt (sinh y)) (cos x)) (sqrt 2))
  (/ 2 (/ y (sqrt (sinh y))))
  (/ (* (sqrt (sinh y)) (cos x)) 2)
  (/ (* 2 (sqrt (sinh y))) (* (cbrt y) (cbrt y)))
  (/ (* (sqrt (sinh y)) (cos x)) (* (cbrt y) 2))
  (/ (* 2 (sqrt (sinh y))) (sqrt y))
  (/ (* (sqrt (sinh y)) (cos x)) (* (sqrt y) 2))
  (* 2 (sqrt (sinh y)))
  (/ (* (sqrt (sinh y)) (cos x)) (* y 2))
  (* (sqrt (sinh y)) 1)
  (/ (* (sqrt (sinh y)) (cos x)) y)
  (/ 2 y)
  (/ (* (sinh y) (cos x)) 2)
  (/ 2 (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (sinh y) (cos x)) (cbrt (* y 2)))
  (/ 2 (sqrt (* y 2)))
  (/ (* (sinh y) (cos x)) (sqrt (* y 2)))
  2
  (/ (* (sinh y) (cos x)) (* y 2))
  (/ 2 (* (sqrt y) (sqrt 2)))
  (/ (* (sinh y) (cos x)) (* (sqrt y) (sqrt 2)))
  (/ 2 (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (sinh y) (cos x)) (cbrt 2))
  (/ 2 (* y (sqrt 2)))
  (/ (* (sinh y) (cos x)) (sqrt 2))
  (/ 2 y)
  (/ (* (sinh y) (cos x)) 2)
  (/ 2 (* (cbrt y) (cbrt y)))
  (/ (* (sinh y) (cos x)) (* (cbrt y) 2))
  (/ 2 (sqrt y))
  (/ (* (sinh y) (cos x)) (* (sqrt y) 2))
  2
  (/ (* (sinh y) (cos x)) (* y 2))
  1
  (/ (sinh y) (/ y (cos x)))
  (/ 2 (/ y (cos x)))
  (/ (sinh y) 2)
  (/ (* 2 (cos x)) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (sinh y) (cbrt (* y 2)))
  (/ (* 2 (cos x)) (sqrt (* y 2)))
  (/ (sinh y) (sqrt (* y 2)))
  (* 2 (cos x))
  (/ (sinh y) (* y 2))
  (/ (* 2 (cos x)) (* (sqrt y) (sqrt 2)))
  (/ (sinh y) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (cos x)) (* y (* (cbrt 2) (cbrt 2))))
  (/ (sinh y) (cbrt 2))
  (/ (* 2 (cos x)) (* y (sqrt 2)))
  (/ (sinh y) (sqrt 2))
  (/ 2 (/ y (cos x)))
  (/ (sinh y) 2)
  (/ (* 2 (cos x)) (* (cbrt y) (cbrt y)))
  (/ (sinh y) (* (cbrt y) 2))
  (/ (* 2 (cos x)) (sqrt y))
  (/ (sinh y) (* (sqrt y) 2))
  (* 2 (cos x))
  (/ (sinh y) (* y 2))
  (* (cos x) 1)
  (/ (sinh y) y)
  (/ (cbrt 2) (/ y (cbrt 2)))
  (/ (* (cbrt 2) (* (sinh y) (cos x))) 2)
  (/ (* (cbrt 2) (cbrt 2)) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (cbrt 2) (* (sinh y) (cos x))) (cbrt (* y 2)))
  (/ (* (cbrt 2) (cbrt 2)) (sqrt (* y 2)))
  (/ (* (cbrt 2) (* (sinh y) (cos x))) (sqrt (* y 2)))
  (* (cbrt 2) (cbrt 2))
  (/ (* (cbrt 2) (* (sinh y) (cos x))) (* y 2))
  (/ (* (cbrt 2) (cbrt 2)) (* (sqrt y) (sqrt 2)))
  (/ (* (cbrt 2) (* (sinh y) (cos x))) (* (sqrt y) (sqrt 2)))
  (/ (* (cbrt 2) (cbrt 2)) (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (cbrt 2) (* (sinh y) (cos x))) (cbrt 2))
  (/ (* (cbrt 2) (cbrt 2)) (* y (sqrt 2)))
  (/ (* (cbrt 2) (* (sinh y) (cos x))) (sqrt 2))
  (/ (cbrt 2) (/ y (cbrt 2)))
  (/ (* (cbrt 2) (* (sinh y) (cos x))) 2)
  (/ (* (cbrt 2) (cbrt 2)) (* (cbrt y) (cbrt y)))
  (/ (* (cbrt 2) (* (sinh y) (cos x))) (* (cbrt y) 2))
  (/ (* (cbrt 2) (cbrt 2)) (sqrt y))
  (/ (* (cbrt 2) (* (sinh y) (cos x))) (* (sqrt y) 2))
  (* (cbrt 2) (cbrt 2))
  (/ (* (cbrt 2) (* (sinh y) (cos x))) (* y 2))
  (/ (* (cbrt 2) (cbrt 2)) 2)
  (/ (* (cbrt 2) (* (sinh y) (cos x))) y)
  (/ (sqrt 2) y)
  (/ (* (sqrt 2) (* (sinh y) (cos x))) 2)
  (/ (sqrt 2) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* (sqrt 2) (* (sinh y) (cos x))) (cbrt (* y 2)))
  (/ (sqrt 2) (sqrt (* y 2)))
  (/ (* (sqrt 2) (* (sinh y) (cos x))) (sqrt (* y 2)))
  (sqrt 2)
  (/ (* (sqrt 2) (* (sinh y) (cos x))) (* y 2))
  (/ (sqrt 2) (* (sqrt y) (sqrt 2)))
  (/ (* (sqrt 2) (* (sinh y) (cos x))) (* (sqrt y) (sqrt 2)))
  (/ (sqrt 2) (* y (* (cbrt 2) (cbrt 2))))
  (/ (* (sqrt 2) (* (sinh y) (cos x))) (cbrt 2))
  (/ (sqrt 2) (* y (sqrt 2)))
  (/ (* (sqrt 2) (* (sinh y) (cos x))) (sqrt 2))
  (/ (sqrt 2) y)
  (/ (* (sqrt 2) (* (sinh y) (cos x))) 2)
  (/ (sqrt 2) (* (cbrt y) (cbrt y)))
  (/ (* (sqrt 2) (* (sinh y) (cos x))) (* (cbrt y) 2))
  (/ (sqrt 2) (sqrt y))
  (/ (* (sqrt 2) (* (sinh y) (cos x))) (* (sqrt y) 2))
  (sqrt 2)
  (/ (* (sqrt 2) (* (sinh y) (cos x))) (* y 2))
  (/ (sqrt 2) 2)
  (/ (* (sqrt 2) (* (sinh y) (cos x))) y)
  (/ 1 y)
  (* (sinh y) (cos x))
  (/ 1 (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* 2 (* (sinh y) (cos x))) (cbrt (* y 2)))
  (/ 1 (sqrt (* y 2)))
  (/ (* 2 (* (sinh y) (cos x))) (sqrt (* y 2)))
  1
  (/ (sinh y) (/ y (cos x)))
  (/ 1 (* (sqrt y) (sqrt 2)))
  (/ (* 2 (* (sinh y) (cos x))) (* (sqrt y) (sqrt 2)))
  (/ 1 (* y (* (cbrt 2) (cbrt 2))))
  (/ (* 2 (* (sinh y) (cos x))) (cbrt 2))
  (/ 1 (* y (sqrt 2)))
  (/ (* 2 (* (sinh y) (cos x))) (sqrt 2))
  (/ 1 y)
  (* (sinh y) (cos x))
  (/ 1 (* (cbrt y) (cbrt y)))
  (* 1 (/ (* (sinh y) (cos x)) (cbrt y)))
  (/ 1 (sqrt y))
  (* 1 (/ (* (sinh y) (cos x)) (sqrt y)))
  1
  (/ (sinh y) (/ y (cos x)))
  1/2
  (/ 2 (/ y (* (sinh y) (cos x))))
  (/ (sinh y) (/ y (cos x)))
  1
  (/ (* (sinh y) (cos x)) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ 2 (cbrt (* y 2)))
  (/ (* (sinh y) (cos x)) (sqrt (* y 2)))
  (/ 2 (sqrt (* y 2)))
  (* (sinh y) (cos x))
  (/ 2 (* y 2))
  (/ (* (sinh y) (cos x)) (* (sqrt y) (sqrt 2)))
  (/ 2 (* (sqrt y) (sqrt 2)))
  (/ (* (sinh y) (cos x)) (* y (* (cbrt 2) (cbrt 2))))
  (/ 2 (cbrt 2))
  (/ (* (sinh y) (cos x)) (* y (sqrt 2)))
  (/ 2 (sqrt 2))
  (/ (sinh y) (/ y (cos x)))
  1
  (/ (* (sinh y) (cos x)) (* (cbrt y) (cbrt y)))
  (/ 2 (* (cbrt y) 2))
  (/ (* (sinh y) (cos x)) (sqrt y))
  (/ 2 (* (sqrt y) 2))
  (* (sinh y) (cos x))
  (/ 2 (* y 2))
  (/ (* (sinh y) (cos x)) 2)
  (/ 2 y)
  (/ 1 (* y 2))
  (/ y (* (sinh y) (cos x)))
  (/ 2 (/ y (* (sinh y) (cos x))))
  (/ (* 2 (* (sinh y) (cos x))) (* (cbrt (* y 2)) (cbrt (* y 2))))
  (/ (* 2 (* (sinh y) (cos x))) (sqrt (* y 2)))
  (* 2 (* (sinh y) (cos x)))
  (/ (* 2 (* (sinh y) (cos x))) (* (sqrt y) (sqrt 2)))
  (/ (* 2 (* (sinh y) (cos x))) (* y (* (cbrt 2) (cbrt 2))))
  (/ (* 2 (* (sinh y) (cos x))) (* y (sqrt 2)))
  (/ 2 (/ y (* (sinh y) (cos x))))
  (/ (* 2 (* (sinh y) (cos x))) (* (cbrt y) (cbrt y)))
  (/ (* 2 (* (sinh y) (cos x))) (sqrt y))
  (* 2 (* (sinh y) (cos x)))
  (* (sinh y) (cos x))
  (/ (* y 2) (* (sinh y) (cos x)))
  (/ (* y 2) (cbrt (* 2 (* (sinh y) (cos x)))))
  (/ (* y 2) (sqrt (* 2 (* (sinh y) (cos x)))))
  (/ y (* (sinh y) (cos x)))
  (/ (* y 2) (* (sqrt 2) (sqrt (* (sinh y) (cos x)))))
  (/ (* y 2) (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x)))))
  (/ (* y 2) (cos x))
  (/ (* y 2) (cbrt (* (sinh y) (cos x))))
  (/ (* y 2) (sqrt (* (sinh y) (cos x))))
  (/ (* y 2) (* (sinh y) (cos x)))
  (/ (* y 2) (* (sqrt (sinh y)) (sqrt (cos x))))
  (/ (* y 2) (cbrt (cos x)))
  (/ (* y 2) (sqrt (cos x)))
  (/ (* y 2) (cos x))
  (/ (* y 2) (* (cbrt (sinh y)) (cos x)))
  (/ (* y 2) (* (sqrt (sinh y)) (cos x)))
  (/ (* y 2) (* (sinh y) (cos x)))
  (/ (* y 2) (sinh y))
  (/ (* y 2) (* (cbrt 2) (* (sinh y) (cos x))))
  (/ (* y 2) (* (sqrt 2) (* (sinh y) (cos x))))
  (/ y (* (sinh y) (cos x)))
  y
  (* y 4)
  (expm1 (* (sinh y) (cos x)))
  (log1p (* (sinh y) (cos x)))
  (* (sinh y) (cos x))
  (log (* (sinh y) (cos x)))
  (log (* (sinh y) (cos x)))
  (exp (* (sinh y) (cos x)))
  (pow (* (sinh y) (cos x)) 3)
  (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x))))
  (cbrt (* (sinh y) (cos x)))
  (pow (* (sinh y) (cos x)) 3)
  (sqrt (* (sinh y) (cos x)))
  (sqrt (* (sinh y) (cos x)))
  (* (sqrt (sinh y)) (sqrt (cos x)))
  (* (sqrt (sinh y)) (sqrt (cos x)))
  (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x))))
  (* (sinh y) (sqrt (cos x)))
  (sinh y)
  (* (cbrt (sinh y)) (cos x))
  (* (sqrt (sinh y)) (cos x))
  (* (sinh y) (cos x))
  (* (- (exp y) (exp (* -1 y))) (cos x))
  (expm1 (* 2 (* (sinh y) (cos x))))
  (log1p (* 2 (* (sinh y) (cos x))))
  (* 2 (* (sinh y) (cos x)))
  (* 2 (* (sinh y) (cos x)))
  (log (* 2 (* (sinh y) (cos x))))
  (log (* 2 (* (sinh y) (cos x))))
  (log (* 2 (* (sinh y) (cos x))))
  (exp (* 2 (* (sinh y) (cos x))))
  (* 8 (pow (* (sinh y) (cos x)) 3))
  (* 8 (pow (* (sinh y) (cos x)) 3))
  (* (cbrt (* 2 (* (sinh y) (cos x)))) (cbrt (* 2 (* (sinh y) (cos x)))))
  (cbrt (* 2 (* (sinh y) (cos x))))
  (* 8 (pow (* (sinh y) (cos x)) 3))
  (sqrt (* 2 (* (sinh y) (cos x))))
  (sqrt (* 2 (* (sinh y) (cos x))))
  (* (sqrt 2) (sqrt (* (sinh y) (cos x))))
  (* (sqrt 2) (sqrt (* (sinh y) (cos x))))
  (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x))))
  (* (sqrt 2) (* (sqrt (sinh y)) (sqrt (cos x))))
  (* (sinh y) 2)
  (* 2 (* (cbrt (* (sinh y) (cos x))) (cbrt (* (sinh y) (cos x)))))
  (* 2 (sqrt (* (sinh y) (cos x))))
  2
  (* 2 (* (sqrt (sinh y)) (sqrt (cos x))))
  (* 2 (* (sinh y) (* (cbrt (cos x)) (cbrt (cos x)))))
  (* 2 (* (sinh y) (sqrt (cos x))))
  (* (sinh y) 2)
  (* 2 (* (cbrt (sinh y)) (cbrt (sinh y))))
  (* 2 (sqrt (sinh y)))
  2
  (* 2 (cos x))
  (* (cbrt 2) (* (sinh y) (cos x)))
  (* (sqrt 2) (* (sinh y) (cos x)))
  (* 2 (* (sinh y) (cos x)))
  (* 2 (* (- (exp y) (exp (- y))) (cos x)))
  (fma (pow y 2) 1/6 (- 1 (* 1/2 (pow x 2))))
  (* 1/2 (/ (- (* (exp y) (cos x)) (* (exp (- y)) (cos x))) y))
  (/ (* -1 (* 1/2 (- (* (exp (* -1 y)) (cos x)) (* (exp y) (cos x))))) y)
  (fma (pow y 3) 1/6 (- y (* 1/2 (* (pow x 2) y))))
  (* 1/2 (* (- (exp y) (exp (* -1 y))) (cos x)))
  (* 1/2 (* (- (exp y) (exp (* -1 y))) (cos x)))
  (fma (pow y 3) 1/3 (- (* 2 y) (* (pow x 2) y)))
  (* (- (exp y) (exp (* -1 y))) (cos x))
  (* (- (exp y) (exp (* -1 y))) (cos x))
0.932 * * * [progress]: adding candidates to table
1.734 * [progress]: [Phase 3 of 3] Extracting.
1.734 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (cos x) (/ (sinh y) y)))> #<alt (λ (x y) (/ (* 2 (* (sinh y) (cos x))) (* y 2)))>)
1.734 * * * [regime-changes]: Trying 5 branch expressions: ((/ (sinh y) y) (cos x) (* (cos x) (/ (sinh y) y)) y x)
1.734 * * * * [regimes]: Trying to branch on (/ (sinh y) y) from (#<alt (λ (x y) (* (cos x) (/ (sinh y) y)))> #<alt (λ (x y) (/ (* 2 (* (sinh y) (cos x))) (* y 2)))>)
1.746 * * * * [regimes]: Trying to branch on (cos x) from (#<alt (λ (x y) (* (cos x) (/ (sinh y) y)))> #<alt (λ (x y) (/ (* 2 (* (sinh y) (cos x))) (* y 2)))>)
1.764 * * * * [regimes]: Trying to branch on (* (cos x) (/ (sinh y) y)) from (#<alt (λ (x y) (* (cos x) (/ (sinh y) y)))> #<alt (λ (x y) (/ (* 2 (* (sinh y) (cos x))) (* y 2)))>)
1.782 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (cos x) (/ (sinh y) y)))> #<alt (λ (x y) (/ (* 2 (* (sinh y) (cos x))) (* y 2)))>)
1.796 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (cos x) (/ (sinh y) y)))> #<alt (λ (x y) (/ (* 2 (* (sinh y) (cos x))) (* y 2)))>)
1.807 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.807 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (cos x) (/ (sinh y) y))
1.808 * * [simplify]: iteration  0 :  7  enodes  (cost  4 )
1.809 * * [simplify]: iteration  1 :  7  enodes  (cost  4 )
1.809 * [simplify]: Simplified to:
   (* (cos x) (/ (sinh y) y))
3.989 * [regime-testing]: Baseline error score: 0.012294018002610903
3.989 * [regime-testing]: Oracle error score: 0.008324160832694232
3.990 * [regime-testing]: End program error score: 0.012294018002610903