10.483 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.437 * * * [progress]: [2/2] Setting up program.
0.444 * [progress]: [Phase 2 of 3] Improving.
0.445 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sin x) (/ (sinh y) y))
0.492 * * [simplify]: iteration  0 :  4909  enodes  (cost  7 )
0.492 * * [simplify]: iteration  1 :  4909  enodes  (cost  7 )
0.493 * [simplify]: Simplified to:
   (* (sin x) (/ (sinh y) y))
0.494 * * [progress]: iteration 1 / 4
0.494 * * * [progress]: picking best candidate
0.497 * * * * [pick]: Picked  #<alt (λ (x y) (* (sin x) (/ (sinh y) y)))>
0.497 * * * [progress]: localizing error
0.504 * * * [progress]: generating rewritten candidates
0.504 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.512 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.518 * * * [progress]: generating series expansions
0.518 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.518 * [approximate]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in (x y) around 0
0.519 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in y
0.519 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y
0.519 * [taylor]: Taking taylor expansion of (sin x) in y
0.519 * [taylor]: Taking taylor expansion of x in y
0.519 * [taylor]: Taking taylor expansion of (sinh y) in y
0.519 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.519 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.519 * [taylor]: Taking taylor expansion of (exp y) in y
0.519 * [taylor]: Taking taylor expansion of y in y
0.519 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.519 * [taylor]: Taking taylor expansion of (neg y) in y
0.519 * [taylor]: Taking taylor expansion of y in y
0.519 * [taylor]: Taking taylor expansion of 2 in y
0.519 * [taylor]: Taking taylor expansion of y in y
0.520 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x
0.520 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
0.520 * [taylor]: Taking taylor expansion of (sin x) in x
0.520 * [taylor]: Taking taylor expansion of x in x
0.520 * [taylor]: Taking taylor expansion of (sinh y) in x
0.520 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.520 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x
0.520 * [taylor]: Taking taylor expansion of (exp y) in x
0.520 * [taylor]: Taking taylor expansion of y in x
0.520 * [taylor]: Taking taylor expansion of (exp (neg y)) in x
0.520 * [taylor]: Taking taylor expansion of (neg y) in x
0.520 * [taylor]: Taking taylor expansion of y in x
0.520 * [taylor]: Taking taylor expansion of 2 in x
0.520 * [taylor]: Taking taylor expansion of y in x
0.521 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x
0.521 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
0.521 * [taylor]: Taking taylor expansion of (sin x) in x
0.521 * [taylor]: Taking taylor expansion of x in x
0.521 * [taylor]: Taking taylor expansion of (sinh y) in x
0.522 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.522 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x
0.522 * [taylor]: Taking taylor expansion of (exp y) in x
0.522 * [taylor]: Taking taylor expansion of y in x
0.522 * [taylor]: Taking taylor expansion of (exp (neg y)) in x
0.522 * [taylor]: Taking taylor expansion of (neg y) in x
0.522 * [taylor]: Taking taylor expansion of y in x
0.522 * [taylor]: Taking taylor expansion of 2 in x
0.522 * [taylor]: Taking taylor expansion of y in x
0.522 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) y) in y
0.523 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) in y
0.523 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y
0.523 * [taylor]: Taking taylor expansion of 1/2 in y
0.523 * [taylor]: Taking taylor expansion of (exp y) in y
0.523 * [taylor]: Taking taylor expansion of y in y
0.523 * [taylor]: Taking taylor expansion of (* 1/2 (exp (neg y))) in y
0.523 * [taylor]: Taking taylor expansion of 1/2 in y
0.523 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.523 * [taylor]: Taking taylor expansion of (neg y) in y
0.523 * [taylor]: Taking taylor expansion of y in y
0.523 * [taylor]: Taking taylor expansion of y in y
0.524 * [taylor]: Taking taylor expansion of 0 in y
0.525 * [taylor]: Taking taylor expansion of (- (* 1/12 (/ (exp (neg y)) y)) (* 1/12 (/ (exp y) y))) in y
0.525 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp (neg y)) y)) in y
0.525 * [taylor]: Taking taylor expansion of 1/12 in y
0.525 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y
0.525 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.525 * [taylor]: Taking taylor expansion of (neg y) in y
0.525 * [taylor]: Taking taylor expansion of y in y
0.525 * [taylor]: Taking taylor expansion of y in y
0.525 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp y) y)) in y
0.525 * [taylor]: Taking taylor expansion of 1/12 in y
0.525 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
0.525 * [taylor]: Taking taylor expansion of (exp y) in y
0.525 * [taylor]: Taking taylor expansion of y in y
0.525 * [taylor]: Taking taylor expansion of y in y
0.527 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in (x y) around 0
0.527 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in y
0.527 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.527 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.527 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.527 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.527 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.527 * [taylor]: Taking taylor expansion of y in y
0.527 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.527 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.527 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.527 * [taylor]: Taking taylor expansion of y in y
0.527 * [taylor]: Taking taylor expansion of 2 in y
0.527 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in y
0.527 * [taylor]: Taking taylor expansion of y in y
0.527 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
0.527 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.527 * [taylor]: Taking taylor expansion of x in y
0.527 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x
0.527 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
0.528 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.528 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x
0.528 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.528 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.528 * [taylor]: Taking taylor expansion of y in x
0.528 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x
0.528 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x
0.528 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.528 * [taylor]: Taking taylor expansion of y in x
0.528 * [taylor]: Taking taylor expansion of 2 in x
0.528 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x
0.528 * [taylor]: Taking taylor expansion of y in x
0.528 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.528 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.528 * [taylor]: Taking taylor expansion of x in x
0.528 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x
0.528 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
0.528 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.528 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x
0.528 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.528 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.528 * [taylor]: Taking taylor expansion of y in x
0.528 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x
0.528 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x
0.529 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.529 * [taylor]: Taking taylor expansion of y in x
0.529 * [taylor]: Taking taylor expansion of 2 in x
0.529 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x
0.529 * [taylor]: Taking taylor expansion of y in x
0.529 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.529 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.529 * [taylor]: Taking taylor expansion of x in x
0.529 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* y (sin (/ 1 x))))) in y
0.529 * [taylor]: Taking taylor expansion of 1/2 in y
0.529 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* y (sin (/ 1 x)))) in y
0.529 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.529 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.529 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.529 * [taylor]: Taking taylor expansion of y in y
0.529 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.529 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.529 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.529 * [taylor]: Taking taylor expansion of y in y
0.529 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in y
0.529 * [taylor]: Taking taylor expansion of y in y
0.529 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
0.530 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.530 * [taylor]: Taking taylor expansion of x in y
0.530 * [taylor]: Taking taylor expansion of 0 in y
0.532 * [taylor]: Taking taylor expansion of 0 in y
0.534 * [taylor]: Taking taylor expansion of 0 in y
0.534 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in (x y) around 0
0.535 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in y
0.535 * [taylor]: Taking taylor expansion of -1 in y
0.535 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in y
0.535 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.535 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.535 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.535 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.535 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.535 * [taylor]: Taking taylor expansion of -1 in y
0.535 * [taylor]: Taking taylor expansion of y in y
0.535 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.535 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.535 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.535 * [taylor]: Taking taylor expansion of -1 in y
0.535 * [taylor]: Taking taylor expansion of y in y
0.535 * [taylor]: Taking taylor expansion of 2 in y
0.535 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in y
0.535 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
0.535 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.535 * [taylor]: Taking taylor expansion of -1 in y
0.535 * [taylor]: Taking taylor expansion of x in y
0.535 * [taylor]: Taking taylor expansion of y in y
0.535 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in x
0.535 * [taylor]: Taking taylor expansion of -1 in x
0.535 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in x
0.535 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
0.535 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.535 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x
0.535 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
0.535 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.536 * [taylor]: Taking taylor expansion of -1 in x
0.536 * [taylor]: Taking taylor expansion of y in x
0.536 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x
0.536 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x
0.536 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.536 * [taylor]: Taking taylor expansion of -1 in x
0.536 * [taylor]: Taking taylor expansion of y in x
0.536 * [taylor]: Taking taylor expansion of 2 in x
0.536 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in x
0.536 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.536 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.536 * [taylor]: Taking taylor expansion of -1 in x
0.536 * [taylor]: Taking taylor expansion of x in x
0.536 * [taylor]: Taking taylor expansion of y in x
0.536 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in x
0.536 * [taylor]: Taking taylor expansion of -1 in x
0.536 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in x
0.536 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
0.536 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.536 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x
0.536 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
0.536 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.536 * [taylor]: Taking taylor expansion of -1 in x
0.536 * [taylor]: Taking taylor expansion of y in x
0.536 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x
0.536 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x
0.536 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.536 * [taylor]: Taking taylor expansion of -1 in x
0.536 * [taylor]: Taking taylor expansion of y in x
0.537 * [taylor]: Taking taylor expansion of 2 in x
0.537 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in x
0.537 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.537 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.537 * [taylor]: Taking taylor expansion of -1 in x
0.537 * [taylor]: Taking taylor expansion of x in x
0.537 * [taylor]: Taking taylor expansion of y in x
0.537 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) in y
0.537 * [taylor]: Taking taylor expansion of -1/2 in y
0.537 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)) in y
0.537 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
0.537 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.537 * [taylor]: Taking taylor expansion of -1 in y
0.537 * [taylor]: Taking taylor expansion of x in y
0.537 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) y) in y
0.537 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
0.537 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.537 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.537 * [taylor]: Taking taylor expansion of -1 in y
0.537 * [taylor]: Taking taylor expansion of y in y
0.537 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.537 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.537 * [taylor]: Taking taylor expansion of y in y
0.538 * [taylor]: Taking taylor expansion of y in y
0.538 * [taylor]: Taking taylor expansion of 0 in y
0.540 * [taylor]: Taking taylor expansion of 0 in y
0.542 * [taylor]: Taking taylor expansion of 0 in y
0.542 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.542 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0
0.542 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
0.542 * [taylor]: Taking taylor expansion of (sinh y) in y
0.543 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.543 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.543 * [taylor]: Taking taylor expansion of (exp y) in y
0.543 * [taylor]: Taking taylor expansion of y in y
0.543 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.543 * [taylor]: Taking taylor expansion of (neg y) in y
0.543 * [taylor]: Taking taylor expansion of y in y
0.543 * [taylor]: Taking taylor expansion of 2 in y
0.543 * [taylor]: Taking taylor expansion of y in y
0.543 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
0.543 * [taylor]: Taking taylor expansion of (sinh y) in y
0.543 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.543 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.543 * [taylor]: Taking taylor expansion of (exp y) in y
0.543 * [taylor]: Taking taylor expansion of y in y
0.543 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.543 * [taylor]: Taking taylor expansion of (neg y) in y
0.543 * [taylor]: Taking taylor expansion of y in y
0.543 * [taylor]: Taking taylor expansion of 2 in y
0.543 * [taylor]: Taking taylor expansion of y in y
0.547 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0
0.547 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
0.547 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.547 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.547 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.547 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.547 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.547 * [taylor]: Taking taylor expansion of y in y
0.547 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.547 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.547 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.547 * [taylor]: Taking taylor expansion of y in y
0.547 * [taylor]: Taking taylor expansion of 2 in y
0.547 * [taylor]: Taking taylor expansion of y in y
0.547 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
0.547 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.547 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.547 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.547 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.547 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.547 * [taylor]: Taking taylor expansion of y in y
0.547 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.547 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.547 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.547 * [taylor]: Taking taylor expansion of y in y
0.548 * [taylor]: Taking taylor expansion of 2 in y
0.548 * [taylor]: Taking taylor expansion of y in y
0.550 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in (y) around 0
0.550 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
0.550 * [taylor]: Taking taylor expansion of -1 in y
0.550 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
0.550 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.550 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.550 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.550 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.550 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.550 * [taylor]: Taking taylor expansion of -1 in y
0.550 * [taylor]: Taking taylor expansion of y in y
0.550 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.550 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.550 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.550 * [taylor]: Taking taylor expansion of -1 in y
0.550 * [taylor]: Taking taylor expansion of y in y
0.550 * [taylor]: Taking taylor expansion of 2 in y
0.551 * [taylor]: Taking taylor expansion of y in y
0.551 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
0.551 * [taylor]: Taking taylor expansion of -1 in y
0.551 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
0.551 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.551 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.551 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.551 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.551 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.551 * [taylor]: Taking taylor expansion of -1 in y
0.551 * [taylor]: Taking taylor expansion of y in y
0.551 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.551 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.551 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.551 * [taylor]: Taking taylor expansion of -1 in y
0.551 * [taylor]: Taking taylor expansion of y in y
0.551 * [taylor]: Taking taylor expansion of 2 in y
0.551 * [taylor]: Taking taylor expansion of y in y
0.554 * * * [progress]: simplifying candidates
0.556 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sin x) (/ (sinh y) y))
  (+ (log (sin x)) (- (log (sinh y)) (log y)))
  (+ (log (sin x)) (log (/ (sinh y) y)))
  (log (* (sin x) (/ (sinh y) y)))
  (exp (* (sin x) (/ (sinh y) y)))
  (* (* (* (sin x) (sin x)) (sin x)) (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* y y) y)))
  (* (* (* (sin x) (sin x)) (sin x)) (* (* (/ (sinh y) y) (/ (sinh y) y)) (/ (sinh y) y)))
  (* (cbrt (* (sin x) (/ (sinh y) y))) (cbrt (* (sin x) (/ (sinh y) y))))
  (cbrt (* (sin x) (/ (sinh y) y)))
  (* (* (* (sin x) (/ (sinh y) y)) (* (sin x) (/ (sinh y) y))) (* (sin x) (/ (sinh y) y)))
  (sqrt (* (sin x) (/ (sinh y) y)))
  (sqrt (* (sin x) (/ (sinh y) y)))
  (* (sqrt (sin x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (sin x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (sin x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (sqrt (sin x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (sin x) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))))
  (* (sin x) (sqrt (/ (sinh y) y)))
  (* (sin x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))))
  (* (sin x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)))
  (* (sin x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1))
  (* (sin x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))
  (* (sin x) (/ (sqrt (sinh y)) (sqrt y)))
  (* (sin x) (/ (sqrt (sinh y)) 1))
  (* (sin x) (/ 1 (* (cbrt y) (cbrt y))))
  (* (sin x) (/ 1 (sqrt y)))
  (* (sin x) (/ 1 1))
  (* (sin x) 1)
  (* (sin x) (sinh y))
  (* (cbrt (sin x)) (/ (sinh y) y))
  (* (sqrt (sin x)) (/ (sinh y) y))
  (* (sin x) (/ (sinh y) y))
  (* (sin x) (sinh 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))
  (neg (sinh y))
  (neg 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)
  (- (+ (* 1/6 (* x (pow y 2))) x) (* 1/6 (pow x 3)))
  (/ (- (* 1/2 (* (sin x) (exp y))) (* 1/2 (* (exp (neg y)) (sin x)))) y)
  (* -1 (/ (- (* 1/2 (* (sin x) (exp (* -1 y)))) (* 1/2 (* (sin x) (exp y)))) y))
  (+ (* 1/6 (pow y 2)) (+ (* 1/120 (pow y 4)) 1))
  (/ (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) y)
  (* -1 (/ (- (* 1/2 (exp (* -1 y))) (* 1/2 (exp y))) y))
