10.297 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.076 * * * [progress]: [2/2] Setting up program.
0.078 * [progress]: [Phase 2 of 3] Improving.
0.078 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (cos x) (/ (sinh y) y))
0.079 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.080 * * [simplify]: iteration  1 :  15  enodes  (cost  7 )
0.082 * * [simplify]: iteration  2 :  29  enodes  (cost  7 )
0.086 * * [simplify]: iteration  3 :  64  enodes  (cost  7 )
0.095 * * [simplify]: iteration  4 :  136  enodes  (cost  7 )
0.119 * * [simplify]: iteration  5 :  250  enodes  (cost  7 )
0.169 * * [simplify]: iteration  6 :  464  enodes  (cost  7 )
0.382 * * [simplify]: iteration  7 :  1010  enodes  (cost  7 )
1.716 * * [simplify]: iteration  8 :  2187  enodes  (cost  7 )
4.658 * * [simplify]: iteration  9 :  3081  enodes  (cost  7 )
9.566 * * [simplify]: iteration  10 :  4547  enodes  (cost  7 )
11.743 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
11.743 * [simplify]: Simplified to:
   (* (cos x) (/ (sinh y) y))
11.743 * * [progress]: iteration 1 / 4
11.743 * * * [progress]: picking best candidate
11.745 * * * * [pick]: Picked  #<alt (λ (x y) (* (cos x) (/ (sinh y) y)))>
11.745 * * * [progress]: localizing error
11.753 * * * [progress]: generating rewritten candidates
11.753 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
11.762 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
11.762 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
11.767 * * * [progress]: generating series expansions
11.767 * * * * [progress]: [ 1 / 3 ] generating series at (2)
11.767 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0
11.767 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y
11.767 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y
11.767 * [taylor]: Taking taylor expansion of (sinh y) in y
11.767 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
11.767 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
11.767 * [taylor]: Taking taylor expansion of (exp y) in y
11.767 * [taylor]: Taking taylor expansion of y in y
11.767 * [taylor]: Taking taylor expansion of (exp (- y)) in y
11.767 * [taylor]: Taking taylor expansion of (- y) in y
11.767 * [taylor]: Taking taylor expansion of y in y
11.768 * [taylor]: Taking taylor expansion of 2 in y
11.771 * [taylor]: Taking taylor expansion of (cos x) in y
11.771 * [taylor]: Taking taylor expansion of x in y
11.772 * [taylor]: Taking taylor expansion of y in y
11.772 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x
11.772 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
11.772 * [taylor]: Taking taylor expansion of (sinh y) in x
11.772 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
11.773 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
11.773 * [taylor]: Taking taylor expansion of (exp y) in x
11.773 * [taylor]: Taking taylor expansion of y in x
11.773 * [taylor]: Taking taylor expansion of (exp (- y)) in x
11.773 * [taylor]: Taking taylor expansion of (- y) in x
11.773 * [taylor]: Taking taylor expansion of y in x
11.773 * [taylor]: Taking taylor expansion of 2 in x
11.773 * [taylor]: Taking taylor expansion of (cos x) in x
11.773 * [taylor]: Taking taylor expansion of x in x
11.773 * [taylor]: Taking taylor expansion of y in x
11.773 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x
11.773 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
11.773 * [taylor]: Taking taylor expansion of (sinh y) in x
11.773 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
11.773 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
11.773 * [taylor]: Taking taylor expansion of (exp y) in x
11.773 * [taylor]: Taking taylor expansion of y in x
11.773 * [taylor]: Taking taylor expansion of (exp (- y)) in x
11.773 * [taylor]: Taking taylor expansion of (- y) in x
11.773 * [taylor]: Taking taylor expansion of y in x
11.773 * [taylor]: Taking taylor expansion of 2 in x
11.774 * [taylor]: Taking taylor expansion of (cos x) in x
11.774 * [taylor]: Taking taylor expansion of x in x
11.774 * [taylor]: Taking taylor expansion of y in x
11.774 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (- y))) y)) in y
11.774 * [taylor]: Taking taylor expansion of 1/2 in y
11.774 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (- y))) y) in y
11.774 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
11.774 * [taylor]: Taking taylor expansion of (exp y) in y
11.774 * [taylor]: Taking taylor expansion of y in y
11.774 * [taylor]: Taking taylor expansion of (exp (- y)) in y
11.774 * [taylor]: Taking taylor expansion of (- y) in y
11.774 * [taylor]: Taking taylor expansion of y in y
11.775 * [taylor]: Taking taylor expansion of y in y
11.782 * [taylor]: Taking taylor expansion of 0 in y
11.791 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (- y)) y)) (* 1/4 (/ (exp y) y))) in y
11.791 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (- y)) y)) in y
11.791 * [taylor]: Taking taylor expansion of 1/4 in y
11.791 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
11.791 * [taylor]: Taking taylor expansion of (exp (- y)) in y
11.791 * [taylor]: Taking taylor expansion of (- y) in y
11.791 * [taylor]: Taking taylor expansion of y in y
11.792 * [taylor]: Taking taylor expansion of y in y
11.792 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y
11.792 * [taylor]: Taking taylor expansion of 1/4 in y
11.792 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
11.792 * [taylor]: Taking taylor expansion of (exp y) in y
11.792 * [taylor]: Taking taylor expansion of y in y
11.792 * [taylor]: Taking taylor expansion of y in y
11.803 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0
11.803 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y
11.803 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
11.803 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
11.803 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
11.803 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
11.803 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.803 * [taylor]: Taking taylor expansion of y in y
11.804 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
11.804 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
11.804 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.804 * [taylor]: Taking taylor expansion of y in y
11.804 * [taylor]: Taking taylor expansion of 2 in y
11.805 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y
11.805 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
11.805 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.805 * [taylor]: Taking taylor expansion of x in y
11.805 * [taylor]: Taking taylor expansion of y in y
11.805 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x
11.805 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
11.805 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
11.805 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
11.805 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
11.805 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.805 * [taylor]: Taking taylor expansion of y in x
11.805 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
11.805 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
11.805 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.805 * [taylor]: Taking taylor expansion of y in x
11.805 * [taylor]: Taking taylor expansion of 2 in x
11.806 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x
11.806 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
11.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.806 * [taylor]: Taking taylor expansion of x in x
11.806 * [taylor]: Taking taylor expansion of y in x
11.806 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x
11.806 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
11.806 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
11.806 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
11.806 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
11.806 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.806 * [taylor]: Taking taylor expansion of y in x
11.807 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
11.807 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
11.807 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.807 * [taylor]: Taking taylor expansion of y in x
11.807 * [taylor]: Taking taylor expansion of 2 in x
11.807 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x
11.807 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
11.807 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.807 * [taylor]: Taking taylor expansion of x in x
11.807 * [taylor]: Taking taylor expansion of y in x
11.808 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y
11.808 * [taylor]: Taking taylor expansion of 1/2 in y
11.808 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y
11.808 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
11.808 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.808 * [taylor]: Taking taylor expansion of x in y
11.808 * [taylor]: Taking taylor expansion of (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y
11.808 * [taylor]: Taking taylor expansion of y in y
11.808 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
11.808 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
11.808 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.808 * [taylor]: Taking taylor expansion of y in y
11.808 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
11.808 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
11.808 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.808 * [taylor]: Taking taylor expansion of y in y
11.813 * [taylor]: Taking taylor expansion of 0 in y
11.822 * [taylor]: Taking taylor expansion of 0 in y
11.838 * [taylor]: Taking taylor expansion of 0 in y
11.839 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in (x y) around 0
11.839 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y
11.839 * [taylor]: Taking taylor expansion of -1 in y
11.839 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y
11.839 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
11.839 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
11.839 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
11.839 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
11.839 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.839 * [taylor]: Taking taylor expansion of -1 in y
11.840 * [taylor]: Taking taylor expansion of y in y
11.840 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
11.840 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
11.840 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.840 * [taylor]: Taking taylor expansion of -1 in y
11.840 * [taylor]: Taking taylor expansion of y in y
11.841 * [taylor]: Taking taylor expansion of 2 in y
11.841 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y
11.841 * [taylor]: Taking taylor expansion of y in y
11.841 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
11.841 * [taylor]: Taking taylor expansion of (/ -1 x) in y
11.841 * [taylor]: Taking taylor expansion of -1 in y
11.841 * [taylor]: Taking taylor expansion of x in y
11.841 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x
11.841 * [taylor]: Taking taylor expansion of -1 in x
11.841 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x
11.841 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
11.841 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
11.841 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
11.841 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
11.841 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.841 * [taylor]: Taking taylor expansion of -1 in x
11.841 * [taylor]: Taking taylor expansion of y in x
11.841 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
11.842 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
11.842 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.842 * [taylor]: Taking taylor expansion of -1 in x
11.842 * [taylor]: Taking taylor expansion of y in x
11.842 * [taylor]: Taking taylor expansion of 2 in x
11.842 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x
11.842 * [taylor]: Taking taylor expansion of y in x
11.842 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
11.842 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.842 * [taylor]: Taking taylor expansion of -1 in x
11.842 * [taylor]: Taking taylor expansion of x in x
11.842 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x
11.842 * [taylor]: Taking taylor expansion of -1 in x
11.842 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x
11.842 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
11.843 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
11.843 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
11.843 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
11.843 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.843 * [taylor]: Taking taylor expansion of -1 in x
11.843 * [taylor]: Taking taylor expansion of y in x
11.843 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
11.843 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
11.843 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.843 * [taylor]: Taking taylor expansion of -1 in x
11.843 * [taylor]: Taking taylor expansion of y in x
11.843 * [taylor]: Taking taylor expansion of 2 in x
11.843 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x
11.843 * [taylor]: Taking taylor expansion of y in x
11.843 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
11.843 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.843 * [taylor]: Taking taylor expansion of -1 in x
11.843 * [taylor]: Taking taylor expansion of x in x
11.844 * [taylor]: Taking taylor expansion of (* -1/2 (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))))) in y
11.844 * [taylor]: Taking taylor expansion of -1/2 in y
11.844 * [taylor]: Taking taylor expansion of (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x)))) in y
11.844 * [taylor]: Taking taylor expansion of y in y
11.844 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))) in y
11.844 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
11.844 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
11.844 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.844 * [taylor]: Taking taylor expansion of -1 in y
11.844 * [taylor]: Taking taylor expansion of y in y
11.845 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
11.845 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.845 * [taylor]: Taking taylor expansion of y in y
11.845 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
11.845 * [taylor]: Taking taylor expansion of (/ -1 x) in y
11.845 * [taylor]: Taking taylor expansion of -1 in y
11.845 * [taylor]: Taking taylor expansion of x in y
11.850 * [taylor]: Taking taylor expansion of 0 in y
11.859 * [taylor]: Taking taylor expansion of 0 in y
11.872 * [taylor]: Taking taylor expansion of 0 in y
11.872 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
11.872 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0
11.872 * [taylor]: Taking taylor expansion of (sinh y) in y
11.872 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
11.872 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
11.872 * [taylor]: Taking taylor expansion of (exp y) in y
11.872 * [taylor]: Taking taylor expansion of y in y
11.872 * [taylor]: Taking taylor expansion of (exp (- y)) in y
11.872 * [taylor]: Taking taylor expansion of (- y) in y
11.872 * [taylor]: Taking taylor expansion of y in y
11.873 * [taylor]: Taking taylor expansion of 2 in y
11.876 * [taylor]: Taking taylor expansion of (sinh y) in y
11.876 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
11.876 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
11.876 * [taylor]: Taking taylor expansion of (exp y) in y
11.876 * [taylor]: Taking taylor expansion of y in y
11.876 * [taylor]: Taking taylor expansion of (exp (- y)) in y
11.876 * [taylor]: Taking taylor expansion of (- y) in y
11.876 * [taylor]: Taking taylor expansion of y in y
11.877 * [taylor]: Taking taylor expansion of 2 in y
11.908 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0
11.908 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
11.908 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
11.908 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
11.908 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
11.908 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.908 * [taylor]: Taking taylor expansion of y in y
11.908 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
11.909 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
11.909 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.909 * [taylor]: Taking taylor expansion of y in y
11.909 * [taylor]: Taking taylor expansion of 2 in y
11.909 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
11.910 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
11.910 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
11.910 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
11.910 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.910 * [taylor]: Taking taylor expansion of y in y
11.910 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
11.910 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
11.910 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.910 * [taylor]: Taking taylor expansion of y in y
11.911 * [taylor]: Taking taylor expansion of 2 in y
11.923 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0
11.924 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
11.924 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
11.924 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
11.924 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
11.924 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.924 * [taylor]: Taking taylor expansion of -1 in y
11.924 * [taylor]: Taking taylor expansion of y in y
11.924 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
11.924 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
11.924 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.924 * [taylor]: Taking taylor expansion of -1 in y
11.924 * [taylor]: Taking taylor expansion of y in y
11.925 * [taylor]: Taking taylor expansion of 2 in y
11.925 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
11.925 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
11.925 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
11.925 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
11.925 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.925 * [taylor]: Taking taylor expansion of -1 in y
11.925 * [taylor]: Taking taylor expansion of y in y
11.926 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
11.926 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
11.926 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.926 * [taylor]: Taking taylor expansion of -1 in y
11.926 * [taylor]: Taking taylor expansion of y in y
11.927 * [taylor]: Taking taylor expansion of 2 in y
11.944 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
11.944 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0
11.944 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
11.944 * [taylor]: Taking taylor expansion of (sinh y) in y
11.944 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
11.944 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
11.944 * [taylor]: Taking taylor expansion of (exp y) in y
11.944 * [taylor]: Taking taylor expansion of y in y
11.944 * [taylor]: Taking taylor expansion of (exp (- y)) in y
11.944 * [taylor]: Taking taylor expansion of (- y) in y
11.944 * [taylor]: Taking taylor expansion of y in y
11.945 * [taylor]: Taking taylor expansion of 2 in y
11.948 * [taylor]: Taking taylor expansion of y in y
11.948 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
11.948 * [taylor]: Taking taylor expansion of (sinh y) in y
11.948 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
11.948 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
11.948 * [taylor]: Taking taylor expansion of (exp y) in y
11.948 * [taylor]: Taking taylor expansion of y in y
11.948 * [taylor]: Taking taylor expansion of (exp (- y)) in y
11.948 * [taylor]: Taking taylor expansion of (- y) in y
11.948 * [taylor]: Taking taylor expansion of y in y
11.949 * [taylor]: Taking taylor expansion of 2 in y
11.952 * [taylor]: Taking taylor expansion of y in y
11.983 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0
11.983 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
11.983 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
11.983 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
11.983 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
11.983 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
11.983 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.983 * [taylor]: Taking taylor expansion of y in y
11.984 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
11.984 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
11.984 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.984 * [taylor]: Taking taylor expansion of y in y
11.984 * [taylor]: Taking taylor expansion of 2 in y
11.985 * [taylor]: Taking taylor expansion of y in y
11.985 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
11.985 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
11.985 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
11.985 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
11.985 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
11.985 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.985 * [taylor]: Taking taylor expansion of y in y
11.985 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
11.985 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
11.985 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.986 * [taylor]: Taking taylor expansion of y in y
11.986 * [taylor]: Taking taylor expansion of 2 in y
11.986 * [taylor]: Taking taylor expansion of y in y
12.007 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in (y) around 0
12.007 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
12.007 * [taylor]: Taking taylor expansion of -1 in y
12.007 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
12.007 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
12.007 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
12.007 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
12.007 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
12.007 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.007 * [taylor]: Taking taylor expansion of -1 in y
12.007 * [taylor]: Taking taylor expansion of y in y
12.008 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
12.008 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
12.008 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.008 * [taylor]: Taking taylor expansion of -1 in y
12.008 * [taylor]: Taking taylor expansion of y in y
12.009 * [taylor]: Taking taylor expansion of 2 in y
12.009 * [taylor]: Taking taylor expansion of y in y
12.009 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
12.009 * [taylor]: Taking taylor expansion of -1 in y
12.009 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
12.009 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
12.009 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
12.009 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
12.009 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
12.009 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.009 * [taylor]: Taking taylor expansion of -1 in y
12.009 * [taylor]: Taking taylor expansion of y in y
12.009 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
12.010 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
12.010 * [taylor]: Taking taylor expansion of (/ -1 y) in y
12.010 * [taylor]: Taking taylor expansion of -1 in y
12.010 * [taylor]: Taking taylor expansion of y in y
12.010 * [taylor]: Taking taylor expansion of 2 in y
12.011 * [taylor]: Taking taylor expansion of y in y
12.044 * * * [progress]: simplifying candidates
12.046 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (cos x) (/ (sinh y) y)))
  (log1p (* (cos x) (/ (sinh y) y)))
  (* (cos x) (/ (sinh y) y))
  (+ (log (cos x)) (- (log (sinh y)) (log y)))
  (+ (log (cos x)) (log (/ (sinh y) y)))
  (log (* (cos x) (/ (sinh y) y)))
  (exp (* (cos x) (/ (sinh y) y)))
  (* (* (* (cos x) (cos x)) (cos x)) (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* y y) y)))
  (* (* (* (cos x) (cos x)) (cos x)) (* (* (/ (sinh y) y) (/ (sinh y) y)) (/ (sinh y) y)))
  (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y))))
  (cbrt (* (cos x) (/ (sinh y) y)))
  (* (* (* (cos x) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y))) (* (cos x) (/ (sinh y) y)))
  (sqrt (* (cos x) (/ (sinh y) y)))
  (sqrt (* (cos x) (/ (sinh y) y)))
  (* (sqrt (cos x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (cos x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (cos x) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))))
  (* (cos x) (sqrt (/ (sinh y) y)))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1))
  (* (cos x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))
  (* (cos x) (/ (sqrt (sinh y)) (sqrt y)))
  (* (cos x) (/ (sqrt (sinh y)) 1))
  (* (cos x) (/ 1 (* (cbrt y) (cbrt y))))
  (* (cos x) (/ 1 (sqrt y)))
  (* (cos x) (/ 1 1))
  (* (cos x) 1)
  (* (cos x) (sinh y))
  (* (cbrt (cos x)) (/ (sinh y) y))
  (* (sqrt (cos x)) (/ (sinh y) y))
  (* (cos x) (/ (sinh y) y))
  (* (cos x) (sinh y))
  (expm1 (sinh y))
  (log1p (sinh y))
  (- (exp y) (exp (- y)))
  (log (sinh y))
  (exp (sinh y))
  (* (cbrt (sinh y)) (cbrt (sinh y)))
  (cbrt (sinh y))
  (* (* (sinh y) (sinh y)) (sinh y))
  (sqrt (sinh y))
  (sqrt (sinh y))
  (expm1 (/ (sinh y) y))
  (log1p (/ (sinh y) y))
  (- (log (sinh y)) (log y))
  (log (/ (sinh y) y))
  (exp (/ (sinh y) y))
  (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* y y) y))
  (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))
  (cbrt (/ (sinh y) y))
  (* (* (/ (sinh y) y) (/ (sinh y) y)) (/ (sinh y) y))
  (sqrt (/ (sinh y) y))
  (sqrt (/ (sinh y) y))
  (- (sinh y))
  (- y)
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (sinh y)) (cbrt y))
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))
  (/ (cbrt (sinh y)) (sqrt y))
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)
  (/ (cbrt (sinh y)) y)
  (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (sinh y)) (cbrt y))
  (/ (sqrt (sinh y)) (sqrt y))
  (/ (sqrt (sinh y)) (sqrt y))
  (/ (sqrt (sinh y)) 1)
  (/ (sqrt (sinh y)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (sinh y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (sinh y) (sqrt y))
  (/ 1 1)
  (/ (sinh y) y)
  (/ 1 y)
  (/ y (sinh y))
  (/ (sinh y) (* (cbrt y) (cbrt y)))
  (/ (sinh y) (sqrt y))
  (/ (sinh y) 1)
  (/ y (cbrt (sinh y)))
  (/ y (sqrt (sinh y)))
  (/ y (sinh y))
  (* y 2)
  (- (+ (* 1/6 (pow y 2)) 1) (* 1/2 (pow x 2)))
  (/ (- (* 1/2 (* (exp y) (cos x))) (* 1/2 (* (exp (- y)) (cos x)))) y)
  (* -1 (/ (- (* 1/2 (* (exp (* -1 y)) (cos x))) (* 1/2 (* (exp y) (cos x)))) y))
  (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))
  (* 1/2 (- (exp y) (exp (- y))))
  (* 1/2 (- (exp y) (exp (* -1 y))))
  (+ (* 1/6 (pow y 2)) (+ (* 1/120 (pow y 4)) 1))
  (/ (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) y)
  (* -1 (/ (- (* 1/2 (exp (* -1 y))) (* 1/2 (exp y))) y))
12.049 * * [simplify]: iteration  0 :  144  enodes  (cost  762 )
12.090 * * [simplify]: iteration  1 :  339  enodes  (cost  714 )
12.237 * * [simplify]: iteration  2 :  1063  enodes  (cost  652 )
13.901 * * [simplify]: iteration  3 :  4333  enodes  (cost  647 )
14.963 * * [simplify]: iteration  done :  5001  enodes  (cost  647 )
14.964 * [simplify]: Simplified to:
   (expm1 (* (cos x) (/ (sinh y) y)))
  (log1p (* (cos x) (/ (sinh y) y)))
  (* (cos x) (/ (sinh y) y))
  (log (* (cos x) (/ (sinh y) y)))
  (log (* (cos x) (/ (sinh y) y)))
  (log (* (cos x) (/ (sinh y) y)))
  (exp (* (cos x) (/ (sinh y) y)))
  (pow (* (cos x) (/ (sinh y) y)) 3)
  (pow (* (cos x) (/ (sinh y) y)) 3)
  (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y))))
  (cbrt (* (cos x) (/ (sinh y) y)))
  (pow (* (cos x) (/ (sinh y) y)) 3)
  (sqrt (* (cos x) (/ (sinh y) y)))
  (sqrt (* (cos x) (/ (sinh y) y)))
  (* (sqrt (cos x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (cos x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (cos x) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))))
  (* (cos x) (sqrt (/ (sinh y) y)))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)))
  (* (* (cbrt (sinh y)) (cbrt (sinh y))) (cos x))
  (* (cos x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))
  (* (cos x) (/ (sqrt (sinh y)) (sqrt y)))
  (* (sqrt (sinh y)) (cos x))
  (/ (cos x) (* (cbrt y) (cbrt y)))
  (/ (cos x) (sqrt y))
  (cos x)
  (cos x)
  (* (cos x) (sinh y))
  (* (cbrt (cos x)) (/ (sinh y) y))
  (* (sqrt (cos x)) (/ (sinh y) y))
  (* (cos x) (/ (sinh y) y))
  (* (cos x) (sinh y))
  (expm1 (sinh y))
  (log1p (sinh y))
  (- (exp y) (exp (- y)))
  (log (sinh y))
  (exp (sinh y))
  (* (cbrt (sinh y)) (cbrt (sinh y)))
  (cbrt (sinh y))
  (pow (sinh y) 3)
  (sqrt (sinh y))
  (sqrt (sinh y))
  (expm1 (/ (sinh y) y))
  (log1p (/ (sinh y) y))
  (log (/ (sinh y) y))
  (log (/ (sinh y) y))
  (exp (/ (sinh y) y))
  (pow (/ (sinh y) y) 3)
  (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))
  (cbrt (/ (sinh y) y))
  (pow (/ (sinh y) y) 3)
  (sqrt (/ (sinh y) y))
  (sqrt (/ (sinh y) y))
  (- (sinh y))
  (- y)
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (sinh y)) (cbrt y))
  (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))
  (/ (cbrt (sinh y)) (sqrt y))
  (* (cbrt (sinh y)) (cbrt (sinh y)))
  (/ (cbrt (sinh y)) y)
  (/ (/ (sqrt (sinh y)) (cbrt y)) (cbrt y))
  (/ (sqrt (sinh y)) (cbrt y))
  (/ (sqrt (sinh y)) (sqrt y))
  (/ (sqrt (sinh y)) (sqrt y))
  (sqrt (sinh y))
  (/ (sqrt (sinh y)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (sinh y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (sinh y) (sqrt y))
  1
  (/ (sinh y) y)
  (/ 1 y)
  (/ y (sinh y))
  (/ (sinh y) (* (cbrt y) (cbrt y)))
  (/ (sinh y) (sqrt y))
  (sinh y)
  (/ y (cbrt (sinh y)))
  (/ y (sqrt (sinh y)))
  (/ y (sinh y))
  (* y 2)
  (fma -1/2 (pow x 2) (fma 1/6 (pow y 2) 1))
  (/ (* (* (cos x) (- (exp (- y)) (exp y))) -1/2) y)
  (/ (* (* (cos x) (- (exp (- y)) (exp y))) -1/2) y)
  (fma 1/6 (pow y 3) (fma 1/120 (pow y 5) y))
  (* -1/2 (- (exp (- y)) (exp y)))
  (* -1/2 (- (exp (- y)) (exp y)))
  (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))
  (/ (* -1/2 (- (exp (- y)) (exp y))) y)
  (/ (* -1/2 (- (exp (- y)) (exp y))) y)
14.964 * * * [progress]: adding candidates to table
15.168 * * [progress]: iteration 2 / 4
15.168 * * * [progress]: picking best candidate
15.175 * * * * [pick]: Picked  #<alt (λ (x y) (expm1 (log1p (* (cos x) (/ (sinh y) y)))))>
15.175 * * * [progress]: localizing error
15.187 * * * [progress]: generating rewritten candidates
15.187 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
15.188 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
15.188 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
15.196 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
15.198 * * * [progress]: generating series expansions
15.199 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
15.199 * [approximate]: Taking taylor expansion of (log1p (/ (* (sinh y) (cos x)) y)) in (x y) around 0
15.199 * [taylor]: Taking taylor expansion of (log1p (/ (* (sinh y) (cos x)) y)) in y
15.199 * [taylor]: Rewrote expression to (log (+ 1 (/ (* (sinh y) (cos x)) y)))
15.199 * [taylor]: Taking taylor expansion of (+ 1 (/ (* (sinh y) (cos x)) y)) in y
15.199 * [taylor]: Taking taylor expansion of 1 in y
15.199 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y
15.199 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y
15.199 * [taylor]: Taking taylor expansion of (sinh y) in y
15.199 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
15.199 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
15.199 * [taylor]: Taking taylor expansion of (exp y) in y
15.199 * [taylor]: Taking taylor expansion of y in y
15.199 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.199 * [taylor]: Taking taylor expansion of (- y) in y
15.199 * [taylor]: Taking taylor expansion of y in y
15.200 * [taylor]: Taking taylor expansion of 2 in y
15.203 * [taylor]: Taking taylor expansion of (cos x) in y
15.203 * [taylor]: Taking taylor expansion of x in y
15.203 * [taylor]: Taking taylor expansion of y in y
15.204 * [taylor]: Taking taylor expansion of (log1p (/ (* (sinh y) (cos x)) y)) in x
15.204 * [taylor]: Rewrote expression to (log (+ 1 (/ (* (sinh y) (cos x)) y)))
15.204 * [taylor]: Taking taylor expansion of (+ 1 (/ (* (sinh y) (cos x)) y)) in x
15.204 * [taylor]: Taking taylor expansion of 1 in x
15.204 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x
15.204 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
15.204 * [taylor]: Taking taylor expansion of (sinh y) in x
15.204 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
15.204 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
15.204 * [taylor]: Taking taylor expansion of (exp y) in x
15.204 * [taylor]: Taking taylor expansion of y in x
15.204 * [taylor]: Taking taylor expansion of (exp (- y)) in x
15.204 * [taylor]: Taking taylor expansion of (- y) in x
15.204 * [taylor]: Taking taylor expansion of y in x
15.204 * [taylor]: Taking taylor expansion of 2 in x
15.204 * [taylor]: Taking taylor expansion of (cos x) in x
15.205 * [taylor]: Taking taylor expansion of x in x
15.205 * [taylor]: Taking taylor expansion of y in x
15.205 * [taylor]: Taking taylor expansion of (log1p (/ (* (sinh y) (cos x)) y)) in x
15.205 * [taylor]: Rewrote expression to (log (+ 1 (/ (* (sinh y) (cos x)) y)))
15.205 * [taylor]: Taking taylor expansion of (+ 1 (/ (* (sinh y) (cos x)) y)) in x
15.205 * [taylor]: Taking taylor expansion of 1 in x
15.205 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x
15.205 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
15.205 * [taylor]: Taking taylor expansion of (sinh y) in x
15.205 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
15.205 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
15.205 * [taylor]: Taking taylor expansion of (exp y) in x
15.205 * [taylor]: Taking taylor expansion of y in x
15.205 * [taylor]: Taking taylor expansion of (exp (- y)) in x
15.205 * [taylor]: Taking taylor expansion of (- y) in x
15.205 * [taylor]: Taking taylor expansion of y in x
15.205 * [taylor]: Taking taylor expansion of 2 in x
15.206 * [taylor]: Taking taylor expansion of (cos x) in x
15.206 * [taylor]: Taking taylor expansion of x in x
15.206 * [taylor]: Taking taylor expansion of y in x
15.206 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y)))) in y
15.206 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) in y
15.206 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (exp y) y)) 1) in y
15.206 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) y)) in y
15.206 * [taylor]: Taking taylor expansion of 1/2 in y
15.206 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
15.206 * [taylor]: Taking taylor expansion of (exp y) in y
15.206 * [taylor]: Taking taylor expansion of y in y
15.206 * [taylor]: Taking taylor expansion of y in y
15.207 * [taylor]: Taking taylor expansion of 1 in y
15.207 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) y)) in y
15.207 * [taylor]: Taking taylor expansion of 1/2 in y
15.207 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
15.207 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.207 * [taylor]: Taking taylor expansion of (- y) in y
15.207 * [taylor]: Taking taylor expansion of y in y
15.207 * [taylor]: Taking taylor expansion of y in y
15.218 * [taylor]: Taking taylor expansion of 0 in y
15.232 * [taylor]: Taking taylor expansion of (* 1/2 (- (* 1/2 (/ (exp (- y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y))) (* 1/2 (/ (exp y) (* y (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y)))))))) in y
15.232 * [taylor]: Taking taylor expansion of 1/2 in y
15.232 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (exp (- y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y))) (* 1/2 (/ (exp y) (* y (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))))))) in y
15.232 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y))) in y
15.232 * [taylor]: Taking taylor expansion of 1/2 in y
15.232 * [taylor]: Taking taylor expansion of (/ (exp (- y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y)) in y
15.232 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.232 * [taylor]: Taking taylor expansion of (- y) in y
15.232 * [taylor]: Taking taylor expansion of y in y
15.233 * [taylor]: Taking taylor expansion of (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y) in y
15.233 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) in y
15.233 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (exp y) y)) 1) in y
15.233 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) y)) in y
15.233 * [taylor]: Taking taylor expansion of 1/2 in y
15.233 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
15.233 * [taylor]: Taking taylor expansion of (exp y) in y
15.233 * [taylor]: Taking taylor expansion of y in y
15.233 * [taylor]: Taking taylor expansion of y in y
15.233 * [taylor]: Taking taylor expansion of 1 in y
15.233 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) y)) in y
15.233 * [taylor]: Taking taylor expansion of 1/2 in y
15.233 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
15.233 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.233 * [taylor]: Taking taylor expansion of (- y) in y
15.233 * [taylor]: Taking taylor expansion of y in y
15.234 * [taylor]: Taking taylor expansion of y in y
15.234 * [taylor]: Taking taylor expansion of y in y
15.248 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) (* y (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y)))))) in y
15.248 * [taylor]: Taking taylor expansion of 1/2 in y
15.248 * [taylor]: Taking taylor expansion of (/ (exp y) (* y (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))))) in y
15.248 * [taylor]: Taking taylor expansion of (exp y) in y
15.248 * [taylor]: Taking taylor expansion of y in y
15.248 * [taylor]: Taking taylor expansion of (* y (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y)))) in y
15.248 * [taylor]: Taking taylor expansion of y in y
15.248 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) in y
15.248 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (exp y) y)) 1) in y
15.248 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) y)) in y
15.248 * [taylor]: Taking taylor expansion of 1/2 in y
15.248 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
15.248 * [taylor]: Taking taylor expansion of (exp y) in y
15.248 * [taylor]: Taking taylor expansion of y in y
15.248 * [taylor]: Taking taylor expansion of y in y
15.249 * [taylor]: Taking taylor expansion of 1 in y
15.249 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) y)) in y
15.249 * [taylor]: Taking taylor expansion of 1/2 in y
15.249 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
15.249 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.249 * [taylor]: Taking taylor expansion of (- y) in y
15.249 * [taylor]: Taking taylor expansion of y in y
15.249 * [taylor]: Taking taylor expansion of y in y
15.300 * [approximate]: Taking taylor expansion of (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in (x y) around 0
15.300 * [taylor]: Taking taylor expansion of (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in y
15.300 * [taylor]: Rewrote expression to (log (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))))
15.300 * [taylor]: Taking taylor expansion of (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in y
15.300 * [taylor]: Taking taylor expansion of 1 in y
15.300 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y
15.300 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
15.300 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
15.300 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
15.300 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
15.300 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.300 * [taylor]: Taking taylor expansion of y in y
15.301 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
15.301 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
15.301 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.301 * [taylor]: Taking taylor expansion of y in y
15.301 * [taylor]: Taking taylor expansion of 2 in y
15.302 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y
15.302 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
15.302 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.302 * [taylor]: Taking taylor expansion of x in y
15.302 * [taylor]: Taking taylor expansion of y in y
15.303 * [taylor]: Taking taylor expansion of (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x
15.303 * [taylor]: Rewrote expression to (log (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))))
15.303 * [taylor]: Taking taylor expansion of (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x
15.303 * [taylor]: Taking taylor expansion of 1 in x
15.303 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x
15.303 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
15.303 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
15.303 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
15.303 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
15.303 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.303 * [taylor]: Taking taylor expansion of y in x
15.304 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
15.304 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
15.304 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.304 * [taylor]: Taking taylor expansion of y in x
15.304 * [taylor]: Taking taylor expansion of 2 in x
15.304 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x
15.304 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
15.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.304 * [taylor]: Taking taylor expansion of x in x
15.304 * [taylor]: Taking taylor expansion of y in x
15.305 * [taylor]: Taking taylor expansion of (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x
15.305 * [taylor]: Rewrote expression to (log (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))))
15.305 * [taylor]: Taking taylor expansion of (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x
15.305 * [taylor]: Taking taylor expansion of 1 in x
15.305 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x
15.305 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
15.305 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
15.305 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
15.305 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
15.305 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.305 * [taylor]: Taking taylor expansion of y in x
15.306 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
15.306 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
15.306 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.306 * [taylor]: Taking taylor expansion of y in x
15.306 * [taylor]: Taking taylor expansion of 2 in x
15.306 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x
15.306 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
15.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.306 * [taylor]: Taking taylor expansion of x in x
15.306 * [taylor]: Taking taylor expansion of y in x
15.307 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/2 (* (exp (/ 1 y)) (* (cos (/ 1 x)) y))) 1) (* 1/2 (* (exp (- (/ 1 y))) (* (cos (/ 1 x)) y))))) in y
15.307 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (* (exp (/ 1 y)) (* (cos (/ 1 x)) y))) 1) (* 1/2 (* (exp (- (/ 1 y))) (* (cos (/ 1 x)) y)))) in y
15.307 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (exp (/ 1 y)) (* (cos (/ 1 x)) y))) 1) in y
15.307 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (* (cos (/ 1 x)) y))) in y
15.307 * [taylor]: Taking taylor expansion of 1/2 in y
15.307 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (* (cos (/ 1 x)) y)) in y
15.307 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
15.307 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.307 * [taylor]: Taking taylor expansion of y in y
15.308 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y
15.308 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
15.308 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.308 * [taylor]: Taking taylor expansion of x in y
15.308 * [taylor]: Taking taylor expansion of y in y
15.308 * [taylor]: Taking taylor expansion of 1 in y
15.308 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (- (/ 1 y))) (* (cos (/ 1 x)) y))) in y
15.308 * [taylor]: Taking taylor expansion of 1/2 in y
15.308 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 y))) (* (cos (/ 1 x)) y)) in y
15.308 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
15.308 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
15.308 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.308 * [taylor]: Taking taylor expansion of y in y
15.309 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y
15.309 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
15.309 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.309 * [taylor]: Taking taylor expansion of x in y
15.309 * [taylor]: Taking taylor expansion of y in y
15.316 * [taylor]: Taking taylor expansion of 0 in y
15.331 * [taylor]: Taking taylor expansion of 0 in y
15.356 * [taylor]: Taking taylor expansion of 0 in y
15.376 * [approximate]: Taking taylor expansion of (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in (x y) around 0
15.376 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in y
15.376 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))))
15.376 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in y
15.376 * [taylor]: Taking taylor expansion of 1 in y
15.376 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y
15.376 * [taylor]: Taking taylor expansion of -1 in y
15.376 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y
15.376 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
15.376 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
15.376 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
15.376 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
15.376 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.376 * [taylor]: Taking taylor expansion of -1 in y
15.376 * [taylor]: Taking taylor expansion of y in y
15.377 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
15.377 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
15.377 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.377 * [taylor]: Taking taylor expansion of -1 in y
15.377 * [taylor]: Taking taylor expansion of y in y
15.377 * [taylor]: Taking taylor expansion of 2 in y
15.378 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y
15.378 * [taylor]: Taking taylor expansion of y in y
15.378 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
15.378 * [taylor]: Taking taylor expansion of (/ -1 x) in y
15.378 * [taylor]: Taking taylor expansion of -1 in y
15.378 * [taylor]: Taking taylor expansion of x in y
15.379 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x
15.379 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))))
15.380 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x
15.380 * [taylor]: Taking taylor expansion of 1 in x
15.380 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x
15.380 * [taylor]: Taking taylor expansion of -1 in x
15.380 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x
15.380 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
15.380 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
15.380 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
15.380 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
15.380 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.380 * [taylor]: Taking taylor expansion of -1 in x
15.380 * [taylor]: Taking taylor expansion of y in x
15.380 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
15.380 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
15.380 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.380 * [taylor]: Taking taylor expansion of -1 in x
15.380 * [taylor]: Taking taylor expansion of y in x
15.380 * [taylor]: Taking taylor expansion of 2 in x
15.380 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x
15.380 * [taylor]: Taking taylor expansion of y in x
15.380 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
15.380 * [taylor]: Taking taylor expansion of (/ -1 x) in x
15.380 * [taylor]: Taking taylor expansion of -1 in x
15.380 * [taylor]: Taking taylor expansion of x in x
15.382 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x
15.382 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))))
15.382 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x
15.382 * [taylor]: Taking taylor expansion of 1 in x
15.382 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x
15.382 * [taylor]: Taking taylor expansion of -1 in x
15.382 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x
15.382 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
15.382 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
15.382 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
15.382 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
15.382 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.382 * [taylor]: Taking taylor expansion of -1 in x
15.382 * [taylor]: Taking taylor expansion of y in x
15.382 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
15.382 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
15.382 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.382 * [taylor]: Taking taylor expansion of -1 in x
15.382 * [taylor]: Taking taylor expansion of y in x
15.382 * [taylor]: Taking taylor expansion of 2 in x
15.382 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x
15.383 * [taylor]: Taking taylor expansion of y in x
15.383 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
15.383 * [taylor]: Taking taylor expansion of (/ -1 x) in x
15.383 * [taylor]: Taking taylor expansion of -1 in x
15.383 * [taylor]: Taking taylor expansion of x in x
15.384 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/2 (* (exp (/ 1 y)) (* (cos (/ -1 x)) y))) 1) (* 1/2 (* (exp (/ -1 y)) (* y (cos (/ -1 x))))))) in y
15.384 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (* (exp (/ 1 y)) (* (cos (/ -1 x)) y))) 1) (* 1/2 (* (exp (/ -1 y)) (* y (cos (/ -1 x)))))) in y
15.384 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (exp (/ 1 y)) (* (cos (/ -1 x)) y))) 1) in y
15.384 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (* (cos (/ -1 x)) y))) in y
15.384 * [taylor]: Taking taylor expansion of 1/2 in y
15.384 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (* (cos (/ -1 x)) y)) in y
15.384 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
15.384 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.384 * [taylor]: Taking taylor expansion of y in y
15.385 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) y) in y
15.385 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
15.385 * [taylor]: Taking taylor expansion of (/ -1 x) in y
15.385 * [taylor]: Taking taylor expansion of -1 in y
15.385 * [taylor]: Taking taylor expansion of x in y
15.385 * [taylor]: Taking taylor expansion of y in y
15.385 * [taylor]: Taking taylor expansion of 1 in y
15.385 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 y)) (* y (cos (/ -1 x))))) in y
15.385 * [taylor]: Taking taylor expansion of 1/2 in y
15.385 * [taylor]: Taking taylor expansion of (* (exp (/ -1 y)) (* y (cos (/ -1 x)))) in y
15.385 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
15.385 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.385 * [taylor]: Taking taylor expansion of -1 in y
15.385 * [taylor]: Taking taylor expansion of y in y
15.385 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y
15.385 * [taylor]: Taking taylor expansion of y in y
15.385 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
15.385 * [taylor]: Taking taylor expansion of (/ -1 x) in y
15.385 * [taylor]: Taking taylor expansion of -1 in y
15.385 * [taylor]: Taking taylor expansion of x in y
15.393 * [taylor]: Taking taylor expansion of 0 in y
15.408 * [taylor]: Taking taylor expansion of 0 in y
15.430 * [taylor]: Taking taylor expansion of 0 in y
15.454 * * * * [progress]: [ 2 / 4 ] generating series at (2)
15.454 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ (* (sinh y) (cos x)) y))) in (x y) around 0
15.454 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (* (sinh y) (cos x)) y))) in y
15.454 * [taylor]: Rewrote expression to (- (exp (log1p (/ (* (sinh y) (cos x)) y))) 1)
15.454 * [taylor]: Taking taylor expansion of (exp (log1p (/ (* (sinh y) (cos x)) y))) in y
15.454 * [taylor]: Taking taylor expansion of (log1p (/ (* (sinh y) (cos x)) y)) in y
15.454 * [taylor]: Rewrote expression to (log (+ 1 (/ (* (sinh y) (cos x)) y)))
15.454 * [taylor]: Taking taylor expansion of (+ 1 (/ (* (sinh y) (cos x)) y)) in y
15.454 * [taylor]: Taking taylor expansion of 1 in y
15.454 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y
15.454 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y
15.454 * [taylor]: Taking taylor expansion of (sinh y) in y
15.454 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
15.454 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
15.454 * [taylor]: Taking taylor expansion of (exp y) in y
15.454 * [taylor]: Taking taylor expansion of y in y
15.454 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.454 * [taylor]: Taking taylor expansion of (- y) in y
15.454 * [taylor]: Taking taylor expansion of y in y
15.455 * [taylor]: Taking taylor expansion of 2 in y
15.458 * [taylor]: Taking taylor expansion of (cos x) in y
15.458 * [taylor]: Taking taylor expansion of x in y
15.458 * [taylor]: Taking taylor expansion of y in y
15.459 * [taylor]: Taking taylor expansion of 1 in y
15.459 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (* (sinh y) (cos x)) y))) in x
15.459 * [taylor]: Rewrote expression to (- (exp (log1p (/ (* (sinh y) (cos x)) y))) 1)
15.459 * [taylor]: Taking taylor expansion of (exp (log1p (/ (* (sinh y) (cos x)) y))) in x
15.459 * [taylor]: Taking taylor expansion of (log1p (/ (* (sinh y) (cos x)) y)) in x
15.459 * [taylor]: Rewrote expression to (log (+ 1 (/ (* (sinh y) (cos x)) y)))
15.459 * [taylor]: Taking taylor expansion of (+ 1 (/ (* (sinh y) (cos x)) y)) in x
15.459 * [taylor]: Taking taylor expansion of 1 in x
15.459 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x
15.459 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
15.459 * [taylor]: Taking taylor expansion of (sinh y) in x
15.459 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
15.459 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
15.459 * [taylor]: Taking taylor expansion of (exp y) in x
15.459 * [taylor]: Taking taylor expansion of y in x
15.459 * [taylor]: Taking taylor expansion of (exp (- y)) in x
15.459 * [taylor]: Taking taylor expansion of (- y) in x
15.459 * [taylor]: Taking taylor expansion of y in x
15.460 * [taylor]: Taking taylor expansion of 2 in x
15.460 * [taylor]: Taking taylor expansion of (cos x) in x
15.460 * [taylor]: Taking taylor expansion of x in x
15.460 * [taylor]: Taking taylor expansion of y in x
15.460 * [taylor]: Taking taylor expansion of 1 in x
15.460 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (* (sinh y) (cos x)) y))) in x
15.460 * [taylor]: Rewrote expression to (- (exp (log1p (/ (* (sinh y) (cos x)) y))) 1)
15.460 * [taylor]: Taking taylor expansion of (exp (log1p (/ (* (sinh y) (cos x)) y))) in x
15.461 * [taylor]: Taking taylor expansion of (log1p (/ (* (sinh y) (cos x)) y)) in x
15.461 * [taylor]: Rewrote expression to (log (+ 1 (/ (* (sinh y) (cos x)) y)))
15.461 * [taylor]: Taking taylor expansion of (+ 1 (/ (* (sinh y) (cos x)) y)) in x
15.461 * [taylor]: Taking taylor expansion of 1 in x
15.461 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x
15.461 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
15.461 * [taylor]: Taking taylor expansion of (sinh y) in x
15.461 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
15.461 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
15.461 * [taylor]: Taking taylor expansion of (exp y) in x
15.461 * [taylor]: Taking taylor expansion of y in x
15.461 * [taylor]: Taking taylor expansion of (exp (- y)) in x
15.461 * [taylor]: Taking taylor expansion of (- y) in x
15.461 * [taylor]: Taking taylor expansion of y in x
15.461 * [taylor]: Taking taylor expansion of 2 in x
15.461 * [taylor]: Taking taylor expansion of (cos x) in x
15.461 * [taylor]: Taking taylor expansion of x in x
15.461 * [taylor]: Taking taylor expansion of y in x
15.462 * [taylor]: Taking taylor expansion of 1 in x
15.463 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (exp y) y)) (* 1/2 (/ (exp (- y)) y))) in y
15.463 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) y)) in y
15.463 * [taylor]: Taking taylor expansion of 1/2 in y
15.463 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
15.463 * [taylor]: Taking taylor expansion of (exp y) in y
15.463 * [taylor]: Taking taylor expansion of y in y
15.463 * [taylor]: Taking taylor expansion of y in y
15.463 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) y)) in y
15.463 * [taylor]: Taking taylor expansion of 1/2 in y
15.463 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
15.463 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.463 * [taylor]: Taking taylor expansion of (- y) in y
15.463 * [taylor]: Taking taylor expansion of y in y
15.464 * [taylor]: Taking taylor expansion of y in y
15.474 * [taylor]: Taking taylor expansion of 0 in y
15.489 * [taylor]: Taking taylor expansion of (- (+ (* 1/4 (/ (exp (- y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y))) (* 1/4 (/ (* (exp (- y)) (exp y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2))))) (+ (* 1/4 (/ (exp y) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y))) (+ (* 1/8 (/ (pow (exp (- y)) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)))) (* 1/8 (/ (pow (exp y) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2))))))) in y
15.489 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ (exp (- y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y))) (* 1/4 (/ (* (exp (- y)) (exp y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2))))) in y
15.490 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (- y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y))) in y
15.490 * [taylor]: Taking taylor expansion of 1/4 in y
15.490 * [taylor]: Taking taylor expansion of (/ (exp (- y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y)) in y
15.490 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.490 * [taylor]: Taking taylor expansion of (- y) in y
15.490 * [taylor]: Taking taylor expansion of y in y
15.490 * [taylor]: Taking taylor expansion of (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y) in y
15.490 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) in y
15.490 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (exp y) y)) 1) in y
15.490 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) y)) in y
15.490 * [taylor]: Taking taylor expansion of 1/2 in y
15.490 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
15.490 * [taylor]: Taking taylor expansion of (exp y) in y
15.490 * [taylor]: Taking taylor expansion of y in y
15.491 * [taylor]: Taking taylor expansion of y in y
15.491 * [taylor]: Taking taylor expansion of 1 in y
15.491 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) y)) in y
15.491 * [taylor]: Taking taylor expansion of 1/2 in y
15.491 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
15.491 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.491 * [taylor]: Taking taylor expansion of (- y) in y
15.491 * [taylor]: Taking taylor expansion of y in y
15.491 * [taylor]: Taking taylor expansion of y in y
15.492 * [taylor]: Taking taylor expansion of y in y
15.505 * [taylor]: Taking taylor expansion of (* 1/4 (/ (* (exp (- y)) (exp y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)))) in y
15.505 * [taylor]: Taking taylor expansion of 1/4 in y
15.505 * [taylor]: Taking taylor expansion of (/ (* (exp (- y)) (exp y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2))) in y
15.505 * [taylor]: Taking taylor expansion of (* (exp (- y)) (exp y)) in y
15.505 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.505 * [taylor]: Taking taylor expansion of (- y) in y
15.505 * [taylor]: Taking taylor expansion of y in y
15.506 * [taylor]: Taking taylor expansion of (exp y) in y
15.506 * [taylor]: Taking taylor expansion of y in y
15.506 * [taylor]: Taking taylor expansion of (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)) in y
15.506 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) in y
15.506 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (exp y) y)) 1) in y
15.506 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) y)) in y
15.506 * [taylor]: Taking taylor expansion of 1/2 in y
15.506 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
15.506 * [taylor]: Taking taylor expansion of (exp y) in y
15.506 * [taylor]: Taking taylor expansion of y in y
15.506 * [taylor]: Taking taylor expansion of y in y
15.506 * [taylor]: Taking taylor expansion of 1 in y
15.506 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) y)) in y
15.506 * [taylor]: Taking taylor expansion of 1/2 in y
15.506 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
15.506 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.506 * [taylor]: Taking taylor expansion of (- y) in y
15.506 * [taylor]: Taking taylor expansion of y in y
15.507 * [taylor]: Taking taylor expansion of y in y
15.507 * [taylor]: Taking taylor expansion of (pow y 2) in y
15.507 * [taylor]: Taking taylor expansion of y in y
15.515 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ (exp y) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y))) (+ (* 1/8 (/ (pow (exp (- y)) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)))) (* 1/8 (/ (pow (exp y) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)))))) in y
15.515 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y))) in y
15.515 * [taylor]: Taking taylor expansion of 1/4 in y
15.515 * [taylor]: Taking taylor expansion of (/ (exp y) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y)) in y
15.515 * [taylor]: Taking taylor expansion of (exp y) in y
15.515 * [taylor]: Taking taylor expansion of y in y
15.515 * [taylor]: Taking taylor expansion of (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y) in y
15.515 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) in y
15.515 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (exp y) y)) 1) in y
15.515 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) y)) in y
15.515 * [taylor]: Taking taylor expansion of 1/2 in y
15.515 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
15.515 * [taylor]: Taking taylor expansion of (exp y) in y
15.515 * [taylor]: Taking taylor expansion of y in y
15.515 * [taylor]: Taking taylor expansion of y in y
15.515 * [taylor]: Taking taylor expansion of 1 in y
15.515 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) y)) in y
15.515 * [taylor]: Taking taylor expansion of 1/2 in y
15.515 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
15.515 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.515 * [taylor]: Taking taylor expansion of (- y) in y
15.515 * [taylor]: Taking taylor expansion of y in y
15.516 * [taylor]: Taking taylor expansion of y in y
15.516 * [taylor]: Taking taylor expansion of y in y
15.529 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ (pow (exp (- y)) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)))) (* 1/8 (/ (pow (exp y) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2))))) in y
15.529 * [taylor]: Taking taylor expansion of (* 1/8 (/ (pow (exp (- y)) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)))) in y
15.529 * [taylor]: Taking taylor expansion of 1/8 in y
15.529 * [taylor]: Taking taylor expansion of (/ (pow (exp (- y)) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2))) in y
15.529 * [taylor]: Taking taylor expansion of (pow (exp (- y)) 2) in y
15.529 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.529 * [taylor]: Taking taylor expansion of (- y) in y
15.529 * [taylor]: Taking taylor expansion of y in y
15.530 * [taylor]: Taking taylor expansion of (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)) in y
15.530 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) in y
15.530 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (exp y) y)) 1) in y
15.530 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) y)) in y
15.530 * [taylor]: Taking taylor expansion of 1/2 in y
15.530 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
15.530 * [taylor]: Taking taylor expansion of (exp y) in y
15.530 * [taylor]: Taking taylor expansion of y in y
15.530 * [taylor]: Taking taylor expansion of y in y
15.530 * [taylor]: Taking taylor expansion of 1 in y
15.530 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) y)) in y
15.530 * [taylor]: Taking taylor expansion of 1/2 in y
15.530 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
15.530 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.530 * [taylor]: Taking taylor expansion of (- y) in y
15.530 * [taylor]: Taking taylor expansion of y in y
15.531 * [taylor]: Taking taylor expansion of y in y
15.531 * [taylor]: Taking taylor expansion of (pow y 2) in y
15.531 * [taylor]: Taking taylor expansion of y in y
15.539 * [taylor]: Taking taylor expansion of (* 1/8 (/ (pow (exp y) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)))) in y
15.539 * [taylor]: Taking taylor expansion of 1/8 in y
15.539 * [taylor]: Taking taylor expansion of (/ (pow (exp y) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2))) in y
15.539 * [taylor]: Taking taylor expansion of (pow (exp y) 2) in y
15.539 * [taylor]: Taking taylor expansion of (exp y) in y
15.539 * [taylor]: Taking taylor expansion of y in y
15.539 * [taylor]: Taking taylor expansion of (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)) in y
15.539 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) in y
15.539 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (exp y) y)) 1) in y
15.539 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) y)) in y
15.539 * [taylor]: Taking taylor expansion of 1/2 in y
15.539 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
15.539 * [taylor]: Taking taylor expansion of (exp y) in y
15.539 * [taylor]: Taking taylor expansion of y in y
15.539 * [taylor]: Taking taylor expansion of y in y
15.540 * [taylor]: Taking taylor expansion of 1 in y
15.540 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) y)) in y
15.540 * [taylor]: Taking taylor expansion of 1/2 in y
15.540 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
15.540 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.540 * [taylor]: Taking taylor expansion of (- y) in y
15.540 * [taylor]: Taking taylor expansion of y in y
15.540 * [taylor]: Taking taylor expansion of y in y
15.541 * [taylor]: Taking taylor expansion of (pow y 2) in y
15.541 * [taylor]: Taking taylor expansion of y in y
15.651 * [approximate]: Taking taylor expansion of (expm1 (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) in (x y) around 0
15.651 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) in y
15.651 * [taylor]: Rewrote expression to (- (exp (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) 1)
15.651 * [taylor]: Taking taylor expansion of (exp (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) in y
15.651 * [taylor]: Taking taylor expansion of (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in y
15.651 * [taylor]: Rewrote expression to (log (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))))
15.651 * [taylor]: Taking taylor expansion of (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in y
15.651 * [taylor]: Taking taylor expansion of 1 in y
15.651 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y
15.651 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
15.651 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
15.651 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
15.651 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
15.651 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.651 * [taylor]: Taking taylor expansion of y in y
15.652 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
15.652 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
15.652 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.652 * [taylor]: Taking taylor expansion of y in y
15.652 * [taylor]: Taking taylor expansion of 2 in y
15.653 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y
15.653 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
15.653 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.653 * [taylor]: Taking taylor expansion of x in y
15.653 * [taylor]: Taking taylor expansion of y in y
15.659 * [taylor]: Taking taylor expansion of 1 in y
15.659 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) in x
15.659 * [taylor]: Rewrote expression to (- (exp (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) 1)
15.659 * [taylor]: Taking taylor expansion of (exp (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) in x
15.659 * [taylor]: Taking taylor expansion of (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x
15.659 * [taylor]: Rewrote expression to (log (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))))
15.659 * [taylor]: Taking taylor expansion of (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x
15.659 * [taylor]: Taking taylor expansion of 1 in x
15.659 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x
15.659 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
15.659 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
15.659 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
15.659 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
15.659 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.659 * [taylor]: Taking taylor expansion of y in x
15.659 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
15.659 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
15.659 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.659 * [taylor]: Taking taylor expansion of y in x
15.659 * [taylor]: Taking taylor expansion of 2 in x
15.660 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x
15.660 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
15.660 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.660 * [taylor]: Taking taylor expansion of x in x
15.660 * [taylor]: Taking taylor expansion of y in x
15.661 * [taylor]: Taking taylor expansion of 1 in x
15.661 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) in x
15.661 * [taylor]: Rewrote expression to (- (exp (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) 1)
15.661 * [taylor]: Taking taylor expansion of (exp (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) in x
15.661 * [taylor]: Taking taylor expansion of (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x
15.661 * [taylor]: Rewrote expression to (log (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))))
15.661 * [taylor]: Taking taylor expansion of (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x
15.661 * [taylor]: Taking taylor expansion of 1 in x
15.661 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x
15.661 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
15.662 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
15.662 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
15.662 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
15.662 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.662 * [taylor]: Taking taylor expansion of y in x
15.662 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
15.662 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
15.662 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.662 * [taylor]: Taking taylor expansion of y in x
15.662 * [taylor]: Taking taylor expansion of 2 in x
15.662 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x
15.662 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
15.662 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.662 * [taylor]: Taking taylor expansion of x in x
15.663 * [taylor]: Taking taylor expansion of y in x
15.664 * [taylor]: Taking taylor expansion of 1 in x
15.664 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (exp (/ 1 y)) (* (cos (/ 1 x)) y))) (* 1/2 (* (exp (- (/ 1 y))) (* (cos (/ 1 x)) y)))) in y
15.665 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (* (cos (/ 1 x)) y))) in y
15.665 * [taylor]: Taking taylor expansion of 1/2 in y
15.665 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (* (cos (/ 1 x)) y)) in y
15.665 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
15.665 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.665 * [taylor]: Taking taylor expansion of y in y
15.665 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y
15.665 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
15.665 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.665 * [taylor]: Taking taylor expansion of x in y
15.665 * [taylor]: Taking taylor expansion of y in y
15.665 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (- (/ 1 y))) (* (cos (/ 1 x)) y))) in y
15.665 * [taylor]: Taking taylor expansion of 1/2 in y
15.665 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 y))) (* (cos (/ 1 x)) y)) in y
15.665 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
15.665 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
15.665 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.665 * [taylor]: Taking taylor expansion of y in y
15.666 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y
15.666 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
15.666 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.666 * [taylor]: Taking taylor expansion of x in y
15.666 * [taylor]: Taking taylor expansion of y in y
15.674 * [taylor]: Taking taylor expansion of 0 in y
15.690 * [taylor]: Taking taylor expansion of 0 in y
15.710 * [taylor]: Taking taylor expansion of 0 in y
15.711 * [approximate]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) in (x y) around 0
15.711 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) in y
15.711 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) 1)
15.711 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) in y
15.711 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in y
15.711 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))))
15.711 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in y
15.711 * [taylor]: Taking taylor expansion of 1 in y
15.711 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y
15.711 * [taylor]: Taking taylor expansion of -1 in y
15.711 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y
15.711 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
15.711 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
15.711 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
15.711 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
15.711 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.711 * [taylor]: Taking taylor expansion of -1 in y
15.711 * [taylor]: Taking taylor expansion of y in y
15.712 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
15.712 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
15.712 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.712 * [taylor]: Taking taylor expansion of -1 in y
15.712 * [taylor]: Taking taylor expansion of y in y
15.713 * [taylor]: Taking taylor expansion of 2 in y
15.713 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y
15.713 * [taylor]: Taking taylor expansion of y in y
15.713 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
15.713 * [taylor]: Taking taylor expansion of (/ -1 x) in y
15.713 * [taylor]: Taking taylor expansion of -1 in y
15.713 * [taylor]: Taking taylor expansion of x in y
15.720 * [taylor]: Taking taylor expansion of 1 in y
15.720 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) in x
15.720 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) 1)
15.720 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) in x
15.720 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x
15.720 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))))
15.720 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x
15.720 * [taylor]: Taking taylor expansion of 1 in x
15.720 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x
15.720 * [taylor]: Taking taylor expansion of -1 in x
15.720 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x
15.720 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
15.720 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
15.720 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
15.720 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
15.720 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.720 * [taylor]: Taking taylor expansion of -1 in x
15.720 * [taylor]: Taking taylor expansion of y in x
15.720 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
15.720 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
15.720 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.720 * [taylor]: Taking taylor expansion of -1 in x
15.720 * [taylor]: Taking taylor expansion of y in x
15.721 * [taylor]: Taking taylor expansion of 2 in x
15.721 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x
15.721 * [taylor]: Taking taylor expansion of y in x
15.721 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
15.721 * [taylor]: Taking taylor expansion of (/ -1 x) in x
15.721 * [taylor]: Taking taylor expansion of -1 in x
15.721 * [taylor]: Taking taylor expansion of x in x
15.722 * [taylor]: Taking taylor expansion of 1 in x
15.723 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) in x
15.723 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) 1)
15.723 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) in x
15.723 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x
15.723 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))))
15.723 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x
15.723 * [taylor]: Taking taylor expansion of 1 in x
15.723 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x
15.723 * [taylor]: Taking taylor expansion of -1 in x
15.723 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x
15.723 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
15.723 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
15.723 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
15.723 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
15.723 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.723 * [taylor]: Taking taylor expansion of -1 in x
15.723 * [taylor]: Taking taylor expansion of y in x
15.723 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
15.723 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
15.723 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.723 * [taylor]: Taking taylor expansion of -1 in x
15.723 * [taylor]: Taking taylor expansion of y in x
15.723 * [taylor]: Taking taylor expansion of 2 in x
15.724 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x
15.724 * [taylor]: Taking taylor expansion of y in x
15.724 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
15.724 * [taylor]: Taking taylor expansion of (/ -1 x) in x
15.724 * [taylor]: Taking taylor expansion of -1 in x
15.724 * [taylor]: Taking taylor expansion of x in x
15.729 * [taylor]: Taking taylor expansion of 1 in x
15.730 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (exp (/ 1 y)) (* y (cos (/ -1 x))))) (* 1/2 (* (exp (/ -1 y)) (* (cos (/ -1 x)) y)))) in y
15.730 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (* y (cos (/ -1 x))))) in y
15.730 * [taylor]: Taking taylor expansion of 1/2 in y
15.730 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (* y (cos (/ -1 x)))) in y
15.730 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
15.730 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.730 * [taylor]: Taking taylor expansion of y in y
15.731 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y
15.731 * [taylor]: Taking taylor expansion of y in y
15.731 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
15.731 * [taylor]: Taking taylor expansion of (/ -1 x) in y
15.731 * [taylor]: Taking taylor expansion of -1 in y
15.731 * [taylor]: Taking taylor expansion of x in y
15.731 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 y)) (* (cos (/ -1 x)) y))) in y
15.731 * [taylor]: Taking taylor expansion of 1/2 in y
15.731 * [taylor]: Taking taylor expansion of (* (exp (/ -1 y)) (* (cos (/ -1 x)) y)) in y
15.731 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
15.731 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.731 * [taylor]: Taking taylor expansion of -1 in y
15.731 * [taylor]: Taking taylor expansion of y in y
15.731 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) y) in y
15.731 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
15.731 * [taylor]: Taking taylor expansion of (/ -1 x) in y
15.731 * [taylor]: Taking taylor expansion of -1 in y
15.731 * [taylor]: Taking taylor expansion of x in y
15.731 * [taylor]: Taking taylor expansion of y in y
15.740 * [taylor]: Taking taylor expansion of 0 in y
15.755 * [taylor]: Taking taylor expansion of 0 in y
15.776 * [taylor]: Taking taylor expansion of 0 in y
15.776 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
15.776 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0
15.776 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y
15.776 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y
15.776 * [taylor]: Taking taylor expansion of (sinh y) in y
15.776 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
15.776 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
15.776 * [taylor]: Taking taylor expansion of (exp y) in y
15.776 * [taylor]: Taking taylor expansion of y in y
15.776 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.776 * [taylor]: Taking taylor expansion of (- y) in y
15.776 * [taylor]: Taking taylor expansion of y in y
15.777 * [taylor]: Taking taylor expansion of 2 in y
15.780 * [taylor]: Taking taylor expansion of (cos x) in y
15.780 * [taylor]: Taking taylor expansion of x in y
15.780 * [taylor]: Taking taylor expansion of y in y
15.780 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x
15.781 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
15.781 * [taylor]: Taking taylor expansion of (sinh y) in x
15.781 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
15.781 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
15.781 * [taylor]: Taking taylor expansion of (exp y) in x
15.781 * [taylor]: Taking taylor expansion of y in x
15.781 * [taylor]: Taking taylor expansion of (exp (- y)) in x
15.781 * [taylor]: Taking taylor expansion of (- y) in x
15.781 * [taylor]: Taking taylor expansion of y in x
15.781 * [taylor]: Taking taylor expansion of 2 in x
15.781 * [taylor]: Taking taylor expansion of (cos x) in x
15.781 * [taylor]: Taking taylor expansion of x in x
15.781 * [taylor]: Taking taylor expansion of y in x
15.781 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x
15.781 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
15.781 * [taylor]: Taking taylor expansion of (sinh y) in x
15.781 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
15.781 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
15.781 * [taylor]: Taking taylor expansion of (exp y) in x
15.781 * [taylor]: Taking taylor expansion of y in x
15.781 * [taylor]: Taking taylor expansion of (exp (- y)) in x
15.781 * [taylor]: Taking taylor expansion of (- y) in x
15.781 * [taylor]: Taking taylor expansion of y in x
15.781 * [taylor]: Taking taylor expansion of 2 in x
15.782 * [taylor]: Taking taylor expansion of (cos x) in x
15.782 * [taylor]: Taking taylor expansion of x in x
15.782 * [taylor]: Taking taylor expansion of y in x
15.782 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (- y))) y)) in y
15.782 * [taylor]: Taking taylor expansion of 1/2 in y
15.782 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (- y))) y) in y
15.782 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
15.782 * [taylor]: Taking taylor expansion of (exp y) in y
15.782 * [taylor]: Taking taylor expansion of y in y
15.782 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.782 * [taylor]: Taking taylor expansion of (- y) in y
15.782 * [taylor]: Taking taylor expansion of y in y
15.782 * [taylor]: Taking taylor expansion of y in y
15.788 * [taylor]: Taking taylor expansion of 0 in y
15.796 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (- y)) y)) (* 1/4 (/ (exp y) y))) in y
15.796 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (- y)) y)) in y
15.796 * [taylor]: Taking taylor expansion of 1/4 in y
15.796 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
15.796 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.797 * [taylor]: Taking taylor expansion of (- y) in y
15.797 * [taylor]: Taking taylor expansion of y in y
15.797 * [taylor]: Taking taylor expansion of y in y
15.797 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y
15.797 * [taylor]: Taking taylor expansion of 1/4 in y
15.797 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
15.797 * [taylor]: Taking taylor expansion of (exp y) in y
15.797 * [taylor]: Taking taylor expansion of y in y
15.797 * [taylor]: Taking taylor expansion of y in y
15.807 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0
15.807 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y
15.807 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
15.807 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
15.807 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
15.807 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
15.807 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.807 * [taylor]: Taking taylor expansion of y in y
15.808 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
15.808 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
15.808 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.808 * [taylor]: Taking taylor expansion of y in y
15.808 * [taylor]: Taking taylor expansion of 2 in y
15.808 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y
15.808 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
15.809 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.809 * [taylor]: Taking taylor expansion of x in y
15.809 * [taylor]: Taking taylor expansion of y in y
15.809 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x
15.809 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
15.809 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
15.809 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
15.809 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
15.809 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.809 * [taylor]: Taking taylor expansion of y in x
15.809 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
15.809 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
15.809 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.809 * [taylor]: Taking taylor expansion of y in x
15.809 * [taylor]: Taking taylor expansion of 2 in x
15.809 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x
15.809 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
15.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.809 * [taylor]: Taking taylor expansion of x in x
15.810 * [taylor]: Taking taylor expansion of y in x
15.810 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x
15.810 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
15.810 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
15.810 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
15.810 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
15.810 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.810 * [taylor]: Taking taylor expansion of y in x
15.810 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
15.810 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
15.810 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.810 * [taylor]: Taking taylor expansion of y in x
15.810 * [taylor]: Taking taylor expansion of 2 in x
15.810 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x
15.810 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
15.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.810 * [taylor]: Taking taylor expansion of x in x
15.811 * [taylor]: Taking taylor expansion of y in x
15.811 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y
15.811 * [taylor]: Taking taylor expansion of 1/2 in y
15.811 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y
15.811 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
15.811 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.811 * [taylor]: Taking taylor expansion of x in y
15.811 * [taylor]: Taking taylor expansion of (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y
15.811 * [taylor]: Taking taylor expansion of y in y
15.811 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
15.811 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
15.811 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.811 * [taylor]: Taking taylor expansion of y in y
15.811 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
15.811 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
15.811 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.811 * [taylor]: Taking taylor expansion of y in y
15.816 * [taylor]: Taking taylor expansion of 0 in y
15.826 * [taylor]: Taking taylor expansion of 0 in y
15.837 * [taylor]: Taking taylor expansion of 0 in y
15.838 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in (x y) around 0
15.838 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y
15.838 * [taylor]: Taking taylor expansion of -1 in y
15.838 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y
15.838 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
15.838 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
15.838 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
15.838 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
15.838 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.838 * [taylor]: Taking taylor expansion of -1 in y
15.838 * [taylor]: Taking taylor expansion of y in y
15.838 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
15.838 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
15.838 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.838 * [taylor]: Taking taylor expansion of -1 in y
15.838 * [taylor]: Taking taylor expansion of y in y
15.839 * [taylor]: Taking taylor expansion of 2 in y
15.839 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y
15.839 * [taylor]: Taking taylor expansion of y in y
15.839 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
15.839 * [taylor]: Taking taylor expansion of (/ -1 x) in y
15.839 * [taylor]: Taking taylor expansion of -1 in y
15.839 * [taylor]: Taking taylor expansion of x in y
15.839 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x
15.839 * [taylor]: Taking taylor expansion of -1 in x
15.839 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x
15.839 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
15.839 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
15.839 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
15.839 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
15.839 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.839 * [taylor]: Taking taylor expansion of -1 in x
15.839 * [taylor]: Taking taylor expansion of y in x
15.840 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
15.840 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
15.840 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.840 * [taylor]: Taking taylor expansion of -1 in x
15.840 * [taylor]: Taking taylor expansion of y in x
15.840 * [taylor]: Taking taylor expansion of 2 in x
15.840 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x
15.840 * [taylor]: Taking taylor expansion of y in x
15.840 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
15.840 * [taylor]: Taking taylor expansion of (/ -1 x) in x
15.840 * [taylor]: Taking taylor expansion of -1 in x
15.840 * [taylor]: Taking taylor expansion of x in x
15.840 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x
15.840 * [taylor]: Taking taylor expansion of -1 in x
15.840 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x
15.840 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
15.840 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
15.840 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
15.840 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
15.840 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.840 * [taylor]: Taking taylor expansion of -1 in x
15.840 * [taylor]: Taking taylor expansion of y in x
15.841 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
15.841 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
15.841 * [taylor]: Taking taylor expansion of (/ -1 y) in x
15.841 * [taylor]: Taking taylor expansion of -1 in x
15.841 * [taylor]: Taking taylor expansion of y in x
15.841 * [taylor]: Taking taylor expansion of 2 in x
15.841 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x
15.841 * [taylor]: Taking taylor expansion of y in x
15.841 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
15.841 * [taylor]: Taking taylor expansion of (/ -1 x) in x
15.841 * [taylor]: Taking taylor expansion of -1 in x
15.841 * [taylor]: Taking taylor expansion of x in x
15.842 * [taylor]: Taking taylor expansion of (* -1/2 (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))))) in y
15.842 * [taylor]: Taking taylor expansion of -1/2 in y
15.842 * [taylor]: Taking taylor expansion of (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x)))) in y
15.842 * [taylor]: Taking taylor expansion of y in y
15.842 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))) in y
15.842 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
15.842 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
15.842 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.842 * [taylor]: Taking taylor expansion of -1 in y
15.842 * [taylor]: Taking taylor expansion of y in y
15.842 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
15.842 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.842 * [taylor]: Taking taylor expansion of y in y
15.842 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
15.843 * [taylor]: Taking taylor expansion of (/ -1 x) in y
15.843 * [taylor]: Taking taylor expansion of -1 in y
15.843 * [taylor]: Taking taylor expansion of x in y
15.847 * [taylor]: Taking taylor expansion of 0 in y
15.855 * [taylor]: Taking taylor expansion of 0 in y
15.866 * [taylor]: Taking taylor expansion of 0 in y
15.867 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
15.867 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0
15.867 * [taylor]: Taking taylor expansion of (sinh y) in y
15.867 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
15.867 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
15.867 * [taylor]: Taking taylor expansion of (exp y) in y
15.867 * [taylor]: Taking taylor expansion of y in y
15.867 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.867 * [taylor]: Taking taylor expansion of (- y) in y
15.867 * [taylor]: Taking taylor expansion of y in y
15.867 * [taylor]: Taking taylor expansion of 2 in y
15.870 * [taylor]: Taking taylor expansion of (sinh y) in y
15.870 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
15.870 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
15.870 * [taylor]: Taking taylor expansion of (exp y) in y
15.870 * [taylor]: Taking taylor expansion of y in y
15.870 * [taylor]: Taking taylor expansion of (exp (- y)) in y
15.870 * [taylor]: Taking taylor expansion of (- y) in y
15.870 * [taylor]: Taking taylor expansion of y in y
15.871 * [taylor]: Taking taylor expansion of 2 in y
15.898 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0
15.898 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
15.898 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
15.898 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
15.898 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
15.898 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.898 * [taylor]: Taking taylor expansion of y in y
15.898 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
15.899 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
15.899 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.899 * [taylor]: Taking taylor expansion of y in y
15.899 * [taylor]: Taking taylor expansion of 2 in y
15.899 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
15.899 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
15.899 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
15.899 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
15.899 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.899 * [taylor]: Taking taylor expansion of y in y
15.900 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
15.900 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
15.900 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.900 * [taylor]: Taking taylor expansion of y in y
15.900 * [taylor]: Taking taylor expansion of 2 in y
15.916 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0
15.916 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
15.916 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
15.916 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
15.916 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
15.916 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.916 * [taylor]: Taking taylor expansion of -1 in y
15.916 * [taylor]: Taking taylor expansion of y in y
15.916 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
15.916 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
15.916 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.916 * [taylor]: Taking taylor expansion of -1 in y
15.916 * [taylor]: Taking taylor expansion of y in y
15.917 * [taylor]: Taking taylor expansion of 2 in y
15.917 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
15.917 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
15.917 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 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 -1 in y
15.917 * [taylor]: Taking taylor expansion of y in y
15.917 * [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 -1 in y
15.918 * [taylor]: Taking taylor expansion of y in y
15.918 * [taylor]: Taking taylor expansion of 2 in y
15.929 * * * [progress]: simplifying candidates
15.930 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ 1 (* (cos x) (/ (sinh y) y)))
  (expm1 (log1p (* (cos x) (/ (sinh y) y))))
  (log1p (log1p (* (cos x) (/ (sinh y) y))))
  (log (log1p (* (cos x) (/ (sinh y) y))))
  (exp (log1p (* (cos x) (/ (sinh y) y))))
  (* (cbrt (log1p (* (cos x) (/ (sinh y) y)))) (cbrt (log1p (* (cos x) (/ (sinh y) y)))))
  (cbrt (log1p (* (cos x) (/ (sinh y) y))))
  (* (* (log1p (* (cos x) (/ (sinh y) y))) (log1p (* (cos x) (/ (sinh y) y)))) (log1p (* (cos x) (/ (sinh y) y))))
  (sqrt (log1p (* (cos x) (/ (sinh y) y))))
  (sqrt (log1p (* (cos x) (/ (sinh y) y))))
  (exp (log1p (* (cos x) (/ (sinh y) y))))
  (expm1 (expm1 (log1p (* (cos x) (/ (sinh y) y)))))
  (log1p (expm1 (log1p (* (cos x) (/ (sinh y) y)))))
  (log (expm1 (log1p (* (cos x) (/ (sinh y) y)))))
  (exp (expm1 (log1p (* (cos x) (/ (sinh y) y)))))
  (* (cbrt (expm1 (log1p (* (cos x) (/ (sinh y) y))))) (cbrt (expm1 (log1p (* (cos x) (/ (sinh y) y))))))
  (cbrt (expm1 (log1p (* (cos x) (/ (sinh y) y)))))
  (* (* (expm1 (log1p (* (cos x) (/ (sinh y) y)))) (expm1 (log1p (* (cos x) (/ (sinh y) y))))) (expm1 (log1p (* (cos x) (/ (sinh y) y)))))
  (sqrt (expm1 (log1p (* (cos x) (/ (sinh y) y)))))
  (sqrt (expm1 (log1p (* (cos x) (/ (sinh y) y)))))
  (expm1 (* (cos x) (/ (sinh y) y)))
  (log1p (* (cos x) (/ (sinh y) y)))
  (* (cos x) (/ (sinh y) y))
  (+ (log (cos x)) (- (log (sinh y)) (log y)))
  (+ (log (cos x)) (log (/ (sinh y) y)))
  (log (* (cos x) (/ (sinh y) y)))
  (exp (* (cos x) (/ (sinh y) y)))
  (* (* (* (cos x) (cos x)) (cos x)) (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* y y) y)))
  (* (* (* (cos x) (cos x)) (cos x)) (* (* (/ (sinh y) y) (/ (sinh y) y)) (/ (sinh y) y)))
  (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y))))
  (cbrt (* (cos x) (/ (sinh y) y)))
  (* (* (* (cos x) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y))) (* (cos x) (/ (sinh y) y)))
  (sqrt (* (cos x) (/ (sinh y) y)))
  (sqrt (* (cos x) (/ (sinh y) y)))
  (* (sqrt (cos x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (cos x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (cos x) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))))
  (* (cos x) (sqrt (/ (sinh y) y)))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1))
  (* (cos x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))
  (* (cos x) (/ (sqrt (sinh y)) (sqrt y)))
  (* (cos x) (/ (sqrt (sinh y)) 1))
  (* (cos x) (/ 1 (* (cbrt y) (cbrt y))))
  (* (cos x) (/ 1 (sqrt y)))
  (* (cos x) (/ 1 1))
  (* (cos x) 1)
  (* (cos x) (sinh y))
  (* (cbrt (cos x)) (/ (sinh y) y))
  (* (sqrt (cos x)) (/ (sinh y) y))
  (* (cos x) (/ (sinh y) y))
  (* (cos x) (sinh y))
  (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/12 (pow y 2)) (log 2)) (* 1/4 (pow x 2)))
  (- (+ (* 1/2 (/ (* (exp y) (cos x)) y)) (+ (* 1/24 (/ (* (pow (exp y) 3) (pow (cos x) 3)) (pow y 3))) (+ (* 1/4 (/ (* (exp (- y)) (* (exp y) (pow (cos x) 2))) (pow y 2))) (* 1/8 (/ (* (pow (exp (- y)) 2) (* (exp y) (pow (cos x) 3))) (pow y 3)))))) (+ (* 1/8 (/ (* (pow (exp (- y)) 2) (pow (cos x) 2)) (pow y 2))) (+ (* 1/24 (/ (* (pow (exp (- y)) 3) (pow (cos x) 3)) (pow y 3))) (+ (* 1/8 (/ (* (pow (exp y) 2) (pow (cos x) 2)) (pow y 2))) (+ (* 1/2 (/ (* (exp (- y)) (cos x)) y)) (* 1/8 (/ (* (exp (- y)) (* (pow (exp y) 2) (pow (cos x) 3))) (pow y 3))))))))
  (- (+ (* 1/2 (/ (* (exp y) (cos x)) y)) (+ (* 1/24 (/ (* (pow (exp y) 3) (pow (cos x) 3)) (pow y 3))) (+ (* 1/8 (/ (* (pow (exp (* -1 y)) 2) (* (exp y) (pow (cos x) 3))) (pow y 3))) (* 1/4 (/ (* (pow (cos x) 2) (* (exp y) (exp (* -1 y)))) (pow y 2)))))) (+ (* 1/24 (/ (* (pow (exp (* -1 y)) 3) (pow (cos x) 3)) (pow y 3))) (+ (* 1/8 (/ (* (exp (* -1 y)) (* (pow (exp y) 2) (pow (cos x) 3))) (pow y 3))) (+ (* 1/8 (/ (* (pow (cos x) 2) (pow (exp (* -1 y)) 2)) (pow y 2))) (+ (* 1/8 (/ (* (pow (exp y) 2) (pow (cos x) 2)) (pow y 2))) (* 1/2 (/ (* (cos x) (exp (* -1 y))) y)))))))
  (- (+ (* 1/6 (pow y 2)) 1) (* 1/2 (pow x 2)))
  (/ (- (* 1/2 (* (exp y) (cos x))) (* 1/2 (* (exp (- y)) (cos x)))) y)
  (* -1 (/ (- (* 1/2 (* (exp (* -1 y)) (cos x))) (* 1/2 (* (exp y) (cos x)))) y))
  (- (+ (* 1/6 (pow y 2)) 1) (* 1/2 (pow x 2)))
  (/ (- (* 1/2 (* (exp y) (cos x))) (* 1/2 (* (exp (- y)) (cos x)))) y)
  (* -1 (/ (- (* 1/2 (* (exp (* -1 y)) (cos x))) (* 1/2 (* (exp y) (cos x)))) y))
  (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))
  (* 1/2 (- (exp y) (exp (- y))))
  (* 1/2 (- (exp y) (exp (* -1 y))))
