15.879 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.082 * * * [progress]: [2/2] Setting up program.
0.085 * [progress]: [Phase 2 of 3] Improving.
0.085 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (sin x) (/ (sinh y) y))
0.086 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.087 * * [simplify]: iteration  1 :  15  enodes  (cost  7 )
0.089 * * [simplify]: iteration  2 :  29  enodes  (cost  7 )
0.094 * * [simplify]: iteration  3 :  64  enodes  (cost  7 )
0.105 * * [simplify]: iteration  4 :  138  enodes  (cost  7 )
0.134 * * [simplify]: iteration  5 :  256  enodes  (cost  7 )
0.174 * * [simplify]: iteration  6 :  515  enodes  (cost  7 )
0.295 * * [simplify]: iteration  7 :  1474  enodes  (cost  7 )
1.165 * * [simplify]: iteration  8 :  3722  enodes  (cost  7 )
6.479 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
6.479 * [simplify]: Simplified to:
   (* (sin x) (/ (sinh y) y))
6.479 * * [progress]: iteration 1 / 4
6.479 * * * [progress]: picking best candidate
6.481 * * * * [pick]: Picked  #<alt (λ (x y) (* (sin x) (/ (sinh y) y)))>
6.481 * * * [progress]: localizing error
6.488 * * * [progress]: generating rewritten candidates
6.488 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
6.497 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
6.498 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
6.506 * * * [progress]: generating series expansions
6.506 * * * * [progress]: [ 1 / 3 ] generating series at (2)
6.506 * [approximate]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in (x y) around 0
6.506 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in y
6.506 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y
6.506 * [taylor]: Taking taylor expansion of (sin x) in y
6.506 * [taylor]: Taking taylor expansion of x in y
6.506 * [taylor]: Taking taylor expansion of (sinh y) in y
6.506 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
6.506 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
6.506 * [taylor]: Taking taylor expansion of (exp y) in y
6.506 * [taylor]: Taking taylor expansion of y in y
6.506 * [taylor]: Taking taylor expansion of (exp (- y)) in y
6.506 * [taylor]: Taking taylor expansion of (- y) in y
6.506 * [taylor]: Taking taylor expansion of y in y
6.507 * [taylor]: Taking taylor expansion of 2 in y
6.510 * [taylor]: Taking taylor expansion of y in y
6.510 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x
6.510 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
6.510 * [taylor]: Taking taylor expansion of (sin x) in x
6.510 * [taylor]: Taking taylor expansion of x in x
6.510 * [taylor]: Taking taylor expansion of (sinh y) in x
6.510 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
6.510 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
6.510 * [taylor]: Taking taylor expansion of (exp y) in x
6.510 * [taylor]: Taking taylor expansion of y in x
6.510 * [taylor]: Taking taylor expansion of (exp (- y)) in x
6.510 * [taylor]: Taking taylor expansion of (- y) in x
6.510 * [taylor]: Taking taylor expansion of y in x
6.511 * [taylor]: Taking taylor expansion of 2 in x
6.511 * [taylor]: Taking taylor expansion of y in x
6.514 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x
6.514 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
6.514 * [taylor]: Taking taylor expansion of (sin x) in x
6.514 * [taylor]: Taking taylor expansion of x in x
6.514 * [taylor]: Taking taylor expansion of (sinh y) in x
6.514 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
6.514 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
6.514 * [taylor]: Taking taylor expansion of (exp y) in x
6.514 * [taylor]: Taking taylor expansion of y in x
6.514 * [taylor]: Taking taylor expansion of (exp (- y)) in x
6.514 * [taylor]: Taking taylor expansion of (- y) in x
6.514 * [taylor]: Taking taylor expansion of y in x
6.515 * [taylor]: Taking taylor expansion of 2 in x
6.515 * [taylor]: Taking taylor expansion of y in x
6.518 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) y) in y
6.518 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) in y
6.518 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y
6.518 * [taylor]: Taking taylor expansion of 1/2 in y
6.518 * [taylor]: Taking taylor expansion of (exp y) in y
6.518 * [taylor]: Taking taylor expansion of y in y
6.518 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- y))) in y
6.518 * [taylor]: Taking taylor expansion of 1/2 in y
6.518 * [taylor]: Taking taylor expansion of (exp (- y)) in y
6.518 * [taylor]: Taking taylor expansion of (- y) in y
6.518 * [taylor]: Taking taylor expansion of y in y
6.519 * [taylor]: Taking taylor expansion of y in y
6.527 * [taylor]: Taking taylor expansion of 0 in y
6.537 * [taylor]: Taking taylor expansion of (- (* 1/12 (/ (exp (- y)) y)) (* 1/12 (/ (exp y) y))) in y
6.537 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp (- y)) y)) in y
6.537 * [taylor]: Taking taylor expansion of 1/12 in y
6.537 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
6.537 * [taylor]: Taking taylor expansion of (exp (- y)) in y
6.537 * [taylor]: Taking taylor expansion of (- y) in y
6.537 * [taylor]: Taking taylor expansion of y in y
6.538 * [taylor]: Taking taylor expansion of y in y
6.538 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp y) y)) in y
6.538 * [taylor]: Taking taylor expansion of 1/12 in y
6.538 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
6.538 * [taylor]: Taking taylor expansion of (exp y) in y
6.538 * [taylor]: Taking taylor expansion of y in y
6.538 * [taylor]: Taking taylor expansion of y in y
6.548 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in (x y) around 0
6.548 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in y
6.548 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
6.548 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
6.548 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
6.549 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
6.549 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.549 * [taylor]: Taking taylor expansion of y in y
6.549 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
6.549 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
6.549 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.549 * [taylor]: Taking taylor expansion of y in y
6.549 * [taylor]: Taking taylor expansion of 2 in y
6.550 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in y
6.550 * [taylor]: Taking taylor expansion of y in y
6.550 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
6.550 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.550 * [taylor]: Taking taylor expansion of x in y
6.550 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x
6.550 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
6.550 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
6.550 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
6.550 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
6.550 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.550 * [taylor]: Taking taylor expansion of y in x
6.550 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
6.550 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
6.550 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.550 * [taylor]: Taking taylor expansion of y in x
6.550 * [taylor]: Taking taylor expansion of 2 in x
6.550 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x
6.550 * [taylor]: Taking taylor expansion of y in x
6.550 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
6.551 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.551 * [taylor]: Taking taylor expansion of x in x
6.551 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x
6.551 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
6.551 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
6.551 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
6.551 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
6.551 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.551 * [taylor]: Taking taylor expansion of y in x
6.551 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
6.551 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
6.551 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.551 * [taylor]: Taking taylor expansion of y in x
6.551 * [taylor]: Taking taylor expansion of 2 in x
6.552 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x
6.552 * [taylor]: Taking taylor expansion of y in x
6.552 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
6.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.552 * [taylor]: Taking taylor expansion of x in x
6.552 * [taylor]: Taking taylor expansion of (* 1/2 (* y (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y
6.552 * [taylor]: Taking taylor expansion of 1/2 in y
6.552 * [taylor]: Taking taylor expansion of (* y (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y
6.552 * [taylor]: Taking taylor expansion of y in y
6.552 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y
6.552 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
6.552 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.552 * [taylor]: Taking taylor expansion of x in y
6.552 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
6.552 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
6.552 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.552 * [taylor]: Taking taylor expansion of y in y
6.553 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
6.553 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
6.553 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.553 * [taylor]: Taking taylor expansion of y in y
6.557 * [taylor]: Taking taylor expansion of 0 in y
6.564 * [taylor]: Taking taylor expansion of 0 in y
6.574 * [taylor]: Taking taylor expansion of 0 in y
6.575 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in (x y) around 0
6.575 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in y
6.575 * [taylor]: Taking taylor expansion of -1 in y
6.575 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in y
6.575 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
6.575 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
6.575 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
6.575 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
6.575 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.575 * [taylor]: Taking taylor expansion of -1 in y
6.575 * [taylor]: Taking taylor expansion of y in y
6.575 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
6.575 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
6.575 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.575 * [taylor]: Taking taylor expansion of -1 in y
6.575 * [taylor]: Taking taylor expansion of y in y
6.576 * [taylor]: Taking taylor expansion of 2 in y
6.576 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in y
6.576 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
6.576 * [taylor]: Taking taylor expansion of (/ -1 x) in y
6.576 * [taylor]: Taking taylor expansion of -1 in y
6.576 * [taylor]: Taking taylor expansion of x in y
6.576 * [taylor]: Taking taylor expansion of y in y
6.576 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in x
6.576 * [taylor]: Taking taylor expansion of -1 in x
6.576 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in x
6.576 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
6.576 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
6.576 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
6.576 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
6.576 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.576 * [taylor]: Taking taylor expansion of -1 in x
6.576 * [taylor]: Taking taylor expansion of y in x
6.576 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
6.576 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
6.576 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.576 * [taylor]: Taking taylor expansion of -1 in x
6.577 * [taylor]: Taking taylor expansion of y in x
6.577 * [taylor]: Taking taylor expansion of 2 in x
6.577 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in x
6.577 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
6.577 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.577 * [taylor]: Taking taylor expansion of -1 in x
6.577 * [taylor]: Taking taylor expansion of x in x
6.577 * [taylor]: Taking taylor expansion of y in x
6.577 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in x
6.577 * [taylor]: Taking taylor expansion of -1 in x
6.577 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in x
6.577 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
6.577 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
6.577 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
6.577 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
6.577 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.577 * [taylor]: Taking taylor expansion of -1 in x
6.577 * [taylor]: Taking taylor expansion of y in x
6.577 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
6.578 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
6.578 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.578 * [taylor]: Taking taylor expansion of -1 in x
6.578 * [taylor]: Taking taylor expansion of y in x
6.578 * [taylor]: Taking taylor expansion of 2 in x
6.578 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in x
6.578 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
6.578 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.578 * [taylor]: Taking taylor expansion of -1 in x
6.578 * [taylor]: Taking taylor expansion of x in x
6.578 * [taylor]: Taking taylor expansion of y in x
6.579 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) in y
6.579 * [taylor]: Taking taylor expansion of -1/2 in y
6.579 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)) in y
6.579 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
6.579 * [taylor]: Taking taylor expansion of (/ -1 x) in y
6.579 * [taylor]: Taking taylor expansion of -1 in y
6.579 * [taylor]: Taking taylor expansion of x in y
6.579 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) y) in y
6.579 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
6.579 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
6.579 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.579 * [taylor]: Taking taylor expansion of -1 in y
6.579 * [taylor]: Taking taylor expansion of y in y
6.579 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
6.579 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.579 * [taylor]: Taking taylor expansion of y in y
6.580 * [taylor]: Taking taylor expansion of y in y
6.583 * [taylor]: Taking taylor expansion of 0 in y
6.595 * [taylor]: Taking taylor expansion of 0 in y
6.606 * [taylor]: Taking taylor expansion of 0 in y
6.606 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
6.606 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0
6.606 * [taylor]: Taking taylor expansion of (sinh y) in y
6.606 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
6.606 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
6.606 * [taylor]: Taking taylor expansion of (exp y) in y
6.606 * [taylor]: Taking taylor expansion of y in y
6.606 * [taylor]: Taking taylor expansion of (exp (- y)) in y
6.606 * [taylor]: Taking taylor expansion of (- y) in y
6.606 * [taylor]: Taking taylor expansion of y in y
6.607 * [taylor]: Taking taylor expansion of 2 in y
6.609 * [taylor]: Taking taylor expansion of (sinh y) in y
6.609 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
6.609 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
6.609 * [taylor]: Taking taylor expansion of (exp y) in y
6.609 * [taylor]: Taking taylor expansion of y in y
6.609 * [taylor]: Taking taylor expansion of (exp (- y)) in y
6.610 * [taylor]: Taking taylor expansion of (- y) in y
6.610 * [taylor]: Taking taylor expansion of y in y
6.610 * [taylor]: Taking taylor expansion of 2 in y
6.636 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0
6.636 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
6.636 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
6.636 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
6.636 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
6.636 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.636 * [taylor]: Taking taylor expansion of y in y
6.637 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
6.637 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
6.637 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.637 * [taylor]: Taking taylor expansion of y in y
6.637 * [taylor]: Taking taylor expansion of 2 in y
6.638 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
6.638 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
6.638 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
6.638 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
6.638 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.638 * [taylor]: Taking taylor expansion of y in y
6.638 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
6.638 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
6.638 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.638 * [taylor]: Taking taylor expansion of y in y
6.639 * [taylor]: Taking taylor expansion of 2 in y
6.651 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0
6.651 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
6.651 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
6.651 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
6.651 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
6.651 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.651 * [taylor]: Taking taylor expansion of -1 in y
6.651 * [taylor]: Taking taylor expansion of y in y
6.651 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
6.651 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
6.651 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.651 * [taylor]: Taking taylor expansion of -1 in y
6.651 * [taylor]: Taking taylor expansion of y in y
6.652 * [taylor]: Taking taylor expansion of 2 in y
6.652 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
6.652 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
6.652 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
6.652 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
6.652 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.652 * [taylor]: Taking taylor expansion of -1 in y
6.652 * [taylor]: Taking taylor expansion of y in y
6.653 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
6.653 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
6.653 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.653 * [taylor]: Taking taylor expansion of -1 in y
6.653 * [taylor]: Taking taylor expansion of y in y
6.653 * [taylor]: Taking taylor expansion of 2 in y
6.664 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
6.664 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0
6.664 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
6.664 * [taylor]: Taking taylor expansion of (sinh y) in y
6.665 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
6.665 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
6.665 * [taylor]: Taking taylor expansion of (exp y) in y
6.665 * [taylor]: Taking taylor expansion of y in y
6.665 * [taylor]: Taking taylor expansion of (exp (- y)) in y
6.665 * [taylor]: Taking taylor expansion of (- y) in y
6.665 * [taylor]: Taking taylor expansion of y in y
6.665 * [taylor]: Taking taylor expansion of 2 in y
6.668 * [taylor]: Taking taylor expansion of y in y
6.668 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
6.668 * [taylor]: Taking taylor expansion of (sinh y) in y
6.668 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
6.668 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
6.668 * [taylor]: Taking taylor expansion of (exp y) in y
6.668 * [taylor]: Taking taylor expansion of y in y
6.668 * [taylor]: Taking taylor expansion of (exp (- y)) in y
6.668 * [taylor]: Taking taylor expansion of (- y) in y
6.668 * [taylor]: Taking taylor expansion of y in y
6.669 * [taylor]: Taking taylor expansion of 2 in y
6.671 * [taylor]: Taking taylor expansion of y in y
6.701 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0
6.701 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
6.701 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
6.701 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
6.701 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
6.701 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
6.701 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.701 * [taylor]: Taking taylor expansion of y in y
6.701 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
6.701 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
6.701 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.701 * [taylor]: Taking taylor expansion of y in y
6.702 * [taylor]: Taking taylor expansion of 2 in y
6.702 * [taylor]: Taking taylor expansion of y in y
6.702 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
6.702 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
6.702 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
6.702 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
6.702 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
6.702 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.702 * [taylor]: Taking taylor expansion of y in y
6.702 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
6.702 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
6.703 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.703 * [taylor]: Taking taylor expansion of y in y
6.703 * [taylor]: Taking taylor expansion of 2 in y
6.703 * [taylor]: Taking taylor expansion of y in y
6.722 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in (y) around 0
6.722 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
6.722 * [taylor]: Taking taylor expansion of -1 in y
6.722 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
6.722 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
6.722 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
6.722 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
6.722 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
6.722 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.722 * [taylor]: Taking taylor expansion of -1 in y
6.722 * [taylor]: Taking taylor expansion of y in y
6.722 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
6.722 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
6.722 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.723 * [taylor]: Taking taylor expansion of -1 in y
6.723 * [taylor]: Taking taylor expansion of y in y
6.723 * [taylor]: Taking taylor expansion of 2 in y
6.723 * [taylor]: Taking taylor expansion of y in y
6.723 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
6.723 * [taylor]: Taking taylor expansion of -1 in y
6.723 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
6.723 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
6.723 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
6.723 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
6.723 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
6.723 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.723 * [taylor]: Taking taylor expansion of -1 in y
6.724 * [taylor]: Taking taylor expansion of y in y
6.724 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
6.724 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
6.724 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.724 * [taylor]: Taking taylor expansion of -1 in y
6.724 * [taylor]: Taking taylor expansion of y in y
6.724 * [taylor]: Taking taylor expansion of 2 in y
6.725 * [taylor]: Taking taylor expansion of y in y
6.750 * * * [progress]: simplifying candidates
6.752 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (sin x) (/ (sinh y) y)))
  (log1p (* (sin x) (/ (sinh y) y)))
  (* (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))
  (expm1 (sinh y))
  (log1p (sinh y))
  (- (exp y) (exp (- 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))
  (expm1 (/ (sinh y) y))
  (log1p (/ (sinh y) y))
  (- (log (sinh y)) (log y))
  (log (/ (sinh y) y))
  (exp (/ (sinh y) y))
  (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* y y) y))
  (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))
  (cbrt (/ (sinh y) y))
  (* (* (/ (sinh y) y) (/ (sinh y) y)) (/ (sinh y) y))
  (sqrt (/ (sinh y) y))
  (sqrt (/ (sinh y) y))
  (- (sinh y))
  (- y)
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (sinh y)) (cbrt y))
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))
  (/ (cbrt (sinh y)) (sqrt y))
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)
  (/ (cbrt (sinh y)) y)
  (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (sinh y)) (cbrt y))
  (/ (sqrt (sinh y)) (sqrt y))
  (/ (sqrt (sinh y)) (sqrt y))
  (/ (sqrt (sinh y)) 1)
  (/ (sqrt (sinh y)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (sinh y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (sinh y) (sqrt y))
  (/ 1 1)
  (/ (sinh y) y)
  (/ 1 y)
  (/ y (sinh y))
  (/ (sinh y) (* (cbrt y) (cbrt y)))
  (/ (sinh y) (sqrt y))
  (/ (sinh y) 1)
  (/ y (cbrt (sinh y)))
  (/ y (sqrt (sinh y)))
  (/ y (sinh y))
  (* y 2)
  (- (+ (* 1/6 (* x (pow y 2))) x) (* 1/6 (pow x 3)))
  (/ (- (* 1/2 (* (sin x) (exp y))) (* 1/2 (* (exp (- y)) (sin x)))) y)
  (* -1 (/ (- (* 1/2 (* (sin x) (exp (* -1 y)))) (* 1/2 (* (sin x) (exp y)))) y))
  (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))
  (* 1/2 (- (exp y) (exp (- y))))
  (* 1/2 (- (exp y) (exp (* -1 y))))
  (+ (* 1/6 (pow y 2)) (+ (* 1/120 (pow y 4)) 1))
  (/ (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) y)
  (* -1 (/ (- (* 1/2 (exp (* -1 y))) (* 1/2 (exp y))) y))
6.759 * * [simplify]: iteration  0 :  146  enodes  (cost  764 )
6.785 * * [simplify]: iteration  1 :  353  enodes  (cost  716 )
6.873 * * [simplify]: iteration  2 :  1337  enodes  (cost  650 )
7.280 * * [simplify]: iteration  done :  5000  enodes  (cost  638 )
7.281 * [simplify]: Simplified to:
   (expm1 (* (sin x) (/ (sinh y) y)))
  (log1p (* (sin x) (/ (sinh y) y)))
  (* (sin x) (/ (sinh y) y))
  (log (* (sin x) (/ (sinh y) y)))
  (log (* (sin x) (/ (sinh y) y)))
  (log (* (sin x) (/ (sinh y) y)))
  (exp (* (sin x) (/ (sinh y) y)))
  (pow (* (sin x) (/ (sinh y) y)) 3)
  (pow (* (sin x) (/ (sinh y) y)) 3)
  (* (cbrt (* (sin x) (/ (sinh y) y))) (cbrt (* (sin x) (/ (sinh y) y))))
  (cbrt (* (sin x) (/ (sinh y) y)))
  (pow (* (sin x) (/ (sinh y) y)) 3)
  (sqrt (* (sin x) (/ (sinh y) y)))
  (sqrt (* (sin x) (/ (sinh y) y)))
  (* (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)))
  (* (* (cbrt (sinh y)) (cbrt (sinh y))) (sin x))
  (* (sin x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))
  (* (sin x) (/ (sqrt (sinh y)) (sqrt y)))
  (* (sqrt (sinh y)) (sin x))
  (/ (sin x) (* (cbrt y) (cbrt y)))
  (/ (sin x) (sqrt y))
  (sin x)
  (sin x)
  (* (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))
  (expm1 (sinh y))
  (log1p (sinh y))
  (- (exp y) (exp (- 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))
  (expm1 (/ (sinh y) y))
  (log1p (/ (sinh y) y))
  (log (/ (sinh y) y))
  (log (/ (sinh y) y))
  (exp (/ (sinh y) y))
  (pow (/ (sinh y) y) 3)
  (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))
  (cbrt (/ (sinh y) y))
  (pow (/ (sinh y) y) 3)
  (sqrt (/ (sinh y) y))
  (sqrt (/ (sinh y) y))
  (- (sinh y))
  (- 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)
  (- (fma 1/6 (* x (pow y 2)) x) (* 1/6 (pow x 3)))
  (* (sin x) (/ (sinh y) y))
  (/ (* -1/2 (* (sin x) (- (exp (- y)) (exp y)))) y)
  (fma 1/6 (pow y 3) (fma 1/120 (pow y 5) y))
  (* 1/2 (- (exp y) (exp (- y))))
  (* 1/2 (- (exp y) (exp (- y))))
  (fma 1/6 (* y y) (fma 1/120 (pow y 4) 1))
  (/ (sinh y) y)
  (/ (* -1/2 (- (exp (- y)) (exp y))) y)
