15.673 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.422 * * * [progress]: [2/2] Setting up program.
0.425 * [progress]: [Phase 2 of 3] Improving.
0.425 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sin x) (/ (sinh y) y))
0.463 * * [simplify]: iteration  0 :  4909  enodes  (cost  7 )
0.463 * * [simplify]: iteration  1 :  4909  enodes  (cost  7 )
0.463 * [simplify]: Simplified to:
   (* (sin x) (/ (sinh y) y))
0.467 * * [progress]: iteration 1 / 4
0.467 * * * [progress]: picking best candidate
0.469 * * * * [pick]: Picked  #<alt (λ (x y) (* (sin x) (/ (sinh y) y)))>
0.469 * * * [progress]: localizing error
0.476 * * * [progress]: generating rewritten candidates
0.477 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.484 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.487 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
0.490 * * * [progress]: generating series expansions
0.490 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.490 * [approximate]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in (x y) around 0
0.490 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in y
0.490 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y
0.490 * [taylor]: Taking taylor expansion of (sin x) in y
0.490 * [taylor]: Taking taylor expansion of x in y
0.490 * [taylor]: Taking taylor expansion of (sinh y) in y
0.491 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.491 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.491 * [taylor]: Taking taylor expansion of (exp y) in y
0.491 * [taylor]: Taking taylor expansion of y in y
0.491 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.491 * [taylor]: Taking taylor expansion of (neg y) in y
0.491 * [taylor]: Taking taylor expansion of y in y
0.491 * [taylor]: Taking taylor expansion of 2 in y
0.491 * [taylor]: Taking taylor expansion of y in y
0.491 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x
0.491 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
0.491 * [taylor]: Taking taylor expansion of (sin x) in x
0.491 * [taylor]: Taking taylor expansion of x in x
0.491 * [taylor]: Taking taylor expansion of (sinh y) in x
0.491 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.491 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x
0.491 * [taylor]: Taking taylor expansion of (exp y) in x
0.491 * [taylor]: Taking taylor expansion of y in x
0.491 * [taylor]: Taking taylor expansion of (exp (neg y)) in x
0.491 * [taylor]: Taking taylor expansion of (neg y) in x
0.492 * [taylor]: Taking taylor expansion of y in x
0.492 * [taylor]: Taking taylor expansion of 2 in x
0.492 * [taylor]: Taking taylor expansion of y in x
0.492 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x
0.492 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
0.492 * [taylor]: Taking taylor expansion of (sin x) in x
0.492 * [taylor]: Taking taylor expansion of x in x
0.492 * [taylor]: Taking taylor expansion of (sinh y) in x
0.492 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.492 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x
0.492 * [taylor]: Taking taylor expansion of (exp y) in x
0.492 * [taylor]: Taking taylor expansion of y in x
0.492 * [taylor]: Taking taylor expansion of (exp (neg y)) in x
0.492 * [taylor]: Taking taylor expansion of (neg y) in x
0.493 * [taylor]: Taking taylor expansion of y in x
0.493 * [taylor]: Taking taylor expansion of 2 in x
0.493 * [taylor]: Taking taylor expansion of y in x
0.493 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) y) in y
0.493 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) in y
0.493 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y
0.493 * [taylor]: Taking taylor expansion of 1/2 in y
0.493 * [taylor]: Taking taylor expansion of (exp y) in y
0.493 * [taylor]: Taking taylor expansion of y in y
0.493 * [taylor]: Taking taylor expansion of (* 1/2 (exp (neg y))) in y
0.493 * [taylor]: Taking taylor expansion of 1/2 in y
0.493 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.493 * [taylor]: Taking taylor expansion of (neg y) in y
0.493 * [taylor]: Taking taylor expansion of y in y
0.493 * [taylor]: Taking taylor expansion of y in y
0.494 * [taylor]: Taking taylor expansion of 0 in y
0.496 * [taylor]: Taking taylor expansion of (- (* 1/12 (/ (exp (neg y)) y)) (* 1/12 (/ (exp y) y))) in y
0.496 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp (neg y)) y)) in y
0.496 * [taylor]: Taking taylor expansion of 1/12 in y
0.496 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y
0.496 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.496 * [taylor]: Taking taylor expansion of (neg y) in y
0.496 * [taylor]: Taking taylor expansion of y in y
0.496 * [taylor]: Taking taylor expansion of y in y
0.496 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp y) y)) in y
0.496 * [taylor]: Taking taylor expansion of 1/12 in y
0.496 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
0.496 * [taylor]: Taking taylor expansion of (exp y) in y
0.496 * [taylor]: Taking taylor expansion of y in y
0.496 * [taylor]: Taking taylor expansion of y in y
0.497 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in (x y) around 0
0.497 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in y
0.497 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.497 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.497 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.497 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.497 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.497 * [taylor]: Taking taylor expansion of y in y
0.497 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.497 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.497 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.497 * [taylor]: Taking taylor expansion of y in y
0.497 * [taylor]: Taking taylor expansion of 2 in y
0.498 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in y
0.498 * [taylor]: Taking taylor expansion of y in y
0.498 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
0.498 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.498 * [taylor]: Taking taylor expansion of x in y
0.498 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x
0.498 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
0.498 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.498 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x
0.498 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.498 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.498 * [taylor]: Taking taylor expansion of y in x
0.498 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x
0.498 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x
0.498 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.498 * [taylor]: Taking taylor expansion of y in x
0.498 * [taylor]: Taking taylor expansion of 2 in x
0.498 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x
0.498 * [taylor]: Taking taylor expansion of y in x
0.498 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.498 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.498 * [taylor]: Taking taylor expansion of x in x
0.498 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x
0.498 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
0.498 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.498 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x
0.498 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.498 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.498 * [taylor]: Taking taylor expansion of y in x
0.499 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x
0.499 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x
0.499 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.499 * [taylor]: Taking taylor expansion of y in x
0.499 * [taylor]: Taking taylor expansion of 2 in x
0.499 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x
0.499 * [taylor]: Taking taylor expansion of y in x
0.499 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.499 * [taylor]: Taking taylor expansion of x in x
0.499 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* y (sin (/ 1 x))))) in y
0.499 * [taylor]: Taking taylor expansion of 1/2 in y
0.499 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* y (sin (/ 1 x)))) in y
0.499 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.499 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.499 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.499 * [taylor]: Taking taylor expansion of y in y
0.499 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.499 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.499 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.499 * [taylor]: Taking taylor expansion of y in y
0.499 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in y
0.499 * [taylor]: Taking taylor expansion of y in y
0.499 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
0.499 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.499 * [taylor]: Taking taylor expansion of x in y
0.500 * [taylor]: Taking taylor expansion of 0 in y
0.502 * [taylor]: Taking taylor expansion of 0 in y
0.503 * [taylor]: Taking taylor expansion of 0 in y
0.504 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in (x y) around 0
0.504 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in y
0.504 * [taylor]: Taking taylor expansion of -1 in y
0.504 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in y
0.504 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.504 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.504 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.504 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.504 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.504 * [taylor]: Taking taylor expansion of -1 in y
0.504 * [taylor]: Taking taylor expansion of y in y
0.504 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.504 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.504 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.504 * [taylor]: Taking taylor expansion of -1 in y
0.504 * [taylor]: Taking taylor expansion of y in y
0.504 * [taylor]: Taking taylor expansion of 2 in y
0.504 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in y
0.504 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
0.504 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.504 * [taylor]: Taking taylor expansion of -1 in y
0.504 * [taylor]: Taking taylor expansion of x in y
0.504 * [taylor]: Taking taylor expansion of y in y
0.504 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in x
0.504 * [taylor]: Taking taylor expansion of -1 in x
0.504 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in x
0.504 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
0.504 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.504 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x
0.504 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
0.504 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.504 * [taylor]: Taking taylor expansion of -1 in x
0.504 * [taylor]: Taking taylor expansion of y in x
0.504 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x
0.505 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x
0.505 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.505 * [taylor]: Taking taylor expansion of -1 in x
0.505 * [taylor]: Taking taylor expansion of y in x
0.505 * [taylor]: Taking taylor expansion of 2 in x
0.505 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in x
0.505 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.505 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.505 * [taylor]: Taking taylor expansion of -1 in x
0.505 * [taylor]: Taking taylor expansion of x in x
0.505 * [taylor]: Taking taylor expansion of y in x
0.505 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in x
0.505 * [taylor]: Taking taylor expansion of -1 in x
0.505 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in x
0.505 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
0.505 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.505 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x
0.505 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
0.505 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.505 * [taylor]: Taking taylor expansion of -1 in x
0.505 * [taylor]: Taking taylor expansion of y in x
0.505 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x
0.505 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x
0.505 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.505 * [taylor]: Taking taylor expansion of -1 in x
0.505 * [taylor]: Taking taylor expansion of y in x
0.505 * [taylor]: Taking taylor expansion of 2 in x
0.505 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in x
0.505 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.506 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.506 * [taylor]: Taking taylor expansion of -1 in x
0.506 * [taylor]: Taking taylor expansion of x in x
0.506 * [taylor]: Taking taylor expansion of y in x
0.506 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) in y
0.506 * [taylor]: Taking taylor expansion of -1/2 in y
0.506 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)) in y
0.506 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
0.506 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.506 * [taylor]: Taking taylor expansion of -1 in y
0.506 * [taylor]: Taking taylor expansion of x in y
0.506 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) y) in y
0.506 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
0.506 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.506 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.506 * [taylor]: Taking taylor expansion of -1 in y
0.506 * [taylor]: Taking taylor expansion of y in y
0.506 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.506 * [taylor]: Taking taylor expansion of y in y
0.506 * [taylor]: Taking taylor expansion of y in y
0.507 * [taylor]: Taking taylor expansion of 0 in y
0.509 * [taylor]: Taking taylor expansion of 0 in y
0.510 * [taylor]: Taking taylor expansion of 0 in y
0.510 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.511 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0
0.511 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
0.511 * [taylor]: Taking taylor expansion of (sinh y) in y
0.511 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.511 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.511 * [taylor]: Taking taylor expansion of (exp y) in y
0.511 * [taylor]: Taking taylor expansion of y in y
0.511 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.511 * [taylor]: Taking taylor expansion of (neg y) in y
0.511 * [taylor]: Taking taylor expansion of y in y
0.511 * [taylor]: Taking taylor expansion of 2 in y
0.511 * [taylor]: Taking taylor expansion of y in y
0.511 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
0.511 * [taylor]: Taking taylor expansion of (sinh y) in y
0.511 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.511 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.511 * [taylor]: Taking taylor expansion of (exp y) in y
0.511 * [taylor]: Taking taylor expansion of y in y
0.511 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.511 * [taylor]: Taking taylor expansion of (neg y) in y
0.511 * [taylor]: Taking taylor expansion of y in y
0.511 * [taylor]: Taking taylor expansion of 2 in y
0.511 * [taylor]: Taking taylor expansion of y in y
0.514 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0
0.514 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
0.514 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.514 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.514 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.515 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.515 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.515 * [taylor]: Taking taylor expansion of y in y
0.515 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.515 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.515 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.515 * [taylor]: Taking taylor expansion of y in y
0.515 * [taylor]: Taking taylor expansion of 2 in y
0.515 * [taylor]: Taking taylor expansion of y in y
0.515 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
0.515 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.515 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.515 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.518 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.518 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.518 * [taylor]: Taking taylor expansion of y in y
0.518 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.518 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.518 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.518 * [taylor]: Taking taylor expansion of y in y
0.518 * [taylor]: Taking taylor expansion of 2 in y
0.519 * [taylor]: Taking taylor expansion of y in y
0.521 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in (y) around 0
0.521 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
0.521 * [taylor]: Taking taylor expansion of -1 in y
0.521 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
0.521 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.521 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.521 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.521 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.521 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.521 * [taylor]: Taking taylor expansion of -1 in y
0.521 * [taylor]: Taking taylor expansion of y in y
0.521 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.521 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.521 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.521 * [taylor]: Taking taylor expansion of -1 in y
0.521 * [taylor]: Taking taylor expansion of y in y
0.521 * [taylor]: Taking taylor expansion of 2 in y
0.521 * [taylor]: Taking taylor expansion of y in y
0.521 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
0.521 * [taylor]: Taking taylor expansion of -1 in y
0.521 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
0.521 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.521 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.521 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.521 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.522 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.522 * [taylor]: Taking taylor expansion of -1 in y
0.522 * [taylor]: Taking taylor expansion of y in y
0.522 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.522 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.522 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.522 * [taylor]: Taking taylor expansion of -1 in y
0.522 * [taylor]: Taking taylor expansion of y in y
0.522 * [taylor]: Taking taylor expansion of 2 in y
0.522 * [taylor]: Taking taylor expansion of y in y
0.525 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
0.525 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0
0.525 * [taylor]: Taking taylor expansion of (sinh y) in y
0.525 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.525 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg 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 (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 2 in y
0.525 * [taylor]: Taking taylor expansion of (sinh y) in y
0.525 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.525 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg 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.526 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.526 * [taylor]: Taking taylor expansion of (neg y) in y
0.526 * [taylor]: Taking taylor expansion of y in y
0.526 * [taylor]: Taking taylor expansion of 2 in y
0.529 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0
0.529 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.529 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
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 2 in y
0.529 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.529 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
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 2 in y
0.531 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0
0.531 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.531 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.531 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.531 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.531 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.531 * [taylor]: Taking taylor expansion of -1 in y
0.531 * [taylor]: Taking taylor expansion of y in y
0.531 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.531 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.531 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.531 * [taylor]: Taking taylor expansion of -1 in y
0.531 * [taylor]: Taking taylor expansion of y in y
0.531 * [taylor]: Taking taylor expansion of 2 in y
0.531 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.531 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.531 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.531 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.531 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.531 * [taylor]: Taking taylor expansion of -1 in y
0.531 * [taylor]: Taking taylor expansion of y in y
0.531 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.531 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.531 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.531 * [taylor]: Taking taylor expansion of -1 in y
0.531 * [taylor]: Taking taylor expansion of y in y
0.531 * [taylor]: Taking taylor expansion of 2 in y
0.532 * * * [progress]: simplifying candidates
0.534 * [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)
  (- (exp y) (exp (neg y)))
  (log (sinh y))
  (exp (sinh y))
  (* (cbrt (sinh y)) (cbrt (sinh y)))
  (cbrt (sinh y))
  (* (* (sinh y) (sinh y)) (sinh y))
  (sqrt (sinh y))
  (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 (/ (- (* 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))
  (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))
  (* 1/2 (- (exp y) (exp (neg y))))
  (* 1/2 (- (exp y) (exp (* -1 y))))
0.575 * * [simplify]: iteration  0 :  4972  enodes  (cost  621 )
0.575 * * [simplify]: iteration  1 :  4972  enodes  (cost  621 )
0.579 * [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)
  (- (exp y) (exp (neg y)))
  (log (sinh y))
  (exp (sinh y))
  (* (cbrt (sinh y)) (cbrt (sinh y)))
  (cbrt (sinh y))
  (pow (sinh y) 3)
  (sqrt (sinh y))
  (sqrt (sinh y))
  (+ x (* 1/6 (- (* x (* y y)) (pow x 3))))
  (* (/ 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))))
  (* (/ (- (exp y) (exp (neg y))) y) 1/2)
  (* (/ (- (exp y) (exp (neg y))) y) 1/2)
  (+ y (+ (* (pow y 3) 1/6) (* 1/120 (pow y 5))))
  (* (- (exp y) (exp (neg y))) 1/2)
  (* (- (exp y) (exp (neg y))) 1/2)
