29.337 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.063 * * * [progress]: [2/2] Setting up program.
0.065 * [progress]: [Phase 2 of 3] Improving.
0.065 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* (sin x) (sinh y)) x)
0.066 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.067 * * [simplify]: iteration  1 :  15  enodes  (cost  7 )
0.069 * * [simplify]: iteration  2 :  32  enodes  (cost  7 )
0.073 * * [simplify]: iteration  3 :  68  enodes  (cost  7 )
0.083 * * [simplify]: iteration  4 :  143  enodes  (cost  7 )
0.108 * * [simplify]: iteration  5 :  268  enodes  (cost  7 )
0.166 * * [simplify]: iteration  6 :  494  enodes  (cost  7 )
0.417 * * [simplify]: iteration  7 :  1086  enodes  (cost  7 )
1.850 * * [simplify]: iteration  8 :  2321  enodes  (cost  7 )
3.860 * * [simplify]: iteration  9 :  3183  enodes  (cost  7 )
7.434 * * [simplify]: iteration  10 :  4461  enodes  (cost  7 )
10.882 * * [simplify]: iteration  11 :  4973  enodes  (cost  7 )
11.488 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
11.489 * [simplify]: Simplified to:
   (/ (* (sin x) (sinh y)) x)
11.489 * * [progress]: iteration 1 / 4
11.489 * * * [progress]: picking best candidate
11.491 * * * * [pick]: Picked  #<alt (λ (x y) (/ (* (sin x) (sinh y)) x))>
11.491 * * * [progress]: localizing error
11.498 * * * [progress]: generating rewritten candidates
11.498 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
11.502 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
11.506 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
11.508 * * * [progress]: generating series expansions
11.508 * * * * [progress]: [ 1 / 3 ] generating series at (2)
11.508 * [approximate]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in (x y) around 0
11.508 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in y
11.508 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y
11.508 * [taylor]: Taking taylor expansion of (sin x) in y
11.508 * [taylor]: Taking taylor expansion of x in y
11.509 * [taylor]: Taking taylor expansion of (sinh y) in y
11.509 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
11.509 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
11.509 * [taylor]: Taking taylor expansion of (exp y) in y
11.509 * [taylor]: Taking taylor expansion of y in y
11.509 * [taylor]: Taking taylor expansion of (exp (- y)) in y
11.509 * [taylor]: Taking taylor expansion of (- y) in y
11.509 * [taylor]: Taking taylor expansion of y in y
11.510 * [taylor]: Taking taylor expansion of 2 in y
11.512 * [taylor]: Taking taylor expansion of x in y
11.512 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in x
11.513 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
11.513 * [taylor]: Taking taylor expansion of (sin x) in x
11.513 * [taylor]: Taking taylor expansion of x in x
11.513 * [taylor]: Taking taylor expansion of (sinh y) in x
11.513 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
11.513 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
11.513 * [taylor]: Taking taylor expansion of (exp y) in x
11.513 * [taylor]: Taking taylor expansion of y in x
11.513 * [taylor]: Taking taylor expansion of (exp (- y)) in x
11.513 * [taylor]: Taking taylor expansion of (- y) in x
11.513 * [taylor]: Taking taylor expansion of y in x
11.513 * [taylor]: Taking taylor expansion of 2 in x
11.513 * [taylor]: Taking taylor expansion of x in x
11.516 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in x
11.516 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
11.516 * [taylor]: Taking taylor expansion of (sin x) in x
11.516 * [taylor]: Taking taylor expansion of x in x
11.516 * [taylor]: Taking taylor expansion of (sinh y) in x
11.516 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
11.516 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
11.516 * [taylor]: Taking taylor expansion of (exp y) in x
11.516 * [taylor]: Taking taylor expansion of y in x
11.516 * [taylor]: Taking taylor expansion of (exp (- y)) in x
11.517 * [taylor]: Taking taylor expansion of (- y) in x
11.517 * [taylor]: Taking taylor expansion of y in x
11.517 * [taylor]: Taking taylor expansion of 2 in x
11.517 * [taylor]: Taking taylor expansion of x in x
11.520 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) in y
11.520 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y
11.520 * [taylor]: Taking taylor expansion of 1/2 in y
11.520 * [taylor]: Taking taylor expansion of (exp y) in y
11.520 * [taylor]: Taking taylor expansion of y in y
11.520 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- y))) in y
11.520 * [taylor]: Taking taylor expansion of 1/2 in y
11.520 * [taylor]: Taking taylor expansion of (exp (- y)) in y
11.520 * [taylor]: Taking taylor expansion of (- y) in y
11.520 * [taylor]: Taking taylor expansion of y in y
11.533 * [taylor]: Taking taylor expansion of 0 in y
11.544 * [taylor]: Taking taylor expansion of (- (* 1/12 (exp (- y))) (* 1/12 (exp y))) in y
11.544 * [taylor]: Taking taylor expansion of (* 1/12 (exp (- y))) in y
11.544 * [taylor]: Taking taylor expansion of 1/12 in y
11.544 * [taylor]: Taking taylor expansion of (exp (- y)) in y
11.544 * [taylor]: Taking taylor expansion of (- y) in y
11.544 * [taylor]: Taking taylor expansion of y in y
11.544 * [taylor]: Taking taylor expansion of (* 1/12 (exp y)) in y
11.544 * [taylor]: Taking taylor expansion of 1/12 in y
11.544 * [taylor]: Taking taylor expansion of (exp y) in y
11.544 * [taylor]: Taking taylor expansion of y in y
11.553 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in (x y) around 0
11.554 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in y
11.554 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
11.554 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
11.554 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
11.554 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
11.554 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.554 * [taylor]: Taking taylor expansion of y in y
11.554 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
11.554 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
11.554 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.554 * [taylor]: Taking taylor expansion of y in y
11.555 * [taylor]: Taking taylor expansion of 2 in y
11.555 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in y
11.555 * [taylor]: Taking taylor expansion of x in y
11.555 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
11.555 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.555 * [taylor]: Taking taylor expansion of x in y
11.555 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in x
11.555 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
11.555 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
11.555 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
11.555 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
11.555 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.555 * [taylor]: Taking taylor expansion of y in x
11.555 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
11.555 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
11.555 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.555 * [taylor]: Taking taylor expansion of y in x
11.556 * [taylor]: Taking taylor expansion of 2 in x
11.556 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in x
11.556 * [taylor]: Taking taylor expansion of x in x
11.556 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
11.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.556 * [taylor]: Taking taylor expansion of x in x
11.556 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in x
11.556 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
11.556 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
11.556 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
11.556 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
11.556 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.556 * [taylor]: Taking taylor expansion of y in x
11.556 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
11.556 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
11.556 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.556 * [taylor]: Taking taylor expansion of y in x
11.557 * [taylor]: Taking taylor expansion of 2 in x
11.557 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in x
11.557 * [taylor]: Taking taylor expansion of x in x
11.557 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
11.557 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.557 * [taylor]: Taking taylor expansion of x in x
11.557 * [taylor]: Taking taylor expansion of 0 in y
11.561 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (exp (/ 1 y)) (sin (/ 1 x)))) (* 1/2 (* (exp (- (/ 1 y))) (sin (/ 1 x))))) in y
11.561 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (sin (/ 1 x)))) in y
11.561 * [taylor]: Taking taylor expansion of 1/2 in y
11.561 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (sin (/ 1 x))) in y
11.561 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
11.561 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.561 * [taylor]: Taking taylor expansion of y in y
11.561 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
11.561 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.561 * [taylor]: Taking taylor expansion of x in y
11.561 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (- (/ 1 y))) (sin (/ 1 x)))) in y
11.561 * [taylor]: Taking taylor expansion of 1/2 in y
11.561 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 y))) (sin (/ 1 x))) in y
11.561 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
11.561 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
11.561 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.561 * [taylor]: Taking taylor expansion of y in y
11.562 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
11.562 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.562 * [taylor]: Taking taylor expansion of x in y
11.568 * [taylor]: Taking taylor expansion of 0 in y
11.579 * [taylor]: Taking taylor expansion of 0 in y
11.579 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in (x y) around 0
11.579 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in y
11.579 * [taylor]: Taking taylor expansion of -1 in y
11.579 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in y
11.579 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
11.580 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
11.580 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
11.580 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
11.580 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.580 * [taylor]: Taking taylor expansion of -1 in y
11.580 * [taylor]: Taking taylor expansion of y in y
11.580 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
11.580 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
11.580 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.580 * [taylor]: Taking taylor expansion of -1 in y
11.580 * [taylor]: Taking taylor expansion of y in y
11.581 * [taylor]: Taking taylor expansion of 2 in y
11.581 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in y
11.581 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
11.581 * [taylor]: Taking taylor expansion of (/ -1 x) in y
11.581 * [taylor]: Taking taylor expansion of -1 in y
11.581 * [taylor]: Taking taylor expansion of x in y
11.581 * [taylor]: Taking taylor expansion of x in y
11.581 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in x
11.581 * [taylor]: Taking taylor expansion of -1 in x
11.581 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in x
11.581 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
11.581 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
11.581 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
11.581 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
11.581 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.581 * [taylor]: Taking taylor expansion of -1 in x
11.581 * [taylor]: Taking taylor expansion of y in x
11.581 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
11.581 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
11.581 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.581 * [taylor]: Taking taylor expansion of -1 in x
11.581 * [taylor]: Taking taylor expansion of y in x
11.581 * [taylor]: Taking taylor expansion of 2 in x
11.582 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in x
11.582 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
11.582 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.582 * [taylor]: Taking taylor expansion of -1 in x
11.582 * [taylor]: Taking taylor expansion of x in x
11.582 * [taylor]: Taking taylor expansion of x in x
11.582 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in x
11.582 * [taylor]: Taking taylor expansion of -1 in x
11.582 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in x
11.582 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
11.582 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
11.582 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
11.582 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
11.582 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.582 * [taylor]: Taking taylor expansion of -1 in x
11.582 * [taylor]: Taking taylor expansion of y in x
11.582 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
11.582 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
11.582 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.582 * [taylor]: Taking taylor expansion of -1 in x
11.582 * [taylor]: Taking taylor expansion of y in x
11.583 * [taylor]: Taking taylor expansion of 2 in x
11.583 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in x
11.583 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
11.583 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.583 * [taylor]: Taking taylor expansion of -1 in x
11.583 * [taylor]: Taking taylor expansion of x in x
11.583 * [taylor]: Taking taylor expansion of x in x
11.584 * [taylor]: Taking taylor expansion of 0 in y
11.587 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (exp (/ 1 y)) (sin (/ -1 x)))) (* 1/2 (* (sin (/ -1 x)) (exp (/ -1 y))))) in y
11.587 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (sin (/ -1 x)))) in y
11.587 * [taylor]: Taking taylor expansion of 1/2 in y
11.587 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (sin (/ -1 x))) in y
11.587 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
11.587 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.587 * [taylor]: Taking taylor expansion of y in y
11.588 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
11.588 * [taylor]: Taking taylor expansion of (/ -1 x) in y
11.588 * [taylor]: Taking taylor expansion of -1 in y
11.588 * [taylor]: Taking taylor expansion of x in y
11.588 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 x)) (exp (/ -1 y)))) in y
11.588 * [taylor]: Taking taylor expansion of 1/2 in y
11.588 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (exp (/ -1 y))) in y
11.588 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
11.588 * [taylor]: Taking taylor expansion of (/ -1 x) in y
11.588 * [taylor]: Taking taylor expansion of -1 in y
11.588 * [taylor]: Taking taylor expansion of x in y
11.588 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
11.588 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.588 * [taylor]: Taking taylor expansion of -1 in y
11.588 * [taylor]: Taking taylor expansion of y in y
11.595 * [taylor]: Taking taylor expansion of 0 in y
11.607 * [taylor]: Taking taylor expansion of 0 in y
11.607 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
11.607 * [approximate]: Taking taylor expansion of (* (sin x) (sinh y)) in (x y) around 0
11.607 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y
11.607 * [taylor]: Taking taylor expansion of (sin x) in y
11.607 * [taylor]: Taking taylor expansion of x in y
11.607 * [taylor]: Taking taylor expansion of (sinh y) in y
11.607 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
11.607 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
11.607 * [taylor]: Taking taylor expansion of (exp y) in y
11.608 * [taylor]: Taking taylor expansion of y in y
11.608 * [taylor]: Taking taylor expansion of (exp (- y)) in y
11.608 * [taylor]: Taking taylor expansion of (- y) in y
11.608 * [taylor]: Taking taylor expansion of y in y
11.608 * [taylor]: Taking taylor expansion of 2 in y
11.611 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
11.611 * [taylor]: Taking taylor expansion of (sin x) in x
11.611 * [taylor]: Taking taylor expansion of x in x
11.611 * [taylor]: Taking taylor expansion of (sinh y) in x
11.611 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
11.611 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
11.611 * [taylor]: Taking taylor expansion of (exp y) in x
11.611 * [taylor]: Taking taylor expansion of y in x
11.611 * [taylor]: Taking taylor expansion of (exp (- y)) in x
11.611 * [taylor]: Taking taylor expansion of (- y) in x
11.611 * [taylor]: Taking taylor expansion of y in x
11.611 * [taylor]: Taking taylor expansion of 2 in x
11.612 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
11.612 * [taylor]: Taking taylor expansion of (sin x) in x
11.612 * [taylor]: Taking taylor expansion of x in x
11.612 * [taylor]: Taking taylor expansion of (sinh y) in x
11.612 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
11.612 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
11.612 * [taylor]: Taking taylor expansion of (exp y) in x
11.612 * [taylor]: Taking taylor expansion of y in x
11.612 * [taylor]: Taking taylor expansion of (exp (- y)) in x
11.612 * [taylor]: Taking taylor expansion of (- y) in x
11.612 * [taylor]: Taking taylor expansion of y in x
11.612 * [taylor]: Taking taylor expansion of 2 in x
11.612 * [taylor]: Taking taylor expansion of 0 in y
11.615 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) in y
11.615 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y
11.615 * [taylor]: Taking taylor expansion of 1/2 in y
11.615 * [taylor]: Taking taylor expansion of (exp y) in y
11.615 * [taylor]: Taking taylor expansion of y in y
11.615 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- y))) in y
11.615 * [taylor]: Taking taylor expansion of 1/2 in y
11.615 * [taylor]: Taking taylor expansion of (exp (- y)) in y
11.615 * [taylor]: Taking taylor expansion of (- y) in y
11.615 * [taylor]: Taking taylor expansion of y in y
11.630 * [taylor]: Taking taylor expansion of 0 in y
11.640 * [taylor]: Taking taylor expansion of (- (* 1/12 (exp (- y))) (* 1/12 (exp y))) in y
11.640 * [taylor]: Taking taylor expansion of (* 1/12 (exp (- y))) in y
11.640 * [taylor]: Taking taylor expansion of 1/12 in y
11.640 * [taylor]: Taking taylor expansion of (exp (- y)) in y
11.640 * [taylor]: Taking taylor expansion of (- y) in y
11.640 * [taylor]: Taking taylor expansion of y in y
11.641 * [taylor]: Taking taylor expansion of (* 1/12 (exp y)) in y
11.641 * [taylor]: Taking taylor expansion of 1/12 in y
11.641 * [taylor]: Taking taylor expansion of (exp y) in y
11.641 * [taylor]: Taking taylor expansion of y in y
11.649 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in (x y) around 0
11.650 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in y
11.650 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
11.650 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
11.650 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
11.650 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
11.650 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.650 * [taylor]: Taking taylor expansion of y in y
11.650 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
11.650 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
11.650 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.650 * [taylor]: Taking taylor expansion of y in y
11.651 * [taylor]: Taking taylor expansion of 2 in y
11.651 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
11.651 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.651 * [taylor]: Taking taylor expansion of x in y
11.651 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in x
11.651 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
11.651 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
11.651 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
11.651 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
11.651 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.651 * [taylor]: Taking taylor expansion of y in x
11.651 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
11.651 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
11.651 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.651 * [taylor]: Taking taylor expansion of y in x
11.652 * [taylor]: Taking taylor expansion of 2 in x
11.652 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
11.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.652 * [taylor]: Taking taylor expansion of x in x
11.652 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in x
11.652 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
11.652 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
11.652 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
11.653 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
11.653 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.653 * [taylor]: Taking taylor expansion of y in x
11.653 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
11.653 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
11.653 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.653 * [taylor]: Taking taylor expansion of y in x
11.653 * [taylor]: Taking taylor expansion of 2 in x
11.653 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
11.653 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.653 * [taylor]: Taking taylor expansion of x in x
11.654 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y
11.654 * [taylor]: Taking taylor expansion of 1/2 in y
11.654 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y
11.654 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
11.654 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.654 * [taylor]: Taking taylor expansion of x in y
11.654 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
11.654 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
11.654 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.654 * [taylor]: Taking taylor expansion of y in y
11.654 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
11.654 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
11.654 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.654 * [taylor]: Taking taylor expansion of y in y
11.658 * [taylor]: Taking taylor expansion of 0 in y
11.665 * [taylor]: Taking taylor expansion of 0 in y
11.674 * [taylor]: Taking taylor expansion of 0 in y
11.674 * [approximate]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in (x y) around 0
11.674 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in y
11.675 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
11.675 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
11.675 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
11.675 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
11.675 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.675 * [taylor]: Taking taylor expansion of -1 in y
11.675 * [taylor]: Taking taylor expansion of y in y
11.675 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
11.675 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
11.675 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.675 * [taylor]: Taking taylor expansion of -1 in y
11.675 * [taylor]: Taking taylor expansion of y in y
11.676 * [taylor]: Taking taylor expansion of 2 in y
11.676 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
11.676 * [taylor]: Taking taylor expansion of (/ -1 x) in y
11.676 * [taylor]: Taking taylor expansion of -1 in y
11.676 * [taylor]: Taking taylor expansion of x in y
11.676 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in x
11.676 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
11.676 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
11.676 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
11.676 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
11.676 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.676 * [taylor]: Taking taylor expansion of -1 in x
11.676 * [taylor]: Taking taylor expansion of y in x
11.677 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
11.677 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
11.677 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.677 * [taylor]: Taking taylor expansion of -1 in x
11.677 * [taylor]: Taking taylor expansion of y in x
11.677 * [taylor]: Taking taylor expansion of 2 in x
11.677 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
11.677 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.677 * [taylor]: Taking taylor expansion of -1 in x
11.677 * [taylor]: Taking taylor expansion of x in x
11.677 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in x
11.677 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
11.677 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
11.677 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
11.677 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
11.677 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.677 * [taylor]: Taking taylor expansion of -1 in x
11.677 * [taylor]: Taking taylor expansion of y in x
11.678 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
11.678 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
11.678 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.678 * [taylor]: Taking taylor expansion of -1 in x
11.678 * [taylor]: Taking taylor expansion of y in x
11.678 * [taylor]: Taking taylor expansion of 2 in x
11.678 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
11.678 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.678 * [taylor]: Taking taylor expansion of -1 in x
11.678 * [taylor]: Taking taylor expansion of x in x
11.678 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 x)) (- (exp (/ -1 y)) (exp (/ 1 y))))) in y
11.678 * [taylor]: Taking taylor expansion of 1/2 in y
11.678 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (- (exp (/ -1 y)) (exp (/ 1 y)))) in y
11.678 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
11.678 * [taylor]: Taking taylor expansion of (/ -1 x) in y
11.679 * [taylor]: Taking taylor expansion of -1 in y
11.679 * [taylor]: Taking taylor expansion of x in y
11.679 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
11.679 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
11.679 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.679 * [taylor]: Taking taylor expansion of -1 in y
11.679 * [taylor]: Taking taylor expansion of y in y
11.679 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
11.679 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.679 * [taylor]: Taking taylor expansion of y in y
11.682 * [taylor]: Taking taylor expansion of 0 in y
11.689 * [taylor]: Taking taylor expansion of 0 in y
11.698 * [taylor]: Taking taylor expansion of 0 in y
11.699 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
11.699 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0
11.699 * [taylor]: Taking taylor expansion of (sinh y) in y
11.699 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
11.699 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
11.699 * [taylor]: Taking taylor expansion of (exp y) in y
11.699 * [taylor]: Taking taylor expansion of y in y
11.699 * [taylor]: Taking taylor expansion of (exp (- y)) in y
11.699 * [taylor]: Taking taylor expansion of (- y) in y
11.699 * [taylor]: Taking taylor expansion of y in y
11.699 * [taylor]: Taking taylor expansion of 2 in y
11.702 * [taylor]: Taking taylor expansion of (sinh y) in y
11.702 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
11.702 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
11.702 * [taylor]: Taking taylor expansion of (exp y) in y
11.702 * [taylor]: Taking taylor expansion of y in y
11.702 * [taylor]: Taking taylor expansion of (exp (- y)) in y
11.702 * [taylor]: Taking taylor expansion of (- y) in y
11.702 * [taylor]: Taking taylor expansion of y in y
11.703 * [taylor]: Taking taylor expansion of 2 in y
11.736 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0
11.736 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
11.736 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
11.736 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
11.736 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
11.736 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.736 * [taylor]: Taking taylor expansion of y in y
11.736 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
11.736 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
11.736 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.736 * [taylor]: Taking taylor expansion of y in y
11.737 * [taylor]: Taking taylor expansion of 2 in y
11.737 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
11.737 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
11.737 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
11.737 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
11.737 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.737 * [taylor]: Taking taylor expansion of y in y
11.737 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
11.737 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
11.737 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.737 * [taylor]: Taking taylor expansion of y in y
11.738 * [taylor]: Taking taylor expansion of 2 in y
11.750 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0
11.750 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
11.750 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
11.750 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
11.750 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
11.750 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.750 * [taylor]: Taking taylor expansion of -1 in y
11.750 * [taylor]: Taking taylor expansion of y in y
11.751 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
11.751 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
11.751 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.751 * [taylor]: Taking taylor expansion of -1 in y
11.751 * [taylor]: Taking taylor expansion of y in y
11.751 * [taylor]: Taking taylor expansion of 2 in y
11.751 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
11.751 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
11.752 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
11.752 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
11.752 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.752 * [taylor]: Taking taylor expansion of -1 in y
11.752 * [taylor]: Taking taylor expansion of y in y
11.752 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
11.752 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
11.752 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.752 * [taylor]: Taking taylor expansion of -1 in y
11.752 * [taylor]: Taking taylor expansion of y in y
11.753 * [taylor]: Taking taylor expansion of 2 in y
11.764 * * * [progress]: simplifying candidates
11.765 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (* (sin x) (sinh y)) x))
  (log1p (/ (* (sin x) (sinh y)) x))
  (- (+ (log (sin x)) (log (sinh y))) (log x))
  (- (log (* (sin x) (sinh y))) (log x))
  (log (/ (* (sin x) (sinh y)) x))
  (exp (/ (* (sin x) (sinh y)) x))
  (/ (* (* (* (sin x) (sin x)) (sin x)) (* (* (sinh y) (sinh y)) (sinh y))) (* (* x x) x))
  (/ (* (* (* (sin x) (sinh y)) (* (sin x) (sinh y))) (* (sin x) (sinh y))) (* (* x x) x))
  (* (cbrt (/ (* (sin x) (sinh y)) x)) (cbrt (/ (* (sin x) (sinh y)) x)))
  (cbrt (/ (* (sin x) (sinh y)) x))
  (* (* (/ (* (sin x) (sinh y)) x) (/ (* (sin x) (sinh y)) x)) (/ (* (sin x) (sinh y)) x))
  (sqrt (/ (* (sin x) (sinh y)) x))
  (sqrt (/ (* (sin x) (sinh y)) x))
  (- (* (sin x) (sinh y)))
  (- x)
  (/ (sin x) (* (cbrt x) (cbrt x)))
  (/ (sinh y) (cbrt x))
  (/ (sin x) (sqrt x))
  (/ (sinh y) (sqrt x))
  (/ (sin x) 1)
  (/ (sinh y) x)
  (/ 1 x)
  (/ x (* (sin x) (sinh y)))
  (/ (* (sin x) (sinh y)) (* (cbrt x) (cbrt x)))
  (/ (* (sin x) (sinh y)) (sqrt x))
  (/ (* (sin x) (sinh y)) 1)
  (/ x (sinh y))
  (* x 2)
  (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 (pow y 3)) y) (* 1/6 (* (pow x 2) y)))
  (/ (- (* 1/2 (* (sin x) (exp y))) (* 1/2 (* (exp (- y)) (sin x)))) x)
  (* -1 (/ (- (* 1/2 (* (sin x) (exp (* -1 y)))) (* 1/2 (* (sin x) (exp y)))) x))
  (- (+ (* 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))))