7.281 * * * [progress]: adding candidates to table
7.472 * * [progress]: iteration 2 / 4
7.472 * * * [progress]: picking best candidate
7.480 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))>
7.480 * * * [progress]: localizing error
7.489 * * * [progress]: generating rewritten candidates
7.489 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
7.501 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
7.501 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1)
7.502 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
7.528 * * * [progress]: generating series expansions
7.529 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
7.529 * [approximate]: Taking taylor expansion of (* (sqrt (/ (sinh y) y)) (sin x)) in (x y) around 0
7.529 * [taylor]: Taking taylor expansion of (* (sqrt (/ (sinh y) y)) (sin x)) in y
7.529 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in y
7.529 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
7.529 * [taylor]: Taking taylor expansion of (sinh y) in y
7.529 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
7.529 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
7.529 * [taylor]: Taking taylor expansion of (exp y) in y
7.529 * [taylor]: Taking taylor expansion of y in y
7.529 * [taylor]: Taking taylor expansion of (exp (- y)) in y
7.529 * [taylor]: Taking taylor expansion of (- y) in y
7.529 * [taylor]: Taking taylor expansion of y in y
7.530 * [taylor]: Taking taylor expansion of 2 in y
7.532 * [taylor]: Taking taylor expansion of y in y
7.537 * [taylor]: Taking taylor expansion of (sin x) in y
7.537 * [taylor]: Taking taylor expansion of x in y
7.537 * [taylor]: Taking taylor expansion of (* (sqrt (/ (sinh y) y)) (sin x)) in x
7.537 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in x
7.537 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in x
7.537 * [taylor]: Taking taylor expansion of (sinh y) in x
7.537 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
7.537 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
7.537 * [taylor]: Taking taylor expansion of (exp y) in x
7.537 * [taylor]: Taking taylor expansion of y in x
7.537 * [taylor]: Taking taylor expansion of (exp (- y)) in x
7.537 * [taylor]: Taking taylor expansion of (- y) in x
7.537 * [taylor]: Taking taylor expansion of y in x
7.537 * [taylor]: Taking taylor expansion of 2 in x
7.537 * [taylor]: Taking taylor expansion of y in x
7.540 * [taylor]: Taking taylor expansion of (sin x) in x
7.540 * [taylor]: Taking taylor expansion of x in x
7.540 * [taylor]: Taking taylor expansion of (* (sqrt (/ (sinh y) y)) (sin x)) in x
7.540 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in x
7.540 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in x
7.540 * [taylor]: Taking taylor expansion of (sinh y) in x
7.540 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
7.540 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
7.540 * [taylor]: Taking taylor expansion of (exp y) in x
7.540 * [taylor]: Taking taylor expansion of y in x
7.540 * [taylor]: Taking taylor expansion of (exp (- y)) in x
7.540 * [taylor]: Taking taylor expansion of (- y) in x
7.540 * [taylor]: Taking taylor expansion of y in x
7.540 * [taylor]: Taking taylor expansion of 2 in x
7.540 * [taylor]: Taking taylor expansion of y in x
7.543 * [taylor]: Taking taylor expansion of (sin x) in x
7.543 * [taylor]: Taking taylor expansion of x in x
7.544 * [taylor]: Taking taylor expansion of 0 in y
7.545 * [taylor]: Taking taylor expansion of (* (sqrt (/ (- (exp y) (exp (- y))) y)) (sqrt 1/2)) in y
7.545 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp y) (exp (- y))) y)) in y
7.545 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (- y))) y) in y
7.545 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
7.545 * [taylor]: Taking taylor expansion of (exp y) in y
7.545 * [taylor]: Taking taylor expansion of y in y
7.545 * [taylor]: Taking taylor expansion of (exp (- y)) in y
7.545 * [taylor]: Taking taylor expansion of (- y) in y
7.545 * [taylor]: Taking taylor expansion of y in y
7.545 * [taylor]: Taking taylor expansion of y in y
7.551 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y
7.551 * [taylor]: Taking taylor expansion of 1/2 in y
7.563 * [taylor]: Taking taylor expansion of 0 in y
7.570 * [taylor]: Taking taylor expansion of (- (* 1/6 (* (sqrt (/ (- (exp y) (exp (- y))) y)) (sqrt 1/2)))) in y
7.570 * [taylor]: Taking taylor expansion of (* 1/6 (* (sqrt (/ (- (exp y) (exp (- y))) y)) (sqrt 1/2))) in y
7.570 * [taylor]: Taking taylor expansion of 1/6 in y
7.570 * [taylor]: Taking taylor expansion of (* (sqrt (/ (- (exp y) (exp (- y))) y)) (sqrt 1/2)) in y
7.570 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp y) (exp (- y))) y)) in y
7.570 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (- y))) y) in y
7.570 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
7.570 * [taylor]: Taking taylor expansion of (exp y) in y
7.571 * [taylor]: Taking taylor expansion of y in y
7.571 * [taylor]: Taking taylor expansion of (exp (- y)) in y
7.571 * [taylor]: Taking taylor expansion of (- y) in y
7.571 * [taylor]: Taking taylor expansion of y in y
7.571 * [taylor]: Taking taylor expansion of y in y
7.577 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y
7.577 * [taylor]: Taking taylor expansion of 1/2 in y
7.599 * [approximate]: Taking taylor expansion of (* (sqrt (* (sinh (/ 1 y)) y)) (sin (/ 1 x))) in (x y) around 0
7.599 * [taylor]: Taking taylor expansion of (* (sqrt (* (sinh (/ 1 y)) y)) (sin (/ 1 x))) in y
7.599 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in y
7.599 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
7.599 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
7.599 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
7.599 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
7.599 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
7.599 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.599 * [taylor]: Taking taylor expansion of y in y
7.600 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
7.600 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
7.600 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.600 * [taylor]: Taking taylor expansion of y in y
7.600 * [taylor]: Taking taylor expansion of 2 in y
7.600 * [taylor]: Taking taylor expansion of y in y
7.603 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
7.603 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.603 * [taylor]: Taking taylor expansion of x in y
7.603 * [taylor]: Taking taylor expansion of (* (sqrt (* (sinh (/ 1 y)) y)) (sin (/ 1 x))) in x
7.603 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in x
7.603 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in x
7.603 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
7.603 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
7.603 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
7.603 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
7.603 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.603 * [taylor]: Taking taylor expansion of y in x
7.603 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
7.603 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
7.603 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.603 * [taylor]: Taking taylor expansion of y in x
7.603 * [taylor]: Taking taylor expansion of 2 in x
7.603 * [taylor]: Taking taylor expansion of y in x
7.606 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
7.606 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.606 * [taylor]: Taking taylor expansion of x in x
7.607 * [taylor]: Taking taylor expansion of (* (sqrt (* (sinh (/ 1 y)) y)) (sin (/ 1 x))) in x
7.607 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in x
7.607 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in x
7.607 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
7.607 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
7.607 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
7.607 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
7.607 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.607 * [taylor]: Taking taylor expansion of y in x
7.607 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
7.607 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
7.607 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.607 * [taylor]: Taking taylor expansion of y in x
7.607 * [taylor]: Taking taylor expansion of 2 in x
7.607 * [taylor]: Taking taylor expansion of y in x
7.610 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
7.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.610 * [taylor]: Taking taylor expansion of x in x
7.611 * [taylor]: Taking taylor expansion of (* (* (sqrt 1/2) (sin (/ 1 x))) (sqrt (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y
7.611 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sin (/ 1 x))) in y
7.611 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y
7.611 * [taylor]: Taking taylor expansion of 1/2 in y
7.612 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
7.612 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.612 * [taylor]: Taking taylor expansion of x in y
7.612 * [taylor]: Taking taylor expansion of (sqrt (* y (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y
7.612 * [taylor]: Taking taylor expansion of (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y
7.612 * [taylor]: Taking taylor expansion of y in y
7.612 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
7.612 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
7.612 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.612 * [taylor]: Taking taylor expansion of y in y
7.612 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
7.612 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
7.612 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.612 * [taylor]: Taking taylor expansion of y in y
7.616 * [taylor]: Taking taylor expansion of 0 in y
7.624 * [taylor]: Taking taylor expansion of 0 in y
7.644 * [taylor]: Taking taylor expansion of 0 in y
7.663 * [approximate]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (* -1 (* (sinh (/ -1 y)) y)))) in (x y) around 0
7.663 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (* -1 (* (sinh (/ -1 y)) y)))) in y
7.663 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
7.663 * [taylor]: Taking taylor expansion of (/ -1 x) in y
7.663 * [taylor]: Taking taylor expansion of -1 in y
7.663 * [taylor]: Taking taylor expansion of x in y
7.663 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in y
7.663 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
7.663 * [taylor]: Taking taylor expansion of -1 in y
7.663 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
7.663 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
7.663 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
7.663 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
7.663 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
7.663 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.663 * [taylor]: Taking taylor expansion of -1 in y
7.663 * [taylor]: Taking taylor expansion of y in y
7.664 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
7.664 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
7.664 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.664 * [taylor]: Taking taylor expansion of -1 in y
7.664 * [taylor]: Taking taylor expansion of y in y
7.664 * [taylor]: Taking taylor expansion of 2 in y
7.664 * [taylor]: Taking taylor expansion of y in y
7.667 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (* -1 (* (sinh (/ -1 y)) y)))) in x
7.667 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
7.667 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.667 * [taylor]: Taking taylor expansion of -1 in x
7.667 * [taylor]: Taking taylor expansion of x in x
7.668 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in x
7.668 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in x
7.668 * [taylor]: Taking taylor expansion of -1 in x
7.668 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in x
7.668 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
7.668 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
7.668 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
7.668 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
7.668 * [taylor]: Taking taylor expansion of (/ -1 y) in x
7.668 * [taylor]: Taking taylor expansion of -1 in x
7.668 * [taylor]: Taking taylor expansion of y in x
7.668 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
7.668 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
7.668 * [taylor]: Taking taylor expansion of (/ -1 y) in x
7.668 * [taylor]: Taking taylor expansion of -1 in x
7.668 * [taylor]: Taking taylor expansion of y in x
7.668 * [taylor]: Taking taylor expansion of 2 in x
7.668 * [taylor]: Taking taylor expansion of y in x
7.671 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (* -1 (* (sinh (/ -1 y)) y)))) in x
7.671 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
7.672 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.672 * [taylor]: Taking taylor expansion of -1 in x
7.672 * [taylor]: Taking taylor expansion of x in x
7.672 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in x
7.672 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in x
7.672 * [taylor]: Taking taylor expansion of -1 in x
7.672 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in x
7.672 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
7.672 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
7.672 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
7.672 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
7.672 * [taylor]: Taking taylor expansion of (/ -1 y) in x
7.672 * [taylor]: Taking taylor expansion of -1 in x
7.672 * [taylor]: Taking taylor expansion of y in x
7.672 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
7.672 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
7.672 * [taylor]: Taking taylor expansion of (/ -1 y) in x
7.672 * [taylor]: Taking taylor expansion of -1 in x
7.672 * [taylor]: Taking taylor expansion of y in x
7.672 * [taylor]: Taking taylor expansion of 2 in x
7.673 * [taylor]: Taking taylor expansion of y in x
7.676 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)))) in y
7.676 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
7.676 * [taylor]: Taking taylor expansion of (/ -1 x) in y
7.676 * [taylor]: Taking taylor expansion of -1 in y
7.676 * [taylor]: Taking taylor expansion of x in y
7.676 * [taylor]: Taking taylor expansion of (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) in y
7.676 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)) in y
7.676 * [taylor]: Taking taylor expansion of -1/2 in y
7.676 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) y) in y
7.676 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
7.676 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
7.676 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.676 * [taylor]: Taking taylor expansion of -1 in y
7.676 * [taylor]: Taking taylor expansion of y in y
7.677 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
7.677 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.677 * [taylor]: Taking taylor expansion of y in y
7.677 * [taylor]: Taking taylor expansion of y in y
7.679 * [taylor]: Taking taylor expansion of 0 in y
7.687 * [taylor]: Taking taylor expansion of 0 in y
7.700 * [taylor]: Taking taylor expansion of 0 in y
7.712 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
7.712 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0
7.712 * [taylor]: Taking taylor expansion of (sinh y) in y
7.712 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
7.712 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
7.712 * [taylor]: Taking taylor expansion of (exp y) in y
7.712 * [taylor]: Taking taylor expansion of y in y
7.712 * [taylor]: Taking taylor expansion of (exp (- y)) in y
7.712 * [taylor]: Taking taylor expansion of (- y) in y
7.712 * [taylor]: Taking taylor expansion of y in y
7.713 * [taylor]: Taking taylor expansion of 2 in y
7.715 * [taylor]: Taking taylor expansion of (sinh y) in y
7.716 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
7.716 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
7.716 * [taylor]: Taking taylor expansion of (exp y) in y
7.716 * [taylor]: Taking taylor expansion of y in y
7.716 * [taylor]: Taking taylor expansion of (exp (- y)) in y
7.716 * [taylor]: Taking taylor expansion of (- y) in y
7.716 * [taylor]: Taking taylor expansion of y in y
7.716 * [taylor]: Taking taylor expansion of 2 in y
7.747 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0
7.747 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
7.747 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
7.747 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
7.747 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
7.747 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.747 * [taylor]: Taking taylor expansion of y in y
7.748 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
7.748 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
7.748 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.748 * [taylor]: Taking taylor expansion of y in y
7.748 * [taylor]: Taking taylor expansion of 2 in y
7.748 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
7.748 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
7.748 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
7.748 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
7.748 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.749 * [taylor]: Taking taylor expansion of y in y
7.749 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
7.749 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
7.749 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.749 * [taylor]: Taking taylor expansion of y in y
7.749 * [taylor]: Taking taylor expansion of 2 in y
7.761 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0
7.761 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
7.761 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
7.761 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
7.761 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
7.761 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.761 * [taylor]: Taking taylor expansion of -1 in y
7.761 * [taylor]: Taking taylor expansion of y in y
7.761 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
7.761 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
7.761 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.761 * [taylor]: Taking taylor expansion of -1 in y
7.761 * [taylor]: Taking taylor expansion of y in y
7.762 * [taylor]: Taking taylor expansion of 2 in y
7.762 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
7.762 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
7.762 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
7.762 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
7.762 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.762 * [taylor]: Taking taylor expansion of -1 in y
7.762 * [taylor]: Taking taylor expansion of y in y
7.762 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
7.762 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
7.762 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.763 * [taylor]: Taking taylor expansion of -1 in y
7.763 * [taylor]: Taking taylor expansion of y in y
7.763 * [taylor]: Taking taylor expansion of 2 in y
7.774 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1)
7.774 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0
7.774 * [taylor]: Taking taylor expansion of (sinh y) in y
7.775 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
7.775 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
7.775 * [taylor]: Taking taylor expansion of (exp y) in y
7.775 * [taylor]: Taking taylor expansion of y in y
7.775 * [taylor]: Taking taylor expansion of (exp (- y)) in y
7.775 * [taylor]: Taking taylor expansion of (- y) in y
7.775 * [taylor]: Taking taylor expansion of y in y
7.775 * [taylor]: Taking taylor expansion of 2 in y
7.778 * [taylor]: Taking taylor expansion of (sinh y) in y
7.778 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
7.778 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
7.778 * [taylor]: Taking taylor expansion of (exp y) in y
7.778 * [taylor]: Taking taylor expansion of y in y
7.778 * [taylor]: Taking taylor expansion of (exp (- y)) in y
7.778 * [taylor]: Taking taylor expansion of (- y) in y
7.778 * [taylor]: Taking taylor expansion of y in y
7.778 * [taylor]: Taking taylor expansion of 2 in y
7.810 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0
7.810 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
7.810 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
7.810 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
7.810 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
7.810 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.810 * [taylor]: Taking taylor expansion of y in y
7.811 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
7.811 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
7.811 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.811 * [taylor]: Taking taylor expansion of y in y
7.811 * [taylor]: Taking taylor expansion of 2 in y
7.811 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
7.811 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
7.811 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
7.811 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
7.811 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.812 * [taylor]: Taking taylor expansion of y in y
7.812 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
7.812 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
7.812 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.812 * [taylor]: Taking taylor expansion of y in y
7.812 * [taylor]: Taking taylor expansion of 2 in y
7.824 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0
7.824 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
7.824 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
7.824 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
7.824 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
7.824 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.824 * [taylor]: Taking taylor expansion of -1 in y
7.824 * [taylor]: Taking taylor expansion of y in y
7.825 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
7.825 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
7.825 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.825 * [taylor]: Taking taylor expansion of -1 in y
7.825 * [taylor]: Taking taylor expansion of y in y
7.825 * [taylor]: Taking taylor expansion of 2 in y
7.825 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
7.825 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
7.825 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
7.825 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
7.826 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.826 * [taylor]: Taking taylor expansion of -1 in y
7.826 * [taylor]: Taking taylor expansion of y in y
7.826 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
7.826 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
7.826 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.826 * [taylor]: Taking taylor expansion of -1 in y
7.826 * [taylor]: Taking taylor expansion of y in y
7.826 * [taylor]: Taking taylor expansion of 2 in y
7.838 * * * * [progress]: [ 4 / 4 ] generating series at (2)
7.838 * [approximate]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in (x y) around 0
7.838 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in y
7.838 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y
7.838 * [taylor]: Taking taylor expansion of (sin x) in y
7.838 * [taylor]: Taking taylor expansion of x in y
7.838 * [taylor]: Taking taylor expansion of (sinh y) in y
7.838 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
7.838 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
7.839 * [taylor]: Taking taylor expansion of (exp y) in y
7.839 * [taylor]: Taking taylor expansion of y in y
7.839 * [taylor]: Taking taylor expansion of (exp (- y)) in y
7.839 * [taylor]: Taking taylor expansion of (- y) in y
7.839 * [taylor]: Taking taylor expansion of y in y
7.839 * [taylor]: Taking taylor expansion of 2 in y
7.842 * [taylor]: Taking taylor expansion of y in y
7.842 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x
7.842 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
7.842 * [taylor]: Taking taylor expansion of (sin x) in x
7.842 * [taylor]: Taking taylor expansion of x in x
7.842 * [taylor]: Taking taylor expansion of (sinh y) in x
7.842 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
7.842 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
7.842 * [taylor]: Taking taylor expansion of (exp y) in x
7.842 * [taylor]: Taking taylor expansion of y in x
7.842 * [taylor]: Taking taylor expansion of (exp (- y)) in x
7.842 * [taylor]: Taking taylor expansion of (- y) in x
7.842 * [taylor]: Taking taylor expansion of y in x
7.842 * [taylor]: Taking taylor expansion of 2 in x
7.842 * [taylor]: Taking taylor expansion of y in x
7.845 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x
7.845 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
7.845 * [taylor]: Taking taylor expansion of (sin x) in x
7.845 * [taylor]: Taking taylor expansion of x in x
7.845 * [taylor]: Taking taylor expansion of (sinh y) in x
7.845 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
7.845 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
7.845 * [taylor]: Taking taylor expansion of (exp y) in x
7.845 * [taylor]: Taking taylor expansion of y in x
7.846 * [taylor]: Taking taylor expansion of (exp (- y)) in x
7.846 * [taylor]: Taking taylor expansion of (- y) in x
7.846 * [taylor]: Taking taylor expansion of y in x
7.846 * [taylor]: Taking taylor expansion of 2 in x
7.846 * [taylor]: Taking taylor expansion of y in x
7.849 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) y) in y
7.849 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) in y
7.849 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y
7.849 * [taylor]: Taking taylor expansion of 1/2 in y
7.849 * [taylor]: Taking taylor expansion of (exp y) in y
7.849 * [taylor]: Taking taylor expansion of y in y
7.849 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- y))) in y
7.849 * [taylor]: Taking taylor expansion of 1/2 in y
7.849 * [taylor]: Taking taylor expansion of (exp (- y)) in y
7.849 * [taylor]: Taking taylor expansion of (- y) in y
7.849 * [taylor]: Taking taylor expansion of y in y
7.849 * [taylor]: Taking taylor expansion of y in y
7.858 * [taylor]: Taking taylor expansion of 0 in y
7.868 * [taylor]: Taking taylor expansion of (- (* 1/12 (/ (exp (- y)) y)) (* 1/12 (/ (exp y) y))) in y
7.868 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp (- y)) y)) in y
7.868 * [taylor]: Taking taylor expansion of 1/12 in y
7.868 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
7.868 * [taylor]: Taking taylor expansion of (exp (- y)) in y
7.868 * [taylor]: Taking taylor expansion of (- y) in y
7.868 * [taylor]: Taking taylor expansion of y in y
7.869 * [taylor]: Taking taylor expansion of y in y
7.869 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp y) y)) in y
7.869 * [taylor]: Taking taylor expansion of 1/12 in y
7.869 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
7.869 * [taylor]: Taking taylor expansion of (exp y) in y
7.869 * [taylor]: Taking taylor expansion of y in y
7.869 * [taylor]: Taking taylor expansion of y in y
7.879 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in (x y) around 0
7.879 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in y
7.879 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
7.879 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
7.879 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
7.879 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
7.879 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.879 * [taylor]: Taking taylor expansion of y in y
7.880 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
7.880 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
7.880 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.880 * [taylor]: Taking taylor expansion of y in y
7.880 * [taylor]: Taking taylor expansion of 2 in y
7.880 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in y
7.880 * [taylor]: Taking taylor expansion of y in y
7.880 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
7.880 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.880 * [taylor]: Taking taylor expansion of x in y
7.880 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x
7.881 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
7.881 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
7.881 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
7.881 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
7.881 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.881 * [taylor]: Taking taylor expansion of y in x
7.881 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
7.881 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
7.881 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.881 * [taylor]: Taking taylor expansion of y in x
7.881 * [taylor]: Taking taylor expansion of 2 in x
7.881 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x
7.881 * [taylor]: Taking taylor expansion of y in x
7.881 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
7.881 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.881 * [taylor]: Taking taylor expansion of x in x
7.881 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x
7.881 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
7.882 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
7.882 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
7.882 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
7.882 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.882 * [taylor]: Taking taylor expansion of y in x
7.882 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
7.882 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
7.882 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.882 * [taylor]: Taking taylor expansion of y in x
7.882 * [taylor]: Taking taylor expansion of 2 in x
7.882 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x
7.882 * [taylor]: Taking taylor expansion of y in x
7.882 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
7.882 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.882 * [taylor]: Taking taylor expansion of x in x
7.883 * [taylor]: Taking taylor expansion of (* 1/2 (* y (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y
7.883 * [taylor]: Taking taylor expansion of 1/2 in y
7.883 * [taylor]: Taking taylor expansion of (* y (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y
7.883 * [taylor]: Taking taylor expansion of y in y
7.883 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y
7.883 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
7.883 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.883 * [taylor]: Taking taylor expansion of x in y
7.883 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
7.883 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
7.883 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.883 * [taylor]: Taking taylor expansion of y in y
7.884 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
7.884 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
7.884 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.884 * [taylor]: Taking taylor expansion of y in y
7.887 * [taylor]: Taking taylor expansion of 0 in y
7.900 * [taylor]: Taking taylor expansion of 0 in y
7.910 * [taylor]: Taking taylor expansion of 0 in y
7.910 * [approximate]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2)) in (x y) around 0
7.910 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2)) in y
7.910 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
7.910 * [taylor]: Taking taylor expansion of (/ -1 x) in y
7.910 * [taylor]: Taking taylor expansion of -1 in y
7.910 * [taylor]: Taking taylor expansion of x in y
7.911 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2) in y
7.911 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in y
7.911 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
7.911 * [taylor]: Taking taylor expansion of -1 in y
7.911 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
7.911 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
7.911 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
7.911 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
7.911 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
7.911 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.911 * [taylor]: Taking taylor expansion of -1 in y
7.911 * [taylor]: Taking taylor expansion of y in y
7.911 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
7.911 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
7.911 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.911 * [taylor]: Taking taylor expansion of -1 in y
7.911 * [taylor]: Taking taylor expansion of y in y
7.912 * [taylor]: Taking taylor expansion of 2 in y
7.912 * [taylor]: Taking taylor expansion of y in y
7.915 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2)) in x
7.915 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
7.915 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.915 * [taylor]: Taking taylor expansion of -1 in x
7.915 * [taylor]: Taking taylor expansion of x in x
7.915 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2) in x
7.916 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in x
7.916 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in x
7.916 * [taylor]: Taking taylor expansion of -1 in x
7.916 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in x
7.916 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
7.916 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
7.916 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
7.916 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
7.916 * [taylor]: Taking taylor expansion of (/ -1 y) in x
7.916 * [taylor]: Taking taylor expansion of -1 in x
7.916 * [taylor]: Taking taylor expansion of y in x
7.916 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
7.916 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
7.916 * [taylor]: Taking taylor expansion of (/ -1 y) in x
7.916 * [taylor]: Taking taylor expansion of -1 in x
7.916 * [taylor]: Taking taylor expansion of y in x
7.916 * [taylor]: Taking taylor expansion of 2 in x
7.916 * [taylor]: Taking taylor expansion of y in x
7.920 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2)) in x
7.920 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
7.920 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.920 * [taylor]: Taking taylor expansion of -1 in x
7.920 * [taylor]: Taking taylor expansion of x in x
7.920 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2) in x
7.920 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in x
7.920 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in x
7.920 * [taylor]: Taking taylor expansion of -1 in x
7.920 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in x
7.920 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
7.920 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
7.920 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
7.920 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
7.920 * [taylor]: Taking taylor expansion of (/ -1 y) in x
7.920 * [taylor]: Taking taylor expansion of -1 in x
7.920 * [taylor]: Taking taylor expansion of y in x
7.920 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
7.920 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
7.920 * [taylor]: Taking taylor expansion of (/ -1 y) in x
7.920 * [taylor]: Taking taylor expansion of -1 in x
7.920 * [taylor]: Taking taylor expansion of y in x
7.921 * [taylor]: Taking taylor expansion of 2 in x
7.921 * [taylor]: Taking taylor expansion of y in x
7.924 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) 2)) in y
7.924 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
7.924 * [taylor]: Taking taylor expansion of (/ -1 x) in y
7.925 * [taylor]: Taking taylor expansion of -1 in y
7.925 * [taylor]: Taking taylor expansion of x in y
7.925 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) 2) in y
7.925 * [taylor]: Taking taylor expansion of (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) in y
7.925 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)) in y
7.925 * [taylor]: Taking taylor expansion of -1/2 in y
7.925 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) y) in y
7.925 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
7.925 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
7.925 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.925 * [taylor]: Taking taylor expansion of -1 in y
7.925 * [taylor]: Taking taylor expansion of y in y
7.925 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
7.925 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.925 * [taylor]: Taking taylor expansion of y in y
7.925 * [taylor]: Taking taylor expansion of y in y
7.929 * [taylor]: Taking taylor expansion of 0 in y
7.942 * [taylor]: Taking taylor expansion of 0 in y
7.961 * * * [progress]: simplifying candidates
7.962 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (sin x) (sqrt (/ (sinh y) y))))
  (log1p (* (sin x) (sqrt (/ (sinh y) y))))
  (* (sin x) (sqrt (/ (sinh y) y)))
  (+ (log (sin x)) (log (sqrt (/ (sinh y) y))))
  (log (* (sin x) (sqrt (/ (sinh y) y))))
  (exp (* (sin x) (sqrt (/ (sinh y) y))))
  (* (* (* (sin x) (sin x)) (sin x)) (* (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (* (cbrt (* (sin x) (sqrt (/ (sinh y) y)))) (cbrt (* (sin x) (sqrt (/ (sinh y) y)))))
  (cbrt (* (sin x) (sqrt (/ (sinh y) y))))
  (* (* (* (sin x) (sqrt (/ (sinh y) y))) (* (sin x) (sqrt (/ (sinh y) y)))) (* (sin x) (sqrt (/ (sinh y) y))))
  (sqrt (* (sin x) (sqrt (/ (sinh y) y))))
  (sqrt (* (sin x) (sqrt (/ (sinh y) y))))
  (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y))))
  (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y))))
  (* (sqrt (sin x)) (sqrt (/ (sqrt (sinh y)) (sqrt y))))
  (* (sqrt (sin x)) (sqrt (/ (sqrt (sinh y)) (sqrt y))))
  (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y))))
  (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y))))
  (* (sin x) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y)))))
  (* (sin x) (sqrt (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))))
  (* (sin x) (sqrt (sqrt (/ (sinh y) y))))
  (* (sin x) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))))
  (* (sin x) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))))
  (* (sin x) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)))
  (* (sin x) (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))))
  (* (sin x) (sqrt (/ (sqrt (sinh y)) (sqrt y))))
  (* (sin x) (sqrt (/ (sqrt (sinh y)) 1)))
  (* (sin x) (sqrt (/ 1 (* (cbrt y) (cbrt y)))))
  (* (sin x) (sqrt (/ 1 (sqrt y))))
  (* (sin x) (sqrt (/ 1 1)))
  (* (sin x) (sqrt 1))
  (* (sin x) (sqrt (sinh y)))
  (* (sin x) (sqrt (sqrt (/ (sinh y) y))))
  (* (sin x) 1)
  (* (cbrt (sin x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (sin x)) (sqrt (/ (sinh y) y)))
  (* (sin x) (sqrt (/ (sinh y) y)))
  (* (sin x) (sqrt (sinh y)))
  (expm1 (sinh y))
  (log1p (sinh y))
  (- (exp y) (exp (- 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))
  (expm1 (sinh y))
  (log1p (sinh y))
  (- (exp y) (exp (- 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))
  (expm1 (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (log1p (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))
  (+ (+ (log (sin x)) (log (sqrt (/ (sinh y) y)))) (log (sqrt (/ (sinh y) y))))
  (+ (log (* (sin x) (sqrt (/ (sinh y) y)))) (log (sqrt (/ (sinh y) y))))
  (log (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (exp (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (* (* (* (* (sin x) (sin x)) (sin x)) (* (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (* (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (* (* (* (* (sin x) (sqrt (/ (sinh y) y))) (* (sin x) (sqrt (/ (sinh y) y)))) (* (sin x) (sqrt (/ (sinh y) y)))) (* (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (* (cbrt (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (cbrt (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))))
  (cbrt (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (* (* (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (sqrt (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (sqrt (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (* (* (sin x) (sqrt (sinh y))) (sqrt (sinh y)))
  (* (sqrt y) (sqrt y))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y)))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sqrt (sinh y)) (sqrt y))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sqrt (sinh y)) 1)))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ 1 (* (cbrt y) (cbrt y)))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ 1 (sqrt y))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ 1 1)))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt 1))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sinh y)))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) 1)
  (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y)))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sinh y)))
  (* (* (sin x) (sqrt (sinh y))) (sqrt (/ (sinh y) y)))
  (- (+ (* 1/6 (/ (* x (* (sqrt 1/2) (pow y 2))) (sqrt 2))) (* x (* (sqrt 2) (sqrt 1/2)))) (* 1/6 (* (pow x 3) (* (sqrt 2) (sqrt 1/2)))))
  (- (+ (* +nan.0 (/ (* (sin x) (* (exp y) (sqrt 1/2))) y)) (- (+ (* +nan.0 (/ (* (sin x) (* (pow (exp y) 2) (sqrt 1/2))) (pow y 2))) (- (+ (* +nan.0 (/ (* (pow (exp (- y)) 2) (* (sin x) (sqrt 1/2))) (pow y 2))) (- (+ (* +nan.0 (/ (* (exp (- y)) (* (sin x) (* (exp y) (sqrt 1/2)))) (pow y 2))) (- (+ (* +nan.0 (/ (* (exp (- y)) (* (sin x) (sqrt 1/2))) y)) (- (+ (* +nan.0 (/ (* (pow (exp (- y)) 3) (* (sin x) (sqrt 1/2))) (pow y 3))) (- (+ (* +nan.0 (/ (* (sin x) (* (pow (exp y) 3) (sqrt 1/2))) (pow y 3))) (- (+ (* +nan.0 (/ (* (exp (- y)) (* (sin x) (* (pow (exp y) 2) (sqrt 1/2)))) (pow y 3))) (- (* +nan.0 (/ (* (pow (exp (- y)) 2) (* (sin x) (* (exp y) (sqrt 1/2)))) (pow y 3))))))))))))))))))))
  (- (+ (* +nan.0 (/ (* (sin x) (pow (exp y) 2)) (pow y 2))) (- (+ (* +nan.0 (/ (* (sin x) (* (exp y) (pow (exp (* -1 y)) 2))) (pow y 3))) (- (+ (* +nan.0 (/ (* (sin x) (* (exp y) (exp (* -1 y)))) (pow y 2))) (- (+ (* +nan.0 (/ (* (sin x) (exp (* -1 y))) y)) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp y) 3)) (pow y 3))) (- (+ (* +nan.0 (/ (* (sin x) (exp y)) y)) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp (* -1 y)) 2)) (pow y 2))) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp (* -1 y)) 3)) (pow y 3))) (- (* +nan.0 (/ (* (sin x) (* (pow (exp y) 2) (exp (* -1 y)))) (pow y 3))))))))))))))))))))
  (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))
  (* 1/2 (- (exp y) (exp (- y))))
  (* 1/2 (- (exp y) (exp (* -1 y))))
  (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))
  (* 1/2 (- (exp y) (exp (- y))))
  (* 1/2 (- (exp y) (exp (* -1 y))))
  (- (+ (* 1/6 (* x (pow y 2))) x) (* 1/6 (pow x 3)))
  (/ (- (* 1/2 (* (sin x) (exp y))) (* 1/2 (* (exp (- y)) (sin x)))) y)
  (- (+ (* +nan.0 (/ (* (sin x) (pow (exp y) 4)) (pow y 4))) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp y) 2)) (pow y 2))) (- (+ (* +nan.0 (/ (* (sin x) (* (exp y) (pow (exp (* -1 y)) 2))) (pow y 3))) (- (+ (* +nan.0 (/ (* (sin x) (* (pow (exp y) 2) (pow (exp (* -1 y)) 2))) (pow y 4))) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp (* -1 y)) 4)) (pow y 4))) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp (* -1 y)) 2)) (pow y 2))) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp y) 3)) (pow y 3))) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp (* -1 y)) 3)) (pow y 3))) (- (+ (* +nan.0 (/ (* (sin x) (* (exp y) (exp (* -1 y)))) (pow y 2))) (- (+ (* +nan.0 (/ (* (sin x) (* (exp y) (pow (exp (* -1 y)) 3))) (pow y 4))) (- (+ (* +nan.0 (/ (* (sin x) (* (pow (exp y) 3) (exp (* -1 y)))) (pow y 4))) (- (* +nan.0 (/ (* (sin x) (* (pow (exp y) 2) (exp (* -1 y)))) (pow y 3))))))))))))))))))))))))))