0.615 * * [simplify]: iteration  0 :  6120  enodes  (cost  560 )
0.619 * [simplify]: Simplified to:
   (* (sin x) (/ (sinh y) y))
  (log (* (sin x) (/ (sinh y) y)))
  (log (* (sin x) (/ (sinh y) y)))
  (log (* (sin x) (/ (sinh y) y)))
  (pow (exp (/ (sinh y) y)) (sin x))
  (pow (* (sin x) (/ (sinh y) y)) 3)
  (pow (* (sin x) (/ (sinh y) y)) 3)
  (* (cbrt (* (sin x) (/ (sinh y) y))) (cbrt (* (sin x) (/ (sinh y) y))))
  (cbrt (* (sin x) (/ (sinh y) y)))
  (pow (* (sin x) (/ (sinh y) y)) 3)
  (sqrt (* (sin x) (/ (sinh y) y)))
  (sqrt (* (sin x) (/ (sinh y) y)))
  (* (sqrt (sin x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (sin x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (sin x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (sqrt (sin x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (sin x) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))))
  (* (sin x) (sqrt (/ (sinh y) y)))
  (* (sin x) (* (cbrt (sinh y)) (/ (cbrt (sinh y)) (* (cbrt y) (cbrt y)))))
  (* (sin x) (* (cbrt (sinh y)) (/ (cbrt (sinh y)) (sqrt y))))
  (* (sin x) (* (cbrt (sinh y)) (cbrt (sinh y))))
  (* (sin x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))
  (* (sin x) (/ (sqrt (sinh y)) (sqrt y)))
  (* (sin x) (sqrt (sinh y)))
  (/ (sin x) (* (cbrt y) (cbrt y)))
  (/ (sin x) (sqrt y))
  (sin x)
  (sin x)
  (* (sin x) (sinh y))
  (* (/ (sinh y) y) (cbrt (sin x)))
  (* (/ (sinh y) y) (sqrt (sin x)))
  (* (sin x) (/ (sinh y) y))
  (* (sin x) (sinh 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))
  (neg (sinh y))
  (neg 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)
  (+ x (* x (* 1/6 (- (* y y) (* x x)))))
  (* (/ 1/2 y) (* (sin x) (- (exp y) (exp (neg y)))))
  (* (/ 1/2 y) (* (sin x) (- (exp y) (exp (neg y)))))
  (+ 1 (+ (* y (* y 1/6)) (* 1/120 (pow y 4))))
  (* 1/2 (/ (- (exp y) (exp (neg y))) y))
  (* 1/2 (/ (- (exp y) (exp (neg y))) y))
0.620 * * * [progress]: adding candidates to table
0.680 * * [progress]: iteration 2 / 4
0.680 * * * [progress]: picking best candidate
0.687 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))>
0.687 * * * [progress]: localizing error
0.697 * * * [progress]: generating rewritten candidates
0.697 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.710 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.717 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
0.720 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.733 * * * [progress]: generating series expansions
0.734 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.734 * [approximate]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in (x y) around 0
0.734 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in y
0.734 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y
0.734 * [taylor]: Taking taylor expansion of (sin x) in y
0.734 * [taylor]: Taking taylor expansion of x in y
0.734 * [taylor]: Taking taylor expansion of (sinh y) in y
0.734 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.734 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.734 * [taylor]: Taking taylor expansion of (exp y) in y
0.734 * [taylor]: Taking taylor expansion of y in y
0.734 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.734 * [taylor]: Taking taylor expansion of (neg y) in y
0.734 * [taylor]: Taking taylor expansion of y in y
0.734 * [taylor]: Taking taylor expansion of 2 in y
0.735 * [taylor]: Taking taylor expansion of y in y
0.735 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x
0.735 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
0.735 * [taylor]: Taking taylor expansion of (sin x) in x
0.735 * [taylor]: Taking taylor expansion of x in x
0.735 * [taylor]: Taking taylor expansion of (sinh y) in x
0.735 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.735 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x
0.735 * [taylor]: Taking taylor expansion of (exp y) in x
0.735 * [taylor]: Taking taylor expansion of y in x
0.735 * [taylor]: Taking taylor expansion of (exp (neg y)) in x
0.735 * [taylor]: Taking taylor expansion of (neg y) in x
0.735 * [taylor]: Taking taylor expansion of y in x
0.735 * [taylor]: Taking taylor expansion of 2 in x
0.735 * [taylor]: Taking taylor expansion of y in x
0.736 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x
0.736 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
0.736 * [taylor]: Taking taylor expansion of (sin x) in x
0.736 * [taylor]: Taking taylor expansion of x in x
0.736 * [taylor]: Taking taylor expansion of (sinh y) in x
0.736 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.736 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x
0.736 * [taylor]: Taking taylor expansion of (exp y) in x
0.736 * [taylor]: Taking taylor expansion of y in x
0.736 * [taylor]: Taking taylor expansion of (exp (neg y)) in x
0.736 * [taylor]: Taking taylor expansion of (neg y) in x
0.736 * [taylor]: Taking taylor expansion of y in x
0.736 * [taylor]: Taking taylor expansion of 2 in x
0.736 * [taylor]: Taking taylor expansion of y in x
0.737 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) y) in y
0.737 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) in y
0.737 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y
0.737 * [taylor]: Taking taylor expansion of 1/2 in y
0.737 * [taylor]: Taking taylor expansion of (exp y) in y
0.737 * [taylor]: Taking taylor expansion of y in y
0.737 * [taylor]: Taking taylor expansion of (* 1/2 (exp (neg y))) in y
0.737 * [taylor]: Taking taylor expansion of 1/2 in y
0.737 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.737 * [taylor]: Taking taylor expansion of (neg y) in y
0.737 * [taylor]: Taking taylor expansion of y in y
0.737 * [taylor]: Taking taylor expansion of y in y
0.738 * [taylor]: Taking taylor expansion of 0 in y
0.739 * [taylor]: Taking taylor expansion of (- (* 1/12 (/ (exp (neg y)) y)) (* 1/12 (/ (exp y) y))) in y
0.739 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp (neg y)) y)) in y
0.739 * [taylor]: Taking taylor expansion of 1/12 in y
0.739 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y
0.739 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.739 * [taylor]: Taking taylor expansion of (neg y) in y
0.739 * [taylor]: Taking taylor expansion of y in y
0.739 * [taylor]: Taking taylor expansion of y in y
0.739 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp y) y)) in y
0.739 * [taylor]: Taking taylor expansion of 1/12 in y
0.740 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
0.740 * [taylor]: Taking taylor expansion of (exp y) in y
0.740 * [taylor]: Taking taylor expansion of y in y
0.740 * [taylor]: Taking taylor expansion of y in y
0.741 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in (x y) around 0
0.741 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in y
0.741 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.741 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.741 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.741 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.741 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.741 * [taylor]: Taking taylor expansion of y in y
0.741 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.741 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.741 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.741 * [taylor]: Taking taylor expansion of y in y
0.741 * [taylor]: Taking taylor expansion of 2 in y
0.742 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in y
0.742 * [taylor]: Taking taylor expansion of y in y
0.742 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
0.742 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.742 * [taylor]: Taking taylor expansion of x in y
0.742 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x
0.742 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
0.742 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.742 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x
0.742 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.742 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.742 * [taylor]: Taking taylor expansion of y in x
0.742 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x
0.742 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x
0.742 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.742 * [taylor]: Taking taylor expansion of y in x
0.742 * [taylor]: Taking taylor expansion of 2 in x
0.742 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x
0.742 * [taylor]: Taking taylor expansion of y in x
0.742 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.742 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.742 * [taylor]: Taking taylor expansion of x in x
0.742 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x
0.742 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
0.742 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.742 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x
0.742 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.743 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.743 * [taylor]: Taking taylor expansion of y in x
0.743 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x
0.743 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x
0.743 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.743 * [taylor]: Taking taylor expansion of y in x
0.743 * [taylor]: Taking taylor expansion of 2 in x
0.743 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x
0.743 * [taylor]: Taking taylor expansion of y in x
0.743 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.743 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.743 * [taylor]: Taking taylor expansion of x in x
0.743 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* y (sin (/ 1 x))))) in y
0.743 * [taylor]: Taking taylor expansion of 1/2 in y
0.743 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* y (sin (/ 1 x)))) in y
0.743 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.743 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.743 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.743 * [taylor]: Taking taylor expansion of y in y
0.743 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.743 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.743 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.743 * [taylor]: Taking taylor expansion of y in y
0.744 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in y
0.744 * [taylor]: Taking taylor expansion of y in y
0.744 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
0.744 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.744 * [taylor]: Taking taylor expansion of x in y
0.745 * [taylor]: Taking taylor expansion of 0 in y
0.746 * [taylor]: Taking taylor expansion of 0 in y
0.748 * [taylor]: Taking taylor expansion of 0 in y
0.748 * [approximate]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2)) in (x y) around 0
0.749 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2)) in y
0.749 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
0.749 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.749 * [taylor]: Taking taylor expansion of -1 in y
0.749 * [taylor]: Taking taylor expansion of x in y
0.749 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2) in y
0.749 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in y
0.749 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
0.749 * [taylor]: Taking taylor expansion of -1 in y
0.749 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
0.749 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.749 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.749 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.749 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.749 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.749 * [taylor]: Taking taylor expansion of -1 in y
0.749 * [taylor]: Taking taylor expansion of y in y
0.749 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.749 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.749 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.749 * [taylor]: Taking taylor expansion of -1 in y
0.749 * [taylor]: Taking taylor expansion of y in y
0.749 * [taylor]: Taking taylor expansion of 2 in y
0.749 * [taylor]: Taking taylor expansion of y in y
0.750 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2)) in x
0.750 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.750 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.750 * [taylor]: Taking taylor expansion of -1 in x
0.750 * [taylor]: Taking taylor expansion of x in x
0.750 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2) in x
0.750 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in x
0.750 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in x
0.750 * [taylor]: Taking taylor expansion of -1 in x
0.750 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in x
0.750 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
0.750 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.750 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x
0.750 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
0.750 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.750 * [taylor]: Taking taylor expansion of -1 in x
0.750 * [taylor]: Taking taylor expansion of y in x
0.750 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x
0.750 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x
0.750 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.750 * [taylor]: Taking taylor expansion of -1 in x
0.750 * [taylor]: Taking taylor expansion of y in x
0.750 * [taylor]: Taking taylor expansion of 2 in x
0.751 * [taylor]: Taking taylor expansion of y in x
0.751 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2)) in x
0.752 * [taylor]: Taking taylor expansion of (sin (/ -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.752 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2) in x
0.752 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in x
0.752 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in x
0.752 * [taylor]: Taking taylor expansion of -1 in x
0.752 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in x
0.752 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
0.752 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.752 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -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 (neg (/ -1 y))) in x
0.752 * [taylor]: Taking taylor expansion of (neg (/ -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 y in x
0.754 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) 2)) in y
0.754 * [taylor]: Taking taylor expansion of (sin (/ -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 (pow (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) 2) in y
0.754 * [taylor]: Taking taylor expansion of (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) in y
0.754 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)) in y
0.754 * [taylor]: Taking taylor expansion of -1/2 in y
0.754 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) y) in y
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.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 y in y
0.754 * [taylor]: Taking taylor expansion of y in y
0.755 * [taylor]: Taking taylor expansion of 0 in y
0.761 * [taylor]: Taking taylor expansion of 0 in y
0.776 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.776 * [approximate]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in (y) around 0
0.776 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in y
0.776 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
0.776 * [taylor]: Taking taylor expansion of (sinh y) in y
0.776 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.776 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg 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 (neg y)) in y
0.776 * [taylor]: Taking taylor expansion of (neg y) in y
0.776 * [taylor]: Taking taylor expansion of y in y
0.776 * [taylor]: Taking taylor expansion of 2 in y
0.776 * [taylor]: Taking taylor expansion of y in y
0.777 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in y
0.777 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
0.777 * [taylor]: Taking taylor expansion of (sinh y) in y
0.777 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.777 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.777 * [taylor]: Taking taylor expansion of (exp y) in y
0.777 * [taylor]: Taking taylor expansion of y in y
0.777 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.777 * [taylor]: Taking taylor expansion of (neg y) in y
0.777 * [taylor]: Taking taylor expansion of y in y
0.777 * [taylor]: Taking taylor expansion of 2 in y
0.777 * [taylor]: Taking taylor expansion of y in y
0.781 * [approximate]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in (y) around 0
0.781 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in y
0.781 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
0.781 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.781 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.781 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.781 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.781 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.781 * [taylor]: Taking taylor expansion of y in y
0.781 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.781 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.781 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.781 * [taylor]: Taking taylor expansion of y in y
0.781 * [taylor]: Taking taylor expansion of 2 in y
0.781 * [taylor]: Taking taylor expansion of y in y
0.782 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in y
0.782 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
0.782 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.782 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.782 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.782 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.782 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.782 * [taylor]: Taking taylor expansion of y in y
0.782 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.782 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.782 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.782 * [taylor]: Taking taylor expansion of y in y
0.782 * [taylor]: Taking taylor expansion of 2 in y
0.782 * [taylor]: Taking taylor expansion of y in y
0.788 * [approximate]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in (y) around 0
0.788 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in y
0.788 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
0.788 * [taylor]: Taking taylor expansion of -1 in y
0.788 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
0.788 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.788 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.788 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.788 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.789 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.789 * [taylor]: Taking taylor expansion of -1 in y
0.789 * [taylor]: Taking taylor expansion of y in y
0.789 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.789 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.789 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.789 * [taylor]: Taking taylor expansion of -1 in y
0.789 * [taylor]: Taking taylor expansion of y in y
0.789 * [taylor]: Taking taylor expansion of 2 in y
0.789 * [taylor]: Taking taylor expansion of y in y
0.789 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in y
0.789 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
0.789 * [taylor]: Taking taylor expansion of -1 in y
0.789 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
0.789 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.790 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.790 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.790 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.790 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.790 * [taylor]: Taking taylor expansion of -1 in y
0.790 * [taylor]: Taking taylor expansion of y in y
0.790 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.790 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.790 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.790 * [taylor]: Taking taylor expansion of -1 in y
0.790 * [taylor]: Taking taylor expansion of y in y
0.790 * [taylor]: Taking taylor expansion of 2 in y
0.790 * [taylor]: Taking taylor expansion of y in y
0.796 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
0.796 * [approximate]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in (y) around 0
0.796 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in y
0.796 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
0.796 * [taylor]: Taking taylor expansion of (sinh y) in y
0.797 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.797 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.797 * [taylor]: Taking taylor expansion of (exp y) in y
0.797 * [taylor]: Taking taylor expansion of y in y
0.797 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.797 * [taylor]: Taking taylor expansion of (neg y) in y
0.797 * [taylor]: Taking taylor expansion of y in y
0.797 * [taylor]: Taking taylor expansion of 2 in y
0.797 * [taylor]: Taking taylor expansion of y in y
0.797 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in y
0.797 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
0.797 * [taylor]: Taking taylor expansion of (sinh y) in y
0.797 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.797 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.797 * [taylor]: Taking taylor expansion of (exp y) in y
0.797 * [taylor]: Taking taylor expansion of y in y
0.797 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.798 * [taylor]: Taking taylor expansion of (neg y) in y
0.798 * [taylor]: Taking taylor expansion of y in y
0.798 * [taylor]: Taking taylor expansion of 2 in y
0.801 * [taylor]: Taking taylor expansion of y in y
0.804 * [approximate]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in (y) around 0
0.804 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in y
0.804 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
0.804 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.805 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.805 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.805 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.805 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.805 * [taylor]: Taking taylor expansion of y in y
0.805 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.805 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.805 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.805 * [taylor]: Taking taylor expansion of y in y
0.805 * [taylor]: Taking taylor expansion of 2 in y
0.805 * [taylor]: Taking taylor expansion of y in y
0.805 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in y
0.805 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
0.806 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.806 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.806 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.806 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.806 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.806 * [taylor]: Taking taylor expansion of y in y
0.806 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.806 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.806 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.806 * [taylor]: Taking taylor expansion of y in y
0.806 * [taylor]: Taking taylor expansion of 2 in y
0.806 * [taylor]: Taking taylor expansion of y in y
0.812 * [approximate]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in (y) around 0
0.812 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in y
0.812 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
0.812 * [taylor]: Taking taylor expansion of -1 in y
0.812 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
0.812 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.812 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.812 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.812 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.812 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.812 * [taylor]: Taking taylor expansion of -1 in y
0.812 * [taylor]: Taking taylor expansion of y in y
0.812 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.812 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.812 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.813 * [taylor]: Taking taylor expansion of -1 in y
0.813 * [taylor]: Taking taylor expansion of y in y
0.813 * [taylor]: Taking taylor expansion of 2 in y
0.813 * [taylor]: Taking taylor expansion of y in y
0.813 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in y
0.813 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
0.813 * [taylor]: Taking taylor expansion of -1 in y
0.813 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
0.813 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.813 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.813 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.813 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.813 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.813 * [taylor]: Taking taylor expansion of -1 in y
0.813 * [taylor]: Taking taylor expansion of y in y
0.814 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.814 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.814 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.814 * [taylor]: Taking taylor expansion of -1 in y
0.814 * [taylor]: Taking taylor expansion of y in y
0.814 * [taylor]: Taking taylor expansion of 2 in y
0.814 * [taylor]: Taking taylor expansion of y in y
0.821 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.821 * [approximate]: Taking taylor expansion of (* (sqrt (/ (sinh y) y)) (sin x)) in (x y) around 0
0.821 * [taylor]: Taking taylor expansion of (* (sqrt (/ (sinh y) y)) (sin x)) in y
0.821 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in y
0.821 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
0.821 * [taylor]: Taking taylor expansion of (sinh y) in y
0.821 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.821 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.821 * [taylor]: Taking taylor expansion of (exp y) in y
0.821 * [taylor]: Taking taylor expansion of y in y
0.821 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.821 * [taylor]: Taking taylor expansion of (neg y) in y
0.821 * [taylor]: Taking taylor expansion of y in y
0.821 * [taylor]: Taking taylor expansion of 2 in y
0.821 * [taylor]: Taking taylor expansion of y in y
0.822 * [taylor]: Taking taylor expansion of (sin x) in y
0.822 * [taylor]: Taking taylor expansion of x in y
0.822 * [taylor]: Taking taylor expansion of (* (sqrt (/ (sinh y) y)) (sin x)) in x
0.822 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in x
0.822 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in x
0.822 * [taylor]: Taking taylor expansion of (sinh y) in x
0.822 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.822 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x
0.822 * [taylor]: Taking taylor expansion of (exp y) in x
0.822 * [taylor]: Taking taylor expansion of y in x
0.822 * [taylor]: Taking taylor expansion of (exp (neg y)) in x
0.822 * [taylor]: Taking taylor expansion of (neg y) in x
0.822 * [taylor]: Taking taylor expansion of y in x
0.822 * [taylor]: Taking taylor expansion of 2 in x
0.822 * [taylor]: Taking taylor expansion of y in x
0.823 * [taylor]: Taking taylor expansion of (sin x) in x
0.823 * [taylor]: Taking taylor expansion of x in x
0.823 * [taylor]: Taking taylor expansion of (* (sqrt (/ (sinh y) y)) (sin x)) in x
0.823 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in x
0.823 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in x
0.823 * [taylor]: Taking taylor expansion of (sinh y) in x
0.823 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.823 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x
0.823 * [taylor]: Taking taylor expansion of (exp y) in x
0.823 * [taylor]: Taking taylor expansion of y in x
0.823 * [taylor]: Taking taylor expansion of (exp (neg y)) in x
0.823 * [taylor]: Taking taylor expansion of (neg y) in x
0.823 * [taylor]: Taking taylor expansion of y in x
0.823 * [taylor]: Taking taylor expansion of 2 in x
0.823 * [taylor]: Taking taylor expansion of y in x
0.824 * [taylor]: Taking taylor expansion of (sin x) in x
0.824 * [taylor]: Taking taylor expansion of x in x
0.824 * [taylor]: Taking taylor expansion of 0 in y
0.824 * [taylor]: Taking taylor expansion of (* (sqrt (/ (- (exp y) (exp (neg y))) y)) (sqrt 1/2)) in y
0.824 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp y) (exp (neg y))) y)) in y
0.824 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (neg y))) y) in y
0.824 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.824 * [taylor]: Taking taylor expansion of (exp y) in y
0.824 * [taylor]: Taking taylor expansion of y in y
0.824 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.824 * [taylor]: Taking taylor expansion of (neg y) in y
0.824 * [taylor]: Taking taylor expansion of y in y
0.824 * [taylor]: Taking taylor expansion of y in y
0.825 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y
0.825 * [taylor]: Taking taylor expansion of 1/2 in y
0.826 * [taylor]: Taking taylor expansion of 0 in y
0.827 * [taylor]: Taking taylor expansion of (neg (* 1/6 (* (sqrt (/ (- (exp y) (exp (neg y))) y)) (sqrt 1/2)))) in y
0.827 * [taylor]: Taking taylor expansion of (* 1/6 (* (sqrt (/ (- (exp y) (exp (neg y))) y)) (sqrt 1/2))) in y
0.827 * [taylor]: Taking taylor expansion of 1/6 in y
0.827 * [taylor]: Taking taylor expansion of (* (sqrt (/ (- (exp y) (exp (neg y))) y)) (sqrt 1/2)) in y
0.827 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp y) (exp (neg y))) y)) in y
0.827 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (neg y))) y) in y
0.827 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.827 * [taylor]: Taking taylor expansion of (exp y) in y
0.827 * [taylor]: Taking taylor expansion of y in y
0.827 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.827 * [taylor]: Taking taylor expansion of (neg y) in y
0.827 * [taylor]: Taking taylor expansion of y in y
0.827 * [taylor]: Taking taylor expansion of y in y
0.828 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y
0.828 * [taylor]: Taking taylor expansion of 1/2 in y
0.829 * [approximate]: Taking taylor expansion of (* (sqrt (* (sinh (/ 1 y)) y)) (sin (/ 1 x))) in (x y) around 0
0.830 * [taylor]: Taking taylor expansion of (* (sqrt (* (sinh (/ 1 y)) y)) (sin (/ 1 x))) in y
0.830 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in y
0.830 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
0.830 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.830 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.830 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 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 y in y
0.830 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.830 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.830 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.830 * [taylor]: Taking taylor expansion of y in y
0.830 * [taylor]: Taking taylor expansion of 2 in y
0.830 * [taylor]: Taking taylor expansion of y in y
0.830 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
0.831 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.831 * [taylor]: Taking taylor expansion of x in y
0.831 * [taylor]: Taking taylor expansion of (* (sqrt (* (sinh (/ 1 y)) y)) (sin (/ 1 x))) in x
0.831 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in x
0.831 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in x
0.831 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
0.831 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.831 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x
0.831 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.831 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.831 * [taylor]: Taking taylor expansion of y in x
0.831 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x
0.831 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x
0.831 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.831 * [taylor]: Taking taylor expansion of y in x
0.831 * [taylor]: Taking taylor expansion of 2 in x
0.831 * [taylor]: Taking taylor expansion of y in x
0.832 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.832 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.832 * [taylor]: Taking taylor expansion of x in x
0.832 * [taylor]: Taking taylor expansion of (* (sqrt (* (sinh (/ 1 y)) y)) (sin (/ 1 x))) in x
0.832 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in x
0.832 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in x
0.832 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
0.832 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.832 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 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 y in x
0.832 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x
0.832 * [taylor]: Taking taylor expansion of (neg (/ 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.833 * [taylor]: Taking taylor expansion of 2 in x
0.833 * [taylor]: Taking taylor expansion of y in x
0.834 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.834 * [taylor]: Taking taylor expansion of x in x
0.834 * [taylor]: Taking taylor expansion of (* (sqrt (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) y)) (* (sqrt 1/2) (sin (/ 1 x)))) in y
0.834 * [taylor]: Taking taylor expansion of (sqrt (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) y)) in y
0.834 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) y) in y
0.834 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.834 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.834 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.834 * [taylor]: Taking taylor expansion of y in y
0.834 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.834 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.834 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.834 * [taylor]: Taking taylor expansion of y in y
0.834 * [taylor]: Taking taylor expansion of y in y
0.834 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sin (/ 1 x))) in y
0.834 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y
0.835 * [taylor]: Taking taylor expansion of 1/2 in y
0.835 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
0.835 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.835 * [taylor]: Taking taylor expansion of x in y
0.835 * [taylor]: Taking taylor expansion of 0 in y
0.837 * [taylor]: Taking taylor expansion of 0 in y
0.841 * [taylor]: Taking taylor expansion of 0 in y
0.850 * [approximate]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (* -1 (* (sinh (/ -1 y)) y)))) in (x y) around 0
0.850 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (* -1 (* (sinh (/ -1 y)) y)))) in y
0.850 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
0.850 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.850 * [taylor]: Taking taylor expansion of -1 in y
0.850 * [taylor]: Taking taylor expansion of x in y
0.850 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in y
0.850 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
0.850 * [taylor]: Taking taylor expansion of -1 in y
0.850 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
0.850 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.850 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.850 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.850 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.850 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.850 * [taylor]: Taking taylor expansion of -1 in y
0.850 * [taylor]: Taking taylor expansion of y in y
0.850 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.850 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.850 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.850 * [taylor]: Taking taylor expansion of -1 in y
0.850 * [taylor]: Taking taylor expansion of y in y
0.850 * [taylor]: Taking taylor expansion of 2 in y
0.850 * [taylor]: Taking taylor expansion of y in y
0.851 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (* -1 (* (sinh (/ -1 y)) y)))) in x
0.851 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.851 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.851 * [taylor]: Taking taylor expansion of -1 in x
0.851 * [taylor]: Taking taylor expansion of x in x
0.851 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in x
0.851 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in x
0.851 * [taylor]: Taking taylor expansion of -1 in x
0.851 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in x
0.851 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
0.851 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.851 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x
0.851 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
0.851 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.851 * [taylor]: Taking taylor expansion of -1 in x
0.851 * [taylor]: Taking taylor expansion of y in x
0.851 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x
0.851 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x
0.851 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.851 * [taylor]: Taking taylor expansion of -1 in x
0.851 * [taylor]: Taking taylor expansion of y in x
0.852 * [taylor]: Taking taylor expansion of 2 in x
0.852 * [taylor]: Taking taylor expansion of y in x
0.853 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (* -1 (* (sinh (/ -1 y)) y)))) in x
0.853 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.853 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.853 * [taylor]: Taking taylor expansion of -1 in x
0.853 * [taylor]: Taking taylor expansion of x in x
0.853 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in x
0.853 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in x
0.853 * [taylor]: Taking taylor expansion of -1 in x
0.853 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in x
0.853 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
0.853 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.853 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x
0.853 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
0.853 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.853 * [taylor]: Taking taylor expansion of -1 in x
0.853 * [taylor]: Taking taylor expansion of y in x
0.853 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x
0.853 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x
0.853 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.853 * [taylor]: Taking taylor expansion of -1 in x
0.853 * [taylor]: Taking taylor expansion of y in x
0.853 * [taylor]: Taking taylor expansion of 2 in x
0.853 * [taylor]: Taking taylor expansion of y in x
0.854 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)))) in y
0.854 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
0.854 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.854 * [taylor]: Taking taylor expansion of -1 in y
0.854 * [taylor]: Taking taylor expansion of x in y
0.855 * [taylor]: Taking taylor expansion of (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) in y
0.855 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)) in y
0.855 * [taylor]: Taking taylor expansion of -1/2 in y
0.855 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) y) in y
0.855 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
0.855 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.855 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.855 * [taylor]: Taking taylor expansion of -1 in y
0.855 * [taylor]: Taking taylor expansion of y in y
0.855 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.855 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.855 * [taylor]: Taking taylor expansion of y in y
0.855 * [taylor]: Taking taylor expansion of y in y
0.855 * [taylor]: Taking taylor expansion of 0 in y
0.857 * [taylor]: Taking taylor expansion of 0 in y
0.861 * [taylor]: Taking taylor expansion of 0 in y
0.868 * * * [progress]: simplifying candidates
0.871 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))
  (+ (+ (log (sin x)) (log (sqrt (/ (sinh y) y)))) (log (sqrt (/ (sinh y) y))))
  (+ (log (* (sin x) (sqrt (/ (sinh y) y)))) (log (sqrt (/ (sinh y) y))))
  (log (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (exp (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (* (* (* (* (sin x) (sin x)) (sin x)) (* (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (* (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (* (* (* (* (sin x) (sqrt (/ (sinh y) y))) (* (sin x) (sqrt (/ (sinh y) y)))) (* (sin x) (sqrt (/ (sinh y) y)))) (* (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (* (cbrt (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (cbrt (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))))
  (cbrt (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (* (* (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (sqrt (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (sqrt (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (* (* (sin x) (sqrt (sinh y))) (sqrt (sinh y)))
  (* (sqrt y) (sqrt y))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y)))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sqrt (sinh y)) (sqrt y))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sqrt (sinh y)) 1)))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ 1 (* (cbrt y) (cbrt y)))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ 1 (sqrt y))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ 1 1)))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt 1))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sinh y)))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) 1)
  (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y)))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sinh y)))
  (* (* (sin x) (sqrt (sinh y))) (sqrt (/ (sinh y) y)))
  (log (sqrt (/ (sinh y) y)))
  (exp (sqrt (/ (sinh y) y)))
  (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))))
  (cbrt (sqrt (/ (sinh y) y)))
  (* (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))
  (sqrt (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))))
  (sqrt (cbrt (/ (sinh y) y)))
  (sqrt (sqrt (/ (sinh y) y)))
  (sqrt (sqrt (/ (sinh y) y)))
  (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))))
  (sqrt (/ (cbrt (sinh y)) (cbrt y)))
  (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)))
  (sqrt (/ (cbrt (sinh y)) (sqrt y)))
  (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1))
  (sqrt (/ (cbrt (sinh y)) y))
  (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))
  (sqrt (/ (sqrt (sinh y)) (cbrt y)))
  (sqrt (/ (sqrt (sinh y)) (sqrt y)))
  (sqrt (/ (sqrt (sinh y)) (sqrt y)))
  (sqrt (/ (sqrt (sinh y)) 1))
  (sqrt (/ (sqrt (sinh y)) y))
  (sqrt (/ 1 (* (cbrt y) (cbrt y))))
  (sqrt (/ (sinh y) (cbrt y)))
  (sqrt (/ 1 (sqrt y)))
  (sqrt (/ (sinh y) (sqrt y)))
  (sqrt (/ 1 1))
  (sqrt (/ (sinh y) y))
  (sqrt 1)
  (sqrt (/ (sinh y) y))
  (sqrt (sinh y))
  (sqrt (/ 1 y))
  (sqrt (sinh y))
  (sqrt y)
  (/ 1 2)
  (sqrt (sqrt (/ (sinh y) y)))
  (sqrt (sqrt (/ (sinh y) y)))
  (log (sqrt (/ (sinh y) y)))
  (exp (sqrt (/ (sinh y) y)))
  (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))))
  (cbrt (sqrt (/ (sinh y) y)))
  (* (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))
  (sqrt (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))))
  (sqrt (cbrt (/ (sinh y) y)))
  (sqrt (sqrt (/ (sinh y) y)))
  (sqrt (sqrt (/ (sinh y) y)))
  (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))))
  (sqrt (/ (cbrt (sinh y)) (cbrt y)))
  (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)))
  (sqrt (/ (cbrt (sinh y)) (sqrt y)))
  (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1))
  (sqrt (/ (cbrt (sinh y)) y))
  (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))
  (sqrt (/ (sqrt (sinh y)) (cbrt y)))
  (sqrt (/ (sqrt (sinh y)) (sqrt y)))
  (sqrt (/ (sqrt (sinh y)) (sqrt y)))
  (sqrt (/ (sqrt (sinh y)) 1))
  (sqrt (/ (sqrt (sinh y)) y))
  (sqrt (/ 1 (* (cbrt y) (cbrt y))))
  (sqrt (/ (sinh y) (cbrt y)))
  (sqrt (/ 1 (sqrt y)))
  (sqrt (/ (sinh y) (sqrt y)))
  (sqrt (/ 1 1))
  (sqrt (/ (sinh y) y))
  (sqrt 1)
  (sqrt (/ (sinh y) y))
  (sqrt (sinh y))
  (sqrt (/ 1 y))
  (sqrt (sinh y))
  (sqrt y)
  (/ 1 2)
  (sqrt (sqrt (/ (sinh y) y)))
  (sqrt (sqrt (/ (sinh y) y)))
  (* (sin x) (sqrt (/ (sinh y) y)))
  (+ (log (sin x)) (log (sqrt (/ (sinh y) y))))
  (log (* (sin x) (sqrt (/ (sinh y) y))))
  (exp (* (sin x) (sqrt (/ (sinh y) y))))
  (* (* (* (sin x) (sin x)) (sin x)) (* (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (* (cbrt (* (sin x) (sqrt (/ (sinh y) y)))) (cbrt (* (sin x) (sqrt (/ (sinh y) y)))))
  (cbrt (* (sin x) (sqrt (/ (sinh y) y))))
  (* (* (* (sin x) (sqrt (/ (sinh y) y))) (* (sin x) (sqrt (/ (sinh y) y)))) (* (sin x) (sqrt (/ (sinh y) y))))
  (sqrt (* (sin x) (sqrt (/ (sinh y) y))))
  (sqrt (* (sin x) (sqrt (/ (sinh y) y))))
  (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y))))
  (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y))))
  (* (sqrt (sin x)) (sqrt (/ (sqrt (sinh y)) (sqrt y))))
  (* (sqrt (sin x)) (sqrt (/ (sqrt (sinh y)) (sqrt y))))
  (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y))))
  (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y))))
  (* (sin x) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y)))))
  (* (sin x) (sqrt (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))))
  (* (sin x) (sqrt (sqrt (/ (sinh y) y))))
  (* (sin x) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))))
  (* (sin x) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))))
  (* (sin x) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)))
  (* (sin x) (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))))
  (* (sin x) (sqrt (/ (sqrt (sinh y)) (sqrt y))))
  (* (sin x) (sqrt (/ (sqrt (sinh y)) 1)))
  (* (sin x) (sqrt (/ 1 (* (cbrt y) (cbrt y)))))
  (* (sin x) (sqrt (/ 1 (sqrt y))))
  (* (sin x) (sqrt (/ 1 1)))
  (* (sin x) (sqrt 1))
  (* (sin x) (sqrt (sinh y)))
  (* (sin x) (sqrt (sqrt (/ (sinh y) y))))
  (* (sin x) 1)
  (* (cbrt (sin x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (sin x)) (sqrt (/ (sinh y) y)))
  (* (sin x) (sqrt (/ (sinh y) y)))
  (* (sin x) (sqrt (sinh y)))
  (- (+ (* 1/6 (* x (pow y 2))) x) (* 1/6 (pow x 3)))
  (/ (- (* 1/2 (* (sin x) (exp y))) (* 1/2 (* (exp (neg y)) (sin x)))) y)
  (- (+ (* 1/4 (/ (* (pow NAN 2) (* (sin x) (pow (exp (* -1 y)) 2))) (pow y 2))) (+ (* 15/8 (/ (* (pow NAN 6) (* (sin x) (* (pow (exp y) 2) (pow (exp (* -1 y)) 2)))) (pow y 4))) (+ (* 1/4 (/ (* (pow NAN 4) (* (sin x) (pow (exp (* -1 y)) 3))) (pow y 3))) (+ (* 3/4 (/ (* (pow NAN 4) (* (sin x) (* (pow (exp y) 2) (exp (* -1 y))))) (pow y 3))) (+ (* 5/16 (/ (* (pow NAN 6) (* (sin x) (pow (exp (* -1 y)) 4))) (pow y 4))) (+ (* 1/4 (/ (* (pow NAN 2) (* (sin x) (pow (exp y) 2))) (pow y 2))) (* 5/16 (/ (* (pow NAN 6) (* (sin x) (pow (exp y) 4))) (pow y 4))))))))) (+ (* 5/4 (/ (* (pow NAN 6) (* (sin x) (* (pow (exp y) 3) (exp (* -1 y))))) (pow y 4))) (+ (* 5/4 (/ (* (pow NAN 6) (* (sin x) (* (exp y) (pow (exp (* -1 y)) 3)))) (pow y 4))) (+ (* 1/4 (/ (* (pow NAN 4) (* (sin x) (pow (exp y) 3))) (pow y 3))) (+ (* 1/2 (/ (* (pow NAN 2) (* (sin x) (* (exp y) (exp (* -1 y))))) (pow y 2))) (* 3/4 (/ (* (pow NAN 4) (* (sin x) (* (exp y) (pow (exp (* -1 y)) 2)))) (pow y 3))))))))
  (+ (* 1/12 (pow y 2)) (+ (* 1/1440 (pow y 4)) 1))
  (- (+ (* 1/2 (/ (* NAN (exp y)) y)) (+ (* 1/2 (/ (* (exp (neg y)) (* (pow NAN 3) (exp y))) (pow y 2))) (+ (* 1/4 (/ (* (pow NAN 5) (pow (exp y) 3)) (pow y 3))) (* 3/4 (/ (* (pow (exp (neg y)) 2) (* (pow NAN 5) (exp y))) (pow y 3)))))) (+ (* 1/2 (/ (* (exp (neg y)) NAN) y)) (+ (* 1/4 (/ (* (pow (exp (neg y)) 3) (pow NAN 5)) (pow y 3))) (+ (* 3/4 (/ (* (exp (neg y)) (* (pow NAN 5) (pow (exp y) 2))) (pow y 3))) (+ (* 1/4 (/ (* (pow (exp (neg y)) 2) (pow NAN 3)) (pow y 2))) (* 1/4 (/ (* (pow NAN 3) (pow (exp y) 2)) (pow y 2))))))))
  (- (+ (* 1/2 (/ (* NAN (exp y)) y)) (+ (* 1/2 (/ (* (pow NAN 3) (* (exp y) (exp (* -1 y)))) (pow y 2))) (+ (* 1/4 (/ (* (pow NAN 5) (pow (exp y) 3)) (pow y 3))) (* 3/4 (/ (* (pow NAN 5) (* (exp y) (pow (exp (* -1 y)) 2))) (pow y 3)))))) (+ (* 1/4 (/ (* (pow NAN 5) (pow (exp (* -1 y)) 3)) (pow y 3))) (+ (* 1/4 (/ (* (pow NAN 3) (pow (exp (* -1 y)) 2)) (pow y 2))) (+ (* 3/4 (/ (* (pow NAN 5) (* (pow (exp y) 2) (exp (* -1 y)))) (pow y 3))) (+ (* 1/2 (/ (* NAN (exp (* -1 y))) y)) (* 1/4 (/ (* (pow NAN 3) (pow (exp y) 2)) (pow y 2))))))))
  (+ (* 1/12 (pow y 2)) (+ (* 1/1440 (pow y 4)) 1))
  (- (+ (* 1/2 (/ (* NAN (exp y)) y)) (+ (* 1/2 (/ (* (exp (neg y)) (* (pow NAN 3) (exp y))) (pow y 2))) (+ (* 1/4 (/ (* (pow NAN 5) (pow (exp y) 3)) (pow y 3))) (* 3/4 (/ (* (pow (exp (neg y)) 2) (* (pow NAN 5) (exp y))) (pow y 3)))))) (+ (* 1/2 (/ (* (exp (neg y)) NAN) y)) (+ (* 1/4 (/ (* (pow (exp (neg y)) 3) (pow NAN 5)) (pow y 3))) (+ (* 3/4 (/ (* (exp (neg y)) (* (pow NAN 5) (pow (exp y) 2))) (pow y 3))) (+ (* 1/4 (/ (* (pow (exp (neg y)) 2) (pow NAN 3)) (pow y 2))) (* 1/4 (/ (* (pow NAN 3) (pow (exp y) 2)) (pow y 2))))))))
  (- (+ (* 1/2 (/ (* NAN (exp y)) y)) (+ (* 1/2 (/ (* (pow NAN 3) (* (exp y) (exp (* -1 y)))) (pow y 2))) (+ (* 1/4 (/ (* (pow NAN 5) (pow (exp y) 3)) (pow y 3))) (* 3/4 (/ (* (pow NAN 5) (* (exp y) (pow (exp (* -1 y)) 2))) (pow y 3)))))) (+ (* 1/4 (/ (* (pow NAN 5) (pow (exp (* -1 y)) 3)) (pow y 3))) (+ (* 1/4 (/ (* (pow NAN 3) (pow (exp (* -1 y)) 2)) (pow y 2))) (+ (* 3/4 (/ (* (pow NAN 5) (* (pow (exp y) 2) (exp (* -1 y)))) (pow y 3))) (+ (* 1/2 (/ (* NAN (exp (* -1 y))) y)) (* 1/4 (/ (* (pow NAN 3) (pow (exp y) 2)) (pow y 2))))))))
  (- (+ (* 1/6 (/ (* x (* (sqrt 1/2) (pow y 2))) (sqrt 2))) (* x (* (sqrt 2) (sqrt 1/2)))) (* 1/6 (* (pow x 3) (* (sqrt 2) (sqrt 1/2)))))
  (- (+ (* 2 (/ (* (pow NAN 5) (* (sin x) (* (pow (exp y) 3) (sqrt 1/2)))) (pow y 3))) (+ (/ (* NAN (* (sin x) (* (exp y) (sqrt 1/2)))) y) (+ (* 6 (/ (* (pow (exp (neg y)) 2) (* (pow NAN 5) (* (sin x) (* (exp y) (sqrt 1/2))))) (pow y 3))) (* 2 (/ (* (exp (neg y)) (* (pow NAN 3) (* (sin x) (* (exp y) (sqrt 1/2))))) (pow y 2)))))) (+ (* 2 (/ (* (pow (exp (neg y)) 3) (* (pow NAN 5) (* (sin x) (sqrt 1/2)))) (pow y 3))) (+ (/ (* (pow NAN 3) (* (sin x) (* (pow (exp y) 2) (sqrt 1/2)))) (pow y 2)) (+ (/ (* (pow (exp (neg y)) 2) (* (pow NAN 3) (* (sin x) (sqrt 1/2)))) (pow y 2)) (+ (/ (* (exp (neg y)) (* NAN (* (sin x) (sqrt 1/2)))) y) (* 6 (/ (* (exp (neg y)) (* (pow NAN 5) (* (sin x) (* (pow (exp y) 2) (sqrt 1/2))))) (pow y 3))))))))
  (- (+ (* 1/4 (/ (* (pow NAN 5) (* (sin x) (pow (exp y) 3))) (pow y 3))) (+ (* 1/2 (/ (* (pow NAN 3) (* (sin x) (* (exp y) (exp (* -1 y))))) (pow y 2))) (+ (* 1/2 (/ (* NAN (* (sin x) (exp y))) y)) (* 3/4 (/ (* (pow NAN 5) (* (sin x) (* (exp y) (pow (exp (* -1 y)) 2)))) (pow y 3)))))) (+ (* 1/4 (/ (* (pow NAN 3) (* (sin x) (pow (exp (* -1 y)) 2))) (pow y 2))) (+ (* 1/4 (/ (* (pow NAN 5) (* (sin x) (pow (exp (* -1 y)) 3))) (pow y 3))) (+ (* 1/2 (/ (* NAN (* (sin x) (exp (* -1 y)))) y)) (+ (* 3/4 (/ (* (pow NAN 5) (* (sin x) (* (pow (exp y) 2) (exp (* -1 y))))) (pow y 3))) (* 1/4 (/ (* (pow NAN 3) (* (sin x) (pow (exp y) 2))) (pow y 2))))))))
0.944 * * [simplify]: iteration  0 :  5029  enodes  (cost  2160 )
0.955 * [simplify]: Simplified to:
   (* (sin x) (/ (sinh y) y))
  (* (sin x) (/ (sinh y) y))
  (log (* (sin x) (/ (sinh y) y)))
  (log (* (sin x) (/ (sinh y) y)))
  (log (* (sin x) (/ (sinh y) y)))
  (pow (exp (sin x)) (/ (sinh y) y))
  (pow (* (sin x) (/ (sinh y) y)) 3)
  (pow (* (sin x) (/ (sinh y) y)) 3)
  (* (cbrt (* (sin x) (/ (sinh y) y))) (cbrt (* (sin x) (/ (sinh y) y))))
  (cbrt (* (sin x) (/ (sinh y) y)))
  (pow (* (sin x) (/ (sinh y) y)) 3)
  (sqrt (* (sin x) (/ (sinh y) y)))
  (sqrt (* (sin x) (/ (sinh y) y)))
  (* (sin x) (sinh y))
  y
  (* (sin x) (* (sqrt (/ (sinh y) y)) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))))))
  (* (sin x) (* (sqrt (/ (sinh y) y)) (fabs (cbrt (/ (sinh y) y)))))
  (* (sin x) (* (sqrt (/ (sinh y) y)) (sqrt (sqrt (/ (sinh y) y)))))
  (* (sin x) (* (sqrt (/ (sinh y) y)) (fabs (/ (cbrt (sinh y)) (cbrt y)))))
  (* (sin x) (* (sqrt (/ (sinh y) y)) (sqrt (* (/ (cbrt (sinh y)) (sqrt y)) (cbrt (sinh y))))))
  (* (sin x) (* (sqrt (/ (sinh y) y)) (fabs (cbrt (sinh y)))))
  (* (sin x) (* (sqrt (/ (sinh y) y)) (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))))
  (* (sin x) (* (sqrt (/ (sinh y) y)) (sqrt (/ (sqrt (sinh y)) (sqrt y)))))
  (* (sin x) (* (sqrt (/ (sinh y) y)) (sqrt (sqrt (sinh y)))))
  (* (sin x) (* (sqrt (/ (sinh y) y)) (sqrt (/ 1 (* (cbrt y) (cbrt y))))))
  (* (sin x) (* (sqrt (/ (sinh y) y)) (sqrt (/ 1 (sqrt y)))))
  (* (sin x) (sqrt (/ (sinh y) y)))
  (* (sin x) (sqrt (/ (sinh y) y)))
  (* (sin x) (* (sqrt (/ (sinh y) y)) (sqrt (sinh y))))
  (* (sin x) (* (sqrt (/ (sinh y) y)) (sqrt (sqrt (/ (sinh y) y)))))
  (* (sin x) (sqrt (/ (sinh y) y)))
  (/ (sinh y) y)
  (* (sin x) (* (sqrt (/ (sinh y) y)) (sqrt (sinh y))))
  (* (sin x) (* (sqrt (/ (sinh y) y)) (sqrt (sinh y))))
  (log (sqrt (/ (sinh y) y)))
  (exp (sqrt (/ (sinh y) y)))
  (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))))
  (cbrt (sqrt (/ (sinh y) y)))
  (pow (sqrt (/ (sinh y) y)) 3)
  (fabs (cbrt (/ (sinh y) y)))
  (sqrt (cbrt (/ (sinh y) y)))
  (sqrt (sqrt (/ (sinh y) y)))
  (sqrt (sqrt (/ (sinh y) y)))
  (fabs (/ (cbrt (sinh y)) (cbrt y)))
  (sqrt (/ (cbrt (sinh y)) (cbrt y)))
  (sqrt (* (/ (cbrt (sinh y)) (sqrt y)) (cbrt (sinh y))))
  (sqrt (/ (cbrt (sinh y)) (sqrt y)))
  (fabs (cbrt (sinh y)))
  (sqrt (/ (cbrt (sinh y)) y))
  (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))
  (sqrt (/ (sqrt (sinh y)) (cbrt y)))
  (sqrt (/ (sqrt (sinh y)) (sqrt y)))
  (sqrt (/ (sqrt (sinh y)) (sqrt y)))
  (sqrt (sqrt (sinh y)))
  (sqrt (/ (sqrt (sinh y)) y))
  (sqrt (/ 1 (* (cbrt y) (cbrt y))))
  (sqrt (/ (sinh y) (cbrt y)))
  (sqrt (/ 1 (sqrt y)))
  (sqrt (/ (sinh y) (sqrt y)))
  1
  (sqrt (/ (sinh y) y))
  1
  (sqrt (/ (sinh y) y))
  (sqrt (sinh y))
  (sqrt (/ 1 y))
  (sqrt (sinh y))
  (sqrt y)
  1/2
  (sqrt (sqrt (/ (sinh y) y)))
  (sqrt (sqrt (/ (sinh y) y)))
  (log (sqrt (/ (sinh y) y)))
  (exp (sqrt (/ (sinh y) y)))
  (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))))
  (cbrt (sqrt (/ (sinh y) y)))
  (pow (sqrt (/ (sinh y) y)) 3)
  (fabs (cbrt (/ (sinh y) y)))
  (sqrt (cbrt (/ (sinh y) y)))
  (sqrt (sqrt (/ (sinh y) y)))
  (sqrt (sqrt (/ (sinh y) y)))
  (fabs (/ (cbrt (sinh y)) (cbrt y)))
  (sqrt (/ (cbrt (sinh y)) (cbrt y)))
  (sqrt (* (/ (cbrt (sinh y)) (sqrt y)) (cbrt (sinh y))))
  (sqrt (/ (cbrt (sinh y)) (sqrt y)))
  (fabs (cbrt (sinh y)))
  (sqrt (/ (cbrt (sinh y)) y))
  (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))
  (sqrt (/ (sqrt (sinh y)) (cbrt y)))
  (sqrt (/ (sqrt (sinh y)) (sqrt y)))
  (sqrt (/ (sqrt (sinh y)) (sqrt y)))
  (sqrt (sqrt (sinh y)))
  (sqrt (/ (sqrt (sinh y)) y))
  (sqrt (/ 1 (* (cbrt y) (cbrt y))))
  (sqrt (/ (sinh y) (cbrt y)))
  (sqrt (/ 1 (sqrt y)))
  (sqrt (/ (sinh y) (sqrt y)))
  1
  (sqrt (/ (sinh y) y))
  1
  (sqrt (/ (sinh y) y))
  (sqrt (sinh y))
  (sqrt (/ 1 y))
  (sqrt (sinh y))
  (sqrt y)
  1/2
  (sqrt (sqrt (/ (sinh y) y)))
  (sqrt (sqrt (/ (sinh y) y)))
  (* (sin x) (sqrt (/ (sinh y) y)))
  (log (* (sin x) (sqrt (/ (sinh y) y))))
  (log (* (sin x) (sqrt (/ (sinh y) y))))
  (pow (exp (sqrt (/ (sinh y) y))) (sin x))
  (pow (* (sin x) (sqrt (/ (sinh y) y))) 3)
  (* (cbrt (* (sin x) (sqrt (/ (sinh y) y)))) (cbrt (* (sin x) (sqrt (/ (sinh y) y)))))
  (cbrt (* (sin x) (sqrt (/ (sinh y) y))))
  (pow (* (sin x) (sqrt (/ (sinh y) y))) 3)
  (sqrt (* (sin x) (sqrt (/ (sinh y) y))))
  (sqrt (* (sin x) (sqrt (/ (sinh y) y))))
  (* (sqrt (sqrt (/ (sinh y) y))) (sqrt (sin x)))
  (* (sqrt (sqrt (/ (sinh y) y))) (sqrt (sin x)))
  (* (sqrt (/ (sqrt (sinh y)) (sqrt y))) (sqrt (sin x)))
  (* (sqrt (/ (sqrt (sinh y)) (sqrt y))) (sqrt (sin x)))
  (* (sqrt (sqrt (/ (sinh y) y))) (sqrt (sin x)))
  (* (sqrt (sqrt (/ (sinh y) y))) (sqrt (sin x)))
  (* (sin x) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y)))))
  (* (sin x) (fabs (cbrt (/ (sinh y) y))))
  (* (sin x) (sqrt (sqrt (/ (sinh y) y))))
  (* (sin x) (fabs (/ (cbrt (sinh y)) (cbrt y))))
  (* (sin x) (sqrt (* (/ (cbrt (sinh y)) (sqrt y)) (cbrt (sinh y)))))
  (* (sin x) (fabs (cbrt (sinh y))))
  (* (sin x) (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))))
  (* (sin x) (sqrt (/ (sqrt (sinh y)) (sqrt y))))
  (* (sin x) (sqrt (sqrt (sinh y))))
  (* (sin x) (sqrt (/ 1 (* (cbrt y) (cbrt y)))))
  (* (sin x) (sqrt (/ 1 (sqrt y))))
  (sin x)
  (sin x)
  (* (sin x) (sqrt (sinh y)))
  (* (sin x) (sqrt (sqrt (/ (sinh y) y))))
  (sin x)
  (* (sqrt (/ (sinh y) y)) (cbrt (sin x)))
  (* (sqrt (/ (sinh y) y)) (sqrt (sin x)))
  (* (sin x) (sqrt (/ (sinh y) y)))
  (* (sin x) (sqrt (sinh y)))
  (+ x (+ (* x (* (* y y) 1/6)) (* (pow x 3) -1/6)))
  (/ 1/2 (/ y (* (sin x) (- (exp y) (exp (neg y))))))
  (+ (* 1/4 (* (/ (* NAN NAN) y) (/ (* (sin x) (pow (exp (neg y)) 2)) y))) (+ (* 15/8 (* (/ (pow NAN 6) (pow y 4)) (sin x))) (- (+ (* 1/4 (/ (pow NAN 4) (/ (pow (/ y (exp (neg y))) 3) (sin x)))) (+ (* 3/4 (* (/ (pow NAN 4) (pow y 3)) (* (sin x) (exp y)))) (+ (* 5/16 (* (/ (pow NAN 6) (pow y 4)) (* (sin x) (pow (exp (neg y)) 4)))) (+ (* 1/4 (* (/ (* NAN NAN) y) (/ (* (sin x) (pow (exp y) 2)) y))) (* 5/16 (* (/ (pow NAN 6) (pow y 4)) (* (sin x) (pow (exp y) 4)))))))) (+ (+ (* 1/4 (/ (pow NAN 4) (/ (pow (/ y (exp y)) 3) (sin x)))) (+ (* 1/2 (* (/ (* NAN NAN) y) (/ (sin x) y))) (* 3/4 (* (/ (pow NAN 4) (pow y 3)) (/ (sin x) (exp y)))))) (* 5/4 (+ (* (/ (pow NAN 6) (pow y 4)) (* (sin x) (pow (exp y) 2))) (* (/ (pow NAN 6) (pow y 4)) (* (sin x) (pow (exp (neg y)) 2)))))))))
  (+ 1 (+ (* y (* y 1/12)) (* (pow y 4) 1/1440)))
  (+ (* 1/2 (* (/ NAN y) (exp y))) (+ (/ (* 1/2 (pow NAN 3)) (* y y)) (- (+ (* 1/4 (/ (pow NAN 5) (pow (/ y (exp y)) 3))) (* 3/4 (* (/ (pow NAN 5) (pow y 3)) (exp (neg y))))) (+ (/ (/ 1/2 (exp y)) (/ y NAN)) (+ (* 1/4 (/ (pow NAN 5) (pow (/ y (exp (neg y))) 3))) (+ (* 3/4 (* (/ (pow NAN 5) (pow y 3)) (* 1 (exp y)))) (* 1/4 (+ (* (/ (pow (exp (neg y)) 2) y) (/ (pow NAN 3) y)) (* (/ (pow (exp y) 2) y) (/ (pow NAN 3) y))))))))))
  (+ (* 1/2 (* (/ NAN y) (exp y))) (+ (/ (* 1/2 (pow NAN 3)) (* y y)) (- (+ (* 1/4 (/ (pow NAN 5) (pow (/ y (exp y)) 3))) (* 3/4 (* (/ (pow NAN 5) (pow y 3)) (exp (neg y))))) (+ (/ (/ 1/2 (exp y)) (/ y NAN)) (+ (* 1/4 (/ (pow NAN 5) (pow (/ y (exp (neg y))) 3))) (+ (* 3/4 (* (/ (pow NAN 5) (pow y 3)) (* 1 (exp y)))) (* 1/4 (+ (* (/ (pow (exp (neg y)) 2) y) (/ (pow NAN 3) y)) (* (/ (pow (exp y) 2) y) (/ (pow NAN 3) y))))))))))
  (+ 1 (+ (* y (* y 1/12)) (* (pow y 4) 1/1440)))
  (+ (* 1/2 (* (/ NAN y) (exp y))) (+ (/ (* 1/2 (pow NAN 3)) (* y y)) (- (+ (* 1/4 (/ (pow NAN 5) (pow (/ y (exp y)) 3))) (* 3/4 (* (/ (pow NAN 5) (pow y 3)) (exp (neg y))))) (+ (/ (/ 1/2 (exp y)) (/ y NAN)) (+ (* 1/4 (/ (pow NAN 5) (pow (/ y (exp (neg y))) 3))) (+ (* 3/4 (* (/ (pow NAN 5) (pow y 3)) (* 1 (exp y)))) (* 1/4 (+ (* (/ (pow (exp (neg y)) 2) y) (/ (pow NAN 3) y)) (* (/ (pow (exp y) 2) y) (/ (pow NAN 3) y))))))))))
  (+ (* 1/2 (* (/ NAN y) (exp y))) (+ (/ (* 1/2 (pow NAN 3)) (* y y)) (- (+ (* 1/4 (/ (pow NAN 5) (pow (/ y (exp y)) 3))) (* 3/4 (* (/ (pow NAN 5) (pow y 3)) (exp (neg y))))) (+ (/ (/ 1/2 (exp y)) (/ y NAN)) (+ (* 1/4 (/ (pow NAN 5) (pow (/ y (exp (neg y))) 3))) (+ (* 3/4 (* (/ (pow NAN 5) (pow y 3)) (* 1 (exp y)))) (* 1/4 (+ (* (/ (pow (exp (neg y)) 2) y) (/ (pow NAN 3) y)) (* (/ (pow (exp y) 2) y) (/ (pow NAN 3) y))))))))))
  (+ (* 1/6 (* (/ x (sqrt 2)) (* y (* y (sqrt 1/2))))) (* (* (sqrt 1/2) (sqrt 2)) (+ x (* (pow x 3) -1/6))))
  (+ (* 2 (/ (pow NAN 5) (/ (/ (pow (/ y (exp y)) 3) (sin x)) (sqrt 1/2)))) (+ (* (/ NAN y) (* (sin x) (* (exp y) (sqrt 1/2)))) (- (+ (* 6 (* (/ (pow (exp (neg y)) 2) (pow y 3)) (* (sin x) (* (* (exp y) (sqrt 1/2)) (pow NAN 5))))) (* 2 (* (/ (exp (neg y)) (* y y)) (* (sin x) (* (* (exp y) (sqrt 1/2)) (pow NAN 3)))))) (+ (* 2 (/ (* (sin x) (* (sqrt 1/2) (pow NAN 5))) (pow (/ y (exp (neg y))) 3))) (+ (* (/ (pow NAN 3) y) (/ (* (sin x) (* (pow (exp y) 2) (sqrt 1/2))) y)) (+ (* (/ (pow (exp (neg y)) 2) y) (/ (* (sin x) (* (sqrt 1/2) (pow NAN 3))) y)) (+ (/ (* (* (/ (sin x) (exp y)) NAN) (sqrt 1/2)) y) (* 6 (/ (* (* (/ (sin x) (exp y)) (pow NAN 5)) (* (pow (exp y) 2) (sqrt 1/2))) (pow y 3))))))))))
  (+ (* 1/4 (/ (pow NAN 5) (/ (pow (/ y (exp y)) 3) (sin x)))) (+ (* 1/2 (+ (* (/ (sin x) y) (/ (pow NAN 3) y)) (* (/ NAN y) (* (sin x) (exp y))))) (- (* 3/4 (* (/ (pow NAN 5) (pow y 3)) (/ (sin x) (exp y)))) (+ (+ (* 1/2 (* (/ NAN y) (/ (sin x) (exp y)))) (+ (* 3/4 (* (/ (pow NAN 5) (pow y 3)) (* (sin x) (exp y)))) (* 1/4 (* (/ (* (sin x) (pow (exp y) 2)) y) (/ (pow NAN 3) y))))) (* 1/4 (+ (* (/ (* (sin x) (pow (exp (neg y)) 2)) y) (/ (pow NAN 3) y)) (/ (pow NAN 5) (/ (pow (/ y (exp (neg y))) 3) (sin x)))))))))