11.768 * * [simplify]: iteration  0 :  123  enodes  (cost  572 )
11.795 * * [simplify]: iteration  1 :  291  enodes  (cost  546 )
11.873 * * [simplify]: iteration  2 :  1065  enodes  (cost  475 )
12.593 * * [simplify]: iteration  done :  5000  enodes  (cost  474 )
12.594 * [simplify]: Simplified to:
   (expm1 (/ (* (sin x) (sinh y)) x))
  (log1p (/ (* (sin x) (sinh y)) x))
  (log (/ (* (sin x) (sinh y)) x))
  (log (/ (* (sin x) (sinh y)) x))
  (log (/ (* (sin x) (sinh y)) x))
  (exp (/ (* (sin x) (sinh y)) x))
  (pow (/ (* (sin x) (sinh y)) x) 3)
  (pow (/ (* (sin x) (sinh y)) x) 3)
  (* (cbrt (/ (* (sin x) (sinh y)) x)) (cbrt (/ (* (sin x) (sinh y)) x)))
  (cbrt (/ (* (sin x) (sinh y)) x))
  (pow (/ (* (sin x) (sinh y)) x) 3)
  (sqrt (/ (* (sin x) (sinh y)) x))
  (sqrt (/ (* (sin x) (sinh y)) x))
  (- (* (sin x) (sinh y)))
  (- x)
  (/ (sin x) (* (cbrt x) (cbrt x)))
  (/ (sinh y) (cbrt x))
  (/ (sin x) (sqrt x))
  (/ (sinh y) (sqrt x))
  (sin x)
  (/ (sinh y) x)
  (/ 1 x)
  (/ x (* (sin x) (sinh y)))
  (/ (* (sin x) (sinh y)) (* (cbrt x) (cbrt x)))
  (/ (* (sin x) (sinh y)) (sqrt x))
  (* (sin x) (sinh y))
  (/ x (sinh y))
  (* x 2)
  (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))
  (* (- (exp y) (exp (- y))) (sin x))
  (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))
  (+ y (* (* y 1/6) (- (* y y) (* x x))))
  (/ (* 1/2 (* (- (exp y) (exp (- y))) (sin x))) x)
  (/ (* -1/2 (* (sin x) (- (exp (- y)) (exp y)))) x)
  (fma x y (* 1/6 (- (* x (pow y 3)) (* (pow x 3) y))))
  (* (sin x) (* 1/2 (- (exp y) (exp (- y)))))
  (* (sin x) (* 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.595 * * * [progress]: adding candidates to table
12.763 * * [progress]: iteration 2 / 4
12.763 * * * [progress]: picking best candidate
12.777 * * * * [pick]: Picked  #<alt (λ (x y) (* (sin x) (/ (sinh y) x)))>
12.777 * * * [progress]: localizing error
12.784 * * * [progress]: generating rewritten candidates
12.784 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
12.793 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
12.796 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
12.799 * * * [progress]: generating series expansions
12.799 * * * * [progress]: [ 1 / 3 ] generating series at (2)
12.799 * [approximate]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in (x y) around 0
12.799 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in y
12.799 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y
12.799 * [taylor]: Taking taylor expansion of (sin x) in y
12.799 * [taylor]: Taking taylor expansion of x in y
12.799 * [taylor]: Taking taylor expansion of (sinh y) in y
12.799 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
12.799 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
12.799 * [taylor]: Taking taylor expansion of (exp y) in y
12.799 * [taylor]: Taking taylor expansion of y in y
12.799 * [taylor]: Taking taylor expansion of (exp (- y)) in y
12.799 * [taylor]: Taking taylor expansion of (- y) in y
12.799 * [taylor]: Taking taylor expansion of y in y
12.800 * [taylor]: Taking taylor expansion of 2 in y
12.803 * [taylor]: Taking taylor expansion of x in y
12.803 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in x
12.803 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
12.803 * [taylor]: Taking taylor expansion of (sin x) in x
12.803 * [taylor]: Taking taylor expansion of x in x
12.803 * [taylor]: Taking taylor expansion of (sinh y) in x
12.803 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
12.803 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
12.803 * [taylor]: Taking taylor expansion of (exp y) in x
12.803 * [taylor]: Taking taylor expansion of y in x
12.803 * [taylor]: Taking taylor expansion of (exp (- y)) in x
12.803 * [taylor]: Taking taylor expansion of (- y) in x
12.803 * [taylor]: Taking taylor expansion of y in x
12.803 * [taylor]: Taking taylor expansion of 2 in x
12.804 * [taylor]: Taking taylor expansion of x in x
12.807 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in x
12.807 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
12.807 * [taylor]: Taking taylor expansion of (sin x) in x
12.807 * [taylor]: Taking taylor expansion of x in x
12.807 * [taylor]: Taking taylor expansion of (sinh y) in x
12.807 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
12.807 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
12.807 * [taylor]: Taking taylor expansion of (exp y) in x
12.807 * [taylor]: Taking taylor expansion of y in x
12.807 * [taylor]: Taking taylor expansion of (exp (- y)) in x
12.807 * [taylor]: Taking taylor expansion of (- y) in x
12.807 * [taylor]: Taking taylor expansion of y in x
12.807 * [taylor]: Taking taylor expansion of 2 in x
12.807 * [taylor]: Taking taylor expansion of x in x
12.811 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) in y
12.811 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y
12.811 * [taylor]: Taking taylor expansion of 1/2 in y
12.811 * [taylor]: Taking taylor expansion of (exp y) in y
12.811 * [taylor]: Taking taylor expansion of y in y
12.811 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- y))) in y
12.811 * [taylor]: Taking taylor expansion of 1/2 in y
12.811 * [taylor]: Taking taylor expansion of (exp (- y)) in y
12.811 * [taylor]: Taking taylor expansion of (- y) in y
12.811 * [taylor]: Taking taylor expansion of y in y
12.823 * [taylor]: Taking taylor expansion of 0 in y
12.835 * [taylor]: Taking taylor expansion of (- (* 1/12 (exp (- y))) (* 1/12 (exp y))) in y
12.835 * [taylor]: Taking taylor expansion of (* 1/12 (exp (- y))) in y
12.835 * [taylor]: Taking taylor expansion of 1/12 in y
12.835 * [taylor]: Taking taylor expansion of (exp (- y)) in y
12.835 * [taylor]: Taking taylor expansion of (- y) in y
12.835 * [taylor]: Taking taylor expansion of y in y
12.836 * [taylor]: Taking taylor expansion of (* 1/12 (exp y)) in y
12.836 * [taylor]: Taking taylor expansion of 1/12 in y
12.836 * [taylor]: Taking taylor expansion of (exp y) in y
12.836 * [taylor]: Taking taylor expansion of y in y
12.845 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in (x y) around 0
12.845 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in y
12.845 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
12.845 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
12.845 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
12.845 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
12.845 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.845 * [taylor]: Taking taylor expansion of y in y
12.845 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
12.845 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
12.845 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.845 * [taylor]: Taking taylor expansion of y in y
12.846 * [taylor]: Taking taylor expansion of 2 in y
12.846 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in y
12.846 * [taylor]: Taking taylor expansion of x in y
12.846 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
12.846 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.846 * [taylor]: Taking taylor expansion of x in y
12.846 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in x
12.846 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
12.846 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
12.846 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
12.846 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
12.847 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.847 * [taylor]: Taking taylor expansion of y in x
12.847 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
12.847 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
12.847 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.847 * [taylor]: Taking taylor expansion of y in x
12.847 * [taylor]: Taking taylor expansion of 2 in x
12.847 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in x
12.847 * [taylor]: Taking taylor expansion of x in x
12.847 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
12.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.847 * [taylor]: Taking taylor expansion of x in x
12.847 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in x
12.847 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
12.847 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
12.847 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
12.848 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
12.848 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.848 * [taylor]: Taking taylor expansion of y in x
12.848 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
12.848 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
12.848 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.848 * [taylor]: Taking taylor expansion of y in x
12.848 * [taylor]: Taking taylor expansion of 2 in x
12.848 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in x
12.848 * [taylor]: Taking taylor expansion of x in x
12.848 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
12.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.848 * [taylor]: Taking taylor expansion of x in x
12.849 * [taylor]: Taking taylor expansion of 0 in y
12.852 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (exp (/ 1 y)) (sin (/ 1 x)))) (* 1/2 (* (exp (- (/ 1 y))) (sin (/ 1 x))))) in y
12.852 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (sin (/ 1 x)))) in y
12.852 * [taylor]: Taking taylor expansion of 1/2 in y
12.852 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (sin (/ 1 x))) in y
12.852 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
12.852 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.852 * [taylor]: Taking taylor expansion of y in y
12.852 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
12.852 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.852 * [taylor]: Taking taylor expansion of x in y
12.852 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (- (/ 1 y))) (sin (/ 1 x)))) in y
12.852 * [taylor]: Taking taylor expansion of 1/2 in y
12.852 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 y))) (sin (/ 1 x))) in y
12.852 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
12.852 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
12.852 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.852 * [taylor]: Taking taylor expansion of y in y
12.853 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
12.853 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.853 * [taylor]: Taking taylor expansion of x in y
12.859 * [taylor]: Taking taylor expansion of 0 in y
12.870 * [taylor]: Taking taylor expansion of 0 in y
12.870 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in (x y) around 0
12.870 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in y
12.870 * [taylor]: Taking taylor expansion of -1 in y
12.870 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in y
12.870 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
12.870 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
12.870 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
12.870 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
12.870 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.870 * [taylor]: Taking taylor expansion of -1 in y
12.870 * [taylor]: Taking taylor expansion of y in y
12.871 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
12.871 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
12.871 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.871 * [taylor]: Taking taylor expansion of -1 in y
12.871 * [taylor]: Taking taylor expansion of y in y
12.871 * [taylor]: Taking taylor expansion of 2 in y
12.872 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in y
12.872 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
12.872 * [taylor]: Taking taylor expansion of (/ -1 x) in y
12.872 * [taylor]: Taking taylor expansion of -1 in y
12.872 * [taylor]: Taking taylor expansion of x in y
12.872 * [taylor]: Taking taylor expansion of x in y
12.872 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in x
12.872 * [taylor]: Taking taylor expansion of -1 in x
12.872 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in x
12.872 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
12.872 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
12.872 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
12.872 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
12.872 * [taylor]: Taking taylor expansion of (/ -1 y) in x
12.872 * [taylor]: Taking taylor expansion of -1 in x
12.872 * [taylor]: Taking taylor expansion of y in x
12.872 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
12.872 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
12.872 * [taylor]: Taking taylor expansion of (/ -1 y) in x
12.872 * [taylor]: Taking taylor expansion of -1 in x
12.872 * [taylor]: Taking taylor expansion of y in x
12.872 * [taylor]: Taking taylor expansion of 2 in x
12.872 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in x
12.872 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
12.872 * [taylor]: Taking taylor expansion of (/ -1 x) in x
12.872 * [taylor]: Taking taylor expansion of -1 in x
12.872 * [taylor]: Taking taylor expansion of x in x
12.873 * [taylor]: Taking taylor expansion of x in x
12.873 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in x
12.873 * [taylor]: Taking taylor expansion of -1 in x
12.873 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in x
12.873 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
12.873 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
12.873 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
12.873 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
12.873 * [taylor]: Taking taylor expansion of (/ -1 y) in x
12.873 * [taylor]: Taking taylor expansion of -1 in x
12.873 * [taylor]: Taking taylor expansion of y in x
12.873 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
12.873 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
12.873 * [taylor]: Taking taylor expansion of (/ -1 y) in x
12.873 * [taylor]: Taking taylor expansion of -1 in x
12.873 * [taylor]: Taking taylor expansion of y in x
12.873 * [taylor]: Taking taylor expansion of 2 in x
12.873 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in x
12.874 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
12.874 * [taylor]: Taking taylor expansion of (/ -1 x) in x
12.874 * [taylor]: Taking taylor expansion of -1 in x
12.874 * [taylor]: Taking taylor expansion of x in x
12.874 * [taylor]: Taking taylor expansion of x in x
12.874 * [taylor]: Taking taylor expansion of 0 in y
12.878 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (exp (/ 1 y)) (sin (/ -1 x)))) (* 1/2 (* (sin (/ -1 x)) (exp (/ -1 y))))) in y
12.878 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (sin (/ -1 x)))) in y
12.878 * [taylor]: Taking taylor expansion of 1/2 in y
12.878 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (sin (/ -1 x))) in y
12.878 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
12.878 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.878 * [taylor]: Taking taylor expansion of y in y
12.879 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
12.879 * [taylor]: Taking taylor expansion of (/ -1 x) in y
12.879 * [taylor]: Taking taylor expansion of -1 in y
12.879 * [taylor]: Taking taylor expansion of x in y
12.879 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 x)) (exp (/ -1 y)))) in y
12.879 * [taylor]: Taking taylor expansion of 1/2 in y
12.879 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (exp (/ -1 y))) in y
12.879 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
12.879 * [taylor]: Taking taylor expansion of (/ -1 x) in y
12.879 * [taylor]: Taking taylor expansion of -1 in y
12.879 * [taylor]: Taking taylor expansion of x in y
12.879 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
12.879 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.879 * [taylor]: Taking taylor expansion of -1 in y
12.879 * [taylor]: Taking taylor expansion of y in y
12.886 * [taylor]: Taking taylor expansion of 0 in y
12.898 * [taylor]: Taking taylor expansion of 0 in y
12.898 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
12.898 * [approximate]: Taking taylor expansion of (/ (sinh y) x) in (y x) around 0
12.898 * [taylor]: Taking taylor expansion of (/ (sinh y) x) in x
12.898 * [taylor]: Taking taylor expansion of (sinh y) in x
12.898 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
12.898 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
12.898 * [taylor]: Taking taylor expansion of (exp y) in x
12.898 * [taylor]: Taking taylor expansion of y in x
12.898 * [taylor]: Taking taylor expansion of (exp (- y)) in x
12.898 * [taylor]: Taking taylor expansion of (- y) in x
12.898 * [taylor]: Taking taylor expansion of y in x
12.899 * [taylor]: Taking taylor expansion of 2 in x
12.899 * [taylor]: Taking taylor expansion of x in x
12.899 * [taylor]: Taking taylor expansion of (/ (sinh y) x) in y
12.899 * [taylor]: Taking taylor expansion of (sinh y) in y
12.899 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
12.899 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
12.899 * [taylor]: Taking taylor expansion of (exp y) in y
12.899 * [taylor]: Taking taylor expansion of y in y
12.899 * [taylor]: Taking taylor expansion of (exp (- y)) in y
12.899 * [taylor]: Taking taylor expansion of (- y) in y
12.899 * [taylor]: Taking taylor expansion of y in y
12.899 * [taylor]: Taking taylor expansion of 2 in y
12.902 * [taylor]: Taking taylor expansion of x in y
12.902 * [taylor]: Taking taylor expansion of (/ (sinh y) x) in y
12.902 * [taylor]: Taking taylor expansion of (sinh y) in y
12.902 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
12.902 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
12.902 * [taylor]: Taking taylor expansion of (exp y) in y
12.902 * [taylor]: Taking taylor expansion of y in y
12.902 * [taylor]: Taking taylor expansion of (exp (- y)) in y
12.902 * [taylor]: Taking taylor expansion of (- y) in y
12.902 * [taylor]: Taking taylor expansion of y in y
12.908 * [taylor]: Taking taylor expansion of 2 in y
12.910 * [taylor]: Taking taylor expansion of x in y
12.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.911 * [taylor]: Taking taylor expansion of x in x
12.914 * [taylor]: Taking taylor expansion of 0 in x
12.919 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
12.919 * [taylor]: Taking taylor expansion of 1/6 in x
12.919 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.919 * [taylor]: Taking taylor expansion of x in x
12.928 * [taylor]: Taking taylor expansion of 0 in x
12.940 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 x)) in x
12.940 * [taylor]: Taking taylor expansion of 1/120 in x
12.940 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.940 * [taylor]: Taking taylor expansion of x in x
12.941 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) x) in (y x) around 0
12.941 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) x) in x
12.941 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
12.941 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
12.941 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
12.941 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
12.941 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.941 * [taylor]: Taking taylor expansion of y in x
12.941 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
12.941 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
12.941 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.941 * [taylor]: Taking taylor expansion of y in x
12.941 * [taylor]: Taking taylor expansion of 2 in x
12.942 * [taylor]: Taking taylor expansion of x in x
12.942 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) x) in y
12.942 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
12.942 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
12.942 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
12.942 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
12.942 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.942 * [taylor]: Taking taylor expansion of y in y
12.942 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
12.942 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
12.942 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.942 * [taylor]: Taking taylor expansion of y in y
12.943 * [taylor]: Taking taylor expansion of 2 in y
12.943 * [taylor]: Taking taylor expansion of x in y
12.943 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) x) in y
12.943 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
12.943 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
12.943 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
12.943 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
12.943 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.943 * [taylor]: Taking taylor expansion of y in y
12.943 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
12.943 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
12.943 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.943 * [taylor]: Taking taylor expansion of y in y
12.944 * [taylor]: Taking taylor expansion of 2 in y
12.944 * [taylor]: Taking taylor expansion of x in y
12.944 * [taylor]: Taking taylor expansion of (* 1/2 (* x (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in x
12.944 * [taylor]: Taking taylor expansion of 1/2 in x
12.944 * [taylor]: Taking taylor expansion of (* x (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in x
12.944 * [taylor]: Taking taylor expansion of x in x
12.944 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
12.944 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
12.944 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.945 * [taylor]: Taking taylor expansion of y in x
12.945 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
12.945 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
12.945 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.945 * [taylor]: Taking taylor expansion of y in x
12.946 * [taylor]: Taking taylor expansion of 0 in x
12.951 * [taylor]: Taking taylor expansion of 0 in x
12.957 * [taylor]: Taking taylor expansion of 0 in x
12.958 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) x)) in (y x) around 0
12.958 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) x)) in x
12.958 * [taylor]: Taking taylor expansion of -1 in x
12.958 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) x) in x
12.958 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
12.958 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
12.958 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
12.958 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
12.958 * [taylor]: Taking taylor expansion of (/ -1 y) in x
12.958 * [taylor]: Taking taylor expansion of -1 in x
12.958 * [taylor]: Taking taylor expansion of y in x
12.958 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
12.958 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
12.958 * [taylor]: Taking taylor expansion of (/ -1 y) in x
12.958 * [taylor]: Taking taylor expansion of -1 in x
12.958 * [taylor]: Taking taylor expansion of y in x
12.958 * [taylor]: Taking taylor expansion of 2 in x
12.958 * [taylor]: Taking taylor expansion of x in x
12.958 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) x)) in y
12.958 * [taylor]: Taking taylor expansion of -1 in y
12.958 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) x) in y
12.958 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
12.958 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
12.958 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
12.958 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
12.958 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.958 * [taylor]: Taking taylor expansion of -1 in y
12.958 * [taylor]: Taking taylor expansion of y in y
12.959 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
12.959 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
12.959 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.959 * [taylor]: Taking taylor expansion of -1 in y
12.959 * [taylor]: Taking taylor expansion of y in y
12.959 * [taylor]: Taking taylor expansion of 2 in y
12.960 * [taylor]: Taking taylor expansion of x in y
12.960 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) x)) in y
12.960 * [taylor]: Taking taylor expansion of -1 in y
12.960 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) x) in y
12.960 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
12.960 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
12.960 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
12.960 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
12.960 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.960 * [taylor]: Taking taylor expansion of -1 in y
12.960 * [taylor]: Taking taylor expansion of y in y
12.960 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
12.960 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
12.960 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.960 * [taylor]: Taking taylor expansion of -1 in y
12.960 * [taylor]: Taking taylor expansion of y in y
12.961 * [taylor]: Taking taylor expansion of 2 in y
12.961 * [taylor]: Taking taylor expansion of x in y
12.961 * [taylor]: Taking taylor expansion of (* -1/2 (* x (- (exp (/ -1 y)) (exp (/ 1 y))))) in x
12.961 * [taylor]: Taking taylor expansion of -1/2 in x
12.961 * [taylor]: Taking taylor expansion of (* x (- (exp (/ -1 y)) (exp (/ 1 y)))) in x
12.962 * [taylor]: Taking taylor expansion of x in x
12.962 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in x
12.962 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
12.962 * [taylor]: Taking taylor expansion of (/ -1 y) in x
12.962 * [taylor]: Taking taylor expansion of -1 in x
12.962 * [taylor]: Taking taylor expansion of y in x
12.962 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
12.962 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.962 * [taylor]: Taking taylor expansion of y in x
12.964 * [taylor]: Taking taylor expansion of 0 in x
12.969 * [taylor]: Taking taylor expansion of 0 in x
12.976 * [taylor]: Taking taylor expansion of 0 in x
12.976 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
12.976 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0
12.976 * [taylor]: Taking taylor expansion of (sinh y) in y
12.976 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
12.976 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
12.976 * [taylor]: Taking taylor expansion of (exp y) in y
12.976 * [taylor]: Taking taylor expansion of y in y
12.976 * [taylor]: Taking taylor expansion of (exp (- y)) in y
12.976 * [taylor]: Taking taylor expansion of (- y) in y
12.976 * [taylor]: Taking taylor expansion of y in y
12.977 * [taylor]: Taking taylor expansion of 2 in y
12.980 * [taylor]: Taking taylor expansion of (sinh y) in y
12.980 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
12.980 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
12.980 * [taylor]: Taking taylor expansion of (exp y) in y
12.980 * [taylor]: Taking taylor expansion of y in y
12.980 * [taylor]: Taking taylor expansion of (exp (- y)) in y
12.980 * [taylor]: Taking taylor expansion of (- y) in y
12.980 * [taylor]: Taking taylor expansion of y in y
12.980 * [taylor]: Taking taylor expansion of 2 in y
13.014 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0
13.014 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
13.014 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
13.014 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
13.014 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
13.014 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.014 * [taylor]: Taking taylor expansion of y in y
13.014 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
13.014 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
13.014 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.014 * [taylor]: Taking taylor expansion of y in y
13.015 * [taylor]: Taking taylor expansion of 2 in y
13.015 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
13.015 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
13.015 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
13.015 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
13.015 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.015 * [taylor]: Taking taylor expansion of y in y
13.016 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
13.016 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
13.016 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.016 * [taylor]: Taking taylor expansion of y in y
13.016 * [taylor]: Taking taylor expansion of 2 in y
13.028 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0
13.028 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
13.028 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
13.028 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
13.028 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
13.028 * [taylor]: Taking taylor expansion of (/ -1 y) in y
13.028 * [taylor]: Taking taylor expansion of -1 in y
13.028 * [taylor]: Taking taylor expansion of y in y
13.029 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
13.029 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
13.029 * [taylor]: Taking taylor expansion of (/ -1 y) in y
13.029 * [taylor]: Taking taylor expansion of -1 in y
13.029 * [taylor]: Taking taylor expansion of y in y
13.030 * [taylor]: Taking taylor expansion of 2 in y
13.030 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
13.030 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
13.030 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
13.030 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
13.030 * [taylor]: Taking taylor expansion of (/ -1 y) in y
13.030 * [taylor]: Taking taylor expansion of -1 in y
13.030 * [taylor]: Taking taylor expansion of y in y
13.030 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
13.030 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
13.030 * [taylor]: Taking taylor expansion of (/ -1 y) in y
13.030 * [taylor]: Taking taylor expansion of -1 in y
13.030 * [taylor]: Taking taylor expansion of y in y
13.031 * [taylor]: Taking taylor expansion of 2 in y
13.043 * * * [progress]: simplifying candidates
13.044 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (sin x) (/ (sinh y) x)))
  (log1p (* (sin x) (/ (sinh y) x)))
  (* (sin x) (/ (sinh y) x))
  (+ (log (sin x)) (- (log (sinh y)) (log x)))
  (+ (log (sin x)) (log (/ (sinh y) x)))
  (log (* (sin x) (/ (sinh y) x)))
  (exp (* (sin x) (/ (sinh y) x)))
  (* (* (* (sin x) (sin x)) (sin x)) (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* x x) x)))
  (* (* (* (sin x) (sin x)) (sin x)) (* (* (/ (sinh y) x) (/ (sinh y) x)) (/ (sinh y) x)))
  (* (cbrt (* (sin x) (/ (sinh y) x))) (cbrt (* (sin x) (/ (sinh y) x))))
  (cbrt (* (sin x) (/ (sinh y) x)))
  (* (* (* (sin x) (/ (sinh y) x)) (* (sin x) (/ (sinh y) x))) (* (sin x) (/ (sinh y) x)))
  (sqrt (* (sin x) (/ (sinh y) x)))
  (sqrt (* (sin x) (/ (sinh y) x)))
  (* (sqrt (sin x)) (sqrt (/ (sinh y) x)))
  (* (sqrt (sin x)) (sqrt (/ (sinh y) x)))
  (* (sqrt (sin x)) (/ (sqrt (sinh y)) (sqrt x)))
  (* (sqrt (sin x)) (/ (sqrt (sinh y)) (sqrt x)))
  (* (sin x) (* (cbrt (/ (sinh y) x)) (cbrt (/ (sinh y) x))))
  (* (sin x) (sqrt (/ (sinh y) x)))
  (* (sin x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt x) (cbrt x))))
  (* (sin x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt x)))
  (* (sin x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1))
  (* (sin x) (/ (sqrt (sinh y)) (* (cbrt x) (cbrt x))))
  (* (sin x) (/ (sqrt (sinh y)) (sqrt x)))
  (* (sin x) (/ (sqrt (sinh y)) 1))
  (* (sin x) (/ 1 (* (cbrt x) (cbrt x))))
  (* (sin x) (/ 1 (sqrt x)))
  (* (sin x) (/ 1 1))
  (* (sin x) 1)
  (* (sin x) (sinh y))
  (* (cbrt (sin x)) (/ (sinh y) x))
  (* (sqrt (sin x)) (/ (sinh y) x))
  (* (sin x) (/ (sinh y) x))
  (* (sin x) (sinh y))
  (expm1 (/ (sinh y) x))
  (log1p (/ (sinh y) x))
  (- (log (sinh y)) (log x))
  (log (/ (sinh y) x))
  (exp (/ (sinh y) x))
  (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* x x) x))
  (* (cbrt (/ (sinh y) x)) (cbrt (/ (sinh y) x)))
  (cbrt (/ (sinh y) x))
  (* (* (/ (sinh y) x) (/ (sinh y) x)) (/ (sinh y) x))
  (sqrt (/ (sinh y) x))
  (sqrt (/ (sinh y) x))
  (- (sinh y))
  (- x)
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (sinh y)) (cbrt x))
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt x))
  (/ (cbrt (sinh y)) (sqrt x))
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)
  (/ (cbrt (sinh y)) x)
  (/ (sqrt (sinh y)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (sinh y)) (cbrt x))
  (/ (sqrt (sinh y)) (sqrt x))
  (/ (sqrt (sinh y)) (sqrt x))
  (/ (sqrt (sinh y)) 1)
  (/ (sqrt (sinh y)) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (sinh y) (cbrt x))
  (/ 1 (sqrt x))
  (/ (sinh y) (sqrt x))
  (/ 1 1)
  (/ (sinh y) x)
  (/ 1 x)
  (/ x (sinh y))
  (/ (sinh y) (* (cbrt x) (cbrt x)))
  (/ (sinh y) (sqrt x))
  (/ (sinh y) 1)
  (/ x (cbrt (sinh y)))
  (/ x (sqrt (sinh y)))
  (/ x (sinh y))
  (* x 2)
  (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 (pow y 3)) y) (* 1/6 (* (pow x 2) y)))
  (/ (- (* 1/2 (* (sin x) (exp y))) (* 1/2 (* (exp (- y)) (sin x)))) x)
  (* -1 (/ (- (* 1/2 (* (sin x) (exp (* -1 y)))) (* 1/2 (* (sin x) (exp y)))) x))
  (+ (* 1/120 (/ (pow y 5) x)) (+ (/ y x) (* 1/6 (/ (pow y 3) x))))
  (/ (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) x)
  (* -1 (/ (- (* 1/2 (exp (* -1 y))) (* 1/2 (exp y))) 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))))