7.984 * * [simplify]: iteration  0 :  307  enodes  (cost  1789 )
8.051 * * [simplify]: iteration  1 :  896  enodes  (cost  1534 )
8.291 * * [simplify]: iteration  2 :  4327  enodes  (cost  1391 )
9.381 * * [simplify]: iteration  done :  5000  enodes  (cost  1391 )
9.381 * [simplify]: Simplified to:
   (expm1 (* (sin x) (sqrt (/ (sinh y) y))))
  (log1p (* (sin x) (sqrt (/ (sinh y) y))))
  (* (sin x) (sqrt (/ (sinh y) y)))
  (log (* (sin x) (sqrt (/ (sinh y) y))))
  (log (* (sin x) (sqrt (/ (sinh y) y))))
  (exp (* (sin x) (sqrt (/ (sinh y) y))))
  (pow (* (sin x) (sqrt (/ (sinh y) y))) 3)
  (* (cbrt (* (sin x) (sqrt (/ (sinh y) y)))) (cbrt (* (sin x) (sqrt (/ (sinh y) y)))))
  (cbrt (* (sin x) (sqrt (/ (sinh y) y))))
  (pow (* (sin x) (sqrt (/ (sinh y) y))) 3)
  (sqrt (* (sin x) (sqrt (/ (sinh y) y))))
  (sqrt (* (sin x) (sqrt (/ (sinh y) y))))
  (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y))))
  (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y))))
  (* (sqrt (sin x)) (sqrt (/ (sqrt (sinh y)) (sqrt y))))
  (* (sqrt (sin x)) (sqrt (/ (sqrt (sinh y)) (sqrt y))))
  (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y))))
  (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y))))
  (* (sin x) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y)))))
  (* (sin x) (fabs (cbrt (/ (sinh y) y))))
  (* (sin x) (sqrt (sqrt (/ (sinh y) y))))
  (* (sin x) (fabs (/ (cbrt (sinh y)) (cbrt y))))
  (* (sin x) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))))
  (* (sin x) (fabs (cbrt (sinh y))))
  (* (sin x) (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))))
  (* (sin x) (sqrt (/ (sqrt (sinh y)) (sqrt y))))
  (* (sin x) (sqrt (sqrt (sinh y))))
  (* (sin x) (sqrt (/ 1 (* (cbrt y) (cbrt y)))))
  (* (sin x) (sqrt (/ 1 (sqrt y))))
  (sin x)
  (sin x)
  (* (sin x) (sqrt (sinh y)))
  (* (sin x) (sqrt (sqrt (/ (sinh y) y))))
  (sin x)
  (* (cbrt (sin x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (sin x)) (sqrt (/ (sinh y) y)))
  (* (sin x) (sqrt (/ (sinh y) y)))
  (* (sin x) (sqrt (sinh y)))
  (expm1 (sinh y))
  (log1p (sinh y))
  (- (exp y) (exp (- 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))
  (expm1 (sinh y))
  (log1p (sinh y))
  (- (exp y) (exp (- 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))
  (expm1 (* (sin x) (/ (sinh y) y)))
  (log1p (* (sin x) (/ (sinh y) y)))
  (* (sin x) (/ (sinh y) y))
  (* (sin x) (/ (sinh y) y))
  (log (* (sin x) (/ (sinh y) y)))
  (log (* (sin x) (/ (sinh y) y)))
  (log (* (sin x) (/ (sinh y) y)))
  (exp (* (sin x) (/ (sinh y) y)))
  (pow (* (sin x) (/ (sinh y) y)) 3)
  (pow (* (sin x) (/ (sinh y) y)) 3)
  (* (cbrt (* (sin x) (/ (sinh y) y))) (cbrt (* (sin x) (/ (sinh y) y))))
  (cbrt (* (sin x) (/ (sinh y) y)))
  (pow (* (sin x) (/ (sinh y) y)) 3)
  (sqrt (* (sin x) (/ (sinh y) y)))
  (sqrt (* (sin x) (/ (sinh y) y)))
  (* (sin x) (sinh y))
  y
  (* (* (sin x) (sqrt (/ (sinh y) y))) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y)))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (fabs (cbrt (/ (sinh y) y))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))))
  (* (fabs (/ (cbrt (sinh y)) (cbrt y))) (* (sin x) (sqrt (/ (sinh y) y))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (fabs (cbrt (sinh y))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sqrt (sinh y)) (sqrt y))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sqrt (sinh y))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ 1 (* (cbrt y) (cbrt y)))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ 1 (sqrt y))))
  (* (sin x) (sqrt (/ (sinh y) y)))
  (* (sin x) (sqrt (/ (sinh y) y)))
  (* (* (sin x) (sqrt (sinh y))) (sqrt (/ (sinh y) y)))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))))
  (* (sin x) (sqrt (/ (sinh y) y)))
  (/ (sinh y) y)
  (* (* (sin x) (sqrt (sinh y))) (sqrt (/ (sinh y) y)))
  (* (* (sin x) (sqrt (sinh y))) (sqrt (/ (sinh y) y)))
  (fma 1/6 (/ (* x (* (sqrt 1/2) (pow y 2))) (sqrt 2)) (* (* (sqrt 2) (sqrt 1/2)) (- x (* 1/6 (pow x 3)))))
  (+ (- (* +nan.0 (/ (* (sin x) (* (exp y) (sqrt 1/2))) y))) (+ (- (* +nan.0 (/ (* (sin x) (* (pow (exp y) 2) (sqrt 1/2))) (pow y 2))) (* +nan.0 (/ (* (pow (exp (- y)) 2) (* (sin x) (sqrt 1/2))) (pow y 2)))) (fma +nan.0 (/ (* (* (sin x) (exp (- y y))) (sqrt 1/2)) (pow y 2)) (+ (fma (/ (* (pow (exp (- y)) 3) (* (sin x) (sqrt 1/2))) (pow y 3)) +nan.0 (+ (* +nan.0 (- (/ (* (/ (sin x) (exp y)) (* (pow (exp y) 2) (sqrt 1/2))) (pow y 3)) (/ (* (pow (exp (- y)) 2) (* (sin x) (* (exp y) (sqrt 1/2)))) (pow y 3)))) (- (* +nan.0 (/ (* (sin x) (* (pow (exp y) 3) (sqrt 1/2))) (pow y 3)))))) (* (/ (/ (* (sin x) (sqrt 1/2)) (exp y)) y) (- +nan.0))))))
  (+ (- (* +nan.0 (/ (* (sin x) (pow (exp y) 2)) (pow y 2)))) (+ (- (* +nan.0 (/ (sin x) (/ (pow y 3) (* (pow (exp (- y)) 2) (exp y))))) (/ (* +nan.0 (sin x)) (/ (pow y 2) (exp (- y y))))) (+ (- (/ (* +nan.0 (/ (sin x) (exp y))) y) (* +nan.0 (/ (* (sin x) (pow (exp y) 3)) (pow y 3)))) (fma +nan.0 (/ (* (sin x) (exp y)) y) (+ (- (* +nan.0 (/ (sin x) (/ (pow y 2) (pow (exp (- y)) 2))))) (* +nan.0 (- (/ (sin x) (/ (pow y 3) (pow (exp (- y)) 3))) (/ (/ (* (sin x) (pow (exp y) 2)) (exp y)) (pow y 3)))))))))
  (fma 1/6 (pow y 3) (fma 1/120 (pow y 5) y))
  (* 1/2 (- (exp y) (exp (- y))))
  (* 1/2 (- (exp y) (exp (- y))))
  (fma 1/6 (pow y 3) (fma 1/120 (pow y 5) y))
  (* 1/2 (- (exp y) (exp (- y))))
  (* 1/2 (- (exp y) (exp (- y))))
  (- (fma 1/6 (* x (pow y 2)) x) (* 1/6 (pow x 3)))
  (/ (* 1/2 (* (sin x) (- (exp y) (exp (- y))))) y)
  (+ (+ (- (* +nan.0 (/ (* (sin x) (pow (exp y) 2)) (pow y 2))) (* +nan.0 (/ (sin x) (/ (pow y 3) (* (pow (exp (- y)) 2) (exp y)))))) (- (* +nan.0 (/ (* (exp (- y y)) (exp (- y y))) (/ (pow y 4) (sin x)))) (+ (- (* (/ (sin x) (/ (pow y 4) (pow (exp (- y)) 4))) +nan.0) (* +nan.0 (/ (sin x) (/ (pow y 2) (pow (exp (- y)) 2))))) (- (* +nan.0 (/ (* (sin x) (pow (exp y) 3)) (pow y 3))) (- (/ (* +nan.0 (* (pow (exp (- y)) 3) (sin x))) (pow y 3)) (fma +nan.0 (/ (/ (* (sin x) (exp (- y y))) y) y) (+ (* +nan.0 (- (/ (/ (* (sin x) (pow (exp y) 3)) (exp y)) (pow y 4)) (/ (/ (* (sin x) (pow (exp y) 2)) (exp y)) (pow y 3)))) (- (/ (* +nan.0 (* (* (sin x) (exp y)) (pow (exp (- y)) 3))) (pow y 4)))))))))) (- (* +nan.0 (/ (* (sin x) (pow (exp y) 4)) (pow y 4)))))