0.956 * * * [progress]: adding candidates to table
1.110 * * [progress]: iteration 3 / 4
1.110 * * * [progress]: picking best candidate
1.113 * * * * [pick]: Picked  #<alt (λ (x y) (/ (* (sin x) (sinh y)) y))>
1.113 * * * [progress]: localizing error
1.120 * * * [progress]: generating rewritten candidates
1.121 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.126 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1.132 * * * [progress]: generating series expansions
1.132 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.133 * [approximate]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in (x y) around 0
1.133 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in y
1.133 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y
1.133 * [taylor]: Taking taylor expansion of (sin x) in y
1.133 * [taylor]: Taking taylor expansion of x in y
1.133 * [taylor]: Taking taylor expansion of (sinh y) in y
1.133 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
1.133 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
1.133 * [taylor]: Taking taylor expansion of (exp y) in y
1.133 * [taylor]: Taking taylor expansion of y in y
1.133 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
1.133 * [taylor]: Taking taylor expansion of (neg y) in y
1.133 * [taylor]: Taking taylor expansion of y in y
1.133 * [taylor]: Taking taylor expansion of 2 in y
1.133 * [taylor]: Taking taylor expansion of y in y
1.133 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x
1.133 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
1.133 * [taylor]: Taking taylor expansion of (sin x) in x
1.134 * [taylor]: Taking taylor expansion of x in x
1.134 * [taylor]: Taking taylor expansion of (sinh y) in x
1.134 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
1.134 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x
1.134 * [taylor]: Taking taylor expansion of (exp y) in x
1.134 * [taylor]: Taking taylor expansion of y in x
1.134 * [taylor]: Taking taylor expansion of (exp (neg y)) in x
1.134 * [taylor]: Taking taylor expansion of (neg y) in x
1.134 * [taylor]: Taking taylor expansion of y in x
1.134 * [taylor]: Taking taylor expansion of 2 in x
1.134 * [taylor]: Taking taylor expansion of y in x
1.134 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x
1.134 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
1.134 * [taylor]: Taking taylor expansion of (sin x) in x
1.135 * [taylor]: Taking taylor expansion of x in x
1.135 * [taylor]: Taking taylor expansion of (sinh y) in x
1.135 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
1.135 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x
1.135 * [taylor]: Taking taylor expansion of (exp y) in x
1.135 * [taylor]: Taking taylor expansion of y in x
1.135 * [taylor]: Taking taylor expansion of (exp (neg y)) in x
1.135 * [taylor]: Taking taylor expansion of (neg y) in x
1.135 * [taylor]: Taking taylor expansion of y in x
1.135 * [taylor]: Taking taylor expansion of 2 in x
1.135 * [taylor]: Taking taylor expansion of y in x
1.135 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) y) in y
1.136 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) in y
1.136 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y
1.136 * [taylor]: Taking taylor expansion of 1/2 in y
1.136 * [taylor]: Taking taylor expansion of (exp y) in y
1.136 * [taylor]: Taking taylor expansion of y in y
1.136 * [taylor]: Taking taylor expansion of (* 1/2 (exp (neg y))) in y
1.136 * [taylor]: Taking taylor expansion of 1/2 in y
1.136 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
1.136 * [taylor]: Taking taylor expansion of (neg y) in y
1.136 * [taylor]: Taking taylor expansion of y in y
1.136 * [taylor]: Taking taylor expansion of y in y
1.137 * [taylor]: Taking taylor expansion of 0 in y
1.138 * [taylor]: Taking taylor expansion of (- (* 1/12 (/ (exp (neg y)) y)) (* 1/12 (/ (exp y) y))) in y
1.138 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp (neg y)) y)) in y
1.138 * [taylor]: Taking taylor expansion of 1/12 in y
1.138 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y
1.138 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
1.138 * [taylor]: Taking taylor expansion of (neg y) in y
1.138 * [taylor]: Taking taylor expansion of y in y
1.138 * [taylor]: Taking taylor expansion of y in y
1.138 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp y) y)) in y
1.138 * [taylor]: Taking taylor expansion of 1/12 in y
1.138 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
1.138 * [taylor]: Taking taylor expansion of (exp y) in y
1.138 * [taylor]: Taking taylor expansion of y in y
1.138 * [taylor]: Taking taylor expansion of y in y
1.140 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in (x y) around 0
1.140 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in y
1.140 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
1.140 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
1.140 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
1.140 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
1.140 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.140 * [taylor]: Taking taylor expansion of y in y
1.140 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
1.140 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
1.140 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.140 * [taylor]: Taking taylor expansion of y in y
1.140 * [taylor]: Taking taylor expansion of 2 in y
1.140 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in y
1.140 * [taylor]: Taking taylor expansion of y in y
1.140 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
1.140 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.140 * [taylor]: Taking taylor expansion of x in y
1.140 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x
1.140 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
1.141 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
1.141 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x
1.141 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
1.141 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.141 * [taylor]: Taking taylor expansion of y in x
1.141 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x
1.141 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x
1.141 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.141 * [taylor]: Taking taylor expansion of y in x
1.141 * [taylor]: Taking taylor expansion of 2 in x
1.141 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x
1.141 * [taylor]: Taking taylor expansion of y in x
1.141 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.141 * [taylor]: Taking taylor expansion of x in x
1.141 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x
1.141 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
1.141 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
1.141 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x
1.141 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
1.141 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.141 * [taylor]: Taking taylor expansion of y in x
1.141 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x
1.141 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x
1.141 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.141 * [taylor]: Taking taylor expansion of y in x
1.142 * [taylor]: Taking taylor expansion of 2 in x
1.142 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x
1.142 * [taylor]: Taking taylor expansion of y in x
1.142 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.142 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.142 * [taylor]: Taking taylor expansion of x in x
1.142 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* y (sin (/ 1 x))))) in y
1.142 * [taylor]: Taking taylor expansion of 1/2 in y
1.142 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* y (sin (/ 1 x)))) in y
1.142 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
1.142 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
1.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.142 * [taylor]: Taking taylor expansion of y in y
1.142 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
1.142 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
1.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.142 * [taylor]: Taking taylor expansion of y in y
1.142 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in y
1.142 * [taylor]: Taking taylor expansion of y in y
1.142 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
1.142 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.142 * [taylor]: Taking taylor expansion of x in y
1.143 * [taylor]: Taking taylor expansion of 0 in y
1.145 * [taylor]: Taking taylor expansion of 0 in y
1.146 * [taylor]: Taking taylor expansion of 0 in y
1.147 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in (x y) around 0
1.147 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in y
1.147 * [taylor]: Taking taylor expansion of -1 in y
1.147 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in y
1.147 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
1.147 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
1.147 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
1.147 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
1.147 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.147 * [taylor]: Taking taylor expansion of -1 in y
1.147 * [taylor]: Taking taylor expansion of y in y
1.147 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
1.147 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
1.147 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.147 * [taylor]: Taking taylor expansion of -1 in y
1.147 * [taylor]: Taking taylor expansion of y in y
1.147 * [taylor]: Taking taylor expansion of 2 in y
1.147 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in y
1.148 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
1.148 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.148 * [taylor]: Taking taylor expansion of -1 in y
1.148 * [taylor]: Taking taylor expansion of x in y
1.148 * [taylor]: Taking taylor expansion of y in y
1.148 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in x
1.148 * [taylor]: Taking taylor expansion of -1 in x
1.148 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in x
1.148 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
1.148 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
1.148 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x
1.148 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
1.148 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.148 * [taylor]: Taking taylor expansion of -1 in x
1.148 * [taylor]: Taking taylor expansion of y in x
1.148 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x
1.148 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x
1.148 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.148 * [taylor]: Taking taylor expansion of -1 in x
1.148 * [taylor]: Taking taylor expansion of y in x
1.148 * [taylor]: Taking taylor expansion of 2 in x
1.148 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in x
1.148 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.148 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.148 * [taylor]: Taking taylor expansion of -1 in x
1.148 * [taylor]: Taking taylor expansion of x in x
1.148 * [taylor]: Taking taylor expansion of y in x
1.148 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in x
1.148 * [taylor]: Taking taylor expansion of -1 in x
1.148 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in x
1.149 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
1.149 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
1.149 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x
1.149 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
1.149 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.149 * [taylor]: Taking taylor expansion of -1 in x
1.149 * [taylor]: Taking taylor expansion of y in x
1.149 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x
1.149 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x
1.149 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.149 * [taylor]: Taking taylor expansion of -1 in x
1.149 * [taylor]: Taking taylor expansion of y in x
1.149 * [taylor]: Taking taylor expansion of 2 in x
1.149 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in x
1.149 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.149 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.149 * [taylor]: Taking taylor expansion of -1 in x
1.149 * [taylor]: Taking taylor expansion of x in x
1.149 * [taylor]: Taking taylor expansion of y in x
1.149 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) in y
1.150 * [taylor]: Taking taylor expansion of -1/2 in y
1.150 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)) in y
1.150 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
1.150 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.150 * [taylor]: Taking taylor expansion of -1 in y
1.150 * [taylor]: Taking taylor expansion of x in y
1.150 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) y) in y
1.150 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
1.150 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
1.150 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.150 * [taylor]: Taking taylor expansion of -1 in y
1.150 * [taylor]: Taking taylor expansion of y in y
1.150 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
1.150 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.150 * [taylor]: Taking taylor expansion of y in y
1.150 * [taylor]: Taking taylor expansion of y in y
1.151 * [taylor]: Taking taylor expansion of 0 in y
1.153 * [taylor]: Taking taylor expansion of 0 in y
1.155 * [taylor]: Taking taylor expansion of 0 in y
1.155 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1.156 * [approximate]: Taking taylor expansion of (* (sin x) (sinh y)) in (x y) around 0
1.156 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y
1.156 * [taylor]: Taking taylor expansion of (sin x) in y
1.156 * [taylor]: Taking taylor expansion of x in y
1.156 * [taylor]: Taking taylor expansion of (sinh y) in y
1.156 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
1.156 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
1.156 * [taylor]: Taking taylor expansion of (exp y) in y
1.156 * [taylor]: Taking taylor expansion of y in y
1.156 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
1.156 * [taylor]: Taking taylor expansion of (neg y) in y
1.156 * [taylor]: Taking taylor expansion of y in y
1.156 * [taylor]: Taking taylor expansion of 2 in y
1.156 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
1.156 * [taylor]: Taking taylor expansion of (sin x) in x
1.156 * [taylor]: Taking taylor expansion of x in x
1.156 * [taylor]: Taking taylor expansion of (sinh y) in x
1.156 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
1.156 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x
1.156 * [taylor]: Taking taylor expansion of (exp y) in x
1.156 * [taylor]: Taking taylor expansion of y in x
1.156 * [taylor]: Taking taylor expansion of (exp (neg y)) in x
1.156 * [taylor]: Taking taylor expansion of (neg y) in x
1.156 * [taylor]: Taking taylor expansion of y in x
1.157 * [taylor]: Taking taylor expansion of 2 in x
1.157 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
1.157 * [taylor]: Taking taylor expansion of (sin x) in x
1.157 * [taylor]: Taking taylor expansion of x in x
1.157 * [taylor]: Taking taylor expansion of (sinh y) in x
1.157 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
1.157 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x
1.157 * [taylor]: Taking taylor expansion of (exp y) in x
1.157 * [taylor]: Taking taylor expansion of y in x
1.157 * [taylor]: Taking taylor expansion of (exp (neg y)) in x
1.157 * [taylor]: Taking taylor expansion of (neg y) in x
1.157 * [taylor]: Taking taylor expansion of y in x
1.157 * [taylor]: Taking taylor expansion of 2 in x
1.157 * [taylor]: Taking taylor expansion of 0 in y
1.158 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) in y
1.158 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y
1.158 * [taylor]: Taking taylor expansion of 1/2 in y
1.158 * [taylor]: Taking taylor expansion of (exp y) in y
1.158 * [taylor]: Taking taylor expansion of y in y
1.158 * [taylor]: Taking taylor expansion of (* 1/2 (exp (neg y))) in y
1.158 * [taylor]: Taking taylor expansion of 1/2 in y
1.158 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
1.158 * [taylor]: Taking taylor expansion of (neg y) in y
1.158 * [taylor]: Taking taylor expansion of y in y
1.159 * [taylor]: Taking taylor expansion of 0 in y
1.160 * [taylor]: Taking taylor expansion of (- (* 1/12 (exp (neg y))) (* 1/12 (exp y))) in y
1.160 * [taylor]: Taking taylor expansion of (* 1/12 (exp (neg y))) in y
1.160 * [taylor]: Taking taylor expansion of 1/12 in y
1.160 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
1.160 * [taylor]: Taking taylor expansion of (neg y) in y
1.160 * [taylor]: Taking taylor expansion of y in y
1.160 * [taylor]: Taking taylor expansion of (* 1/12 (exp y)) in y
1.160 * [taylor]: Taking taylor expansion of 1/12 in y
1.160 * [taylor]: Taking taylor expansion of (exp y) in y
1.160 * [taylor]: Taking taylor expansion of y in y
1.161 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in (x y) around 0
1.161 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in y
1.161 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
1.161 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
1.161 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
1.161 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
1.161 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.161 * [taylor]: Taking taylor expansion of y in y
1.161 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
1.161 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
1.161 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.161 * [taylor]: Taking taylor expansion of y in y
1.162 * [taylor]: Taking taylor expansion of 2 in y
1.162 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
1.162 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.162 * [taylor]: Taking taylor expansion of x in y
1.162 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in x
1.162 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
1.162 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
1.162 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x
1.162 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
1.162 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.162 * [taylor]: Taking taylor expansion of y in x
1.162 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x
1.162 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x
1.162 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.162 * [taylor]: Taking taylor expansion of y in x
1.162 * [taylor]: Taking taylor expansion of 2 in x
1.162 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.162 * [taylor]: Taking taylor expansion of x in x
1.162 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in x
1.162 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
1.163 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
1.163 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x
1.163 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
1.163 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.163 * [taylor]: Taking taylor expansion of y in x
1.163 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x
1.163 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x
1.163 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.163 * [taylor]: Taking taylor expansion of y in x
1.163 * [taylor]: Taking taylor expansion of 2 in x
1.163 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.163 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.163 * [taylor]: Taking taylor expansion of x in x
1.163 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (sin (/ 1 x)))) in y
1.163 * [taylor]: Taking taylor expansion of 1/2 in y
1.163 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (sin (/ 1 x))) in y
1.163 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
1.163 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
1.163 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.163 * [taylor]: Taking taylor expansion of y in y
1.163 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
1.163 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
1.163 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.164 * [taylor]: Taking taylor expansion of y in y
1.164 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
1.164 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.164 * [taylor]: Taking taylor expansion of x in y
1.165 * [taylor]: Taking taylor expansion of 0 in y
1.166 * [taylor]: Taking taylor expansion of 0 in y
1.167 * [taylor]: Taking taylor expansion of 0 in y
1.168 * [approximate]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in (x y) around 0
1.168 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in y
1.168 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
1.168 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
1.168 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
1.168 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
1.168 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.168 * [taylor]: Taking taylor expansion of -1 in y
1.168 * [taylor]: Taking taylor expansion of y in y
1.168 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
1.168 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
1.168 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.168 * [taylor]: Taking taylor expansion of -1 in y
1.168 * [taylor]: Taking taylor expansion of y in y
1.168 * [taylor]: Taking taylor expansion of 2 in y
1.168 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
1.168 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.168 * [taylor]: Taking taylor expansion of -1 in y
1.168 * [taylor]: Taking taylor expansion of x in y
1.168 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in x
1.169 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
1.169 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
1.169 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x
1.169 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
1.169 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.169 * [taylor]: Taking taylor expansion of -1 in x
1.169 * [taylor]: Taking taylor expansion of y in x
1.169 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x
1.169 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x
1.169 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.169 * [taylor]: Taking taylor expansion of -1 in x
1.169 * [taylor]: Taking taylor expansion of y in x
1.169 * [taylor]: Taking taylor expansion of 2 in x
1.169 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.169 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.169 * [taylor]: Taking taylor expansion of -1 in x
1.169 * [taylor]: Taking taylor expansion of x in x
1.169 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in x
1.169 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
1.169 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
1.169 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x
1.169 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
1.169 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.169 * [taylor]: Taking taylor expansion of -1 in x
1.169 * [taylor]: Taking taylor expansion of y in x
1.169 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x
1.170 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x
1.170 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.170 * [taylor]: Taking taylor expansion of -1 in x
1.170 * [taylor]: Taking taylor expansion of y in x
1.170 * [taylor]: Taking taylor expansion of 2 in x
1.170 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.170 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.170 * [taylor]: Taking taylor expansion of -1 in x
1.170 * [taylor]: Taking taylor expansion of x in x
1.170 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 x)) (- (exp (/ -1 y)) (exp (/ 1 y))))) in y
1.170 * [taylor]: Taking taylor expansion of 1/2 in y
1.170 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (- (exp (/ -1 y)) (exp (/ 1 y)))) in y
1.170 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
1.170 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.170 * [taylor]: Taking taylor expansion of -1 in y
1.170 * [taylor]: Taking taylor expansion of x in y
1.170 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
1.170 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
1.170 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.171 * [taylor]: Taking taylor expansion of -1 in y
1.171 * [taylor]: Taking taylor expansion of y in y
1.171 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
1.171 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.171 * [taylor]: Taking taylor expansion of y in y
1.172 * [taylor]: Taking taylor expansion of 0 in y
1.173 * [taylor]: Taking taylor expansion of 0 in y
1.174 * [taylor]: Taking taylor expansion of 0 in y
1.174 * * * [progress]: simplifying candidates
1.175 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log (sin x)) (log (sinh y))) (log y))
  (- (log (* (sin x) (sinh y))) (log y))
  (log (/ (* (sin x) (sinh y)) y))
  (exp (/ (* (sin x) (sinh y)) y))
  (/ (* (* (* (sin x) (sin x)) (sin x)) (* (* (sinh y) (sinh y)) (sinh y))) (* (* y y) y))
  (/ (* (* (* (sin x) (sinh y)) (* (sin x) (sinh y))) (* (sin x) (sinh y))) (* (* y y) y))
  (* (cbrt (/ (* (sin x) (sinh y)) y)) (cbrt (/ (* (sin x) (sinh y)) y)))
  (cbrt (/ (* (sin x) (sinh y)) y))
  (* (* (/ (* (sin x) (sinh y)) y) (/ (* (sin x) (sinh y)) y)) (/ (* (sin x) (sinh y)) y))
  (sqrt (/ (* (sin x) (sinh y)) y))
  (sqrt (/ (* (sin x) (sinh y)) y))
  (neg (* (sin x) (sinh y)))
  (neg y)
  (/ (sin x) (* (cbrt y) (cbrt y)))
  (/ (sinh y) (cbrt y))
  (/ (sin x) (sqrt y))
  (/ (sinh y) (sqrt y))
  (/ (sin x) 1)
  (/ (sinh y) y)
  (/ 1 y)
  (/ y (* (sin x) (sinh y)))
  (/ (* (sin x) (sinh y)) (* (cbrt y) (cbrt y)))
  (/ (* (sin x) (sinh y)) (sqrt y))
  (/ (* (sin x) (sinh y)) 1)
  (/ y (sinh y))
  (* y 2)
  (* (sin x) (sinh y))
  (+ (log (sin x)) (log (sinh y)))
  (log (* (sin x) (sinh y)))
  (exp (* (sin x) (sinh y)))
  (* (* (* (sin x) (sin x)) (sin x)) (* (* (sinh y) (sinh y)) (sinh y)))
  (* (cbrt (* (sin x) (sinh y))) (cbrt (* (sin x) (sinh y))))
  (cbrt (* (sin x) (sinh y)))
  (* (* (* (sin x) (sinh y)) (* (sin x) (sinh y))) (* (sin x) (sinh y)))
  (sqrt (* (sin x) (sinh y)))
  (sqrt (* (sin x) (sinh y)))
  (* (sqrt (sin x)) (sqrt (sinh y)))
  (* (sqrt (sin x)) (sqrt (sinh y)))
  (* (sin x) (* (cbrt (sinh y)) (cbrt (sinh y))))
  (* (sin x) (sqrt (sinh y)))
  (* (sin x) 1)
  (* (cbrt (sin x)) (sinh y))
  (* (sqrt (sin x)) (sinh y))
  (* (sin x) (sinh y))
  (* (sin x) (- (exp y) (exp (neg y))))
  (- (+ (* 1/6 (* x (pow y 2))) x) (* 1/6 (pow x 3)))
  (/ (- (* 1/2 (* (sin x) (exp y))) (* 1/2 (* (exp (neg y)) (sin x)))) y)
  (* -1 (/ (- (* 1/2 (* (sin x) (exp (* -1 y)))) (* 1/2 (* (sin x) (exp y)))) y))
  (- (+ (* x y) (* 1/6 (* x (pow y 3)))) (* 1/6 (* (pow x 3) y)))
  (* 1/2 (* (- (exp y) (exp (neg y))) (sin x)))
  (* 1/2 (* (- (exp y) (exp (* -1 y))) (sin x)))