13.047 * * [simplify]: iteration  0 :  146  enodes  (cost  770 )
13.080 * * [simplify]: iteration  1 :  341  enodes  (cost  727 )
13.209 * * [simplify]: iteration  2 :  1075  enodes  (cost  656 )
14.690 * * [simplify]: iteration  3 :  4313  enodes  (cost  655 )
15.453 * * [simplify]: iteration  done :  5001  enodes  (cost  655 )
15.453 * [simplify]: Simplified to:
   (expm1 (* (sin x) (/ (sinh y) x)))
  (log1p (* (sin x) (/ (sinh y) x)))
  (* (sin x) (/ (sinh y) x))
  (log (* (sin x) (/ (sinh y) x)))
  (log (* (sin x) (/ (sinh y) x)))
  (log (* (sin x) (/ (sinh y) x)))
  (exp (* (sin x) (/ (sinh y) x)))
  (pow (* (sin x) (/ (sinh y) x)) 3)
  (pow (* (sin x) (/ (sinh y) x)) 3)
  (* (cbrt (* (sin x) (/ (sinh y) x))) (cbrt (* (sin x) (/ (sinh y) x))))
  (cbrt (* (sin x) (/ (sinh y) x)))
  (pow (* (sin x) (/ (sinh y) x)) 3)
  (sqrt (* (sin x) (/ (sinh y) x)))
  (sqrt (* (sin x) (/ (sinh y) x)))
  (* (sqrt (sin x)) (sqrt (/ (sinh y) x)))
  (* (sqrt (sin x)) (sqrt (/ (sinh y) x)))
  (* (sqrt (sin x)) (/ (sqrt (sinh y)) (sqrt x)))
  (* (sqrt (sin x)) (/ (sqrt (sinh y)) (sqrt x)))
  (* (sin x) (* (cbrt (/ (sinh y) x)) (cbrt (/ (sinh y) x))))
  (* (sin x) (sqrt (/ (sinh y) x)))
  (* (sin x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt x) (cbrt x))))
  (* (sin x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt x)))
  (* (* (cbrt (sinh y)) (cbrt (sinh y))) (sin x))
  (* (sin x) (/ (sqrt (sinh y)) (* (cbrt x) (cbrt x))))
  (* (sin x) (/ (sqrt (sinh y)) (sqrt x)))
  (* (sqrt (sinh y)) (sin x))
  (/ (sin x) (* (cbrt x) (cbrt x)))
  (/ (sin x) (sqrt x))
  (sin x)
  (sin x)
  (* (sin x) (sinh y))
  (* (cbrt (sin x)) (/ (sinh y) x))
  (* (sqrt (sin x)) (/ (sinh y) x))
  (* (sin x) (/ (sinh y) x))
  (* (sin x) (sinh y))
  (expm1 (/ (sinh y) x))
  (log1p (/ (sinh y) x))
  (log (/ (sinh y) x))
  (log (/ (sinh y) x))
  (exp (/ (sinh y) x))
  (pow (/ (sinh y) x) 3)
  (* (cbrt (/ (sinh y) x)) (cbrt (/ (sinh y) x)))
  (cbrt (/ (sinh y) x))
  (pow (/ (sinh y) x) 3)
  (sqrt (/ (sinh y) x))
  (sqrt (/ (sinh y) x))
  (- (sinh y))
  (- x)
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (sinh y)) (cbrt x))
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt x))
  (/ (cbrt (sinh y)) (sqrt x))
  (* (cbrt (sinh y)) (cbrt (sinh y)))
  (/ (cbrt (sinh y)) x)
  (/ (sqrt (sinh y)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (sinh y)) (cbrt x))
  (/ (sqrt (sinh y)) (sqrt x))
  (/ (sqrt (sinh y)) (sqrt x))
  (sqrt (sinh y))
  (/ (sqrt (sinh y)) x)
  (/ (/ 1 (cbrt x)) (cbrt x))
  (/ (sinh y) (cbrt x))
  (/ 1 (sqrt x))
  (/ (sinh y) (sqrt x))
  1
  (/ (sinh y) x)
  (/ 1 x)
  (/ x (sinh y))
  (/ (sinh y) (* (cbrt x) (cbrt x)))
  (/ (sinh y) (sqrt x))
  (sinh y)
  (/ x (cbrt (sinh y)))
  (/ x (sqrt (sinh y)))
  (/ x (sinh y))
  (* x 2)
  (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/6 (* (pow x 2) y) (fma 1/6 (pow y 3) y))
  (/ (* (* 1/2 (sin x)) (- (exp y) (exp (- y)))) x)
  (/ (* (* 1/2 (sin x)) (- (exp y) (exp (- y)))) x)
  (fma 1/120 (/ (pow y 5) x) (fma (/ (pow y 3) x) 1/6 (/ y x)))
  (/ (* -1/2 (- (exp (- y)) (exp y))) x)
  (/ (* -1/2 (- (exp (- y)) (exp y))) x)
  (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)))