15.936 * * [simplify]: iteration  0 :  212  enodes  (cost  1088 )
15.991 * * [simplify]: iteration  1 :  566  enodes  (cost  993 )
16.242 * * [simplify]: iteration  2 :  2186  enodes  (cost  894 )
16.807 * * [simplify]: iteration  done :  5001  enodes  (cost  890 )
16.808 * [simplify]: Simplified to:
   (fma (/ (sinh y) y) (cos x) 1)
  (* (/ (sinh y) y) (cos x))
  (log1p (log1p (* (cos x) (/ (sinh y) y))))
  (log (log1p (* (cos x) (/ (sinh y) y))))
  (exp (log1p (* (cos x) (/ (sinh y) y))))
  (* (cbrt (log1p (* (cos x) (/ (sinh y) y)))) (cbrt (log1p (* (cos x) (/ (sinh y) y)))))
  (cbrt (log1p (* (cos x) (/ (sinh y) y))))
  (pow (log1p (* (cos x) (/ (sinh y) y))) 3)
  (sqrt (log1p (* (cos x) (/ (sinh y) y))))
  (sqrt (log1p (* (cos x) (/ (sinh y) y))))
  (exp (log1p (* (cos x) (/ (sinh y) y))))
  (expm1 (* (cos x) (/ (sinh y) y)))
  (log1p (* (cos x) (/ (sinh y) y)))
  (log (* (/ (sinh y) y) (cos x)))
  (exp (* (/ (sinh y) y) (cos x)))
  (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y))))
  (cbrt (* (cos x) (/ (sinh y) y)))
  (pow (* (/ (sinh y) y) (cos x)) 3)
  (sqrt (* (cos x) (/ (sinh y) y)))
  (sqrt (* (cos x) (/ (sinh y) y)))
  (expm1 (* (cos x) (/ (sinh y) y)))
  (log1p (* (cos x) (/ (sinh y) y)))
  (* (/ (sinh y) y) (cos x))
  (log (* (/ (sinh y) y) (cos x)))
  (log (* (/ (sinh y) y) (cos x)))
  (log (* (/ (sinh y) y) (cos x)))
  (exp (* (/ (sinh y) y) (cos x)))
  (pow (* (/ (sinh y) y) (cos x)) 3)
  (pow (* (/ (sinh y) y) (cos x)) 3)
  (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y))))
  (cbrt (* (cos x) (/ (sinh y) y)))
  (pow (* (/ (sinh y) y) (cos x)) 3)
  (sqrt (* (cos x) (/ (sinh y) y)))
  (sqrt (* (cos x) (/ (sinh y) y)))
  (* (sqrt (cos x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (cos x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (cos x) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))))
  (* (cos x) (sqrt (/ (sinh y) y)))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)))
  (* (cos x) (* (cbrt (sinh y)) (cbrt (sinh y))))
  (* (cos x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))
  (* (cos x) (/ (sqrt (sinh y)) (sqrt y)))
  (* (cos x) (sqrt (sinh y)))
  (/ (cos x) (* (cbrt y) (cbrt y)))
  (/ (cos x) (sqrt y))
  (cos x)
  (cos x)
  (* (cos x) (sinh y))
  (* (cbrt (cos x)) (/ (sinh y) y))
  (* (sqrt (cos x)) (/ (sinh y) y))
  (* (/ (sinh y) y) (cos x))
  (* (cos x) (sinh y))
  (expm1 (sinh y))
  (log1p (sinh y))
  (- (exp y) (exp (- y)))
  (log (sinh y))
  (exp (sinh y))
  (* (cbrt (sinh y)) (cbrt (sinh y)))
  (cbrt (sinh y))
  (pow (sinh y) 3)
  (sqrt (sinh y))
  (sqrt (sinh y))
  (- (fma 1/12 (pow y 2) (log 2)) (* 1/4 (pow x 2)))
  (- (fma 1/2 (/ (* (exp y) (cos x)) y) (fma 1/24 (/ (* (pow (exp y) 3) (pow (cos x) 3)) (pow y 3)) (fma 1/8 (/ (* (exp (- y)) 1) (/ (pow y 3) (pow (cos x) 3))) (/ 1/4 (/ (* y y) (pow (cos x) 2)))))) (fma (/ (* (pow (exp (- y)) 3) (pow (cos x) 3)) (pow y 3)) 1/24 (fma 1/8 (/ (* (exp y) (pow (cos x) 3)) (pow y 3)) (fma (/ (* (pow (exp (- y)) 2) (pow (cos x) 2)) (* y y)) 1/8 (fma 1/2 (/ (/ (cos x) (exp y)) y) (* 1/8 (/ (* (pow (exp y) 2) (pow (cos x) 2)) (pow y 2))))))))
  (- (fma 1/2 (/ (* (exp y) (cos x)) y) (fma 1/24 (/ (* (pow (exp y) 3) (pow (cos x) 3)) (pow y 3)) (fma 1/8 (/ (* (exp (- y)) 1) (/ (pow y 3) (pow (cos x) 3))) (/ 1/4 (/ (* y y) (pow (cos x) 2)))))) (fma (/ (* (pow (exp (- y)) 3) (pow (cos x) 3)) (pow y 3)) 1/24 (fma 1/8 (/ (* (exp y) (pow (cos x) 3)) (pow y 3)) (fma (/ (* (pow (exp (- y)) 2) (pow (cos x) 2)) (* y y)) 1/8 (fma 1/2 (/ (/ (cos x) (exp y)) y) (* 1/8 (/ (* (pow (exp y) 2) (pow (cos x) 2)) (pow y 2))))))))
  (- (fma 1/6 (* y y) 1) (* 1/2 (pow x 2)))
  (/ (* 1/2 (- (* (exp y) (cos x)) (/ (cos x) (exp y)))) y)
  (/ (* -1/2 (- (/ (cos x) (exp y)) (* (exp y) (cos x)))) y)
  (- (fma 1/6 (* y y) 1) (* 1/2 (pow x 2)))
  (/ (* 1/2 (- (* (exp y) (cos x)) (/ (cos x) (exp y)))) y)
  (/ (* -1/2 (- (/ (cos x) (exp y)) (* (exp y) (cos x)))) 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))))
