8.254 * [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.079 * [simplify]: Simplifying using # : (* (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.087 * * [simplify]: iteration 3 : 64 enodes (cost 7 ) 0.096 * * [simplify]: iteration 4 : 134 enodes (cost 7 ) 0.116 * * [simplify]: iteration 5 : 242 enodes (cost 7 ) 0.164 * * [simplify]: iteration 6 : 440 enodes (cost 7 ) 0.364 * * [simplify]: iteration 7 : 968 enodes (cost 7 ) 1.572 * * [simplify]: iteration 8 : 2059 enodes (cost 7 ) 3.245 * * [simplify]: iteration 9 : 2880 enodes (cost 7 ) 6.275 * * [simplify]: iteration 10 : 4119 enodes (cost 7 ) 9.356 * * [simplify]: iteration 11 : 4578 enodes (cost 7 ) 12.064 * * [simplify]: iteration 12 : 4627 enodes (cost 7 ) 14.694 * * [simplify]: iteration 13 : 4638 enodes (cost 7 ) 16.505 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 16.505 * [simplify]: Simplified to: (* (cos x) (/ (sinh y) y)) 16.506 * * [progress]: iteration 1 / 4 16.506 * * * [progress]: picking best candidate 16.507 * * * * [pick]: Picked # 16.507 * * * [progress]: localizing error 16.514 * * * [progress]: generating rewritten candidates 16.514 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 16.515 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 16.517 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 16.527 * * * [progress]: generating series expansions 16.527 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 16.528 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0 16.528 * [taylor]: Taking taylor expansion of (sinh y) in y 16.528 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 16.528 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 16.528 * [taylor]: Taking taylor expansion of (exp y) in y 16.528 * [taylor]: Taking taylor expansion of y in y 16.528 * [taylor]: Taking taylor expansion of (exp (- y)) in y 16.528 * [taylor]: Taking taylor expansion of (- y) in y 16.528 * [taylor]: Taking taylor expansion of y in y 16.529 * [taylor]: Taking taylor expansion of 2 in y 16.531 * [taylor]: Taking taylor expansion of (sinh y) in y 16.532 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 16.532 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 16.532 * [taylor]: Taking taylor expansion of (exp y) in y 16.532 * [taylor]: Taking taylor expansion of y in y 16.532 * [taylor]: Taking taylor expansion of (exp (- y)) in y 16.532 * [taylor]: Taking taylor expansion of (- y) in y 16.532 * [taylor]: Taking taylor expansion of y in y 16.532 * [taylor]: Taking taylor expansion of 2 in y 16.559 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0 16.559 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 16.559 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 16.559 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 16.559 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 16.559 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.559 * [taylor]: Taking taylor expansion of y in y 16.559 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 16.560 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 16.560 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.560 * [taylor]: Taking taylor expansion of y in y 16.560 * [taylor]: Taking taylor expansion of 2 in y 16.560 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 16.560 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 16.560 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 16.560 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 16.560 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.560 * [taylor]: Taking taylor expansion of y in y 16.561 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 16.561 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 16.561 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.561 * [taylor]: Taking taylor expansion of y in y 16.568 * [taylor]: Taking taylor expansion of 2 in y 16.579 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0 16.579 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 16.579 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 16.580 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 16.580 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 16.580 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.580 * [taylor]: Taking taylor expansion of -1 in y 16.580 * [taylor]: Taking taylor expansion of y in y 16.580 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 16.580 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 16.580 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.580 * [taylor]: Taking taylor expansion of -1 in y 16.580 * [taylor]: Taking taylor expansion of y in y 16.581 * [taylor]: Taking taylor expansion of 2 in y 16.581 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 16.581 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 16.581 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 16.581 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 16.581 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.581 * [taylor]: Taking taylor expansion of -1 in y 16.581 * [taylor]: Taking taylor expansion of y in y 16.581 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 16.581 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 16.581 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.581 * [taylor]: Taking taylor expansion of -1 in y 16.581 * [taylor]: Taking taylor expansion of y in y 16.582 * [taylor]: Taking taylor expansion of 2 in y 16.593 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 16.593 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0 16.593 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 16.593 * [taylor]: Taking taylor expansion of (sinh y) in y 16.593 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 16.593 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 16.593 * [taylor]: Taking taylor expansion of (exp y) in y 16.593 * [taylor]: Taking taylor expansion of y in y 16.593 * [taylor]: Taking taylor expansion of (exp (- y)) in y 16.593 * [taylor]: Taking taylor expansion of (- y) in y 16.593 * [taylor]: Taking taylor expansion of y in y 16.594 * [taylor]: Taking taylor expansion of 2 in y 16.596 * [taylor]: Taking taylor expansion of y in y 16.597 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 16.597 * [taylor]: Taking taylor expansion of (sinh y) in y 16.597 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 16.597 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 16.597 * [taylor]: Taking taylor expansion of (exp y) in y 16.597 * [taylor]: Taking taylor expansion of y in y 16.597 * [taylor]: Taking taylor expansion of (exp (- y)) in y 16.597 * [taylor]: Taking taylor expansion of (- y) in y 16.597 * [taylor]: Taking taylor expansion of y in y 16.597 * [taylor]: Taking taylor expansion of 2 in y 16.600 * [taylor]: Taking taylor expansion of y in y 16.627 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0 16.627 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 16.627 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 16.627 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 16.627 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 16.627 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 16.627 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.627 * [taylor]: Taking taylor expansion of y in y 16.628 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 16.628 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 16.628 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.628 * [taylor]: Taking taylor expansion of y in y 16.628 * [taylor]: Taking taylor expansion of 2 in y 16.629 * [taylor]: Taking taylor expansion of y in y 16.629 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 16.629 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 16.629 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 16.629 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 16.629 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 16.629 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.629 * [taylor]: Taking taylor expansion of y in y 16.629 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 16.629 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 16.629 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.629 * [taylor]: Taking taylor expansion of y in y 16.630 * [taylor]: Taking taylor expansion of 2 in y 16.630 * [taylor]: Taking taylor expansion of y in y 16.655 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in (y) around 0 16.655 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 16.655 * [taylor]: Taking taylor expansion of -1 in y 16.655 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 16.655 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 16.655 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 16.655 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 16.655 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 16.655 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.655 * [taylor]: Taking taylor expansion of -1 in y 16.655 * [taylor]: Taking taylor expansion of y in y 16.655 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 16.655 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 16.655 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.655 * [taylor]: Taking taylor expansion of -1 in y 16.655 * [taylor]: Taking taylor expansion of y in y 16.656 * [taylor]: Taking taylor expansion of 2 in y 16.656 * [taylor]: Taking taylor expansion of y in y 16.656 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 16.656 * [taylor]: Taking taylor expansion of -1 in y 16.656 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 16.656 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 16.656 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 16.656 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 16.656 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 16.656 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.656 * [taylor]: Taking taylor expansion of -1 in y 16.656 * [taylor]: Taking taylor expansion of y in y 16.657 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 16.657 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 16.657 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.657 * [taylor]: Taking taylor expansion of -1 in y 16.657 * [taylor]: Taking taylor expansion of y in y 16.657 * [taylor]: Taking taylor expansion of 2 in y 16.658 * [taylor]: Taking taylor expansion of y in y 16.685 * * * * [progress]: [ 3 / 3 ] generating series at (2) 16.685 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0 16.686 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 16.686 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 16.686 * [taylor]: Taking taylor expansion of (sinh y) in y 16.686 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 16.686 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 16.686 * [taylor]: Taking taylor expansion of (exp y) in y 16.686 * [taylor]: Taking taylor expansion of y in y 16.686 * [taylor]: Taking taylor expansion of (exp (- y)) in y 16.686 * [taylor]: Taking taylor expansion of (- y) in y 16.686 * [taylor]: Taking taylor expansion of y in y 16.686 * [taylor]: Taking taylor expansion of 2 in y 16.689 * [taylor]: Taking taylor expansion of (cos x) in y 16.689 * [taylor]: Taking taylor expansion of x in y 16.689 * [taylor]: Taking taylor expansion of y in y 16.690 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 16.690 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 16.690 * [taylor]: Taking taylor expansion of (sinh y) in x 16.690 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 16.690 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 16.690 * [taylor]: Taking taylor expansion of (exp y) in x 16.690 * [taylor]: Taking taylor expansion of y in x 16.690 * [taylor]: Taking taylor expansion of (exp (- y)) in x 16.690 * [taylor]: Taking taylor expansion of (- y) in x 16.690 * [taylor]: Taking taylor expansion of y in x 16.690 * [taylor]: Taking taylor expansion of 2 in x 16.691 * [taylor]: Taking taylor expansion of (cos x) in x 16.691 * [taylor]: Taking taylor expansion of x in x 16.691 * [taylor]: Taking taylor expansion of y in x 16.691 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 16.691 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 16.691 * [taylor]: Taking taylor expansion of (sinh y) in x 16.691 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 16.691 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 16.691 * [taylor]: Taking taylor expansion of (exp y) in x 16.691 * [taylor]: Taking taylor expansion of y in x 16.691 * [taylor]: Taking taylor expansion of (exp (- y)) in x 16.691 * [taylor]: Taking taylor expansion of (- y) in x 16.691 * [taylor]: Taking taylor expansion of y in x 16.691 * [taylor]: Taking taylor expansion of 2 in x 16.691 * [taylor]: Taking taylor expansion of (cos x) in x 16.691 * [taylor]: Taking taylor expansion of x in x 16.691 * [taylor]: Taking taylor expansion of y in x 16.691 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (- y))) y)) in y 16.691 * [taylor]: Taking taylor expansion of 1/2 in y 16.692 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (- y))) y) in y 16.692 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 16.692 * [taylor]: Taking taylor expansion of (exp y) in y 16.692 * [taylor]: Taking taylor expansion of y in y 16.692 * [taylor]: Taking taylor expansion of (exp (- y)) in y 16.692 * [taylor]: Taking taylor expansion of (- y) in y 16.692 * [taylor]: Taking taylor expansion of y in y 16.692 * [taylor]: Taking taylor expansion of y in y 16.699 * [taylor]: Taking taylor expansion of 0 in y 16.708 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (- y)) y)) (* 1/4 (/ (exp y) y))) in y 16.708 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (- y)) y)) in y 16.708 * [taylor]: Taking taylor expansion of 1/4 in y 16.708 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y 16.708 * [taylor]: Taking taylor expansion of (exp (- y)) in y 16.708 * [taylor]: Taking taylor expansion of (- y) in y 16.708 * [taylor]: Taking taylor expansion of y in y 16.708 * [taylor]: Taking taylor expansion of y in y 16.709 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 16.709 * [taylor]: Taking taylor expansion of 1/4 in y 16.709 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 16.709 * [taylor]: Taking taylor expansion of (exp y) in y 16.709 * [taylor]: Taking taylor expansion of y in y 16.709 * [taylor]: Taking taylor expansion of y in y 16.719 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0 16.719 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 16.719 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 16.719 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 16.719 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 16.719 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 16.719 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.719 * [taylor]: Taking taylor expansion of y in y 16.720 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 16.720 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 16.720 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.720 * [taylor]: Taking taylor expansion of y in y 16.720 * [taylor]: Taking taylor expansion of 2 in y 16.720 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 16.720 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 16.720 * [taylor]: Taking taylor expansion of (/ 1 x) in y 16.721 * [taylor]: Taking taylor expansion of x in y 16.721 * [taylor]: Taking taylor expansion of y in y 16.721 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 16.721 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 16.721 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 16.721 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 16.721 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 16.721 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.721 * [taylor]: Taking taylor expansion of y in x 16.721 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 16.721 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 16.721 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.721 * [taylor]: Taking taylor expansion of y in x 16.721 * [taylor]: Taking taylor expansion of 2 in x 16.721 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 16.721 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 16.721 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.721 * [taylor]: Taking taylor expansion of x in x 16.722 * [taylor]: Taking taylor expansion of y in x 16.722 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 16.722 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 16.722 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 16.722 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 16.722 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 16.722 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.722 * [taylor]: Taking taylor expansion of y in x 16.722 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 16.722 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 16.722 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.722 * [taylor]: Taking taylor expansion of y in x 16.722 * [taylor]: Taking taylor expansion of 2 in x 16.723 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 16.723 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 16.723 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.723 * [taylor]: Taking taylor expansion of x in x 16.723 * [taylor]: Taking taylor expansion of y in x 16.723 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y 16.723 * [taylor]: Taking taylor expansion of 1/2 in y 16.723 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y 16.723 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 16.723 * [taylor]: Taking taylor expansion of (/ 1 x) in y 16.723 * [taylor]: Taking taylor expansion of x in y 16.724 * [taylor]: Taking taylor expansion of (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y 16.724 * [taylor]: Taking taylor expansion of y in y 16.724 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 16.724 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 16.724 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.724 * [taylor]: Taking taylor expansion of y in y 16.724 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 16.724 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 16.724 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.724 * [taylor]: Taking taylor expansion of y in y 16.728 * [taylor]: Taking taylor expansion of 0 in y 16.737 * [taylor]: Taking taylor expansion of 0 in y 16.753 * [taylor]: Taking taylor expansion of 0 in y 16.753 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in (x y) around 0 16.753 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 16.753 * [taylor]: Taking taylor expansion of -1 in y 16.753 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 16.753 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 16.753 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 16.753 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 16.753 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 16.753 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.753 * [taylor]: Taking taylor expansion of -1 in y 16.753 * [taylor]: Taking taylor expansion of y in y 16.754 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 16.754 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 16.754 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.754 * [taylor]: Taking taylor expansion of -1 in y 16.754 * [taylor]: Taking taylor expansion of y in y 16.754 * [taylor]: Taking taylor expansion of 2 in y 16.755 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 16.755 * [taylor]: Taking taylor expansion of y in y 16.755 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 16.755 * [taylor]: Taking taylor expansion of (/ -1 x) in y 16.755 * [taylor]: Taking taylor expansion of -1 in y 16.755 * [taylor]: Taking taylor expansion of x in y 16.755 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 16.755 * [taylor]: Taking taylor expansion of -1 in x 16.755 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 16.755 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 16.755 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 16.755 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 16.755 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 16.755 * [taylor]: Taking taylor expansion of (/ -1 y) in x 16.755 * [taylor]: Taking taylor expansion of -1 in x 16.755 * [taylor]: Taking taylor expansion of y in x 16.755 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 16.755 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 16.755 * [taylor]: Taking taylor expansion of (/ -1 y) in x 16.755 * [taylor]: Taking taylor expansion of -1 in x 16.755 * [taylor]: Taking taylor expansion of y in x 16.755 * [taylor]: Taking taylor expansion of 2 in x 16.755 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 16.755 * [taylor]: Taking taylor expansion of y in x 16.755 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 16.755 * [taylor]: Taking taylor expansion of (/ -1 x) in x 16.755 * [taylor]: Taking taylor expansion of -1 in x 16.755 * [taylor]: Taking taylor expansion of x in x 16.756 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 16.756 * [taylor]: Taking taylor expansion of -1 in x 16.756 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 16.756 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 16.756 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 16.756 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 16.756 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 16.756 * [taylor]: Taking taylor expansion of (/ -1 y) in x 16.756 * [taylor]: Taking taylor expansion of -1 in x 16.756 * [taylor]: Taking taylor expansion of y in x 16.756 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 16.756 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 16.756 * [taylor]: Taking taylor expansion of (/ -1 y) in x 16.756 * [taylor]: Taking taylor expansion of -1 in x 16.756 * [taylor]: Taking taylor expansion of y in x 16.756 * [taylor]: Taking taylor expansion of 2 in x 16.756 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 16.756 * [taylor]: Taking taylor expansion of y in x 16.756 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 16.757 * [taylor]: Taking taylor expansion of (/ -1 x) in x 16.757 * [taylor]: Taking taylor expansion of -1 in x 16.757 * [taylor]: Taking taylor expansion of x in x 16.757 * [taylor]: Taking taylor expansion of (* -1/2 (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))))) in y 16.757 * [taylor]: Taking taylor expansion of -1/2 in y 16.757 * [taylor]: Taking taylor expansion of (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x)))) in y 16.757 * [taylor]: Taking taylor expansion of y in y 16.757 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))) in y 16.757 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 16.757 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 16.757 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.757 * [taylor]: Taking taylor expansion of -1 in y 16.757 * [taylor]: Taking taylor expansion of y in y 16.758 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 16.758 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.758 * [taylor]: Taking taylor expansion of y in y 16.758 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 16.758 * [taylor]: Taking taylor expansion of (/ -1 x) in y 16.758 * [taylor]: Taking taylor expansion of -1 in y 16.758 * [taylor]: Taking taylor expansion of x in y 16.762 * [taylor]: Taking taylor expansion of 0 in y 16.770 * [taylor]: Taking taylor expansion of 0 in y 16.781 * [taylor]: Taking taylor expansion of 0 in y 16.782 * * * [progress]: simplifying candidates 16.783 * [simplify]: Simplifying using # : (- (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)) (- (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) (* (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)) (+ (* 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)) (- (+ (* 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)) 16.786 * * [simplify]: iteration 0 : 138 enodes (cost 730 ) 16.818 * * [simplify]: iteration 1 : 322 enodes (cost 687 ) 16.947 * * [simplify]: iteration 2 : 1035 enodes (cost 621 ) 18.500 * * [simplify]: iteration 3 : 4257 enodes (cost 609 ) 19.393 * * [simplify]: iteration done : 5000 enodes (cost 609 ) 19.394 * [simplify]: Simplified to: (- (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)) (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 y)) (cbrt (sinh 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) (/ (cos x) (/ y (sinh 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))) (* (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)) (/ (cos x) (/ y (sinh y))) (* (cos x) (sinh y)) (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) (* -1/2 (- (exp (- y)) (exp y))) (* -1/2 (- (exp (- y)) (exp y))) (+ (* 1/6 (pow y 2)) (+ (* 1/120 (pow y 4)) 1)) (/ (* -1/2 (- (exp (- y)) (exp y))) y) (/ (* -1/2 (- (exp (- y)) (exp y))) y) (- (+ (* 1/6 (pow y 2)) 1) (* 1/2 (pow x 2))) (/ (cos x) (/ y (sinh y))) (/ (cos x) (/ y (sinh y))) 19.394 * * * [progress]: adding candidates to table 19.585 * * [progress]: iteration 2 / 4 19.585 * * * [progress]: picking best candidate 19.589 * * * * [pick]: Picked # 19.590 * * * [progress]: localizing error 19.598 * * * [progress]: generating rewritten candidates 19.598 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2) 19.600 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 19.607 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2 2) 19.612 * * * [progress]: generating series expansions 19.612 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2) 19.612 * [approximate]: Taking taylor expansion of (/ y (sinh y)) in (y) around 0 19.612 * [taylor]: Taking taylor expansion of (/ y (sinh y)) in y 19.612 * [taylor]: Taking taylor expansion of y in y 19.612 * [taylor]: Taking taylor expansion of (sinh y) in y 19.612 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 19.612 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 19.612 * [taylor]: Taking taylor expansion of (exp y) in y 19.612 * [taylor]: Taking taylor expansion of y in y 19.612 * [taylor]: Taking taylor expansion of (exp (- y)) in y 19.612 * [taylor]: Taking taylor expansion of (- y) in y 19.612 * [taylor]: Taking taylor expansion of y in y 19.613 * [taylor]: Taking taylor expansion of 2 in y 19.616 * [taylor]: Taking taylor expansion of (/ y (sinh y)) in y 19.616 * [taylor]: Taking taylor expansion of y in y 19.616 * [taylor]: Taking taylor expansion of (sinh y) in y 19.616 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 19.616 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 19.616 * [taylor]: Taking taylor expansion of (exp y) in y 19.616 * [taylor]: Taking taylor expansion of y in y 19.616 * [taylor]: Taking taylor expansion of (exp (- y)) in y 19.616 * [taylor]: Taking taylor expansion of (- y) in y 19.616 * [taylor]: Taking taylor expansion of y in y 19.617 * [taylor]: Taking taylor expansion of 2 in y 19.654 * [approximate]: Taking taylor expansion of (/ 1 (* (sinh (/ 1 y)) y)) in (y) around 0 19.654 * [taylor]: Taking taylor expansion of (/ 1 (* (sinh (/ 1 y)) y)) in y 19.654 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 19.654 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 19.654 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 19.654 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 19.654 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 19.654 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.654 * [taylor]: Taking taylor expansion of y in y 19.654 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 19.655 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 19.655 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.655 * [taylor]: Taking taylor expansion of y in y 19.655 * [taylor]: Taking taylor expansion of 2 in y 19.655 * [taylor]: Taking taylor expansion of y in y 19.657 * [taylor]: Taking taylor expansion of (/ 1 (* (sinh (/ 1 y)) y)) in y 19.657 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 19.657 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 19.657 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 19.657 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 19.657 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 19.657 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.657 * [taylor]: Taking taylor expansion of y in y 19.658 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 19.658 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 19.658 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.658 * [taylor]: Taking taylor expansion of y in y 19.658 * [taylor]: Taking taylor expansion of 2 in y 19.659 * [taylor]: Taking taylor expansion of y in y 19.683 * [approximate]: Taking taylor expansion of (/ -1 (* (sinh (/ -1 y)) y)) in (y) around 0 19.683 * [taylor]: Taking taylor expansion of (/ -1 (* (sinh (/ -1 y)) y)) in y 19.683 * [taylor]: Taking taylor expansion of -1 in y 19.683 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 19.683 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 19.683 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 19.683 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 19.683 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 19.683 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.683 * [taylor]: Taking taylor expansion of -1 in y 19.683 * [taylor]: Taking taylor expansion of y in y 19.684 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 19.684 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 19.684 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.684 * [taylor]: Taking taylor expansion of -1 in y 19.684 * [taylor]: Taking taylor expansion of y in y 19.684 * [taylor]: Taking taylor expansion of 2 in y 19.685 * [taylor]: Taking taylor expansion of y in y 19.686 * [taylor]: Taking taylor expansion of (/ -1 (* (sinh (/ -1 y)) y)) in y 19.687 * [taylor]: Taking taylor expansion of -1 in y 19.687 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 19.687 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 19.687 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 19.687 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 19.687 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 19.687 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.687 * [taylor]: Taking taylor expansion of -1 in y 19.687 * [taylor]: Taking taylor expansion of y in y 19.687 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 19.687 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 19.687 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.687 * [taylor]: Taking taylor expansion of -1 in y 19.687 * [taylor]: Taking taylor expansion of y in y 19.688 * [taylor]: Taking taylor expansion of 2 in y 19.688 * [taylor]: Taking taylor expansion of y in y 19.712 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 19.712 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0 19.712 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 19.712 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 19.712 * [taylor]: Taking taylor expansion of (sinh y) in y 19.713 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 19.713 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 19.713 * [taylor]: Taking taylor expansion of (exp y) in y 19.713 * [taylor]: Taking taylor expansion of y in y 19.713 * [taylor]: Taking taylor expansion of (exp (- y)) in y 19.713 * [taylor]: Taking taylor expansion of (- y) in y 19.713 * [taylor]: Taking taylor expansion of y in y 19.713 * [taylor]: Taking taylor expansion of 2 in y 19.716 * [taylor]: Taking taylor expansion of (cos x) in y 19.716 * [taylor]: Taking taylor expansion of x in y 19.716 * [taylor]: Taking taylor expansion of y in y 19.717 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 19.717 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 19.717 * [taylor]: Taking taylor expansion of (sinh y) in x 19.717 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 19.717 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 19.717 * [taylor]: Taking taylor expansion of (exp y) in x 19.717 * [taylor]: Taking taylor expansion of y in x 19.717 * [taylor]: Taking taylor expansion of (exp (- y)) in x 19.717 * [taylor]: Taking taylor expansion of (- y) in x 19.717 * [taylor]: Taking taylor expansion of y in x 19.717 * [taylor]: Taking taylor expansion of 2 in x 19.717 * [taylor]: Taking taylor expansion of (cos x) in x 19.717 * [taylor]: Taking taylor expansion of x in x 19.717 * [taylor]: Taking taylor expansion of y in x 19.717 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 19.717 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 19.717 * [taylor]: Taking taylor expansion of (sinh y) in x 19.717 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 19.718 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 19.718 * [taylor]: Taking taylor expansion of (exp y) in x 19.718 * [taylor]: Taking taylor expansion of y in x 19.718 * [taylor]: Taking taylor expansion of (exp (- y)) in x 19.718 * [taylor]: Taking taylor expansion of (- y) in x 19.718 * [taylor]: Taking taylor expansion of y in x 19.718 * [taylor]: Taking taylor expansion of 2 in x 19.718 * [taylor]: Taking taylor expansion of (cos x) in x 19.718 * [taylor]: Taking taylor expansion of x in x 19.718 * [taylor]: Taking taylor expansion of y in x 19.718 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (- y))) y)) in y 19.718 * [taylor]: Taking taylor expansion of 1/2 in y 19.718 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (- y))) y) in y 19.718 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 19.718 * [taylor]: Taking taylor expansion of (exp y) in y 19.718 * [taylor]: Taking taylor expansion of y in y 19.718 * [taylor]: Taking taylor expansion of (exp (- y)) in y 19.718 * [taylor]: Taking taylor expansion of (- y) in y 19.718 * [taylor]: Taking taylor expansion of y in y 19.719 * [taylor]: Taking taylor expansion of y in y 19.725 * [taylor]: Taking taylor expansion of 0 in y 19.734 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (- y)) y)) (* 1/4 (/ (exp y) y))) in y 19.734 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (- y)) y)) in y 19.734 * [taylor]: Taking taylor expansion of 1/4 in y 19.734 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y 19.734 * [taylor]: Taking taylor expansion of (exp (- y)) in y 19.734 * [taylor]: Taking taylor expansion of (- y) in y 19.734 * [taylor]: Taking taylor expansion of y in y 19.735 * [taylor]: Taking taylor expansion of y in y 19.735 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 19.735 * [taylor]: Taking taylor expansion of 1/4 in y 19.735 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 19.735 * [taylor]: Taking taylor expansion of (exp y) in y 19.735 * [taylor]: Taking taylor expansion of y in y 19.735 * [taylor]: Taking taylor expansion of y in y 19.750 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0 19.750 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 19.750 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 19.750 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 19.751 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 19.751 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 19.751 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.751 * [taylor]: Taking taylor expansion of y in y 19.751 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 19.751 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 19.751 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.751 * [taylor]: Taking taylor expansion of y in y 19.752 * [taylor]: Taking taylor expansion of 2 in y 19.752 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 19.752 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 19.752 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.752 * [taylor]: Taking taylor expansion of x in y 19.752 * [taylor]: Taking taylor expansion of y in y 19.752 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 19.752 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 19.752 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 19.752 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 19.752 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 19.752 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.752 * [taylor]: Taking taylor expansion of y in x 19.752 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 19.752 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 19.752 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.752 * [taylor]: Taking taylor expansion of y in x 19.753 * [taylor]: Taking taylor expansion of 2 in x 19.753 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 19.753 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 19.753 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.753 * [taylor]: Taking taylor expansion of x in x 19.753 * [taylor]: Taking taylor expansion of y in x 19.753 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 19.754 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 19.754 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 19.754 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 19.754 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 19.754 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.754 * [taylor]: Taking taylor expansion of y in x 19.754 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 19.754 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 19.754 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.754 * [taylor]: Taking taylor expansion of y in x 19.754 * [taylor]: Taking taylor expansion of 2 in x 19.754 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 19.754 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 19.754 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.754 * [taylor]: Taking taylor expansion of x in x 19.755 * [taylor]: Taking taylor expansion of y in x 19.755 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y 19.755 * [taylor]: Taking taylor expansion of 1/2 in y 19.755 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y 19.755 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 19.755 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.755 * [taylor]: Taking taylor expansion of x in y 19.755 * [taylor]: Taking taylor expansion of (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y 19.755 * [taylor]: Taking taylor expansion of y in y 19.755 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 19.755 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 19.755 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.755 * [taylor]: Taking taylor expansion of y in y 19.756 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 19.756 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 19.756 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.756 * [taylor]: Taking taylor expansion of y in y 19.760 * [taylor]: Taking taylor expansion of 0 in y 19.768 * [taylor]: Taking taylor expansion of 0 in y 19.779 * [taylor]: Taking taylor expansion of 0 in y 19.780 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in (x y) around 0 19.780 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 19.780 * [taylor]: Taking taylor expansion of -1 in y 19.780 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 19.780 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 19.780 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 19.780 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 19.780 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 19.780 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.780 * [taylor]: Taking taylor expansion of -1 in y 19.780 * [taylor]: Taking taylor expansion of y in y 19.781 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 19.781 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 19.781 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.781 * [taylor]: Taking taylor expansion of -1 in y 19.781 * [taylor]: Taking taylor expansion of y in y 19.781 * [taylor]: Taking taylor expansion of 2 in y 19.782 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 19.782 * [taylor]: Taking taylor expansion of y in y 19.782 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 19.782 * [taylor]: Taking taylor expansion of (/ -1 x) in y 19.782 * [taylor]: Taking taylor expansion of -1 in y 19.782 * [taylor]: Taking taylor expansion of x in y 19.782 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 19.782 * [taylor]: Taking taylor expansion of -1 in x 19.782 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 19.782 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 19.782 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 19.782 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 19.782 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 19.782 * [taylor]: Taking taylor expansion of (/ -1 y) in x 19.782 * [taylor]: Taking taylor expansion of -1 in x 19.782 * [taylor]: Taking taylor expansion of y in x 19.782 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 19.782 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 19.782 * [taylor]: Taking taylor expansion of (/ -1 y) in x 19.782 * [taylor]: Taking taylor expansion of -1 in x 19.782 * [taylor]: Taking taylor expansion of y in x 19.782 * [taylor]: Taking taylor expansion of 2 in x 19.783 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 19.783 * [taylor]: Taking taylor expansion of y in x 19.783 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 19.783 * [taylor]: Taking taylor expansion of (/ -1 x) in x 19.783 * [taylor]: Taking taylor expansion of -1 in x 19.783 * [taylor]: Taking taylor expansion of x in x 19.783 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 19.783 * [taylor]: Taking taylor expansion of -1 in x 19.783 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 19.783 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 19.783 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 19.784 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 19.784 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 19.784 * [taylor]: Taking taylor expansion of (/ -1 y) in x 19.784 * [taylor]: Taking taylor expansion of -1 in x 19.784 * [taylor]: Taking taylor expansion of y in x 19.784 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 19.784 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 19.784 * [taylor]: Taking taylor expansion of (/ -1 y) in x 19.784 * [taylor]: Taking taylor expansion of -1 in x 19.784 * [taylor]: Taking taylor expansion of y in x 19.784 * [taylor]: Taking taylor expansion of 2 in x 19.784 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 19.784 * [taylor]: Taking taylor expansion of y in x 19.784 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 19.784 * [taylor]: Taking taylor expansion of (/ -1 x) in x 19.784 * [taylor]: Taking taylor expansion of -1 in x 19.784 * [taylor]: Taking taylor expansion of x in x 19.785 * [taylor]: Taking taylor expansion of (* -1/2 (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))))) in y 19.785 * [taylor]: Taking taylor expansion of -1/2 in y 19.785 * [taylor]: Taking taylor expansion of (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x)))) in y 19.785 * [taylor]: Taking taylor expansion of y in y 19.785 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))) in y 19.785 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 19.785 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 19.785 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.785 * [taylor]: Taking taylor expansion of -1 in y 19.785 * [taylor]: Taking taylor expansion of y in y 19.786 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 19.786 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.786 * [taylor]: Taking taylor expansion of y in y 19.786 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 19.786 * [taylor]: Taking taylor expansion of (/ -1 x) in y 19.786 * [taylor]: Taking taylor expansion of -1 in y 19.786 * [taylor]: Taking taylor expansion of x in y 19.790 * [taylor]: Taking taylor expansion of 0 in y 19.799 * [taylor]: Taking taylor expansion of 0 in y 19.811 * [taylor]: Taking taylor expansion of 0 in y 19.811 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2 2) 19.812 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0 19.812 * [taylor]: Taking taylor expansion of (sinh y) in y 19.812 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 19.812 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 19.812 * [taylor]: Taking taylor expansion of (exp y) in y 19.812 * [taylor]: Taking taylor expansion of y in y 19.812 * [taylor]: Taking taylor expansion of (exp (- y)) in y 19.812 * [taylor]: Taking taylor expansion of (- y) in y 19.812 * [taylor]: Taking taylor expansion of y in y 19.812 * [taylor]: Taking taylor expansion of 2 in y 19.815 * [taylor]: Taking taylor expansion of (sinh y) in y 19.815 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 19.815 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 19.815 * [taylor]: Taking taylor expansion of (exp y) in y 19.815 * [taylor]: Taking taylor expansion of y in y 19.815 * [taylor]: Taking taylor expansion of (exp (- y)) in y 19.815 * [taylor]: Taking taylor expansion of (- y) in y 19.815 * [taylor]: Taking taylor expansion of y in y 19.816 * [taylor]: Taking taylor expansion of 2 in y 19.850 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0 19.850 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 19.850 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 19.850 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 19.850 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 19.850 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.850 * [taylor]: Taking taylor expansion of y in y 19.851 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 19.851 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 19.851 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.851 * [taylor]: Taking taylor expansion of y in y 19.852 * [taylor]: Taking taylor expansion of 2 in y 19.852 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 19.852 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 19.852 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 19.852 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 19.852 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.852 * [taylor]: Taking taylor expansion of y in y 19.853 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 19.853 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 19.853 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.853 * [taylor]: Taking taylor expansion of y in y 19.853 * [taylor]: Taking taylor expansion of 2 in y 19.865 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0 19.865 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 19.865 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 19.865 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 19.865 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 19.865 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.865 * [taylor]: Taking taylor expansion of -1 in y 19.865 * [taylor]: Taking taylor expansion of y in y 19.866 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 19.866 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 19.866 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.866 * [taylor]: Taking taylor expansion of -1 in y 19.866 * [taylor]: Taking taylor expansion of y in y 19.866 * [taylor]: Taking taylor expansion of 2 in y 19.867 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 19.867 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 19.867 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 19.867 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 19.867 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.867 * [taylor]: Taking taylor expansion of -1 in y 19.867 * [taylor]: Taking taylor expansion of y in y 19.867 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 19.867 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 19.867 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.867 * [taylor]: Taking taylor expansion of -1 in y 19.867 * [taylor]: Taking taylor expansion of y in y 19.868 * [taylor]: Taking taylor expansion of 2 in y 19.880 * * * [progress]: simplifying candidates 19.882 * [simplify]: Simplifying using # : (- (log y) (log (sinh y))) (log (/ y (sinh y))) (exp (/ y (sinh y))) (/ (* (* y y) y) (* (* (sinh y) (sinh y)) (sinh y))) (* (cbrt (/ y (sinh y))) (cbrt (/ y (sinh y)))) (cbrt (/ y (sinh y))) (* (* (/ y (sinh y)) (/ y (sinh y))) (/ y (sinh y))) (sqrt (/ y (sinh y))) (sqrt (/ y (sinh y))) (- y) (- (sinh y)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ (cbrt y) (cbrt (sinh y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y))) (/ (cbrt y) (sqrt (sinh y))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (sinh y)) (/ (sqrt y) (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ (sqrt y) (cbrt (sinh y))) (/ (sqrt y) (sqrt (sinh y))) (/ (sqrt y) (sqrt (sinh y))) (/ (sqrt y) 1) (/ (sqrt y) (sinh y)) (/ 1 (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ y (cbrt (sinh y))) (/ 1 (sqrt (sinh y))) (/ y (sqrt (sinh y))) (/ 1 1) (/ y (sinh y)) (/ 1 (sinh y)) (/ (sinh y) y) (/ y (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ y (sqrt (sinh y))) (/ y 1) (/ (sinh y) (cbrt y)) (/ (sinh y) (sqrt y)) (/ (sinh y) y) (/ y (- (exp y) (exp (- y)))) (- (log (cos x)) (- (log y) (log (sinh y)))) (- (log (cos x)) (log (/ y (sinh y)))) (log (/ (cos x) (/ y (sinh y)))) (exp (/ (cos x) (/ y (sinh y)))) (/ (* (* (cos x) (cos x)) (cos x)) (/ (* (* y y) y) (* (* (sinh y) (sinh y)) (sinh y)))) (/ (* (* (cos x) (cos x)) (cos x)) (* (* (/ y (sinh y)) (/ y (sinh y))) (/ y (sinh y)))) (* (cbrt (/ (cos x) (/ y (sinh y)))) (cbrt (/ (cos x) (/ y (sinh y))))) (cbrt (/ (cos x) (/ y (sinh y)))) (* (* (/ (cos x) (/ y (sinh y))) (/ (cos x) (/ y (sinh y)))) (/ (cos x) (/ y (sinh y)))) (sqrt (/ (cos x) (/ y (sinh y)))) (sqrt (/ (cos x) (/ y (sinh y)))) (- (cos x)) (- (/ y (sinh y))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (/ y (sinh y))) (cbrt (/ y (sinh y))))) (/ (cbrt (cos x)) (cbrt (/ y (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt (/ y (sinh y)))) (/ (cbrt (cos x)) (sqrt (/ y (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sinh y)) (cbrt (sinh y))))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y)))) (/ (cbrt (cos x)) (/ (cbrt y) (sqrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) 1)) (/ (cbrt (cos x)) (/ (cbrt y) (sinh y))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (* (cbrt (sinh y)) (cbrt (sinh y))))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (sqrt (sinh y)))) (/ (cbrt (cos x)) (/ (sqrt y) (sqrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) 1)) (/ (cbrt (cos x)) (/ (sqrt y) (sinh y))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ 1 (* (cbrt (sinh y)) (cbrt (sinh y))))) (/ (cbrt (cos x)) (/ y (cbrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ 1 (sqrt (sinh y)))) (/ (cbrt (cos x)) (/ y (sqrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ 1 1)) (/ (cbrt (cos x)) (/ y (sinh y))) (/ (* (cbrt (cos x)) (cbrt (cos x))) 1) (/ (cbrt (cos x)) (/ y (sinh y))) (/ (* (cbrt (cos x)) (cbrt (cos x))) y) (/ (cbrt (cos x)) (/ 1 (sinh y))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ y (- (exp y) (exp (- y))))) (/ (cbrt (cos x)) 2) (/ (sqrt (cos x)) (* (cbrt (/ y (sinh y))) (cbrt (/ y (sinh y))))) (/ (sqrt (cos x)) (cbrt (/ y (sinh y)))) (/ (sqrt (cos x)) (sqrt (/ y (sinh y)))) (/ (sqrt (cos x)) (sqrt (/ y (sinh y)))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sinh y)) (cbrt (sinh y))))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (sinh y)))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y)))) (/ (sqrt (cos x)) (/ (cbrt y) (sqrt (sinh y)))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) 1)) (/ (sqrt (cos x)) (/ (cbrt y) (sinh y))) (/ (sqrt (cos x)) (/ (sqrt y) (* (cbrt (sinh y)) (cbrt (sinh y))))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (/ (sqrt (cos x)) (/ (sqrt y) (sqrt (sinh y)))) (/ (sqrt (cos x)) (/ (sqrt y) (sqrt (sinh y)))) (/ (sqrt (cos x)) (/ (sqrt y) 1)) (/ (sqrt (cos x)) (/ (sqrt y) (sinh y))) (/ (sqrt (cos x)) (/ 1 (* (cbrt (sinh y)) (cbrt (sinh y))))) (/ (sqrt (cos x)) (/ y (cbrt (sinh y)))) (/ (sqrt (cos x)) (/ 1 (sqrt (sinh y)))) (/ (sqrt (cos x)) (/ y (sqrt (sinh y)))) (/ (sqrt (cos x)) (/ 1 1)) (/ (sqrt (cos x)) (/ y (sinh y))) (/ (sqrt (cos x)) 1) (/ (sqrt (cos x)) (/ y (sinh y))) (/ (sqrt (cos x)) y) (/ (sqrt (cos x)) (/ 1 (sinh y))) (/ (sqrt (cos x)) (/ y (- (exp y) (exp (- y))))) (/ (sqrt (cos x)) 2) (/ 1 (* (cbrt (/ y (sinh y))) (cbrt (/ y (sinh y))))) (/ (cos x) (cbrt (/ y (sinh y)))) (/ 1 (sqrt (/ y (sinh y)))) (/ (cos x) (sqrt (/ y (sinh y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sinh y)) (cbrt (sinh y))))) (/ (cos x) (/ (cbrt y) (cbrt (sinh y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y)))) (/ (cos x) (/ (cbrt y) (sqrt (sinh y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ (cos x) (/ (cbrt y) (sinh y))) (/ 1 (/ (sqrt y) (* (cbrt (sinh y)) (cbrt (sinh y))))) (/ (cos x) (/ (sqrt y) (cbrt (sinh y)))) (/ 1 (/ (sqrt y) (sqrt (sinh y)))) (/ (cos x) (/ (sqrt y) (sqrt (sinh y)))) (/ 1 (/ (sqrt y) 1)) (/ (cos x) (/ (sqrt y) (sinh y))) (/ 1 (/ 1 (* (cbrt (sinh y)) (cbrt (sinh y))))) (/ (cos x) (/ y (cbrt (sinh y)))) (/ 1 (/ 1 (sqrt (sinh y)))) (/ (cos x) (/ y (sqrt (sinh y)))) (/ 1 (/ 1 1)) (/ (cos x) (/ y (sinh y))) (/ 1 1) (/ (cos x) (/ y (sinh y))) (/ 1 y) (/ (cos x) (/ 1 (sinh y))) (/ 1 (/ y (- (exp y) (exp (- y))))) (/ (cos x) 2) (/ 1 (/ y (sinh y))) (/ (/ y (sinh y)) (cos x)) (/ (cos x) (* (cbrt (/ y (sinh y))) (cbrt (/ y (sinh y))))) (/ (cos x) (sqrt (/ y (sinh y)))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sinh y)) (cbrt (sinh y))))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y)))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) 1)) (/ (cos x) (/ (sqrt y) (* (cbrt (sinh y)) (cbrt (sinh y))))) (/ (cos x) (/ (sqrt y) (sqrt (sinh y)))) (/ (cos x) (/ (sqrt y) 1)) (/ (cos x) (/ 1 (* (cbrt (sinh y)) (cbrt (sinh y))))) (/ (cos x) (/ 1 (sqrt (sinh y)))) (/ (cos x) (/ 1 1)) (/ (cos x) 1) (/ (cos x) y) (/ (cos x) (/ y (- (exp y) (exp (- y))))) (/ (/ y (sinh y)) (cbrt (cos x))) (/ (/ y (sinh y)) (sqrt (cos x))) (/ (/ y (sinh y)) (cos x)) (/ (cos x) 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)) (- (+ (* 7/360 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ y (- (* 1/2 (exp y)) (* 1/2 (exp (- y))))) (/ y (- (* 1/2 (exp y)) (* 1/2 (exp (* -1 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)))) 19.887 * * [simplify]: iteration 0 : 217 enodes (cost 1546 ) 19.948 * * [simplify]: iteration 1 : 477 enodes (cost 1454 ) 20.087 * * [simplify]: iteration 2 : 1511 enodes (cost 1379 ) 20.945 * * [simplify]: iteration done : 5001 enodes (cost 1365 ) 20.946 * [simplify]: Simplified to: (log (/ y (sinh y))) (log (/ y (sinh y))) (exp (/ y (sinh y))) (pow (/ y (sinh y)) 3) (* (cbrt (/ y (sinh y))) (cbrt (/ y (sinh y)))) (cbrt (/ y (sinh y))) (pow (/ y (sinh y)) 3) (sqrt (/ y (sinh y))) (sqrt (/ y (sinh y))) (- y) (- (sinh y)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ (cbrt y) (cbrt (sinh y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y))) (/ (cbrt y) (sqrt (sinh y))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sinh y)) (/ (/ (sqrt y) (cbrt (sinh y))) (cbrt (sinh y))) (/ (sqrt y) (cbrt (sinh y))) (/ (sqrt y) (sqrt (sinh y))) (/ (sqrt y) (sqrt (sinh y))) (sqrt y) (/ (sqrt y) (sinh y)) (/ 1 (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ y (cbrt (sinh y))) (/ 1 (sqrt (sinh y))) (/ y (sqrt (sinh y))) 1 (/ y (sinh y)) (/ 1 (sinh y)) (/ (sinh y) y) (/ y (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ y (sqrt (sinh y))) y (/ (sinh y) (cbrt y)) (/ (sinh y) (sqrt y)) (/ (sinh y) y) (/ y (- (exp y) (exp (- y)))) (log (/ (cos x) (/ y (sinh y)))) (log (/ (cos x) (/ y (sinh y)))) (log (/ (cos x) (/ y (sinh y)))) (exp (/ (cos x) (/ y (sinh y)))) (pow (/ (cos x) (/ y (sinh y))) 3) (pow (/ (cos x) (/ y (sinh y))) 3) (* (cbrt (/ (cos x) (/ y (sinh y)))) (cbrt (/ (cos x) (/ y (sinh y))))) (cbrt (/ (cos x) (/ y (sinh y)))) (pow (/ (cos x) (/ y (sinh y))) 3) (sqrt (/ (cos x) (/ y (sinh y)))) (sqrt (/ (cos x) (/ y (sinh y)))) (- (cos x)) (- (/ y (sinh y))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (/ y (sinh y))) (cbrt (/ y (sinh y))))) (/ (cbrt (cos x)) (cbrt (/ y (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt (/ y (sinh y)))) (/ (cbrt (cos x)) (sqrt (/ y (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sinh y)) (cbrt (sinh y))))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y)))) (/ (cbrt (cos x)) (/ (cbrt y) (sqrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt y) (cbrt y))) (/ (cbrt (cos x)) (/ (cbrt y) (sinh y))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (* (cbrt (sinh y)) (cbrt (sinh y))))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (sqrt (sinh y)))) (/ (cbrt (cos x)) (/ (sqrt y) (sqrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt y)) (/ (cbrt (cos x)) (/ (sqrt y) (sinh y))) (* (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ (cbrt (cos x)) (/ y (cbrt (sinh y)))) (* (* (cbrt (cos x)) (cbrt (cos x))) (sqrt (sinh y))) (/ (cbrt (cos x)) (/ y (sqrt (sinh y)))) (* (cbrt (cos x)) (cbrt (cos x))) (/ (cbrt (cos x)) (/ y (sinh y))) (* (cbrt (cos x)) (cbrt (cos x))) (/ (cbrt (cos x)) (/ y (sinh y))) (/ (* (cbrt (cos x)) (cbrt (cos x))) y) (* (cbrt (cos x)) (sinh y)) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ y (- (exp y) (exp (- y))))) (/ (cbrt (cos x)) 2) (/ (sqrt (cos x)) (* (cbrt (/ y (sinh y))) (cbrt (/ y (sinh y))))) (/ (sqrt (cos x)) (cbrt (/ y (sinh y)))) (/ (sqrt (cos x)) (sqrt (/ y (sinh y)))) (/ (sqrt (cos x)) (sqrt (/ y (sinh y)))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sinh y)) (cbrt (sinh y))))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (sinh y)))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y)))) (/ (sqrt (cos x)) (/ (cbrt y) (sqrt (sinh y)))) (/ (sqrt (cos x)) (* (cbrt y) (cbrt y))) (/ (sqrt (cos x)) (/ (cbrt y) (sinh y))) (/ (sqrt (cos x)) (/ (sqrt y) (* (cbrt (sinh y)) (cbrt (sinh y))))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (/ (sqrt (cos x)) (/ (sqrt y) (sqrt (sinh y)))) (/ (sqrt (cos x)) (/ (sqrt y) (sqrt (sinh y)))) (/ (sqrt (cos x)) (sqrt y)) (/ (sqrt (cos x)) (/ (sqrt y) (sinh y))) (* (sqrt (cos x)) (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ (sqrt (cos x)) (/ y (cbrt (sinh y)))) (* (sqrt (cos x)) (sqrt (sinh y))) (/ (sqrt (cos x)) (/ y (sqrt (sinh y)))) (sqrt (cos x)) (/ (sqrt (cos x)) (/ y (sinh y))) (sqrt (cos x)) (/ (sqrt (cos x)) (/ y (sinh y))) (/ (sqrt (cos x)) y) (* (sqrt (cos x)) (sinh y)) (/ (sqrt (cos x)) (/ y (- (exp y) (exp (- y))))) (/ (sqrt (cos x)) 2) (/ 1 (* (cbrt (/ y (sinh y))) (cbrt (/ y (sinh y))))) (/ (cos x) (cbrt (/ y (sinh y)))) (/ 1 (sqrt (/ y (sinh y)))) (/ (cos x) (sqrt (/ y (sinh y)))) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))) (/ (cos x) (/ (cbrt y) (cbrt (sinh y)))) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))) (/ (cos x) (/ (cbrt y) (sqrt (sinh y)))) (/ 1 (* (cbrt y) (cbrt y))) (/ (cos x) (/ (cbrt y) (sinh y))) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)) (/ (cos x) (/ (sqrt y) (cbrt (sinh y)))) (/ (sqrt (sinh y)) (sqrt y)) (/ (cos x) (/ (sqrt y) (sqrt (sinh y)))) (/ 1 (sqrt y)) (/ (cos x) (/ (sqrt y) (sinh y))) (* (cbrt (sinh y)) (cbrt (sinh y))) (/ (cos x) (/ y (cbrt (sinh y)))) (sqrt (sinh y)) (/ (cos x) (/ y (sqrt (sinh y)))) 1 (/ (cos x) (/ y (sinh y))) 1 (/ (cos x) (/ y (sinh y))) (/ 1 y) (* (cos x) (sinh y)) (/ 1 (/ y (- (exp y) (exp (- y))))) (/ (cos x) 2) (/ 1 (/ y (sinh y))) (/ (/ y (sinh y)) (cos x)) (/ (cos x) (* (cbrt (/ y (sinh y))) (cbrt (/ y (sinh y))))) (/ (cos x) (sqrt (/ y (sinh y)))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sinh y)) (cbrt (sinh y))))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y)))) (/ (cos x) (* (cbrt y) (cbrt y))) (/ (cos x) (/ (sqrt y) (* (cbrt (sinh y)) (cbrt (sinh y))))) (/ (cos x) (/ (sqrt y) (sqrt (sinh y)))) (/ (cos x) (sqrt y)) (* (cos x) (* (cbrt (sinh y)) (cbrt (sinh y)))) (* (cos x) (sqrt (sinh y))) (cos x) (cos x) (/ (cos x) y) (/ (cos x) (/ y (- (exp y) (exp (- y))))) (/ (/ y (sinh y)) (cbrt (cos x))) (/ (/ y (sinh y)) (sqrt (cos x))) (/ (/ y (sinh y)) (cos x)) (/ (cos x) 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)) (- (+ (* 7/360 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (/ y (sinh y)) 1) (/ (/ y (sinh y)) 1) (- (+ (* 1/6 (pow y 2)) 1) (* 1/2 (pow x 2))) (/ (cos x) (/ y (sinh y))) (/ (* -1/2 (* (cos x) (- (exp (- y)) (exp y)))) y) (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) (* (- (exp y) (exp (- y))) 1/2) (* (- (exp y) (exp (- y))) 1/2) 20.947 * * * [progress]: adding candidates to table 21.279 * * [progress]: iteration 3 / 4 21.279 * * * [progress]: picking best candidate 21.282 * * * * [pick]: Picked # 21.282 * * * [progress]: localizing error 21.293 * * * [progress]: generating rewritten candidates 21.293 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 21.295 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1) 21.297 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 21.303 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 21.343 * * * [progress]: generating series expansions 21.343 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 21.344 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0 21.344 * [taylor]: Taking taylor expansion of (sinh y) in y 21.344 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 21.344 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 21.344 * [taylor]: Taking taylor expansion of (exp y) in y 21.344 * [taylor]: Taking taylor expansion of y in y 21.344 * [taylor]: Taking taylor expansion of (exp (- y)) in y 21.344 * [taylor]: Taking taylor expansion of (- y) in y 21.344 * [taylor]: Taking taylor expansion of y in y 21.345 * [taylor]: Taking taylor expansion of 2 in y 21.348 * [taylor]: Taking taylor expansion of (sinh y) in y 21.348 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 21.348 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 21.348 * [taylor]: Taking taylor expansion of (exp y) in y 21.348 * [taylor]: Taking taylor expansion of y in y 21.348 * [taylor]: Taking taylor expansion of (exp (- y)) in y 21.348 * [taylor]: Taking taylor expansion of (- y) in y 21.348 * [taylor]: Taking taylor expansion of y in y 21.349 * [taylor]: Taking taylor expansion of 2 in y 21.388 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0 21.388 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 21.388 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 21.388 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 21.388 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 21.388 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.388 * [taylor]: Taking taylor expansion of y in y 21.389 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 21.389 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 21.389 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.389 * [taylor]: Taking taylor expansion of y in y 21.389 * [taylor]: Taking taylor expansion of 2 in y 21.390 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 21.390 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 21.390 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 21.390 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 21.390 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.390 * [taylor]: Taking taylor expansion of y in y 21.390 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 21.390 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 21.390 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.390 * [taylor]: Taking taylor expansion of y in y 21.391 * [taylor]: Taking taylor expansion of 2 in y 21.405 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0 21.405 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 21.405 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 21.405 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 21.405 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 21.405 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.405 * [taylor]: Taking taylor expansion of -1 in y 21.405 * [taylor]: Taking taylor expansion of y in y 21.405 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 21.405 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 21.405 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.405 * [taylor]: Taking taylor expansion of -1 in y 21.405 * [taylor]: Taking taylor expansion of y in y 21.406 * [taylor]: Taking taylor expansion of 2 in y 21.406 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 21.406 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 21.406 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 21.406 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 21.406 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.406 * [taylor]: Taking taylor expansion of -1 in y 21.406 * [taylor]: Taking taylor expansion of y in y 21.407 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 21.407 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 21.407 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.407 * [taylor]: Taking taylor expansion of -1 in y 21.407 * [taylor]: Taking taylor expansion of y in y 21.408 * [taylor]: Taking taylor expansion of 2 in y 21.419 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1) 21.420 * [approximate]: Taking taylor expansion of (pow (sinh y) 3) in (y) around 0 21.420 * [taylor]: Taking taylor expansion of (pow (sinh y) 3) in y 21.420 * [taylor]: Taking taylor expansion of (sinh y) in y 21.420 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 21.420 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 21.420 * [taylor]: Taking taylor expansion of (exp y) in y 21.420 * [taylor]: Taking taylor expansion of y in y 21.420 * [taylor]: Taking taylor expansion of (exp (- y)) in y 21.420 * [taylor]: Taking taylor expansion of (- y) in y 21.420 * [taylor]: Taking taylor expansion of y in y 21.420 * [taylor]: Taking taylor expansion of 2 in y 21.423 * [taylor]: Taking taylor expansion of (pow (sinh y) 3) in y 21.423 * [taylor]: Taking taylor expansion of (sinh y) in y 21.423 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 21.423 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 21.423 * [taylor]: Taking taylor expansion of (exp y) in y 21.423 * [taylor]: Taking taylor expansion of y in y 21.423 * [taylor]: Taking taylor expansion of (exp (- y)) in y 21.423 * [taylor]: Taking taylor expansion of (- y) in y 21.423 * [taylor]: Taking taylor expansion of y in y 21.424 * [taylor]: Taking taylor expansion of 2 in y 21.462 * [approximate]: Taking taylor expansion of (pow (sinh (/ 1 y)) 3) in (y) around 0 21.462 * [taylor]: Taking taylor expansion of (pow (sinh (/ 1 y)) 3) in y 21.462 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 21.462 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 21.462 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 21.462 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 21.462 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.462 * [taylor]: Taking taylor expansion of y in y 21.462 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 21.462 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 21.462 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.462 * [taylor]: Taking taylor expansion of y in y 21.463 * [taylor]: Taking taylor expansion of 2 in y 21.463 * [taylor]: Taking taylor expansion of (pow (sinh (/ 1 y)) 3) in y 21.463 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 21.463 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 21.463 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 21.463 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 21.463 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.463 * [taylor]: Taking taylor expansion of y in y 21.464 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 21.464 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 21.464 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.464 * [taylor]: Taking taylor expansion of y in y 21.465 * [taylor]: Taking taylor expansion of 2 in y 21.489 * [approximate]: Taking taylor expansion of (pow (sinh (/ -1 y)) 3) in (y) around 0 21.489 * [taylor]: Taking taylor expansion of (pow (sinh (/ -1 y)) 3) in y 21.489 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 21.489 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 21.489 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 21.489 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 21.489 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.489 * [taylor]: Taking taylor expansion of -1 in y 21.489 * [taylor]: Taking taylor expansion of y in y 21.489 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 21.489 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 21.489 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.489 * [taylor]: Taking taylor expansion of -1 in y 21.489 * [taylor]: Taking taylor expansion of y in y 21.490 * [taylor]: Taking taylor expansion of 2 in y 21.490 * [taylor]: Taking taylor expansion of (pow (sinh (/ -1 y)) 3) in y 21.490 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 21.490 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 21.490 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 21.490 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 21.490 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.490 * [taylor]: Taking taylor expansion of -1 in y 21.490 * [taylor]: Taking taylor expansion of y in y 21.491 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 21.491 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 21.491 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.491 * [taylor]: Taking taylor expansion of -1 in y 21.491 * [taylor]: Taking taylor expansion of y in y 21.492 * [taylor]: Taking taylor expansion of 2 in y 21.515 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 21.515 * [approximate]: Taking taylor expansion of (/ y (sinh y)) in (y) around 0 21.515 * [taylor]: Taking taylor expansion of (/ y (sinh y)) in y 21.515 * [taylor]: Taking taylor expansion of y in y 21.515 * [taylor]: Taking taylor expansion of (sinh y) in y 21.515 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 21.515 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 21.515 * [taylor]: Taking taylor expansion of (exp y) in y 21.515 * [taylor]: Taking taylor expansion of y in y 21.515 * [taylor]: Taking taylor expansion of (exp (- y)) in y 21.515 * [taylor]: Taking taylor expansion of (- y) in y 21.515 * [taylor]: Taking taylor expansion of y in y 21.516 * [taylor]: Taking taylor expansion of 2 in y 21.519 * [taylor]: Taking taylor expansion of (/ y (sinh y)) in y 21.519 * [taylor]: Taking taylor expansion of y in y 21.519 * [taylor]: Taking taylor expansion of (sinh y) in y 21.519 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 21.519 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 21.519 * [taylor]: Taking taylor expansion of (exp y) in y 21.519 * [taylor]: Taking taylor expansion of y in y 21.519 * [taylor]: Taking taylor expansion of (exp (- y)) in y 21.519 * [taylor]: Taking taylor expansion of (- y) in y 21.519 * [taylor]: Taking taylor expansion of y in y 21.519 * [taylor]: Taking taylor expansion of 2 in y 21.554 * [approximate]: Taking taylor expansion of (/ 1 (* (sinh (/ 1 y)) y)) in (y) around 0 21.554 * [taylor]: Taking taylor expansion of (/ 1 (* (sinh (/ 1 y)) y)) in y 21.554 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 21.554 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 21.554 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 21.554 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 21.554 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 21.554 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.554 * [taylor]: Taking taylor expansion of y in y 21.555 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 21.555 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 21.555 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.555 * [taylor]: Taking taylor expansion of y in y 21.556 * [taylor]: Taking taylor expansion of 2 in y 21.556 * [taylor]: Taking taylor expansion of y in y 21.558 * [taylor]: Taking taylor expansion of (/ 1 (* (sinh (/ 1 y)) y)) in y 21.558 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 21.558 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 21.558 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 21.558 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 21.558 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 21.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.558 * [taylor]: Taking taylor expansion of y in y 21.558 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 21.558 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 21.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.558 * [taylor]: Taking taylor expansion of y in y 21.559 * [taylor]: Taking taylor expansion of 2 in y 21.559 * [taylor]: Taking taylor expansion of y in y 21.584 * [approximate]: Taking taylor expansion of (/ -1 (* (sinh (/ -1 y)) y)) in (y) around 0 21.584 * [taylor]: Taking taylor expansion of (/ -1 (* (sinh (/ -1 y)) y)) in y 21.584 * [taylor]: Taking taylor expansion of -1 in y 21.584 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 21.584 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 21.584 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 21.584 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 21.584 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 21.584 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.584 * [taylor]: Taking taylor expansion of -1 in y 21.584 * [taylor]: Taking taylor expansion of y in y 21.584 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 21.585 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 21.585 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.585 * [taylor]: Taking taylor expansion of -1 in y 21.585 * [taylor]: Taking taylor expansion of y in y 21.585 * [taylor]: Taking taylor expansion of 2 in y 21.585 * [taylor]: Taking taylor expansion of y in y 21.587 * [taylor]: Taking taylor expansion of (/ -1 (* (sinh (/ -1 y)) y)) in y 21.587 * [taylor]: Taking taylor expansion of -1 in y 21.587 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 21.587 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 21.587 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 21.587 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 21.587 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 21.587 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.587 * [taylor]: Taking taylor expansion of -1 in y 21.587 * [taylor]: Taking taylor expansion of y in y 21.588 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 21.588 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 21.588 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.588 * [taylor]: Taking taylor expansion of -1 in y 21.588 * [taylor]: Taking taylor expansion of y in y 21.589 * [taylor]: Taking taylor expansion of 2 in y 21.589 * [taylor]: Taking taylor expansion of y in y 21.613 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 21.613 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0 21.613 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 21.613 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 21.613 * [taylor]: Taking taylor expansion of (sinh y) in y 21.613 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 21.613 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 21.613 * [taylor]: Taking taylor expansion of (exp y) in y 21.613 * [taylor]: Taking taylor expansion of y in y 21.613 * [taylor]: Taking taylor expansion of (exp (- y)) in y 21.613 * [taylor]: Taking taylor expansion of (- y) in y 21.613 * [taylor]: Taking taylor expansion of y in y 21.614 * [taylor]: Taking taylor expansion of 2 in y 21.617 * [taylor]: Taking taylor expansion of (cos x) in y 21.617 * [taylor]: Taking taylor expansion of x in y 21.617 * [taylor]: Taking taylor expansion of y in y 21.617 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 21.617 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 21.617 * [taylor]: Taking taylor expansion of (sinh y) in x 21.618 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 21.618 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 21.618 * [taylor]: Taking taylor expansion of (exp y) in x 21.618 * [taylor]: Taking taylor expansion of y in x 21.618 * [taylor]: Taking taylor expansion of (exp (- y)) in x 21.618 * [taylor]: Taking taylor expansion of (- y) in x 21.618 * [taylor]: Taking taylor expansion of y in x 21.618 * [taylor]: Taking taylor expansion of 2 in x 21.618 * [taylor]: Taking taylor expansion of (cos x) in x 21.618 * [taylor]: Taking taylor expansion of x in x 21.618 * [taylor]: Taking taylor expansion of y in x 21.618 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 21.618 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 21.618 * [taylor]: Taking taylor expansion of (sinh y) in x 21.618 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 21.618 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 21.618 * [taylor]: Taking taylor expansion of (exp y) in x 21.618 * [taylor]: Taking taylor expansion of y in x 21.618 * [taylor]: Taking taylor expansion of (exp (- y)) in x 21.618 * [taylor]: Taking taylor expansion of (- y) in x 21.618 * [taylor]: Taking taylor expansion of y in x 21.618 * [taylor]: Taking taylor expansion of 2 in x 21.619 * [taylor]: Taking taylor expansion of (cos x) in x 21.619 * [taylor]: Taking taylor expansion of x in x 21.619 * [taylor]: Taking taylor expansion of y in x 21.619 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (- y))) y)) in y 21.619 * [taylor]: Taking taylor expansion of 1/2 in y 21.619 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (- y))) y) in y 21.619 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 21.619 * [taylor]: Taking taylor expansion of (exp y) in y 21.619 * [taylor]: Taking taylor expansion of y in y 21.619 * [taylor]: Taking taylor expansion of (exp (- y)) in y 21.619 * [taylor]: Taking taylor expansion of (- y) in y 21.619 * [taylor]: Taking taylor expansion of y in y 21.620 * [taylor]: Taking taylor expansion of y in y 21.629 * [taylor]: Taking taylor expansion of 0 in y 21.638 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (- y)) y)) (* 1/4 (/ (exp y) y))) in y 21.638 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (- y)) y)) in y 21.638 * [taylor]: Taking taylor expansion of 1/4 in y 21.638 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y 21.638 * [taylor]: Taking taylor expansion of (exp (- y)) in y 21.638 * [taylor]: Taking taylor expansion of (- y) in y 21.638 * [taylor]: Taking taylor expansion of y in y 21.639 * [taylor]: Taking taylor expansion of y in y 21.639 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 21.639 * [taylor]: Taking taylor expansion of 1/4 in y 21.639 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 21.639 * [taylor]: Taking taylor expansion of (exp y) in y 21.639 * [taylor]: Taking taylor expansion of y in y 21.639 * [taylor]: Taking taylor expansion of y in y 21.649 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0 21.649 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 21.649 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 21.649 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 21.649 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 21.649 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 21.649 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.649 * [taylor]: Taking taylor expansion of y in y 21.650 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 21.650 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 21.650 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.650 * [taylor]: Taking taylor expansion of y in y 21.651 * [taylor]: Taking taylor expansion of 2 in y 21.651 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 21.651 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 21.651 * [taylor]: Taking taylor expansion of (/ 1 x) in y 21.651 * [taylor]: Taking taylor expansion of x in y 21.651 * [taylor]: Taking taylor expansion of y in y 21.651 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 21.651 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 21.651 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 21.651 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 21.651 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 21.651 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.651 * [taylor]: Taking taylor expansion of y in x 21.651 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 21.651 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 21.651 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.651 * [taylor]: Taking taylor expansion of y in x 21.651 * [taylor]: Taking taylor expansion of 2 in x 21.652 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 21.652 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 21.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.652 * [taylor]: Taking taylor expansion of x in x 21.652 * [taylor]: Taking taylor expansion of y in x 21.652 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 21.652 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 21.652 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 21.652 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 21.652 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 21.652 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.652 * [taylor]: Taking taylor expansion of y in x 21.652 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 21.653 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 21.653 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.653 * [taylor]: Taking taylor expansion of y in x 21.653 * [taylor]: Taking taylor expansion of 2 in x 21.653 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 21.653 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 21.653 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.653 * [taylor]: Taking taylor expansion of x in x 21.654 * [taylor]: Taking taylor expansion of y in x 21.654 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y 21.654 * [taylor]: Taking taylor expansion of 1/2 in y 21.654 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y 21.654 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 21.654 * [taylor]: Taking taylor expansion of (/ 1 x) in y 21.654 * [taylor]: Taking taylor expansion of x in y 21.654 * [taylor]: Taking taylor expansion of (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y 21.654 * [taylor]: Taking taylor expansion of y in y 21.654 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 21.654 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 21.654 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.654 * [taylor]: Taking taylor expansion of y in y 21.655 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 21.655 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 21.655 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.655 * [taylor]: Taking taylor expansion of y in y 21.659 * [taylor]: Taking taylor expansion of 0 in y 21.667 * [taylor]: Taking taylor expansion of 0 in y 21.678 * [taylor]: Taking taylor expansion of 0 in y 21.679 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in (x y) around 0 21.679 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 21.679 * [taylor]: Taking taylor expansion of -1 in y 21.679 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 21.679 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 21.679 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 21.679 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 21.679 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 21.679 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.679 * [taylor]: Taking taylor expansion of -1 in y 21.679 * [taylor]: Taking taylor expansion of y in y 21.680 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 21.680 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 21.680 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.680 * [taylor]: Taking taylor expansion of -1 in y 21.680 * [taylor]: Taking taylor expansion of y in y 21.681 * [taylor]: Taking taylor expansion of 2 in y 21.681 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 21.681 * [taylor]: Taking taylor expansion of y in y 21.681 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 21.681 * [taylor]: Taking taylor expansion of (/ -1 x) in y 21.681 * [taylor]: Taking taylor expansion of -1 in y 21.681 * [taylor]: Taking taylor expansion of x in y 21.681 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 21.681 * [taylor]: Taking taylor expansion of -1 in x 21.681 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 21.681 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 21.681 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 21.681 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 21.681 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 21.681 * [taylor]: Taking taylor expansion of (/ -1 y) in x 21.681 * [taylor]: Taking taylor expansion of -1 in x 21.681 * [taylor]: Taking taylor expansion of y in x 21.681 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 21.681 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 21.681 * [taylor]: Taking taylor expansion of (/ -1 y) in x 21.681 * [taylor]: Taking taylor expansion of -1 in x 21.681 * [taylor]: Taking taylor expansion of y in x 21.681 * [taylor]: Taking taylor expansion of 2 in x 21.682 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 21.682 * [taylor]: Taking taylor expansion of y in x 21.682 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 21.682 * [taylor]: Taking taylor expansion of (/ -1 x) in x 21.682 * [taylor]: Taking taylor expansion of -1 in x 21.682 * [taylor]: Taking taylor expansion of x in x 21.682 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 21.682 * [taylor]: Taking taylor expansion of -1 in x 21.682 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 21.682 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 21.682 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 21.682 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 21.683 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 21.683 * [taylor]: Taking taylor expansion of (/ -1 y) in x 21.683 * [taylor]: Taking taylor expansion of -1 in x 21.683 * [taylor]: Taking taylor expansion of y in x 21.683 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 21.683 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 21.683 * [taylor]: Taking taylor expansion of (/ -1 y) in x 21.683 * [taylor]: Taking taylor expansion of -1 in x 21.683 * [taylor]: Taking taylor expansion of y in x 21.683 * [taylor]: Taking taylor expansion of 2 in x 21.683 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 21.683 * [taylor]: Taking taylor expansion of y in x 21.683 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 21.683 * [taylor]: Taking taylor expansion of (/ -1 x) in x 21.683 * [taylor]: Taking taylor expansion of -1 in x 21.683 * [taylor]: Taking taylor expansion of x in x 21.684 * [taylor]: Taking taylor expansion of (* -1/2 (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))))) in y 21.684 * [taylor]: Taking taylor expansion of -1/2 in y 21.684 * [taylor]: Taking taylor expansion of (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x)))) in y 21.684 * [taylor]: Taking taylor expansion of y in y 21.684 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))) in y 21.684 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 21.684 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 21.684 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.684 * [taylor]: Taking taylor expansion of -1 in y 21.684 * [taylor]: Taking taylor expansion of y in y 21.685 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 21.685 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.685 * [taylor]: Taking taylor expansion of y in y 21.685 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 21.685 * [taylor]: Taking taylor expansion of (/ -1 x) in y 21.685 * [taylor]: Taking taylor expansion of -1 in y 21.685 * [taylor]: Taking taylor expansion of x in y 21.690 * [taylor]: Taking taylor expansion of 0 in y 21.699 * [taylor]: Taking taylor expansion of 0 in y 21.711 * [taylor]: Taking taylor expansion of 0 in y 21.712 * * * [progress]: simplifying candidates 21.723 * [simplify]: Simplifying using # : (log (cbrt (pow (sinh y) 3))) (exp (cbrt (pow (sinh y) 3))) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)) (cbrt (pow (cbrt (sinh y)) 3)) (cbrt (pow (sqrt (sinh y)) 3)) (cbrt (pow (sqrt (sinh y)) 3)) (cbrt (pow 1 3)) (cbrt (pow (sinh y) 3)) (cbrt (* (sinh y) (sinh y))) (cbrt (sinh y)) (cbrt (* (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) 3)))) (cbrt (cbrt (pow (sinh y) 3))) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)) (cbrt (pow (cbrt (sinh y)) 3)) (cbrt (pow (sqrt (sinh y)) 3)) (cbrt (pow (sqrt (sinh y)) 3)) (cbrt (pow 1 3)) (cbrt (pow (sinh y) 3)) (cbrt (sinh y)) (cbrt (* (sinh y) (sinh y))) (cbrt (sqrt (pow (sinh y) 3))) (cbrt (sqrt (pow (sinh y) 3))) (cbrt 1) (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) (/ 3 2))) (cbrt (pow (sinh y) (/ 3 2))) (cbrt (pow (- (exp y) (exp (- y))) 3)) (cbrt (pow 2 3)) (* (cbrt (cbrt (pow (sinh y) 3))) (cbrt (cbrt (pow (sinh y) 3)))) (cbrt (cbrt (pow (sinh y) 3))) (* (* (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) 3))) (cbrt (pow (sinh y) 3))) (sqrt (cbrt (pow (sinh y) 3))) (sqrt (cbrt (pow (sinh y) 3))) (* (log (sinh y)) 3) (* (log (sinh y)) 3) (* 1 3) (pow (sinh y) (* (cbrt 3) (cbrt 3))) (pow (sinh y) (sqrt 3)) (pow (sinh y) 1) (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3) (pow (cbrt (sinh y)) 3) (pow (sqrt (sinh y)) 3) (pow (sqrt (sinh y)) 3) (pow 1 3) (pow (sinh y) 3) (* (sinh y) (sinh y)) (log (pow (sinh y) 3)) (exp (pow (sinh y) 3)) (* (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) 3))) (cbrt (pow (sinh y) 3)) (* (* (pow (sinh y) 3) (pow (sinh y) 3)) (pow (sinh y) 3)) (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3) (pow (cbrt (sinh y)) 3) (pow (sqrt (sinh y)) 3) (pow (sqrt (sinh y)) 3) (pow 1 3) (pow (sinh y) 3) (pow (- (exp y) (exp (- y))) 3) (pow 2 3) (* (sinh y) (sinh y)) (sqrt (pow (sinh y) 3)) (sqrt (pow (sinh y) 3)) (pow (sinh y) (/ 3 2)) (pow (sinh y) (/ 3 2)) (- (log y) (log (cbrt (pow (sinh y) 3)))) (log (/ y (cbrt (pow (sinh y) 3)))) (exp (/ y (cbrt (pow (sinh y) 3)))) (/ (* (* y y) y) (pow (sinh y) 3)) (* (cbrt (/ y (cbrt (pow (sinh y) 3)))) (cbrt (/ y (cbrt (pow (sinh y) 3))))) (cbrt (/ y (cbrt (pow (sinh y) 3)))) (* (* (/ y (cbrt (pow (sinh y) 3))) (/ y (cbrt (pow (sinh y) 3)))) (/ y (cbrt (pow (sinh y) 3)))) (sqrt (/ y (cbrt (pow (sinh y) 3)))) (sqrt (/ y (cbrt (pow (sinh y) 3)))) (- y) (- (cbrt (pow (sinh y) 3))) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3))) (/ (cbrt y) (cbrt (pow (cbrt (sinh y)) 3))) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (sqrt (sinh y)) 3))) (/ (cbrt y) (cbrt (pow (sqrt (sinh y)) 3))) (/ (* (cbrt y) (cbrt y)) (cbrt (pow 1 3))) (/ (cbrt y) (cbrt (pow (sinh y) 3))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (sinh y) (sinh y)))) (/ (cbrt y) (cbrt (sinh y))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) 3))))) (/ (cbrt y) (cbrt (cbrt (pow (sinh y) 3)))) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3))) (/ (cbrt y) (cbrt (pow (cbrt (sinh y)) 3))) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (sqrt (sinh y)) 3))) (/ (cbrt y) (cbrt (pow (sqrt (sinh y)) 3))) (/ (* (cbrt y) (cbrt y)) (cbrt (pow 1 3))) (/ (cbrt y) (cbrt (pow (sinh y) 3))) (/ (* (cbrt y) (cbrt y)) (cbrt (sinh y))) (/ (cbrt y) (cbrt (* (sinh y) (sinh y)))) (/ (* (cbrt y) (cbrt y)) (cbrt (sqrt (pow (sinh y) 3)))) (/ (cbrt y) (cbrt (sqrt (pow (sinh y) 3)))) (/ (* (cbrt y) (cbrt y)) (cbrt 1)) (/ (cbrt y) (cbrt (pow (sinh y) 3))) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (sinh y) (/ 3 2)))) (/ (cbrt y) (cbrt (pow (sinh y) (/ 3 2)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (pow (sinh y) 3))) (cbrt (cbrt (pow (sinh y) 3))))) (/ (cbrt y) (cbrt (cbrt (pow (sinh y) 3)))) (/ (* (cbrt y) (cbrt y)) (sqrt (cbrt (pow (sinh y) 3)))) (/ (cbrt y) (sqrt (cbrt (pow (sinh y) 3)))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (cbrt (pow (sinh y) 3))) (/ (sqrt y) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3))) (/ (sqrt y) (cbrt (pow (cbrt (sinh y)) 3))) (/ (sqrt y) (cbrt (pow (sqrt (sinh y)) 3))) (/ (sqrt y) (cbrt (pow (sqrt (sinh y)) 3))) (/ (sqrt y) (cbrt (pow 1 3))) (/ (sqrt y) (cbrt (pow (sinh y) 3))) (/ (sqrt y) (cbrt (* (sinh y) (sinh y)))) (/ (sqrt y) (cbrt (sinh y))) (/ (sqrt y) (cbrt (* (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) 3))))) (/ (sqrt y) (cbrt (cbrt (pow (sinh y) 3)))) (/ (sqrt y) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3))) (/ (sqrt y) (cbrt (pow (cbrt (sinh y)) 3))) (/ (sqrt y) (cbrt (pow (sqrt (sinh y)) 3))) (/ (sqrt y) (cbrt (pow (sqrt (sinh y)) 3))) (/ (sqrt y) (cbrt (pow 1 3))) (/ (sqrt y) (cbrt (pow (sinh y) 3))) (/ (sqrt y) (cbrt (sinh y))) (/ (sqrt y) (cbrt (* (sinh y) (sinh y)))) (/ (sqrt y) (cbrt (sqrt (pow (sinh y) 3)))) (/ (sqrt y) (cbrt (sqrt (pow (sinh y) 3)))) (/ (sqrt y) (cbrt 1)) (/ (sqrt y) (cbrt (pow (sinh y) 3))) (/ (sqrt y) (cbrt (pow (sinh y) (/ 3 2)))) (/ (sqrt y) (cbrt (pow (sinh y) (/ 3 2)))) (/ (sqrt y) (* (cbrt (cbrt (pow (sinh y) 3))) (cbrt (cbrt (pow (sinh y) 3))))) (/ (sqrt y) (cbrt (cbrt (pow (sinh y) 3)))) (/ (sqrt y) (sqrt (cbrt (pow (sinh y) 3)))) (/ (sqrt y) (sqrt (cbrt (pow (sinh y) 3)))) (/ (sqrt y) 1) (/ (sqrt y) (cbrt (pow (sinh y) 3))) (/ 1 (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3))) (/ y (cbrt (pow (cbrt (sinh y)) 3))) (/ 1 (cbrt (pow (sqrt (sinh y)) 3))) (/ y (cbrt (pow (sqrt (sinh y)) 3))) (/ 1 (cbrt (pow 1 3))) (/ y (cbrt (pow (sinh y) 3))) (/ 1 (cbrt (* (sinh y) (sinh y)))) (/ y (cbrt (sinh y))) (/ 1 (cbrt (* (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) 3))))) (/ y (cbrt (cbrt (pow (sinh y) 3)))) (/ 1 (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3))) (/ y (cbrt (pow (cbrt (sinh y)) 3))) (/ 1 (cbrt (pow (sqrt (sinh y)) 3))) (/ y (cbrt (pow (sqrt (sinh y)) 3))) (/ 1 (cbrt (pow 1 3))) (/ y (cbrt (pow (sinh y) 3))) (/ 1 (cbrt (sinh y))) (/ y (cbrt (* (sinh y) (sinh y)))) (/ 1 (cbrt (sqrt (pow (sinh y) 3)))) (/ y (cbrt (sqrt (pow (sinh y) 3)))) (/ 1 (cbrt 1)) (/ y (cbrt (pow (sinh y) 3))) (/ 1 (cbrt (pow (sinh y) (/ 3 2)))) (/ y (cbrt (pow (sinh y) (/ 3 2)))) (/ 1 (* (cbrt (cbrt (pow (sinh y) 3))) (cbrt (cbrt (pow (sinh y) 3))))) (/ y (cbrt (cbrt (pow (sinh y) 3)))) (/ 1 (sqrt (cbrt (pow (sinh y) 3)))) (/ y (sqrt (cbrt (pow (sinh y) 3)))) (/ 1 1) (/ y (cbrt (pow (sinh y) 3))) (/ 1 (cbrt (pow (sinh y) 3))) (/ (cbrt (pow (sinh y) 3)) y) (/ y (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3))) (/ y (cbrt (pow (sqrt (sinh y)) 3))) (/ y (cbrt (pow 1 3))) (/ y (cbrt (* (sinh y) (sinh y)))) (/ y (cbrt (* (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) 3))))) (/ y (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3))) (/ y (cbrt (pow (sqrt (sinh y)) 3))) (/ y (cbrt (pow 1 3))) (/ y (cbrt (sinh y))) (/ y (cbrt (sqrt (pow (sinh y) 3)))) (/ y (cbrt 1)) (/ y (cbrt (pow (sinh y) (/ 3 2)))) (/ y (* (cbrt (cbrt (pow (sinh y) 3))) (cbrt (cbrt (pow (sinh y) 3))))) (/ y (sqrt (cbrt (pow (sinh y) 3)))) (/ y 1) (/ (cbrt (pow (sinh y) 3)) (cbrt y)) (/ (cbrt (pow (sinh y) 3)) (sqrt y)) (/ (cbrt (pow (sinh y) 3)) y) (/ y (cbrt (pow (- (exp y) (exp (- y))) 3))) (- (log (cos x)) (- (log y) (log (cbrt (pow (sinh y) 3))))) (- (log (cos x)) (log (/ y (cbrt (pow (sinh y) 3))))) (log (/ (cos x) (/ y (cbrt (pow (sinh y) 3))))) (exp (/ (cos x) (/ y (cbrt (pow (sinh y) 3))))) (/ (* (* (cos x) (cos x)) (cos x)) (/ (* (* y y) y) (pow (sinh y) 3))) (/ (* (* (cos x) (cos x)) (cos x)) (* (* (/ y (cbrt (pow (sinh y) 3))) (/ y (cbrt (pow (sinh y) 3)))) (/ y (cbrt (pow (sinh y) 3))))) (* (cbrt (/ (cos x) (/ y (cbrt (pow (sinh y) 3))))) (cbrt (/ (cos x) (/ y (cbrt (pow (sinh y) 3)))))) (cbrt (/ (cos x) (/ y (cbrt (pow (sinh y) 3))))) (* (* (/ (cos x) (/ y (cbrt (pow (sinh y) 3)))) (/ (cos x) (/ y (cbrt (pow (sinh y) 3))))) (/ (cos x) (/ y (cbrt (pow (sinh y) 3))))) (sqrt (/ (cos x) (/ y (cbrt (pow (sinh y) 3))))) (sqrt (/ (cos x) (/ y (cbrt (pow (sinh y) 3))))) (- (cos x)) (- (/ y (cbrt (pow (sinh y) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (/ y (cbrt (pow (sinh y) 3)))) (cbrt (/ y (cbrt (pow (sinh y) 3)))))) (/ (cbrt (cos x)) (cbrt (/ y (cbrt (pow (sinh y) 3))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt (/ y (cbrt (pow (sinh y) 3))))) (/ (cbrt (cos x)) (sqrt (/ y (cbrt (pow (sinh y) 3))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (pow (cbrt (sinh y)) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (cbrt (pow 1 3)))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (pow (sinh y) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (sinh y) (sinh y))))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) 3)))))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (cbrt (pow (sinh y) 3))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (pow (cbrt (sinh y)) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (cbrt (pow 1 3)))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (pow (sinh y) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (cbrt (sinh y)))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (* (sinh y) (sinh y))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (cbrt (sqrt (pow (sinh y) 3))))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (sqrt (pow (sinh y) 3))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (cbrt 1))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (pow (sinh y) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (sinh y) (/ 3 2))))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (pow (sinh y) (/ 3 2))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (pow (sinh y) 3))) (cbrt (cbrt (pow (sinh y) 3)))))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (cbrt (pow (sinh y) 3))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (sqrt (cbrt (pow (sinh y) 3))))) (/ (cbrt (cos x)) (/ (cbrt y) (sqrt (cbrt (pow (sinh y) 3))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) 1)) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (pow (sinh y) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (pow (cbrt (sinh y)) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (cbrt (pow 1 3)))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (pow (sinh y) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (cbrt (* (sinh y) (sinh y))))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (cbrt (* (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) 3)))))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (cbrt (pow (sinh y) 3))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (pow (cbrt (sinh y)) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (cbrt (pow 1 3)))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (pow (sinh y) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (cbrt (sinh y)))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (* (sinh y) (sinh y))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (cbrt (sqrt (pow (sinh y) 3))))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (sqrt (pow (sinh y) 3))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (cbrt 1))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (pow (sinh y) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (cbrt (pow (sinh y) (/ 3 2))))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (pow (sinh y) (/ 3 2))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (* (cbrt (cbrt (pow (sinh y) 3))) (cbrt (cbrt (pow (sinh y) 3)))))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (cbrt (pow (sinh y) 3))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (sqrt (cbrt (pow (sinh y) 3))))) (/ (cbrt (cos x)) (/ (sqrt y) (sqrt (cbrt (pow (sinh y) 3))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) 1)) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (pow (sinh y) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ 1 (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (cbrt (cos x)) (/ y (cbrt (pow (cbrt (sinh y)) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ 1 (cbrt (pow (sqrt (sinh y)) 3)))) (/ (cbrt (cos x)) (/ y (cbrt (pow (sqrt (sinh y)) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ 1 (cbrt (pow 1 3)))) (/ (cbrt (cos x)) (/ y (cbrt (pow (sinh y) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ 1 (cbrt (* (sinh y) (sinh y))))) (/ (cbrt (cos x)) (/ y (cbrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ 1 (cbrt (* (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) 3)))))) (/ (cbrt (cos x)) (/ y (cbrt (cbrt (pow (sinh y) 3))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ 1 (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (cbrt (cos x)) (/ y (cbrt (pow (cbrt (sinh y)) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ 1 (cbrt (pow (sqrt (sinh y)) 3)))) (/ (cbrt (cos x)) (/ y (cbrt (pow (sqrt (sinh y)) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ 1 (cbrt (pow 1 3)))) (/ (cbrt (cos x)) (/ y (cbrt (pow (sinh y) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ 1 (cbrt (sinh y)))) (/ (cbrt (cos x)) (/ y (cbrt (* (sinh y) (sinh y))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ 1 (cbrt (sqrt (pow (sinh y) 3))))) (/ (cbrt (cos x)) (/ y (cbrt (sqrt (pow (sinh y) 3))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ 1 (cbrt 1))) (/ (cbrt (cos x)) (/ y (cbrt (pow (sinh y) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ 1 (cbrt (pow (sinh y) (/ 3 2))))) (/ (cbrt (cos x)) (/ y (cbrt (pow (sinh y) (/ 3 2))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ 1 (* (cbrt (cbrt (pow (sinh y) 3))) (cbrt (cbrt (pow (sinh y) 3)))))) (/ (cbrt (cos x)) (/ y (cbrt (cbrt (pow (sinh y) 3))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ 1 (sqrt (cbrt (pow (sinh y) 3))))) (/ (cbrt (cos x)) (/ y (sqrt (cbrt (pow (sinh y) 3))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ 1 1)) (/ (cbrt (cos x)) (/ y (cbrt (pow (sinh y) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) 1) (/ (cbrt (cos x)) (/ y (cbrt (pow (sinh y) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) y) (/ (cbrt (cos x)) (/ 1 (cbrt (pow (sinh y) 3)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ y (cbrt (pow (- (exp y) (exp (- y))) 3)))) (/ (cbrt (cos x)) (cbrt (pow 2 3))) (/ (sqrt (cos x)) (* (cbrt (/ y (cbrt (pow (sinh y) 3)))) (cbrt (/ y (cbrt (pow (sinh y) 3)))))) (/ (sqrt (cos x)) (cbrt (/ y (cbrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (sqrt (/ y (cbrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (sqrt (/ y (cbrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (pow (cbrt (sinh y)) 3)))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (cbrt (pow 1 3)))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (pow (sinh y) 3)))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (cbrt (* (sinh y) (sinh y))))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (sinh y)))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) 3)))))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (cbrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (pow (cbrt (sinh y)) 3)))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (cbrt (pow 1 3)))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (pow (sinh y) 3)))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (cbrt (sinh y)))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (* (sinh y) (sinh y))))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (cbrt (sqrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (sqrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (cbrt 1))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (pow (sinh y) 3)))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (sinh y) (/ 3 2))))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (pow (sinh y) (/ 3 2))))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (pow (sinh y) 3))) (cbrt (cbrt (pow (sinh y) 3)))))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (cbrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (sqrt (cbrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ (cbrt y) (sqrt (cbrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) 1)) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (pow (sinh y) 3)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow (cbrt (sinh y)) 3)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow 1 3)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow (sinh y) 3)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (* (sinh y) (sinh y))))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (* (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) 3)))))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (cbrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow (cbrt (sinh y)) 3)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow 1 3)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow (sinh y) 3)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (* (sinh y) (sinh y))))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (sqrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (sqrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt 1))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow (sinh y) 3)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow (sinh y) (/ 3 2))))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow (sinh y) (/ 3 2))))) (/ (sqrt (cos x)) (/ (sqrt y) (* (cbrt (cbrt (pow (sinh y) 3))) (cbrt (cbrt (pow (sinh y) 3)))))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (cbrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ (sqrt y) (sqrt (cbrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ (sqrt y) (sqrt (cbrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ (sqrt y) 1)) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow (sinh y) 3)))) (/ (sqrt (cos x)) (/ 1 (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (sqrt (cos x)) (/ y (cbrt (pow (cbrt (sinh y)) 3)))) (/ (sqrt (cos x)) (/ 1 (cbrt (pow (sqrt (sinh y)) 3)))) (/ (sqrt (cos x)) (/ y (cbrt (pow (sqrt (sinh y)) 3)))) (/ (sqrt (cos x)) (/ 1 (cbrt (pow 1 3)))) (/ (sqrt (cos x)) (/ y (cbrt (pow (sinh y) 3)))) (/ (sqrt (cos x)) (/ 1 (cbrt (* (sinh y) (sinh y))))) (/ (sqrt (cos x)) (/ y (cbrt (sinh y)))) (/ (sqrt (cos x)) (/ 1 (cbrt (* (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) 3)))))) (/ (sqrt (cos x)) (/ y (cbrt (cbrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ 1 (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (sqrt (cos x)) (/ y (cbrt (pow (cbrt (sinh y)) 3)))) (/ (sqrt (cos x)) (/ 1 (cbrt (pow (sqrt (sinh y)) 3)))) (/ (sqrt (cos x)) (/ y (cbrt (pow (sqrt (sinh y)) 3)))) (/ (sqrt (cos x)) (/ 1 (cbrt (pow 1 3)))) (/ (sqrt (cos x)) (/ y (cbrt (pow (sinh y) 3)))) (/ (sqrt (cos x)) (/ 1 (cbrt (sinh y)))) (/ (sqrt (cos x)) (/ y (cbrt (* (sinh y) (sinh y))))) (/ (sqrt (cos x)) (/ 1 (cbrt (sqrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ y (cbrt (sqrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ 1 (cbrt 1))) (/ (sqrt (cos x)) (/ y (cbrt (pow (sinh y) 3)))) (/ (sqrt (cos x)) (/ 1 (cbrt (pow (sinh y) (/ 3 2))))) (/ (sqrt (cos x)) (/ y (cbrt (pow (sinh y) (/ 3 2))))) (/ (sqrt (cos x)) (/ 1 (* (cbrt (cbrt (pow (sinh y) 3))) (cbrt (cbrt (pow (sinh y) 3)))))) (/ (sqrt (cos x)) (/ y (cbrt (cbrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ 1 (sqrt (cbrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ y (sqrt (cbrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ 1 1)) (/ (sqrt (cos x)) (/ y (cbrt (pow (sinh y) 3)))) (/ (sqrt (cos x)) 1) (/ (sqrt (cos x)) (/ y (cbrt (pow (sinh y) 3)))) (/ (sqrt (cos x)) y) (/ (sqrt (cos x)) (/ 1 (cbrt (pow (sinh y) 3)))) (/ (sqrt (cos x)) (/ y (cbrt (pow (- (exp y) (exp (- y))) 3)))) (/ (sqrt (cos x)) (cbrt (pow 2 3))) (/ 1 (* (cbrt (/ y (cbrt (pow (sinh y) 3)))) (cbrt (/ y (cbrt (pow (sinh y) 3)))))) (/ (cos x) (cbrt (/ y (cbrt (pow (sinh y) 3))))) (/ 1 (sqrt (/ y (cbrt (pow (sinh y) 3))))) (/ (cos x) (sqrt (/ y (cbrt (pow (sinh y) 3))))) (/ 1 (/ (* (cbrt y) (cbrt y)) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (cos x) (/ (cbrt y) (cbrt (pow (cbrt (sinh y)) 3)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (cos x) (/ (cbrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (cbrt (pow 1 3)))) (/ (cos x) (/ (cbrt y) (cbrt (pow (sinh y) 3)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (cbrt (* (sinh y) (sinh y))))) (/ (cos x) (/ (cbrt y) (cbrt (sinh y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) 3)))))) (/ (cos x) (/ (cbrt y) (cbrt (cbrt (pow (sinh y) 3))))) (/ 1 (/ (* (cbrt y) (cbrt y)) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (cos x) (/ (cbrt y) (cbrt (pow (cbrt (sinh y)) 3)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (cos x) (/ (cbrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (cbrt (pow 1 3)))) (/ (cos x) (/ (cbrt y) (cbrt (pow (sinh y) 3)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (cbrt (sinh y)))) (/ (cos x) (/ (cbrt y) (cbrt (* (sinh y) (sinh y))))) (/ 1 (/ (* (cbrt y) (cbrt y)) (cbrt (sqrt (pow (sinh y) 3))))) (/ (cos x) (/ (cbrt y) (cbrt (sqrt (pow (sinh y) 3))))) (/ 1 (/ (* (cbrt y) (cbrt y)) (cbrt 1))) (/ (cos x) (/ (cbrt y) (cbrt (pow (sinh y) 3)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (cbrt (pow (sinh y) (/ 3 2))))) (/ (cos x) (/ (cbrt y) (cbrt (pow (sinh y) (/ 3 2))))) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (pow (sinh y) 3))) (cbrt (cbrt (pow (sinh y) 3)))))) (/ (cos x) (/ (cbrt y) (cbrt (cbrt (pow (sinh y) 3))))) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (cbrt (pow (sinh y) 3))))) (/ (cos x) (/ (cbrt y) (sqrt (cbrt (pow (sinh y) 3))))) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ (cos x) (/ (cbrt y) (cbrt (pow (sinh y) 3)))) (/ 1 (/ (sqrt y) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (cos x) (/ (sqrt y) (cbrt (pow (cbrt (sinh y)) 3)))) (/ 1 (/ (sqrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (cos x) (/ (sqrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ 1 (/ (sqrt y) (cbrt (pow 1 3)))) (/ (cos x) (/ (sqrt y) (cbrt (pow (sinh y) 3)))) (/ 1 (/ (sqrt y) (cbrt (* (sinh y) (sinh y))))) (/ (cos x) (/ (sqrt y) (cbrt (sinh y)))) (/ 1 (/ (sqrt y) (cbrt (* (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) 3)))))) (/ (cos x) (/ (sqrt y) (cbrt (cbrt (pow (sinh y) 3))))) (/ 1 (/ (sqrt y) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (cos x) (/ (sqrt y) (cbrt (pow (cbrt (sinh y)) 3)))) (/ 1 (/ (sqrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (cos x) (/ (sqrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ 1 (/ (sqrt y) (cbrt (pow 1 3)))) (/ (cos x) (/ (sqrt y) (cbrt (pow (sinh y) 3)))) (/ 1 (/ (sqrt y) (cbrt (sinh y)))) (/ (cos x) (/ (sqrt y) (cbrt (* (sinh y) (sinh y))))) (/ 1 (/ (sqrt y) (cbrt (sqrt (pow (sinh y) 3))))) (/ (cos x) (/ (sqrt y) (cbrt (sqrt (pow (sinh y) 3))))) (/ 1 (/ (sqrt y) (cbrt 1))) (/ (cos x) (/ (sqrt y) (cbrt (pow (sinh y) 3)))) (/ 1 (/ (sqrt y) (cbrt (pow (sinh y) (/ 3 2))))) (/ (cos x) (/ (sqrt y) (cbrt (pow (sinh y) (/ 3 2))))) (/ 1 (/ (sqrt y) (* (cbrt (cbrt (pow (sinh y) 3))) (cbrt (cbrt (pow (sinh y) 3)))))) (/ (cos x) (/ (sqrt y) (cbrt (cbrt (pow (sinh y) 3))))) (/ 1 (/ (sqrt y) (sqrt (cbrt (pow (sinh y) 3))))) (/ (cos x) (/ (sqrt y) (sqrt (cbrt (pow (sinh y) 3))))) (/ 1 (/ (sqrt y) 1)) (/ (cos x) (/ (sqrt y) (cbrt (pow (sinh y) 3)))) (/ 1 (/ 1 (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (cos x) (/ y (cbrt (pow (cbrt (sinh y)) 3)))) (/ 1 (/ 1 (cbrt (pow (sqrt (sinh y)) 3)))) (/ (cos x) (/ y (cbrt (pow (sqrt (sinh y)) 3)))) (/ 1 (/ 1 (cbrt (pow 1 3)))) (/ (cos x) (/ y (cbrt (pow (sinh y) 3)))) (/ 1 (/ 1 (cbrt (* (sinh y) (sinh y))))) (/ (cos x) (/ y (cbrt (sinh y)))) (/ 1 (/ 1 (cbrt (* (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) 3)))))) (/ (cos x) (/ y (cbrt (cbrt (pow (sinh y) 3))))) (/ 1 (/ 1 (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (cos x) (/ y (cbrt (pow (cbrt (sinh y)) 3)))) (/ 1 (/ 1 (cbrt (pow (sqrt (sinh y)) 3)))) (/ (cos x) (/ y (cbrt (pow (sqrt (sinh y)) 3)))) (/ 1 (/ 1 (cbrt (pow 1 3)))) (/ (cos x) (/ y (cbrt (pow (sinh y) 3)))) (/ 1 (/ 1 (cbrt (sinh y)))) (/ (cos x) (/ y (cbrt (* (sinh y) (sinh y))))) (/ 1 (/ 1 (cbrt (sqrt (pow (sinh y) 3))))) (/ (cos x) (/ y (cbrt (sqrt (pow (sinh y) 3))))) (/ 1 (/ 1 (cbrt 1))) (/ (cos x) (/ y (cbrt (pow (sinh y) 3)))) (/ 1 (/ 1 (cbrt (pow (sinh y) (/ 3 2))))) (/ (cos x) (/ y (cbrt (pow (sinh y) (/ 3 2))))) (/ 1 (/ 1 (* (cbrt (cbrt (pow (sinh y) 3))) (cbrt (cbrt (pow (sinh y) 3)))))) (/ (cos x) (/ y (cbrt (cbrt (pow (sinh y) 3))))) (/ 1 (/ 1 (sqrt (cbrt (pow (sinh y) 3))))) (/ (cos x) (/ y (sqrt (cbrt (pow (sinh y) 3))))) (/ 1 (/ 1 1)) (/ (cos x) (/ y (cbrt (pow (sinh y) 3)))) (/ 1 1) (/ (cos x) (/ y (cbrt (pow (sinh y) 3)))) (/ 1 y) (/ (cos x) (/ 1 (cbrt (pow (sinh y) 3)))) (/ 1 (/ y (cbrt (pow (- (exp y) (exp (- y))) 3)))) (/ (cos x) (cbrt (pow 2 3))) (/ 1 (/ y (cbrt (pow (sinh y) 3)))) (/ (/ y (cbrt (pow (sinh y) 3))) (cos x)) (/ (cos x) (* (cbrt (/ y (cbrt (pow (sinh y) 3)))) (cbrt (/ y (cbrt (pow (sinh y) 3)))))) (/ (cos x) (sqrt (/ y (cbrt (pow (sinh y) 3))))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (cbrt (pow 1 3)))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (cbrt (* (sinh y) (sinh y))))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) 3)))))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (cbrt (pow 1 3)))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (cbrt (sinh y)))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (cbrt (sqrt (pow (sinh y) 3))))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (cbrt 1))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (sinh y) (/ 3 2))))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (pow (sinh y) 3))) (cbrt (cbrt (pow (sinh y) 3)))))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (sqrt (cbrt (pow (sinh y) 3))))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) 1)) (/ (cos x) (/ (sqrt y) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (cos x) (/ (sqrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (cos x) (/ (sqrt y) (cbrt (pow 1 3)))) (/ (cos x) (/ (sqrt y) (cbrt (* (sinh y) (sinh y))))) (/ (cos x) (/ (sqrt y) (cbrt (* (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) 3)))))) (/ (cos x) (/ (sqrt y) (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (cos x) (/ (sqrt y) (cbrt (pow (sqrt (sinh y)) 3)))) (/ (cos x) (/ (sqrt y) (cbrt (pow 1 3)))) (/ (cos x) (/ (sqrt y) (cbrt (sinh y)))) (/ (cos x) (/ (sqrt y) (cbrt (sqrt (pow (sinh y) 3))))) (/ (cos x) (/ (sqrt y) (cbrt 1))) (/ (cos x) (/ (sqrt y) (cbrt (pow (sinh y) (/ 3 2))))) (/ (cos x) (/ (sqrt y) (* (cbrt (cbrt (pow (sinh y) 3))) (cbrt (cbrt (pow (sinh y) 3)))))) (/ (cos x) (/ (sqrt y) (sqrt (cbrt (pow (sinh y) 3))))) (/ (cos x) (/ (sqrt y) 1)) (/ (cos x) (/ 1 (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (cos x) (/ 1 (cbrt (pow (sqrt (sinh y)) 3)))) (/ (cos x) (/ 1 (cbrt (pow 1 3)))) (/ (cos x) (/ 1 (cbrt (* (sinh y) (sinh y))))) (/ (cos x) (/ 1 (cbrt (* (cbrt (pow (sinh y) 3)) (cbrt (pow (sinh y) 3)))))) (/ (cos x) (/ 1 (cbrt (pow (* (cbrt (sinh y)) (cbrt (sinh y))) 3)))) (/ (cos x) (/ 1 (cbrt (pow (sqrt (sinh y)) 3)))) (/ (cos x) (/ 1 (cbrt (pow 1 3)))) (/ (cos x) (/ 1 (cbrt (sinh y)))) (/ (cos x) (/ 1 (cbrt (sqrt (pow (sinh y) 3))))) (/ (cos x) (/ 1 (cbrt 1))) (/ (cos x) (/ 1 (cbrt (pow (sinh y) (/ 3 2))))) (/ (cos x) (/ 1 (* (cbrt (cbrt (pow (sinh y) 3))) (cbrt (cbrt (pow (sinh y) 3)))))) (/ (cos x) (/ 1 (sqrt (cbrt (pow (sinh y) 3))))) (/ (cos x) (/ 1 1)) (/ (cos x) 1) (/ (cos x) y) (/ (cos x) (/ y (cbrt (pow (- (exp y) (exp (- y))) 3)))) (/ (/ y (cbrt (pow (sinh y) 3))) (cbrt (cos x))) (/ (/ y (cbrt (pow (sinh y) 3))) (sqrt (cos x))) (/ (/ y (cbrt (pow (sinh y) 3))) (cos x)) (/ (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)))) (+ (pow y 3) (+ (* 1/2 (pow y 5)) (* 13/120 (pow y 7)))) (* 1/8 (pow (- (exp y) (exp (- y))) 3)) (* 1/8 (pow (- (exp y) (exp (* -1 y))) 3)) (- (+ (* 7/360 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ y (- (* 1/2 (exp y)) (* 1/2 (exp (- y))))) (/ y (- (* 1/2 (exp y)) (* 1/2 (exp (* -1 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)) 21.744 * * [simplify]: iteration 0 : 463 enodes (cost 6487 ) 21.972 * * [simplify]: iteration 1 : 1002 enodes (cost 4796 ) 22.453 * * [simplify]: iteration 2 : 3073 enodes (cost 4595 ) 23.057 * * [simplify]: iteration done : 5000 enodes (cost 4595 ) 23.060 * [simplify]: Simplified to: (log (sinh y)) (exp (sinh y)) (cbrt (pow (sinh y) 2)) (cbrt (sinh y)) (sqrt (sinh y)) (sqrt (sinh y)) 1 (sinh y) (cbrt (pow (sinh y) 2)) (cbrt (sinh y)) (cbrt (pow (sinh y) 2)) (cbrt (sinh y)) (cbrt (pow (sinh y) 2)) (cbrt (sinh y)) (sqrt (sinh y)) (sqrt (sinh y)) 1 (sinh y) (cbrt (sinh y)) (cbrt (pow (sinh y) 2)) (cbrt (sqrt (pow (sinh y) 3))) (cbrt (sqrt (pow (sinh y) 3))) 1 (sinh y) (cbrt (pow (sinh y) 3/2)) (cbrt (pow (sinh y) 3/2)) (- (exp y) (exp (- y))) 2 (cbrt (pow (sinh y) 2)) (cbrt (sinh y)) (pow (sinh y) 3) (sqrt (sinh y)) (sqrt (sinh y)) (log (pow (sinh y) 3)) (log (pow (sinh y) 3)) 3 (pow (sinh y) (* (cbrt 3) (cbrt 3))) (pow (sinh y) (sqrt 3)) (sinh y) (pow (sinh y) 2) (sinh y) (pow (sqrt (sinh y)) 3) (pow (sqrt (sinh y)) 3) 1 (pow (sinh y) 3) (pow (sinh y) 2) (log (pow (sinh y) 3)) (exp (pow (sinh y) 3)) (pow (sinh y) 2) (sinh y) (pow (pow (sinh y) 3) 3) (pow (sinh y) 2) (sinh y) (pow (sqrt (sinh y)) 3) (pow (sqrt (sinh y)) 3) 1 (pow (sinh y) 3) (pow (- (exp y) (exp (- y))) 3) 8 (pow (sinh y) 2) (sqrt (pow (sinh y) 3)) (sqrt (pow (sinh y) 3)) (pow (sinh y) 3/2) (pow (sinh y) 3/2) (log (/ y (sinh y))) (log (/ y (sinh y))) (exp (/ y (sinh y))) (/ (pow y 3) (pow (sinh y) 3)) (* (cbrt (/ y (sinh y))) (cbrt (/ y (sinh y)))) (cbrt (/ y (sinh y))) (pow (/ y (sinh y)) 3) (sqrt (/ y (sinh y))) (sqrt (/ y (sinh y))) (- y) (- (sinh y)) (* (/ (cbrt y) (cbrt (pow (sinh y) 2))) (cbrt y)) (/ (cbrt y) (cbrt (sinh y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y))) (/ (cbrt y) (sqrt (sinh y))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sinh y)) (* (/ (cbrt y) (cbrt (pow (sinh y) 2))) (cbrt y)) (/ (cbrt y) (cbrt (sinh y))) (* (/ (cbrt y) (cbrt (pow (sinh y) 2))) (cbrt y)) (/ (cbrt y) (cbrt (sinh y))) (* (/ (cbrt y) (cbrt (pow (sinh y) 2))) (cbrt y)) (/ (cbrt y) (cbrt (sinh y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y))) (/ (cbrt y) (sqrt (sinh y))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sinh y)) (* (cbrt y) (/ (cbrt y) (cbrt (sinh y)))) (/ (cbrt y) (cbrt (pow (sinh y) 2))) (/ (* (cbrt y) (cbrt y)) (cbrt (sqrt (pow (sinh y) 3)))) (/ (cbrt y) (cbrt (sqrt (pow (sinh y) 3)))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sinh y)) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (sinh y) 3/2))) (/ (cbrt y) (cbrt (pow (sinh y) 3/2))) (* (/ (cbrt y) (cbrt (pow (sinh y) 2))) (cbrt y)) (/ (cbrt y) (cbrt (sinh y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y))) (/ (cbrt y) (sqrt (sinh y))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sinh y)) (/ (sqrt y) (cbrt (pow (sinh y) 2))) (/ (sqrt y) (cbrt (sinh y))) (/ (sqrt y) (sqrt (sinh y))) (/ (sqrt y) (sqrt (sinh y))) (sqrt y) (/ (sqrt y) (sinh y)) (/ (sqrt y) (cbrt (pow (sinh y) 2))) (/ (sqrt y) (cbrt (sinh y))) (/ (sqrt y) (cbrt (pow (sinh y) 2))) (/ (sqrt y) (cbrt (sinh y))) (/ (sqrt y) (cbrt (pow (sinh y) 2))) (/ (sqrt y) (cbrt (sinh y))) (/ (sqrt y) (sqrt (sinh y))) (/ (sqrt y) (sqrt (sinh y))) (sqrt y) (/ (sqrt y) (sinh y)) (/ (sqrt y) (cbrt (sinh y))) (/ (sqrt y) (cbrt (pow (sinh y) 2))) (/ (sqrt y) (cbrt (sqrt (pow (sinh y) 3)))) (/ (sqrt y) (cbrt (sqrt (pow (sinh y) 3)))) (sqrt y) (/ (sqrt y) (sinh y)) (/ (sqrt y) (cbrt (pow (sinh y) 3/2))) (/ (sqrt y) (cbrt (pow (sinh y) 3/2))) (/ (sqrt y) (cbrt (pow (sinh y) 2))) (/ (sqrt y) (cbrt (sinh y))) (/ (sqrt y) (sqrt (sinh y))) (/ (sqrt y) (sqrt (sinh y))) (sqrt y) (/ (sqrt y) (sinh y)) (/ 1 (cbrt (pow (sinh y) 2))) (/ y (cbrt (sinh y))) (/ 1 (sqrt (sinh y))) (/ y (sqrt (sinh y))) (/ 1 1) (/ y (sinh y)) (/ 1 (cbrt (pow (sinh y) 2))) (/ y (cbrt (sinh y))) (/ 1 (cbrt (pow (sinh y) 2))) (/ y (cbrt (sinh y))) (/ 1 (cbrt (pow (sinh y) 2))) (/ y (cbrt (sinh y))) (/ 1 (sqrt (sinh y))) (/ y (sqrt (sinh y))) (/ 1 1) (/ y (sinh y)) (/ 1 (cbrt (sinh y))) (/ y (cbrt (pow (sinh y) 2))) (/ 1 (cbrt (sqrt (pow (sinh y) 3)))) (/ y (cbrt (sqrt (pow (sinh y) 3)))) 1 (/ y (sinh y)) (/ 1 (cbrt (pow (sinh y) 3/2))) (/ y (cbrt (pow (sinh y) 3/2))) (/ 1 (cbrt (pow (sinh y) 2))) (/ y (cbrt (sinh y))) (/ 1 (sqrt (sinh y))) (/ y (sqrt (sinh y))) 1 (/ y (sinh y)) (/ 1 (sinh y)) (/ (sinh y) y) (/ y (cbrt (pow (sinh y) 2))) (/ y (sqrt (sinh y))) y (/ y (cbrt (pow (sinh y) 2))) (/ y (cbrt (pow (sinh y) 2))) (/ y (cbrt (pow (sinh y) 2))) (/ y (sqrt (sinh y))) y (/ y (cbrt (sinh y))) (/ y (cbrt (sqrt (pow (sinh y) 3)))) y (/ y (cbrt (pow (sinh y) 3/2))) (/ y (cbrt (pow (sinh y) 2))) (/ y (sqrt (sinh y))) y (/ (sinh y) (cbrt y)) (/ (sinh y) (sqrt y)) (/ (sinh y) y) (/ y (- (exp y) (exp (- y)))) (log (* (/ (cos x) y) (sinh y))) (log (* (/ (cos x) y) (sinh y))) (log (* (/ (cos x) y) (sinh y))) (exp (* (/ (cos x) y) (sinh y))) (/ (* (pow (cos x) 3) (pow (sinh y) 3)) (pow y 3)) (pow (* (/ (cos x) y) (sinh y)) 3) (* (cbrt (* (/ (cos x) y) (sinh y))) (cbrt (* (/ (cos x) y) (sinh y)))) (cbrt (* (/ (cos x) y) (sinh y))) (pow (* (/ (cos x) y) (sinh y)) 3) (sqrt (* (/ (cos x) y) (sinh y))) (sqrt (* (/ (cos x) y) (sinh y))) (- (cos x)) (/ (- y) (sinh y)) (/ (cbrt (cos x)) (/ (* (cbrt (/ y (sinh y))) (cbrt (/ y (sinh y)))) (cbrt (cos x)))) (/ (cbrt (cos x)) (cbrt (/ y (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt (/ y (sinh y)))) (/ (cbrt (cos x)) (sqrt (/ y (sinh y)))) (* (cbrt (pow (sinh y) 2)) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y)))) (/ (cbrt (cos x)) (/ (cbrt y) (sqrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt y) (cbrt y))) (/ (cbrt (cos x)) (/ (cbrt y) (sinh y))) (* (cbrt (pow (sinh y) 2)) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (sinh y)))) (* (cbrt (pow (sinh y) 2)) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (sinh y)))) (* (cbrt (pow (sinh y) 2)) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y)))) (/ (cbrt (cos x)) (/ (cbrt y) (sqrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt y) (cbrt y))) (/ (cbrt (cos x)) (/ (cbrt y) (sinh y))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (cbrt (sinh y)))) (* (/ (cbrt (cos x)) (cbrt y)) (cbrt (pow (sinh y) 2))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (cbrt (sqrt (pow (sinh y) 3))))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (sqrt (pow (sinh y) 3))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt y) (cbrt y))) (/ (cbrt (cos x)) (/ (cbrt y) (sinh y))) (* (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt y) (cbrt y))) (cbrt (pow (sinh y) 3/2))) (* (/ (cbrt (cos x)) (cbrt y)) (cbrt (pow (sinh y) 3/2))) (* (cbrt (pow (sinh y) 2)) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y)))) (/ (cbrt (cos x)) (/ (cbrt y) (sqrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt y) (cbrt y))) (/ (cbrt (cos x)) (/ (cbrt y) (sinh y))) (* (* (/ (cbrt (cos x)) (sqrt y)) (cbrt (pow (sinh y) 2))) (cbrt (cos x))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (sqrt (sinh y)))) (/ (cbrt (cos x)) (/ (sqrt y) (sqrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt y)) (/ (cbrt (cos x)) (/ (sqrt y) (sinh y))) (* (* (/ (cbrt (cos x)) (sqrt y)) (cbrt (pow (sinh y) 2))) (cbrt (cos x))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (* (* (/ (cbrt (cos x)) (sqrt y)) (cbrt (pow (sinh y) 2))) (cbrt (cos x))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (* (* (/ (cbrt (cos x)) (sqrt y)) (cbrt (pow (sinh y) 2))) (cbrt (cos x))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (sqrt (sinh y)))) (/ (cbrt (cos x)) (/ (sqrt y) (sqrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt y)) (/ (cbrt (cos x)) (/ (sqrt y) (sinh y))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (cbrt (sinh y)))) (* (/ (cbrt (cos x)) (sqrt y)) (cbrt (pow (sinh y) 2))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (cbrt (sqrt (pow (sinh y) 3))))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (sqrt (pow (sinh y) 3))))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt y)) (/ (cbrt (cos x)) (/ (sqrt y) (sinh y))) (* (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt y)) (cbrt (pow (sinh y) 3/2))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (pow (sinh y) 3/2)))) (* (* (/ (cbrt (cos x)) (sqrt y)) (cbrt (pow (sinh y) 2))) (cbrt (cos x))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (sqrt (sinh y)))) (/ (cbrt (cos x)) (/ (sqrt y) (sqrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt y)) (/ (cbrt (cos x)) (/ (sqrt y) (sinh y))) (* (cbrt (pow (sinh y) 2)) (* (cbrt (cos x)) (cbrt (cos x)))) (/ (cbrt (cos x)) (/ y (cbrt (sinh y)))) (* (* (cbrt (cos x)) (cbrt (cos x))) (sqrt (sinh y))) (/ (cbrt (cos x)) (/ y (sqrt (sinh y)))) (* (cbrt (cos x)) (cbrt (cos x))) (* (/ (cbrt (cos x)) y) (sinh y)) (* (cbrt (pow (sinh y) 2)) (* (cbrt (cos x)) (cbrt (cos x)))) (/ (cbrt (cos x)) (/ y (cbrt (sinh y)))) (* (cbrt (pow (sinh y) 2)) (* (cbrt (cos x)) (cbrt (cos x)))) (/ (cbrt (cos x)) (/ y (cbrt (sinh y)))) (* (cbrt (pow (sinh y) 2)) (* (cbrt (cos x)) (cbrt (cos x)))) (/ (cbrt (cos x)) (/ y (cbrt (sinh y)))) (* (* (cbrt (cos x)) (cbrt (cos x))) (sqrt (sinh y))) (/ (cbrt (cos x)) (/ y (sqrt (sinh y)))) (* (cbrt (cos x)) (cbrt (cos x))) (* (/ (cbrt (cos x)) y) (sinh y)) (* (* (cbrt (cos x)) (cbrt (cos x))) (cbrt (sinh y))) (* (/ (cbrt (cos x)) y) (cbrt (pow (sinh y) 2))) (* (* (cbrt (cos x)) (cbrt (cos x))) (cbrt (sqrt (pow (sinh y) 3)))) (/ (cbrt (cos x)) (/ y (cbrt (sqrt (pow (sinh y) 3))))) (* (cbrt (cos x)) (cbrt (cos x))) (* (/ (cbrt (cos x)) y) (sinh y)) (* (* (cbrt (cos x)) (cbrt (cos x))) (cbrt (pow (sinh y) 3/2))) (* (/ (cbrt (cos x)) y) (cbrt (pow (sinh y) 3/2))) (* (cbrt (pow (sinh y) 2)) (* (cbrt (cos x)) (cbrt (cos x)))) (/ (cbrt (cos x)) (/ y (cbrt (sinh y)))) (* (* (cbrt (cos x)) (cbrt (cos x))) (sqrt (sinh y))) (/ (cbrt (cos x)) (/ y (sqrt (sinh y)))) (* (cbrt (cos x)) (cbrt (cos x))) (* (/ (cbrt (cos x)) y) (sinh y)) (* (cbrt (cos x)) (cbrt (cos x))) (* (/ (cbrt (cos x)) y) (sinh y)) (/ (* (cbrt (cos x)) (cbrt (cos x))) y) (* (cbrt (cos x)) (sinh y)) (* (/ (* (cbrt (cos x)) (cbrt (cos x))) y) (- (exp y) (exp (- y)))) (/ (cbrt (cos x)) 2) (/ (sqrt (cos x)) (* (cbrt (/ y (sinh y))) (cbrt (/ y (sinh y))))) (/ (sqrt (cos x)) (cbrt (/ y (sinh y)))) (/ (sqrt (cos x)) (sqrt (/ y (sinh y)))) (/ (sqrt (cos x)) (sqrt (/ y (sinh y)))) (* (/ (sqrt (cos x)) (* (cbrt y) (cbrt y))) (cbrt (pow (sinh y) 2))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (sinh y)))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y)))) (/ (sqrt (cos x)) (/ (cbrt y) (sqrt (sinh y)))) (/ (sqrt (cos x)) (* (cbrt y) (cbrt y))) (/ (sqrt (cos x)) (/ (cbrt y) (sinh y))) (* (/ (sqrt (cos x)) (* (cbrt y) (cbrt y))) (cbrt (pow (sinh y) 2))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (sinh y)))) (* (/ (sqrt (cos x)) (* (cbrt y) (cbrt y))) (cbrt (pow (sinh y) 2))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (sinh y)))) (* (/ (sqrt (cos x)) (* (cbrt y) (cbrt y))) (cbrt (pow (sinh y) 2))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (sinh y)))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y)))) (/ (sqrt (cos x)) (/ (cbrt y) (sqrt (sinh y)))) (/ (sqrt (cos x)) (* (cbrt y) (cbrt y))) (/ (sqrt (cos x)) (/ (cbrt y) (sinh y))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (cbrt (sinh y)))) (* (cbrt (pow (sinh y) 2)) (/ (sqrt (cos x)) (cbrt y))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (cbrt (sqrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (sqrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (* (cbrt y) (cbrt y))) (/ (sqrt (cos x)) (/ (cbrt y) (sinh y))) (* (/ (sqrt (cos x)) (* (cbrt y) (cbrt y))) (cbrt (pow (sinh y) 3/2))) (* (/ (sqrt (cos x)) (cbrt y)) (cbrt (pow (sinh y) 3/2))) (* (/ (sqrt (cos x)) (* (cbrt y) (cbrt y))) (cbrt (pow (sinh y) 2))) (/ (sqrt (cos x)) (/ (cbrt y) (cbrt (sinh y)))) (/ (sqrt (cos x)) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y)))) (/ (sqrt (cos x)) (/ (cbrt y) (sqrt (sinh y)))) (/ (sqrt (cos x)) (* (cbrt y) (cbrt y))) (/ (sqrt (cos x)) (/ (cbrt y) (sinh y))) (* (cbrt (pow (sinh y) 2)) (/ (sqrt (cos x)) (sqrt y))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (* (/ (sqrt (cos x)) (sqrt y)) (sqrt (sinh y))) (* (/ (sqrt (cos x)) (sqrt y)) (sqrt (sinh y))) (/ (sqrt (cos x)) (sqrt y)) (/ (sqrt (cos x)) (/ (sqrt y) (sinh y))) (* (cbrt (pow (sinh y) 2)) (/ (sqrt (cos x)) (sqrt y))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (* (cbrt (pow (sinh y) 2)) (/ (sqrt (cos x)) (sqrt y))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (* (cbrt (pow (sinh y) 2)) (/ (sqrt (cos x)) (sqrt y))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (* (/ (sqrt (cos x)) (sqrt y)) (sqrt (sinh y))) (* (/ (sqrt (cos x)) (sqrt y)) (sqrt (sinh y))) (/ (sqrt (cos x)) (sqrt y)) (/ (sqrt (cos x)) (/ (sqrt y) (sinh y))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (* (cbrt (pow (sinh y) 2)) (/ (sqrt (cos x)) (sqrt y))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (sqrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (sqrt (pow (sinh y) 3))))) (/ (sqrt (cos x)) (sqrt y)) (/ (sqrt (cos x)) (/ (sqrt y) (sinh y))) (* (/ (sqrt (cos x)) (sqrt y)) (cbrt (pow (sinh y) 3/2))) (* (/ (sqrt (cos x)) (sqrt y)) (cbrt (pow (sinh y) 3/2))) (* (cbrt (pow (sinh y) 2)) (/ (sqrt (cos x)) (sqrt y))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (* (/ (sqrt (cos x)) (sqrt y)) (sqrt (sinh y))) (* (/ (sqrt (cos x)) (sqrt y)) (sqrt (sinh y))) (/ (sqrt (cos x)) (sqrt y)) (/ (sqrt (cos x)) (/ (sqrt y) (sinh y))) (* (sqrt (cos x)) (cbrt (pow (sinh y) 2))) (* (/ (sqrt (cos x)) y) (cbrt (sinh y))) (* (sqrt (cos x)) (sqrt (sinh y))) (/ (sqrt (cos x)) (/ y (sqrt (sinh y)))) (sqrt (cos x)) (* (/ (sqrt (cos x)) y) (sinh y)) (* (sqrt (cos x)) (cbrt (pow (sinh y) 2))) (* (/ (sqrt (cos x)) y) (cbrt (sinh y))) (* (sqrt (cos x)) (cbrt (pow (sinh y) 2))) (* (/ (sqrt (cos x)) y) (cbrt (sinh y))) (* (sqrt (cos x)) (cbrt (pow (sinh y) 2))) (* (/ (sqrt (cos x)) y) (cbrt (sinh y))) (* (sqrt (cos x)) (sqrt (sinh y))) (/ (sqrt (cos x)) (/ y (sqrt (sinh y)))) (sqrt (cos x)) (* (/ (sqrt (cos x)) y) (sinh y)) (* (sqrt (cos x)) (cbrt (sinh y))) (* (/ (sqrt (cos x)) y) (cbrt (pow (sinh y) 2))) (* (sqrt (cos x)) (cbrt (sqrt (pow (sinh y) 3)))) (/ (sqrt (cos x)) (/ y (cbrt (sqrt (pow (sinh y) 3))))) (sqrt (cos x)) (* (/ (sqrt (cos x)) y) (sinh y)) (* (sqrt (cos x)) (cbrt (pow (sinh y) 3/2))) (* (/ (sqrt (cos x)) y) (cbrt (pow (sinh y) 3/2))) (* (sqrt (cos x)) (cbrt (pow (sinh y) 2))) (* (/ (sqrt (cos x)) y) (cbrt (sinh y))) (* (sqrt (cos x)) (sqrt (sinh y))) (/ (sqrt (cos x)) (/ y (sqrt (sinh y)))) (sqrt (cos x)) (* (/ (sqrt (cos x)) y) (sinh y)) (sqrt (cos x)) (* (/ (sqrt (cos x)) y) (sinh y)) (/ (sqrt (cos x)) y) (* (sqrt (cos x)) (sinh y)) (* (/ (sqrt (cos x)) y) (- (exp y) (exp (- y)))) (/ (sqrt (cos x)) 2) (/ 1 (* (cbrt (/ y (sinh y))) (cbrt (/ y (sinh y))))) (/ (cos x) (cbrt (/ y (sinh y)))) (/ 1 (sqrt (/ y (sinh y)))) (/ (cos x) (sqrt (/ y (sinh y)))) (/ (cbrt (pow (sinh y) 2)) (* (cbrt y) (cbrt y))) (/ (cos x) (/ (cbrt y) (cbrt (sinh y)))) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))) (/ (cos x) (/ (cbrt y) (sqrt (sinh y)))) (/ 1 (* (cbrt y) (cbrt y))) (/ (cos x) (/ (cbrt y) (sinh y))) (/ (cbrt (pow (sinh y) 2)) (* (cbrt y) (cbrt y))) (/ (cos x) (/ (cbrt y) (cbrt (sinh y)))) (/ (cbrt (pow (sinh y) 2)) (* (cbrt y) (cbrt y))) (/ (cos x) (/ (cbrt y) (cbrt (sinh y)))) (/ (cbrt (pow (sinh y) 2)) (* (cbrt y) (cbrt y))) (/ (cos x) (/ (cbrt y) (cbrt (sinh y)))) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))) (/ (cos x) (/ (cbrt y) (sqrt (sinh y)))) (/ 1 (* (cbrt y) (cbrt y))) (/ (cos x) (/ (cbrt y) (sinh y))) (/ (cbrt (sinh y)) (* (cbrt y) (cbrt y))) (* (cbrt (pow (sinh y) 2)) (/ (cos x) (cbrt y))) (/ (cbrt (sqrt (pow (sinh y) 3))) (* (cbrt y) (cbrt y))) (/ (cos x) (/ (cbrt y) (cbrt (sqrt (pow (sinh y) 3))))) (/ 1 (* (cbrt y) (cbrt y))) (/ (cos x) (/ (cbrt y) (sinh y))) (/ (cbrt (pow (sinh y) 3/2)) (* (cbrt y) (cbrt y))) (* (/ (cos x) (cbrt y)) (cbrt (pow (sinh y) 3/2))) (/ (cbrt (pow (sinh y) 2)) (* (cbrt y) (cbrt y))) (/ (cos x) (/ (cbrt y) (cbrt (sinh y)))) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))) (/ (cos x) (/ (cbrt y) (sqrt (sinh y)))) (/ 1 (* (cbrt y) (cbrt y))) (/ (cos x) (/ (cbrt y) (sinh y))) (/ (cbrt (pow (sinh y) 2)) (sqrt y)) (/ (cos x) (/ (sqrt y) (cbrt (sinh y)))) (/ (sqrt (sinh y)) (sqrt y)) (* (/ (cos x) (sqrt y)) (sqrt (sinh y))) (/ 1 (sqrt y)) (/ (cos x) (/ (sqrt y) (sinh y))) (/ (cbrt (pow (sinh y) 2)) (sqrt y)) (/ (cos x) (/ (sqrt y) (cbrt (sinh y)))) (/ (cbrt (pow (sinh y) 2)) (sqrt y)) (/ (cos x) (/ (sqrt y) (cbrt (sinh y)))) (/ (cbrt (pow (sinh y) 2)) (sqrt y)) (/ (cos x) (/ (sqrt y) (cbrt (sinh y)))) (/ (sqrt (sinh y)) (sqrt y)) (* (/ (cos x) (sqrt y)) (sqrt (sinh y))) (/ 1 (sqrt y)) (/ (cos x) (/ (sqrt y) (sinh y))) (/ (cbrt (sinh y)) (sqrt y)) (* (cbrt (pow (sinh y) 2)) (/ (cos x) (sqrt y))) (/ (cbrt (sqrt (pow (sinh y) 3))) (sqrt y)) (/ (cos x) (/ (sqrt y) (cbrt (sqrt (pow (sinh y) 3))))) (/ 1 (sqrt y)) (/ (cos x) (/ (sqrt y) (sinh y))) (/ (cbrt (pow (sinh y) 3/2)) (sqrt y)) (* (/ (cos x) (sqrt y)) (cbrt (pow (sinh y) 3/2))) (/ (cbrt (pow (sinh y) 2)) (sqrt y)) (/ (cos x) (/ (sqrt y) (cbrt (sinh y)))) (/ (sqrt (sinh y)) (sqrt y)) (* (/ (cos x) (sqrt y)) (sqrt (sinh y))) (/ 1 (sqrt y)) (/ (cos x) (/ (sqrt y) (sinh y))) (cbrt (pow (sinh y) 2)) (* (/ (cos x) y) (cbrt (sinh y))) (sqrt (sinh y)) (* (/ (cos x) y) (sqrt (sinh y))) 1 (* (/ (cos x) y) (sinh y)) (cbrt (pow (sinh y) 2)) (* (/ (cos x) y) (cbrt (sinh y))) (cbrt (pow (sinh y) 2)) (* (/ (cos x) y) (cbrt (sinh y))) (cbrt (pow (sinh y) 2)) (* (/ (cos x) y) (cbrt (sinh y))) (sqrt (sinh y)) (* (/ (cos x) y) (sqrt (sinh y))) 1 (* (/ (cos x) y) (sinh y)) (cbrt (sinh y)) (* (/ (cos x) y) (cbrt (pow (sinh y) 2))) (cbrt (sqrt (pow (sinh y) 3))) (/ (cos x) (/ y (cbrt (sqrt (pow (sinh y) 3))))) 1 (* (/ (cos x) y) (sinh y)) (cbrt (pow (sinh y) 3/2)) (* (/ (cos x) y) (cbrt (pow (sinh y) 3/2))) (cbrt (pow (sinh y) 2)) (* (/ (cos x) y) (cbrt (sinh y))) (sqrt (sinh y)) (* (/ (cos x) y) (sqrt (sinh y))) 1 (* (/ (cos x) y) (sinh y)) 1 (* (/ (cos x) y) (sinh y)) (/ 1 y) (* (cos x) (sinh y)) (* (/ 1 y) (- (exp y) (exp (- y)))) (/ (cos x) 2) (/ (sinh y) y) (/ y (* (cos x) (sinh y))) (/ (cos x) (* (cbrt (/ y (sinh y))) (cbrt (/ y (sinh y))))) (/ (cos x) (sqrt (/ y (sinh y)))) (* (/ (cos x) (* (cbrt y) (cbrt y))) (cbrt (pow (sinh y) 2))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y)))) (/ (cos x) (* (cbrt y) (cbrt y))) (* (/ (cos x) (* (cbrt y) (cbrt y))) (cbrt (pow (sinh y) 2))) (* (/ (cos x) (* (cbrt y) (cbrt y))) (cbrt (pow (sinh y) 2))) (* (/ (cos x) (* (cbrt y) (cbrt y))) (cbrt (pow (sinh y) 2))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y)))) (/ (cos x) (* (cbrt y) (cbrt y))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (cbrt (sinh y)))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (cbrt (sqrt (pow (sinh y) 3))))) (/ (cos x) (* (cbrt y) (cbrt y))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (sinh y) 3/2)))) (* (/ (cos x) (* (cbrt y) (cbrt y))) (cbrt (pow (sinh y) 2))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y)))) (/ (cos x) (* (cbrt y) (cbrt y))) (* (cbrt (pow (sinh y) 2)) (/ (cos x) (sqrt y))) (* (/ (cos x) (sqrt y)) (sqrt (sinh y))) (/ (cos x) (sqrt y)) (* (cbrt (pow (sinh y) 2)) (/ (cos x) (sqrt y))) (* (cbrt (pow (sinh y) 2)) (/ (cos x) (sqrt y))) (* (cbrt (pow (sinh y) 2)) (/ (cos x) (sqrt y))) (* (/ (cos x) (sqrt y)) (sqrt (sinh y))) (/ (cos x) (sqrt y)) (/ (cos x) (/ (sqrt y) (cbrt (sinh y)))) (/ (cos x) (/ (sqrt y) (cbrt (sqrt (pow (sinh y) 3))))) (/ (cos x) (sqrt y)) (* (/ (cos x) (sqrt y)) (cbrt (pow (sinh y) 3/2))) (* (cbrt (pow (sinh y) 2)) (/ (cos x) (sqrt y))) (* (/ (cos x) (sqrt y)) (sqrt (sinh y))) (/ (cos x) (sqrt y)) (* (cos x) (cbrt (pow (sinh y) 2))) (* (cos x) (sqrt (sinh y))) (cos x) (* (cos x) (cbrt (pow (sinh y) 2))) (* (cos x) (cbrt (pow (sinh y) 2))) (* (cos x) (cbrt (pow (sinh y) 2))) (* (cos x) (sqrt (sinh y))) (cos x) (* (cos x) (cbrt (sinh y))) (* (cos x) (cbrt (sqrt (pow (sinh y) 3)))) (cos x) (* (cos x) (cbrt (pow (sinh y) 3/2))) (* (cos x) (cbrt (pow (sinh y) 2))) (* (cos x) (sqrt (sinh y))) (cos x) (cos x) (/ (cos x) y) (/ (cos x) (/ y (- (exp y) (exp (- y))))) (/ y (* (cbrt (cos x)) (sinh y))) (/ y (* (sqrt (cos x)) (sinh y))) (/ y (* (cos x) (sinh y))) (/ (cos x) y) (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) (* (- (exp y) (exp (- y))) 1/2) (* (- (exp y) (exp (- y))) 1/2) (+ (pow y 3) (+ (* 1/2 (pow y 5)) (* 13/120 (pow y 7)))) (* 1/8 (pow (- (exp y) (exp (- y))) 3)) (* 1/8 (pow (- (exp y) (exp (- y))) 3)) (- (+ (* 7/360 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ y (* (- (exp y) (exp (- y))) 1/2)) (/ y (* (- (exp y) (exp (- y))) 1/2)) (- (+ (* 1/6 (pow y 2)) 1) (* 1/2 (pow x 2))) (/ (* (cos x) (* (- (exp y) (exp (- y))) 1/2)) y) (/ (* -1/2 (* (cos x) (- (exp (- y)) (exp y)))) y) 23.063 * * * [progress]: adding candidates to table 23.726 * [progress]: [Phase 3 of 3] Extracting. 23.726 * * [regime]: Finding splitpoints for: (# #) 23.726 * * * [regime-changes]: Trying 3 branch expressions: ((cos x) y x) 23.726 * * * * [regimes]: Trying to branch on (cos x) from (# #) 23.744 * * * * [regimes]: Trying to branch on y from (# #) 23.756 * * * * [regimes]: Trying to branch on x from (# #) 23.769 * * * [regime]: Found split indices: #