0.579 * * * [progress]: adding candidates to table
0.660 * * [progress]: iteration 2 / 4
0.660 * * * [progress]: picking best candidate
0.665 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))>
0.665 * * * [progress]: localizing error
0.675 * * * [progress]: generating rewritten candidates
0.675 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.679 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
0.682 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.688 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
0.694 * * * [progress]: generating series expansions
0.694 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
0.694 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0
0.694 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
0.694 * [taylor]: Taking taylor expansion of (sinh y) in y
0.694 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.694 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.694 * [taylor]: Taking taylor expansion of (exp y) in y
0.694 * [taylor]: Taking taylor expansion of y in y
0.694 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.694 * [taylor]: Taking taylor expansion of (neg y) in y
0.694 * [taylor]: Taking taylor expansion of y in y
0.694 * [taylor]: Taking taylor expansion of 2 in y
0.695 * [taylor]: Taking taylor expansion of y in y
0.695 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
0.695 * [taylor]: Taking taylor expansion of (sinh y) in y
0.695 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.695 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.695 * [taylor]: Taking taylor expansion of (exp y) in y
0.695 * [taylor]: Taking taylor expansion of y in y
0.695 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.695 * [taylor]: Taking taylor expansion of (neg y) in y
0.695 * [taylor]: Taking taylor expansion of y in y
0.695 * [taylor]: Taking taylor expansion of 2 in y
0.695 * [taylor]: Taking taylor expansion of y in y
0.698 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0
0.698 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
0.698 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.698 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.698 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.698 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.698 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.698 * [taylor]: Taking taylor expansion of y in y
0.698 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.698 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.698 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.698 * [taylor]: Taking taylor expansion of y in y
0.698 * [taylor]: Taking taylor expansion of 2 in y
0.698 * [taylor]: Taking taylor expansion of y in y
0.699 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
0.699 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.699 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.699 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.699 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.699 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.699 * [taylor]: Taking taylor expansion of y in y
0.699 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.699 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.699 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.699 * [taylor]: Taking taylor expansion of y in y
0.699 * [taylor]: Taking taylor expansion of 2 in y
0.699 * [taylor]: Taking taylor expansion of y in y
0.701 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in (y) around 0
0.701 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
0.701 * [taylor]: Taking taylor expansion of -1 in y
0.701 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
0.701 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.701 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.701 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.701 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.701 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.701 * [taylor]: Taking taylor expansion of -1 in y
0.701 * [taylor]: Taking taylor expansion of y in y
0.701 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.701 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.701 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.701 * [taylor]: Taking taylor expansion of -1 in y
0.701 * [taylor]: Taking taylor expansion of y in y
0.702 * [taylor]: Taking taylor expansion of 2 in y
0.702 * [taylor]: Taking taylor expansion of y in y
0.702 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
0.702 * [taylor]: Taking taylor expansion of -1 in y
0.702 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
0.702 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.702 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.702 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.702 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.702 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.702 * [taylor]: Taking taylor expansion of -1 in y
0.702 * [taylor]: Taking taylor expansion of y in y
0.702 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.702 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.702 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.702 * [taylor]: Taking taylor expansion of -1 in y
0.702 * [taylor]: Taking taylor expansion of y in y
0.702 * [taylor]: Taking taylor expansion of 2 in y
0.702 * [taylor]: Taking taylor expansion of y in y
0.705 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
0.705 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0
0.705 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
0.705 * [taylor]: Taking taylor expansion of (sinh y) in y
0.705 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.705 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.705 * [taylor]: Taking taylor expansion of (exp y) in y
0.705 * [taylor]: Taking taylor expansion of y in y
0.705 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.705 * [taylor]: Taking taylor expansion of (neg y) in y
0.705 * [taylor]: Taking taylor expansion of y in y
0.705 * [taylor]: Taking taylor expansion of 2 in y
0.705 * [taylor]: Taking taylor expansion of y in y
0.705 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
0.705 * [taylor]: Taking taylor expansion of (sinh y) in y
0.706 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.706 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.706 * [taylor]: Taking taylor expansion of (exp y) in y
0.706 * [taylor]: Taking taylor expansion of y in y
0.706 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.706 * [taylor]: Taking taylor expansion of (neg y) in y
0.706 * [taylor]: Taking taylor expansion of y in y
0.706 * [taylor]: Taking taylor expansion of 2 in y
0.706 * [taylor]: Taking taylor expansion of y in y
0.709 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0
0.709 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
0.709 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.709 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.709 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.709 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.709 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.709 * [taylor]: Taking taylor expansion of y in y
0.709 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.709 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.709 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.709 * [taylor]: Taking taylor expansion of y in y
0.709 * [taylor]: Taking taylor expansion of 2 in y
0.709 * [taylor]: Taking taylor expansion of y in y
0.709 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
0.709 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.709 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.709 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.710 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.710 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.710 * [taylor]: Taking taylor expansion of y in y
0.710 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.710 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.710 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.710 * [taylor]: Taking taylor expansion of y in y
0.710 * [taylor]: Taking taylor expansion of 2 in y
0.710 * [taylor]: Taking taylor expansion of y in y
0.712 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in (y) around 0
0.712 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
0.712 * [taylor]: Taking taylor expansion of -1 in y
0.712 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
0.712 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.712 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.712 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.712 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.712 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.712 * [taylor]: Taking taylor expansion of -1 in y
0.712 * [taylor]: Taking taylor expansion of y in y
0.712 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.712 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.712 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.712 * [taylor]: Taking taylor expansion of -1 in y
0.712 * [taylor]: Taking taylor expansion of y in y
0.712 * [taylor]: Taking taylor expansion of 2 in y
0.713 * [taylor]: Taking taylor expansion of y in y
0.713 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
0.713 * [taylor]: Taking taylor expansion of -1 in y
0.713 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
0.713 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.713 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.713 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.713 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.713 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.713 * [taylor]: Taking taylor expansion of -1 in y
0.713 * [taylor]: Taking taylor expansion of y in y
0.713 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.713 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.713 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.713 * [taylor]: Taking taylor expansion of -1 in y
0.713 * [taylor]: Taking taylor expansion of y in y
0.713 * [taylor]: Taking taylor expansion of 2 in y
0.713 * [taylor]: Taking taylor expansion of y in y
0.716 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.716 * [approximate]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in (y) around 0
0.716 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in y
0.716 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
0.716 * [taylor]: Taking taylor expansion of (sinh y) in y
0.716 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.716 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.716 * [taylor]: Taking taylor expansion of (exp y) in y
0.716 * [taylor]: Taking taylor expansion of y in y
0.716 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.716 * [taylor]: Taking taylor expansion of (neg y) in y
0.716 * [taylor]: Taking taylor expansion of y in y
0.716 * [taylor]: Taking taylor expansion of 2 in y
0.716 * [taylor]: Taking taylor expansion of y in y
0.717 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in y
0.717 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
0.717 * [taylor]: Taking taylor expansion of (sinh y) in y
0.717 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.717 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.717 * [taylor]: Taking taylor expansion of (exp y) in y
0.717 * [taylor]: Taking taylor expansion of y in y
0.717 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.717 * [taylor]: Taking taylor expansion of (neg y) in y
0.717 * [taylor]: Taking taylor expansion of y in y
0.717 * [taylor]: Taking taylor expansion of 2 in y
0.717 * [taylor]: Taking taylor expansion of y in y
0.720 * [approximate]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in (y) around 0
0.720 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in y
0.720 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
0.720 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.720 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.720 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.720 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.720 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.721 * [taylor]: Taking taylor expansion of y in y
0.721 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.721 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.721 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.721 * [taylor]: Taking taylor expansion of y in y
0.721 * [taylor]: Taking taylor expansion of 2 in y
0.721 * [taylor]: Taking taylor expansion of y in y
0.721 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in y
0.721 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
0.721 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.721 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.721 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.721 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.721 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.721 * [taylor]: Taking taylor expansion of y in y
0.721 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.721 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.721 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.721 * [taylor]: Taking taylor expansion of y in y
0.722 * [taylor]: Taking taylor expansion of 2 in y
0.722 * [taylor]: Taking taylor expansion of y in y
0.727 * [approximate]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in (y) around 0
0.728 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in y
0.728 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
0.728 * [taylor]: Taking taylor expansion of -1 in y
0.728 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
0.728 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.728 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.728 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.728 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.728 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.728 * [taylor]: Taking taylor expansion of -1 in y
0.728 * [taylor]: Taking taylor expansion of y in y
0.728 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.728 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.728 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.728 * [taylor]: Taking taylor expansion of -1 in y
0.728 * [taylor]: Taking taylor expansion of y in y
0.728 * [taylor]: Taking taylor expansion of 2 in y
0.728 * [taylor]: Taking taylor expansion of y in y
0.729 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in y
0.729 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
0.729 * [taylor]: Taking taylor expansion of -1 in y
0.729 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
0.729 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.729 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.729 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.729 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.729 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.729 * [taylor]: Taking taylor expansion of -1 in y
0.729 * [taylor]: Taking taylor expansion of y in y
0.729 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.729 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.729 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.729 * [taylor]: Taking taylor expansion of -1 in y
0.729 * [taylor]: Taking taylor expansion of y in y
0.729 * [taylor]: Taking taylor expansion of 2 in y
0.729 * [taylor]: Taking taylor expansion of y in y
0.735 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
0.736 * [approximate]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in (y) around 0
0.736 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in y
0.736 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
0.736 * [taylor]: Taking taylor expansion of (sinh y) in y
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 y
0.736 * [taylor]: Taking taylor expansion of (exp y) in y
0.736 * [taylor]: Taking taylor expansion of y in y
0.736 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.736 * [taylor]: Taking taylor expansion of (neg y) in y
0.736 * [taylor]: Taking taylor expansion of y in y
0.736 * [taylor]: Taking taylor expansion of 2 in y
0.736 * [taylor]: Taking taylor expansion of y in y
0.736 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in y
0.736 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
0.736 * [taylor]: Taking taylor expansion of (sinh y) in y
0.737 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.737 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) 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 (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 2 in y
0.737 * [taylor]: Taking taylor expansion of y in y
0.740 * [approximate]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in (y) around 0
0.740 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in y
0.740 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
0.740 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.740 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.740 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.740 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.740 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.740 * [taylor]: Taking taylor expansion of y in y
0.740 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.740 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.740 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.740 * [taylor]: Taking taylor expansion of y in y
0.740 * [taylor]: Taking taylor expansion of 2 in y
0.741 * [taylor]: Taking taylor expansion of y in y
0.741 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in y
0.741 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) 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.741 * [taylor]: Taking taylor expansion of y in y
0.747 * [approximate]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in (y) around 0
0.747 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in y
0.747 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
0.748 * [taylor]: Taking taylor expansion of -1 in y
0.748 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
0.748 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.748 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.748 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.748 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.748 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.748 * [taylor]: Taking taylor expansion of -1 in y
0.748 * [taylor]: Taking taylor expansion of y in y
0.748 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.748 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.748 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.748 * [taylor]: Taking taylor expansion of -1 in y
0.748 * [taylor]: Taking taylor expansion of y in y
0.748 * [taylor]: Taking taylor expansion of 2 in y
0.748 * [taylor]: Taking taylor expansion of y 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.755 * * * [progress]: simplifying candidates
0.757 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (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)
  (- (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)
  (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)))
  (+ (* 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))
  (+ (* 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))
  (+ (* 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))))))))