15.454 * * * [progress]: adding candidates to table
15.657 * * [progress]: iteration 3 / 4
15.657 * * * [progress]: picking best candidate
15.671 * * * * [pick]: Picked  #<alt (λ (x y) (/ (sin x) (/ x (sinh y))))>
15.672 * * * [progress]: localizing error
15.679 * * * [progress]: generating rewritten candidates
15.679 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
15.685 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
15.686 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
15.693 * * * [progress]: generating series expansions
15.693 * * * * [progress]: [ 1 / 3 ] generating series at (2)
15.694 * [approximate]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in (x y) around 0
15.694 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in y
15.694 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y
15.694 * [taylor]: Taking taylor expansion of (sin x) in y
15.694 * [taylor]: Taking taylor expansion of x in y
15.694 * [taylor]: Taking taylor expansion of (sinh y) in y
15.694 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
15.694 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
15.694 * [taylor]: Taking taylor expansion of (exp y) in y
15.694 * [taylor]: Taking taylor expansion of y in y
15.694 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.694 * [taylor]: Taking taylor expansion of (- y) in y
15.694 * [taylor]: Taking taylor expansion of y in y
15.695 * [taylor]: Taking taylor expansion of 2 in y
15.697 * [taylor]: Taking taylor expansion of x in y
15.697 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in x
15.697 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
15.697 * [taylor]: Taking taylor expansion of (sin x) in x
15.697 * [taylor]: Taking taylor expansion of x in x
15.698 * [taylor]: Taking taylor expansion of (sinh y) in x
15.698 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
15.698 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
15.698 * [taylor]: Taking taylor expansion of (exp y) in x
15.698 * [taylor]: Taking taylor expansion of y in x
15.698 * [taylor]: Taking taylor expansion of (exp (- y)) in x
15.698 * [taylor]: Taking taylor expansion of (- y) in x
15.698 * [taylor]: Taking taylor expansion of y in x
15.698 * [taylor]: Taking taylor expansion of 2 in x
15.698 * [taylor]: Taking taylor expansion of x in x
15.701 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in x
15.701 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
15.701 * [taylor]: Taking taylor expansion of (sin x) in x
15.701 * [taylor]: Taking taylor expansion of x in x
15.701 * [taylor]: Taking taylor expansion of (sinh y) in x
15.701 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
15.701 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
15.701 * [taylor]: Taking taylor expansion of (exp y) in x
15.701 * [taylor]: Taking taylor expansion of y in x
15.702 * [taylor]: Taking taylor expansion of (exp (- y)) in x
15.702 * [taylor]: Taking taylor expansion of (- y) in x
15.702 * [taylor]: Taking taylor expansion of y in x
15.702 * [taylor]: Taking taylor expansion of 2 in x
15.702 * [taylor]: Taking taylor expansion of x in x
15.705 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) in y
15.705 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y
15.705 * [taylor]: Taking taylor expansion of 1/2 in y
15.705 * [taylor]: Taking taylor expansion of (exp y) in y
15.705 * [taylor]: Taking taylor expansion of y in y
15.705 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- y))) in y
15.705 * [taylor]: Taking taylor expansion of 1/2 in y
15.705 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.705 * [taylor]: Taking taylor expansion of (- y) in y
15.705 * [taylor]: Taking taylor expansion of y in y
15.713 * [taylor]: Taking taylor expansion of 0 in y
15.724 * [taylor]: Taking taylor expansion of (- (* 1/12 (exp (- y))) (* 1/12 (exp y))) in y
15.724 * [taylor]: Taking taylor expansion of (* 1/12 (exp (- y))) in y
15.724 * [taylor]: Taking taylor expansion of 1/12 in y
15.724 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.724 * [taylor]: Taking taylor expansion of (- y) in y
15.724 * [taylor]: Taking taylor expansion of y in y
15.725 * [taylor]: Taking taylor expansion of (* 1/12 (exp y)) in y
15.725 * [taylor]: Taking taylor expansion of 1/12 in y
15.725 * [taylor]: Taking taylor expansion of (exp y) in y
15.725 * [taylor]: Taking taylor expansion of y in y
15.734 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in (x y) around 0
15.734 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in y
15.734 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
15.734 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
15.734 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
15.734 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
15.734 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.734 * [taylor]: Taking taylor expansion of y in y
15.734 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
15.734 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
15.734 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.734 * [taylor]: Taking taylor expansion of y in y
15.735 * [taylor]: Taking taylor expansion of 2 in y
15.735 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in y
15.735 * [taylor]: Taking taylor expansion of x in y
15.735 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
15.735 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.735 * [taylor]: Taking taylor expansion of x in y
15.735 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in x
15.735 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
15.735 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
15.735 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
15.735 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
15.735 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.735 * [taylor]: Taking taylor expansion of y in x
15.736 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
15.736 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
15.736 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.736 * [taylor]: Taking taylor expansion of y in x
15.736 * [taylor]: Taking taylor expansion of 2 in x
15.736 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in x
15.736 * [taylor]: Taking taylor expansion of x in x
15.736 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
15.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.736 * [taylor]: Taking taylor expansion of x in x
15.737 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in x
15.737 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
15.737 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
15.737 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
15.737 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
15.737 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.737 * [taylor]: Taking taylor expansion of y in x
15.737 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
15.737 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
15.737 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.737 * [taylor]: Taking taylor expansion of y in x
15.737 * [taylor]: Taking taylor expansion of 2 in x
15.737 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in x
15.737 * [taylor]: Taking taylor expansion of x in x
15.737 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
15.737 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.737 * [taylor]: Taking taylor expansion of x in x
15.738 * [taylor]: Taking taylor expansion of 0 in y
15.741 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (exp (/ 1 y)) (sin (/ 1 x)))) (* 1/2 (* (exp (- (/ 1 y))) (sin (/ 1 x))))) in y
15.741 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (sin (/ 1 x)))) in y
15.741 * [taylor]: Taking taylor expansion of 1/2 in y
15.741 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (sin (/ 1 x))) in y
15.741 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
15.741 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.741 * [taylor]: Taking taylor expansion of y in y
15.742 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
15.742 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.742 * [taylor]: Taking taylor expansion of x in y
15.742 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (- (/ 1 y))) (sin (/ 1 x)))) in y
15.742 * [taylor]: Taking taylor expansion of 1/2 in y
15.742 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 y))) (sin (/ 1 x))) in y
15.742 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
15.742 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
15.742 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.742 * [taylor]: Taking taylor expansion of y in y
15.742 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
15.743 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.743 * [taylor]: Taking taylor expansion of x in y
15.748 * [taylor]: Taking taylor expansion of 0 in y
15.764 * [taylor]: Taking taylor expansion of 0 in y
15.764 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in (x y) around 0
15.764 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in y
15.764 * [taylor]: Taking taylor expansion of -1 in y
15.764 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in y
15.764 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
15.765 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
15.765 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
15.765 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
15.765 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.765 * [taylor]: Taking taylor expansion of -1 in y
15.765 * [taylor]: Taking taylor expansion of y in y
15.765 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
15.765 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
15.765 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.765 * [taylor]: Taking taylor expansion of -1 in y
15.765 * [taylor]: Taking taylor expansion of y in y
15.766 * [taylor]: Taking taylor expansion of 2 in y
15.766 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in y
15.766 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
15.766 * [taylor]: Taking taylor expansion of (/ -1 x) in y
15.766 * [taylor]: Taking taylor expansion of -1 in y
15.766 * [taylor]: Taking taylor expansion of x in y
15.766 * [taylor]: Taking taylor expansion of x in y
15.766 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in x
15.766 * [taylor]: Taking taylor expansion of -1 in x
15.766 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in x
15.766 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
15.766 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
15.766 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
15.766 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
15.766 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.766 * [taylor]: Taking taylor expansion of -1 in x
15.766 * [taylor]: Taking taylor expansion of y in x
15.766 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
15.766 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
15.766 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.766 * [taylor]: Taking taylor expansion of -1 in x
15.766 * [taylor]: Taking taylor expansion of y in x
15.766 * [taylor]: Taking taylor expansion of 2 in x
15.767 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in x
15.767 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
15.767 * [taylor]: Taking taylor expansion of (/ -1 x) in x
15.767 * [taylor]: Taking taylor expansion of -1 in x
15.767 * [taylor]: Taking taylor expansion of x in x
15.767 * [taylor]: Taking taylor expansion of x in x
15.767 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in x
15.767 * [taylor]: Taking taylor expansion of -1 in x
15.767 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in x
15.767 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
15.767 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
15.767 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
15.767 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
15.767 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.767 * [taylor]: Taking taylor expansion of -1 in x
15.767 * [taylor]: Taking taylor expansion of y in x
15.767 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
15.767 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
15.767 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.767 * [taylor]: Taking taylor expansion of -1 in x
15.767 * [taylor]: Taking taylor expansion of y in x
15.767 * [taylor]: Taking taylor expansion of 2 in x
15.768 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in x
15.768 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
15.768 * [taylor]: Taking taylor expansion of (/ -1 x) in x
15.768 * [taylor]: Taking taylor expansion of -1 in x
15.768 * [taylor]: Taking taylor expansion of x in x
15.768 * [taylor]: Taking taylor expansion of x in x
15.769 * [taylor]: Taking taylor expansion of 0 in y
15.772 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (exp (/ 1 y)) (sin (/ -1 x)))) (* 1/2 (* (sin (/ -1 x)) (exp (/ -1 y))))) in y
15.772 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (sin (/ -1 x)))) in y
15.773 * [taylor]: Taking taylor expansion of 1/2 in y
15.773 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (sin (/ -1 x))) in y
15.773 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
15.773 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.773 * [taylor]: Taking taylor expansion of y in y
15.774 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
15.774 * [taylor]: Taking taylor expansion of (/ -1 x) in y
15.774 * [taylor]: Taking taylor expansion of -1 in y
15.774 * [taylor]: Taking taylor expansion of x in y
15.774 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 x)) (exp (/ -1 y)))) in y
15.774 * [taylor]: Taking taylor expansion of 1/2 in y
15.774 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (exp (/ -1 y))) in y
15.774 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
15.774 * [taylor]: Taking taylor expansion of (/ -1 x) in y
15.774 * [taylor]: Taking taylor expansion of -1 in y
15.774 * [taylor]: Taking taylor expansion of x in y
15.775 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
15.775 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.775 * [taylor]: Taking taylor expansion of -1 in y
15.775 * [taylor]: Taking taylor expansion of y in y
15.785 * [taylor]: Taking taylor expansion of 0 in y
15.802 * [taylor]: Taking taylor expansion of 0 in y
15.803 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
15.803 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0
15.803 * [taylor]: Taking taylor expansion of (sinh y) in y
15.803 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
15.803 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
15.803 * [taylor]: Taking taylor expansion of (exp y) in y
15.803 * [taylor]: Taking taylor expansion of y in y
15.803 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.803 * [taylor]: Taking taylor expansion of (- y) in y
15.803 * [taylor]: Taking taylor expansion of y in y
15.804 * [taylor]: Taking taylor expansion of 2 in y
15.806 * [taylor]: Taking taylor expansion of (sinh y) in y
15.806 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
15.806 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
15.806 * [taylor]: Taking taylor expansion of (exp y) in y
15.807 * [taylor]: Taking taylor expansion of y in y
15.807 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.807 * [taylor]: Taking taylor expansion of (- y) in y
15.807 * [taylor]: Taking taylor expansion of y in y
15.807 * [taylor]: Taking taylor expansion of 2 in y
15.834 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0
15.834 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
15.834 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
15.834 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
15.834 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
15.834 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.834 * [taylor]: Taking taylor expansion of y in y
15.835 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
15.835 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
15.835 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.835 * [taylor]: Taking taylor expansion of y in y
15.835 * [taylor]: Taking taylor expansion of 2 in y
15.836 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
15.836 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
15.836 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
15.836 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
15.836 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.836 * [taylor]: Taking taylor expansion of y in y
15.836 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
15.836 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
15.836 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.836 * [taylor]: Taking taylor expansion of y in y
15.837 * [taylor]: Taking taylor expansion of 2 in y
15.848 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0
15.848 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
15.848 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
15.848 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
15.848 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
15.848 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.849 * [taylor]: Taking taylor expansion of -1 in y
15.849 * [taylor]: Taking taylor expansion of y in y
15.849 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
15.849 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
15.849 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.849 * [taylor]: Taking taylor expansion of -1 in y
15.849 * [taylor]: Taking taylor expansion of y in y
15.849 * [taylor]: Taking taylor expansion of 2 in y
15.850 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
15.850 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
15.850 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
15.850 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
15.850 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.850 * [taylor]: Taking taylor expansion of -1 in y
15.850 * [taylor]: Taking taylor expansion of y in y
15.850 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
15.850 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
15.850 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.850 * [taylor]: Taking taylor expansion of -1 in y
15.850 * [taylor]: Taking taylor expansion of y in y
15.851 * [taylor]: Taking taylor expansion of 2 in y
15.867 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
15.867 * [approximate]: Taking taylor expansion of (/ x (sinh y)) in (x y) around 0
15.867 * [taylor]: Taking taylor expansion of (/ x (sinh y)) in y
15.867 * [taylor]: Taking taylor expansion of x in y
15.867 * [taylor]: Taking taylor expansion of (sinh y) in y
15.868 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
15.868 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
15.868 * [taylor]: Taking taylor expansion of (exp y) in y
15.868 * [taylor]: Taking taylor expansion of y in y
15.868 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.868 * [taylor]: Taking taylor expansion of (- y) in y
15.868 * [taylor]: Taking taylor expansion of y in y
15.868 * [taylor]: Taking taylor expansion of 2 in y
15.871 * [taylor]: Taking taylor expansion of (/ x (sinh y)) in x
15.871 * [taylor]: Taking taylor expansion of x in x
15.871 * [taylor]: Taking taylor expansion of (sinh y) in x
15.871 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
15.871 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
15.871 * [taylor]: Taking taylor expansion of (exp y) in x
15.871 * [taylor]: Taking taylor expansion of y in x
15.871 * [taylor]: Taking taylor expansion of (exp (- y)) in x
15.871 * [taylor]: Taking taylor expansion of (- y) in x
15.871 * [taylor]: Taking taylor expansion of y in x
15.871 * [taylor]: Taking taylor expansion of 2 in x
15.871 * [taylor]: Taking taylor expansion of (/ x (sinh y)) in x
15.871 * [taylor]: Taking taylor expansion of x in x
15.871 * [taylor]: Taking taylor expansion of (sinh y) in x
15.871 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
15.871 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
15.871 * [taylor]: Taking taylor expansion of (exp y) in x
15.872 * [taylor]: Taking taylor expansion of y in x
15.872 * [taylor]: Taking taylor expansion of (exp (- y)) in x
15.872 * [taylor]: Taking taylor expansion of (- y) in x
15.872 * [taylor]: Taking taylor expansion of y in x
15.872 * [taylor]: Taking taylor expansion of 2 in x
15.872 * [taylor]: Taking taylor expansion of (/ 2 (- (exp y) (exp (- y)))) in y
15.872 * [taylor]: Taking taylor expansion of 2 in y
15.872 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
15.872 * [taylor]: Taking taylor expansion of (exp y) in y
15.872 * [taylor]: Taking taylor expansion of y in y
15.872 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.872 * [taylor]: Taking taylor expansion of (- y) in y
15.872 * [taylor]: Taking taylor expansion of y in y
15.878 * [taylor]: Taking taylor expansion of 0 in y
15.884 * [taylor]: Taking taylor expansion of 0 in y
15.894 * [taylor]: Taking taylor expansion of 0 in y
15.908 * [taylor]: Taking taylor expansion of 0 in y
15.908 * [approximate]: Taking taylor expansion of (/ 1 (* (sinh (/ 1 y)) x)) in (x y) around 0
15.908 * [taylor]: Taking taylor expansion of (/ 1 (* (sinh (/ 1 y)) x)) in y
15.908 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) x) in y
15.908 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
15.908 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
15.908 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
15.908 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
15.908 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.908 * [taylor]: Taking taylor expansion of y in y
15.909 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
15.909 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
15.909 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.909 * [taylor]: Taking taylor expansion of y in y
15.909 * [taylor]: Taking taylor expansion of 2 in y
15.909 * [taylor]: Taking taylor expansion of x in y
15.910 * [taylor]: Taking taylor expansion of (/ 1 (* (sinh (/ 1 y)) x)) in x
15.910 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) x) in x
15.910 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
15.910 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
15.910 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
15.910 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
15.910 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.910 * [taylor]: Taking taylor expansion of y in x
15.910 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
15.910 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
15.910 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.910 * [taylor]: Taking taylor expansion of y in x
15.910 * [taylor]: Taking taylor expansion of 2 in x
15.910 * [taylor]: Taking taylor expansion of x in x
15.913 * [taylor]: Taking taylor expansion of (/ 1 (* (sinh (/ 1 y)) x)) in x
15.913 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) x) in x
15.913 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
15.913 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
15.913 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
15.914 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
15.914 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.914 * [taylor]: Taking taylor expansion of y in x
15.914 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
15.914 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
15.914 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.914 * [taylor]: Taking taylor expansion of y in x
15.914 * [taylor]: Taking taylor expansion of 2 in x
15.914 * [taylor]: Taking taylor expansion of x in x
15.917 * [taylor]: Taking taylor expansion of (/ 1 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y)))))) in y
15.917 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))) in y
15.917 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ 1 y))) in y
15.917 * [taylor]: Taking taylor expansion of 1/2 in y
15.917 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
15.917 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.917 * [taylor]: Taking taylor expansion of y in y
15.918 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- (/ 1 y)))) in y
15.918 * [taylor]: Taking taylor expansion of 1/2 in y
15.918 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
15.918 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
15.918 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.918 * [taylor]: Taking taylor expansion of y in y
15.923 * [taylor]: Taking taylor expansion of 0 in y
15.930 * [taylor]: Taking taylor expansion of 0 in y
15.944 * [taylor]: Taking taylor expansion of 0 in y
15.945 * [approximate]: Taking taylor expansion of (/ -1 (* (sinh (/ -1 y)) x)) in (x y) around 0
15.945 * [taylor]: Taking taylor expansion of (/ -1 (* (sinh (/ -1 y)) x)) in y
15.945 * [taylor]: Taking taylor expansion of -1 in y
15.945 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) x) in y
15.945 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
15.945 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
15.945 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
15.945 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
15.945 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.945 * [taylor]: Taking taylor expansion of -1 in y
15.945 * [taylor]: Taking taylor expansion of y in y
15.946 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
15.946 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
15.946 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.946 * [taylor]: Taking taylor expansion of -1 in y
15.946 * [taylor]: Taking taylor expansion of y in y
15.946 * [taylor]: Taking taylor expansion of 2 in y
15.947 * [taylor]: Taking taylor expansion of x in y
15.947 * [taylor]: Taking taylor expansion of (/ -1 (* (sinh (/ -1 y)) x)) in x
15.947 * [taylor]: Taking taylor expansion of -1 in x
15.947 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) x) in x
15.947 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
15.947 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
15.947 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
15.947 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
15.947 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.947 * [taylor]: Taking taylor expansion of -1 in x
15.947 * [taylor]: Taking taylor expansion of y in x
15.947 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
15.947 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
15.947 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.947 * [taylor]: Taking taylor expansion of -1 in x
15.947 * [taylor]: Taking taylor expansion of y in x
15.947 * [taylor]: Taking taylor expansion of 2 in x
15.948 * [taylor]: Taking taylor expansion of x in x
15.951 * [taylor]: Taking taylor expansion of (/ -1 (* (sinh (/ -1 y)) x)) in x
15.951 * [taylor]: Taking taylor expansion of -1 in x
15.951 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) x) in x
15.951 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
15.951 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
15.951 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
15.951 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
15.951 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.951 * [taylor]: Taking taylor expansion of -1 in x
15.951 * [taylor]: Taking taylor expansion of y in x
15.951 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
15.951 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
15.951 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.951 * [taylor]: Taking taylor expansion of -1 in x
15.951 * [taylor]: Taking taylor expansion of y in x
15.951 * [taylor]: Taking taylor expansion of 2 in x
15.951 * [taylor]: Taking taylor expansion of x in x
15.954 * [taylor]: Taking taylor expansion of (/ -1 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) in y
15.954 * [taylor]: Taking taylor expansion of -1 in y
15.954 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))) in y
15.954 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ -1 y))) in y
15.954 * [taylor]: Taking taylor expansion of 1/2 in y
15.954 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
15.955 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.955 * [taylor]: Taking taylor expansion of -1 in y
15.955 * [taylor]: Taking taylor expansion of y in y
15.955 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ 1 y))) in y
15.955 * [taylor]: Taking taylor expansion of 1/2 in y
15.955 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
15.955 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.955 * [taylor]: Taking taylor expansion of y in y
15.960 * [taylor]: Taking taylor expansion of 0 in y
15.968 * [taylor]: Taking taylor expansion of 0 in y
15.977 * [taylor]: Taking taylor expansion of 0 in y
15.978 * * * [progress]: simplifying candidates
15.979 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (sin x) (/ x (sinh y))))
  (log1p (/ (sin x) (/ x (sinh y))))
  (- (log (sin x)) (- (log x) (log (sinh y))))
  (- (log (sin x)) (log (/ x (sinh y))))
  (log (/ (sin x) (/ x (sinh y))))
  (exp (/ (sin x) (/ x (sinh y))))
  (/ (* (* (sin x) (sin x)) (sin x)) (/ (* (* x x) x) (* (* (sinh y) (sinh y)) (sinh y))))
  (/ (* (* (sin x) (sin x)) (sin x)) (* (* (/ x (sinh y)) (/ x (sinh y))) (/ x (sinh y))))
  (* (cbrt (/ (sin x) (/ x (sinh y)))) (cbrt (/ (sin x) (/ x (sinh y)))))
  (cbrt (/ (sin x) (/ x (sinh y))))
  (* (* (/ (sin x) (/ x (sinh y))) (/ (sin x) (/ x (sinh y)))) (/ (sin x) (/ x (sinh y))))
  (sqrt (/ (sin x) (/ x (sinh y))))
  (sqrt (/ (sin x) (/ x (sinh y))))
  (- (sin x))
  (- (/ x (sinh y)))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt (/ x (sinh y))) (cbrt (/ x (sinh y)))))
  (/ (cbrt (sin x)) (cbrt (/ x (sinh y))))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (sqrt (/ x (sinh y))))
  (/ (cbrt (sin x)) (sqrt (/ x (sinh y))))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (cbrt (sin x)) (/ (cbrt x) (cbrt (sinh y))))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (/ (* (cbrt x) (cbrt x)) (sqrt (sinh y))))
  (/ (cbrt (sin x)) (/ (cbrt x) (sqrt (sinh y))))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (/ (* (cbrt x) (cbrt x)) 1))
  (/ (cbrt (sin x)) (/ (cbrt x) (sinh y)))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (/ (sqrt x) (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (cbrt (sin x)) (/ (sqrt x) (cbrt (sinh y))))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (/ (sqrt x) (sqrt (sinh y))))
  (/ (cbrt (sin x)) (/ (sqrt x) (sqrt (sinh y))))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (/ (sqrt x) 1))
  (/ (cbrt (sin x)) (/ (sqrt x) (sinh y)))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (/ 1 (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (cbrt (sin x)) (/ x (cbrt (sinh y))))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (/ 1 (sqrt (sinh y))))
  (/ (cbrt (sin x)) (/ x (sqrt (sinh y))))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (/ 1 1))
  (/ (cbrt (sin x)) (/ x (sinh y)))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) 1)
  (/ (cbrt (sin x)) (/ x (sinh y)))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) x)
  (/ (cbrt (sin x)) (/ 1 (sinh y)))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (/ x (- (exp y) (exp (- y)))))
  (/ (cbrt (sin x)) 2)
  (/ (sqrt (sin x)) (* (cbrt (/ x (sinh y))) (cbrt (/ x (sinh y)))))
  (/ (sqrt (sin x)) (cbrt (/ x (sinh y))))
  (/ (sqrt (sin x)) (sqrt (/ x (sinh y))))
  (/ (sqrt (sin x)) (sqrt (/ x (sinh y))))
  (/ (sqrt (sin x)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (sqrt (sin x)) (/ (cbrt x) (cbrt (sinh y))))
  (/ (sqrt (sin x)) (/ (* (cbrt x) (cbrt x)) (sqrt (sinh y))))
  (/ (sqrt (sin x)) (/ (cbrt x) (sqrt (sinh y))))
  (/ (sqrt (sin x)) (/ (* (cbrt x) (cbrt x)) 1))
  (/ (sqrt (sin x)) (/ (cbrt x) (sinh y)))
  (/ (sqrt (sin x)) (/ (sqrt x) (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (sqrt (sin x)) (/ (sqrt x) (cbrt (sinh y))))
  (/ (sqrt (sin x)) (/ (sqrt x) (sqrt (sinh y))))
  (/ (sqrt (sin x)) (/ (sqrt x) (sqrt (sinh y))))
  (/ (sqrt (sin x)) (/ (sqrt x) 1))
  (/ (sqrt (sin x)) (/ (sqrt x) (sinh y)))
  (/ (sqrt (sin x)) (/ 1 (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (sqrt (sin x)) (/ x (cbrt (sinh y))))
  (/ (sqrt (sin x)) (/ 1 (sqrt (sinh y))))
  (/ (sqrt (sin x)) (/ x (sqrt (sinh y))))
  (/ (sqrt (sin x)) (/ 1 1))
  (/ (sqrt (sin x)) (/ x (sinh y)))
  (/ (sqrt (sin x)) 1)
  (/ (sqrt (sin x)) (/ x (sinh y)))
  (/ (sqrt (sin x)) x)
  (/ (sqrt (sin x)) (/ 1 (sinh y)))
  (/ (sqrt (sin x)) (/ x (- (exp y) (exp (- y)))))
  (/ (sqrt (sin x)) 2)
  (/ 1 (* (cbrt (/ x (sinh y))) (cbrt (/ x (sinh y)))))
  (/ (sin x) (cbrt (/ x (sinh y))))
  (/ 1 (sqrt (/ x (sinh y))))
  (/ (sin x) (sqrt (/ x (sinh y))))
  (/ 1 (/ (* (cbrt x) (cbrt x)) (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (sin x) (/ (cbrt x) (cbrt (sinh y))))
  (/ 1 (/ (* (cbrt x) (cbrt x)) (sqrt (sinh y))))
  (/ (sin x) (/ (cbrt x) (sqrt (sinh y))))
  (/ 1 (/ (* (cbrt x) (cbrt x)) 1))
  (/ (sin x) (/ (cbrt x) (sinh y)))
  (/ 1 (/ (sqrt x) (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (sin x) (/ (sqrt x) (cbrt (sinh y))))
  (/ 1 (/ (sqrt x) (sqrt (sinh y))))
  (/ (sin x) (/ (sqrt x) (sqrt (sinh y))))
  (/ 1 (/ (sqrt x) 1))
  (/ (sin x) (/ (sqrt x) (sinh y)))
  (/ 1 (/ 1 (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (sin x) (/ x (cbrt (sinh y))))
  (/ 1 (/ 1 (sqrt (sinh y))))
  (/ (sin x) (/ x (sqrt (sinh y))))
  (/ 1 (/ 1 1))
  (/ (sin x) (/ x (sinh y)))
  (/ 1 1)
  (/ (sin x) (/ x (sinh y)))
  (/ 1 x)
  (/ (sin x) (/ 1 (sinh y)))
  (/ 1 (/ x (- (exp y) (exp (- y)))))
  (/ (sin x) 2)
  (/ 1 (/ x (sinh y)))
  (/ (/ x (sinh y)) (sin x))
  (/ (sin x) (* (cbrt (/ x (sinh y))) (cbrt (/ x (sinh y)))))
  (/ (sin x) (sqrt (/ x (sinh y))))
  (/ (sin x) (/ (* (cbrt x) (cbrt x)) (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (sin x) (/ (* (cbrt x) (cbrt x)) (sqrt (sinh y))))
  (/ (sin x) (/ (* (cbrt x) (cbrt x)) 1))
  (/ (sin x) (/ (sqrt x) (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (sin x) (/ (sqrt x) (sqrt (sinh y))))
  (/ (sin x) (/ (sqrt x) 1))
  (/ (sin x) (/ 1 (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (sin x) (/ 1 (sqrt (sinh y))))
  (/ (sin x) (/ 1 1))
  (/ (sin x) 1)
  (/ (sin x) x)
  (/ (sin x) (/ x (- (exp y) (exp (- y)))))
  (/ (/ x (sinh y)) (cbrt (sin x)))
  (/ (/ x (sinh y)) (sqrt (sin x)))
  (/ (/ x (sinh y)) (sin x))
  (/ (sin x) x)
  (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 (/ x (sinh y)))
  (log1p (/ x (sinh y)))
  (- (log x) (log (sinh y)))
  (log (/ x (sinh y)))
  (exp (/ x (sinh y)))
  (/ (* (* x x) x) (* (* (sinh y) (sinh y)) (sinh y)))
  (* (cbrt (/ x (sinh y))) (cbrt (/ x (sinh y))))
  (cbrt (/ x (sinh y)))
  (* (* (/ x (sinh y)) (/ x (sinh y))) (/ x (sinh y)))
  (sqrt (/ x (sinh y)))
  (sqrt (/ x (sinh y)))
  (- x)
  (- (sinh y))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (sinh y)) (cbrt (sinh y))))
  (/ (cbrt x) (cbrt (sinh y)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (sinh y)))
  (/ (cbrt x) (sqrt (sinh y)))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (sinh y))
  (/ (sqrt x) (* (cbrt (sinh y)) (cbrt (sinh y))))
  (/ (sqrt x) (cbrt (sinh y)))
  (/ (sqrt x) (sqrt (sinh y)))
  (/ (sqrt x) (sqrt (sinh y)))
  (/ (sqrt x) 1)
  (/ (sqrt x) (sinh y))
  (/ 1 (* (cbrt (sinh y)) (cbrt (sinh y))))
  (/ x (cbrt (sinh y)))
  (/ 1 (sqrt (sinh y)))
  (/ x (sqrt (sinh y)))
  (/ 1 1)
  (/ x (sinh y))
  (/ 1 (sinh y))
  (/ (sinh y) x)
  (/ x (* (cbrt (sinh y)) (cbrt (sinh y))))
  (/ x (sqrt (sinh y)))
  (/ x 1)
  (/ (sinh y) (cbrt x))
  (/ (sinh y) (sqrt x))
  (/ (sinh y) x)
  (/ x (- (exp y) (exp (- y))))
  (- (+ (* 1/6 (pow y 3)) y) (* 1/6 (* (pow x 2) y)))
  (/ (- (* 1/2 (* (sin x) (exp y))) (* 1/2 (* (exp (- y)) (sin x)))) x)
  (* -1 (/ (- (* 1/2 (* (sin x) (exp (* -1 y)))) (* 1/2 (* (sin x) (exp y)))) 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))))
  (- (/ x y) (* 1/6 (* x y)))
  (/ x (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))))
  (/ x (- (* 1/2 (exp y)) (* 1/2 (exp (* -1 y)))))
15.985 * * [simplify]: iteration  0 :  221  enodes  (cost  1576 )
16.038 * * [simplify]: iteration  1 :  487  enodes  (cost  1485 )
16.170 * * [simplify]: iteration  2 :  1511  enodes  (cost  1406 )
17.031 * * [simplify]: iteration  done :  5001  enodes  (cost  1398 )
17.032 * [simplify]: Simplified to:
   (expm1 (/ (sin x) (/ x (sinh y))))
  (log1p (/ (sin x) (/ x (sinh y))))
  (log (/ (sin x) (/ x (sinh y))))
  (log (/ (sin x) (/ x (sinh y))))
  (log (/ (sin x) (/ x (sinh y))))
  (exp (/ (sin x) (/ x (sinh y))))
  (pow (/ (sin x) (/ x (sinh y))) 3)
  (pow (/ (sin x) (/ x (sinh y))) 3)
  (* (cbrt (/ (sin x) (/ x (sinh y)))) (cbrt (/ (sin x) (/ x (sinh y)))))
  (cbrt (/ (sin x) (/ x (sinh y))))
  (pow (/ (sin x) (/ x (sinh y))) 3)
  (sqrt (/ (sin x) (/ x (sinh y))))
  (sqrt (/ (sin x) (/ x (sinh y))))
  (- (sin x))
  (- (/ x (sinh y)))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt (/ x (sinh y))) (cbrt (/ x (sinh y)))))
  (/ (cbrt (sin x)) (cbrt (/ x (sinh y))))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (sqrt (/ x (sinh y))))
  (/ (cbrt (sin x)) (sqrt (/ x (sinh y))))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (cbrt (sin x)) (/ (cbrt x) (cbrt (sinh y))))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (/ (* (cbrt x) (cbrt x)) (sqrt (sinh y))))
  (/ (cbrt (sin x)) (/ (cbrt x) (sqrt (sinh y))))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (sin x)) (/ (cbrt x) (sinh y)))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (/ (sqrt x) (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (cbrt (sin x)) (/ (sqrt x) (cbrt (sinh y))))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (/ (sqrt x) (sqrt (sinh y))))
  (/ (cbrt (sin x)) (/ (sqrt x) (sqrt (sinh y))))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (sqrt x))
  (/ (cbrt (sin x)) (/ (sqrt x) (sinh y)))
  (* (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt (sinh y)) (cbrt (sinh y))))
  (/ (cbrt (sin x)) (/ x (cbrt (sinh y))))
  (* (* (cbrt (sin x)) (cbrt (sin x))) (sqrt (sinh y)))
  (/ (cbrt (sin x)) (/ x (sqrt (sinh y))))
  (* (cbrt (sin x)) (cbrt (sin x)))
  (/ (cbrt (sin x)) (/ x (sinh y)))
  (* (cbrt (sin x)) (cbrt (sin x)))
  (/ (cbrt (sin x)) (/ x (sinh y)))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) x)
  (* (cbrt (sin x)) (sinh y))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (/ x (- (exp y) (exp (- y)))))
  (/ (cbrt (sin x)) 2)
  (/ (sqrt (sin x)) (* (cbrt (/ x (sinh y))) (cbrt (/ x (sinh y)))))
  (/ (sqrt (sin x)) (cbrt (/ x (sinh y))))
  (/ (sqrt (sin x)) (sqrt (/ x (sinh y))))
  (/ (sqrt (sin x)) (sqrt (/ x (sinh y))))
  (/ (sqrt (sin x)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (sqrt (sin x)) (/ (cbrt x) (cbrt (sinh y))))
  (/ (sqrt (sin x)) (/ (* (cbrt x) (cbrt x)) (sqrt (sinh y))))
  (/ (sqrt (sin x)) (/ (cbrt x) (sqrt (sinh y))))
  (/ (sqrt (sin x)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (sin x)) (/ (cbrt x) (sinh y)))
  (/ (sqrt (sin x)) (/ (sqrt x) (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (sqrt (sin x)) (/ (sqrt x) (cbrt (sinh y))))
  (/ (sqrt (sin x)) (/ (sqrt x) (sqrt (sinh y))))
  (/ (sqrt (sin x)) (/ (sqrt x) (sqrt (sinh y))))
  (/ (sqrt (sin x)) (sqrt x))
  (/ (sqrt (sin x)) (/ (sqrt x) (sinh y)))
  (* (sqrt (sin x)) (* (cbrt (sinh y)) (cbrt (sinh y))))
  (/ (sqrt (sin x)) (/ x (cbrt (sinh y))))
  (* (sqrt (sin x)) (sqrt (sinh y)))
  (/ (sqrt (sin x)) (/ x (sqrt (sinh y))))
  (sqrt (sin x))
  (/ (sqrt (sin x)) (/ x (sinh y)))
  (sqrt (sin x))
  (/ (sqrt (sin x)) (/ x (sinh y)))
  (/ (sqrt (sin x)) x)
  (* (sqrt (sin x)) (sinh y))
  (/ (sqrt (sin x)) (/ x (- (exp y) (exp (- y)))))
  (/ (sqrt (sin x)) 2)
  (/ 1 (* (cbrt (/ x (sinh y))) (cbrt (/ x (sinh y)))))
  (/ (sin x) (cbrt (/ x (sinh y))))
  (/ 1 (sqrt (/ x (sinh y))))
  (/ (sin x) (sqrt (/ x (sinh y))))
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt x) (cbrt x)))
  (/ (sin x) (/ (cbrt x) (cbrt (sinh y))))
  (/ (sqrt (sinh y)) (* (cbrt x) (cbrt x)))
  (/ (sin x) (/ (cbrt x) (sqrt (sinh y))))
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (sin x) (/ (cbrt x) (sinh y)))
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt x))
  (/ (sin x) (/ (sqrt x) (cbrt (sinh y))))
  (/ (sqrt (sinh y)) (sqrt x))
  (/ (sin x) (/ (sqrt x) (sqrt (sinh y))))
  (/ 1 (sqrt x))
  (/ (sin x) (/ (sqrt x) (sinh y)))
  (* (cbrt (sinh y)) (cbrt (sinh y)))
  (/ (sin x) (/ x (cbrt (sinh y))))
  (sqrt (sinh y))
  (/ (sin x) (/ x (sqrt (sinh y))))
  1
  (* (sinh y) (/ (sin x) x))
  1
  (* (sinh y) (/ (sin x) x))
  (/ 1 x)
  (* (sin x) (sinh y))
  (/ 1 (/ x (- (exp y) (exp (- y)))))
  (/ (sin x) 2)
  (/ 1 (/ x (sinh y)))
  (/ (/ x (sinh y)) (sin x))
  (/ (sin x) (* (cbrt (/ x (sinh y))) (cbrt (/ x (sinh y)))))
  (/ (sin x) (sqrt (/ x (sinh y))))
  (/ (sin x) (/ (* (cbrt x) (cbrt x)) (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (sin x) (/ (* (cbrt x) (cbrt x)) (sqrt (sinh y))))
  (/ (sin x) (* (cbrt x) (cbrt x)))
  (/ (sin x) (/ (sqrt x) (* (cbrt (sinh y)) (cbrt (sinh y)))))
  (/ (sin x) (/ (sqrt x) (sqrt (sinh y))))
  (/ (sin x) (sqrt x))
  (* (sin x) (* (cbrt (sinh y)) (cbrt (sinh y))))
  (* (sin x) (sqrt (sinh y)))
  (sin x)
  (sin x)
  (/ (sin x) x)
  (/ (sin x) (/ x (- (exp y) (exp (- y)))))
  (/ (/ x (sinh y)) (cbrt (sin x)))
  (/ (/ x (sinh y)) (sqrt (sin x)))
  (/ (/ x (sinh y)) (sin x))
  (/ (sin x) x)
  (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 (/ x (sinh y)))
  (log1p (/ x (sinh y)))
  (log (/ x (sinh y)))
  (log (/ x (sinh y)))
  (exp (/ x (sinh y)))
  (pow (/ x (sinh y)) 3)
  (* (cbrt (/ x (sinh y))) (cbrt (/ x (sinh y))))
  (cbrt (/ x (sinh y)))
  (pow (/ x (sinh y)) 3)
  (sqrt (/ x (sinh y)))
  (sqrt (/ x (sinh y)))
  (- x)
  (- (sinh y))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (sinh y)) (cbrt (sinh y))))
  (/ (cbrt x) (cbrt (sinh y)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (sinh y)))
  (/ (cbrt x) (sqrt (sinh y)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (sinh y))
  (/ (/ (sqrt x) (cbrt (sinh y))) (cbrt (sinh y)))
  (/ (sqrt x) (cbrt (sinh y)))
  (/ (sqrt x) (sqrt (sinh y)))
  (/ (sqrt x) (sqrt (sinh y)))
  (sqrt x)
  (/ (sqrt x) (sinh y))
  (/ 1 (* (cbrt (sinh y)) (cbrt (sinh y))))
  (/ x (cbrt (sinh y)))
  (/ 1 (sqrt (sinh y)))
  (/ x (sqrt (sinh y)))
  1
  (/ x (sinh y))
  (/ 1 (sinh y))
  (/ (sinh y) x)
  (/ x (* (cbrt (sinh y)) (cbrt (sinh y))))
  (/ x (sqrt (sinh y)))
  x
  (/ (sinh y) (cbrt x))
  (/ (sinh y) (sqrt x))
  (/ (sinh y) x)
  (/ x (- (exp y) (exp (- y))))
  (- (fma 1/6 (pow y 3) y) (* 1/6 (* (pow x 2) y)))
  (/ (* 1/2 (* (sin x) (- (exp y) (exp (- y))))) x)
  (/ (* -1/2 (* (sin x) (- (exp (- y)) (exp y)))) x)
  (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))))
  (- (/ x y) (* 1/6 (* x y)))
  (/ (/ x (sinh y)) 1)
  (/ (/ x (sinh y)) 1)