16.809 * * * [progress]: adding candidates to table
17.056 * * [progress]: iteration 3 / 4
17.057 * * * [progress]: picking best candidate
17.062 * * * * [pick]: Picked  #<alt (λ (x y) (expm1 (log1p (/ (* (cos x) (sinh y)) y))))>
17.062 * * * [progress]: localizing error
17.075 * * * [progress]: generating rewritten candidates
17.075 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
17.076 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
17.080 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
17.080 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
17.085 * * * [progress]: generating series expansions
17.085 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
17.085 * [approximate]: Taking taylor expansion of (log1p (/ (* (sinh y) (cos x)) y)) in (x y) around 0
17.085 * [taylor]: Taking taylor expansion of (log1p (/ (* (sinh y) (cos x)) y)) in y
17.086 * [taylor]: Rewrote expression to (log (+ 1 (/ (* (sinh y) (cos x)) y)))
17.086 * [taylor]: Taking taylor expansion of (+ 1 (/ (* (sinh y) (cos x)) y)) in y
17.086 * [taylor]: Taking taylor expansion of 1 in y
17.086 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y
17.086 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y
17.086 * [taylor]: Taking taylor expansion of (sinh y) in y
17.086 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
17.086 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
17.086 * [taylor]: Taking taylor expansion of (exp y) in y
17.086 * [taylor]: Taking taylor expansion of y in y
17.086 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.086 * [taylor]: Taking taylor expansion of (- y) in y
17.086 * [taylor]: Taking taylor expansion of y in y
17.087 * [taylor]: Taking taylor expansion of 2 in y
17.089 * [taylor]: Taking taylor expansion of (cos x) in y
17.089 * [taylor]: Taking taylor expansion of x in y
17.089 * [taylor]: Taking taylor expansion of y in y
17.090 * [taylor]: Taking taylor expansion of (log1p (/ (* (sinh y) (cos x)) y)) in x
17.090 * [taylor]: Rewrote expression to (log (+ 1 (/ (* (sinh y) (cos x)) y)))
17.090 * [taylor]: Taking taylor expansion of (+ 1 (/ (* (sinh y) (cos x)) y)) in x
17.090 * [taylor]: Taking taylor expansion of 1 in x
17.090 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x
17.090 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
17.090 * [taylor]: Taking taylor expansion of (sinh y) in x
17.090 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
17.090 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
17.090 * [taylor]: Taking taylor expansion of (exp y) in x
17.090 * [taylor]: Taking taylor expansion of y in x
17.090 * [taylor]: Taking taylor expansion of (exp (- y)) in x
17.090 * [taylor]: Taking taylor expansion of (- y) in x
17.090 * [taylor]: Taking taylor expansion of y in x
17.090 * [taylor]: Taking taylor expansion of 2 in x
17.091 * [taylor]: Taking taylor expansion of (cos x) in x
17.091 * [taylor]: Taking taylor expansion of x in x
17.091 * [taylor]: Taking taylor expansion of y in x
17.091 * [taylor]: Taking taylor expansion of (log1p (/ (* (sinh y) (cos x)) y)) in x
17.091 * [taylor]: Rewrote expression to (log (+ 1 (/ (* (sinh y) (cos x)) y)))
17.091 * [taylor]: Taking taylor expansion of (+ 1 (/ (* (sinh y) (cos x)) y)) in x
17.091 * [taylor]: Taking taylor expansion of 1 in x
17.091 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x
17.091 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
17.091 * [taylor]: Taking taylor expansion of (sinh y) in x
17.091 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
17.091 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
17.091 * [taylor]: Taking taylor expansion of (exp y) in x
17.091 * [taylor]: Taking taylor expansion of y in x
17.091 * [taylor]: Taking taylor expansion of (exp (- y)) in x
17.091 * [taylor]: Taking taylor expansion of (- y) in x
17.091 * [taylor]: Taking taylor expansion of y in x
17.091 * [taylor]: Taking taylor expansion of 2 in x
17.092 * [taylor]: Taking taylor expansion of (cos x) in x
17.092 * [taylor]: Taking taylor expansion of x in x
17.092 * [taylor]: Taking taylor expansion of y in x
17.092 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y)))) in y
17.092 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) in y
17.092 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (exp y) y)) 1) in y
17.092 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) y)) in y
17.092 * [taylor]: Taking taylor expansion of 1/2 in y
17.092 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
17.092 * [taylor]: Taking taylor expansion of (exp y) in y
17.092 * [taylor]: Taking taylor expansion of y in y
17.092 * [taylor]: Taking taylor expansion of y in y
17.093 * [taylor]: Taking taylor expansion of 1 in y
17.093 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) y)) in y
17.093 * [taylor]: Taking taylor expansion of 1/2 in y
17.093 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
17.093 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.093 * [taylor]: Taking taylor expansion of (- y) in y
17.093 * [taylor]: Taking taylor expansion of y in y
17.093 * [taylor]: Taking taylor expansion of y in y
17.104 * [taylor]: Taking taylor expansion of 0 in y
17.117 * [taylor]: Taking taylor expansion of (* 1/2 (- (* 1/2 (/ (exp (- y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y))) (* 1/2 (/ (exp y) (* y (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y)))))))) in y
17.117 * [taylor]: Taking taylor expansion of 1/2 in y
17.118 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (exp (- y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y))) (* 1/2 (/ (exp y) (* y (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))))))) in y
17.118 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y))) in y
17.118 * [taylor]: Taking taylor expansion of 1/2 in y
17.118 * [taylor]: Taking taylor expansion of (/ (exp (- y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y)) in y
17.118 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.118 * [taylor]: Taking taylor expansion of (- y) in y
17.118 * [taylor]: Taking taylor expansion of y in y
17.118 * [taylor]: Taking taylor expansion of (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y) in y
17.118 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) in y
17.118 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (exp y) y)) 1) in y
17.118 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) y)) in y
17.118 * [taylor]: Taking taylor expansion of 1/2 in y
17.118 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
17.118 * [taylor]: Taking taylor expansion of (exp y) in y
17.118 * [taylor]: Taking taylor expansion of y in y
17.118 * [taylor]: Taking taylor expansion of y in y
17.119 * [taylor]: Taking taylor expansion of 1 in y
17.119 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) y)) in y
17.119 * [taylor]: Taking taylor expansion of 1/2 in y
17.119 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
17.119 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.119 * [taylor]: Taking taylor expansion of (- y) in y
17.119 * [taylor]: Taking taylor expansion of y in y
17.119 * [taylor]: Taking taylor expansion of y in y
17.120 * [taylor]: Taking taylor expansion of y in y
17.132 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) (* y (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y)))))) in y
17.132 * [taylor]: Taking taylor expansion of 1/2 in y
17.132 * [taylor]: Taking taylor expansion of (/ (exp y) (* y (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))))) in y
17.132 * [taylor]: Taking taylor expansion of (exp y) in y
17.132 * [taylor]: Taking taylor expansion of y in y
17.132 * [taylor]: Taking taylor expansion of (* y (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y)))) in y
17.132 * [taylor]: Taking taylor expansion of y in y
17.132 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) in y
17.132 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (exp y) y)) 1) in y
17.132 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) y)) in y
17.132 * [taylor]: Taking taylor expansion of 1/2 in y
17.132 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
17.132 * [taylor]: Taking taylor expansion of (exp y) in y
17.132 * [taylor]: Taking taylor expansion of y in y
17.132 * [taylor]: Taking taylor expansion of y in y
17.132 * [taylor]: Taking taylor expansion of 1 in y
17.132 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) y)) in y
17.132 * [taylor]: Taking taylor expansion of 1/2 in y
17.132 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
17.132 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.132 * [taylor]: Taking taylor expansion of (- y) in y
17.132 * [taylor]: Taking taylor expansion of y in y
17.133 * [taylor]: Taking taylor expansion of y in y
17.180 * [approximate]: Taking taylor expansion of (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in (x y) around 0
17.180 * [taylor]: Taking taylor expansion of (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in y
17.181 * [taylor]: Rewrote expression to (log (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))))
17.181 * [taylor]: Taking taylor expansion of (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in y
17.181 * [taylor]: Taking taylor expansion of 1 in y
17.181 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y
17.181 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
17.181 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
17.181 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
17.181 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
17.181 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.181 * [taylor]: Taking taylor expansion of y in y
17.181 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
17.181 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
17.181 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.181 * [taylor]: Taking taylor expansion of y in y
17.182 * [taylor]: Taking taylor expansion of 2 in y
17.182 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y
17.182 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
17.182 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.182 * [taylor]: Taking taylor expansion of x in y
17.182 * [taylor]: Taking taylor expansion of y in y
17.183 * [taylor]: Taking taylor expansion of (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x
17.183 * [taylor]: Rewrote expression to (log (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))))
17.183 * [taylor]: Taking taylor expansion of (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x
17.183 * [taylor]: Taking taylor expansion of 1 in x
17.184 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x
17.184 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
17.184 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
17.184 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
17.184 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
17.184 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.184 * [taylor]: Taking taylor expansion of y in x
17.184 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
17.184 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
17.184 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.184 * [taylor]: Taking taylor expansion of y in x
17.184 * [taylor]: Taking taylor expansion of 2 in x
17.184 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x
17.184 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
17.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.184 * [taylor]: Taking taylor expansion of x in x
17.185 * [taylor]: Taking taylor expansion of y in x
17.185 * [taylor]: Taking taylor expansion of (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x
17.185 * [taylor]: Rewrote expression to (log (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))))
17.185 * [taylor]: Taking taylor expansion of (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x
17.185 * [taylor]: Taking taylor expansion of 1 in x
17.185 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x
17.185 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
17.185 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
17.185 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
17.185 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
17.185 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.185 * [taylor]: Taking taylor expansion of y in x
17.186 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
17.186 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
17.186 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.186 * [taylor]: Taking taylor expansion of y in x
17.186 * [taylor]: Taking taylor expansion of 2 in x
17.186 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x
17.186 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
17.186 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.186 * [taylor]: Taking taylor expansion of x in x
17.186 * [taylor]: Taking taylor expansion of y in x
17.187 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/2 (* (exp (/ 1 y)) (* (cos (/ 1 x)) y))) 1) (* 1/2 (* (exp (- (/ 1 y))) (* (cos (/ 1 x)) y))))) in y
17.187 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (* (exp (/ 1 y)) (* (cos (/ 1 x)) y))) 1) (* 1/2 (* (exp (- (/ 1 y))) (* (cos (/ 1 x)) y)))) in y
17.187 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (exp (/ 1 y)) (* (cos (/ 1 x)) y))) 1) in y
17.187 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (* (cos (/ 1 x)) y))) in y
17.187 * [taylor]: Taking taylor expansion of 1/2 in y
17.187 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (* (cos (/ 1 x)) y)) in y
17.187 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
17.187 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.187 * [taylor]: Taking taylor expansion of y in y
17.188 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y
17.188 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
17.188 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.188 * [taylor]: Taking taylor expansion of x in y
17.188 * [taylor]: Taking taylor expansion of y in y
17.188 * [taylor]: Taking taylor expansion of 1 in y
17.188 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (- (/ 1 y))) (* (cos (/ 1 x)) y))) in y
17.188 * [taylor]: Taking taylor expansion of 1/2 in y
17.188 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 y))) (* (cos (/ 1 x)) y)) in y
17.188 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
17.188 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
17.188 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.188 * [taylor]: Taking taylor expansion of y in y
17.189 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y
17.189 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
17.189 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.189 * [taylor]: Taking taylor expansion of x in y
17.189 * [taylor]: Taking taylor expansion of y in y
17.195 * [taylor]: Taking taylor expansion of 0 in y
17.208 * [taylor]: Taking taylor expansion of 0 in y
17.229 * [taylor]: Taking taylor expansion of 0 in y
17.251 * [approximate]: Taking taylor expansion of (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in (x y) around 0
17.251 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in y
17.251 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))))
17.251 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in y
17.251 * [taylor]: Taking taylor expansion of 1 in y
17.251 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y
17.251 * [taylor]: Taking taylor expansion of -1 in y
17.251 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y
17.251 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
17.251 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
17.251 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
17.251 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
17.251 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.251 * [taylor]: Taking taylor expansion of -1 in y
17.251 * [taylor]: Taking taylor expansion of y in y
17.252 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
17.252 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
17.252 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.252 * [taylor]: Taking taylor expansion of -1 in y
17.252 * [taylor]: Taking taylor expansion of y in y
17.252 * [taylor]: Taking taylor expansion of 2 in y
17.252 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y
17.253 * [taylor]: Taking taylor expansion of y in y
17.253 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
17.253 * [taylor]: Taking taylor expansion of (/ -1 x) in y
17.253 * [taylor]: Taking taylor expansion of -1 in y
17.253 * [taylor]: Taking taylor expansion of x in y
17.254 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x
17.254 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))))
17.254 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x
17.254 * [taylor]: Taking taylor expansion of 1 in x
17.254 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x
17.254 * [taylor]: Taking taylor expansion of -1 in x
17.254 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x
17.254 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
17.254 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
17.254 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
17.254 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
17.254 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.254 * [taylor]: Taking taylor expansion of -1 in x
17.254 * [taylor]: Taking taylor expansion of y in x
17.254 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
17.254 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
17.254 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.255 * [taylor]: Taking taylor expansion of -1 in x
17.255 * [taylor]: Taking taylor expansion of y in x
17.255 * [taylor]: Taking taylor expansion of 2 in x
17.255 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x
17.255 * [taylor]: Taking taylor expansion of y in x
17.255 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
17.255 * [taylor]: Taking taylor expansion of (/ -1 x) in x
17.255 * [taylor]: Taking taylor expansion of -1 in x
17.255 * [taylor]: Taking taylor expansion of x in x
17.256 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x
17.256 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))))
17.256 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x
17.256 * [taylor]: Taking taylor expansion of 1 in x
17.256 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x
17.256 * [taylor]: Taking taylor expansion of -1 in x
17.256 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x
17.256 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
17.256 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
17.256 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
17.256 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
17.256 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.256 * [taylor]: Taking taylor expansion of -1 in x
17.256 * [taylor]: Taking taylor expansion of y in x
17.256 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
17.257 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
17.257 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.257 * [taylor]: Taking taylor expansion of -1 in x
17.257 * [taylor]: Taking taylor expansion of y in x
17.257 * [taylor]: Taking taylor expansion of 2 in x
17.257 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x
17.257 * [taylor]: Taking taylor expansion of y in x
17.257 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
17.257 * [taylor]: Taking taylor expansion of (/ -1 x) in x
17.257 * [taylor]: Taking taylor expansion of -1 in x
17.257 * [taylor]: Taking taylor expansion of x in x
17.258 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/2 (* (exp (/ 1 y)) (* (cos (/ -1 x)) y))) 1) (* 1/2 (* (exp (/ -1 y)) (* y (cos (/ -1 x))))))) in y
17.258 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (* (exp (/ 1 y)) (* (cos (/ -1 x)) y))) 1) (* 1/2 (* (exp (/ -1 y)) (* y (cos (/ -1 x)))))) in y
17.258 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (exp (/ 1 y)) (* (cos (/ -1 x)) y))) 1) in y
17.258 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (* (cos (/ -1 x)) y))) in y
17.258 * [taylor]: Taking taylor expansion of 1/2 in y
17.258 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (* (cos (/ -1 x)) y)) in y
17.258 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
17.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.258 * [taylor]: Taking taylor expansion of y in y
17.259 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) y) in y
17.259 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
17.259 * [taylor]: Taking taylor expansion of (/ -1 x) in y
17.259 * [taylor]: Taking taylor expansion of -1 in y
17.259 * [taylor]: Taking taylor expansion of x in y
17.259 * [taylor]: Taking taylor expansion of y in y
17.259 * [taylor]: Taking taylor expansion of 1 in y
17.259 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 y)) (* y (cos (/ -1 x))))) in y
17.259 * [taylor]: Taking taylor expansion of 1/2 in y
17.259 * [taylor]: Taking taylor expansion of (* (exp (/ -1 y)) (* y (cos (/ -1 x)))) in y
17.259 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
17.259 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.259 * [taylor]: Taking taylor expansion of -1 in y
17.259 * [taylor]: Taking taylor expansion of y in y
17.260 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y
17.260 * [taylor]: Taking taylor expansion of y in y
17.260 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
17.260 * [taylor]: Taking taylor expansion of (/ -1 x) in y
17.260 * [taylor]: Taking taylor expansion of -1 in y
17.260 * [taylor]: Taking taylor expansion of x in y
17.266 * [taylor]: Taking taylor expansion of 0 in y
17.281 * [taylor]: Taking taylor expansion of 0 in y
17.302 * [taylor]: Taking taylor expansion of 0 in y
17.320 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
17.320 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0
17.320 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y
17.320 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y
17.320 * [taylor]: Taking taylor expansion of (sinh y) in y
17.320 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
17.320 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
17.320 * [taylor]: Taking taylor expansion of (exp y) in y
17.320 * [taylor]: Taking taylor expansion of y in y
17.320 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.320 * [taylor]: Taking taylor expansion of (- y) in y
17.320 * [taylor]: Taking taylor expansion of y in y
17.321 * [taylor]: Taking taylor expansion of 2 in y
17.324 * [taylor]: Taking taylor expansion of (cos x) in y
17.324 * [taylor]: Taking taylor expansion of x in y
17.324 * [taylor]: Taking taylor expansion of y in y
17.324 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x
17.324 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
17.324 * [taylor]: Taking taylor expansion of (sinh y) in x
17.324 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
17.324 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
17.324 * [taylor]: Taking taylor expansion of (exp y) in x
17.324 * [taylor]: Taking taylor expansion of y in x
17.325 * [taylor]: Taking taylor expansion of (exp (- y)) in x
17.325 * [taylor]: Taking taylor expansion of (- y) in x
17.325 * [taylor]: Taking taylor expansion of y in x
17.325 * [taylor]: Taking taylor expansion of 2 in x
17.325 * [taylor]: Taking taylor expansion of (cos x) in x
17.325 * [taylor]: Taking taylor expansion of x in x
17.325 * [taylor]: Taking taylor expansion of y in x
17.325 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x
17.325 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
17.325 * [taylor]: Taking taylor expansion of (sinh y) in x
17.325 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
17.325 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
17.325 * [taylor]: Taking taylor expansion of (exp y) in x
17.325 * [taylor]: Taking taylor expansion of y in x
17.325 * [taylor]: Taking taylor expansion of (exp (- y)) in x
17.325 * [taylor]: Taking taylor expansion of (- y) in x
17.325 * [taylor]: Taking taylor expansion of y in x
17.325 * [taylor]: Taking taylor expansion of 2 in x
17.325 * [taylor]: Taking taylor expansion of (cos x) in x
17.325 * [taylor]: Taking taylor expansion of x in x
17.325 * [taylor]: Taking taylor expansion of y in x
17.326 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (- y))) y)) in y
17.326 * [taylor]: Taking taylor expansion of 1/2 in y
17.326 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (- y))) y) in y
17.326 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
17.326 * [taylor]: Taking taylor expansion of (exp y) in y
17.326 * [taylor]: Taking taylor expansion of y in y
17.326 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.326 * [taylor]: Taking taylor expansion of (- y) in y
17.326 * [taylor]: Taking taylor expansion of y in y
17.326 * [taylor]: Taking taylor expansion of y in y
17.333 * [taylor]: Taking taylor expansion of 0 in y
17.344 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (- y)) y)) (* 1/4 (/ (exp y) y))) in y
17.345 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (- y)) y)) in y
17.345 * [taylor]: Taking taylor expansion of 1/4 in y
17.345 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
17.345 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.345 * [taylor]: Taking taylor expansion of (- y) in y
17.345 * [taylor]: Taking taylor expansion of y in y
17.345 * [taylor]: Taking taylor expansion of y in y
17.345 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y
17.345 * [taylor]: Taking taylor expansion of 1/4 in y
17.346 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
17.346 * [taylor]: Taking taylor expansion of (exp y) in y
17.346 * [taylor]: Taking taylor expansion of y in y
17.346 * [taylor]: Taking taylor expansion of y in y
17.355 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0
17.356 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y
17.356 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
17.356 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
17.356 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
17.356 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
17.356 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.356 * [taylor]: Taking taylor expansion of y in y
17.356 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
17.356 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
17.356 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.356 * [taylor]: Taking taylor expansion of y in y
17.357 * [taylor]: Taking taylor expansion of 2 in y
17.357 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y
17.357 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
17.357 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.357 * [taylor]: Taking taylor expansion of x in y
17.357 * [taylor]: Taking taylor expansion of y in y
17.357 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x
17.357 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
17.357 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
17.357 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
17.357 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
17.357 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.357 * [taylor]: Taking taylor expansion of y in x
17.357 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
17.357 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
17.357 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.357 * [taylor]: Taking taylor expansion of y in x
17.358 * [taylor]: Taking taylor expansion of 2 in x
17.358 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x
17.358 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
17.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.358 * [taylor]: Taking taylor expansion of x in x
17.358 * [taylor]: Taking taylor expansion of y in x
17.358 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x
17.358 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
17.358 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
17.358 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
17.358 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
17.358 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.358 * [taylor]: Taking taylor expansion of y in x
17.358 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
17.359 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
17.359 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.359 * [taylor]: Taking taylor expansion of y in x
17.359 * [taylor]: Taking taylor expansion of 2 in x
17.359 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x
17.359 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
17.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.359 * [taylor]: Taking taylor expansion of x in x
17.359 * [taylor]: Taking taylor expansion of y in x
17.360 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y
17.360 * [taylor]: Taking taylor expansion of 1/2 in y
17.360 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y
17.360 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
17.360 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.360 * [taylor]: Taking taylor expansion of x in y
17.360 * [taylor]: Taking taylor expansion of (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y
17.360 * [taylor]: Taking taylor expansion of y in y
17.360 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
17.360 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
17.360 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.360 * [taylor]: Taking taylor expansion of y in y
17.360 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
17.360 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
17.360 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.360 * [taylor]: Taking taylor expansion of y in y
17.364 * [taylor]: Taking taylor expansion of 0 in y
17.373 * [taylor]: Taking taylor expansion of 0 in y
17.383 * [taylor]: Taking taylor expansion of 0 in y
17.384 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in (x y) around 0
17.384 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y
17.384 * [taylor]: Taking taylor expansion of -1 in y
17.384 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y
17.384 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
17.384 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
17.384 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
17.384 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
17.384 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.384 * [taylor]: Taking taylor expansion of -1 in y
17.384 * [taylor]: Taking taylor expansion of y in y
17.385 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
17.385 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
17.385 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.385 * [taylor]: Taking taylor expansion of -1 in y
17.385 * [taylor]: Taking taylor expansion of y in y
17.385 * [taylor]: Taking taylor expansion of 2 in y
17.385 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y
17.385 * [taylor]: Taking taylor expansion of y in y
17.386 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
17.386 * [taylor]: Taking taylor expansion of (/ -1 x) in y
17.386 * [taylor]: Taking taylor expansion of -1 in y
17.386 * [taylor]: Taking taylor expansion of x in y
17.386 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x
17.386 * [taylor]: Taking taylor expansion of -1 in x
17.386 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x
17.386 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
17.386 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
17.386 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
17.386 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
17.386 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.386 * [taylor]: Taking taylor expansion of -1 in x
17.386 * [taylor]: Taking taylor expansion of y in x
17.386 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
17.386 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
17.386 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.386 * [taylor]: Taking taylor expansion of -1 in x
17.386 * [taylor]: Taking taylor expansion of y in x
17.386 * [taylor]: Taking taylor expansion of 2 in x
17.386 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x
17.386 * [taylor]: Taking taylor expansion of y in x
17.386 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
17.386 * [taylor]: Taking taylor expansion of (/ -1 x) in x
17.386 * [taylor]: Taking taylor expansion of -1 in x
17.386 * [taylor]: Taking taylor expansion of x in x
17.387 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x
17.387 * [taylor]: Taking taylor expansion of -1 in x
17.387 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x
17.387 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
17.387 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
17.387 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
17.387 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
17.387 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.387 * [taylor]: Taking taylor expansion of -1 in x
17.387 * [taylor]: Taking taylor expansion of y in x
17.387 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
17.387 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
17.387 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.387 * [taylor]: Taking taylor expansion of -1 in x
17.387 * [taylor]: Taking taylor expansion of y in x
17.387 * [taylor]: Taking taylor expansion of 2 in x
17.388 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x
17.388 * [taylor]: Taking taylor expansion of y in x
17.388 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
17.388 * [taylor]: Taking taylor expansion of (/ -1 x) in x
17.388 * [taylor]: Taking taylor expansion of -1 in x
17.388 * [taylor]: Taking taylor expansion of x in x
17.388 * [taylor]: Taking taylor expansion of (* -1/2 (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))))) in y
17.388 * [taylor]: Taking taylor expansion of -1/2 in y
17.388 * [taylor]: Taking taylor expansion of (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x)))) in y
17.388 * [taylor]: Taking taylor expansion of y in y
17.389 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))) in y
17.389 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
17.389 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
17.389 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.389 * [taylor]: Taking taylor expansion of -1 in y
17.389 * [taylor]: Taking taylor expansion of y in y
17.389 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
17.389 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.389 * [taylor]: Taking taylor expansion of y in y
17.389 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
17.389 * [taylor]: Taking taylor expansion of (/ -1 x) in y
17.389 * [taylor]: Taking taylor expansion of -1 in y
17.389 * [taylor]: Taking taylor expansion of x in y
17.394 * [taylor]: Taking taylor expansion of 0 in y
17.402 * [taylor]: Taking taylor expansion of 0 in y
17.414 * [taylor]: Taking taylor expansion of 0 in y
17.414 * * * * [progress]: [ 3 / 4 ] generating series at (2)
17.414 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ (* (sinh y) (cos x)) y))) in (x y) around 0
17.414 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (* (sinh y) (cos x)) y))) in y
17.415 * [taylor]: Rewrote expression to (- (exp (log1p (/ (* (sinh y) (cos x)) y))) 1)
17.415 * [taylor]: Taking taylor expansion of (exp (log1p (/ (* (sinh y) (cos x)) y))) in y
17.415 * [taylor]: Taking taylor expansion of (log1p (/ (* (sinh y) (cos x)) y)) in y
17.415 * [taylor]: Rewrote expression to (log (+ 1 (/ (* (sinh y) (cos x)) y)))
17.415 * [taylor]: Taking taylor expansion of (+ 1 (/ (* (sinh y) (cos x)) y)) in y
17.415 * [taylor]: Taking taylor expansion of 1 in y
17.415 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y
17.415 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y
17.415 * [taylor]: Taking taylor expansion of (sinh y) in y
17.415 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
17.415 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
17.415 * [taylor]: Taking taylor expansion of (exp y) in y
17.415 * [taylor]: Taking taylor expansion of y in y
17.415 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.415 * [taylor]: Taking taylor expansion of (- y) in y
17.415 * [taylor]: Taking taylor expansion of y in y
17.416 * [taylor]: Taking taylor expansion of 2 in y
17.418 * [taylor]: Taking taylor expansion of (cos x) in y
17.418 * [taylor]: Taking taylor expansion of x in y
17.418 * [taylor]: Taking taylor expansion of y in y
17.419 * [taylor]: Taking taylor expansion of 1 in y
17.419 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (* (sinh y) (cos x)) y))) in x
17.419 * [taylor]: Rewrote expression to (- (exp (log1p (/ (* (sinh y) (cos x)) y))) 1)
17.419 * [taylor]: Taking taylor expansion of (exp (log1p (/ (* (sinh y) (cos x)) y))) in x
17.419 * [taylor]: Taking taylor expansion of (log1p (/ (* (sinh y) (cos x)) y)) in x
17.419 * [taylor]: Rewrote expression to (log (+ 1 (/ (* (sinh y) (cos x)) y)))
17.419 * [taylor]: Taking taylor expansion of (+ 1 (/ (* (sinh y) (cos x)) y)) in x
17.419 * [taylor]: Taking taylor expansion of 1 in x
17.419 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x
17.419 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
17.419 * [taylor]: Taking taylor expansion of (sinh y) in x
17.419 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
17.419 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
17.419 * [taylor]: Taking taylor expansion of (exp y) in x
17.419 * [taylor]: Taking taylor expansion of y in x
17.419 * [taylor]: Taking taylor expansion of (exp (- y)) in x
17.419 * [taylor]: Taking taylor expansion of (- y) in x
17.419 * [taylor]: Taking taylor expansion of y in x
17.419 * [taylor]: Taking taylor expansion of 2 in x
17.420 * [taylor]: Taking taylor expansion of (cos x) in x
17.420 * [taylor]: Taking taylor expansion of x in x
17.420 * [taylor]: Taking taylor expansion of y in x
17.420 * [taylor]: Taking taylor expansion of 1 in x
17.420 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (* (sinh y) (cos x)) y))) in x
17.420 * [taylor]: Rewrote expression to (- (exp (log1p (/ (* (sinh y) (cos x)) y))) 1)
17.420 * [taylor]: Taking taylor expansion of (exp (log1p (/ (* (sinh y) (cos x)) y))) in x
17.420 * [taylor]: Taking taylor expansion of (log1p (/ (* (sinh y) (cos x)) y)) in x
17.420 * [taylor]: Rewrote expression to (log (+ 1 (/ (* (sinh y) (cos x)) y)))
17.420 * [taylor]: Taking taylor expansion of (+ 1 (/ (* (sinh y) (cos x)) y)) in x
17.420 * [taylor]: Taking taylor expansion of 1 in x
17.420 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x
17.420 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
17.420 * [taylor]: Taking taylor expansion of (sinh y) in x
17.421 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
17.421 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
17.421 * [taylor]: Taking taylor expansion of (exp y) in x
17.421 * [taylor]: Taking taylor expansion of y in x
17.421 * [taylor]: Taking taylor expansion of (exp (- y)) in x
17.421 * [taylor]: Taking taylor expansion of (- y) in x
17.421 * [taylor]: Taking taylor expansion of y in x
17.421 * [taylor]: Taking taylor expansion of 2 in x
17.421 * [taylor]: Taking taylor expansion of (cos x) in x
17.421 * [taylor]: Taking taylor expansion of x in x
17.421 * [taylor]: Taking taylor expansion of y in x
17.422 * [taylor]: Taking taylor expansion of 1 in x
17.422 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (exp y) y)) (* 1/2 (/ (exp (- y)) y))) in y
17.422 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) y)) in y
17.422 * [taylor]: Taking taylor expansion of 1/2 in y
17.422 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
17.422 * [taylor]: Taking taylor expansion of (exp y) in y
17.423 * [taylor]: Taking taylor expansion of y in y
17.423 * [taylor]: Taking taylor expansion of y in y
17.423 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) y)) in y
17.423 * [taylor]: Taking taylor expansion of 1/2 in y
17.423 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
17.423 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.423 * [taylor]: Taking taylor expansion of (- y) in y
17.423 * [taylor]: Taking taylor expansion of y in y
17.423 * [taylor]: Taking taylor expansion of y in y
17.436 * [taylor]: Taking taylor expansion of 0 in y
17.450 * [taylor]: Taking taylor expansion of (- (+ (* 1/4 (/ (exp (- y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y))) (* 1/4 (/ (* (exp (- y)) (exp y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2))))) (+ (* 1/4 (/ (exp y) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y))) (+ (* 1/8 (/ (pow (exp (- y)) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)))) (* 1/8 (/ (pow (exp y) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2))))))) in y
17.450 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ (exp (- y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y))) (* 1/4 (/ (* (exp (- y)) (exp y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2))))) in y
17.450 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (- y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y))) in y
17.450 * [taylor]: Taking taylor expansion of 1/4 in y
17.450 * [taylor]: Taking taylor expansion of (/ (exp (- y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y)) in y
17.451 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.451 * [taylor]: Taking taylor expansion of (- y) in y
17.451 * [taylor]: Taking taylor expansion of y in y
17.451 * [taylor]: Taking taylor expansion of (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y) in y
17.451 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) in y
17.451 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (exp y) y)) 1) in y
17.452 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) y)) in y
17.452 * [taylor]: Taking taylor expansion of 1/2 in y
17.452 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
17.452 * [taylor]: Taking taylor expansion of (exp y) in y
17.452 * [taylor]: Taking taylor expansion of y in y
17.452 * [taylor]: Taking taylor expansion of y in y
17.452 * [taylor]: Taking taylor expansion of 1 in y
17.452 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) y)) in y
17.452 * [taylor]: Taking taylor expansion of 1/2 in y
17.452 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
17.452 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.452 * [taylor]: Taking taylor expansion of (- y) in y
17.452 * [taylor]: Taking taylor expansion of y in y
17.452 * [taylor]: Taking taylor expansion of y in y
17.453 * [taylor]: Taking taylor expansion of y in y
17.465 * [taylor]: Taking taylor expansion of (* 1/4 (/ (* (exp (- y)) (exp y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)))) in y
17.465 * [taylor]: Taking taylor expansion of 1/4 in y
17.465 * [taylor]: Taking taylor expansion of (/ (* (exp (- y)) (exp y)) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2))) in y
17.465 * [taylor]: Taking taylor expansion of (* (exp (- y)) (exp y)) in y
17.465 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.465 * [taylor]: Taking taylor expansion of (- y) in y
17.465 * [taylor]: Taking taylor expansion of y in y
17.465 * [taylor]: Taking taylor expansion of (exp y) in y
17.465 * [taylor]: Taking taylor expansion of y in y
17.465 * [taylor]: Taking taylor expansion of (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)) in y
17.465 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) in y
17.465 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (exp y) y)) 1) in y
17.465 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) y)) in y
17.465 * [taylor]: Taking taylor expansion of 1/2 in y
17.465 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
17.465 * [taylor]: Taking taylor expansion of (exp y) in y
17.465 * [taylor]: Taking taylor expansion of y in y
17.465 * [taylor]: Taking taylor expansion of y in y
17.466 * [taylor]: Taking taylor expansion of 1 in y
17.466 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) y)) in y
17.466 * [taylor]: Taking taylor expansion of 1/2 in y
17.466 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
17.466 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.466 * [taylor]: Taking taylor expansion of (- y) in y
17.466 * [taylor]: Taking taylor expansion of y in y
17.466 * [taylor]: Taking taylor expansion of y in y
17.467 * [taylor]: Taking taylor expansion of (pow y 2) in y
17.467 * [taylor]: Taking taylor expansion of y in y
17.474 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ (exp y) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y))) (+ (* 1/8 (/ (pow (exp (- y)) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)))) (* 1/8 (/ (pow (exp y) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)))))) in y
17.474 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y))) in y
17.474 * [taylor]: Taking taylor expansion of 1/4 in y
17.474 * [taylor]: Taking taylor expansion of (/ (exp y) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y)) in y
17.474 * [taylor]: Taking taylor expansion of (exp y) in y
17.474 * [taylor]: Taking taylor expansion of y in y
17.474 * [taylor]: Taking taylor expansion of (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) y) in y
17.474 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) in y
17.474 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (exp y) y)) 1) in y
17.474 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) y)) in y
17.474 * [taylor]: Taking taylor expansion of 1/2 in y
17.474 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
17.474 * [taylor]: Taking taylor expansion of (exp y) in y
17.474 * [taylor]: Taking taylor expansion of y in y
17.474 * [taylor]: Taking taylor expansion of y in y
17.474 * [taylor]: Taking taylor expansion of 1 in y
17.474 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) y)) in y
17.474 * [taylor]: Taking taylor expansion of 1/2 in y
17.474 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
17.475 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.475 * [taylor]: Taking taylor expansion of (- y) in y
17.475 * [taylor]: Taking taylor expansion of y in y
17.475 * [taylor]: Taking taylor expansion of y in y
17.475 * [taylor]: Taking taylor expansion of y in y
17.487 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ (pow (exp (- y)) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)))) (* 1/8 (/ (pow (exp y) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2))))) in y
17.487 * [taylor]: Taking taylor expansion of (* 1/8 (/ (pow (exp (- y)) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)))) in y
17.487 * [taylor]: Taking taylor expansion of 1/8 in y
17.487 * [taylor]: Taking taylor expansion of (/ (pow (exp (- y)) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2))) in y
17.487 * [taylor]: Taking taylor expansion of (pow (exp (- y)) 2) in y
17.487 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.487 * [taylor]: Taking taylor expansion of (- y) in y
17.487 * [taylor]: Taking taylor expansion of y in y
17.488 * [taylor]: Taking taylor expansion of (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)) in y
17.488 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) in y
17.488 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (exp y) y)) 1) in y
17.488 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) y)) in y
17.488 * [taylor]: Taking taylor expansion of 1/2 in y
17.488 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
17.488 * [taylor]: Taking taylor expansion of (exp y) in y
17.488 * [taylor]: Taking taylor expansion of y in y
17.488 * [taylor]: Taking taylor expansion of y in y
17.488 * [taylor]: Taking taylor expansion of 1 in y
17.488 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) y)) in y
17.488 * [taylor]: Taking taylor expansion of 1/2 in y
17.488 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
17.488 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.488 * [taylor]: Taking taylor expansion of (- y) in y
17.488 * [taylor]: Taking taylor expansion of y in y
17.489 * [taylor]: Taking taylor expansion of y in y
17.489 * [taylor]: Taking taylor expansion of (pow y 2) in y
17.489 * [taylor]: Taking taylor expansion of y in y
17.496 * [taylor]: Taking taylor expansion of (* 1/8 (/ (pow (exp y) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)))) in y
17.497 * [taylor]: Taking taylor expansion of 1/8 in y
17.497 * [taylor]: Taking taylor expansion of (/ (pow (exp y) 2) (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2))) in y
17.497 * [taylor]: Taking taylor expansion of (pow (exp y) 2) in y
17.497 * [taylor]: Taking taylor expansion of (exp y) in y
17.497 * [taylor]: Taking taylor expansion of y in y
17.497 * [taylor]: Taking taylor expansion of (* (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) (pow y 2)) in y
17.497 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ (exp y) y)) 1) (* 1/2 (/ (exp (- y)) y))) in y
17.497 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (exp y) y)) 1) in y
17.497 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp y) y)) in y
17.497 * [taylor]: Taking taylor expansion of 1/2 in y
17.497 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
17.497 * [taylor]: Taking taylor expansion of (exp y) in y
17.497 * [taylor]: Taking taylor expansion of y in y
17.497 * [taylor]: Taking taylor expansion of y in y
17.497 * [taylor]: Taking taylor expansion of 1 in y
17.497 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- y)) y)) in y
17.497 * [taylor]: Taking taylor expansion of 1/2 in y
17.497 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
17.497 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.497 * [taylor]: Taking taylor expansion of (- y) in y
17.497 * [taylor]: Taking taylor expansion of y in y
17.498 * [taylor]: Taking taylor expansion of y in y
17.498 * [taylor]: Taking taylor expansion of (pow y 2) in y
17.498 * [taylor]: Taking taylor expansion of y in y
17.600 * [approximate]: Taking taylor expansion of (expm1 (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) in (x y) around 0
17.600 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) in y
17.600 * [taylor]: Rewrote expression to (- (exp (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) 1)
17.600 * [taylor]: Taking taylor expansion of (exp (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) in y
17.600 * [taylor]: Taking taylor expansion of (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in y
17.600 * [taylor]: Rewrote expression to (log (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))))
17.600 * [taylor]: Taking taylor expansion of (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in y
17.600 * [taylor]: Taking taylor expansion of 1 in y
17.600 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y
17.600 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
17.600 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
17.600 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
17.600 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
17.600 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.600 * [taylor]: Taking taylor expansion of y in y
17.601 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
17.601 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
17.601 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.601 * [taylor]: Taking taylor expansion of y in y
17.601 * [taylor]: Taking taylor expansion of 2 in y
17.601 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y
17.602 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
17.602 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.602 * [taylor]: Taking taylor expansion of x in y
17.602 * [taylor]: Taking taylor expansion of y in y
17.607 * [taylor]: Taking taylor expansion of 1 in y
17.607 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) in x
17.607 * [taylor]: Rewrote expression to (- (exp (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) 1)
17.607 * [taylor]: Taking taylor expansion of (exp (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) in x
17.607 * [taylor]: Taking taylor expansion of (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x
17.607 * [taylor]: Rewrote expression to (log (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))))
17.607 * [taylor]: Taking taylor expansion of (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x
17.607 * [taylor]: Taking taylor expansion of 1 in x
17.607 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x
17.608 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
17.608 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
17.608 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
17.608 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
17.608 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.608 * [taylor]: Taking taylor expansion of y in x
17.608 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
17.608 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
17.608 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.608 * [taylor]: Taking taylor expansion of y in x
17.608 * [taylor]: Taking taylor expansion of 2 in x
17.608 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x
17.608 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
17.608 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.608 * [taylor]: Taking taylor expansion of x in x
17.609 * [taylor]: Taking taylor expansion of y in x
17.610 * [taylor]: Taking taylor expansion of 1 in x
17.610 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) in x
17.610 * [taylor]: Rewrote expression to (- (exp (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) 1)
17.610 * [taylor]: Taking taylor expansion of (exp (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)))) in x
17.610 * [taylor]: Taking taylor expansion of (log1p (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x
17.610 * [taylor]: Rewrote expression to (log (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))))
17.610 * [taylor]: Taking taylor expansion of (+ 1 (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x
17.610 * [taylor]: Taking taylor expansion of 1 in x
17.610 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x
17.610 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
17.610 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
17.610 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
17.610 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
17.610 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.610 * [taylor]: Taking taylor expansion of y in x
17.610 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
17.610 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
17.610 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.610 * [taylor]: Taking taylor expansion of y in x
17.610 * [taylor]: Taking taylor expansion of 2 in x
17.610 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x
17.611 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
17.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.611 * [taylor]: Taking taylor expansion of x in x
17.611 * [taylor]: Taking taylor expansion of y in x
17.612 * [taylor]: Taking taylor expansion of 1 in x
17.613 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (exp (/ 1 y)) (* (cos (/ 1 x)) y))) (* 1/2 (* (exp (- (/ 1 y))) (* (cos (/ 1 x)) y)))) in y
17.613 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (* (cos (/ 1 x)) y))) in y
17.613 * [taylor]: Taking taylor expansion of 1/2 in y
17.613 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (* (cos (/ 1 x)) y)) in y
17.613 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
17.613 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.613 * [taylor]: Taking taylor expansion of y in y
17.613 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y
17.613 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
17.613 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.613 * [taylor]: Taking taylor expansion of x in y
17.613 * [taylor]: Taking taylor expansion of y in y
17.613 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (- (/ 1 y))) (* (cos (/ 1 x)) y))) in y
17.614 * [taylor]: Taking taylor expansion of 1/2 in y
17.614 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 y))) (* (cos (/ 1 x)) y)) in y
17.614 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
17.614 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
17.614 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.614 * [taylor]: Taking taylor expansion of y in y
17.614 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y
17.614 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
17.614 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.614 * [taylor]: Taking taylor expansion of x in y
17.614 * [taylor]: Taking taylor expansion of y in y
17.622 * [taylor]: Taking taylor expansion of 0 in y
17.636 * [taylor]: Taking taylor expansion of 0 in y
17.655 * [taylor]: Taking taylor expansion of 0 in y
17.656 * [approximate]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) in (x y) around 0
17.656 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) in y
17.656 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) 1)
17.656 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) in y
17.656 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in y
17.656 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))))
17.656 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in y
17.656 * [taylor]: Taking taylor expansion of 1 in y
17.656 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y
17.656 * [taylor]: Taking taylor expansion of -1 in y
17.656 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y
17.656 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
17.656 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
17.656 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
17.656 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
17.656 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.656 * [taylor]: Taking taylor expansion of -1 in y
17.656 * [taylor]: Taking taylor expansion of y in y
17.657 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
17.657 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
17.657 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.657 * [taylor]: Taking taylor expansion of -1 in y
17.657 * [taylor]: Taking taylor expansion of y in y
17.657 * [taylor]: Taking taylor expansion of 2 in y
17.658 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y
17.658 * [taylor]: Taking taylor expansion of y in y
17.658 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
17.658 * [taylor]: Taking taylor expansion of (/ -1 x) in y
17.658 * [taylor]: Taking taylor expansion of -1 in y
17.658 * [taylor]: Taking taylor expansion of x in y
17.664 * [taylor]: Taking taylor expansion of 1 in y
17.664 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) in x
17.664 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) 1)
17.664 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) in x
17.665 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x
17.665 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))))
17.665 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x
17.665 * [taylor]: Taking taylor expansion of 1 in x
17.665 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x
17.665 * [taylor]: Taking taylor expansion of -1 in x
17.665 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x
17.665 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
17.665 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
17.665 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
17.665 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
17.665 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.665 * [taylor]: Taking taylor expansion of -1 in x
17.665 * [taylor]: Taking taylor expansion of y in x
17.665 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
17.665 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
17.665 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.665 * [taylor]: Taking taylor expansion of -1 in x
17.665 * [taylor]: Taking taylor expansion of y in x
17.665 * [taylor]: Taking taylor expansion of 2 in x
17.665 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x
17.665 * [taylor]: Taking taylor expansion of y in x
17.665 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
17.665 * [taylor]: Taking taylor expansion of (/ -1 x) in x
17.665 * [taylor]: Taking taylor expansion of -1 in x
17.665 * [taylor]: Taking taylor expansion of x in x
17.667 * [taylor]: Taking taylor expansion of 1 in x
17.667 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) in x
17.667 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) 1)
17.667 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))))) in x
17.667 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x
17.667 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))))
17.667 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x
17.667 * [taylor]: Taking taylor expansion of 1 in x
17.667 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x
17.667 * [taylor]: Taking taylor expansion of -1 in x
17.667 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x
17.667 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
17.667 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
17.667 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
17.667 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
17.667 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.667 * [taylor]: Taking taylor expansion of -1 in x
17.667 * [taylor]: Taking taylor expansion of y in x
17.667 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
17.667 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
17.667 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.667 * [taylor]: Taking taylor expansion of -1 in x
17.667 * [taylor]: Taking taylor expansion of y in x
17.668 * [taylor]: Taking taylor expansion of 2 in x
17.668 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x
17.668 * [taylor]: Taking taylor expansion of y in x
17.668 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
17.668 * [taylor]: Taking taylor expansion of (/ -1 x) in x
17.668 * [taylor]: Taking taylor expansion of -1 in x
17.668 * [taylor]: Taking taylor expansion of x in x
17.669 * [taylor]: Taking taylor expansion of 1 in x
17.670 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (exp (/ 1 y)) (* y (cos (/ -1 x))))) (* 1/2 (* (exp (/ -1 y)) (* (cos (/ -1 x)) y)))) in y
17.670 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (* y (cos (/ -1 x))))) in y
17.670 * [taylor]: Taking taylor expansion of 1/2 in y
17.670 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (* y (cos (/ -1 x)))) in y
17.670 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
17.670 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.670 * [taylor]: Taking taylor expansion of y in y
17.671 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y
17.671 * [taylor]: Taking taylor expansion of y in y
17.671 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
17.671 * [taylor]: Taking taylor expansion of (/ -1 x) in y
17.671 * [taylor]: Taking taylor expansion of -1 in y
17.671 * [taylor]: Taking taylor expansion of x in y
17.671 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 y)) (* (cos (/ -1 x)) y))) in y
17.671 * [taylor]: Taking taylor expansion of 1/2 in y
17.671 * [taylor]: Taking taylor expansion of (* (exp (/ -1 y)) (* (cos (/ -1 x)) y)) in y
17.671 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
17.671 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.671 * [taylor]: Taking taylor expansion of -1 in y
17.671 * [taylor]: Taking taylor expansion of y in y
17.671 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) y) in y
17.671 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
17.671 * [taylor]: Taking taylor expansion of (/ -1 x) in y
17.671 * [taylor]: Taking taylor expansion of -1 in y
17.671 * [taylor]: Taking taylor expansion of x in y
17.671 * [taylor]: Taking taylor expansion of y in y
17.679 * [taylor]: Taking taylor expansion of 0 in y
17.698 * [taylor]: Taking taylor expansion of 0 in y
17.718 * [taylor]: Taking taylor expansion of 0 in y
17.718 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
17.718 * [approximate]: Taking taylor expansion of (* (sinh y) (cos x)) in (x y) around 0
17.718 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y
17.718 * [taylor]: Taking taylor expansion of (sinh y) in y
17.718 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
17.718 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
17.718 * [taylor]: Taking taylor expansion of (exp y) in y
17.718 * [taylor]: Taking taylor expansion of y in y
17.718 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.718 * [taylor]: Taking taylor expansion of (- y) in y
17.718 * [taylor]: Taking taylor expansion of y in y
17.719 * [taylor]: Taking taylor expansion of 2 in y
17.722 * [taylor]: Taking taylor expansion of (cos x) in y
17.722 * [taylor]: Taking taylor expansion of x in y
17.722 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
17.722 * [taylor]: Taking taylor expansion of (sinh y) in x
17.722 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
17.722 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
17.722 * [taylor]: Taking taylor expansion of (exp y) in x
17.722 * [taylor]: Taking taylor expansion of y in x
17.722 * [taylor]: Taking taylor expansion of (exp (- y)) in x
17.722 * [taylor]: Taking taylor expansion of (- y) in x
17.722 * [taylor]: Taking taylor expansion of y in x
17.722 * [taylor]: Taking taylor expansion of 2 in x
17.722 * [taylor]: Taking taylor expansion of (cos x) in x
17.722 * [taylor]: Taking taylor expansion of x in x
17.722 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
17.722 * [taylor]: Taking taylor expansion of (sinh y) in x
17.722 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
17.722 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
17.722 * [taylor]: Taking taylor expansion of (exp y) in x
17.722 * [taylor]: Taking taylor expansion of y in x
17.722 * [taylor]: Taking taylor expansion of (exp (- y)) in x
17.722 * [taylor]: Taking taylor expansion of (- y) in x
17.722 * [taylor]: Taking taylor expansion of y in x
17.722 * [taylor]: Taking taylor expansion of 2 in x
17.723 * [taylor]: Taking taylor expansion of (cos x) in x
17.723 * [taylor]: Taking taylor expansion of x in x
17.723 * [taylor]: Taking taylor expansion of (* 1/2 (- (exp y) (exp (- y)))) in y
17.723 * [taylor]: Taking taylor expansion of 1/2 in y
17.723 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
17.723 * [taylor]: Taking taylor expansion of (exp y) in y
17.723 * [taylor]: Taking taylor expansion of y in y
17.723 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.723 * [taylor]: Taking taylor expansion of (- y) in y
17.723 * [taylor]: Taking taylor expansion of y in y
17.729 * [taylor]: Taking taylor expansion of 0 in y
17.737 * [taylor]: Taking taylor expansion of (- (* 1/4 (exp (- y))) (* 1/4 (exp y))) in y
17.737 * [taylor]: Taking taylor expansion of (* 1/4 (exp (- y))) in y
17.737 * [taylor]: Taking taylor expansion of 1/4 in y
17.737 * [taylor]: Taking taylor expansion of (exp (- y)) in y
17.737 * [taylor]: Taking taylor expansion of (- y) in y
17.737 * [taylor]: Taking taylor expansion of y in y
17.738 * [taylor]: Taking taylor expansion of (* 1/4 (exp y)) in y
17.738 * [taylor]: Taking taylor expansion of 1/4 in y
17.738 * [taylor]: Taking taylor expansion of (exp y) in y
17.738 * [taylor]: Taking taylor expansion of y in y
17.746 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (cos (/ 1 x))) in (x y) around 0
17.746 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (cos (/ 1 x))) in y
17.746 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
17.746 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
17.746 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
17.746 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
17.746 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.746 * [taylor]: Taking taylor expansion of y in y
17.747 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
17.747 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
17.747 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.747 * [taylor]: Taking taylor expansion of y in y
17.747 * [taylor]: Taking taylor expansion of 2 in y
17.747 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
17.747 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.748 * [taylor]: Taking taylor expansion of x in y
17.748 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (cos (/ 1 x))) in x
17.748 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
17.748 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
17.748 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
17.748 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
17.748 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.748 * [taylor]: Taking taylor expansion of y in x
17.748 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
17.748 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
17.748 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.748 * [taylor]: Taking taylor expansion of y in x
17.748 * [taylor]: Taking taylor expansion of 2 in x
17.748 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
17.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.748 * [taylor]: Taking taylor expansion of x in x
17.749 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (cos (/ 1 x))) in x
17.749 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
17.749 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
17.749 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
17.749 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
17.749 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.749 * [taylor]: Taking taylor expansion of y in x
17.749 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
17.749 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
17.749 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.749 * [taylor]: Taking taylor expansion of y in x
17.749 * [taylor]: Taking taylor expansion of 2 in x
17.749 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
17.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.749 * [taylor]: Taking taylor expansion of x in x
17.750 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y
17.750 * [taylor]: Taking taylor expansion of 1/2 in y
17.750 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y
17.750 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
17.750 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.750 * [taylor]: Taking taylor expansion of x in y
17.750 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
17.750 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
17.750 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.750 * [taylor]: Taking taylor expansion of y in y
17.751 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
17.751 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
17.751 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.751 * [taylor]: Taking taylor expansion of y in y
17.755 * [taylor]: Taking taylor expansion of 0 in y
17.761 * [taylor]: Taking taylor expansion of 0 in y
17.771 * [taylor]: Taking taylor expansion of 0 in y
17.771 * [approximate]: Taking taylor expansion of (* (sinh (/ -1 y)) (cos (/ -1 x))) in (x y) around 0
17.771 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (cos (/ -1 x))) in y
17.771 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
17.771 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
17.772 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
17.772 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
17.772 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.772 * [taylor]: Taking taylor expansion of -1 in y
17.772 * [taylor]: Taking taylor expansion of y in y
17.772 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
17.772 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
17.772 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.772 * [taylor]: Taking taylor expansion of -1 in y
17.772 * [taylor]: Taking taylor expansion of y in y
17.776 * [taylor]: Taking taylor expansion of 2 in y
17.776 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
17.776 * [taylor]: Taking taylor expansion of (/ -1 x) in y
17.776 * [taylor]: Taking taylor expansion of -1 in y
17.776 * [taylor]: Taking taylor expansion of x in y
17.776 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (cos (/ -1 x))) in x
17.776 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
17.776 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
17.776 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
17.776 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
17.776 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.776 * [taylor]: Taking taylor expansion of -1 in x
17.777 * [taylor]: Taking taylor expansion of y in x
17.777 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
17.777 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
17.777 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.777 * [taylor]: Taking taylor expansion of -1 in x
17.777 * [taylor]: Taking taylor expansion of y in x
17.777 * [taylor]: Taking taylor expansion of 2 in x
17.777 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
17.777 * [taylor]: Taking taylor expansion of (/ -1 x) in x
17.777 * [taylor]: Taking taylor expansion of -1 in x
17.777 * [taylor]: Taking taylor expansion of x in x
17.777 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (cos (/ -1 x))) in x
17.778 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
17.778 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
17.778 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
17.778 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
17.778 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.778 * [taylor]: Taking taylor expansion of -1 in x
17.778 * [taylor]: Taking taylor expansion of y in x
17.778 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
17.778 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
17.778 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.778 * [taylor]: Taking taylor expansion of -1 in x
17.778 * [taylor]: Taking taylor expansion of y in x
17.778 * [taylor]: Taking taylor expansion of 2 in x
17.778 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
17.778 * [taylor]: Taking taylor expansion of (/ -1 x) in x
17.778 * [taylor]: Taking taylor expansion of -1 in x
17.778 * [taylor]: Taking taylor expansion of x in x
17.779 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x)))) in y
17.779 * [taylor]: Taking taylor expansion of 1/2 in y
17.779 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))) in y
17.779 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
17.779 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
17.779 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.779 * [taylor]: Taking taylor expansion of -1 in y
17.779 * [taylor]: Taking taylor expansion of y in y
17.779 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
17.779 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.779 * [taylor]: Taking taylor expansion of y in y
17.780 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
17.780 * [taylor]: Taking taylor expansion of (/ -1 x) in y
17.780 * [taylor]: Taking taylor expansion of -1 in y
17.780 * [taylor]: Taking taylor expansion of x in y
17.783 * [taylor]: Taking taylor expansion of 0 in y
17.790 * [taylor]: Taking taylor expansion of 0 in y
17.800 * [taylor]: Taking taylor expansion of 0 in y
17.800 * * * [progress]: simplifying candidates
17.801 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ 1 (/ (* (cos x) (sinh y)) y))
  (expm1 (log1p (/ (* (cos x) (sinh y)) y)))
  (log1p (log1p (/ (* (cos x) (sinh y)) y)))
  (log (log1p (/ (* (cos x) (sinh y)) y)))
  (exp (log1p (/ (* (cos x) (sinh y)) y)))
  (* (cbrt (log1p (/ (* (cos x) (sinh y)) y))) (cbrt (log1p (/ (* (cos x) (sinh y)) y))))
  (cbrt (log1p (/ (* (cos x) (sinh y)) y)))
  (* (* (log1p (/ (* (cos x) (sinh y)) y)) (log1p (/ (* (cos x) (sinh y)) y))) (log1p (/ (* (cos x) (sinh y)) y)))
  (sqrt (log1p (/ (* (cos x) (sinh y)) y)))
  (sqrt (log1p (/ (* (cos x) (sinh y)) y)))
  (expm1 (/ (* (cos x) (sinh y)) y))
  (log1p (/ (* (cos x) (sinh y)) y))
  (- (+ (log (cos x)) (log (sinh y))) (log y))
  (- (log (* (cos x) (sinh y))) (log y))
  (log (/ (* (cos x) (sinh y)) y))
  (exp (/ (* (cos x) (sinh y)) y))
  (/ (* (* (* (cos x) (cos x)) (cos x)) (* (* (sinh y) (sinh y)) (sinh y))) (* (* y y) y))
  (/ (* (* (* (cos x) (sinh y)) (* (cos x) (sinh y))) (* (cos x) (sinh y))) (* (* y y) y))
  (* (cbrt (/ (* (cos x) (sinh y)) y)) (cbrt (/ (* (cos x) (sinh y)) y)))
  (cbrt (/ (* (cos x) (sinh y)) y))
  (* (* (/ (* (cos x) (sinh y)) y) (/ (* (cos x) (sinh y)) y)) (/ (* (cos x) (sinh y)) y))
  (sqrt (/ (* (cos x) (sinh y)) y))
  (sqrt (/ (* (cos x) (sinh y)) y))
  (- (* (cos x) (sinh y)))
  (- y)
  (/ (cos x) (* (cbrt y) (cbrt y)))
  (/ (sinh y) (cbrt y))
  (/ (cos x) (sqrt y))
  (/ (sinh y) (sqrt y))
  (/ (cos x) 1)
  (/ (sinh y) y)
  (/ 1 y)
  (/ y (* (cos x) (sinh y)))
  (/ (* (cos x) (sinh y)) (* (cbrt y) (cbrt y)))
  (/ (* (cos x) (sinh y)) (sqrt y))
  (/ (* (cos x) (sinh y)) 1)
  (/ y (sinh y))
  (* y 2)
  (exp (log1p (/ (* (cos x) (sinh y)) y)))
  (expm1 (expm1 (log1p (/ (* (cos x) (sinh y)) y))))
  (log1p (expm1 (log1p (/ (* (cos x) (sinh y)) y))))
  (log (expm1 (log1p (/ (* (cos x) (sinh y)) y))))
  (exp (expm1 (log1p (/ (* (cos x) (sinh y)) y))))
  (* (cbrt (expm1 (log1p (/ (* (cos x) (sinh y)) y)))) (cbrt (expm1 (log1p (/ (* (cos x) (sinh y)) y)))))
  (cbrt (expm1 (log1p (/ (* (cos x) (sinh y)) y))))
  (* (* (expm1 (log1p (/ (* (cos x) (sinh y)) y))) (expm1 (log1p (/ (* (cos x) (sinh y)) y)))) (expm1 (log1p (/ (* (cos x) (sinh y)) y))))
  (sqrt (expm1 (log1p (/ (* (cos x) (sinh y)) y))))
  (sqrt (expm1 (log1p (/ (* (cos x) (sinh y)) y))))
  (expm1 (* (cos x) (sinh y)))
  (log1p (* (cos x) (sinh y)))
  (* (cos x) (sinh y))
  (+ (log (cos x)) (log (sinh y)))
  (log (* (cos x) (sinh y)))
  (exp (* (cos x) (sinh y)))
  (* (* (* (cos x) (cos x)) (cos x)) (* (* (sinh y) (sinh y)) (sinh y)))
  (* (cbrt (* (cos x) (sinh y))) (cbrt (* (cos x) (sinh y))))
  (cbrt (* (cos x) (sinh y)))
  (* (* (* (cos x) (sinh y)) (* (cos x) (sinh y))) (* (cos x) (sinh y)))
  (sqrt (* (cos x) (sinh y)))
  (sqrt (* (cos x) (sinh y)))
  (* (sqrt (cos x)) (sqrt (sinh y)))
  (* (sqrt (cos x)) (sqrt (sinh y)))
  (* (cos x) (* (cbrt (sinh y)) (cbrt (sinh y))))
  (* (cos x) (sqrt (sinh y)))
  (* (cos x) 1)
  (* (cbrt (cos x)) (sinh y))
  (* (sqrt (cos x)) (sinh y))
  (* (cos x) (sinh y))
  (* (cos x) (- (exp y) (exp (- y))))
  (- (+ (* 1/12 (pow y 2)) (log 2)) (* 1/4 (pow x 2)))
  (- (+ (* 1/2 (/ (* (exp y) (cos x)) y)) (+ (* 1/24 (/ (* (pow (exp y) 3) (pow (cos x) 3)) (pow y 3))) (+ (* 1/4 (/ (* (exp (- y)) (* (exp y) (pow (cos x) 2))) (pow y 2))) (* 1/8 (/ (* (pow (exp (- y)) 2) (* (exp y) (pow (cos x) 3))) (pow y 3)))))) (+ (* 1/8 (/ (* (pow (exp (- y)) 2) (pow (cos x) 2)) (pow y 2))) (+ (* 1/24 (/ (* (pow (exp (- y)) 3) (pow (cos x) 3)) (pow y 3))) (+ (* 1/8 (/ (* (pow (exp y) 2) (pow (cos x) 2)) (pow y 2))) (+ (* 1/2 (/ (* (exp (- y)) (cos x)) y)) (* 1/8 (/ (* (exp (- y)) (* (pow (exp y) 2) (pow (cos x) 3))) (pow y 3))))))))
  (- (+ (* 1/2 (/ (* (exp y) (cos x)) y)) (+ (* 1/24 (/ (* (pow (exp y) 3) (pow (cos x) 3)) (pow y 3))) (+ (* 1/8 (/ (* (pow (exp (* -1 y)) 2) (* (exp y) (pow (cos x) 3))) (pow y 3))) (* 1/4 (/ (* (pow (cos x) 2) (* (exp y) (exp (* -1 y)))) (pow y 2)))))) (+ (* 1/24 (/ (* (pow (exp (* -1 y)) 3) (pow (cos x) 3)) (pow y 3))) (+ (* 1/8 (/ (* (exp (* -1 y)) (* (pow (exp y) 2) (pow (cos x) 3))) (pow y 3))) (+ (* 1/8 (/ (* (pow (cos x) 2) (pow (exp (* -1 y)) 2)) (pow y 2))) (+ (* 1/8 (/ (* (pow (exp y) 2) (pow (cos x) 2)) (pow y 2))) (* 1/2 (/ (* (cos x) (exp (* -1 y))) y)))))))
  (- (+ (* 1/6 (pow y 2)) 1) (* 1/2 (pow x 2)))
  (/ (- (* 1/2 (* (exp y) (cos x))) (* 1/2 (* (exp (- y)) (cos x)))) y)
  (* -1 (/ (- (* 1/2 (* (exp (* -1 y)) (cos x))) (* 1/2 (* (exp y) (cos x)))) y))
  (- (+ (* 1/6 (pow y 2)) 1) (* 1/2 (pow x 2)))
  (/ (- (* 1/2 (* (exp y) (cos x))) (* 1/2 (* (exp (- y)) (cos x)))) y)
  (* -1 (/ (- (* 1/2 (* (exp (* -1 y)) (cos x))) (* 1/2 (* (exp y) (cos x)))) y))
  (- (+ (* 1/6 (pow y 3)) y) (* 1/2 (* (pow x 2) y)))
  (* 1/2 (* (- (exp y) (exp (- y))) (cos x)))
  (* 1/2 (* (- (exp y) (exp (* -1 y))) (cos x)))