0.811 * * [simplify]: iteration  0 :  4939  enodes  (cost  1296 )
0.811 * * [simplify]: iteration  1 :  4939  enodes  (cost  1296 )
0.819 * [simplify]: Simplified to:
   (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 y)) (/ (cbrt (sinh y)) (cbrt y)))
  (/ (cbrt (sinh y)) (cbrt y))
  (* (/ (cbrt (sinh y)) (sqrt y)) (cbrt (sinh 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 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 y)) (/ (cbrt (sinh y)) (cbrt y)))
  (/ (cbrt (sinh y)) (cbrt y))
  (* (/ (cbrt (sinh y)) (sqrt y)) (cbrt (sinh 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 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)))
  (+ 1 (+ (* y (* y 1/6)) (* 1/120 (pow y 4))))
  (/ 1/2 (/ y (- (exp y) (exp (neg y)))))
  (/ 1/2 (/ y (- (exp y) (exp (neg y)))))
  (+ 1 (+ (* y (* y 1/6)) (* 1/120 (pow y 4))))
  (/ 1/2 (/ y (- (exp y) (exp (neg y)))))
  (/ 1/2 (/ y (- (exp y) (exp (neg y)))))
  (+ 1 (+ (* y (* y 1/12)) (* (pow y 4) 1/1440)))
  (+ (* 1/2 (/ (pow NAN 3) (* y y))) (+ (+ (* 1/4 (/ (pow NAN 5) (pow (/ y (exp y)) 3))) (* 3/4 (/ (/ (pow NAN 5) (exp y)) (pow y 3)))) (- (* 1/2 (- (* (/ NAN y) (exp y)) (/ NAN (* y (exp y))))) (+ (* 3/4 (* (/ (pow NAN 5) (pow y 3)) (exp y))) (* 1/4 (+ (/ (pow NAN 5) (pow (* y (exp y)) 3)) (* (/ (pow NAN 3) (* y y)) (+ (pow (exp y) -2) (pow (exp y) 2)))))))))
  (+ (* 1/2 (/ (pow NAN 3) (* y y))) (+ (+ (* 1/4 (/ (pow NAN 5) (pow (/ y (exp y)) 3))) (* 3/4 (/ (/ (pow NAN 5) (exp y)) (pow y 3)))) (- (* 1/2 (- (* (/ NAN y) (exp y)) (/ NAN (* y (exp y))))) (+ (* 3/4 (* (/ (pow NAN 5) (pow y 3)) (exp y))) (* 1/4 (+ (/ (pow NAN 5) (pow (* y (exp y)) 3)) (* (/ (pow NAN 3) (* y y)) (+ (pow (exp y) -2) (pow (exp y) 2)))))))))
  (+ 1 (+ (* y (* y 1/12)) (* (pow y 4) 1/1440)))
  (+ (* 1/2 (/ (pow NAN 3) (* y y))) (+ (+ (* 1/4 (/ (pow NAN 5) (pow (/ y (exp y)) 3))) (* 3/4 (/ (/ (pow NAN 5) (exp y)) (pow y 3)))) (- (* 1/2 (- (* (/ NAN y) (exp y)) (/ NAN (* y (exp y))))) (+ (* 3/4 (* (/ (pow NAN 5) (pow y 3)) (exp y))) (* 1/4 (+ (/ (pow NAN 5) (pow (* y (exp y)) 3)) (* (/ (pow NAN 3) (* y y)) (+ (pow (exp y) -2) (pow (exp y) 2)))))))))
  (+ (* 1/2 (/ (pow NAN 3) (* y y))) (+ (+ (* 1/4 (/ (pow NAN 5) (pow (/ y (exp y)) 3))) (* 3/4 (/ (/ (pow NAN 5) (exp y)) (pow y 3)))) (- (* 1/2 (- (* (/ NAN y) (exp y)) (/ NAN (* y (exp y))))) (+ (* 3/4 (* (/ (pow NAN 5) (pow y 3)) (exp y))) (* 1/4 (+ (/ (pow NAN 5) (pow (* y (exp y)) 3)) (* (/ (pow NAN 3) (* y y)) (+ (pow (exp y) -2) (pow (exp y) 2)))))))))
