8.457 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.070 * * * [progress]: [2/2] Setting up program. 0.072 * [progress]: [Phase 2 of 3] Improving. 0.072 * [simplify]: Simplifying using # : (* (cos x) (/ (sinh y) y)) 0.073 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.074 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.075 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 0.079 * * [simplify]: iteration 3 : 64 enodes (cost 7 ) 0.092 * * [simplify]: iteration 4 : 136 enodes (cost 7 ) 0.112 * * [simplify]: iteration 5 : 250 enodes (cost 7 ) 0.161 * * [simplify]: iteration 6 : 464 enodes (cost 7 ) 0.375 * * [simplify]: iteration 7 : 1006 enodes (cost 7 ) 1.453 * * [simplify]: iteration 8 : 2118 enodes (cost 7 ) 3.312 * * [simplify]: iteration 9 : 3015 enodes (cost 7 ) 6.703 * * [simplify]: iteration 10 : 4236 enodes (cost 7 ) 10.070 * * [simplify]: iteration 11 : 4715 enodes (cost 7 ) 13.019 * * [simplify]: iteration 12 : 4759 enodes (cost 7 ) 15.875 * * [simplify]: iteration 13 : 4770 enodes (cost 7 ) 16.997 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 16.997 * [simplify]: Simplified to: (* (cos x) (/ (sinh y) y)) 16.998 * * [progress]: iteration 1 / 4 16.998 * * * [progress]: picking best candidate 16.999 * * * * [pick]: Picked # 17.000 * * * [progress]: localizing error 17.007 * * * [progress]: generating rewritten candidates 17.007 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 17.007 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 17.010 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 17.020 * * * [progress]: generating series expansions 17.020 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 17.021 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0 17.021 * [taylor]: Taking taylor expansion of (sinh y) in y 17.021 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 17.021 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 17.021 * [taylor]: Taking taylor expansion of (exp y) in y 17.021 * [taylor]: Taking taylor expansion of y in y 17.021 * [taylor]: Taking taylor expansion of (exp (- y)) in y 17.021 * [taylor]: Taking taylor expansion of (- y) in y 17.021 * [taylor]: Taking taylor expansion of y in y 17.022 * [taylor]: Taking taylor expansion of 2 in y 17.024 * [taylor]: Taking taylor expansion of (sinh y) in y 17.025 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 17.025 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 17.025 * [taylor]: Taking taylor expansion of (exp y) in y 17.025 * [taylor]: Taking taylor expansion of y in y 17.025 * [taylor]: Taking taylor expansion of (exp (- y)) in y 17.025 * [taylor]: Taking taylor expansion of (- y) in y 17.025 * [taylor]: Taking taylor expansion of y in y 17.025 * [taylor]: Taking taylor expansion of 2 in y 17.054 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0 17.054 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 17.054 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 17.054 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 17.054 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 17.054 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.054 * [taylor]: Taking taylor expansion of y in y 17.055 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 17.055 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 17.055 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.055 * [taylor]: Taking taylor expansion of y in y 17.055 * [taylor]: Taking taylor expansion of 2 in y 17.056 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 17.056 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 17.056 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 17.056 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 17.056 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.056 * [taylor]: Taking taylor expansion of y in y 17.056 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 17.056 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 17.056 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.056 * [taylor]: Taking taylor expansion of y in y 17.057 * [taylor]: Taking taylor expansion of 2 in y 17.069 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0 17.069 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 17.069 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 17.069 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 17.069 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 17.069 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.069 * [taylor]: Taking taylor expansion of -1 in y 17.069 * [taylor]: Taking taylor expansion of y in y 17.070 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 17.070 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 17.070 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.070 * [taylor]: Taking taylor expansion of -1 in y 17.070 * [taylor]: Taking taylor expansion of y in y 17.071 * [taylor]: Taking taylor expansion of 2 in y 17.071 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 17.071 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 17.071 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 17.071 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 17.071 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.071 * [taylor]: Taking taylor expansion of -1 in y 17.071 * [taylor]: Taking taylor expansion of y in y 17.072 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 17.072 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 17.072 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.072 * [taylor]: Taking taylor expansion of -1 in y 17.072 * [taylor]: Taking taylor expansion of y in y 17.072 * [taylor]: Taking taylor expansion of 2 in y 17.088 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 17.088 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0 17.088 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 17.088 * [taylor]: Taking taylor expansion of (sinh y) in y 17.088 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 17.088 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 17.088 * [taylor]: Taking taylor expansion of (exp y) in y 17.088 * [taylor]: Taking taylor expansion of y in y 17.088 * [taylor]: Taking taylor expansion of (exp (- y)) in y 17.088 * [taylor]: Taking taylor expansion of (- y) in y 17.088 * [taylor]: Taking taylor expansion of y in y 17.089 * [taylor]: Taking taylor expansion of 2 in y 17.092 * [taylor]: Taking taylor expansion of y in y 17.092 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 17.092 * [taylor]: Taking taylor expansion of (sinh y) in y 17.092 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 17.092 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 17.092 * [taylor]: Taking taylor expansion of (exp y) in y 17.092 * [taylor]: Taking taylor expansion of y in y 17.092 * [taylor]: Taking taylor expansion of (exp (- y)) in y 17.092 * [taylor]: Taking taylor expansion of (- y) in y 17.092 * [taylor]: Taking taylor expansion of y in y 17.093 * [taylor]: Taking taylor expansion of 2 in y 17.095 * [taylor]: Taking taylor expansion of y in y 17.123 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0 17.123 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 17.123 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 17.123 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 17.123 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 17.123 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 17.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.124 * [taylor]: Taking taylor expansion of y in y 17.124 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 17.124 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 17.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.124 * [taylor]: Taking taylor expansion of y in y 17.125 * [taylor]: Taking taylor expansion of 2 in y 17.125 * [taylor]: Taking taylor expansion of y in y 17.125 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 17.125 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 17.125 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 17.125 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 17.125 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 17.125 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.125 * [taylor]: Taking taylor expansion of y in y 17.125 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 17.125 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 17.125 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.125 * [taylor]: Taking taylor expansion of y in y 17.126 * [taylor]: Taking taylor expansion of 2 in y 17.126 * [taylor]: Taking taylor expansion of y in y 17.146 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in (y) around 0 17.146 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 17.146 * [taylor]: Taking taylor expansion of -1 in y 17.146 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 17.146 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 17.147 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 17.147 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 17.147 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 17.147 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.147 * [taylor]: Taking taylor expansion of -1 in y 17.147 * [taylor]: Taking taylor expansion of y in y 17.147 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 17.147 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 17.147 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.147 * [taylor]: Taking taylor expansion of -1 in y 17.147 * [taylor]: Taking taylor expansion of y in y 17.148 * [taylor]: Taking taylor expansion of 2 in y 17.148 * [taylor]: Taking taylor expansion of y in y 17.148 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 17.148 * [taylor]: Taking taylor expansion of -1 in y 17.148 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 17.148 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 17.148 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 17.148 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 17.148 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 17.148 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.148 * [taylor]: Taking taylor expansion of -1 in y 17.148 * [taylor]: Taking taylor expansion of y in y 17.149 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 17.149 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 17.149 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.149 * [taylor]: Taking taylor expansion of -1 in y 17.149 * [taylor]: Taking taylor expansion of y in y 17.149 * [taylor]: Taking taylor expansion of 2 in y 17.150 * [taylor]: Taking taylor expansion of y in y 17.181 * * * * [progress]: [ 3 / 3 ] generating series at (2) 17.181 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0 17.181 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 17.181 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 17.181 * [taylor]: Taking taylor expansion of (sinh y) in y 17.181 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 17.181 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 17.181 * [taylor]: Taking taylor expansion of (exp y) in y 17.181 * [taylor]: Taking taylor expansion of y in y 17.181 * [taylor]: Taking taylor expansion of (exp (- y)) in y 17.181 * [taylor]: Taking taylor expansion of (- y) in y 17.181 * [taylor]: Taking taylor expansion of y in y 17.182 * [taylor]: Taking taylor expansion of 2 in y 17.185 * [taylor]: Taking taylor expansion of (cos x) in y 17.185 * [taylor]: Taking taylor expansion of x in y 17.185 * [taylor]: Taking taylor expansion of y in y 17.185 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 17.185 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 17.185 * [taylor]: Taking taylor expansion of (sinh y) in x 17.186 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 17.186 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 17.186 * [taylor]: Taking taylor expansion of (exp y) in x 17.186 * [taylor]: Taking taylor expansion of y in x 17.186 * [taylor]: Taking taylor expansion of (exp (- y)) in x 17.186 * [taylor]: Taking taylor expansion of (- y) in x 17.186 * [taylor]: Taking taylor expansion of y in x 17.186 * [taylor]: Taking taylor expansion of 2 in x 17.186 * [taylor]: Taking taylor expansion of (cos x) in x 17.186 * [taylor]: Taking taylor expansion of x in x 17.186 * [taylor]: Taking taylor expansion of y in x 17.186 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 17.186 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 17.186 * [taylor]: Taking taylor expansion of (sinh y) in x 17.186 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 17.186 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 17.186 * [taylor]: Taking taylor expansion of (exp y) in x 17.186 * [taylor]: Taking taylor expansion of y in x 17.186 * [taylor]: Taking taylor expansion of (exp (- y)) in x 17.186 * [taylor]: Taking taylor expansion of (- y) in x 17.186 * [taylor]: Taking taylor expansion of y in x 17.186 * [taylor]: Taking taylor expansion of 2 in x 17.187 * [taylor]: Taking taylor expansion of (cos x) in x 17.187 * [taylor]: Taking taylor expansion of x in x 17.187 * [taylor]: Taking taylor expansion of y in x 17.187 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (- y))) y)) in y 17.187 * [taylor]: Taking taylor expansion of 1/2 in y 17.187 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (- y))) y) in y 17.187 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 17.187 * [taylor]: Taking taylor expansion of (exp y) in y 17.187 * [taylor]: Taking taylor expansion of y in y 17.187 * [taylor]: Taking taylor expansion of (exp (- y)) in y 17.187 * [taylor]: Taking taylor expansion of (- y) in y 17.187 * [taylor]: Taking taylor expansion of y in y 17.188 * [taylor]: Taking taylor expansion of y in y 17.195 * [taylor]: Taking taylor expansion of 0 in y 17.203 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (- y)) y)) (* 1/4 (/ (exp y) y))) in y 17.203 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (- y)) y)) in y 17.203 * [taylor]: Taking taylor expansion of 1/4 in y 17.203 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y 17.203 * [taylor]: Taking taylor expansion of (exp (- y)) in y 17.203 * [taylor]: Taking taylor expansion of (- y) in y 17.203 * [taylor]: Taking taylor expansion of y in y 17.204 * [taylor]: Taking taylor expansion of y in y 17.204 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 17.204 * [taylor]: Taking taylor expansion of 1/4 in y 17.204 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 17.204 * [taylor]: Taking taylor expansion of (exp y) in y 17.204 * [taylor]: Taking taylor expansion of y in y 17.204 * [taylor]: Taking taylor expansion of y in y 17.215 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0 17.215 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 17.215 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 17.215 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 17.215 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 17.215 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 17.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.215 * [taylor]: Taking taylor expansion of y in y 17.216 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 17.216 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 17.216 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.216 * [taylor]: Taking taylor expansion of y in y 17.216 * [taylor]: Taking taylor expansion of 2 in y 17.217 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 17.217 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 17.217 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.217 * [taylor]: Taking taylor expansion of x in y 17.217 * [taylor]: Taking taylor expansion of y in y 17.217 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 17.217 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 17.217 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 17.217 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 17.217 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 17.217 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.217 * [taylor]: Taking taylor expansion of y in x 17.217 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 17.217 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 17.217 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.217 * [taylor]: Taking taylor expansion of y in x 17.217 * [taylor]: Taking taylor expansion of 2 in x 17.217 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 17.217 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 17.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.217 * [taylor]: Taking taylor expansion of x in x 17.218 * [taylor]: Taking taylor expansion of y in x 17.218 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 17.218 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 17.218 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 17.218 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 17.218 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 17.218 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.218 * [taylor]: Taking taylor expansion of y in x 17.218 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 17.218 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 17.218 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.218 * [taylor]: Taking taylor expansion of y in x 17.218 * [taylor]: Taking taylor expansion of 2 in x 17.219 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 17.219 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 17.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.219 * [taylor]: Taking taylor expansion of x in x 17.219 * [taylor]: Taking taylor expansion of y in x 17.220 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y 17.220 * [taylor]: Taking taylor expansion of 1/2 in y 17.220 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y 17.220 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 17.220 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.220 * [taylor]: Taking taylor expansion of x in y 17.220 * [taylor]: Taking taylor expansion of (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y 17.220 * [taylor]: Taking taylor expansion of y in y 17.220 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 17.220 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 17.220 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.220 * [taylor]: Taking taylor expansion of y in y 17.220 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 17.220 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 17.220 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.221 * [taylor]: Taking taylor expansion of y in y 17.225 * [taylor]: Taking taylor expansion of 0 in y 17.234 * [taylor]: Taking taylor expansion of 0 in y 17.245 * [taylor]: Taking taylor expansion of 0 in y 17.245 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in (x y) around 0 17.245 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 17.245 * [taylor]: Taking taylor expansion of -1 in y 17.245 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 17.245 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 17.246 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 17.246 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 17.246 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 17.246 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.246 * [taylor]: Taking taylor expansion of -1 in y 17.246 * [taylor]: Taking taylor expansion of y in y 17.246 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 17.246 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 17.246 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.246 * [taylor]: Taking taylor expansion of -1 in y 17.246 * [taylor]: Taking taylor expansion of y in y 17.247 * [taylor]: Taking taylor expansion of 2 in y 17.247 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 17.247 * [taylor]: Taking taylor expansion of y in y 17.247 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 17.247 * [taylor]: Taking taylor expansion of (/ -1 x) in y 17.247 * [taylor]: Taking taylor expansion of -1 in y 17.247 * [taylor]: Taking taylor expansion of x in y 17.247 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 17.247 * [taylor]: Taking taylor expansion of -1 in x 17.247 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 17.247 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 17.247 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 17.247 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 17.247 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 17.247 * [taylor]: Taking taylor expansion of (/ -1 y) in x 17.247 * [taylor]: Taking taylor expansion of -1 in x 17.247 * [taylor]: Taking taylor expansion of y in x 17.247 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 17.247 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 17.247 * [taylor]: Taking taylor expansion of (/ -1 y) in x 17.247 * [taylor]: Taking taylor expansion of -1 in x 17.247 * [taylor]: Taking taylor expansion of y in x 17.248 * [taylor]: Taking taylor expansion of 2 in x 17.248 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 17.248 * [taylor]: Taking taylor expansion of y in x 17.248 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 17.248 * [taylor]: Taking taylor expansion of (/ -1 x) in x 17.248 * [taylor]: Taking taylor expansion of -1 in x 17.248 * [taylor]: Taking taylor expansion of x in x 17.248 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 17.248 * [taylor]: Taking taylor expansion of -1 in x 17.248 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 17.248 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 17.248 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 17.248 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 17.248 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 17.249 * [taylor]: Taking taylor expansion of (/ -1 y) in x 17.249 * [taylor]: Taking taylor expansion of -1 in x 17.249 * [taylor]: Taking taylor expansion of y in x 17.249 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 17.249 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 17.249 * [taylor]: Taking taylor expansion of (/ -1 y) in x 17.249 * [taylor]: Taking taylor expansion of -1 in x 17.249 * [taylor]: Taking taylor expansion of y in x 17.249 * [taylor]: Taking taylor expansion of 2 in x 17.249 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 17.249 * [taylor]: Taking taylor expansion of y in x 17.249 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 17.249 * [taylor]: Taking taylor expansion of (/ -1 x) in x 17.249 * [taylor]: Taking taylor expansion of -1 in x 17.249 * [taylor]: Taking taylor expansion of x in x 17.250 * [taylor]: Taking taylor expansion of (* -1/2 (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))))) in y 17.250 * [taylor]: Taking taylor expansion of -1/2 in y 17.250 * [taylor]: Taking taylor expansion of (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x)))) in y 17.250 * [taylor]: Taking taylor expansion of y in y 17.250 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))) in y 17.250 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 17.250 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 17.250 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.250 * [taylor]: Taking taylor expansion of -1 in y 17.250 * [taylor]: Taking taylor expansion of y in y 17.250 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 17.250 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.250 * [taylor]: Taking taylor expansion of y in y 17.251 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 17.251 * [taylor]: Taking taylor expansion of (/ -1 x) in y 17.251 * [taylor]: Taking taylor expansion of -1 in y 17.251 * [taylor]: Taking taylor expansion of x in y 17.255 * [taylor]: Taking taylor expansion of 0 in y 17.268 * [taylor]: Taking taylor expansion of 0 in y 17.280 * [taylor]: Taking taylor expansion of 0 in y 17.281 * * * [progress]: simplifying candidates 17.282 * [simplify]: Simplifying using # : (expm1 (sinh y)) (log1p (sinh y)) (- (exp y) (exp (- y))) (log (sinh y)) (exp (sinh y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (cbrt (sinh y)) (* (* (sinh y) (sinh y)) (sinh y)) (sqrt (sinh y)) (sqrt (sinh y)) (expm1 (/ (sinh y) y)) (log1p (/ (sinh y) y)) (- (log (sinh y)) (log y)) (log (/ (sinh y) y)) (exp (/ (sinh y) y)) (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* y y) y)) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))) (cbrt (/ (sinh y) y)) (* (* (/ (sinh y) y) (/ (sinh y) y)) (/ (sinh y) y)) (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y)) (- (sinh y)) (- y) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sinh y)) (cbrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)) (/ (cbrt (sinh y)) (sqrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1) (/ (cbrt (sinh y)) y) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sinh y)) (cbrt y)) (/ (sqrt (sinh y)) (sqrt y)) (/ (sqrt (sinh y)) (sqrt y)) (/ (sqrt (sinh y)) 1) (/ (sqrt (sinh y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sinh y) (cbrt y)) (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)) (/ 1 1) (/ (sinh y) y) (/ 1 y) (/ y (sinh y)) (/ (sinh y) (* (cbrt y) (cbrt y))) (/ (sinh y) (sqrt y)) (/ (sinh y) 1) (/ y (cbrt (sinh y))) (/ y (sqrt (sinh y))) (/ y (sinh y)) (* y 2) (expm1 (* (cos x) (/ (sinh y) y))) (log1p (* (cos x) (/ (sinh y) y))) (* (cos x) (/ (sinh y) y)) (+ (log (cos x)) (- (log (sinh y)) (log y))) (+ (log (cos x)) (log (/ (sinh y) y))) (log (* (cos x) (/ (sinh y) y))) (exp (* (cos x) (/ (sinh y) y))) (* (* (* (cos x) (cos x)) (cos x)) (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* y y) y))) (* (* (* (cos x) (cos x)) (cos x)) (* (* (/ (sinh y) y) (/ (sinh y) y)) (/ (sinh y) y))) (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y)))) (cbrt (* (cos x) (/ (sinh y) y))) (* (* (* (cos x) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y))) (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))) (* (sqrt (cos x)) (sqrt (/ (sinh y) y))) (* (sqrt (cos x)) (sqrt (/ (sinh y) y))) (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y))) (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y))) (* (cos x) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))) (* (cos x) (sqrt (/ (sinh y) y))) (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))) (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))) (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)) (* (cos x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (* (cos x) (/ (sqrt (sinh y)) (sqrt y))) (* (cos x) (/ (sqrt (sinh y)) 1)) (* (cos x) (/ 1 (* (cbrt y) (cbrt y)))) (* (cos x) (/ 1 (sqrt y))) (* (cos x) (/ 1 1)) (* (cos x) 1) (* (cos x) (sinh y)) (* (cbrt (cos x)) (/ (sinh y) y)) (* (sqrt (cos x)) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y)) (* (cos x) (sinh y)) (+ (* 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)) 17.285 * * [simplify]: iteration 0 : 144 enodes (cost 762 ) 17.315 * * [simplify]: iteration 1 : 337 enodes (cost 714 ) 17.463 * * [simplify]: iteration 2 : 1070 enodes (cost 648 ) 19.138 * * [simplify]: iteration 3 : 4389 enodes (cost 635 ) 20.029 * * [simplify]: iteration done : 5000 enodes (cost 635 ) 20.029 * [simplify]: Simplified to: (expm1 (sinh y)) (log1p (sinh y)) (- (exp y) (exp (- y))) (log (sinh y)) (exp (sinh y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (cbrt (sinh y)) (pow (sinh y) 3) (sqrt (sinh y)) (sqrt (sinh y)) (expm1 (/ (sinh y) y)) (log1p (/ (sinh y) y)) (log (/ (sinh y) y)) (log (/ (sinh y) y)) (exp (/ (sinh y) y)) (pow (/ (sinh y) y) 3) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))) (cbrt (/ (sinh y) y)) (pow (/ (sinh y) y) 3) (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y)) (- (sinh y)) (- y) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sinh y)) (cbrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)) (/ (cbrt (sinh y)) (sqrt y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (/ (cbrt (sinh y)) y) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sinh y)) (cbrt y)) (/ (sqrt (sinh y)) (sqrt y)) (/ (sqrt (sinh y)) (sqrt y)) (sqrt (sinh y)) (/ (sqrt (sinh y)) y) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (sinh y) (cbrt y)) (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)) 1 (/ (sinh y) y) (/ 1 y) (/ y (sinh y)) (/ (sinh y) (* (cbrt y) (cbrt y))) (/ (sinh y) (sqrt y)) (sinh y) (/ y (cbrt (sinh y))) (/ y (sqrt (sinh y))) (/ y (sinh y)) (* y 2) (expm1 (* (cos x) (/ (sinh y) y))) (log1p (* (cos x) (/ (sinh y) y))) (/ (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)) (fma 1/6 (pow y 3) (fma 1/120 (pow y 5) y)) (* -1/2 (- (exp (- y)) (exp y))) (* -1/2 (- (exp (- y)) (exp y))) (fma 1/6 (* y y) (fma 1/120 (pow y 4) 1)) (/ (* -1/2 (- (exp (- y)) (exp y))) y) (/ (* -1/2 (- (exp (- y)) (exp y))) y) (fma -1/2 (pow x 2) (fma 1/6 (* y y) 1)) (/ (cos x) (/ y (sinh y))) (/ (cos x) (/ y (sinh y))) 20.030 * * * [progress]: adding candidates to table 20.241 * * [progress]: iteration 2 / 4 20.241 * * * [progress]: picking best candidate 20.246 * * * * [pick]: Picked # 20.246 * * * [progress]: localizing error 20.254 * * * [progress]: generating rewritten candidates 20.254 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2) 20.257 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 20.263 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2 2) 20.268 * * * [progress]: generating series expansions 20.268 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2) 20.269 * [approximate]: Taking taylor expansion of (/ y (sinh y)) in (y) around 0 20.269 * [taylor]: Taking taylor expansion of (/ y (sinh y)) in y 20.269 * [taylor]: Taking taylor expansion of y in y 20.269 * [taylor]: Taking taylor expansion of (sinh y) in y 20.269 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 20.269 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 20.269 * [taylor]: Taking taylor expansion of (exp y) in y 20.269 * [taylor]: Taking taylor expansion of y in y 20.269 * [taylor]: Taking taylor expansion of (exp (- y)) in y 20.269 * [taylor]: Taking taylor expansion of (- y) in y 20.269 * [taylor]: Taking taylor expansion of y in y 20.270 * [taylor]: Taking taylor expansion of 2 in y 20.273 * [taylor]: Taking taylor expansion of (/ y (sinh y)) in y 20.273 * [taylor]: Taking taylor expansion of y in y 20.273 * [taylor]: Taking taylor expansion of (sinh y) in y 20.273 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 20.273 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 20.273 * [taylor]: Taking taylor expansion of (exp y) in y 20.273 * [taylor]: Taking taylor expansion of y in y 20.273 * [taylor]: Taking taylor expansion of (exp (- y)) in y 20.273 * [taylor]: Taking taylor expansion of (- y) in y 20.273 * [taylor]: Taking taylor expansion of y in y 20.274 * [taylor]: Taking taylor expansion of 2 in y 20.310 * [approximate]: Taking taylor expansion of (/ 1 (* (sinh (/ 1 y)) y)) in (y) around 0 20.310 * [taylor]: Taking taylor expansion of (/ 1 (* (sinh (/ 1 y)) y)) in y 20.310 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 20.311 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 20.311 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 20.311 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 20.311 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 20.311 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.311 * [taylor]: Taking taylor expansion of y in y 20.311 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 20.311 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 20.311 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.311 * [taylor]: Taking taylor expansion of y in y 20.312 * [taylor]: Taking taylor expansion of 2 in y 20.312 * [taylor]: Taking taylor expansion of y in y 20.314 * [taylor]: Taking taylor expansion of (/ 1 (* (sinh (/ 1 y)) y)) in y 20.314 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 20.314 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 20.314 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 20.314 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 20.314 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 20.314 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.314 * [taylor]: Taking taylor expansion of y in y 20.315 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 20.315 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 20.315 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.315 * [taylor]: Taking taylor expansion of y in y 20.315 * [taylor]: Taking taylor expansion of 2 in y 20.315 * [taylor]: Taking taylor expansion of y in y 20.341 * [approximate]: Taking taylor expansion of (/ -1 (* (sinh (/ -1 y)) y)) in (y) around 0 20.341 * [taylor]: Taking taylor expansion of (/ -1 (* (sinh (/ -1 y)) y)) in y 20.341 * [taylor]: Taking taylor expansion of -1 in y 20.341 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 20.341 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 20.341 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 20.341 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 20.341 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 20.341 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.341 * [taylor]: Taking taylor expansion of -1 in y 20.341 * [taylor]: Taking taylor expansion of y in y 20.342 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 20.342 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 20.342 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.342 * [taylor]: Taking taylor expansion of -1 in y 20.342 * [taylor]: Taking taylor expansion of y in y 20.342 * [taylor]: Taking taylor expansion of 2 in y 20.342 * [taylor]: Taking taylor expansion of y in y 20.344 * [taylor]: Taking taylor expansion of (/ -1 (* (sinh (/ -1 y)) y)) in y 20.344 * [taylor]: Taking taylor expansion of -1 in y 20.344 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 20.344 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 20.344 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 20.344 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 20.344 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 20.344 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.345 * [taylor]: Taking taylor expansion of -1 in y 20.345 * [taylor]: Taking taylor expansion of y in y 20.345 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 20.345 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 20.345 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.345 * [taylor]: Taking taylor expansion of -1 in y 20.345 * [taylor]: Taking taylor expansion of y in y 20.346 * [taylor]: Taking taylor expansion of 2 in y 20.346 * [taylor]: Taking taylor expansion of y in y 20.370 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 20.370 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0 20.370 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 20.371 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 20.371 * [taylor]: Taking taylor expansion of (sinh y) in y 20.371 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 20.371 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 20.371 * [taylor]: Taking taylor expansion of (exp y) in y 20.371 * [taylor]: Taking taylor expansion of y in y 20.371 * [taylor]: Taking taylor expansion of (exp (- y)) in y 20.371 * [taylor]: Taking taylor expansion of (- y) in y 20.371 * [taylor]: Taking taylor expansion of y in y 20.371 * [taylor]: Taking taylor expansion of 2 in y 20.374 * [taylor]: Taking taylor expansion of (cos x) in y 20.374 * [taylor]: Taking taylor expansion of x in y 20.375 * [taylor]: Taking taylor expansion of y in y 20.375 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 20.375 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 20.375 * [taylor]: Taking taylor expansion of (sinh y) in x 20.375 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 20.375 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 20.375 * [taylor]: Taking taylor expansion of (exp y) in x 20.375 * [taylor]: Taking taylor expansion of y in x 20.375 * [taylor]: Taking taylor expansion of (exp (- y)) in x 20.375 * [taylor]: Taking taylor expansion of (- y) in x 20.375 * [taylor]: Taking taylor expansion of y in x 20.375 * [taylor]: Taking taylor expansion of 2 in x 20.375 * [taylor]: Taking taylor expansion of (cos x) in x 20.375 * [taylor]: Taking taylor expansion of x in x 20.375 * [taylor]: Taking taylor expansion of y in x 20.376 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 20.376 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 20.376 * [taylor]: Taking taylor expansion of (sinh y) in x 20.376 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 20.376 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 20.376 * [taylor]: Taking taylor expansion of (exp y) in x 20.376 * [taylor]: Taking taylor expansion of y in x 20.376 * [taylor]: Taking taylor expansion of (exp (- y)) in x 20.376 * [taylor]: Taking taylor expansion of (- y) in x 20.376 * [taylor]: Taking taylor expansion of y in x 20.376 * [taylor]: Taking taylor expansion of 2 in x 20.376 * [taylor]: Taking taylor expansion of (cos x) in x 20.376 * [taylor]: Taking taylor expansion of x in x 20.376 * [taylor]: Taking taylor expansion of y in x 20.376 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (- y))) y)) in y 20.376 * [taylor]: Taking taylor expansion of 1/2 in y 20.376 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (- y))) y) in y 20.376 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 20.376 * [taylor]: Taking taylor expansion of (exp y) in y 20.376 * [taylor]: Taking taylor expansion of y in y 20.376 * [taylor]: Taking taylor expansion of (exp (- y)) in y 20.376 * [taylor]: Taking taylor expansion of (- y) in y 20.376 * [taylor]: Taking taylor expansion of y in y 20.377 * [taylor]: Taking taylor expansion of y in y 20.383 * [taylor]: Taking taylor expansion of 0 in y 20.392 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (- y)) y)) (* 1/4 (/ (exp y) y))) in y 20.392 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (- y)) y)) in y 20.392 * [taylor]: Taking taylor expansion of 1/4 in y 20.392 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y 20.392 * [taylor]: Taking taylor expansion of (exp (- y)) in y 20.392 * [taylor]: Taking taylor expansion of (- y) in y 20.392 * [taylor]: Taking taylor expansion of y in y 20.395 * [taylor]: Taking taylor expansion of y in y 20.396 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 20.396 * [taylor]: Taking taylor expansion of 1/4 in y 20.396 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 20.396 * [taylor]: Taking taylor expansion of (exp y) in y 20.396 * [taylor]: Taking taylor expansion of y in y 20.396 * [taylor]: Taking taylor expansion of y in y 20.406 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0 20.406 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 20.406 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 20.406 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 20.406 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 20.406 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 20.406 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.406 * [taylor]: Taking taylor expansion of y in y 20.406 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 20.406 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 20.406 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.406 * [taylor]: Taking taylor expansion of y in y 20.407 * [taylor]: Taking taylor expansion of 2 in y 20.407 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 20.407 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 20.407 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.407 * [taylor]: Taking taylor expansion of x in y 20.407 * [taylor]: Taking taylor expansion of y in y 20.407 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 20.407 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 20.407 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 20.407 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 20.407 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 20.407 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.407 * [taylor]: Taking taylor expansion of y in x 20.407 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 20.407 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 20.408 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.408 * [taylor]: Taking taylor expansion of y in x 20.408 * [taylor]: Taking taylor expansion of 2 in x 20.408 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 20.408 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 20.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.408 * [taylor]: Taking taylor expansion of x in x 20.408 * [taylor]: Taking taylor expansion of y in x 20.409 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 20.409 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 20.409 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 20.409 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 20.409 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 20.409 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.409 * [taylor]: Taking taylor expansion of y in x 20.409 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 20.409 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 20.409 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.409 * [taylor]: Taking taylor expansion of y in x 20.409 * [taylor]: Taking taylor expansion of 2 in x 20.409 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 20.409 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 20.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.409 * [taylor]: Taking taylor expansion of x in x 20.410 * [taylor]: Taking taylor expansion of y in x 20.410 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y 20.410 * [taylor]: Taking taylor expansion of 1/2 in y 20.410 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y 20.410 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 20.410 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.410 * [taylor]: Taking taylor expansion of x in y 20.410 * [taylor]: Taking taylor expansion of (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y 20.410 * [taylor]: Taking taylor expansion of y in y 20.410 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 20.410 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 20.410 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.410 * [taylor]: Taking taylor expansion of y in y 20.411 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 20.411 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 20.411 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.411 * [taylor]: Taking taylor expansion of y in y 20.415 * [taylor]: Taking taylor expansion of 0 in y 20.423 * [taylor]: Taking taylor expansion of 0 in y 20.433 * [taylor]: Taking taylor expansion of 0 in y 20.434 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in (x y) around 0 20.434 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 20.434 * [taylor]: Taking taylor expansion of -1 in y 20.434 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 20.434 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 20.434 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 20.434 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 20.434 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 20.434 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.434 * [taylor]: Taking taylor expansion of -1 in y 20.434 * [taylor]: Taking taylor expansion of y in y 20.434 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 20.434 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 20.434 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.434 * [taylor]: Taking taylor expansion of -1 in y 20.434 * [taylor]: Taking taylor expansion of y in y 20.435 * [taylor]: Taking taylor expansion of 2 in y 20.435 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 20.435 * [taylor]: Taking taylor expansion of y in y 20.435 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 20.435 * [taylor]: Taking taylor expansion of (/ -1 x) in y 20.435 * [taylor]: Taking taylor expansion of -1 in y 20.435 * [taylor]: Taking taylor expansion of x in y 20.435 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 20.435 * [taylor]: Taking taylor expansion of -1 in x 20.435 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 20.435 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 20.436 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 20.436 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 20.436 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 20.436 * [taylor]: Taking taylor expansion of (/ -1 y) in x 20.436 * [taylor]: Taking taylor expansion of -1 in x 20.436 * [taylor]: Taking taylor expansion of y in x 20.436 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 20.436 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 20.436 * [taylor]: Taking taylor expansion of (/ -1 y) in x 20.436 * [taylor]: Taking taylor expansion of -1 in x 20.436 * [taylor]: Taking taylor expansion of y in x 20.436 * [taylor]: Taking taylor expansion of 2 in x 20.436 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 20.436 * [taylor]: Taking taylor expansion of y in x 20.436 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 20.436 * [taylor]: Taking taylor expansion of (/ -1 x) in x 20.436 * [taylor]: Taking taylor expansion of -1 in x 20.436 * [taylor]: Taking taylor expansion of x in x 20.437 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 20.437 * [taylor]: Taking taylor expansion of -1 in x 20.437 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 20.437 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 20.437 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 20.437 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 20.437 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 20.437 * [taylor]: Taking taylor expansion of (/ -1 y) in x 20.437 * [taylor]: Taking taylor expansion of -1 in x 20.437 * [taylor]: Taking taylor expansion of y in x 20.437 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 20.437 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 20.437 * [taylor]: Taking taylor expansion of (/ -1 y) in x 20.437 * [taylor]: Taking taylor expansion of -1 in x 20.437 * [taylor]: Taking taylor expansion of y in x 20.437 * [taylor]: Taking taylor expansion of 2 in x 20.437 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 20.437 * [taylor]: Taking taylor expansion of y in x 20.437 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 20.437 * [taylor]: Taking taylor expansion of (/ -1 x) in x 20.437 * [taylor]: Taking taylor expansion of -1 in x 20.437 * [taylor]: Taking taylor expansion of x in x 20.438 * [taylor]: Taking taylor expansion of (* -1/2 (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))))) in y 20.438 * [taylor]: Taking taylor expansion of -1/2 in y 20.438 * [taylor]: Taking taylor expansion of (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x)))) in y 20.438 * [taylor]: Taking taylor expansion of y in y 20.438 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))) in y 20.438 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 20.438 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 20.438 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.438 * [taylor]: Taking taylor expansion of -1 in y 20.438 * [taylor]: Taking taylor expansion of y in y 20.439 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 20.439 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.439 * [taylor]: Taking taylor expansion of y in y 20.439 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 20.439 * [taylor]: Taking taylor expansion of (/ -1 x) in y 20.439 * [taylor]: Taking taylor expansion of -1 in y 20.439 * [taylor]: Taking taylor expansion of x in y 20.444 * [taylor]: Taking taylor expansion of 0 in y 20.452 * [taylor]: Taking taylor expansion of 0 in y 20.464 * [taylor]: Taking taylor expansion of 0 in y 20.464 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2 2) 20.464 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0 20.464 * [taylor]: Taking taylor expansion of (sinh y) in y 20.464 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 20.464 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 20.464 * [taylor]: Taking taylor expansion of (exp y) in y 20.464 * [taylor]: Taking taylor expansion of y in y 20.464 * [taylor]: Taking taylor expansion of (exp (- y)) in y 20.464 * [taylor]: Taking taylor expansion of (- y) in y 20.464 * [taylor]: Taking taylor expansion of y in y 20.465 * [taylor]: Taking taylor expansion of 2 in y 20.467 * [taylor]: Taking taylor expansion of (sinh y) in y 20.468 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 20.468 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 20.468 * [taylor]: Taking taylor expansion of (exp y) in y 20.468 * [taylor]: Taking taylor expansion of y in y 20.468 * [taylor]: Taking taylor expansion of (exp (- y)) in y 20.468 * [taylor]: Taking taylor expansion of (- y) in y 20.468 * [taylor]: Taking taylor expansion of y in y 20.468 * [taylor]: Taking taylor expansion of 2 in y 20.501 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0 20.501 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 20.502 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 20.502 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 20.502 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 20.502 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.502 * [taylor]: Taking taylor expansion of y in y 20.502 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 20.502 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 20.502 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.502 * [taylor]: Taking taylor expansion of y in y 20.503 * [taylor]: Taking taylor expansion of 2 in y 20.503 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 20.503 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 20.503 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 20.503 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 20.503 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.503 * [taylor]: Taking taylor expansion of y in y 20.504 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 20.504 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 20.504 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.504 * [taylor]: Taking taylor expansion of y in y 20.504 * [taylor]: Taking taylor expansion of 2 in y 20.517 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0 20.517 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 20.517 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 20.517 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 20.517 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 20.517 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.517 * [taylor]: Taking taylor expansion of -1 in y 20.517 * [taylor]: Taking taylor expansion of y in y 20.517 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 20.517 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 20.517 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.518 * [taylor]: Taking taylor expansion of -1 in y 20.518 * [taylor]: Taking taylor expansion of y in y 20.518 * [taylor]: Taking taylor expansion of 2 in y 20.518 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 20.518 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 20.518 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 20.519 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 20.519 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.519 * [taylor]: Taking taylor expansion of -1 in y 20.519 * [taylor]: Taking taylor expansion of y in y 20.519 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 20.519 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 20.519 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.519 * [taylor]: Taking taylor expansion of -1 in y 20.519 * [taylor]: Taking taylor expansion of y in y 20.520 * [taylor]: Taking taylor expansion of 2 in y 20.532 * * * [progress]: simplifying candidates 20.534 * [simplify]: Simplifying using # : (expm1 (/ y (sinh y))) (log1p (/ y (sinh y))) (- (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)))) (expm1 (/ (cos x) (/ y (sinh y)))) (log1p (/ (cos x) (/ y (sinh 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) (expm1 (sinh y)) (log1p (sinh y)) (- (exp y) (exp (- y))) (log (sinh y)) (exp (sinh y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (cbrt (sinh y)) (* (* (sinh y) (sinh y)) (sinh y)) (sqrt (sinh y)) (sqrt (sinh y)) (- (+ (* 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)))) 20.541 * * [simplify]: iteration 0 : 223 enodes (cost 1578 ) 20.602 * * [simplify]: iteration 1 : 490 enodes (cost 1482 ) 20.744 * * [simplify]: iteration 2 : 1543 enodes (cost 1407 ) 21.365 * * [simplify]: iteration done : 5001 enodes (cost 1393 ) 21.366 * [simplify]: Simplified to: (expm1 (/ y (sinh y))) (log1p (/ y (sinh y))) (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)))) (expm1 (/ (cos x) (/ y (sinh y)))) (log1p (/ (cos x) (/ y (sinh 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 (/ (sinh y) (/ y (cos x))) 1 (/ (sinh y) (/ y (cos x))) (/ 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) (expm1 (sinh y)) (log1p (sinh y)) (- (exp y) (exp (- y))) (log (sinh y)) (exp (sinh y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (cbrt (sinh y)) (pow (sinh y) 3) (sqrt (sinh y)) (sqrt (sinh y)) (- (fma 7/360 (pow y 4) 1) (* 1/6 (pow y 2))) (/ y (* (sinh y) 1)) (/ y (* (sinh y) 1)) (- (fma 1/6 (pow y 2) 1) (* 1/2 (pow x 2))) (/ (sinh y) (/ y (cos x))) (/ (* -1/2 (* (cos x) (- (exp (- y)) (exp y)))) y) (fma 1/6 (pow y 3) (fma 1/120 (pow y 5) y)) (* 1/2 (- (exp y) (exp (- y)))) (* 1/2 (- (exp y) (exp (- y)))) 21.367 * * * [progress]: adding candidates to table 21.718 * * [progress]: iteration 3 / 4 21.718 * * * [progress]: picking best candidate 21.720 * * * * [pick]: Picked # 21.721 * * * [progress]: localizing error 21.732 * * * [progress]: generating rewritten candidates 21.732 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 21.734 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1) 21.735 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 21.741 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 21.784 * * * [progress]: generating series expansions 21.784 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 21.784 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0 21.784 * [taylor]: Taking taylor expansion of (sinh y) in y 21.784 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 21.784 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 21.784 * [taylor]: Taking taylor expansion of (exp y) in y 21.784 * [taylor]: Taking taylor expansion of y in y 21.784 * [taylor]: Taking taylor expansion of (exp (- y)) in y 21.784 * [taylor]: Taking taylor expansion of (- y) in y 21.784 * [taylor]: Taking taylor expansion of y in y 21.785 * [taylor]: Taking taylor expansion of 2 in y 21.788 * [taylor]: Taking taylor expansion of (sinh y) in y 21.788 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 21.788 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 21.788 * [taylor]: Taking taylor expansion of (exp y) in y 21.788 * [taylor]: Taking taylor expansion of y in y 21.788 * [taylor]: Taking taylor expansion of (exp (- y)) in y 21.788 * [taylor]: Taking taylor expansion of (- y) in y 21.788 * [taylor]: Taking taylor expansion of y in y 21.789 * [taylor]: Taking taylor expansion of 2 in y 21.818 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0 21.818 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 21.819 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 21.819 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 21.819 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 21.819 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.819 * [taylor]: Taking taylor expansion of y in y 21.819 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 21.819 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 21.819 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.819 * [taylor]: Taking taylor expansion of y in y 21.820 * [taylor]: Taking taylor expansion of 2 in y 21.820 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 21.820 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 21.820 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 21.820 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 21.820 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.820 * [taylor]: Taking taylor expansion of y in y 21.821 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 21.821 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 21.821 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.821 * [taylor]: Taking taylor expansion of y in y 21.821 * [taylor]: Taking taylor expansion of 2 in y 21.834 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0 21.834 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 21.834 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 21.834 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 21.834 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 21.834 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.834 * [taylor]: Taking taylor expansion of -1 in y 21.834 * [taylor]: Taking taylor expansion of y in y 21.834 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 21.834 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 21.834 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.834 * [taylor]: Taking taylor expansion of -1 in y 21.834 * [taylor]: Taking taylor expansion of y in y 21.835 * [taylor]: Taking taylor expansion of 2 in y 21.835 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 21.835 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 21.835 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 21.835 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 21.835 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.835 * [taylor]: Taking taylor expansion of -1 in y 21.835 * [taylor]: Taking taylor expansion of y in y 21.836 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 21.836 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 21.836 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.836 * [taylor]: Taking taylor expansion of -1 in y 21.836 * [taylor]: Taking taylor expansion of y in y 21.837 * [taylor]: Taking taylor expansion of 2 in y 21.849 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1) 21.849 * [approximate]: Taking taylor expansion of (pow (sinh y) 3) in (y) around 0 21.849 * [taylor]: Taking taylor expansion of (pow (sinh y) 3) in y 21.849 * [taylor]: Taking taylor expansion of (sinh y) in y 21.849 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 21.849 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 21.849 * [taylor]: Taking taylor expansion of (exp y) in y 21.849 * [taylor]: Taking taylor expansion of y in y 21.849 * [taylor]: Taking taylor expansion of (exp (- y)) in y 21.849 * [taylor]: Taking taylor expansion of (- y) in y 21.849 * [taylor]: Taking taylor expansion of y in y 21.850 * [taylor]: Taking taylor expansion of 2 in y 21.852 * [taylor]: Taking taylor expansion of (pow (sinh y) 3) in y 21.852 * [taylor]: Taking taylor expansion of (sinh y) in y 21.852 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 21.852 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 21.852 * [taylor]: Taking taylor expansion of (exp y) in y 21.852 * [taylor]: Taking taylor expansion of y in y 21.853 * [taylor]: Taking taylor expansion of (exp (- y)) in y 21.853 * [taylor]: Taking taylor expansion of (- y) in y 21.853 * [taylor]: Taking taylor expansion of y in y 21.853 * [taylor]: Taking taylor expansion of 2 in y 21.894 * [approximate]: Taking taylor expansion of (pow (sinh (/ 1 y)) 3) in (y) around 0 21.894 * [taylor]: Taking taylor expansion of (pow (sinh (/ 1 y)) 3) in y 21.894 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 21.894 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 21.894 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 21.894 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 21.894 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.894 * [taylor]: Taking taylor expansion of y in y 21.895 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 21.895 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 21.895 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.895 * [taylor]: Taking taylor expansion of y in y 21.895 * [taylor]: Taking taylor expansion of 2 in y 21.895 * [taylor]: Taking taylor expansion of (pow (sinh (/ 1 y)) 3) in y 21.896 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 21.896 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 21.896 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 21.896 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 21.896 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.896 * [taylor]: Taking taylor expansion of y in y 21.896 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 21.896 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 21.896 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.896 * [taylor]: Taking taylor expansion of y in y 21.897 * [taylor]: Taking taylor expansion of 2 in y 21.922 * [approximate]: Taking taylor expansion of (pow (sinh (/ -1 y)) 3) in (y) around 0 21.922 * [taylor]: Taking taylor expansion of (pow (sinh (/ -1 y)) 3) in y 21.922 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 21.922 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 21.922 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 21.922 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 21.922 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.922 * [taylor]: Taking taylor expansion of -1 in y 21.922 * [taylor]: Taking taylor expansion of y in y 21.922 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 21.922 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 21.922 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.922 * [taylor]: Taking taylor expansion of -1 in y 21.922 * [taylor]: Taking taylor expansion of y in y 21.923 * [taylor]: Taking taylor expansion of 2 in y 21.923 * [taylor]: Taking taylor expansion of (pow (sinh (/ -1 y)) 3) in y 21.923 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 21.923 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 21.923 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 21.923 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 21.923 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.923 * [taylor]: Taking taylor expansion of -1 in y 21.923 * [taylor]: Taking taylor expansion of y in y 21.924 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 21.924 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 21.924 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.924 * [taylor]: Taking taylor expansion of -1 in y 21.924 * [taylor]: Taking taylor expansion of y in y 21.924 * [taylor]: Taking taylor expansion of 2 in y 21.947 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 21.947 * [approximate]: Taking taylor expansion of (/ y (sinh y)) in (y) around 0 21.947 * [taylor]: Taking taylor expansion of (/ y (sinh y)) in y 21.947 * [taylor]: Taking taylor expansion of y in y 21.947 * [taylor]: Taking taylor expansion of (sinh y) in y 21.947 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 21.947 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 21.947 * [taylor]: Taking taylor expansion of (exp y) in y 21.947 * [taylor]: Taking taylor expansion of y in y 21.947 * [taylor]: Taking taylor expansion of (exp (- y)) in y 21.947 * [taylor]: Taking taylor expansion of (- y) in y 21.947 * [taylor]: Taking taylor expansion of y in y 21.948 * [taylor]: Taking taylor expansion of 2 in y 21.951 * [taylor]: Taking taylor expansion of (/ y (sinh y)) in y 21.951 * [taylor]: Taking taylor expansion of y in y 21.951 * [taylor]: Taking taylor expansion of (sinh y) in y 21.951 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 21.951 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 21.951 * [taylor]: Taking taylor expansion of (exp y) in y 21.951 * [taylor]: Taking taylor expansion of y in y 21.951 * [taylor]: Taking taylor expansion of (exp (- y)) in y 21.951 * [taylor]: Taking taylor expansion of (- y) in y 21.951 * [taylor]: Taking taylor expansion of y in y 21.952 * [taylor]: Taking taylor expansion of 2 in y 21.987 * [approximate]: Taking taylor expansion of (/ 1 (* (sinh (/ 1 y)) y)) in (y) around 0 21.987 * [taylor]: Taking taylor expansion of (/ 1 (* (sinh (/ 1 y)) y)) in y 21.987 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 21.987 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 21.987 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 21.987 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 21.987 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 21.987 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.987 * [taylor]: Taking taylor expansion of y in y 21.988 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 21.988 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 21.988 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.988 * [taylor]: Taking taylor expansion of y in y 21.988 * [taylor]: Taking taylor expansion of 2 in y 21.988 * [taylor]: Taking taylor expansion of y in y 21.990 * [taylor]: Taking taylor expansion of (/ 1 (* (sinh (/ 1 y)) y)) in y 21.990 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 21.990 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 21.990 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 21.990 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 21.990 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 21.990 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.990 * [taylor]: Taking taylor expansion of y in y 21.991 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 21.991 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 21.991 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.991 * [taylor]: Taking taylor expansion of y in y 21.991 * [taylor]: Taking taylor expansion of 2 in y 21.992 * [taylor]: Taking taylor expansion of y in y 22.016 * [approximate]: Taking taylor expansion of (/ -1 (* (sinh (/ -1 y)) y)) in (y) around 0 22.016 * [taylor]: Taking taylor expansion of (/ -1 (* (sinh (/ -1 y)) y)) in y 22.016 * [taylor]: Taking taylor expansion of -1 in y 22.016 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 22.016 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 22.016 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 22.016 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 22.016 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 22.016 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.016 * [taylor]: Taking taylor expansion of -1 in y 22.017 * [taylor]: Taking taylor expansion of y in y 22.017 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 22.017 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 22.017 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.017 * [taylor]: Taking taylor expansion of -1 in y 22.017 * [taylor]: Taking taylor expansion of y in y 22.018 * [taylor]: Taking taylor expansion of 2 in y 22.018 * [taylor]: Taking taylor expansion of y in y 22.020 * [taylor]: Taking taylor expansion of (/ -1 (* (sinh (/ -1 y)) y)) in y 22.020 * [taylor]: Taking taylor expansion of -1 in y 22.020 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 22.020 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 22.020 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 22.020 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 22.020 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 22.020 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.020 * [taylor]: Taking taylor expansion of -1 in y 22.020 * [taylor]: Taking taylor expansion of y in y 22.021 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 22.021 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 22.021 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.021 * [taylor]: Taking taylor expansion of -1 in y 22.021 * [taylor]: Taking taylor expansion of y in y 22.021 * [taylor]: Taking taylor expansion of 2 in y 22.021 * [taylor]: Taking taylor expansion of y in y 22.050 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 22.050 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0 22.050 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 22.050 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 22.050 * [taylor]: Taking taylor expansion of (sinh y) in y 22.050 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 22.050 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 22.050 * [taylor]: Taking taylor expansion of (exp y) in y 22.050 * [taylor]: Taking taylor expansion of y in y 22.050 * [taylor]: Taking taylor expansion of (exp (- y)) in y 22.050 * [taylor]: Taking taylor expansion of (- y) in y 22.050 * [taylor]: Taking taylor expansion of y in y 22.051 * [taylor]: Taking taylor expansion of 2 in y 22.054 * [taylor]: Taking taylor expansion of (cos x) in y 22.054 * [taylor]: Taking taylor expansion of x in y 22.054 * [taylor]: Taking taylor expansion of y in y 22.054 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 22.054 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 22.054 * [taylor]: Taking taylor expansion of (sinh y) in x 22.055 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 22.055 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 22.055 * [taylor]: Taking taylor expansion of (exp y) in x 22.055 * [taylor]: Taking taylor expansion of y in x 22.055 * [taylor]: Taking taylor expansion of (exp (- y)) in x 22.055 * [taylor]: Taking taylor expansion of (- y) in x 22.055 * [taylor]: Taking taylor expansion of y in x 22.055 * [taylor]: Taking taylor expansion of 2 in x 22.055 * [taylor]: Taking taylor expansion of (cos x) in x 22.055 * [taylor]: Taking taylor expansion of x in x 22.055 * [taylor]: Taking taylor expansion of y in x 22.055 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 22.055 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 22.055 * [taylor]: Taking taylor expansion of (sinh y) in x 22.055 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 22.055 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 22.055 * [taylor]: Taking taylor expansion of (exp y) in x 22.055 * [taylor]: Taking taylor expansion of y in x 22.055 * [taylor]: Taking taylor expansion of (exp (- y)) in x 22.055 * [taylor]: Taking taylor expansion of (- y) in x 22.055 * [taylor]: Taking taylor expansion of y in x 22.055 * [taylor]: Taking taylor expansion of 2 in x 22.055 * [taylor]: Taking taylor expansion of (cos x) in x 22.056 * [taylor]: Taking taylor expansion of x in x 22.056 * [taylor]: Taking taylor expansion of y in x 22.056 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (- y))) y)) in y 22.056 * [taylor]: Taking taylor expansion of 1/2 in y 22.056 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (- y))) y) in y 22.056 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 22.056 * [taylor]: Taking taylor expansion of (exp y) in y 22.056 * [taylor]: Taking taylor expansion of y in y 22.056 * [taylor]: Taking taylor expansion of (exp (- y)) in y 22.056 * [taylor]: Taking taylor expansion of (- y) in y 22.056 * [taylor]: Taking taylor expansion of y in y 22.057 * [taylor]: Taking taylor expansion of y in y 22.063 * [taylor]: Taking taylor expansion of 0 in y 22.072 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (- y)) y)) (* 1/4 (/ (exp y) y))) in y 22.072 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (- y)) y)) in y 22.072 * [taylor]: Taking taylor expansion of 1/4 in y 22.072 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y 22.072 * [taylor]: Taking taylor expansion of (exp (- y)) in y 22.072 * [taylor]: Taking taylor expansion of (- y) in y 22.072 * [taylor]: Taking taylor expansion of y in y 22.073 * [taylor]: Taking taylor expansion of y in y 22.073 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 22.073 * [taylor]: Taking taylor expansion of 1/4 in y 22.073 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 22.073 * [taylor]: Taking taylor expansion of (exp y) in y 22.073 * [taylor]: Taking taylor expansion of y in y 22.073 * [taylor]: Taking taylor expansion of y in y 22.084 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0 22.084 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 22.084 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 22.084 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 22.084 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 22.084 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 22.084 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.084 * [taylor]: Taking taylor expansion of y in y 22.085 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 22.085 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 22.085 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.085 * [taylor]: Taking taylor expansion of y in y 22.086 * [taylor]: Taking taylor expansion of 2 in y 22.086 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 22.086 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 22.086 * [taylor]: Taking taylor expansion of (/ 1 x) in y 22.086 * [taylor]: Taking taylor expansion of x in y 22.086 * [taylor]: Taking taylor expansion of y in y 22.086 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 22.086 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 22.086 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 22.086 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 22.086 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 22.086 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.086 * [taylor]: Taking taylor expansion of y in x 22.086 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 22.086 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 22.086 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.086 * [taylor]: Taking taylor expansion of y in x 22.086 * [taylor]: Taking taylor expansion of 2 in x 22.087 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 22.087 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 22.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.087 * [taylor]: Taking taylor expansion of x in x 22.087 * [taylor]: Taking taylor expansion of y in x 22.087 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 22.087 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 22.087 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 22.087 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 22.087 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 22.087 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.087 * [taylor]: Taking taylor expansion of y in x 22.087 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 22.087 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 22.087 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.087 * [taylor]: Taking taylor expansion of y in x 22.088 * [taylor]: Taking taylor expansion of 2 in x 22.088 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 22.088 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 22.088 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.088 * [taylor]: Taking taylor expansion of x in x 22.088 * [taylor]: Taking taylor expansion of y in x 22.088 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y 22.089 * [taylor]: Taking taylor expansion of 1/2 in y 22.089 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y 22.089 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 22.089 * [taylor]: Taking taylor expansion of (/ 1 x) in y 22.089 * [taylor]: Taking taylor expansion of x in y 22.089 * [taylor]: Taking taylor expansion of (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y 22.089 * [taylor]: Taking taylor expansion of y in y 22.089 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 22.089 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 22.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.089 * [taylor]: Taking taylor expansion of y in y 22.089 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 22.089 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 22.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.089 * [taylor]: Taking taylor expansion of y in y 22.094 * [taylor]: Taking taylor expansion of 0 in y 22.102 * [taylor]: Taking taylor expansion of 0 in y 22.113 * [taylor]: Taking taylor expansion of 0 in y 22.113 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in (x y) around 0 22.113 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 22.113 * [taylor]: Taking taylor expansion of -1 in y 22.113 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 22.113 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 22.113 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 22.113 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 22.114 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 22.114 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.114 * [taylor]: Taking taylor expansion of -1 in y 22.114 * [taylor]: Taking taylor expansion of y in y 22.114 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 22.114 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 22.114 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.114 * [taylor]: Taking taylor expansion of -1 in y 22.114 * [taylor]: Taking taylor expansion of y in y 22.115 * [taylor]: Taking taylor expansion of 2 in y 22.115 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 22.115 * [taylor]: Taking taylor expansion of y in y 22.115 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 22.115 * [taylor]: Taking taylor expansion of (/ -1 x) in y 22.115 * [taylor]: Taking taylor expansion of -1 in y 22.115 * [taylor]: Taking taylor expansion of x in y 22.115 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 22.115 * [taylor]: Taking taylor expansion of -1 in x 22.115 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 22.115 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 22.116 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 22.116 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 22.116 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 22.116 * [taylor]: Taking taylor expansion of (/ -1 y) in x 22.116 * [taylor]: Taking taylor expansion of -1 in x 22.116 * [taylor]: Taking taylor expansion of y in x 22.116 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 22.116 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 22.116 * [taylor]: Taking taylor expansion of (/ -1 y) in x 22.116 * [taylor]: Taking taylor expansion of -1 in x 22.116 * [taylor]: Taking taylor expansion of y in x 22.116 * [taylor]: Taking taylor expansion of 2 in x 22.116 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 22.116 * [taylor]: Taking taylor expansion of y in x 22.116 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 22.116 * [taylor]: Taking taylor expansion of (/ -1 x) in x 22.116 * [taylor]: Taking taylor expansion of -1 in x 22.116 * [taylor]: Taking taylor expansion of x in x 22.117 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 22.117 * [taylor]: Taking taylor expansion of -1 in x 22.117 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 22.117 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 22.117 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 22.117 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 22.117 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 22.117 * [taylor]: Taking taylor expansion of (/ -1 y) in x 22.117 * [taylor]: Taking taylor expansion of -1 in x 22.117 * [taylor]: Taking taylor expansion of y in x 22.117 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 22.117 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 22.117 * [taylor]: Taking taylor expansion of (/ -1 y) in x 22.117 * [taylor]: Taking taylor expansion of -1 in x 22.117 * [taylor]: Taking taylor expansion of y in x 22.117 * [taylor]: Taking taylor expansion of 2 in x 22.117 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 22.117 * [taylor]: Taking taylor expansion of y in x 22.117 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 22.117 * [taylor]: Taking taylor expansion of (/ -1 x) in x 22.117 * [taylor]: Taking taylor expansion of -1 in x 22.117 * [taylor]: Taking taylor expansion of x in x 22.118 * [taylor]: Taking taylor expansion of (* -1/2 (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))))) in y 22.118 * [taylor]: Taking taylor expansion of -1/2 in y 22.118 * [taylor]: Taking taylor expansion of (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x)))) in y 22.118 * [taylor]: Taking taylor expansion of y in y 22.118 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))) in y 22.119 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 22.119 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 22.119 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.119 * [taylor]: Taking taylor expansion of -1 in y 22.119 * [taylor]: Taking taylor expansion of y in y 22.119 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 22.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.119 * [taylor]: Taking taylor expansion of y in y 22.119 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 22.119 * [taylor]: Taking taylor expansion of (/ -1 x) in y 22.119 * [taylor]: Taking taylor expansion of -1 in y 22.120 * [taylor]: Taking taylor expansion of x in y 22.124 * [taylor]: Taking taylor expansion of 0 in y 22.134 * [taylor]: Taking taylor expansion of 0 in y 22.149 * [taylor]: Taking taylor expansion of 0 in y 22.150 * * * [progress]: simplifying candidates 22.156 * [simplify]: Simplifying using # : (expm1 (cbrt (pow (sinh y) 3))) (log1p (cbrt (pow (sinh y) 3))) (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))) (expm1 (pow (sinh y) 3)) (log1p (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)) (expm1 (/ y (cbrt (pow (sinh y) 3)))) (log1p (/ y (cbrt (pow (sinh y) 3)))) (- (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))) (expm1 (/ (cos x) (/ y (cbrt (pow (sinh y) 3))))) (log1p (/ (cos x) (/ y (cbrt (pow (sinh 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)) 22.177 * * [simplify]: iteration 0 : 471 enodes (cost 6547 ) 22.388 * * [simplify]: iteration 1 : 1018 enodes (cost 4833 ) 22.857 * * [simplify]: iteration 2 : 3113 enodes (cost 4632 ) 23.471 * * [simplify]: iteration done : 5000 enodes (cost 4632 ) 23.473 * [simplify]: Simplified to: (expm1 (sinh y)) (log1p (sinh y)) (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)) (expm1 (pow (sinh y) 3)) (log1p (pow (sinh y) 3)) (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) (expm1 (/ y (sinh y))) (log1p (/ y (sinh y))) (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 y)) (cbrt (pow (sinh y) 2))) (/ (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 (pow (sinh y) 2))) (/ (cbrt y) (cbrt (sinh y))) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (sinh y) 2))) (/ (cbrt y) (cbrt (sinh y))) (/ (* (cbrt y) (cbrt y)) (cbrt (pow (sinh y) 2))) (/ (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 y)) (cbrt (pow (sinh y) 2))) (/ (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)))) (expm1 (* (/ (cos x) y) (sinh y))) (log1p (* (/ (cos x) y) (sinh 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 (sinh y) 3) (/ (pow (cos x) 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 (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 (pow (sinh y) 2))) (/ (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 (pow (sinh y) 2))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (sinh y)))) (* (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt y) (cbrt y))) (cbrt (pow (sinh y) 2))) (/ (cbrt (cos x)) (/ (cbrt y) (cbrt (sinh y)))) (* (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt y) (cbrt y))) (cbrt (pow (sinh y) 2))) (/ (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 (pow (sinh y) 2)) (/ (cbrt (cos x)) (cbrt 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 (cos x)) (/ (cbrt y) (sinh y))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (cbrt y) (/ (cbrt (pow (sinh y) 3/2)) (cbrt y)))) (* (/ (cbrt (cos x)) (cbrt y)) (cbrt (pow (sinh y) 3/2))) (* (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt y) (cbrt y))) (cbrt (pow (sinh y) 2))) (/ (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 (pow (sinh y) 2)))) (/ (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 (pow (sinh y) 2)))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (cbrt (pow (sinh y) 2)))) (/ (cbrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (/ (sqrt y) (cbrt (pow (sinh y) 2)))) (/ (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)) (cbrt (pow (sinh y) 2))) (sqrt 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 (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)) (cbrt (cos x))) (/ (sqrt y) (cbrt (pow (sinh y) 2)))) (/ (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 (pow (sinh y) 2)) (/ (cbrt (cos x)) y)) (* (* (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))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow (sinh y) 2)))) (/ (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 (pow (sinh y) 2)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow (sinh y) 2)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (sinh y)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow (sinh y) 2)))) (/ (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)))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow (sinh y) 2)))) (/ (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))) (/ (sqrt (cos x)) (/ (sqrt y) (cbrt (pow (sinh y) 2)))) (/ (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))) (* (/ (cos x) (cbrt y)) (cbrt (pow (sinh y) 2))) (/ (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)) (/ (cos x) (/ (sqrt y) (cbrt (pow (sinh y) 2)))) (/ (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) (cbrt (pow (sinh y) 2))) y) (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)))) (* (cbrt (pow (sinh y) 2)) (/ (cos x) (* (cbrt y) (cbrt y)))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh 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)))) (/ (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 (pow (sinh y) 3/2)) (cbrt y)))) (* (cbrt (pow (sinh y) 2)) (/ (cos x) (* (cbrt y) (cbrt y)))) (/ (cos x) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y)))) (/ (cos x) (* (cbrt y) (cbrt y))) (/ (cos x) (/ (sqrt y) (cbrt (pow (sinh y) 2)))) (/ (cos x) (/ (sqrt y) (sqrt (sinh y)))) (/ (cos x) (sqrt 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) (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))) (/ (cos x) (/ (sqrt y) (cbrt (pow (sinh y) 2)))) (/ (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 (sinh y)) (cbrt (cos x))) (/ y (* (sqrt (cos x)) (sinh y))) (/ y (* (cos x) (sinh y))) (/ (cos x) y) (fma 1/6 (pow y 3) (fma 1/120 (pow y 5) y)) (* 1/2 (- (exp y) (exp (- y)))) (* 1/2 (- (exp y) (exp (- y)))) (+ (pow y 3) (fma 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)) (- (fma 7/360 (pow y 4) 1) (* 1/6 (pow y 2))) (/ y (* 1/2 (- (exp y) (exp (- y))))) (/ y (* 1/2 (- (exp y) (exp (- y))))) (- (fma 1/6 (* y y) 1) (* 1/2 (pow x 2))) (/ (* (cos x) (* 1/2 (- (exp y) (exp (- y))))) y) (/ (* -1/2 (* (cos x) (- (exp (- y)) (exp y)))) y) 23.477 * * * [progress]: adding candidates to table 24.194 * [progress]: [Phase 3 of 3] Extracting. 24.194 * * [regime]: Finding splitpoints for: (# #) 24.194 * * * [regime-changes]: Trying 3 branch expressions: ((cos x) y x) 24.194 * * * * [regimes]: Trying to branch on (cos x) from (# #) 24.209 * * * * [regimes]: Trying to branch on y from (# #) 24.225 * * * * [regimes]: Trying to branch on x from (# #) 24.238 * * * [regime]: Found split indices: #