1.225 * * [simplify]: iteration  0 :  4944  enodes  (cost  358 )
1.225 * * [simplify]: iteration  1 :  4944  enodes  (cost  358 )
1.228 * [simplify]: Simplified to:
   (log (* (/ (sinh y) y) (sin x)))
  (log (* (/ (sinh y) y) (sin x)))
  (log (* (/ (sinh y) y) (sin x)))
  (pow (exp (/ (sin x) y)) (sinh y))
  (pow (* (/ (sinh y) y) (sin x)) 3)
  (pow (* (/ (sinh y) y) (sin x)) 3)
  (* (cbrt (* (/ (sinh y) y) (sin x))) (cbrt (* (/ (sinh y) y) (sin x))))
  (cbrt (* (/ (sinh y) y) (sin x)))
  (pow (* (/ (sinh y) y) (sin x)) 3)
  (sqrt (* (/ (sinh y) y) (sin x)))
  (sqrt (* (/ (sinh y) y) (sin x)))
  (* (sin x) (neg (sinh y)))
  (neg y)
  (/ (sin x) (* (cbrt y) (cbrt y)))
  (/ (sinh y) (cbrt y))
  (/ (sin x) (sqrt y))
  (/ (sinh y) (sqrt y))
  (sin x)
  (/ (sinh y) y)
  (/ 1 y)
  (/ y (* (sin x) (sinh y)))
  (* (/ (sin x) (* (cbrt y) (cbrt y))) (sinh y))
  (* (/ (sin x) (sqrt y)) (sinh y))
  (* (sin x) (sinh y))
  (/ y (sinh y))
  (* y 2)
  (* (sin x) (sinh y))
  (log (* (sin x) (sinh y)))
  (log (* (sin x) (sinh y)))
  (pow (exp (sin x)) (sinh y))
  (pow (* (sin x) (sinh y)) 3)
  (* (cbrt (* (sin x) (sinh y))) (cbrt (* (sin x) (sinh y))))
  (cbrt (* (sin x) (sinh y)))
  (pow (* (sin x) (sinh y)) 3)
  (sqrt (* (sin x) (sinh y)))
  (sqrt (* (sin x) (sinh y)))
  (* (sqrt (sin x)) (sqrt (sinh y)))
  (* (sqrt (sin x)) (sqrt (sinh y)))
  (* (sin x) (* (cbrt (sinh y)) (cbrt (sinh y))))
  (* (sin x) (sqrt (sinh y)))
  (sin x)
  (* (sinh y) (cbrt (sin x)))
  (* (sinh y) (sqrt (sin x)))
  (* (sin x) (sinh y))
  (* (sin x) (- (exp y) (exp (neg y))))
  (+ x (* 1/6 (- (* x (* y y)) (pow x 3))))
  (* (/ (sinh y) y) (sin x))
  (* (/ (sinh y) y) (sin x))
  (+ (* x y) (* y (* 1/6 (- (* x (* y y)) (pow x 3)))))
  (* (sin x) (sinh y))
  (* (sin x) (sinh y))