17.033 * * * [progress]: adding candidates to table
17.374 * * [progress]: iteration 4 / 4
17.374 * * * [progress]: picking best candidate
17.384 * * * * [pick]: Picked  #<alt (λ (x y) (* 1 (* (sinh y) (/ (sin x) x))))>
17.384 * * * [progress]: localizing error
17.392 * * * [progress]: generating rewritten candidates
17.392 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
17.395 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
17.404 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
17.407 * * * [progress]: generating series expansions
17.407 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
17.407 * [approximate]: Taking taylor expansion of (/ (sin x) x) in (x) around 0
17.407 * [taylor]: Taking taylor expansion of (/ (sin x) x) in x
17.407 * [taylor]: Taking taylor expansion of (sin x) in x
17.407 * [taylor]: Taking taylor expansion of x in x
17.407 * [taylor]: Taking taylor expansion of x in x
17.408 * [taylor]: Taking taylor expansion of (/ (sin x) x) in x
17.408 * [taylor]: Taking taylor expansion of (sin x) in x
17.408 * [taylor]: Taking taylor expansion of x in x
17.408 * [taylor]: Taking taylor expansion of x in x
17.415 * [approximate]: Taking taylor expansion of (* x (sin (/ 1 x))) in (x) around 0
17.415 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in x
17.415 * [taylor]: Taking taylor expansion of x in x
17.415 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
17.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.415 * [taylor]: Taking taylor expansion of x in x
17.415 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in x
17.415 * [taylor]: Taking taylor expansion of x in x
17.415 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
17.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.415 * [taylor]: Taking taylor expansion of x in x
17.423 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 x)) x)) in (x) around 0
17.423 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 x)) x)) in x
17.423 * [taylor]: Taking taylor expansion of -1 in x
17.423 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in x
17.423 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
17.423 * [taylor]: Taking taylor expansion of (/ -1 x) in x
17.423 * [taylor]: Taking taylor expansion of -1 in x
17.423 * [taylor]: Taking taylor expansion of x in x
17.424 * [taylor]: Taking taylor expansion of x in x
17.424 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 x)) x)) in x
17.424 * [taylor]: Taking taylor expansion of -1 in x
17.424 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in x
17.424 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
17.424 * [taylor]: Taking taylor expansion of (/ -1 x) in x
17.424 * [taylor]: Taking taylor expansion of -1 in x
17.424 * [taylor]: Taking taylor expansion of x in x
17.424 * [taylor]: Taking taylor expansion of x in x
17.435 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
17.435 * [approximate]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in (y x) around 0
17.436 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in x
17.436 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x
17.436 * [taylor]: Taking taylor expansion of (sin x) in x
17.436 * [taylor]: Taking taylor expansion of x in x
17.436 * [taylor]: Taking taylor expansion of (sinh y) in x
17.436 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
17.436 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
17.436 * [taylor]: Taking taylor expansion of (exp y) in x
17.436 * [taylor]: Taking taylor expansion of y in x
17.436 * [taylor]: Taking taylor expansion of (exp (- y)) in x
17.436 * [taylor]: Taking taylor expansion of (- y) in x
17.436 * [taylor]: Taking taylor expansion of y in x
17.436 * [taylor]: Taking taylor expansion of 2 in x
17.436 * [taylor]: Taking taylor expansion of x in x
17.439 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in y
17.439 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y
17.439 * [taylor]: Taking taylor expansion of (sin x) in y
17.439 * [taylor]: Taking taylor expansion of x in y
17.440 * [taylor]: Taking taylor expansion of (sinh y) in y
17.440 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
17.440 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
17.440 * [taylor]: Taking taylor expansion of (exp y) in y
17.440 * [taylor]: Taking taylor expansion of y in y
17.440 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.440 * [taylor]: Taking taylor expansion of (- y) in y
17.440 * [taylor]: Taking taylor expansion of y in y
17.440 * [taylor]: Taking taylor expansion of 2 in y
17.443 * [taylor]: Taking taylor expansion of x in y
17.443 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in y
17.443 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y
17.443 * [taylor]: Taking taylor expansion of (sin x) in y
17.443 * [taylor]: Taking taylor expansion of x in y
17.443 * [taylor]: Taking taylor expansion of (sinh y) in y
17.443 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
17.443 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
17.443 * [taylor]: Taking taylor expansion of (exp y) in y
17.443 * [taylor]: Taking taylor expansion of y in y
17.443 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.443 * [taylor]: Taking taylor expansion of (- y) in y
17.443 * [taylor]: Taking taylor expansion of y in y
17.444 * [taylor]: Taking taylor expansion of 2 in y
17.446 * [taylor]: Taking taylor expansion of x in y
17.446 * [taylor]: Taking taylor expansion of (/ (sin x) x) in x
17.446 * [taylor]: Taking taylor expansion of (sin x) in x
17.447 * [taylor]: Taking taylor expansion of x in x
17.447 * [taylor]: Taking taylor expansion of x in x
17.456 * [taylor]: Taking taylor expansion of 0 in x
17.464 * [taylor]: Taking taylor expansion of (* 1/6 (/ (sin x) x)) in x
17.464 * [taylor]: Taking taylor expansion of 1/6 in x
17.464 * [taylor]: Taking taylor expansion of (/ (sin x) x) in x
17.464 * [taylor]: Taking taylor expansion of (sin x) in x
17.464 * [taylor]: Taking taylor expansion of x in x
17.464 * [taylor]: Taking taylor expansion of x in x
17.467 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in (y x) around 0
17.467 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in x
17.467 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
17.467 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
17.467 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
17.467 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
17.467 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.467 * [taylor]: Taking taylor expansion of y in x
17.467 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
17.467 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
17.467 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.467 * [taylor]: Taking taylor expansion of y in x
17.467 * [taylor]: Taking taylor expansion of 2 in x
17.468 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in x
17.468 * [taylor]: Taking taylor expansion of x in x
17.468 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
17.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.468 * [taylor]: Taking taylor expansion of x in x
17.468 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in y
17.468 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
17.468 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
17.468 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
17.468 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
17.468 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.468 * [taylor]: Taking taylor expansion of y in y
17.469 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
17.469 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
17.469 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.469 * [taylor]: Taking taylor expansion of y in y
17.469 * [taylor]: Taking taylor expansion of 2 in y
17.469 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in y
17.469 * [taylor]: Taking taylor expansion of x in y
17.469 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
17.469 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.469 * [taylor]: Taking taylor expansion of x in y
17.470 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in y
17.470 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
17.470 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
17.470 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
17.470 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
17.470 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.470 * [taylor]: Taking taylor expansion of y in y
17.470 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
17.470 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
17.470 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.470 * [taylor]: Taking taylor expansion of y in y
17.471 * [taylor]: Taking taylor expansion of 2 in y
17.471 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in y
17.471 * [taylor]: Taking taylor expansion of x in y
17.471 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y
17.471 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.471 * [taylor]: Taking taylor expansion of x in y
17.471 * [taylor]: Taking taylor expansion of (* 1/2 (* x (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in x
17.471 * [taylor]: Taking taylor expansion of 1/2 in x
17.471 * [taylor]: Taking taylor expansion of (* x (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in x
17.471 * [taylor]: Taking taylor expansion of x in x
17.471 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in x
17.471 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
17.471 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.471 * [taylor]: Taking taylor expansion of x in x
17.472 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
17.472 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
17.472 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.472 * [taylor]: Taking taylor expansion of y in x
17.472 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
17.472 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
17.472 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.472 * [taylor]: Taking taylor expansion of y in x
17.475 * [taylor]: Taking taylor expansion of 0 in x
17.483 * [taylor]: Taking taylor expansion of 0 in x
17.493 * [taylor]: Taking taylor expansion of 0 in x
17.493 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in (y x) around 0
17.493 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in x
17.493 * [taylor]: Taking taylor expansion of -1 in x
17.493 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in x
17.493 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
17.493 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
17.493 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
17.493 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
17.493 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.493 * [taylor]: Taking taylor expansion of -1 in x
17.493 * [taylor]: Taking taylor expansion of y in x
17.494 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
17.494 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
17.494 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.494 * [taylor]: Taking taylor expansion of -1 in x
17.494 * [taylor]: Taking taylor expansion of y in x
17.494 * [taylor]: Taking taylor expansion of 2 in x
17.494 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in x
17.494 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
17.494 * [taylor]: Taking taylor expansion of (/ -1 x) in x
17.494 * [taylor]: Taking taylor expansion of -1 in x
17.494 * [taylor]: Taking taylor expansion of x in x
17.494 * [taylor]: Taking taylor expansion of x in x
17.494 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in y
17.494 * [taylor]: Taking taylor expansion of -1 in y
17.494 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in y
17.494 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
17.494 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
17.494 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
17.494 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
17.494 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.495 * [taylor]: Taking taylor expansion of -1 in y
17.495 * [taylor]: Taking taylor expansion of y in y
17.495 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
17.495 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
17.495 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.495 * [taylor]: Taking taylor expansion of -1 in y
17.495 * [taylor]: Taking taylor expansion of y in y
17.495 * [taylor]: Taking taylor expansion of 2 in y
17.496 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in y
17.496 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
17.496 * [taylor]: Taking taylor expansion of (/ -1 x) in y
17.496 * [taylor]: Taking taylor expansion of -1 in y
17.496 * [taylor]: Taking taylor expansion of x in y
17.496 * [taylor]: Taking taylor expansion of x in y
17.496 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in y
17.496 * [taylor]: Taking taylor expansion of -1 in y
17.496 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in y
17.496 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
17.496 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
17.496 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
17.496 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
17.496 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.496 * [taylor]: Taking taylor expansion of -1 in y
17.496 * [taylor]: Taking taylor expansion of y in y
17.496 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
17.496 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
17.496 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.496 * [taylor]: Taking taylor expansion of -1 in y
17.496 * [taylor]: Taking taylor expansion of y in y
17.497 * [taylor]: Taking taylor expansion of 2 in y
17.497 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in y
17.497 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y
17.497 * [taylor]: Taking taylor expansion of (/ -1 x) in y
17.497 * [taylor]: Taking taylor expansion of -1 in y
17.497 * [taylor]: Taking taylor expansion of x in y
17.497 * [taylor]: Taking taylor expansion of x in y
17.498 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) x))) in x
17.498 * [taylor]: Taking taylor expansion of -1/2 in x
17.498 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) x)) in x
17.498 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
17.498 * [taylor]: Taking taylor expansion of (/ -1 x) in x
17.498 * [taylor]: Taking taylor expansion of -1 in x
17.498 * [taylor]: Taking taylor expansion of x in x
17.498 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) x) in x
17.498 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in x
17.498 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
17.498 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.498 * [taylor]: Taking taylor expansion of -1 in x
17.498 * [taylor]: Taking taylor expansion of y in x
17.498 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
17.498 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.498 * [taylor]: Taking taylor expansion of y in x
17.499 * [taylor]: Taking taylor expansion of x in x
17.503 * [taylor]: Taking taylor expansion of 0 in x
17.511 * [taylor]: Taking taylor expansion of 0 in x
17.521 * [taylor]: Taking taylor expansion of 0 in x
17.522 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
17.522 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0
17.522 * [taylor]: Taking taylor expansion of (sinh y) in y
17.522 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
17.522 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
17.522 * [taylor]: Taking taylor expansion of (exp y) in y
17.522 * [taylor]: Taking taylor expansion of y in y
17.522 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.522 * [taylor]: Taking taylor expansion of (- y) in y
17.522 * [taylor]: Taking taylor expansion of y in y
17.522 * [taylor]: Taking taylor expansion of 2 in y
17.525 * [taylor]: Taking taylor expansion of (sinh y) in y
17.525 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
17.525 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
17.525 * [taylor]: Taking taylor expansion of (exp y) in y
17.525 * [taylor]: Taking taylor expansion of y in y
17.525 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.525 * [taylor]: Taking taylor expansion of (- y) in y
17.525 * [taylor]: Taking taylor expansion of y in y
17.526 * [taylor]: Taking taylor expansion of 2 in y
17.557 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0
17.557 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
17.557 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
17.557 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
17.557 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
17.557 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.557 * [taylor]: Taking taylor expansion of y in y
17.558 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
17.558 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
17.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.558 * [taylor]: Taking taylor expansion of y in y
17.558 * [taylor]: Taking taylor expansion of 2 in y
17.558 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
17.558 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
17.558 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
17.559 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
17.559 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.559 * [taylor]: Taking taylor expansion of y in y
17.559 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
17.559 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
17.559 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.559 * [taylor]: Taking taylor expansion of y in y
17.559 * [taylor]: Taking taylor expansion of 2 in y
17.571 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0
17.571 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
17.571 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
17.571 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
17.571 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
17.571 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.571 * [taylor]: Taking taylor expansion of -1 in y
17.571 * [taylor]: Taking taylor expansion of y in y
17.572 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
17.572 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
17.572 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.572 * [taylor]: Taking taylor expansion of -1 in y
17.572 * [taylor]: Taking taylor expansion of y in y
17.572 * [taylor]: Taking taylor expansion of 2 in y
17.572 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
17.572 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
17.572 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
17.572 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
17.573 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.573 * [taylor]: Taking taylor expansion of -1 in y
17.573 * [taylor]: Taking taylor expansion of y in y
17.573 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
17.573 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
17.573 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.573 * [taylor]: Taking taylor expansion of -1 in y
17.573 * [taylor]: Taking taylor expansion of y in y
17.573 * [taylor]: Taking taylor expansion of 2 in y
17.585 * * * [progress]: simplifying candidates
17.586 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (sin x) x))
  (log1p (/ (sin x) x))
  (- (log (sin x)) (log x))
  (log (/ (sin x) x))
  (exp (/ (sin x) x))
  (/ (* (* (sin x) (sin x)) (sin x)) (* (* x x) x))
  (* (cbrt (/ (sin x) x)) (cbrt (/ (sin x) x)))
  (cbrt (/ (sin x) x))
  (* (* (/ (sin x) x) (/ (sin x) x)) (/ (sin x) x))
  (sqrt (/ (sin x) x))
  (sqrt (/ (sin x) x))
  (- (sin x))
  (- x)
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (sin x)) (cbrt x))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) (sqrt x))
  (/ (cbrt (sin x)) (sqrt x))
  (/ (* (cbrt (sin x)) (cbrt (sin x))) 1)
  (/ (cbrt (sin x)) x)
  (/ (sqrt (sin x)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (sin x)) (cbrt x))
  (/ (sqrt (sin x)) (sqrt x))
  (/ (sqrt (sin x)) (sqrt x))
  (/ (sqrt (sin x)) 1)
  (/ (sqrt (sin x)) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (sin x) (cbrt x))
  (/ 1 (sqrt x))
  (/ (sin x) (sqrt x))
  (/ 1 1)
  (/ (sin x) x)
  (/ 1 x)
  (/ x (sin x))
  (/ (sin x) (* (cbrt x) (cbrt x)))
  (/ (sin x) (sqrt x))
  (/ (sin x) 1)
  (/ x (cbrt (sin x)))
  (/ x (sqrt (sin x)))
  (/ x (sin x))
  (expm1 (* (sinh y) (/ (sin x) x)))
  (log1p (* (sinh y) (/ (sin x) x)))
  (* (sinh y) (/ (sin x) x))
  (+ (log (sinh y)) (- (log (sin x)) (log x)))
  (+ (log (sinh y)) (log (/ (sin x) x)))
  (log (* (sinh y) (/ (sin x) x)))
  (exp (* (sinh y) (/ (sin x) x)))
  (* (* (* (sinh y) (sinh y)) (sinh y)) (/ (* (* (sin x) (sin x)) (sin x)) (* (* x x) x)))
  (* (* (* (sinh y) (sinh y)) (sinh y)) (* (* (/ (sin x) x) (/ (sin x) x)) (/ (sin x) x)))
  (* (cbrt (* (sinh y) (/ (sin x) x))) (cbrt (* (sinh y) (/ (sin x) x))))
  (cbrt (* (sinh y) (/ (sin x) x)))
  (* (* (* (sinh y) (/ (sin x) x)) (* (sinh y) (/ (sin x) x))) (* (sinh y) (/ (sin x) x)))
  (sqrt (* (sinh y) (/ (sin x) x)))
  (sqrt (* (sinh y) (/ (sin x) x)))
  (* (- (exp y) (exp (- y))) (sin x))
  (* 2 x)
  (* (sqrt (sinh y)) (sqrt (/ (sin x) x)))
  (* (sqrt (sinh y)) (sqrt (/ (sin x) x)))
  (* (sqrt (sinh y)) (/ (sqrt (sin x)) (sqrt x)))
  (* (sqrt (sinh y)) (/ (sqrt (sin x)) (sqrt x)))
  (* (sinh y) (* (cbrt (/ (sin x) x)) (cbrt (/ (sin x) x))))
  (* (sinh y) (sqrt (/ (sin x) x)))
  (* (sinh y) (/ (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt x) (cbrt x))))
  (* (sinh y) (/ (* (cbrt (sin x)) (cbrt (sin x))) (sqrt x)))
  (* (sinh y) (/ (* (cbrt (sin x)) (cbrt (sin x))) 1))
  (* (sinh y) (/ (sqrt (sin x)) (* (cbrt x) (cbrt x))))
  (* (sinh y) (/ (sqrt (sin x)) (sqrt x)))
  (* (sinh y) (/ (sqrt (sin x)) 1))
  (* (sinh y) (/ 1 (* (cbrt x) (cbrt x))))
  (* (sinh y) (/ 1 (sqrt x)))
  (* (sinh y) (/ 1 1))
  (* (sinh y) 1)
  (* (sinh y) (sin x))
  (* (cbrt (sinh y)) (/ (sin x) x))
  (* (sqrt (sinh y)) (/ (sin x) x))
  (* (sinh y) (/ (sin x) x))
  (* (sinh y) (sin x))
  (* (- (exp y) (exp (- y))) (/ (sin x) x))
  (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/120 (pow x 4)) 1) (* 1/6 (pow x 2)))
  (/ (sin x) x)
  (/ (sin x) x)
  (- (+ (* 1/6 (pow y 3)) y) (* 1/6 (* (pow x 2) y)))
  (/ (- (* 1/2 (* (sin x) (exp y))) (* 1/2 (* (exp (- y)) (sin x)))) x)
  (* -1 (/ (- (* 1/2 (* (sin x) (exp (* -1 y)))) (* 1/2 (* (sin x) (exp y)))) 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))))