0.820 * * * [progress]: adding candidates to table
0.959 * * [progress]: iteration 3 / 4
0.959 * * * [progress]: picking best candidate
0.962 * * * * [pick]: Picked  #<alt (λ (x y) (/ (* (sin x) (sinh y)) y))>
0.962 * * * [progress]: localizing error
0.969 * * * [progress]: generating rewritten candidates
0.969 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.974 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.978 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
0.980 * * * [progress]: generating series expansions
0.980 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.980 * [approximate]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in (x y) around 0
0.980 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in y
0.980 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y
0.980 * [taylor]: Taking taylor expansion of (sin x) in y
0.980 * [taylor]: Taking taylor expansion of x in y
0.980 * [taylor]: Taking taylor expansion of (sinh y) in y
0.981 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.981 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
0.981 * [taylor]: Taking taylor expansion of (exp y) in y
0.981 * [taylor]: Taking taylor expansion of y in y
0.981 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.981 * [taylor]: Taking taylor expansion of (neg y) in y
0.981 * [taylor]: Taking taylor expansion of y in y
0.981 * [taylor]: Taking taylor expansion of 2 in y
0.981 * [taylor]: Taking taylor expansion of y in y
0.981 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x
0.981 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
0.981 * [taylor]: Taking taylor expansion of (sin x) in x
0.981 * [taylor]: Taking taylor expansion of x in x
0.981 * [taylor]: Taking taylor expansion of (sinh y) in x
0.981 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.981 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x
0.981 * [taylor]: Taking taylor expansion of (exp y) in x
0.981 * [taylor]: Taking taylor expansion of y in x
0.981 * [taylor]: Taking taylor expansion of (exp (neg y)) in x
0.981 * [taylor]: Taking taylor expansion of (neg y) in x
0.981 * [taylor]: Taking taylor expansion of y in x
0.981 * [taylor]: Taking taylor expansion of 2 in x
0.981 * [taylor]: Taking taylor expansion of y in x
0.982 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x
0.982 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
0.982 * [taylor]: Taking taylor expansion of (sin x) in x
0.982 * [taylor]: Taking taylor expansion of x in x
0.982 * [taylor]: Taking taylor expansion of (sinh y) in x
0.982 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
0.982 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x
0.982 * [taylor]: Taking taylor expansion of (exp y) in x
0.982 * [taylor]: Taking taylor expansion of y in x
0.982 * [taylor]: Taking taylor expansion of (exp (neg y)) in x
0.982 * [taylor]: Taking taylor expansion of (neg y) in x
0.982 * [taylor]: Taking taylor expansion of y in x
0.982 * [taylor]: Taking taylor expansion of 2 in x
0.982 * [taylor]: Taking taylor expansion of y in x
0.983 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) y) in y
0.983 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) in y
0.983 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y
0.983 * [taylor]: Taking taylor expansion of 1/2 in y
0.983 * [taylor]: Taking taylor expansion of (exp y) in y
0.983 * [taylor]: Taking taylor expansion of y in y
0.983 * [taylor]: Taking taylor expansion of (* 1/2 (exp (neg y))) in y
0.983 * [taylor]: Taking taylor expansion of 1/2 in y
0.983 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.983 * [taylor]: Taking taylor expansion of (neg y) in y
0.983 * [taylor]: Taking taylor expansion of y in y
0.983 * [taylor]: Taking taylor expansion of y in y
0.984 * [taylor]: Taking taylor expansion of 0 in y
0.985 * [taylor]: Taking taylor expansion of (- (* 1/12 (/ (exp (neg y)) y)) (* 1/12 (/ (exp y) y))) in y
0.985 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp (neg y)) y)) in y
0.985 * [taylor]: Taking taylor expansion of 1/12 in y
0.985 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y
0.985 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
0.985 * [taylor]: Taking taylor expansion of (neg y) in y
0.985 * [taylor]: Taking taylor expansion of y in y
0.985 * [taylor]: Taking taylor expansion of y in y
0.985 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp y) y)) in y
0.985 * [taylor]: Taking taylor expansion of 1/12 in y
0.985 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
0.985 * [taylor]: Taking taylor expansion of (exp y) in y
0.985 * [taylor]: Taking taylor expansion of y in y
0.985 * [taylor]: Taking taylor expansion of y in y
0.986 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in (x y) around 0
0.987 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in y
0.987 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
0.987 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.987 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.987 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.987 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.987 * [taylor]: Taking taylor expansion of y in y
0.987 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.987 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.987 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.987 * [taylor]: Taking taylor expansion of y in y
0.987 * [taylor]: Taking taylor expansion of 2 in y
0.987 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in y
0.987 * [taylor]: Taking taylor expansion of y in y
0.987 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
0.987 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.987 * [taylor]: Taking taylor expansion of x in y
0.987 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x
0.987 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
0.987 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.987 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x
0.987 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.987 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.987 * [taylor]: Taking taylor expansion of y in x
0.987 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x
0.987 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x
0.987 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.987 * [taylor]: Taking taylor expansion of y in x
0.987 * [taylor]: Taking taylor expansion of 2 in x
0.988 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x
0.988 * [taylor]: Taking taylor expansion of y in x
0.988 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.988 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.988 * [taylor]: Taking taylor expansion of x in x
0.988 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x
0.988 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
0.988 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
0.988 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x
0.988 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.988 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.988 * [taylor]: Taking taylor expansion of y in x
0.988 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x
0.988 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x
0.988 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.988 * [taylor]: Taking taylor expansion of y in x
0.988 * [taylor]: Taking taylor expansion of 2 in x
0.988 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x
0.988 * [taylor]: Taking taylor expansion of y in x
0.988 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.988 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.988 * [taylor]: Taking taylor expansion of x in x
0.989 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* y (sin (/ 1 x))))) in y
0.989 * [taylor]: Taking taylor expansion of 1/2 in y
0.989 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* y (sin (/ 1 x)))) in y
0.989 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
0.989 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.989 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.989 * [taylor]: Taking taylor expansion of y in y
0.989 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
0.989 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.989 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.989 * [taylor]: Taking taylor expansion of y in y
0.989 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in y
0.989 * [taylor]: Taking taylor expansion of y in y
0.989 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
0.989 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.989 * [taylor]: Taking taylor expansion of x in y
0.990 * [taylor]: Taking taylor expansion of 0 in y
0.991 * [taylor]: Taking taylor expansion of 0 in y
0.992 * [taylor]: Taking taylor expansion of 0 in y
0.993 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in (x y) around 0
0.993 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in y
0.993 * [taylor]: Taking taylor expansion of -1 in y
0.993 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in y
0.993 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
0.993 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.993 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
0.993 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.993 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.993 * [taylor]: Taking taylor expansion of -1 in y
0.993 * [taylor]: Taking taylor expansion of y in y
0.993 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
0.993 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
0.993 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.993 * [taylor]: Taking taylor expansion of -1 in y
0.993 * [taylor]: Taking taylor expansion of y in y
0.993 * [taylor]: Taking taylor expansion of 2 in y
0.993 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in y
0.993 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
0.993 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.993 * [taylor]: Taking taylor expansion of -1 in y
0.993 * [taylor]: Taking taylor expansion of x in y
0.994 * [taylor]: Taking taylor expansion of y in y
0.994 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in x
0.994 * [taylor]: Taking taylor expansion of -1 in x
0.994 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in x
0.994 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
0.994 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.994 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x
0.994 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
0.994 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.994 * [taylor]: Taking taylor expansion of -1 in x
0.994 * [taylor]: Taking taylor expansion of y in x
0.994 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x
0.994 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x
0.994 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.994 * [taylor]: Taking taylor expansion of -1 in x
0.994 * [taylor]: Taking taylor expansion of y in x
0.994 * [taylor]: Taking taylor expansion of 2 in x
0.994 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in x
0.994 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.994 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.994 * [taylor]: Taking taylor expansion of -1 in x
0.994 * [taylor]: Taking taylor expansion of x in x
0.994 * [taylor]: Taking taylor expansion of y in x
0.994 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in x
0.994 * [taylor]: Taking taylor expansion of -1 in x
0.994 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in x
0.994 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
0.994 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
0.994 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x
0.994 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
0.994 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.994 * [taylor]: Taking taylor expansion of -1 in x
0.994 * [taylor]: Taking taylor expansion of y in x
0.994 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x
0.994 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x
0.994 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.994 * [taylor]: Taking taylor expansion of -1 in x
0.994 * [taylor]: Taking taylor expansion of y in x
0.995 * [taylor]: Taking taylor expansion of 2 in x
0.995 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in x
0.995 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.995 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.995 * [taylor]: Taking taylor expansion of -1 in x
0.995 * [taylor]: Taking taylor expansion of x in x
0.995 * [taylor]: Taking taylor expansion of y in x
0.995 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) in y
0.995 * [taylor]: Taking taylor expansion of -1/2 in y
0.995 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)) in y
0.995 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
0.995 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.995 * [taylor]: Taking taylor expansion of -1 in y
0.995 * [taylor]: Taking taylor expansion of x in y
0.995 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) y) in y
0.995 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
0.995 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.995 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.995 * [taylor]: Taking taylor expansion of -1 in y
0.995 * [taylor]: Taking taylor expansion of y in y
0.995 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.995 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.995 * [taylor]: Taking taylor expansion of y in y
0.995 * [taylor]: Taking taylor expansion of y in y
0.996 * [taylor]: Taking taylor expansion of 0 in y
0.998 * [taylor]: Taking taylor expansion of 0 in y
0.999 * [taylor]: Taking taylor expansion of 0 in y
1.000 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
1.000 * [approximate]: Taking taylor expansion of (* (sin x) (sinh y)) in (x y) around 0
1.000 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y
1.000 * [taylor]: Taking taylor expansion of (sin x) in y
1.000 * [taylor]: Taking taylor expansion of x in y
1.000 * [taylor]: Taking taylor expansion of (sinh y) in y
1.000 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
1.000 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
1.000 * [taylor]: Taking taylor expansion of (exp y) in y
1.000 * [taylor]: Taking taylor expansion of y in y
1.000 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
1.000 * [taylor]: Taking taylor expansion of (neg y) in y
1.000 * [taylor]: Taking taylor expansion of y in y
1.000 * [taylor]: Taking taylor expansion of 2 in y
1.000 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
1.000 * [taylor]: Taking taylor expansion of (sin x) in x
1.000 * [taylor]: Taking taylor expansion of x in x
1.000 * [taylor]: Taking taylor expansion of (sinh y) in x
1.000 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
1.000 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x
1.000 * [taylor]: Taking taylor expansion of (exp y) in x
1.000 * [taylor]: Taking taylor expansion of y in x
1.000 * [taylor]: Taking taylor expansion of (exp (neg y)) in x
1.000 * [taylor]: Taking taylor expansion of (neg y) in x
1.000 * [taylor]: Taking taylor expansion of y in x
1.000 * [taylor]: Taking taylor expansion of 2 in x
1.001 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
1.001 * [taylor]: Taking taylor expansion of (sin x) in x
1.001 * [taylor]: Taking taylor expansion of x in x
1.001 * [taylor]: Taking taylor expansion of (sinh y) in x
1.001 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
1.001 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x
1.001 * [taylor]: Taking taylor expansion of (exp y) in x
1.001 * [taylor]: Taking taylor expansion of y in x
1.001 * [taylor]: Taking taylor expansion of (exp (neg y)) in x
1.001 * [taylor]: Taking taylor expansion of (neg y) in x
1.001 * [taylor]: Taking taylor expansion of y in x
1.001 * [taylor]: Taking taylor expansion of 2 in x
1.001 * [taylor]: Taking taylor expansion of 0 in y
1.001 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) in y
1.001 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y
1.002 * [taylor]: Taking taylor expansion of 1/2 in y
1.002 * [taylor]: Taking taylor expansion of (exp y) in y
1.002 * [taylor]: Taking taylor expansion of y in y
1.003 * [taylor]: Taking taylor expansion of (* 1/2 (exp (neg y))) in y
1.003 * [taylor]: Taking taylor expansion of 1/2 in y
1.003 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
1.003 * [taylor]: Taking taylor expansion of (neg y) in y
1.003 * [taylor]: Taking taylor expansion of y in y
1.004 * [taylor]: Taking taylor expansion of 0 in y
1.005 * [taylor]: Taking taylor expansion of (- (* 1/12 (exp (neg y))) (* 1/12 (exp y))) in y
1.005 * [taylor]: Taking taylor expansion of (* 1/12 (exp (neg y))) in y
1.005 * [taylor]: Taking taylor expansion of 1/12 in y
1.005 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
1.005 * [taylor]: Taking taylor expansion of (neg y) in y
1.005 * [taylor]: Taking taylor expansion of y in y
1.005 * [taylor]: Taking taylor expansion of (* 1/12 (exp y)) in y
1.005 * [taylor]: Taking taylor expansion of 1/12 in y
1.005 * [taylor]: Taking taylor expansion of (exp y) in y
1.005 * [taylor]: Taking taylor expansion of y in y
1.006 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in (x y) around 0
1.006 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in y
1.006 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
1.006 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
1.006 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
1.007 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
1.007 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.007 * [taylor]: Taking taylor expansion of y in y
1.007 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
1.007 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
1.007 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.007 * [taylor]: Taking taylor expansion of y in y
1.007 * [taylor]: Taking taylor expansion of 2 in y
1.007 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
1.007 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.007 * [taylor]: Taking taylor expansion of x in y
1.007 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in x
1.007 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
1.007 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
1.007 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x
1.007 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
1.007 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.007 * [taylor]: Taking taylor expansion of y in x
1.007 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x
1.007 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x
1.007 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.007 * [taylor]: Taking taylor expansion of y in x
1.007 * [taylor]: Taking taylor expansion of 2 in x
1.007 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.008 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.008 * [taylor]: Taking taylor expansion of x in x
1.008 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in x
1.008 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
1.008 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
1.008 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x
1.008 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
1.008 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.008 * [taylor]: Taking taylor expansion of y in x
1.008 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x
1.008 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x
1.008 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.008 * [taylor]: Taking taylor expansion of y in x
1.008 * [taylor]: Taking taylor expansion of 2 in x
1.008 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.008 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.008 * [taylor]: Taking taylor expansion of x in x
1.008 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (sin (/ 1 x)))) in y
1.008 * [taylor]: Taking taylor expansion of 1/2 in y
1.008 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (sin (/ 1 x))) in y
1.008 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
1.008 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
1.008 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.008 * [taylor]: Taking taylor expansion of y in y
1.008 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
1.008 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
1.008 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.008 * [taylor]: Taking taylor expansion of y in y
1.009 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
1.009 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.009 * [taylor]: Taking taylor expansion of x in y
1.010 * [taylor]: Taking taylor expansion of 0 in y
1.011 * [taylor]: Taking taylor expansion of 0 in y
1.012 * [taylor]: Taking taylor expansion of 0 in y
1.012 * [approximate]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in (x y) around 0
1.012 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in y
1.012 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
1.012 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
1.012 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
1.012 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
1.012 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.013 * [taylor]: Taking taylor expansion of -1 in y
1.013 * [taylor]: Taking taylor expansion of y in y
1.013 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
1.013 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
1.013 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.013 * [taylor]: Taking taylor expansion of -1 in y
1.013 * [taylor]: Taking taylor expansion of y in y
1.013 * [taylor]: Taking taylor expansion of 2 in y
1.013 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
1.013 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.013 * [taylor]: Taking taylor expansion of -1 in y
1.013 * [taylor]: Taking taylor expansion of x in y
1.013 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in x
1.013 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
1.013 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
1.013 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x
1.013 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
1.013 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.013 * [taylor]: Taking taylor expansion of -1 in x
1.013 * [taylor]: Taking taylor expansion of y in x
1.013 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x
1.013 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x
1.013 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.013 * [taylor]: Taking taylor expansion of -1 in x
1.013 * [taylor]: Taking taylor expansion of y in x
1.013 * [taylor]: Taking taylor expansion of 2 in x
1.013 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.013 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.014 * [taylor]: Taking taylor expansion of -1 in x
1.014 * [taylor]: Taking taylor expansion of x in x
1.014 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in x
1.014 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
1.014 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
1.014 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x
1.014 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
1.014 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.014 * [taylor]: Taking taylor expansion of -1 in x
1.014 * [taylor]: Taking taylor expansion of y in x
1.014 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x
1.014 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x
1.014 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.014 * [taylor]: Taking taylor expansion of -1 in x
1.014 * [taylor]: Taking taylor expansion of y in x
1.014 * [taylor]: Taking taylor expansion of 2 in x
1.014 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.014 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.014 * [taylor]: Taking taylor expansion of -1 in x
1.014 * [taylor]: Taking taylor expansion of x in x
1.014 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 x)) (- (exp (/ -1 y)) (exp (/ 1 y))))) in y
1.014 * [taylor]: Taking taylor expansion of 1/2 in y
1.014 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (- (exp (/ -1 y)) (exp (/ 1 y)))) in y
1.014 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
1.014 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.014 * [taylor]: Taking taylor expansion of -1 in y
1.014 * [taylor]: Taking taylor expansion of x in y
1.014 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
1.014 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
1.014 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.015 * [taylor]: Taking taylor expansion of -1 in y
1.015 * [taylor]: Taking taylor expansion of y in y
1.015 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
1.015 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.015 * [taylor]: Taking taylor expansion of y in y
1.015 * [taylor]: Taking taylor expansion of 0 in y
1.016 * [taylor]: Taking taylor expansion of 0 in y
1.018 * [taylor]: Taking taylor expansion of 0 in y
1.018 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
1.018 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0
1.018 * [taylor]: Taking taylor expansion of (sinh y) in y
1.018 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
1.018 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
1.018 * [taylor]: Taking taylor expansion of (exp y) in y
1.018 * [taylor]: Taking taylor expansion of y in y
1.018 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
1.018 * [taylor]: Taking taylor expansion of (neg y) in y
1.018 * [taylor]: Taking taylor expansion of y in y
1.018 * [taylor]: Taking taylor expansion of 2 in y
1.018 * [taylor]: Taking taylor expansion of (sinh y) in y
1.018 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2)
1.019 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y
1.019 * [taylor]: Taking taylor expansion of (exp y) in y
1.019 * [taylor]: Taking taylor expansion of y in y
1.019 * [taylor]: Taking taylor expansion of (exp (neg y)) in y
1.019 * [taylor]: Taking taylor expansion of (neg y) in y
1.019 * [taylor]: Taking taylor expansion of y in y
1.019 * [taylor]: Taking taylor expansion of 2 in y
1.022 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0
1.022 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
1.022 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
1.022 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
1.022 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
1.022 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.022 * [taylor]: Taking taylor expansion of y in y
1.022 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
1.022 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
1.022 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.022 * [taylor]: Taking taylor expansion of y in y
1.022 * [taylor]: Taking taylor expansion of 2 in y
1.022 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
1.022 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2)
1.022 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y
1.022 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
1.022 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.022 * [taylor]: Taking taylor expansion of y in y
1.022 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y
1.022 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
1.022 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.022 * [taylor]: Taking taylor expansion of y in y
1.022 * [taylor]: Taking taylor expansion of 2 in y
1.024 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0
1.024 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
1.024 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
1.024 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
1.024 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
1.024 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.024 * [taylor]: Taking taylor expansion of -1 in y
1.024 * [taylor]: Taking taylor expansion of y in y
1.024 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
1.024 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
1.024 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.024 * [taylor]: Taking taylor expansion of -1 in y
1.024 * [taylor]: Taking taylor expansion of y in y
1.024 * [taylor]: Taking taylor expansion of 2 in y
1.024 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
1.024 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2)
1.024 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y
1.024 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
1.024 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.024 * [taylor]: Taking taylor expansion of -1 in y
1.024 * [taylor]: Taking taylor expansion of y in y
1.024 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y
1.024 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y
1.024 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.024 * [taylor]: Taking taylor expansion of -1 in y
1.024 * [taylor]: Taking taylor expansion of y in y
1.024 * [taylor]: Taking taylor expansion of 2 in y
1.025 * * * [progress]: simplifying candidates
1.026 * [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))))
  (- (exp y) (exp (neg y)))
  (log (sinh y))
  (exp (sinh y))
  (* (cbrt (sinh y)) (cbrt (sinh y)))
  (cbrt (sinh y))
  (* (* (sinh y) (sinh y)) (sinh y))
  (sqrt (sinh y))
  (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 (/ (- (* 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/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))
  (* 1/2 (- (exp y) (exp (neg y))))
  (* 1/2 (- (exp y) (exp (* -1 y))))
1.060 * * [simplify]: iteration  0 :  6016  enodes  (cost  419 )
1.062 * [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 (sinh y)) (sin x))
  (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))))
  (- (exp y) (exp (neg y)))
  (log (sinh y))
  (exp (sinh y))
  (* (cbrt (sinh y)) (cbrt (sinh y)))
  (cbrt (sinh y))
  (pow (sinh y) 3)
  (sqrt (sinh y))
  (sqrt (sinh 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))
  (+ y (+ (* (pow y 3) 1/6) (* 1/120 (pow y 5))))
  (* (- (exp y) (exp (neg y))) 1/2)
  (* (- (exp y) (exp (neg y))) 1/2)
1.062 * * * [progress]: adding candidates to table
1.122 * [progress]: [Phase 3 of 3] Extracting.
1.122 * * [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.123 * * * [regime-changes]: Trying 5 branch expressions: ((/ (sinh y) y) (sin x) (* (sin x) (/ (sinh y) y)) y x)
1.123 * * * * [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.153 * * * * [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.194 * * * * [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.238 * * * * [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.273 * * * * [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.307 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.307 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sin x) (/ (sinh y) y))
1.308 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
1.308 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
1.308 * [simplify]: Simplified to:
   (* (sin x) (/ (sinh y) y))
4.165 * [regime-testing]: End program error score: 0.025276843981759747