17.807 * * [simplify]: iteration  0 :  207  enodes  (cost  1100 )
17.863 * * [simplify]: iteration  1 :  541  enodes  (cost  1011 )
18.097 * * [simplify]: iteration  2 :  2212  enodes  (cost  899 )
18.710 * * [simplify]: iteration  done :  5000  enodes  (cost  895 )
18.711 * [simplify]: Simplified to:
   (+ 1 (/ (* (cos x) (sinh y)) y))
  (/ (* (cos x) (sinh y)) y)
  (log1p (log1p (/ (* (cos x) (sinh y)) y)))
  (log (log1p (/ (* (cos x) (sinh y)) y)))
  (exp (log1p (/ (* (cos x) (sinh y)) y)))
  (* (cbrt (log1p (/ (* (cos x) (sinh y)) y))) (cbrt (log1p (/ (* (cos x) (sinh y)) y))))
  (cbrt (log1p (/ (* (cos x) (sinh y)) y)))
  (pow (log1p (/ (* (cos x) (sinh y)) y)) 3)
  (sqrt (log1p (/ (* (cos x) (sinh y)) y)))
  (sqrt (log1p (/ (* (cos x) (sinh y)) y)))
  (expm1 (/ (* (cos x) (sinh y)) y))
  (log1p (/ (* (cos x) (sinh y)) y))
  (log (/ (* (cos x) (sinh y)) y))
  (log (/ (* (cos x) (sinh y)) y))
  (log (/ (* (cos x) (sinh y)) y))
  (exp (/ (* (cos x) (sinh y)) y))
  (pow (/ (* (cos x) (sinh y)) y) 3)
  (pow (/ (* (cos x) (sinh y)) y) 3)
  (* (cbrt (/ (* (cos x) (sinh y)) y)) (cbrt (/ (* (cos x) (sinh y)) y)))
  (cbrt (/ (* (cos x) (sinh y)) y))
  (pow (/ (* (cos x) (sinh y)) y) 3)
  (sqrt (/ (* (cos x) (sinh y)) y))
  (sqrt (/ (* (cos x) (sinh y)) y))
  (- (* (cos x) (sinh y)))
  (- y)
  (/ (cos x) (* (cbrt y) (cbrt y)))
  (/ (sinh y) (cbrt y))
  (/ (cos x) (sqrt y))
  (/ (sinh y) (sqrt y))
  (cos x)
  (/ (sinh y) y)
  (/ 1 y)
  (/ y (* (cos x) (sinh y)))
  (/ (* (cos x) (sinh y)) (* (cbrt y) (cbrt y)))
  (/ (* (cos x) (sinh y)) (sqrt y))
  (* (cos x) (sinh y))
  (/ y (sinh y))
  (* y 2)
  (exp (log1p (/ (* (cos x) (sinh y)) y)))
  (expm1 (/ (* (cos x) (sinh y)) y))
  (log1p (/ (* (cos x) (sinh y)) y))
  (log (/ (* (cos x) (sinh y)) y))
  (exp (/ (* (cos x) (sinh y)) y))
  (* (cbrt (/ (* (cos x) (sinh y)) y)) (cbrt (/ (* (cos x) (sinh y)) y)))
  (cbrt (/ (* (cos x) (sinh y)) y))
  (pow (/ (* (cos x) (sinh y)) y) 3)
  (sqrt (/ (* (cos x) (sinh y)) y))
  (sqrt (/ (* (cos x) (sinh y)) y))
  (expm1 (* (cos x) (sinh y)))
  (log1p (* (cos x) (sinh y)))
  (* (cos x) (sinh y))
  (log (* (cos x) (sinh y)))
  (log (* (cos x) (sinh y)))
  (exp (* (cos x) (sinh y)))
  (pow (* (cos x) (sinh y)) 3)
  (* (cbrt (* (cos x) (sinh y))) (cbrt (* (cos x) (sinh y))))
  (cbrt (* (cos x) (sinh y)))
  (pow (* (cos x) (sinh y)) 3)
  (sqrt (* (cos x) (sinh y)))
  (sqrt (* (cos x) (sinh y)))
  (* (sqrt (cos x)) (sqrt (sinh y)))
  (* (sqrt (cos x)) (sqrt (sinh y)))
  (* (cos x) (* (cbrt (sinh y)) (cbrt (sinh y))))
  (* (cos x) (sqrt (sinh y)))
  (cos x)
  (* (cbrt (cos x)) (sinh y))
  (* (sqrt (cos x)) (sinh y))
  (* (cos x) (sinh y))
  (* (cos x) (- (exp y) (exp (- y))))
  (- (fma 1/12 (* y y) (log 2)) (* 1/4 (pow x 2)))
  (- (fma 1/2 (/ (* (exp y) (cos x)) y) (fma 1/24 (/ (* (pow (exp y) 3) (pow (cos x) 3)) (pow y 3)) (fma (/ (pow (cos x) 2) (* y y)) 1/4 (* (/ (* (exp (- y)) 1) (/ (pow y 3) (pow (cos x) 3))) 1/8)))) (fma (/ (* (pow (exp (- y)) 3) (pow (cos x) 3)) (pow y 3)) 1/24 (+ (fma 1/2 (/ (/ (cos x) (exp y)) y) (/ 1/8 (/ (/ (pow y 3) (exp y)) (pow (cos x) 3)))) (* 1/8 (+ (/ (* (pow (exp (- y)) 2) (pow (cos x) 2)) (* y y)) (/ (* (pow (exp y) 2) (pow (cos x) 2)) (pow y 2)))))))
  (- (fma 1/2 (/ (* (exp y) (cos x)) y) (fma 1/24 (/ (* (pow (exp y) 3) (pow (cos x) 3)) (pow y 3)) (fma (/ (pow (cos x) 2) (* y y)) 1/4 (* (/ (* (exp (- y)) 1) (/ (pow y 3) (pow (cos x) 3))) 1/8)))) (fma (/ (* (pow (exp (- y)) 3) (pow (cos x) 3)) (pow y 3)) 1/24 (+ (fma 1/2 (/ (/ (cos x) (exp y)) y) (/ 1/8 (/ (/ (pow y 3) (exp y)) (pow (cos x) 3)))) (* 1/8 (+ (/ (* (pow (exp (- y)) 2) (pow (cos x) 2)) (* y y)) (/ (* (pow (exp y) 2) (pow (cos x) 2)) (pow y 2)))))))
  (- (fma 1/6 (* y y) 1) (* 1/2 (pow x 2)))
  (/ 1/2 (/ y (- (* (exp y) (cos x)) (/ (cos x) (exp y)))))
  (/ (* -1/2 (- (/ (cos x) (exp y)) (* (exp y) (cos x)))) y)
  (- (fma 1/6 (* y y) 1) (* 1/2 (pow x 2)))
  (/ 1/2 (/ y (- (* (exp y) (cos x)) (/ (cos x) (exp y)))))
  (/ (* -1/2 (- (/ (cos x) (exp y)) (* (exp y) (cos x)))) y)
  (- (fma 1/6 (pow y 3) y) (* 1/2 (* (pow x 2) y)))
  (* 1/2 (* (- (exp y) (exp (- y))) (cos x)))
  (* 1/2 (* (- (exp y) (exp (- y))) (cos x)))