17.590 * * [simplify]: iteration  0 :  140  enodes  (cost  765 )
17.621 * * [simplify]: iteration  1 :  320  enodes  (cost  728 )
17.748 * * [simplify]: iteration  2 :  1056  enodes  (cost  659 )
19.470 * * [simplify]: iteration  3 :  4718  enodes  (cost  657 )
20.317 * * [simplify]: iteration  done :  5000  enodes  (cost  657 )
20.317 * [simplify]: Simplified to:
   (expm1 (/ (sin x) x))
  (log1p (/ (sin x) x))
  (log (/ (sin x) x))
  (log (/ (sin x) x))
  (exp (/ (sin x) x))
  (pow (/ (sin x) x) 3)
  (* (cbrt (/ (sin x) x)) (cbrt (/ (sin x) x)))
  (cbrt (/ (sin x) x))
  (pow (/ (sin x) x) 3)
  (sqrt (/ (sin x) x))
  (sqrt (/ (sin x) x))
  (- (sin x))
  (- x)
  (* (cbrt (sin x)) (/ (cbrt (sin x)) (* (cbrt x) (cbrt x))))
  (/ (cbrt (sin x)) (cbrt x))
  (* (cbrt (sin x)) (/ (cbrt (sin x)) (sqrt x)))
  (/ (cbrt (sin x)) (sqrt x))
  (* (cbrt (sin x)) (cbrt (sin x)))
  (/ (cbrt (sin x)) x)
  (/ (sqrt (sin x)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (sin x)) (cbrt x))
  (/ (sqrt (sin x)) (sqrt x))
  (/ (sqrt (sin x)) (sqrt x))
  (sqrt (sin x))
  (/ (sqrt (sin x)) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (sin x) (cbrt x))
  (/ 1 (sqrt x))
  (/ (sin x) (sqrt x))
  1
  (/ (sin x) x)
  (/ 1 x)
  (/ x (sin x))
  (/ (sin x) (* (cbrt x) (cbrt x)))
  (/ (sin x) (sqrt x))
  (sin x)
  (/ x (cbrt (sin x)))
  (/ x (sqrt (sin x)))
  (/ x (sin x))
  (expm1 (* (sinh y) (/ (sin x) x)))
  (log1p (* (sinh y) (/ (sin x) x)))
  (* (sinh y) (/ (sin x) x))
  (log (* (sinh y) (/ (sin x) x)))
  (log (* (sinh y) (/ (sin x) x)))
  (log (* (sinh y) (/ (sin x) x)))
  (exp (* (sinh y) (/ (sin x) x)))
  (pow (* (sinh y) (/ (sin x) x)) 3)
  (pow (* (sinh y) (/ (sin x) x)) 3)
  (* (cbrt (* (sinh y) (/ (sin x) x))) (cbrt (* (sinh y) (/ (sin x) x))))
  (cbrt (* (sinh y) (/ (sin x) x)))
  (pow (* (sinh y) (/ (sin x) x)) 3)
  (sqrt (* (sinh y) (/ (sin x) x)))
  (sqrt (* (sinh y) (/ (sin x) x)))
  (* (- (exp y) (exp (- y))) (sin x))
  (* 2 x)
  (* (sqrt (sinh y)) (sqrt (/ (sin x) x)))
  (* (sqrt (sinh y)) (sqrt (/ (sin x) x)))
  (* (sqrt (sinh y)) (/ (sqrt (sin x)) (sqrt x)))
  (* (sqrt (sinh y)) (/ (sqrt (sin x)) (sqrt x)))
  (* (sinh y) (* (cbrt (/ (sin x) x)) (cbrt (/ (sin x) x))))
  (* (sinh y) (sqrt (/ (sin x) x)))
  (* (sinh y) (/ (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt x) (cbrt x))))
  (* (sinh y) (/ (* (cbrt (sin x)) (cbrt (sin x))) (sqrt x)))
  (* (sinh y) (* (cbrt (sin x)) (cbrt (sin x))))
  (* (sinh y) (/ (sqrt (sin x)) (* (cbrt x) (cbrt x))))
  (* (sinh y) (/ (sqrt (sin x)) (sqrt x)))
  (* (sinh y) (sqrt (sin x)))
  (/ (sinh y) (* (cbrt x) (cbrt x)))
  (/ (sinh y) (sqrt x))
  (sinh y)
  (sinh y)
  (* (sinh y) (sin x))
  (* (cbrt (sinh y)) (/ (sin x) x))
  (* (sqrt (sinh y)) (/ (sin x) x))
  (* (sinh y) (/ (sin x) x))
  (* (sinh y) (sin x))
  (* (- (exp y) (exp (- y))) (/ (sin x) x))
  (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 (pow x 2) -1/6 (fma 1/120 (pow x 4) 1))
  (/ (sin x) x)
  (/ (sin x) x)
  (fma (* (* x x) -1/6) y (fma 1/6 (pow y 3) y))
  (/ (* (* 1/2 (sin x)) (- (exp y) (exp (- y)))) x)
  (/ (* (* 1/2 (sin x)) (- (exp y) (exp (- y)))) x)
  (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))))