9.382 * * * [progress]: adding candidates to table
9.703 * * [progress]: iteration 3 / 4
9.703 * * * [progress]: picking best candidate
9.707 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y))))>
9.707 * * * [progress]: localizing error
9.718 * * * [progress]: generating rewritten candidates
9.718 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
9.734 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
9.853 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
9.853 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1)
9.858 * * * [progress]: generating series expansions
9.858 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
9.858 * [approximate]: Taking taylor expansion of (* (pow (/ (sinh y) y) 1/4) (sin x)) in (x y) around 0
9.858 * [taylor]: Taking taylor expansion of (* (pow (/ (sinh y) y) 1/4) (sin x)) in y
9.858 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/4) in y
9.858 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ (sinh y) y)))) in y
9.858 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ (sinh y) y))) in y
9.858 * [taylor]: Taking taylor expansion of 1/4 in y
9.858 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in y
9.858 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
9.858 * [taylor]: Taking taylor expansion of (sinh y) in y
9.858 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
9.858 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
9.858 * [taylor]: Taking taylor expansion of (exp y) in y
9.858 * [taylor]: Taking taylor expansion of y in y
9.858 * [taylor]: Taking taylor expansion of (exp (- y)) in y
9.858 * [taylor]: Taking taylor expansion of (- y) in y
9.858 * [taylor]: Taking taylor expansion of y in y
9.859 * [taylor]: Taking taylor expansion of 2 in y
9.862 * [taylor]: Taking taylor expansion of y in y
9.874 * [taylor]: Taking taylor expansion of (sin x) in y
9.874 * [taylor]: Taking taylor expansion of x in y
9.874 * [taylor]: Taking taylor expansion of (* (pow (/ (sinh y) y) 1/4) (sin x)) in x
9.874 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/4) in x
9.874 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ (sinh y) y)))) in x
9.874 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ (sinh y) y))) in x
9.874 * [taylor]: Taking taylor expansion of 1/4 in x
9.874 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in x
9.874 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in x
9.874 * [taylor]: Taking taylor expansion of (sinh y) in x
9.874 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
9.874 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
9.874 * [taylor]: Taking taylor expansion of (exp y) in x
9.874 * [taylor]: Taking taylor expansion of y in x
9.874 * [taylor]: Taking taylor expansion of (exp (- y)) in x
9.874 * [taylor]: Taking taylor expansion of (- y) in x
9.875 * [taylor]: Taking taylor expansion of y in x
9.875 * [taylor]: Taking taylor expansion of 2 in x
9.875 * [taylor]: Taking taylor expansion of y in x
9.875 * [taylor]: Taking taylor expansion of (sin x) in x
9.875 * [taylor]: Taking taylor expansion of x in x
9.875 * [taylor]: Taking taylor expansion of (* (pow (/ (sinh y) y) 1/4) (sin x)) in x
9.875 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/4) in x
9.875 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ (sinh y) y)))) in x
9.875 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ (sinh y) y))) in x
9.875 * [taylor]: Taking taylor expansion of 1/4 in x
9.875 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in x
9.875 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in x
9.875 * [taylor]: Taking taylor expansion of (sinh y) in x
9.875 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
9.875 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
9.875 * [taylor]: Taking taylor expansion of (exp y) in x
9.875 * [taylor]: Taking taylor expansion of y in x
9.875 * [taylor]: Taking taylor expansion of (exp (- y)) in x
9.875 * [taylor]: Taking taylor expansion of (- y) in x
9.875 * [taylor]: Taking taylor expansion of y in x
9.876 * [taylor]: Taking taylor expansion of 2 in x
9.876 * [taylor]: Taking taylor expansion of y in x
9.876 * [taylor]: Taking taylor expansion of (sin x) in x
9.876 * [taylor]: Taking taylor expansion of x in x
9.876 * [taylor]: Taking taylor expansion of 0 in y
9.881 * [taylor]: Taking taylor expansion of (pow (/ (* 1/2 (- (exp y) (exp (- y)))) y) 1/4) in y
9.881 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ (* 1/2 (- (exp y) (exp (- y)))) y)))) in y
9.881 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ (* 1/2 (- (exp y) (exp (- y)))) y))) in y
9.881 * [taylor]: Taking taylor expansion of 1/4 in y
9.881 * [taylor]: Taking taylor expansion of (log (/ (* 1/2 (- (exp y) (exp (- y)))) y)) in y
9.881 * [taylor]: Taking taylor expansion of (/ (* 1/2 (- (exp y) (exp (- y)))) y) in y
9.881 * [taylor]: Taking taylor expansion of (* 1/2 (- (exp y) (exp (- y)))) in y
9.881 * [taylor]: Taking taylor expansion of 1/2 in y
9.881 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
9.881 * [taylor]: Taking taylor expansion of (exp y) in y
9.881 * [taylor]: Taking taylor expansion of y in y
9.881 * [taylor]: Taking taylor expansion of (exp (- y)) in y
9.881 * [taylor]: Taking taylor expansion of (- y) in y
9.881 * [taylor]: Taking taylor expansion of y in y
9.882 * [taylor]: Taking taylor expansion of y in y
9.905 * [taylor]: Taking taylor expansion of 0 in y
9.916 * [taylor]: Taking taylor expansion of (- (* 1/6 (pow (/ (* 1/2 (- (exp y) (exp (- y)))) y) 1/4))) in y
9.916 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ (* 1/2 (- (exp y) (exp (- y)))) y) 1/4)) in y
9.916 * [taylor]: Taking taylor expansion of 1/6 in y
9.916 * [taylor]: Taking taylor expansion of (pow (/ (* 1/2 (- (exp y) (exp (- y)))) y) 1/4) in y
9.916 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ (* 1/2 (- (exp y) (exp (- y)))) y)))) in y
9.916 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ (* 1/2 (- (exp y) (exp (- y)))) y))) in y
9.916 * [taylor]: Taking taylor expansion of 1/4 in y
9.916 * [taylor]: Taking taylor expansion of (log (/ (* 1/2 (- (exp y) (exp (- y)))) y)) in y
9.916 * [taylor]: Taking taylor expansion of (/ (* 1/2 (- (exp y) (exp (- y)))) y) in y
9.916 * [taylor]: Taking taylor expansion of (* 1/2 (- (exp y) (exp (- y)))) in y
9.916 * [taylor]: Taking taylor expansion of 1/2 in y
9.916 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
9.916 * [taylor]: Taking taylor expansion of (exp y) in y
9.917 * [taylor]: Taking taylor expansion of y in y
9.917 * [taylor]: Taking taylor expansion of (exp (- y)) in y
9.917 * [taylor]: Taking taylor expansion of (- y) in y
9.917 * [taylor]: Taking taylor expansion of y in y
9.917 * [taylor]: Taking taylor expansion of y in y
9.943 * [approximate]: Taking taylor expansion of (* (pow (* (sinh (/ 1 y)) y) 1/4) (sin (/ 1 x))) in (x y) around 0
9.943 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ 1 y)) y) 1/4) (sin (/ 1 x))) in y
9.944 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/4) in y
9.944 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (sinh (/ 1 y)) y)))) in y
9.944 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (sinh (/ 1 y)) y))) in y
9.944 * [taylor]: Taking taylor expansion of 1/4 in y
9.944 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in y
9.944 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
9.944 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
9.944 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
9.944 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
9.944 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
9.944 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.944 * [taylor]: Taking taylor expansion of y in y
9.944 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
9.944 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
9.944 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.944 * [taylor]: Taking taylor expansion of y in y
9.945 * [taylor]: Taking taylor expansion of 2 in y
9.945 * [taylor]: Taking taylor expansion of y in y
9.948 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
9.948 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.948 * [taylor]: Taking taylor expansion of x in y
9.948 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ 1 y)) y) 1/4) (sin (/ 1 x))) in x
9.948 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/4) in x
9.948 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (sinh (/ 1 y)) y)))) in x
9.948 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (sinh (/ 1 y)) y))) in x
9.948 * [taylor]: Taking taylor expansion of 1/4 in x
9.948 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in x
9.948 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in x
9.948 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
9.948 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
9.948 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
9.948 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
9.948 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.949 * [taylor]: Taking taylor expansion of y in x
9.949 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
9.949 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
9.949 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.949 * [taylor]: Taking taylor expansion of y in x
9.949 * [taylor]: Taking taylor expansion of 2 in x
9.949 * [taylor]: Taking taylor expansion of y in x
9.950 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
9.950 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.950 * [taylor]: Taking taylor expansion of x in x
9.950 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ 1 y)) y) 1/4) (sin (/ 1 x))) in x
9.950 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/4) in x
9.950 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (sinh (/ 1 y)) y)))) in x
9.950 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (sinh (/ 1 y)) y))) in x
9.950 * [taylor]: Taking taylor expansion of 1/4 in x
9.950 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in x
9.950 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in x
9.950 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
9.951 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
9.951 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
9.951 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
9.951 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.951 * [taylor]: Taking taylor expansion of y in x
9.951 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
9.951 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
9.951 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.951 * [taylor]: Taking taylor expansion of y in x
9.951 * [taylor]: Taking taylor expansion of 2 in x
9.951 * [taylor]: Taking taylor expansion of y in x
9.952 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
9.952 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.952 * [taylor]: Taking taylor expansion of x in x
9.952 * [taylor]: Taking taylor expansion of (* (pow (* 1/2 (* y (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) 1/4) (sin (/ 1 x))) in y
9.952 * [taylor]: Taking taylor expansion of (pow (* 1/2 (* y (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) 1/4) in y
9.952 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* 1/2 (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))))))) in y
9.952 * [taylor]: Taking taylor expansion of (* 1/4 (log (* 1/2 (* y (- (exp (/ 1 y)) (exp (- (/ 1 y)))))))) in y
9.952 * [taylor]: Taking taylor expansion of 1/4 in y
9.952 * [taylor]: Taking taylor expansion of (log (* 1/2 (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y
9.953 * [taylor]: Taking taylor expansion of (* 1/2 (* y (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y
9.953 * [taylor]: Taking taylor expansion of 1/2 in y
9.953 * [taylor]: Taking taylor expansion of (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y
9.953 * [taylor]: Taking taylor expansion of y in y
9.953 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
9.953 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
9.953 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.953 * [taylor]: Taking taylor expansion of y in y
9.953 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
9.953 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
9.953 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.953 * [taylor]: Taking taylor expansion of y in y
9.957 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
9.957 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.957 * [taylor]: Taking taylor expansion of x in y
9.963 * [taylor]: Taking taylor expansion of 0 in y
9.979 * [taylor]: Taking taylor expansion of 0 in y
10.002 * [taylor]: Taking taylor expansion of 0 in y
10.003 * [approximate]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (sqrt (* -1 (* (sinh (/ -1 y)) y))))) in (x y) around 0
10.003 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (sqrt (* -1 (* (sinh (/ -1 y)) y))))) in y
10.003 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
10.003 * [taylor]: Taking taylor expansion of (/ -1 x) in y
10.003 * [taylor]: Taking taylor expansion of -1 in y
10.003 * [taylor]: Taking taylor expansion of x in y
10.003 * [taylor]: Taking taylor expansion of (sqrt (sqrt (* -1 (* (sinh (/ -1 y)) y)))) in y
10.003 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in y
10.003 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
10.004 * [taylor]: Taking taylor expansion of -1 in y
10.004 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
10.004 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
10.004 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
10.004 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
10.004 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
10.004 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.004 * [taylor]: Taking taylor expansion of -1 in y
10.004 * [taylor]: Taking taylor expansion of y in y
10.005 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
10.005 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
10.005 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.005 * [taylor]: Taking taylor expansion of -1 in y
10.005 * [taylor]: Taking taylor expansion of y in y
10.006 * [taylor]: Taking taylor expansion of 2 in y
10.006 * [taylor]: Taking taylor expansion of y in y
10.010 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (sqrt (* -1 (* (sinh (/ -1 y)) y))))) in x
10.010 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
10.011 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.011 * [taylor]: Taking taylor expansion of -1 in x
10.011 * [taylor]: Taking taylor expansion of x in x
10.011 * [taylor]: Taking taylor expansion of (sqrt (sqrt (* -1 (* (sinh (/ -1 y)) y)))) in x
10.011 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in x
10.011 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in x
10.011 * [taylor]: Taking taylor expansion of -1 in x
10.011 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in x
10.011 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
10.011 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
10.011 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
10.011 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
10.011 * [taylor]: Taking taylor expansion of (/ -1 y) in x
10.011 * [taylor]: Taking taylor expansion of -1 in x
10.011 * [taylor]: Taking taylor expansion of y in x
10.011 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
10.011 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
10.012 * [taylor]: Taking taylor expansion of (/ -1 y) in x
10.012 * [taylor]: Taking taylor expansion of -1 in x
10.012 * [taylor]: Taking taylor expansion of y in x
10.012 * [taylor]: Taking taylor expansion of 2 in x
10.012 * [taylor]: Taking taylor expansion of y in x
10.016 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (sqrt (* -1 (* (sinh (/ -1 y)) y))))) in x
10.016 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
10.016 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.016 * [taylor]: Taking taylor expansion of -1 in x
10.016 * [taylor]: Taking taylor expansion of x in x
10.017 * [taylor]: Taking taylor expansion of (sqrt (sqrt (* -1 (* (sinh (/ -1 y)) y)))) in x
10.017 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in x
10.017 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in x
10.017 * [taylor]: Taking taylor expansion of -1 in x
10.017 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in x
10.017 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
10.017 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
10.017 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
10.017 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
10.017 * [taylor]: Taking taylor expansion of (/ -1 y) in x
10.017 * [taylor]: Taking taylor expansion of -1 in x
10.017 * [taylor]: Taking taylor expansion of y in x
10.017 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
10.017 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
10.017 * [taylor]: Taking taylor expansion of (/ -1 y) in x
10.017 * [taylor]: Taking taylor expansion of -1 in x
10.017 * [taylor]: Taking taylor expansion of y in x
10.018 * [taylor]: Taking taylor expansion of 2 in x
10.018 * [taylor]: Taking taylor expansion of y in x
10.022 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))))) in y
10.023 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
10.023 * [taylor]: Taking taylor expansion of (/ -1 x) in y
10.023 * [taylor]: Taking taylor expansion of -1 in y
10.023 * [taylor]: Taking taylor expansion of x in y
10.023 * [taylor]: Taking taylor expansion of (sqrt (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)))) in y
10.023 * [taylor]: Taking taylor expansion of (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) in y
10.023 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)) in y
10.023 * [taylor]: Taking taylor expansion of -1/2 in y
10.023 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) y) in y
10.023 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
10.023 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
10.023 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.023 * [taylor]: Taking taylor expansion of -1 in y
10.023 * [taylor]: Taking taylor expansion of y in y
10.023 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
10.023 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.023 * [taylor]: Taking taylor expansion of y in y
10.024 * [taylor]: Taking taylor expansion of y in y
10.027 * [taylor]: Taking taylor expansion of 0 in y
10.041 * [taylor]: Taking taylor expansion of 0 in y
10.056 * [taylor]: Taking taylor expansion of 0 in y
10.070 * * * * [progress]: [ 2 / 4 ] generating series at (2)
10.070 * [approximate]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in (x y) around 0
10.070 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in y
10.070 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y
10.070 * [taylor]: Taking taylor expansion of (sin x) in y
10.070 * [taylor]: Taking taylor expansion of x in y
10.070 * [taylor]: Taking taylor expansion of (sinh y) in y
10.071 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
10.071 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
10.071 * [taylor]: Taking taylor expansion of (exp y) in y
10.071 * [taylor]: Taking taylor expansion of y in y
10.071 * [taylor]: Taking taylor expansion of (exp (- y)) in y
10.071 * [taylor]: Taking taylor expansion of (- y) in y
10.071 * [taylor]: Taking taylor expansion of y in y
10.071 * [taylor]: Taking taylor expansion of 2 in y
10.074 * [taylor]: Taking taylor expansion of y in y
10.074 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x
10.074 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
10.074 * [taylor]: Taking taylor expansion of (sin x) in x
10.074 * [taylor]: Taking taylor expansion of x in x
10.074 * [taylor]: Taking taylor expansion of (sinh y) in x
10.074 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
10.074 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
10.074 * [taylor]: Taking taylor expansion of (exp y) in x
10.074 * [taylor]: Taking taylor expansion of y in x
10.074 * [taylor]: Taking taylor expansion of (exp (- y)) in x
10.074 * [taylor]: Taking taylor expansion of (- y) in x
10.074 * [taylor]: Taking taylor expansion of y in x
10.074 * [taylor]: Taking taylor expansion of 2 in x
10.074 * [taylor]: Taking taylor expansion of y in x
10.077 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x
10.077 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
10.077 * [taylor]: Taking taylor expansion of (sin x) in x
10.077 * [taylor]: Taking taylor expansion of x in x
10.077 * [taylor]: Taking taylor expansion of (sinh y) in x
10.078 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
10.078 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
10.078 * [taylor]: Taking taylor expansion of (exp y) in x
10.078 * [taylor]: Taking taylor expansion of y in x
10.078 * [taylor]: Taking taylor expansion of (exp (- y)) in x
10.078 * [taylor]: Taking taylor expansion of (- y) in x
10.078 * [taylor]: Taking taylor expansion of y in x
10.078 * [taylor]: Taking taylor expansion of 2 in x
10.078 * [taylor]: Taking taylor expansion of y in x
10.081 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) y) in y
10.081 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) in y
10.081 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y
10.081 * [taylor]: Taking taylor expansion of 1/2 in y
10.081 * [taylor]: Taking taylor expansion of (exp y) in y
10.081 * [taylor]: Taking taylor expansion of y in y
10.081 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- y))) in y
10.081 * [taylor]: Taking taylor expansion of 1/2 in y
10.081 * [taylor]: Taking taylor expansion of (exp (- y)) in y
10.081 * [taylor]: Taking taylor expansion of (- y) in y
10.081 * [taylor]: Taking taylor expansion of y in y
10.082 * [taylor]: Taking taylor expansion of y in y
10.090 * [taylor]: Taking taylor expansion of 0 in y
10.100 * [taylor]: Taking taylor expansion of (- (* 1/12 (/ (exp (- y)) y)) (* 1/12 (/ (exp y) y))) in y
10.100 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp (- y)) y)) in y
10.101 * [taylor]: Taking taylor expansion of 1/12 in y
10.101 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
10.101 * [taylor]: Taking taylor expansion of (exp (- y)) in y
10.101 * [taylor]: Taking taylor expansion of (- y) in y
10.101 * [taylor]: Taking taylor expansion of y in y
10.101 * [taylor]: Taking taylor expansion of y in y
10.101 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp y) y)) in y
10.101 * [taylor]: Taking taylor expansion of 1/12 in y
10.101 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
10.101 * [taylor]: Taking taylor expansion of (exp y) in y
10.101 * [taylor]: Taking taylor expansion of y in y
10.101 * [taylor]: Taking taylor expansion of y in y
10.112 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in (x y) around 0
10.112 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in y
10.112 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
10.112 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
10.112 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
10.112 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
10.112 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.112 * [taylor]: Taking taylor expansion of y in y
10.112 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
10.112 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
10.112 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.112 * [taylor]: Taking taylor expansion of y in y
10.113 * [taylor]: Taking taylor expansion of 2 in y
10.113 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in y
10.113 * [taylor]: Taking taylor expansion of y in y
10.113 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
10.113 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.113 * [taylor]: Taking taylor expansion of x in y
10.113 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x
10.113 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
10.113 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
10.113 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
10.113 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
10.113 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.113 * [taylor]: Taking taylor expansion of y in x
10.114 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
10.114 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
10.114 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.114 * [taylor]: Taking taylor expansion of y in x
10.114 * [taylor]: Taking taylor expansion of 2 in x
10.114 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x
10.114 * [taylor]: Taking taylor expansion of y in x
10.114 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
10.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.114 * [taylor]: Taking taylor expansion of x in x
10.114 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x
10.114 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
10.114 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
10.114 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
10.114 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
10.114 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.114 * [taylor]: Taking taylor expansion of y in x
10.114 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
10.115 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
10.115 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.115 * [taylor]: Taking taylor expansion of y in x
10.115 * [taylor]: Taking taylor expansion of 2 in x
10.115 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x
10.115 * [taylor]: Taking taylor expansion of y in x
10.115 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
10.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.115 * [taylor]: Taking taylor expansion of x in x
10.115 * [taylor]: Taking taylor expansion of (* 1/2 (* y (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y
10.115 * [taylor]: Taking taylor expansion of 1/2 in y
10.116 * [taylor]: Taking taylor expansion of (* y (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y
10.116 * [taylor]: Taking taylor expansion of y in y
10.116 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y
10.116 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
10.116 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.116 * [taylor]: Taking taylor expansion of x in y
10.116 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
10.116 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
10.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.116 * [taylor]: Taking taylor expansion of y in y
10.116 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
10.116 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
10.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.116 * [taylor]: Taking taylor expansion of y in y
10.126 * [taylor]: Taking taylor expansion of 0 in y
10.133 * [taylor]: Taking taylor expansion of 0 in y
10.143 * [taylor]: Taking taylor expansion of 0 in y
10.144 * [approximate]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2)) in (x y) around 0
10.144 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2)) in y
10.144 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
10.144 * [taylor]: Taking taylor expansion of (/ -1 x) in y
10.144 * [taylor]: Taking taylor expansion of -1 in y
10.144 * [taylor]: Taking taylor expansion of x in y
10.144 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2) in y
10.144 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in y
10.144 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
10.144 * [taylor]: Taking taylor expansion of -1 in y
10.144 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
10.144 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
10.144 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
10.145 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
10.145 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
10.145 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.145 * [taylor]: Taking taylor expansion of -1 in y
10.145 * [taylor]: Taking taylor expansion of y in y
10.145 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
10.145 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
10.145 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.145 * [taylor]: Taking taylor expansion of -1 in y
10.145 * [taylor]: Taking taylor expansion of y in y
10.146 * [taylor]: Taking taylor expansion of 2 in y
10.146 * [taylor]: Taking taylor expansion of y in y
10.149 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2)) in x
10.149 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
10.149 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.149 * [taylor]: Taking taylor expansion of -1 in x
10.149 * [taylor]: Taking taylor expansion of x in x
10.149 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2) in x
10.149 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in x
10.149 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in x
10.149 * [taylor]: Taking taylor expansion of -1 in x
10.149 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in x
10.149 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
10.149 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
10.149 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
10.149 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
10.149 * [taylor]: Taking taylor expansion of (/ -1 y) in x
10.149 * [taylor]: Taking taylor expansion of -1 in x
10.149 * [taylor]: Taking taylor expansion of y in x
10.149 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
10.149 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
10.149 * [taylor]: Taking taylor expansion of (/ -1 y) in x
10.149 * [taylor]: Taking taylor expansion of -1 in x
10.149 * [taylor]: Taking taylor expansion of y in x
10.150 * [taylor]: Taking taylor expansion of 2 in x
10.150 * [taylor]: Taking taylor expansion of y in x
10.153 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2)) in x
10.153 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
10.153 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.153 * [taylor]: Taking taylor expansion of -1 in x
10.153 * [taylor]: Taking taylor expansion of x in x
10.153 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2) in x
10.153 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in x
10.154 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in x
10.154 * [taylor]: Taking taylor expansion of -1 in x
10.154 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in x
10.154 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
10.154 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
10.154 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
10.154 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
10.154 * [taylor]: Taking taylor expansion of (/ -1 y) in x
10.154 * [taylor]: Taking taylor expansion of -1 in x
10.154 * [taylor]: Taking taylor expansion of y in x
10.154 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
10.154 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
10.154 * [taylor]: Taking taylor expansion of (/ -1 y) in x
10.154 * [taylor]: Taking taylor expansion of -1 in x
10.154 * [taylor]: Taking taylor expansion of y in x
10.154 * [taylor]: Taking taylor expansion of 2 in x
10.154 * [taylor]: Taking taylor expansion of y in x
10.158 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) 2)) in y
10.158 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
10.158 * [taylor]: Taking taylor expansion of (/ -1 x) in y
10.158 * [taylor]: Taking taylor expansion of -1 in y
10.158 * [taylor]: Taking taylor expansion of x in y
10.158 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) 2) in y
10.158 * [taylor]: Taking taylor expansion of (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) in y
10.158 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)) in y
10.158 * [taylor]: Taking taylor expansion of -1/2 in y
10.158 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) y) in y
10.158 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
10.158 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
10.158 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.158 * [taylor]: Taking taylor expansion of -1 in y
10.158 * [taylor]: Taking taylor expansion of y in y
10.159 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
10.159 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.159 * [taylor]: Taking taylor expansion of y in y
10.159 * [taylor]: Taking taylor expansion of y in y
10.162 * [taylor]: Taking taylor expansion of 0 in y
10.176 * [taylor]: Taking taylor expansion of 0 in y
10.195 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
10.195 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0
10.195 * [taylor]: Taking taylor expansion of (sinh y) in y
10.195 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
10.195 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
10.195 * [taylor]: Taking taylor expansion of (exp y) in y
10.195 * [taylor]: Taking taylor expansion of y in y
10.195 * [taylor]: Taking taylor expansion of (exp (- y)) in y
10.195 * [taylor]: Taking taylor expansion of (- y) in y
10.195 * [taylor]: Taking taylor expansion of y in y
10.196 * [taylor]: Taking taylor expansion of 2 in y
10.198 * [taylor]: Taking taylor expansion of (sinh y) in y
10.198 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
10.198 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
10.198 * [taylor]: Taking taylor expansion of (exp y) in y
10.198 * [taylor]: Taking taylor expansion of y in y
10.198 * [taylor]: Taking taylor expansion of (exp (- y)) in y
10.198 * [taylor]: Taking taylor expansion of (- y) in y
10.198 * [taylor]: Taking taylor expansion of y in y
10.199 * [taylor]: Taking taylor expansion of 2 in y
10.229 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0
10.229 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
10.229 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
10.229 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
10.229 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
10.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.229 * [taylor]: Taking taylor expansion of y in y
10.230 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
10.230 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
10.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.230 * [taylor]: Taking taylor expansion of y in y
10.230 * [taylor]: Taking taylor expansion of 2 in y
10.230 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
10.231 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
10.231 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
10.231 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
10.231 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.231 * [taylor]: Taking taylor expansion of y in y
10.231 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
10.231 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
10.231 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.231 * [taylor]: Taking taylor expansion of y in y
10.232 * [taylor]: Taking taylor expansion of 2 in y
10.243 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0
10.243 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
10.244 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
10.244 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
10.244 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
10.244 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.244 * [taylor]: Taking taylor expansion of -1 in y
10.244 * [taylor]: Taking taylor expansion of y in y
10.244 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
10.244 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
10.244 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.244 * [taylor]: Taking taylor expansion of -1 in y
10.244 * [taylor]: Taking taylor expansion of y in y
10.245 * [taylor]: Taking taylor expansion of 2 in y
10.245 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
10.245 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
10.245 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
10.245 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
10.245 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.245 * [taylor]: Taking taylor expansion of -1 in y
10.245 * [taylor]: Taking taylor expansion of y in y
10.245 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
10.245 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
10.246 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.246 * [taylor]: Taking taylor expansion of -1 in y
10.246 * [taylor]: Taking taylor expansion of y in y
10.246 * [taylor]: Taking taylor expansion of 2 in y
10.257 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1)
10.257 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0
10.257 * [taylor]: Taking taylor expansion of (sinh y) in y
10.258 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
10.258 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
10.258 * [taylor]: Taking taylor expansion of (exp y) in y
10.258 * [taylor]: Taking taylor expansion of y in y
10.258 * [taylor]: Taking taylor expansion of (exp (- y)) in y
10.258 * [taylor]: Taking taylor expansion of (- y) in y
10.258 * [taylor]: Taking taylor expansion of y in y
10.258 * [taylor]: Taking taylor expansion of 2 in y
10.261 * [taylor]: Taking taylor expansion of (sinh y) in y
10.261 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
10.261 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
10.261 * [taylor]: Taking taylor expansion of (exp y) in y
10.261 * [taylor]: Taking taylor expansion of y in y
10.261 * [taylor]: Taking taylor expansion of (exp (- y)) in y
10.261 * [taylor]: Taking taylor expansion of (- y) in y
10.261 * [taylor]: Taking taylor expansion of y in y
10.261 * [taylor]: Taking taylor expansion of 2 in y
10.293 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0
10.293 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
10.293 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
10.293 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
10.293 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
10.293 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.293 * [taylor]: Taking taylor expansion of y in y
10.293 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
10.293 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
10.294 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.294 * [taylor]: Taking taylor expansion of y in y
10.294 * [taylor]: Taking taylor expansion of 2 in y
10.294 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
10.294 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
10.294 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
10.294 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
10.294 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.294 * [taylor]: Taking taylor expansion of y in y
10.295 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
10.295 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
10.295 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.295 * [taylor]: Taking taylor expansion of y in y
10.295 * [taylor]: Taking taylor expansion of 2 in y
10.306 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0
10.306 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
10.307 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
10.307 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
10.307 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
10.307 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.307 * [taylor]: Taking taylor expansion of -1 in y
10.307 * [taylor]: Taking taylor expansion of y in y
10.307 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
10.307 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
10.307 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.307 * [taylor]: Taking taylor expansion of -1 in y
10.307 * [taylor]: Taking taylor expansion of y in y
10.308 * [taylor]: Taking taylor expansion of 2 in y
10.308 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
10.308 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
10.308 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
10.308 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
10.308 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.308 * [taylor]: Taking taylor expansion of -1 in y
10.308 * [taylor]: Taking taylor expansion of y in y
10.308 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
10.308 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
10.308 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.308 * [taylor]: Taking taylor expansion of -1 in y
10.308 * [taylor]: Taking taylor expansion of y in y
10.309 * [taylor]: Taking taylor expansion of 2 in y
10.320 * * * [progress]: simplifying candidates
10.321 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (sin x) (sqrt (sqrt (/ (sinh y) y)))))
  (log1p (* (sin x) (sqrt (sqrt (/ (sinh y) y)))))
  (* (sin x) (sqrt (sqrt (/ (sinh y) y))))
  (+ (log (sin x)) (log (sqrt (sqrt (/ (sinh y) y)))))
  (log (* (sin x) (sqrt (sqrt (/ (sinh y) y)))))
  (exp (* (sin x) (sqrt (sqrt (/ (sinh y) y)))))
  (* (* (* (sin x) (sin x)) (sin x)) (* (* (sqrt (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))))
  (* (cbrt (* (sin x) (sqrt (sqrt (/ (sinh y) y))))) (cbrt (* (sin x) (sqrt (sqrt (/ (sinh y) y))))))
  (cbrt (* (sin x) (sqrt (sqrt (/ (sinh y) y)))))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (* (sin x) (sqrt (sqrt (/ (sinh y) y))))) (* (sin x) (sqrt (sqrt (/ (sinh y) y)))))
  (sqrt (* (sin x) (sqrt (sqrt (/ (sinh y) y)))))
  (sqrt (* (sin x) (sqrt (sqrt (/ (sinh y) y)))))
  (* (sqrt (sin x)) (sqrt (sqrt (sqrt (/ (sinh y) y)))))
  (* (sqrt (sin x)) (sqrt (sqrt (sqrt (/ (sinh y) y)))))
  (* (sqrt (sin x)) (sqrt (sqrt (/ (sqrt (sinh y)) (sqrt y)))))
  (* (sqrt (sin x)) (sqrt (sqrt (/ (sqrt (sinh y)) (sqrt y)))))
  (* (sqrt (sin x)) (sqrt (sqrt (sqrt (/ (sinh y) y)))))
  (* (sqrt (sin x)) (sqrt (sqrt (sqrt (/ (sinh y) y)))))
  (* (sqrt (sin x)) (sqrt (sqrt (sqrt (/ (sinh y) y)))))
  (* (sqrt (sin x)) (sqrt (sqrt (sqrt (/ (sinh y) y)))))
  (* (sin x) (* (cbrt (sqrt (sqrt (/ (sinh y) y)))) (cbrt (sqrt (sqrt (/ (sinh y) y))))))
  (* (sin x) (sqrt (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))))))
  (* (sin x) (sqrt (sqrt (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))))))
  (* (sin x) (sqrt (sqrt (sqrt (/ (sinh y) y)))))
  (* (sin x) (sqrt (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))))))
  (* (sin x) (sqrt (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)))))
  (* (sin x) (sqrt (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1))))
  (* (sin x) (sqrt (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))))
  (* (sin x) (sqrt (sqrt (/ (sqrt (sinh y)) (sqrt y)))))
  (* (sin x) (sqrt (sqrt (/ (sqrt (sinh y)) 1))))
  (* (sin x) (sqrt (sqrt (/ 1 (* (cbrt y) (cbrt y))))))
  (* (sin x) (sqrt (sqrt (/ 1 (sqrt y)))))
  (* (sin x) (sqrt (sqrt (/ 1 1))))
  (* (sin x) (sqrt (sqrt 1)))
  (* (sin x) (sqrt (sqrt (sinh y))))
  (* (sin x) (sqrt (sqrt (sqrt (/ (sinh y) y)))))
  (* (sin x) (sqrt 1))
  (* (sin x) (sqrt (sqrt (sqrt (/ (sinh y) y)))))
  (* (sin x) 1)
  (* (cbrt (sin x)) (sqrt (sqrt (/ (sinh y) y))))
  (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y))))
  (* (sin x) (sqrt (sqrt (/ (sinh y) y))))
  (* (sin x) (sqrt (sqrt (sinh y))))
  (expm1 (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y))))
  (log1p (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y))))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y)))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y)))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y)))
  (+ (+ (+ (log (sin x)) (log (sqrt (sqrt (/ (sinh y) y))))) (log (sqrt (sqrt (/ (sinh y) y))))) (log (sqrt (/ (sinh y) y))))
  (+ (+ (log (* (sin x) (sqrt (sqrt (/ (sinh y) y))))) (log (sqrt (sqrt (/ (sinh y) y))))) (log (sqrt (/ (sinh y) y))))
  (+ (log (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y))))) (log (sqrt (/ (sinh y) y))))
  (log (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y))))
  (exp (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y))))
  (* (* (* (* (* (sin x) (sin x)) (sin x)) (* (* (sqrt (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y))))) (* (* (sqrt (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y))))) (* (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (* (* (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (* (sin x) (sqrt (sqrt (/ (sinh y) y))))) (* (sin x) (sqrt (sqrt (/ (sinh y) y))))) (* (* (sqrt (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y))))) (* (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (* (* (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y))))) (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y))))) (* (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))
  (* (cbrt (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y)))) (cbrt (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y)))))
  (cbrt (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y))))
  (* (* (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y))) (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y)))) (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y))))
  (sqrt (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y))))
  (sqrt (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y))))
  (* (* (* (sin x) (sqrt (sqrt (sinh y)))) (sqrt (sqrt (sinh y)))) (sqrt (sinh y)))
  (* (* (sqrt (sqrt y)) (sqrt (sqrt y))) (sqrt y))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (sinh y)))) (sqrt (sinh y)))
  (* (sqrt (sqrt y)) (sqrt y))
  (* (* (* (sin x) (sqrt (sqrt (sinh y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sinh y)))
  (* (sqrt (sqrt y)) (sqrt y))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y)))))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y))))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sqrt (sinh y)) (sqrt y))))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sqrt (sinh y)) 1)))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ 1 (* (cbrt y) (cbrt y)))))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ 1 (sqrt y))))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ 1 1)))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt 1))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sinh y)))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y))))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) 1)
  (* (sqrt (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sinh y)))
  (* (* (* (sin x) (sqrt (sqrt (sinh y)))) (sqrt (sqrt (sinh y)))) (sqrt (/ (sinh y) y)))
  (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (sinh y)))) (sqrt (/ (sinh y) y)))
  (* (* (* (sin x) (sqrt (sqrt (sinh y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y)))
  (expm1 (sinh y))
  (log1p (sinh y))
  (- (exp y) (exp (- 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))
  (expm1 (sinh y))
  (log1p (sinh y))
  (- (exp y) (exp (- 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/24 (* x (pow y 2))) x) (* 1/6 (pow x 3)))
  (* (exp (* 1/4 (+ (log (- (* 1/2 (exp y)) (* 1/2 (exp (- y))))) (log (/ 1 y))))) (sin x))
  (- (+ (* +nan.0 (/ (* (sin x) (pow (exp y) 2)) (pow y 2))) (- (+ (* +nan.0 (/ (* (sin x) (* (exp y) (pow (exp (* -1 y)) 2))) (pow y 3))) (- (+ (* +nan.0 (/ (* (sin x) (* (exp y) (exp (* -1 y)))) (pow y 2))) (- (+ (* +nan.0 (/ (* (sin x) (exp (* -1 y))) y)) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp y) 3)) (pow y 3))) (- (+ (* +nan.0 (/ (* (sin x) (exp y)) y)) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp (* -1 y)) 2)) (pow y 2))) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp (* -1 y)) 3)) (pow y 3))) (- (* +nan.0 (/ (* (sin x) (* (pow (exp y) 2) (exp (* -1 y)))) (pow y 3))))))))))))))))))))
  (- (+ (* 1/6 (* x (pow y 2))) x) (* 1/6 (pow x 3)))
  (/ (- (* 1/2 (* (sin x) (exp y))) (* 1/2 (* (exp (- y)) (sin x)))) y)
  (- (+ (* +nan.0 (/ (* (sin x) (pow (exp y) 4)) (pow y 4))) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp y) 2)) (pow y 2))) (- (+ (* +nan.0 (/ (* (sin x) (* (exp y) (pow (exp (* -1 y)) 2))) (pow y 3))) (- (+ (* +nan.0 (/ (* (sin x) (* (pow (exp y) 2) (pow (exp (* -1 y)) 2))) (pow y 4))) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp (* -1 y)) 4)) (pow y 4))) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp (* -1 y)) 2)) (pow y 2))) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp y) 3)) (pow y 3))) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp (* -1 y)) 3)) (pow y 3))) (- (+ (* +nan.0 (/ (* (sin x) (* (exp y) (exp (* -1 y)))) (pow y 2))) (- (+ (* +nan.0 (/ (* (sin x) (* (exp y) (pow (exp (* -1 y)) 3))) (pow y 4))) (- (+ (* +nan.0 (/ (* (sin x) (* (pow (exp y) 3) (exp (* -1 y)))) (pow y 4))) (- (* +nan.0 (/ (* (sin x) (* (pow (exp y) 2) (exp (* -1 y)))) (pow y 3))))))))))))))))))))))))))
  (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))
  (* 1/2 (- (exp y) (exp (- y))))
  (* 1/2 (- (exp y) (exp (* -1 y))))
  (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))
  (* 1/2 (- (exp y) (exp (- y))))
  (* 1/2 (- (exp y) (exp (* -1 y))))