1.228 * * * [progress]: adding candidates to table
1.268 * [progress]: [Phase 3 of 3] Extracting.
1.268 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (sin x) (/ (sinh y) y)))> #<alt (λ (x y) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))> #<alt (λ (x y) (/ (* (sin x) (sinh y)) y))>)
1.268 * * * [regime-changes]: Trying 5 branch expressions: ((/ (sinh y) y) (sin x) (* (sin x) (/ (sinh y) y)) y x)
1.268 * * * * [regimes]: Trying to branch on (/ (sinh y) y) from (#<alt (λ (x y) (* (sin x) (/ (sinh y) y)))> #<alt (λ (x y) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))> #<alt (λ (x y) (/ (* (sin x) (sinh y)) y))>)
1.305 * * * * [regimes]: Trying to branch on (sin x) from (#<alt (λ (x y) (* (sin x) (/ (sinh y) y)))> #<alt (λ (x y) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))> #<alt (λ (x y) (/ (* (sin x) (sinh y)) y))>)
1.349 * * * * [regimes]: Trying to branch on (* (sin x) (/ (sinh y) y)) from (#<alt (λ (x y) (* (sin x) (/ (sinh y) y)))> #<alt (λ (x y) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))> #<alt (λ (x y) (/ (* (sin x) (sinh y)) y))>)
1.400 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (sin x) (/ (sinh y) y)))> #<alt (λ (x y) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))> #<alt (λ (x y) (/ (* (sin x) (sinh y)) y))>)
1.441 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (sin x) (/ (sinh y) y)))> #<alt (λ (x y) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))> #<alt (λ (x y) (/ (* (sin x) (sinh y)) y))>)
1.480 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.481 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sin x) (/ (sinh y) y))
1.482 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
1.482 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
1.482 * [simplify]: Simplified to:
   (* (sin x) (/ (sinh y) y))
4.435 * [regime-testing]: End program error score: 0.03580879953843389