20.318 * * * [progress]: adding candidates to table
20.551 * [progress]: [Phase 3 of 3] Extracting.
20.551 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (/ (sin x) (/ x (sinh y))))> #<alt (λ (x y) (* 1 (* (sinh y) (* (sin x) (/ 1 x)))))> #<alt (λ (x y) (* (/ (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt x) (cbrt x))) (/ (cbrt (sin x)) (/ (cbrt x) (sinh y)))))> #<alt (λ (x y) (* (* (sin x) (* (cbrt (/ (sinh y) x)) (cbrt (/ (sinh y) x)))) (cbrt (/ (sinh y) x))))> #<alt (λ (x y) (* 1 (* (sinh y) (/ (sin x) x))))> #<alt (λ (x y) (/ 1 (/ (/ x (sinh y)) (sin x))))>)
20.552 * * * [regime-changes]: Trying 3 branch expressions: ((sinh y) y x)
20.552 * * * * [regimes]: Trying to branch on (sinh y) from (#<alt (λ (x y) (/ (sin x) (/ x (sinh y))))> #<alt (λ (x y) (* 1 (* (sinh y) (* (sin x) (/ 1 x)))))> #<alt (λ (x y) (* (/ (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt x) (cbrt x))) (/ (cbrt (sin x)) (/ (cbrt x) (sinh y)))))> #<alt (λ (x y) (* (* (sin x) (* (cbrt (/ (sinh y) x)) (cbrt (/ (sinh y) x)))) (cbrt (/ (sinh y) x))))> #<alt (λ (x y) (* 1 (* (sinh y) (/ (sin x) x))))> #<alt (λ (x y) (/ 1 (/ (/ x (sinh y)) (sin x))))>)
20.578 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (/ (sin x) (/ x (sinh y))))> #<alt (λ (x y) (* 1 (* (sinh y) (* (sin x) (/ 1 x)))))> #<alt (λ (x y) (* (/ (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt x) (cbrt x))) (/ (cbrt (sin x)) (/ (cbrt x) (sinh y)))))> #<alt (λ (x y) (* (* (sin x) (* (cbrt (/ (sinh y) x)) (cbrt (/ (sinh y) x)))) (cbrt (/ (sinh y) x))))> #<alt (λ (x y) (* 1 (* (sinh y) (/ (sin x) x))))> #<alt (λ (x y) (/ 1 (/ (/ x (sinh y)) (sin x))))>)
20.603 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (/ (sin x) (/ x (sinh y))))> #<alt (λ (x y) (* 1 (* (sinh y) (* (sin x) (/ 1 x)))))> #<alt (λ (x y) (* (/ (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt x) (cbrt x))) (/ (cbrt (sin x)) (/ (cbrt x) (sinh y)))))> #<alt (λ (x y) (* (* (sin x) (* (cbrt (/ (sinh y) x)) (cbrt (/ (sinh y) x)))) (cbrt (/ (sinh y) x))))> #<alt (λ (x y) (* 1 (* (sinh y) (/ (sin x) x))))> #<alt (λ (x y) (/ 1 (/ (/ x (sinh y)) (sin x))))>)
20.626 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
20.626 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* 1 (* (sinh y) (/ (sin x) x)))
20.626 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
20.627 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
20.629 * * [simplify]: iteration  done :  12  enodes  (cost  7 )
20.630 * [simplify]: Simplified to:
   (* (sinh y) (/ (sin x) x))
22.776 * [regime-testing]: Baseline error score: 0.10678703275535648
22.776 * [regime-testing]: Oracle error score: 0.034129266158269785
22.777 * [regime-testing]: End program error score: 0.10678703275535648
22.814 * [regime-testing]: Target error score: 0.1929440430068181