10.339 * * [simplify]: iteration  0 :  302  enodes  (cost  2258 )
10.404 * * [simplify]: iteration  1 :  816  enodes  (cost  1767 )
10.636 * * [simplify]: iteration  2 :  3621  enodes  (cost  1381 )
12.201 * * [simplify]: iteration  done :  5001  enodes  (cost  1372 )
12.204 * [simplify]: Simplified to:
   (expm1 (* (sin x) (sqrt (sqrt (/ (sinh y) y)))))
  (log1p (* (sin x) (sqrt (sqrt (/ (sinh y) y)))))
  (* (sin x) (sqrt (sqrt (/ (sinh y) y))))
  (log (* (sin x) (sqrt (sqrt (/ (sinh y) y)))))
  (log (* (sin x) (sqrt (sqrt (/ (sinh y) y)))))
  (exp (* (sin x) (sqrt (sqrt (/ (sinh y) y)))))
  (pow (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) 3)
  (* (cbrt (* (sin x) (sqrt (sqrt (/ (sinh y) y))))) (cbrt (* (sin x) (sqrt (sqrt (/ (sinh y) y))))))
  (cbrt (* (sin x) (sqrt (sqrt (/ (sinh y) y)))))
  (pow (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) 3)
  (sqrt (* (sin x) (sqrt (sqrt (/ (sinh y) y)))))
  (sqrt (* (sin x) (sqrt (sqrt (/ (sinh y) y)))))
  (* (sqrt (sin x)) (sqrt (sqrt (sqrt (/ (sinh y) y)))))
  (* (sqrt (sin x)) (sqrt (sqrt (sqrt (/ (sinh y) y)))))
  (* (sqrt (sin x)) (sqrt (sqrt (/ (sqrt (sinh y)) (sqrt y)))))
  (* (sqrt (sin x)) (sqrt (sqrt (/ (sqrt (sinh y)) (sqrt y)))))
  (* (sqrt (sin x)) (sqrt (sqrt (sqrt (/ (sinh y) y)))))
  (* (sqrt (sin x)) (sqrt (sqrt (sqrt (/ (sinh y) y)))))
  (* (sqrt (sin x)) (sqrt (sqrt (sqrt (/ (sinh y) y)))))
  (* (sqrt (sin x)) (sqrt (sqrt (sqrt (/ (sinh y) y)))))
  (* (sin x) (* (cbrt (sqrt (sqrt (/ (sinh y) y)))) (cbrt (sqrt (sqrt (/ (sinh y) y))))))
  (* (fabs (cbrt (sqrt (/ (sinh y) y)))) (sin x))
  (* (sin x) (sqrt (fabs (cbrt (/ (sinh y) y)))))
  (* (sin x) (sqrt (sqrt (sqrt (/ (sinh y) y)))))
  (* (sin x) (sqrt (fabs (/ (cbrt (sinh y)) (cbrt y)))))
  (* (sin x) (sqrt (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)))))
  (* (sqrt (fabs (cbrt (sinh y)))) (sin x))
  (* (sin x) (sqrt (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))))
  (* (sin x) (sqrt (sqrt (/ (sqrt (sinh y)) (sqrt y)))))
  (* (sqrt (sqrt (sqrt (sinh y)))) (sin x))
  (* (sin x) (sqrt (sqrt (/ 1 (* (cbrt y) (cbrt y))))))
  (* (sin x) (sqrt (sqrt (/ 1 (sqrt y)))))
  (sin x)
  (sin x)
  (* (sin x) (sqrt (sqrt (sinh y))))
  (* (sin x) (sqrt (sqrt (sqrt (/ (sinh y) y)))))
  (sin x)
  (* (sin x) (sqrt (sqrt (sqrt (/ (sinh y) y)))))
  (sin x)
  (* (cbrt (sin x)) (sqrt (sqrt (/ (sinh y) y))))
  (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y))))
  (* (sin x) (sqrt (sqrt (/ (sinh y) y))))
  (* (sin x) (sqrt (sqrt (sinh y))))
  (expm1 (* (sin x) (/ (sinh y) y)))
  (log1p (* (sin x) (/ (sinh y) y)))
  (* (sin x) (/ (sinh y) y))
  (* (sin x) (/ (sinh y) y))
  (* (sin x) (/ (sinh y) y))
  (log (* (sin x) (/ (sinh y) y)))
  (log (* (sin x) (/ (sinh y) y)))
  (log (* (sin x) (/ (sinh y) y)))
  (log (* (sin x) (/ (sinh y) y)))
  (exp (* (sin x) (/ (sinh y) y)))
  (pow (* (sin x) (/ (sinh y) y)) 3)
  (pow (* (sin x) (/ (sinh y) y)) 3)
  (pow (* (sin x) (/ (sinh y) y)) 3)
  (* (cbrt (* (sin x) (/ (sinh y) y))) (cbrt (* (sin x) (/ (sinh y) y))))
  (cbrt (* (sin x) (/ (sinh y) y)))
  (pow (* (sin x) (/ (sinh y) y)) 3)
  (sqrt (* (sin x) (/ (sinh y) y)))
  (sqrt (* (sin x) (/ (sinh y) y)))
  (* (sin x) (* (sqrt (sinh y)) (sqrt (sinh y))))
  y
  (* (* (* (sin x) (sqrt (sqrt (sinh y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sinh y)))
  (pow (sqrt (sqrt y)) 3)
  (* (* (* (sin x) (sqrt (sqrt (sinh y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sinh y)))
  (pow (sqrt (sqrt y)) 3)
  (* (* (sin x) (sqrt (/ (sinh y) y))) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y)))))
  (* (fabs (cbrt (/ (sinh y) y))) (* (sin x) (sqrt (/ (sinh y) y))))
  (* (sin x) (pow (sqrt (sqrt (/ (sinh y) y))) 3))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (fabs (/ (cbrt (sinh y)) (cbrt y))))
  (* (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))) (* (sin x) (sqrt (/ (sinh y) y))))
  (* (sin x) (* (sqrt (/ (sinh y) y)) (fabs (cbrt (sinh y)))))
  (* (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (* (sin x) (sqrt (/ (sinh y) y))))
  (* (sqrt (/ (sqrt (sinh y)) (sqrt y))) (* (sin x) (sqrt (/ (sinh y) y))))
  (* (sqrt (/ (sinh y) y)) (* (sin x) (sqrt (sqrt (sinh y)))))
  (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ 1 (* (cbrt y) (cbrt y)))))
  (* (sqrt (/ 1 (sqrt y))) (* (sin x) (sqrt (/ (sinh y) y))))
  (* (sin x) (sqrt (/ (sinh y) y)))
  (* (sin x) (sqrt (/ (sinh y) y)))
  (* (sqrt (sinh y)) (* (sin x) (sqrt (/ (sinh y) y))))
  (* (sin x) (pow (sqrt (sqrt (/ (sinh y) y))) 3))
  (* (sin x) (sqrt (/ (sinh y) y)))
  (pow (sqrt (sqrt (/ (sinh y) y))) 3)
  (* (sqrt (sinh y)) (* (sin x) (sqrt (/ (sinh y) y))))
  (* (sqrt (sinh y)) (* (sin x) (sqrt (/ (sinh y) y))))
  (* (pow (sqrt (sqrt (/ (sinh y) y))) 3) (* (sin x) (sqrt (sqrt (sinh y)))))
  (* (pow (sqrt (sqrt (/ (sinh y) y))) 3) (* (sin x) (sqrt (sqrt (sinh y)))))
  (expm1 (sinh y))
  (log1p (sinh y))
  (- (exp y) (exp (- 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))
  (expm1 (sinh y))
  (log1p (sinh y))
  (- (exp y) (exp (- 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))
  (- (fma 1/24 (* x (pow y 2)) x) (* 1/6 (pow x 3)))
  (* (exp (* 1/4 (- (log (* 1/2 (- (exp y) (exp (- y))))) (log y)))) (sin x))
  (- (fma +nan.0 (/ (/ (sin x) (exp y)) (pow y 3)) (- (fma (/ (/ (sin x) (exp y)) y) +nan.0 (- (fma +nan.0 (/ (* (sin x) (exp y)) y) (- (* +nan.0 (- (/ (* (pow (exp (- y)) 3) (sin x)) (pow y 3)) (/ (* (sin x) (exp y)) (pow y 3)))) (* (/ (sin x) (/ (pow y 2) (pow (exp (- y)) 2))) +nan.0))) (* +nan.0 (/ (* (sin x) (pow (exp y) 3)) (pow y 3))))) (* +nan.0 (/ (sin x) (pow y 2))))) (* +nan.0 (/ (* (sin x) (pow (exp y) 2)) (pow y 2))))
  (- (fma 1/6 (* x (pow y 2)) x) (* 1/6 (pow x 3)))
  (/ (* 1/2 (* (sin x) (- (exp y) (exp (- y))))) y)
  (- (fma (/ (* (sin x) (pow (exp y) 2)) (pow y 2)) +nan.0 (- (fma +nan.0 (/ (sin x) (pow y 4)) (- (- (* (/ (sin x) (/ (pow y 2) (pow (exp (- y)) 2))) +nan.0) (fma +nan.0 (/ (* (sin x) (pow (exp y) 3)) (pow y 3)) (- (fma +nan.0 (/ (sin x) (pow y 2)) (- (* +nan.0 (- (/ (* (sin x) (pow (exp y) 2)) (pow y 4)) (/ (* (sin x) (exp y)) (pow y 3)))) (* +nan.0 (/ (* (pow (exp (- y)) 2) (sin x)) (pow y 4))))) (* (/ (* (pow (exp (- y)) 3) (sin x)) (pow y 3)) +nan.0)))) (* (/ (* (pow (exp (- y)) 4) (sin x)) (pow y 4)) +nan.0))) (* (/ (/ (sin x) (exp y)) (pow y 3)) +nan.0))) (* +nan.0 (/ (* (sin x) (pow (exp y) 4)) (pow y 4))))
  (fma 1/6 (pow y 3) (fma 1/120 (pow y 5) y))
  (* 1/2 (- (exp y) (exp (- y))))
  (* 1/2 (- (exp y) (exp (- y))))
  (fma 1/6 (pow y 3) (fma 1/120 (pow y 5) y))
  (* 1/2 (- (exp y) (exp (- y))))
  (* 1/2 (- (exp y) (exp (- y))))
12.205 * * * [progress]: adding candidates to table
12.614 * * [progress]: iteration 4 / 4
12.614 * * * [progress]: picking best candidate
12.616 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (sin x) (sinh y)) (/ 1 y)))>
12.616 * * * [progress]: localizing error
12.624 * * * [progress]: generating rewritten candidates
12.624 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
12.637 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
12.642 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
12.645 * * * [progress]: generating series expansions
12.645 * * * * [progress]: [ 1 / 3 ] generating series at (2)
12.645 * [approximate]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in (x y) around 0
12.645 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in y
12.645 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y
12.645 * [taylor]: Taking taylor expansion of (sin x) in y
12.645 * [taylor]: Taking taylor expansion of x in y
12.645 * [taylor]: Taking taylor expansion of (sinh y) in y
12.645 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
12.645 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
12.645 * [taylor]: Taking taylor expansion of (exp y) in y
12.645 * [taylor]: Taking taylor expansion of y in y
12.645 * [taylor]: Taking taylor expansion of (exp (- y)) in y
12.645 * [taylor]: Taking taylor expansion of (- y) in y
12.645 * [taylor]: Taking taylor expansion of y in y
12.646 * [taylor]: Taking taylor expansion of 2 in y
12.649 * [taylor]: Taking taylor expansion of y in y
12.649 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x
12.649 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
12.649 * [taylor]: Taking taylor expansion of (sin x) in x
12.649 * [taylor]: Taking taylor expansion of x in x
12.649 * [taylor]: Taking taylor expansion of (sinh y) in x
12.649 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
12.649 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
12.649 * [taylor]: Taking taylor expansion of (exp y) in x
12.649 * [taylor]: Taking taylor expansion of y in x
12.649 * [taylor]: Taking taylor expansion of (exp (- y)) in x
12.649 * [taylor]: Taking taylor expansion of (- y) in x
12.649 * [taylor]: Taking taylor expansion of y in x
12.649 * [taylor]: Taking taylor expansion of 2 in x
12.649 * [taylor]: Taking taylor expansion of y in x
12.652 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x
12.652 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
12.653 * [taylor]: Taking taylor expansion of (sin x) in x
12.653 * [taylor]: Taking taylor expansion of x in x
12.653 * [taylor]: Taking taylor expansion of (sinh y) in x
12.653 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
12.653 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
12.653 * [taylor]: Taking taylor expansion of (exp y) in x
12.653 * [taylor]: Taking taylor expansion of y in x
12.653 * [taylor]: Taking taylor expansion of (exp (- y)) in x
12.653 * [taylor]: Taking taylor expansion of (- y) in x
12.653 * [taylor]: Taking taylor expansion of y in x
12.653 * [taylor]: Taking taylor expansion of 2 in x
12.653 * [taylor]: Taking taylor expansion of y in x
12.656 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) y) in y
12.656 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) in y
12.656 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y
12.656 * [taylor]: Taking taylor expansion of 1/2 in y
12.656 * [taylor]: Taking taylor expansion of (exp y) in y
12.656 * [taylor]: Taking taylor expansion of y in y
12.656 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- y))) in y
12.656 * [taylor]: Taking taylor expansion of 1/2 in y
12.656 * [taylor]: Taking taylor expansion of (exp (- y)) in y
12.656 * [taylor]: Taking taylor expansion of (- y) in y
12.656 * [taylor]: Taking taylor expansion of y in y
12.657 * [taylor]: Taking taylor expansion of y in y
12.665 * [taylor]: Taking taylor expansion of 0 in y
12.680 * [taylor]: Taking taylor expansion of (- (* 1/12 (/ (exp (- y)) y)) (* 1/12 (/ (exp y) y))) in y
12.680 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp (- y)) y)) in y
12.680 * [taylor]: Taking taylor expansion of 1/12 in y
12.680 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
12.680 * [taylor]: Taking taylor expansion of (exp (- y)) in y
12.680 * [taylor]: Taking taylor expansion of (- y) in y
12.680 * [taylor]: Taking taylor expansion of y in y
12.680 * [taylor]: Taking taylor expansion of y in y
12.681 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp y) y)) in y
12.681 * [taylor]: Taking taylor expansion of 1/12 in y
12.681 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
12.681 * [taylor]: Taking taylor expansion of (exp y) in y
12.681 * [taylor]: Taking taylor expansion of y in y
12.681 * [taylor]: Taking taylor expansion of y in y
12.691 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in (x y) around 0
12.691 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in y
12.691 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
12.691 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
12.691 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
12.691 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
12.691 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.691 * [taylor]: Taking taylor expansion of y in y
12.692 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
12.692 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
12.692 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.692 * [taylor]: Taking taylor expansion of y in y
12.692 * [taylor]: Taking taylor expansion of 2 in y
12.692 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in y
12.692 * [taylor]: Taking taylor expansion of y in y
12.692 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
12.692 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.692 * [taylor]: Taking taylor expansion of x in y
12.693 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x
12.693 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
12.693 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
12.693 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
12.693 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
12.693 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.693 * [taylor]: Taking taylor expansion of y in x
12.693 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
12.693 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
12.693 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.693 * [taylor]: Taking taylor expansion of y in x
12.693 * [taylor]: Taking taylor expansion of 2 in x
12.693 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x
12.693 * [taylor]: Taking taylor expansion of y in x
12.693 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
12.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.693 * [taylor]: Taking taylor expansion of x in x
12.693 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x
12.694 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
12.694 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
12.694 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
12.694 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
12.694 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.694 * [taylor]: Taking taylor expansion of y in x
12.694 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
12.694 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
12.694 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.694 * [taylor]: Taking taylor expansion of y in x
12.694 * [taylor]: Taking taylor expansion of 2 in x
12.694 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x
12.694 * [taylor]: Taking taylor expansion of y in x
12.694 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
12.694 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.694 * [taylor]: Taking taylor expansion of x in x
12.695 * [taylor]: Taking taylor expansion of (* 1/2 (* y (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y
12.695 * [taylor]: Taking taylor expansion of 1/2 in y
12.695 * [taylor]: Taking taylor expansion of (* y (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y
12.695 * [taylor]: Taking taylor expansion of y in y
12.695 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y
12.695 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
12.695 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.695 * [taylor]: Taking taylor expansion of x in y
12.695 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
12.695 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
12.695 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.695 * [taylor]: Taking taylor expansion of y in y
12.695 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
12.695 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
12.695 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.696 * [taylor]: Taking taylor expansion of y in y
12.699 * [taylor]: Taking taylor expansion of 0 in y
12.707 * [taylor]: Taking taylor expansion of 0 in y
12.716 * [taylor]: Taking taylor expansion of 0 in y
12.717 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in (x y) around 0
12.717 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in y
12.717 * [taylor]: Taking taylor expansion of -1 in y
12.717 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in y
12.717 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
12.717 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
12.717 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
12.717 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
12.717 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.717 * [taylor]: Taking taylor expansion of -1 in y
12.717 * [taylor]: Taking taylor expansion of y in y
12.718 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
12.718 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
12.718 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.718 * [taylor]: Taking taylor expansion of -1 in y
12.718 * [taylor]: Taking taylor expansion of y in y
12.718 * [taylor]: Taking taylor expansion of 2 in y
12.719 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in y
12.719 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
12.719 * [taylor]: Taking taylor expansion of (/ -1 x) in y
12.719 * [taylor]: Taking taylor expansion of -1 in y
12.719 * [taylor]: Taking taylor expansion of x in y
12.719 * [taylor]: Taking taylor expansion of y in y
12.719 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in x
12.719 * [taylor]: Taking taylor expansion of -1 in x
12.719 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in x
12.719 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
12.719 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
12.719 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
12.719 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
12.719 * [taylor]: Taking taylor expansion of (/ -1 y) in x
12.719 * [taylor]: Taking taylor expansion of -1 in x
12.719 * [taylor]: Taking taylor expansion of y in x
12.719 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
12.719 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
12.719 * [taylor]: Taking taylor expansion of (/ -1 y) in x
12.719 * [taylor]: Taking taylor expansion of -1 in x
12.719 * [taylor]: Taking taylor expansion of y in x
12.719 * [taylor]: Taking taylor expansion of 2 in x
12.719 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in x
12.719 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
12.719 * [taylor]: Taking taylor expansion of (/ -1 x) in x
12.719 * [taylor]: Taking taylor expansion of -1 in x
12.719 * [taylor]: Taking taylor expansion of x in x
12.720 * [taylor]: Taking taylor expansion of y in x
12.720 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in x
12.720 * [taylor]: Taking taylor expansion of -1 in x
12.720 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in x
12.720 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
12.720 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
12.720 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
12.720 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
12.720 * [taylor]: Taking taylor expansion of (/ -1 y) in x
12.720 * [taylor]: Taking taylor expansion of -1 in x
12.720 * [taylor]: Taking taylor expansion of y in x
12.720 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
12.720 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
12.720 * [taylor]: Taking taylor expansion of (/ -1 y) in x
12.720 * [taylor]: Taking taylor expansion of -1 in x
12.720 * [taylor]: Taking taylor expansion of y in x
12.720 * [taylor]: Taking taylor expansion of 2 in x
12.720 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in x
12.720 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
12.720 * [taylor]: Taking taylor expansion of (/ -1 x) in x
12.720 * [taylor]: Taking taylor expansion of -1 in x
12.720 * [taylor]: Taking taylor expansion of x in x
12.721 * [taylor]: Taking taylor expansion of y in x
12.721 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) in y
12.721 * [taylor]: Taking taylor expansion of -1/2 in y
12.721 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)) in y
12.721 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
12.721 * [taylor]: Taking taylor expansion of (/ -1 x) in y
12.721 * [taylor]: Taking taylor expansion of -1 in y
12.721 * [taylor]: Taking taylor expansion of x in y
12.721 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) y) in y
12.721 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
12.721 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
12.721 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.721 * [taylor]: Taking taylor expansion of -1 in y
12.721 * [taylor]: Taking taylor expansion of y in y
12.722 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
12.722 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.722 * [taylor]: Taking taylor expansion of y in y
12.722 * [taylor]: Taking taylor expansion of y in y
12.726 * [taylor]: Taking taylor expansion of 0 in y
12.734 * [taylor]: Taking taylor expansion of 0 in y
12.744 * [taylor]: Taking taylor expansion of 0 in y
12.745 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
12.745 * [approximate]: Taking taylor expansion of (* (sin x) (sinh y)) in (x y) around 0
12.745 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y
12.745 * [taylor]: Taking taylor expansion of (sin x) in y
12.745 * [taylor]: Taking taylor expansion of x in y
12.745 * [taylor]: Taking taylor expansion of (sinh y) in y
12.745 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
12.745 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
12.745 * [taylor]: Taking taylor expansion of (exp y) in y
12.745 * [taylor]: Taking taylor expansion of y in y
12.745 * [taylor]: Taking taylor expansion of (exp (- y)) in y
12.745 * [taylor]: Taking taylor expansion of (- y) in y
12.745 * [taylor]: Taking taylor expansion of y in y
12.746 * [taylor]: Taking taylor expansion of 2 in y
12.748 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
12.748 * [taylor]: Taking taylor expansion of (sin x) in x
12.748 * [taylor]: Taking taylor expansion of x in x
12.748 * [taylor]: Taking taylor expansion of (sinh y) in x
12.748 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
12.748 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
12.748 * [taylor]: Taking taylor expansion of (exp y) in x
12.748 * [taylor]: Taking taylor expansion of y in x
12.749 * [taylor]: Taking taylor expansion of (exp (- y)) in x
12.749 * [taylor]: Taking taylor expansion of (- y) in x
12.749 * [taylor]: Taking taylor expansion of y in x
12.749 * [taylor]: Taking taylor expansion of 2 in x
12.749 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
12.749 * [taylor]: Taking taylor expansion of (sin x) in x
12.749 * [taylor]: Taking taylor expansion of x in x
12.749 * [taylor]: Taking taylor expansion of (sinh y) in x
12.749 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
12.749 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
12.749 * [taylor]: Taking taylor expansion of (exp y) in x
12.749 * [taylor]: Taking taylor expansion of y in x
12.749 * [taylor]: Taking taylor expansion of (exp (- y)) in x
12.749 * [taylor]: Taking taylor expansion of (- y) in x
12.749 * [taylor]: Taking taylor expansion of y in x
12.749 * [taylor]: Taking taylor expansion of 2 in x
12.749 * [taylor]: Taking taylor expansion of 0 in y
12.752 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) in y
12.752 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y
12.752 * [taylor]: Taking taylor expansion of 1/2 in y
12.752 * [taylor]: Taking taylor expansion of (exp y) in y
12.752 * [taylor]: Taking taylor expansion of y in y
12.752 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- y))) in y
12.752 * [taylor]: Taking taylor expansion of 1/2 in y
12.752 * [taylor]: Taking taylor expansion of (exp (- y)) in y
12.752 * [taylor]: Taking taylor expansion of (- y) in y
12.752 * [taylor]: Taking taylor expansion of y in y
12.760 * [taylor]: Taking taylor expansion of 0 in y
12.775 * [taylor]: Taking taylor expansion of (- (* 1/12 (exp (- y))) (* 1/12 (exp y))) in y
12.775 * [taylor]: Taking taylor expansion of (* 1/12 (exp (- y))) in y
12.775 * [taylor]: Taking taylor expansion of 1/12 in y
12.775 * [taylor]: Taking taylor expansion of (exp (- y)) in y
12.775 * [taylor]: Taking taylor expansion of (- y) in y
12.775 * [taylor]: Taking taylor expansion of y in y
12.775 * [taylor]: Taking taylor expansion of (* 1/12 (exp y)) in y
12.775 * [taylor]: Taking taylor expansion of 1/12 in y
12.775 * [taylor]: Taking taylor expansion of (exp y) in y
12.775 * [taylor]: Taking taylor expansion of y in y
12.783 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in (x y) around 0
12.783 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in y
12.783 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
12.784 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
12.784 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
12.784 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
12.784 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.784 * [taylor]: Taking taylor expansion of y in y
12.784 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
12.784 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
12.784 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.784 * [taylor]: Taking taylor expansion of y in y
12.784 * [taylor]: Taking taylor expansion of 2 in y
12.785 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
12.785 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.785 * [taylor]: Taking taylor expansion of x in y
12.785 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in x
12.785 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
12.785 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
12.785 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
12.785 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
12.785 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.785 * [taylor]: Taking taylor expansion of y in x
12.785 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
12.785 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
12.785 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.785 * [taylor]: Taking taylor expansion of y in x
12.785 * [taylor]: Taking taylor expansion of 2 in x
12.785 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
12.785 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.785 * [taylor]: Taking taylor expansion of x in x
12.786 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in x
12.786 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
12.786 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
12.786 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
12.786 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
12.786 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.786 * [taylor]: Taking taylor expansion of y in x
12.786 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
12.786 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
12.786 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.786 * [taylor]: Taking taylor expansion of y in x
12.786 * [taylor]: Taking taylor expansion of 2 in x
12.786 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
12.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.786 * [taylor]: Taking taylor expansion of x in x
12.787 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y
12.787 * [taylor]: Taking taylor expansion of 1/2 in y
12.787 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y
12.787 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
12.787 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.787 * [taylor]: Taking taylor expansion of x in y
12.787 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
12.787 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
12.787 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.787 * [taylor]: Taking taylor expansion of y in y
12.787 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
12.787 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
12.787 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.787 * [taylor]: Taking taylor expansion of y in y
12.791 * [taylor]: Taking taylor expansion of 0 in y
12.797 * [taylor]: Taking taylor expansion of 0 in y
12.806 * [taylor]: Taking taylor expansion of 0 in y
12.806 * [approximate]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in (x y) around 0
12.806 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in y
12.806 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
12.806 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
12.806 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
12.806 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
12.806 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.806 * [taylor]: Taking taylor expansion of -1 in y
12.806 * [taylor]: Taking taylor expansion of y in y
12.807 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
12.807 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
12.807 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.807 * [taylor]: Taking taylor expansion of -1 in y
12.807 * [taylor]: Taking taylor expansion of y in y
12.807 * [taylor]: Taking taylor expansion of 2 in y
12.808 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
12.808 * [taylor]: Taking taylor expansion of (/ -1 x) in y
12.808 * [taylor]: Taking taylor expansion of -1 in y
12.808 * [taylor]: Taking taylor expansion of x in y
12.808 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in x
12.808 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
12.808 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
12.808 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
12.808 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
12.808 * [taylor]: Taking taylor expansion of (/ -1 y) in x
12.808 * [taylor]: Taking taylor expansion of -1 in x
12.808 * [taylor]: Taking taylor expansion of y in x
12.808 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
12.808 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
12.808 * [taylor]: Taking taylor expansion of (/ -1 y) in x
12.808 * [taylor]: Taking taylor expansion of -1 in x
12.808 * [taylor]: Taking taylor expansion of y in x
12.808 * [taylor]: Taking taylor expansion of 2 in x
12.808 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
12.808 * [taylor]: Taking taylor expansion of (/ -1 x) in x
12.808 * [taylor]: Taking taylor expansion of -1 in x
12.808 * [taylor]: Taking taylor expansion of x in x
12.809 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in x
12.809 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
12.809 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
12.809 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
12.809 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
12.809 * [taylor]: Taking taylor expansion of (/ -1 y) in x
12.809 * [taylor]: Taking taylor expansion of -1 in x
12.809 * [taylor]: Taking taylor expansion of y in x
12.809 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
12.809 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
12.809 * [taylor]: Taking taylor expansion of (/ -1 y) in x
12.809 * [taylor]: Taking taylor expansion of -1 in x
12.809 * [taylor]: Taking taylor expansion of y in x
12.809 * [taylor]: Taking taylor expansion of 2 in x
12.809 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
12.809 * [taylor]: Taking taylor expansion of (/ -1 x) in x
12.809 * [taylor]: Taking taylor expansion of -1 in x
12.809 * [taylor]: Taking taylor expansion of x in x
12.810 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 x)) (- (exp (/ -1 y)) (exp (/ 1 y))))) in y
12.810 * [taylor]: Taking taylor expansion of 1/2 in y
12.810 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (- (exp (/ -1 y)) (exp (/ 1 y)))) in y
12.810 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
12.810 * [taylor]: Taking taylor expansion of (/ -1 x) in y
12.810 * [taylor]: Taking taylor expansion of -1 in y
12.810 * [taylor]: Taking taylor expansion of x in y
12.810 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
12.810 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
12.810 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.810 * [taylor]: Taking taylor expansion of -1 in y
12.810 * [taylor]: Taking taylor expansion of y in y
12.810 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
12.810 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.810 * [taylor]: Taking taylor expansion of y in y
12.814 * [taylor]: Taking taylor expansion of 0 in y
12.820 * [taylor]: Taking taylor expansion of 0 in y
12.829 * [taylor]: Taking taylor expansion of 0 in y
12.829 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
12.829 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0
12.829 * [taylor]: Taking taylor expansion of (sinh y) in y
12.829 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
12.829 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
12.829 * [taylor]: Taking taylor expansion of (exp y) in y
12.829 * [taylor]: Taking taylor expansion of y in y
12.829 * [taylor]: Taking taylor expansion of (exp (- y)) in y
12.829 * [taylor]: Taking taylor expansion of (- y) in y
12.830 * [taylor]: Taking taylor expansion of y in y
12.830 * [taylor]: Taking taylor expansion of 2 in y
12.832 * [taylor]: Taking taylor expansion of (sinh y) in y
12.833 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
12.833 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
12.833 * [taylor]: Taking taylor expansion of (exp y) in y
12.833 * [taylor]: Taking taylor expansion of y in y
12.833 * [taylor]: Taking taylor expansion of (exp (- y)) in y
12.833 * [taylor]: Taking taylor expansion of (- y) in y
12.833 * [taylor]: Taking taylor expansion of y in y
12.833 * [taylor]: Taking taylor expansion of 2 in y
12.866 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0
12.866 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
12.866 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
12.866 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
12.866 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
12.866 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.866 * [taylor]: Taking taylor expansion of y in y
12.866 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
12.866 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
12.866 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.866 * [taylor]: Taking taylor expansion of y in y
12.867 * [taylor]: Taking taylor expansion of 2 in y
12.867 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
12.867 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
12.867 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
12.867 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
12.867 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.867 * [taylor]: Taking taylor expansion of y in y
12.868 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
12.868 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
12.868 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.868 * [taylor]: Taking taylor expansion of y in y
12.868 * [taylor]: Taking taylor expansion of 2 in y
12.879 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0
12.880 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
12.880 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
12.880 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
12.880 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
12.880 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.880 * [taylor]: Taking taylor expansion of -1 in y
12.880 * [taylor]: Taking taylor expansion of y in y
12.880 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
12.880 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
12.880 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.880 * [taylor]: Taking taylor expansion of -1 in y
12.880 * [taylor]: Taking taylor expansion of y in y
12.881 * [taylor]: Taking taylor expansion of 2 in y
12.881 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
12.881 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
12.881 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
12.881 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
12.881 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.881 * [taylor]: Taking taylor expansion of -1 in y
12.881 * [taylor]: Taking taylor expansion of y in y
12.881 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
12.881 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
12.881 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.881 * [taylor]: Taking taylor expansion of -1 in y
12.881 * [taylor]: Taking taylor expansion of y in y
12.882 * [taylor]: Taking taylor expansion of 2 in y
12.893 * * * [progress]: simplifying candidates
12.894 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (sin x) (sinh y)) (/ 1 y)))
  (log1p (* (* (sin x) (sinh y)) (/ 1 y)))
  (* (* (sin x) (sinh y)) (/ 1 y))
  (* (* (sin x) (sinh y)) (/ 1 y))
  (+ (+ (log (sin x)) (log (sinh y))) (- (log y)))
  (+ (+ (log (sin x)) (log (sinh y))) (- 0 (log y)))
  (+ (+ (log (sin x)) (log (sinh y))) (- (log 1) (log y)))
  (+ (+ (log (sin x)) (log (sinh y))) (log (/ 1 y)))
  (+ (log (* (sin x) (sinh y))) (- (log y)))
  (+ (log (* (sin x) (sinh y))) (- 0 (log y)))
  (+ (log (* (sin x) (sinh y))) (- (log 1) (log y)))
  (+ (log (* (sin x) (sinh y))) (log (/ 1 y)))
  (log (* (* (sin x) (sinh y)) (/ 1 y)))
  (exp (* (* (sin x) (sinh y)) (/ 1 y)))
  (* (* (* (* (sin x) (sin x)) (sin x)) (* (* (sinh y) (sinh y)) (sinh y))) (/ (* (* 1 1) 1) (* (* y y) y)))
  (* (* (* (* (sin x) (sin x)) (sin x)) (* (* (sinh y) (sinh y)) (sinh y))) (* (* (/ 1 y) (/ 1 y)) (/ 1 y)))
  (* (* (* (* (sin x) (sinh y)) (* (sin x) (sinh y))) (* (sin x) (sinh y))) (/ (* (* 1 1) 1) (* (* y y) y)))
  (* (* (* (* (sin x) (sinh y)) (* (sin x) (sinh y))) (* (sin x) (sinh y))) (* (* (/ 1 y) (/ 1 y)) (/ 1 y)))
  (* (cbrt (* (* (sin x) (sinh y)) (/ 1 y))) (cbrt (* (* (sin x) (sinh y)) (/ 1 y))))
  (cbrt (* (* (sin x) (sinh y)) (/ 1 y)))
  (* (* (* (* (sin x) (sinh y)) (/ 1 y)) (* (* (sin x) (sinh y)) (/ 1 y))) (* (* (sin x) (sinh y)) (/ 1 y)))
  (sqrt (* (* (sin x) (sinh y)) (/ 1 y)))
  (sqrt (* (* (sin x) (sinh y)) (/ 1 y)))
  (* (* (sin x) (- (exp y) (exp (- y)))) 1)
  (* 2 y)
  (* (* (sin x) (sinh y)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (* (* (sin x) (sinh y)) (sqrt (/ 1 y)))
  (* (* (sin x) (sinh y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (* (* (sin x) (sinh y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (* (* (sin x) (sinh y)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (* (* (sin x) (sinh y)) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (* (* (sin x) (sinh y)) (/ (sqrt 1) (sqrt y)))
  (* (* (sin x) (sinh y)) (/ (sqrt 1) 1))
  (* (* (sin x) (sinh y)) (/ 1 (* (cbrt y) (cbrt y))))
  (* (* (sin x) (sinh y)) (/ 1 (sqrt y)))
  (* (* (sin x) (sinh y)) (/ 1 1))
  (* (* (sin x) (sinh y)) 1)
  (* (* (sin x) (sinh y)) 1)
  (* (sinh y) (/ 1 y))
  (* (* (sin x) (sinh y)) 1)
  (* (* (sin x) (- (exp y) (exp (- y)))) (/ 1 y))
  (expm1 (* (sin x) (sinh y)))
  (log1p (* (sin x) (sinh y)))
  (* (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 (- y))))
  (expm1 (sinh y))
  (log1p (sinh y))
  (- (exp y) (exp (- 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 (- 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 (- 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 (- y))))
  (* 1/2 (- (exp y) (exp (* -1 y))))
12.898 * * [simplify]: iteration  0 :  160  enodes  (cost  865 )
12.934 * * [simplify]: iteration  1 :  437  enodes  (cost  751 )
13.057 * * [simplify]: iteration  2 :  1759  enodes  (cost  616 )
13.876 * * [simplify]: iteration  done :  5000  enodes  (cost  578 )
13.877 * [simplify]: Simplified to:
   (expm1 (/ (* (sin x) (sinh y)) y))
  (log1p (/ (* (sin x) (sinh y)) y))
  (* (sin x) (/ (sinh y) y))
  (* (sin x) (/ (sinh y) y))
  (log (/ (* (sin x) (sinh y)) y))
  (log (/ (* (sin x) (sinh y)) y))
  (log (/ (* (sin x) (sinh y)) y))
  (log (/ (* (sin x) (sinh y)) y))
  (log (/ (* (sin x) (sinh y)) y))
  (log (/ (* (sin x) (sinh y)) y))
  (log (/ (* (sin x) (sinh y)) y))
  (log (/ (* (sin x) (sinh y)) y))
  (log (/ (* (sin x) (sinh y)) y))
  (exp (/ (* (sin x) (sinh y)) y))
  (pow (/ (* (sin x) (sinh y)) y) 3)
  (pow (/ (* (sin x) (sinh y)) y) 3)
  (pow (/ (* (sin x) (sinh y)) y) 3)
  (pow (/ (* (sin x) (sinh y)) y) 3)
  (* (cbrt (/ (* (sin x) (sinh y)) y)) (cbrt (/ (* (sin x) (sinh y)) y)))
  (cbrt (/ (* (sin x) (sinh y)) y))
  (pow (/ (* (sin x) (sinh y)) y) 3)
  (sqrt (/ (* (sin x) (sinh y)) y))
  (sqrt (/ (* (sin x) (sinh y)) y))
  (* (* (sin x) (sinh y)) 2)
  (* 2 y)
  (* (* (sin x) (sinh y)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (* (* (sin x) (sinh y)) (sqrt (/ 1 y)))
  (* (sin x) (/ (sinh y) (* (cbrt y) (cbrt y))))
  (* (sin x) (/ (sinh y) (sqrt y)))
  (* (sin x) (sinh y))
  (* (sin x) (/ (sinh y) (* (cbrt y) (cbrt y))))
  (* (sin x) (/ (sinh y) (sqrt y)))
  (* (sin x) (sinh y))
  (* (sin x) (/ (sinh y) (* (cbrt y) (cbrt y))))
  (* (sin x) (/ (sinh y) (sqrt y)))
  (* (sin x) (sinh y))
  (* (sin x) (sinh y))
  (* (sin x) (sinh y))
  (/ (sinh y) y)
  (* (sin x) (sinh y))
  (* (* (sinh y) 2) (/ (sin x) y))
  (expm1 (* (sin x) (sinh y)))
  (log1p (* (sin x) (sinh y)))
  (* (sin x) (sinh y))
  (log (* (sin x) (sinh y)))
  (log (* (sin x) (sinh y)))
  (exp (* (sin x) (sinh y)))
  (pow (* (sin x) (sinh y)) 3)
  (* (cbrt (* (sin x) (sinh y))) (cbrt (* (sin x) (sinh y))))
  (cbrt (* (sin x) (sinh y)))
  (pow (* (sin x) (sinh y)) 3)
  (sqrt (* (sin x) (sinh y)))
  (sqrt (* (sin x) (sinh y)))
  (* (sqrt (sin x)) (sqrt (sinh y)))
  (* (sqrt (sin x)) (sqrt (sinh y)))
  (* (sin x) (* (cbrt (sinh y)) (cbrt (sinh y))))
  (* (sin x) (sqrt (sinh y)))
  (sin x)
  (* (cbrt (sin x)) (sinh y))
  (* (sqrt (sin x)) (sinh y))
  (* (sin x) (sinh y))
  (* (* (sin x) (sinh y)) 2)
  (expm1 (sinh y))
  (log1p (sinh y))
  (* (sinh y) 2)
  (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))
  (- (fma 1/6 (* x (pow y 2)) x) (* 1/6 (pow x 3)))
  (* (sin x) (/ (sinh y) y))
  (/ (* -1/2 (* (sin x) (- (exp (- y)) (exp y)))) y)
  (fma y x (* 1/6 (- (* x (pow y 3)) (* (pow x 3) y))))
  (* (sin x) (sinh y))
  (* (sin x) (sinh y))
  (fma 1/6 (pow y 3) (fma 1/120 (pow y 5) y))
  (sinh y)
  (sinh y)
13.878 * * * [progress]: adding candidates to table
14.034 * [progress]: [Phase 3 of 3] Extracting.
14.034 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y))))> #<alt (λ (x y) (* (* (sin x) (sinh y)) (/ 1 y)))> #<alt (λ (x y) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))>)
14.035 * * * [regime-changes]: Trying 4 branch expressions: ((/ (sinh y) y) (sin x) y x)
14.035 * * * * [regimes]: Trying to branch on (/ (sinh y) y) from (#<alt (λ (x y) (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y))))> #<alt (λ (x y) (* (* (sin x) (sinh y)) (/ 1 y)))> #<alt (λ (x y) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))>)
14.049 * * * * [regimes]: Trying to branch on (sin x) from (#<alt (λ (x y) (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y))))> #<alt (λ (x y) (* (* (sin x) (sinh y)) (/ 1 y)))> #<alt (λ (x y) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))>)
14.070 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y))))> #<alt (λ (x y) (* (* (sin x) (sinh y)) (/ 1 y)))> #<alt (λ (x y) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))>)
14.085 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y))))> #<alt (λ (x y) (* (* (sin x) (sinh y)) (/ 1 y)))> #<alt (λ (x y) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))>)
14.100 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
14.100 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y)))
14.100 * * [simplify]: iteration  0 :  10  enodes  (cost  22 )
14.101 * * [simplify]: iteration  1 :  13  enodes  (cost  22 )
14.101 * * [simplify]: iteration  done :  13  enodes  (cost  22 )
14.101 * [simplify]: Simplified to:
   (* (* (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (sqrt (/ (sinh y) y)))) (sqrt (/ (sinh y) y)))
16.712 * [regime-testing]: Baseline error score: 0.04547175504775798
16.712 * [regime-testing]: Oracle error score: 0.01911799131186471
16.713 * [regime-testing]: End program error score: 0.04547175504775798