18.712 * * * [progress]: adding candidates to table
18.946 * * [progress]: iteration 4 / 4
18.946 * * * [progress]: picking best candidate
18.949 * * * * [pick]: Picked  #<alt (λ (x y) (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))>
18.949 * * * [progress]: localizing error
18.962 * * * [progress]: generating rewritten candidates
18.963 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
18.967 * * * [progress]: generating series expansions
18.967 * * * * [progress]: [ 1 / 1 ] generating series at (2)
18.967 * [approximate]: Taking taylor expansion of (* (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)) (cos x)) in (x y) around 0
18.967 * [taylor]: Taking taylor expansion of (* (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)) (cos x)) in y
18.967 * [taylor]: Taking taylor expansion of (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)) in y
18.967 * [taylor]: Rewrote expression to (+ (* 1/6 (pow y 2)) (fma 1/120 (pow y 4) 1))
18.967 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 2)) in y
18.967 * [taylor]: Taking taylor expansion of 1/6 in y
18.967 * [taylor]: Taking taylor expansion of (pow y 2) in y
18.967 * [taylor]: Taking taylor expansion of y in y
18.968 * [taylor]: Taking taylor expansion of (fma 1/120 (pow y 4) 1) in y
18.968 * [taylor]: Rewrote expression to (+ (* 1/120 (pow y 4)) 1)
18.968 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 4)) in y
18.968 * [taylor]: Taking taylor expansion of 1/120 in y
18.968 * [taylor]: Taking taylor expansion of (pow y 4) in y
18.968 * [taylor]: Taking taylor expansion of y in y
18.968 * [taylor]: Taking taylor expansion of 1 in y
18.968 * [taylor]: Taking taylor expansion of (cos x) in y
18.968 * [taylor]: Taking taylor expansion of x in y
18.968 * [taylor]: Taking taylor expansion of (* (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)) (cos x)) in x
18.968 * [taylor]: Taking taylor expansion of (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)) in x
18.968 * [taylor]: Rewrote expression to (+ (* 1/6 (pow y 2)) (fma 1/120 (pow y 4) 1))
18.968 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 2)) in x
18.968 * [taylor]: Taking taylor expansion of 1/6 in x
18.968 * [taylor]: Taking taylor expansion of (pow y 2) in x
18.968 * [taylor]: Taking taylor expansion of y in x
18.968 * [taylor]: Taking taylor expansion of (fma 1/120 (pow y 4) 1) in x
18.968 * [taylor]: Rewrote expression to (+ (* 1/120 (pow y 4)) 1)
18.968 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 4)) in x
18.968 * [taylor]: Taking taylor expansion of 1/120 in x
18.968 * [taylor]: Taking taylor expansion of (pow y 4) in x
18.968 * [taylor]: Taking taylor expansion of y in x
18.968 * [taylor]: Taking taylor expansion of 1 in x
18.968 * [taylor]: Taking taylor expansion of (cos x) in x
18.968 * [taylor]: Taking taylor expansion of x in x
18.968 * [taylor]: Taking taylor expansion of (* (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)) (cos x)) in x
18.968 * [taylor]: Taking taylor expansion of (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)) in x
18.968 * [taylor]: Rewrote expression to (+ (* 1/6 (pow y 2)) (fma 1/120 (pow y 4) 1))
18.968 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 2)) in x
18.968 * [taylor]: Taking taylor expansion of 1/6 in x
18.968 * [taylor]: Taking taylor expansion of (pow y 2) in x
18.968 * [taylor]: Taking taylor expansion of y in x
18.968 * [taylor]: Taking taylor expansion of (fma 1/120 (pow y 4) 1) in x
18.968 * [taylor]: Rewrote expression to (+ (* 1/120 (pow y 4)) 1)
18.969 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 4)) in x
18.969 * [taylor]: Taking taylor expansion of 1/120 in x
18.969 * [taylor]: Taking taylor expansion of (pow y 4) in x
18.969 * [taylor]: Taking taylor expansion of y in x
18.969 * [taylor]: Taking taylor expansion of 1 in x
18.969 * [taylor]: Taking taylor expansion of (cos x) in x
18.969 * [taylor]: Taking taylor expansion of x in x
18.969 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow y 2)) (+ (* 1/120 (pow y 4)) 1)) in y
18.969 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 2)) in y
18.969 * [taylor]: Taking taylor expansion of 1/6 in y
18.969 * [taylor]: Taking taylor expansion of (pow y 2) in y
18.969 * [taylor]: Taking taylor expansion of y in y
18.970 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow y 4)) 1) in y
18.970 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 4)) in y
18.970 * [taylor]: Taking taylor expansion of 1/120 in y
18.970 * [taylor]: Taking taylor expansion of (pow y 4) in y
18.970 * [taylor]: Taking taylor expansion of y in y
18.970 * [taylor]: Taking taylor expansion of 1 in y
18.973 * [taylor]: Taking taylor expansion of 0 in y
18.978 * [taylor]: Taking taylor expansion of (- (+ (* 1/12 (pow y 2)) (+ (* 1/240 (pow y 4)) 1/2))) in y
18.978 * [taylor]: Taking taylor expansion of (+ (* 1/12 (pow y 2)) (+ (* 1/240 (pow y 4)) 1/2)) in y
18.978 * [taylor]: Taking taylor expansion of (* 1/12 (pow y 2)) in y
18.978 * [taylor]: Taking taylor expansion of 1/12 in y
18.978 * [taylor]: Taking taylor expansion of (pow y 2) in y
18.978 * [taylor]: Taking taylor expansion of y in y
18.978 * [taylor]: Taking taylor expansion of (+ (* 1/240 (pow y 4)) 1/2) in y
18.978 * [taylor]: Taking taylor expansion of (* 1/240 (pow y 4)) in y
18.978 * [taylor]: Taking taylor expansion of 1/240 in y
18.978 * [taylor]: Taking taylor expansion of (pow y 4) in y
18.978 * [taylor]: Taking taylor expansion of y in y
18.978 * [taylor]: Taking taylor expansion of 1/2 in y
18.981 * [approximate]: Taking taylor expansion of (* (fma 1/6 (pow (/ 1 y) 2) (fma 1/120 (pow (/ 1 y) 4) 1)) (cos (/ 1 x))) in (x y) around 0
18.981 * [taylor]: Taking taylor expansion of (* (fma 1/6 (pow (/ 1 y) 2) (fma 1/120 (pow (/ 1 y) 4) 1)) (cos (/ 1 x))) in y
18.981 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 y) 2) (fma 1/120 (pow (/ 1 y) 4) 1)) in y
18.981 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 y) 2)) (fma 1/120 (pow (/ 1 y) 4) 1))
18.981 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 y) 2)) in y
18.981 * [taylor]: Taking taylor expansion of 1/6 in y
18.981 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2) in y
18.981 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.981 * [taylor]: Taking taylor expansion of y in y
18.981 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 y) 4) 1) in y
18.981 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 y) 4)) 1)
18.981 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 y) 4)) in y
18.981 * [taylor]: Taking taylor expansion of 1/120 in y
18.981 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 4) in y
18.981 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.981 * [taylor]: Taking taylor expansion of y in y
18.982 * [taylor]: Taking taylor expansion of 1 in y
18.982 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
18.982 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.982 * [taylor]: Taking taylor expansion of x in y
18.982 * [taylor]: Taking taylor expansion of (* (fma 1/6 (pow (/ 1 y) 2) (fma 1/120 (pow (/ 1 y) 4) 1)) (cos (/ 1 x))) in x
18.982 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 y) 2) (fma 1/120 (pow (/ 1 y) 4) 1)) in x
18.982 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 y) 2)) (fma 1/120 (pow (/ 1 y) 4) 1))
18.982 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 y) 2)) in x
18.982 * [taylor]: Taking taylor expansion of 1/6 in x
18.982 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2) in x
18.982 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.982 * [taylor]: Taking taylor expansion of y in x
18.982 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 y) 4) 1) in x
18.982 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 y) 4)) 1)
18.982 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 y) 4)) in x
18.982 * [taylor]: Taking taylor expansion of 1/120 in x
18.982 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 4) in x
18.982 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.982 * [taylor]: Taking taylor expansion of y in x
18.982 * [taylor]: Taking taylor expansion of 1 in x
18.982 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
18.983 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.983 * [taylor]: Taking taylor expansion of x in x
18.983 * [taylor]: Taking taylor expansion of (* (fma 1/6 (pow (/ 1 y) 2) (fma 1/120 (pow (/ 1 y) 4) 1)) (cos (/ 1 x))) in x
18.983 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 y) 2) (fma 1/120 (pow (/ 1 y) 4) 1)) in x
18.983 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 y) 2)) (fma 1/120 (pow (/ 1 y) 4) 1))
18.983 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 y) 2)) in x
18.983 * [taylor]: Taking taylor expansion of 1/6 in x
18.983 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2) in x
18.983 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.983 * [taylor]: Taking taylor expansion of y in x
18.983 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 y) 4) 1) in x
18.983 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 y) 4)) 1)
18.983 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 y) 4)) in x
18.983 * [taylor]: Taking taylor expansion of 1/120 in x
18.983 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 4) in x
18.983 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.983 * [taylor]: Taking taylor expansion of y in x
18.983 * [taylor]: Taking taylor expansion of 1 in x
18.983 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
18.983 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.983 * [taylor]: Taking taylor expansion of x in x
18.985 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (+ (* 1/120 (/ 1 (pow y 4))) (+ (* 1/6 (/ 1 (pow y 2))) 1))) in y
18.985 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
18.985 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.985 * [taylor]: Taking taylor expansion of x in y
18.985 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow y 4))) (+ (* 1/6 (/ 1 (pow y 2))) 1)) in y
18.985 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow y 4))) in y
18.985 * [taylor]: Taking taylor expansion of 1/120 in y
18.985 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
18.985 * [taylor]: Taking taylor expansion of (pow y 4) in y
18.985 * [taylor]: Taking taylor expansion of y in y
18.986 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow y 2))) 1) in y
18.986 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow y 2))) in y
18.986 * [taylor]: Taking taylor expansion of 1/6 in y
18.986 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
18.986 * [taylor]: Taking taylor expansion of (pow y 2) in y
18.986 * [taylor]: Taking taylor expansion of y in y
18.987 * [taylor]: Taking taylor expansion of 1 in y
18.990 * [taylor]: Taking taylor expansion of 0 in y
19.001 * [taylor]: Taking taylor expansion of 0 in y
19.013 * [taylor]: Taking taylor expansion of 0 in y
19.027 * [taylor]: Taking taylor expansion of 0 in y
19.037 * [approximate]: Taking taylor expansion of (* (fma 1/6 (pow (/ -1 y) 2) (fma 1/120 (pow (/ -1 y) 4) 1)) (cos (/ -1 x))) in (x y) around 0
19.037 * [taylor]: Taking taylor expansion of (* (fma 1/6 (pow (/ -1 y) 2) (fma 1/120 (pow (/ -1 y) 4) 1)) (cos (/ -1 x))) in y
19.037 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 y) 2) (fma 1/120 (pow (/ -1 y) 4) 1)) in y
19.037 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 y) 2)) (fma 1/120 (pow (/ -1 y) 4) 1))
19.037 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 y) 2)) in y
19.037 * [taylor]: Taking taylor expansion of 1/6 in y
19.037 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2) in y
19.037 * [taylor]: Taking taylor expansion of (/ -1 y) in y
19.037 * [taylor]: Taking taylor expansion of -1 in y
19.037 * [taylor]: Taking taylor expansion of y in y
19.038 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 y) 4) 1) in y
19.038 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 y) 4)) 1)
19.038 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 y) 4)) in y
19.038 * [taylor]: Taking taylor expansion of 1/120 in y
19.038 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 4) in y
19.038 * [taylor]: Taking taylor expansion of (/ -1 y) in y
19.038 * [taylor]: Taking taylor expansion of -1 in y
19.038 * [taylor]: Taking taylor expansion of y in y
19.038 * [taylor]: Taking taylor expansion of 1 in y
19.038 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
19.038 * [taylor]: Taking taylor expansion of (/ -1 x) in y
19.038 * [taylor]: Taking taylor expansion of -1 in y
19.038 * [taylor]: Taking taylor expansion of x in y
19.038 * [taylor]: Taking taylor expansion of (* (fma 1/6 (pow (/ -1 y) 2) (fma 1/120 (pow (/ -1 y) 4) 1)) (cos (/ -1 x))) in x
19.038 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 y) 2) (fma 1/120 (pow (/ -1 y) 4) 1)) in x
19.039 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 y) 2)) (fma 1/120 (pow (/ -1 y) 4) 1))
19.039 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 y) 2)) in x
19.039 * [taylor]: Taking taylor expansion of 1/6 in x
19.039 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2) in x
19.039 * [taylor]: Taking taylor expansion of (/ -1 y) in x
19.039 * [taylor]: Taking taylor expansion of -1 in x
19.039 * [taylor]: Taking taylor expansion of y in x
19.039 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 y) 4) 1) in x
19.039 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 y) 4)) 1)
19.039 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 y) 4)) in x
19.039 * [taylor]: Taking taylor expansion of 1/120 in x
19.039 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 4) in x
19.039 * [taylor]: Taking taylor expansion of (/ -1 y) in x
19.039 * [taylor]: Taking taylor expansion of -1 in x
19.039 * [taylor]: Taking taylor expansion of y in x
19.039 * [taylor]: Taking taylor expansion of 1 in x
19.039 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
19.039 * [taylor]: Taking taylor expansion of (/ -1 x) in x
19.039 * [taylor]: Taking taylor expansion of -1 in x
19.039 * [taylor]: Taking taylor expansion of x in x
19.039 * [taylor]: Taking taylor expansion of (* (fma 1/6 (pow (/ -1 y) 2) (fma 1/120 (pow (/ -1 y) 4) 1)) (cos (/ -1 x))) in x
19.039 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 y) 2) (fma 1/120 (pow (/ -1 y) 4) 1)) in x
19.040 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 y) 2)) (fma 1/120 (pow (/ -1 y) 4) 1))
19.040 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 y) 2)) in x
19.040 * [taylor]: Taking taylor expansion of 1/6 in x
19.040 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2) in x
19.040 * [taylor]: Taking taylor expansion of (/ -1 y) in x
19.040 * [taylor]: Taking taylor expansion of -1 in x
19.040 * [taylor]: Taking taylor expansion of y in x
19.040 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 y) 4) 1) in x
19.040 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 y) 4)) 1)
19.040 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 y) 4)) in x
19.040 * [taylor]: Taking taylor expansion of 1/120 in x
19.040 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 4) in x
19.040 * [taylor]: Taking taylor expansion of (/ -1 y) in x
19.040 * [taylor]: Taking taylor expansion of -1 in x
19.040 * [taylor]: Taking taylor expansion of y in x
19.040 * [taylor]: Taking taylor expansion of 1 in x
19.040 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
19.040 * [taylor]: Taking taylor expansion of (/ -1 x) in x
19.040 * [taylor]: Taking taylor expansion of -1 in x
19.040 * [taylor]: Taking taylor expansion of x in x
19.041 * [taylor]: Taking taylor expansion of (* (+ (* 1/120 (/ 1 (pow y 4))) (+ (* 1/6 (/ 1 (pow y 2))) 1)) (cos (/ -1 x))) in y
19.041 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow y 4))) (+ (* 1/6 (/ 1 (pow y 2))) 1)) in y
19.041 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow y 4))) in y
19.041 * [taylor]: Taking taylor expansion of 1/120 in y
19.041 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
19.041 * [taylor]: Taking taylor expansion of (pow y 4) in y
19.041 * [taylor]: Taking taylor expansion of y in y
19.042 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow y 2))) 1) in y
19.042 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow y 2))) in y
19.042 * [taylor]: Taking taylor expansion of 1/6 in y
19.042 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
19.042 * [taylor]: Taking taylor expansion of (pow y 2) in y
19.042 * [taylor]: Taking taylor expansion of y in y
19.043 * [taylor]: Taking taylor expansion of 1 in y
19.043 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
19.043 * [taylor]: Taking taylor expansion of (/ -1 x) in y
19.043 * [taylor]: Taking taylor expansion of -1 in y
19.043 * [taylor]: Taking taylor expansion of x in y
19.046 * [taylor]: Taking taylor expansion of 0 in y
19.053 * [taylor]: Taking taylor expansion of 0 in y
19.064 * [taylor]: Taking taylor expansion of 0 in y
19.079 * [taylor]: Taking taylor expansion of 0 in y
19.094 * * * [progress]: simplifying candidates
19.095 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (log1p (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)))
  (+ (log (cos x)) (log (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (log (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (exp (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (* (* (* (cos x) (cos x)) (cos x)) (* (* (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (* (cbrt (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)))) (cbrt (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)))))
  (cbrt (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (* (* (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))) (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)))) (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (sqrt (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (sqrt (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (* (sqrt (cos x)) (sqrt (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (* (sqrt (cos x)) (sqrt (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (* (cos x) (* 1/6 (pow y 2)))
  (* (cos x) (fma 1/120 (pow y 4) 1))
  (* (* 1/6 (pow y 2)) (cos x))
  (* (fma 1/120 (pow y 4) 1) (cos x))
  (* (cos x) (* (cbrt (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))) (cbrt (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)))))
  (* (cos x) (sqrt (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (* (cos x) 1)
  (* (cbrt (cos x)) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)))
  (* (sqrt (cos x)) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)))
  (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)))
  (- (+ (* 1/6 (pow y 2)) 1) (* 1/2 (pow x 2)))
  (+ (* 1/6 (* (pow y 2) (cos x))) (+ (* 1/120 (* (pow y 4) (cos x))) (cos x)))
  (+ (* 1/6 (* (pow y 2) (cos x))) (+ (* 1/120 (* (pow y 4) (cos x))) (cos x)))
19.097 * * [simplify]: iteration  0 :  57  enodes  (cost  464 )
19.107 * * [simplify]: iteration  1 :  120  enodes  (cost  456 )
19.138 * * [simplify]: iteration  2 :  384  enodes  (cost  392 )
19.374 * * [simplify]: iteration  3 :  1519  enodes  (cost  391 )
20.534 * * [simplify]: iteration  done :  5000  enodes  (cost  391 )
20.534 * [simplify]: Simplified to:
   (expm1 (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (log1p (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)))
  (log (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (log (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (exp (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (pow (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))) 3)
  (* (cbrt (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)))) (cbrt (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)))))
  (cbrt (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (pow (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))) 3)
  (sqrt (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (sqrt (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (* (sqrt (cos x)) (sqrt (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (* (sqrt (cos x)) (sqrt (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (* 1/6 (* (pow y 2) (cos x)))
  (* (fma 1/120 (pow y 4) 1) (cos x))
  (* 1/6 (* (pow y 2) (cos x)))
  (* (fma 1/120 (pow y 4) 1) (cos x))
  (* (cos x) (* (cbrt (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))) (cbrt (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)))))
  (* (cos x) (sqrt (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))
  (cos x)
  (* (cbrt (cos x)) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)))
  (* (sqrt (cos x)) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)))
  (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)))
  (fma -1/2 (pow x 2) (fma 1/6 (pow y 2) 1))
  (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)))
  (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)))
20.535 * * * [progress]: adding candidates to table
20.608 * [progress]: [Phase 3 of 3] Extracting.
20.608 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (expm1 (log1p (/ (* (cos x) (sinh y)) y))))> #<alt (λ (x y) (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))>)
20.609 * * * [regime-changes]: Trying 3 branch expressions: ((cos x) y x)
20.609 * * * * [regimes]: Trying to branch on (cos x) from (#<alt (λ (x y) (expm1 (log1p (/ (* (cos x) (sinh y)) y))))> #<alt (λ (x y) (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))>)
20.627 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (expm1 (log1p (/ (* (cos x) (sinh y)) y))))> #<alt (λ (x y) (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))>)
20.641 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (expm1 (log1p (/ (* (cos x) (sinh y)) y))))> #<alt (λ (x y) (* (cos x) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1))))>)
20.654 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
20.654 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (log1p (/ (* (cos x) (sinh y)) y)))
20.655 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
20.655 * * [simplify]: iteration  1 :  9  enodes  (cost  9 )
20.655 * * [simplify]: iteration  done :  9  enodes  (cost  9 )
20.655 * [simplify]: Simplified to:
   (expm1 (log1p (/ (* (cos x) (sinh y)) y)))
23.179 * [regime-testing]: Baseline error score: 0.3449679428171284
23.179 * [regime-testing]: Oracle error score: 0.16718454195189875
23.180 * [regime-testing]: End program error score: 0.3449679428171284