13.161 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.067 * * * [progress]: [2/2] Setting up program. 0.069 * [progress]: [Phase 2 of 3] Improving. 0.070 * [simplify]: Simplifying using # : (* (cosh x) (/ (sin y) y)) 0.071 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.071 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.073 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 0.077 * * [simplify]: iteration 3 : 53 enodes (cost 7 ) 0.084 * * [simplify]: iteration 4 : 94 enodes (cost 7 ) 0.096 * * [simplify]: iteration 5 : 134 enodes (cost 7 ) 0.122 * * [simplify]: iteration 6 : 270 enodes (cost 7 ) 0.192 * * [simplify]: iteration 7 : 685 enodes (cost 7 ) 0.489 * * [simplify]: iteration 8 : 1452 enodes (cost 7 ) 1.573 * * [simplify]: iteration 9 : 2590 enodes (cost 7 ) 3.859 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 3.860 * [simplify]: Simplified to: (* (cosh x) (/ (sin y) y)) 3.860 * * [progress]: iteration 1 / 4 3.860 * * * [progress]: picking best candidate 3.862 * * * * [pick]: Picked # 3.862 * * * [progress]: localizing error 3.869 * * * [progress]: generating rewritten candidates 3.869 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 3.872 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 3.881 * * * [progress]: generating series expansions 3.881 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 3.882 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 3.882 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 3.882 * [taylor]: Taking taylor expansion of (sin y) in y 3.882 * [taylor]: Taking taylor expansion of y in y 3.882 * [taylor]: Taking taylor expansion of y in y 3.883 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 3.883 * [taylor]: Taking taylor expansion of (sin y) in y 3.883 * [taylor]: Taking taylor expansion of y in y 3.883 * [taylor]: Taking taylor expansion of y in y 3.890 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 3.890 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 3.890 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.890 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.890 * [taylor]: Taking taylor expansion of y in y 3.891 * [taylor]: Taking taylor expansion of y in y 3.891 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 3.891 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.891 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.891 * [taylor]: Taking taylor expansion of y in y 3.891 * [taylor]: Taking taylor expansion of y in y 3.895 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 3.895 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 3.895 * [taylor]: Taking taylor expansion of -1 in y 3.895 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 3.895 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.895 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.895 * [taylor]: Taking taylor expansion of -1 in y 3.895 * [taylor]: Taking taylor expansion of y in y 3.900 * [taylor]: Taking taylor expansion of y in y 3.900 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 3.900 * [taylor]: Taking taylor expansion of -1 in y 3.900 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 3.900 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.900 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.900 * [taylor]: Taking taylor expansion of -1 in y 3.900 * [taylor]: Taking taylor expansion of y in y 3.901 * [taylor]: Taking taylor expansion of y in y 3.912 * * * * [progress]: [ 2 / 2 ] generating series at (2) 3.912 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 3.912 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 3.912 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 3.912 * [taylor]: Taking taylor expansion of (sin y) in y 3.912 * [taylor]: Taking taylor expansion of y in y 3.912 * [taylor]: Taking taylor expansion of (cosh x) in y 3.913 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 3.913 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 3.913 * [taylor]: Taking taylor expansion of (exp x) in y 3.913 * [taylor]: Taking taylor expansion of x in y 3.913 * [taylor]: Taking taylor expansion of (exp (- x)) in y 3.913 * [taylor]: Taking taylor expansion of (- x) in y 3.913 * [taylor]: Taking taylor expansion of x in y 3.913 * [taylor]: Taking taylor expansion of 2 in y 3.913 * [taylor]: Taking taylor expansion of y in y 3.916 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 3.916 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 3.916 * [taylor]: Taking taylor expansion of (sin y) in x 3.916 * [taylor]: Taking taylor expansion of y in x 3.916 * [taylor]: Taking taylor expansion of (cosh x) in x 3.916 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 3.916 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 3.916 * [taylor]: Taking taylor expansion of (exp x) in x 3.916 * [taylor]: Taking taylor expansion of x in x 3.916 * [taylor]: Taking taylor expansion of (exp (- x)) in x 3.916 * [taylor]: Taking taylor expansion of (- x) in x 3.916 * [taylor]: Taking taylor expansion of x in x 3.917 * [taylor]: Taking taylor expansion of 2 in x 3.917 * [taylor]: Taking taylor expansion of y in x 3.918 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 3.918 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 3.918 * [taylor]: Taking taylor expansion of (sin y) in x 3.918 * [taylor]: Taking taylor expansion of y in x 3.918 * [taylor]: Taking taylor expansion of (cosh x) in x 3.918 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 3.918 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 3.918 * [taylor]: Taking taylor expansion of (exp x) in x 3.918 * [taylor]: Taking taylor expansion of x in x 3.918 * [taylor]: Taking taylor expansion of (exp (- x)) in x 3.918 * [taylor]: Taking taylor expansion of (- x) in x 3.918 * [taylor]: Taking taylor expansion of x in x 3.919 * [taylor]: Taking taylor expansion of 2 in x 3.919 * [taylor]: Taking taylor expansion of y in x 3.919 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 3.919 * [taylor]: Taking taylor expansion of (sin y) in y 3.919 * [taylor]: Taking taylor expansion of y in y 3.919 * [taylor]: Taking taylor expansion of y in y 3.924 * [taylor]: Taking taylor expansion of 0 in y 3.930 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 3.931 * [taylor]: Taking taylor expansion of 1/2 in y 3.931 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 3.931 * [taylor]: Taking taylor expansion of (sin y) in y 3.931 * [taylor]: Taking taylor expansion of y in y 3.931 * [taylor]: Taking taylor expansion of y in y 3.934 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 3.934 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 3.934 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 3.934 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 3.934 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 3.934 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 3.934 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.934 * [taylor]: Taking taylor expansion of x in y 3.934 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 3.934 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 3.934 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.934 * [taylor]: Taking taylor expansion of x in y 3.934 * [taylor]: Taking taylor expansion of 2 in y 3.934 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 3.934 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.934 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.934 * [taylor]: Taking taylor expansion of y in y 3.934 * [taylor]: Taking taylor expansion of y in y 3.935 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 3.935 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 3.935 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 3.935 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 3.935 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.935 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.935 * [taylor]: Taking taylor expansion of x in x 3.935 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 3.935 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.935 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.935 * [taylor]: Taking taylor expansion of x in x 3.936 * [taylor]: Taking taylor expansion of 2 in x 3.936 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 3.936 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 3.936 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.936 * [taylor]: Taking taylor expansion of y in x 3.936 * [taylor]: Taking taylor expansion of y in x 3.936 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 3.936 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 3.936 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 3.936 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 3.936 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.936 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.936 * [taylor]: Taking taylor expansion of x in x 3.936 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 3.936 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.936 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.936 * [taylor]: Taking taylor expansion of x in x 3.937 * [taylor]: Taking taylor expansion of 2 in x 3.937 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 3.937 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 3.937 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.937 * [taylor]: Taking taylor expansion of y in x 3.937 * [taylor]: Taking taylor expansion of y in x 3.938 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 3.938 * [taylor]: Taking taylor expansion of 1/2 in y 3.938 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 3.938 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.938 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.938 * [taylor]: Taking taylor expansion of y in y 3.938 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 3.938 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 3.938 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 3.938 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.938 * [taylor]: Taking taylor expansion of x in y 3.938 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 3.938 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 3.938 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.938 * [taylor]: Taking taylor expansion of x in y 3.938 * [taylor]: Taking taylor expansion of y in y 3.941 * [taylor]: Taking taylor expansion of 0 in y 3.948 * [taylor]: Taking taylor expansion of 0 in y 3.957 * [taylor]: Taking taylor expansion of 0 in y 3.958 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 3.958 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 3.958 * [taylor]: Taking taylor expansion of -1 in y 3.958 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 3.958 * [taylor]: Taking taylor expansion of y in y 3.958 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 3.958 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.958 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.958 * [taylor]: Taking taylor expansion of -1 in y 3.958 * [taylor]: Taking taylor expansion of y in y 3.958 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 3.958 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 3.958 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 3.958 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 3.958 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.958 * [taylor]: Taking taylor expansion of -1 in y 3.958 * [taylor]: Taking taylor expansion of x in y 3.958 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 3.958 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 3.959 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.959 * [taylor]: Taking taylor expansion of -1 in y 3.959 * [taylor]: Taking taylor expansion of x in y 3.959 * [taylor]: Taking taylor expansion of 2 in y 3.959 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 3.959 * [taylor]: Taking taylor expansion of -1 in x 3.959 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 3.959 * [taylor]: Taking taylor expansion of y in x 3.959 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 3.959 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 3.959 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.959 * [taylor]: Taking taylor expansion of -1 in x 3.959 * [taylor]: Taking taylor expansion of y in x 3.959 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 3.959 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 3.959 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 3.959 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.959 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.959 * [taylor]: Taking taylor expansion of -1 in x 3.959 * [taylor]: Taking taylor expansion of x in x 3.959 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 3.960 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 3.960 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.960 * [taylor]: Taking taylor expansion of -1 in x 3.960 * [taylor]: Taking taylor expansion of x in x 3.960 * [taylor]: Taking taylor expansion of 2 in x 3.960 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 3.960 * [taylor]: Taking taylor expansion of -1 in x 3.960 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 3.960 * [taylor]: Taking taylor expansion of y in x 3.960 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 3.960 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 3.960 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.960 * [taylor]: Taking taylor expansion of -1 in x 3.960 * [taylor]: Taking taylor expansion of y in x 3.960 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 3.961 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 3.961 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 3.961 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.961 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.961 * [taylor]: Taking taylor expansion of -1 in x 3.961 * [taylor]: Taking taylor expansion of x in x 3.961 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 3.961 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 3.961 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.961 * [taylor]: Taking taylor expansion of -1 in x 3.961 * [taylor]: Taking taylor expansion of x in x 3.962 * [taylor]: Taking taylor expansion of 2 in x 3.962 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 3.962 * [taylor]: Taking taylor expansion of -1/2 in y 3.962 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 3.962 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.962 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.962 * [taylor]: Taking taylor expansion of -1 in y 3.962 * [taylor]: Taking taylor expansion of y in y 3.963 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 3.963 * [taylor]: Taking taylor expansion of y in y 3.963 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 3.963 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 3.963 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.963 * [taylor]: Taking taylor expansion of x in y 3.963 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 3.963 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.963 * [taylor]: Taking taylor expansion of -1 in y 3.963 * [taylor]: Taking taylor expansion of x in y 3.966 * [taylor]: Taking taylor expansion of 0 in y 3.974 * [taylor]: Taking taylor expansion of 0 in y 3.984 * [taylor]: Taking taylor expansion of 0 in y 3.984 * * * [progress]: simplifying candidates 3.989 * [simplify]: Simplifying using # : (- (log (sin y)) (log y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y)) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y)) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) (- (sin y)) (- y) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (cbrt (sin y)) (sqrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) (/ (cbrt (sin y)) y) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) 1) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ 1 1) (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (/ (sin y) 1) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (* (cosh x) (/ (sin y) y)) (+ (log (cosh x)) (- (log (sin y)) (log y))) (+ (log (cosh x)) (log (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (exp (* (cosh x) (/ (sin y) y))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y))) (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))) (* (cbrt (* (cosh x) (/ (sin y) y))) (cbrt (* (cosh x) (/ (sin y) y)))) (cbrt (* (cosh x) (/ (sin y) y))) (* (* (* (cosh x) (/ (sin y) y)) (* (cosh x) (/ (sin y) y))) (* (cosh x) (/ (sin y) y))) (sqrt (* (cosh x) (/ (sin y) y))) (sqrt (* (cosh x) (/ (sin y) y))) (* (+ (exp x) (exp (- x))) (sin y)) (* 2 y) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (cosh x) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (cosh x) (sqrt (/ (sin y) y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)) (* (cosh x) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (* (cosh x) (/ (sqrt (sin y)) (sqrt y))) (* (cosh x) (/ (sqrt (sin y)) 1)) (* (cosh x) (/ 1 (* (cbrt y) (cbrt y)))) (* (cosh x) (/ 1 (sqrt y))) (* (cosh x) (/ 1 1)) (* (cosh x) 1) (* (cosh x) (sin y)) (* (cbrt (cosh x)) (/ (sin y) y)) (* (sqrt (cosh x)) (/ (sin y) y)) (* (cosh x) (/ (sin y) y)) (* (cosh x) (sin y)) (* (+ (exp x) (exp (- x))) (/ (sin y) y)) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (sin y) (exp (- x))))) y) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) 3.993 * * [simplify]: iteration 0 : 120 enodes (cost 663 ) 4.014 * * [simplify]: iteration 1 : 268 enodes (cost 632 ) 4.078 * * [simplify]: iteration 2 : 1076 enodes (cost 568 ) 4.478 * * [simplify]: iteration done : 5000 enodes (cost 552 ) 4.478 * [simplify]: Simplified to: (log (/ (sin y) y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (pow (/ (sin y) y) 3) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (pow (/ (sin y) y) 3) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) (- (sin y)) (- y) (/ (cbrt (sin y)) (/ (* (cbrt y) (cbrt y)) (cbrt (sin y)))) (/ (cbrt (sin y)) (cbrt y)) (/ (cbrt (sin y)) (/ (sqrt y) (cbrt (sin y)))) (/ (cbrt (sin y)) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ (cbrt (sin y)) y) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (sqrt (sin y)) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) 1 (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (sin y) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (* (cosh x) (/ (sin y) y)) (log (* (cosh x) (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (exp (* (cosh x) (/ (sin y) y))) (pow (* (cosh x) (/ (sin y) y)) 3) (pow (* (cosh x) (/ (sin y) y)) 3) (* (cbrt (* (cosh x) (/ (sin y) y))) (cbrt (* (cosh x) (/ (sin y) y)))) (cbrt (* (cosh x) (/ (sin y) y))) (pow (* (cosh x) (/ (sin y) y)) 3) (sqrt (* (cosh x) (/ (sin y) y))) (sqrt (* (cosh x) (/ (sin y) y))) (* (* (cosh x) (sin y)) 2) (* 2 y) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (cosh x) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (cosh x) (sqrt (/ (sin y) y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cosh x) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (* (cosh x) (/ (sqrt (sin y)) (sqrt y))) (* (cosh x) (sqrt (sin y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (sqrt y)) (cosh x) (cosh x) (* (cosh x) (sin y)) (* (cbrt (cosh x)) (/ (sin y) y)) (* (sqrt (cosh x)) (/ (sin y) y)) (* (cosh x) (/ (sin y) y)) (* (cosh x) (sin y)) (/ (* (* (cosh x) (sin y)) 2) y) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (* (cosh x) (/ (sin y) y)) (* (cosh x) (/ (sin y) y)) 4.479 * * * [progress]: adding candidates to table 4.615 * * [progress]: iteration 2 / 4 4.615 * * * [progress]: picking best candidate 4.630 * * * * [pick]: Picked # 4.630 * * * [progress]: localizing error 4.638 * * * [progress]: generating rewritten candidates 4.638 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 4.643 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 4.645 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 4.676 * * * [progress]: generating series expansions 4.676 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 4.676 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 4.676 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.676 * [taylor]: Taking taylor expansion of (sin y) in y 4.676 * [taylor]: Taking taylor expansion of y in y 4.676 * [taylor]: Taking taylor expansion of y in y 4.677 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.677 * [taylor]: Taking taylor expansion of (sin y) in y 4.677 * [taylor]: Taking taylor expansion of y in y 4.677 * [taylor]: Taking taylor expansion of y in y 4.684 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 4.684 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.685 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.685 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.685 * [taylor]: Taking taylor expansion of y in y 4.685 * [taylor]: Taking taylor expansion of y in y 4.685 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.685 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.685 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.685 * [taylor]: Taking taylor expansion of y in y 4.685 * [taylor]: Taking taylor expansion of y in y 4.690 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 4.690 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 4.690 * [taylor]: Taking taylor expansion of -1 in y 4.690 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 4.690 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.690 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.690 * [taylor]: Taking taylor expansion of -1 in y 4.690 * [taylor]: Taking taylor expansion of y in y 4.690 * [taylor]: Taking taylor expansion of y in y 4.690 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 4.690 * [taylor]: Taking taylor expansion of -1 in y 4.690 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 4.690 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.690 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.690 * [taylor]: Taking taylor expansion of -1 in y 4.690 * [taylor]: Taking taylor expansion of y in y 4.690 * [taylor]: Taking taylor expansion of y in y 4.702 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 4.702 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0 4.702 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 4.702 * [taylor]: Taking taylor expansion of y in y 4.702 * [taylor]: Taking taylor expansion of (sin y) in y 4.702 * [taylor]: Taking taylor expansion of y in y 4.702 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 4.702 * [taylor]: Taking taylor expansion of y in y 4.702 * [taylor]: Taking taylor expansion of (sin y) in y 4.702 * [taylor]: Taking taylor expansion of y in y 4.710 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in (y) around 0 4.710 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 4.710 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.710 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.710 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.710 * [taylor]: Taking taylor expansion of y in y 4.710 * [taylor]: Taking taylor expansion of y in y 4.711 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 4.711 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.711 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.711 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.711 * [taylor]: Taking taylor expansion of y in y 4.711 * [taylor]: Taking taylor expansion of y in y 4.716 * [approximate]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in (y) around 0 4.716 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 4.716 * [taylor]: Taking taylor expansion of -1 in y 4.716 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 4.716 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.716 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.716 * [taylor]: Taking taylor expansion of -1 in y 4.716 * [taylor]: Taking taylor expansion of y in y 4.717 * [taylor]: Taking taylor expansion of y in y 4.717 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 4.717 * [taylor]: Taking taylor expansion of -1 in y 4.717 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 4.717 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.717 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.717 * [taylor]: Taking taylor expansion of -1 in y 4.717 * [taylor]: Taking taylor expansion of y in y 4.718 * [taylor]: Taking taylor expansion of y in y 4.723 * * * * [progress]: [ 3 / 3 ] generating series at (2) 4.723 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 4.723 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 4.723 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 4.723 * [taylor]: Taking taylor expansion of (sin y) in y 4.723 * [taylor]: Taking taylor expansion of y in y 4.723 * [taylor]: Taking taylor expansion of (cosh x) in y 4.723 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.723 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 4.723 * [taylor]: Taking taylor expansion of (exp x) in y 4.723 * [taylor]: Taking taylor expansion of x in y 4.723 * [taylor]: Taking taylor expansion of (exp (- x)) in y 4.724 * [taylor]: Taking taylor expansion of (- x) in y 4.724 * [taylor]: Taking taylor expansion of x in y 4.724 * [taylor]: Taking taylor expansion of 2 in y 4.724 * [taylor]: Taking taylor expansion of y in y 4.727 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 4.727 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 4.727 * [taylor]: Taking taylor expansion of (sin y) in x 4.727 * [taylor]: Taking taylor expansion of y in x 4.727 * [taylor]: Taking taylor expansion of (cosh x) in x 4.727 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.727 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.727 * [taylor]: Taking taylor expansion of (exp x) in x 4.727 * [taylor]: Taking taylor expansion of x in x 4.727 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.727 * [taylor]: Taking taylor expansion of (- x) in x 4.727 * [taylor]: Taking taylor expansion of x in x 4.727 * [taylor]: Taking taylor expansion of 2 in x 4.728 * [taylor]: Taking taylor expansion of y in x 4.728 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 4.728 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 4.728 * [taylor]: Taking taylor expansion of (sin y) in x 4.728 * [taylor]: Taking taylor expansion of y in x 4.728 * [taylor]: Taking taylor expansion of (cosh x) in x 4.728 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.728 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.728 * [taylor]: Taking taylor expansion of (exp x) in x 4.728 * [taylor]: Taking taylor expansion of x in x 4.728 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.728 * [taylor]: Taking taylor expansion of (- x) in x 4.728 * [taylor]: Taking taylor expansion of x in x 4.729 * [taylor]: Taking taylor expansion of 2 in x 4.729 * [taylor]: Taking taylor expansion of y in x 4.729 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.729 * [taylor]: Taking taylor expansion of (sin y) in y 4.730 * [taylor]: Taking taylor expansion of y in y 4.730 * [taylor]: Taking taylor expansion of y in y 4.734 * [taylor]: Taking taylor expansion of 0 in y 4.745 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 4.745 * [taylor]: Taking taylor expansion of 1/2 in y 4.745 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.745 * [taylor]: Taking taylor expansion of (sin y) in y 4.745 * [taylor]: Taking taylor expansion of y in y 4.745 * [taylor]: Taking taylor expansion of y in y 4.748 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 4.748 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 4.748 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 4.749 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.749 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 4.749 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.749 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.749 * [taylor]: Taking taylor expansion of x in y 4.749 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 4.749 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 4.749 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.749 * [taylor]: Taking taylor expansion of x in y 4.749 * [taylor]: Taking taylor expansion of 2 in y 4.749 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.749 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.749 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.749 * [taylor]: Taking taylor expansion of y in y 4.749 * [taylor]: Taking taylor expansion of y in y 4.749 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 4.749 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 4.749 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.750 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.750 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.750 * [taylor]: Taking taylor expansion of x in x 4.750 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.750 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.750 * [taylor]: Taking taylor expansion of x in x 4.750 * [taylor]: Taking taylor expansion of 2 in x 4.751 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 4.751 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 4.751 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.751 * [taylor]: Taking taylor expansion of y in x 4.751 * [taylor]: Taking taylor expansion of y in x 4.751 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 4.751 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 4.751 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.751 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.751 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.751 * [taylor]: Taking taylor expansion of x in x 4.751 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.751 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.751 * [taylor]: Taking taylor expansion of x in x 4.752 * [taylor]: Taking taylor expansion of 2 in x 4.752 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 4.752 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 4.752 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.752 * [taylor]: Taking taylor expansion of y in x 4.752 * [taylor]: Taking taylor expansion of y in x 4.752 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 4.753 * [taylor]: Taking taylor expansion of 1/2 in y 4.753 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 4.753 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.753 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.753 * [taylor]: Taking taylor expansion of y in y 4.753 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 4.753 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 4.753 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.753 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.753 * [taylor]: Taking taylor expansion of x in y 4.753 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 4.753 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 4.753 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.753 * [taylor]: Taking taylor expansion of x in y 4.753 * [taylor]: Taking taylor expansion of y in y 4.756 * [taylor]: Taking taylor expansion of 0 in y 4.763 * [taylor]: Taking taylor expansion of 0 in y 4.772 * [taylor]: Taking taylor expansion of 0 in y 4.773 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 4.773 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 4.773 * [taylor]: Taking taylor expansion of -1 in y 4.773 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 4.773 * [taylor]: Taking taylor expansion of y in y 4.773 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 4.773 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.773 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.773 * [taylor]: Taking taylor expansion of -1 in y 4.773 * [taylor]: Taking taylor expansion of y in y 4.773 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 4.773 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.773 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 4.773 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.773 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.773 * [taylor]: Taking taylor expansion of -1 in y 4.773 * [taylor]: Taking taylor expansion of x in y 4.774 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 4.774 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 4.774 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.774 * [taylor]: Taking taylor expansion of -1 in y 4.774 * [taylor]: Taking taylor expansion of x in y 4.774 * [taylor]: Taking taylor expansion of 2 in y 4.774 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 4.774 * [taylor]: Taking taylor expansion of -1 in x 4.774 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 4.774 * [taylor]: Taking taylor expansion of y in x 4.774 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 4.774 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 4.774 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.774 * [taylor]: Taking taylor expansion of -1 in x 4.774 * [taylor]: Taking taylor expansion of y in x 4.774 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 4.774 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.774 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.774 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.774 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.774 * [taylor]: Taking taylor expansion of -1 in x 4.774 * [taylor]: Taking taylor expansion of x in x 4.775 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.775 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.775 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.775 * [taylor]: Taking taylor expansion of -1 in x 4.775 * [taylor]: Taking taylor expansion of x in x 4.775 * [taylor]: Taking taylor expansion of 2 in x 4.775 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 4.776 * [taylor]: Taking taylor expansion of -1 in x 4.776 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 4.776 * [taylor]: Taking taylor expansion of y in x 4.776 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 4.776 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 4.776 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.776 * [taylor]: Taking taylor expansion of -1 in x 4.776 * [taylor]: Taking taylor expansion of y in x 4.776 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 4.776 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.776 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.776 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.776 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.776 * [taylor]: Taking taylor expansion of -1 in x 4.776 * [taylor]: Taking taylor expansion of x in x 4.776 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.776 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.776 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.776 * [taylor]: Taking taylor expansion of -1 in x 4.776 * [taylor]: Taking taylor expansion of x in x 4.777 * [taylor]: Taking taylor expansion of 2 in x 4.777 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 4.778 * [taylor]: Taking taylor expansion of -1/2 in y 4.778 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 4.778 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.778 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.778 * [taylor]: Taking taylor expansion of -1 in y 4.778 * [taylor]: Taking taylor expansion of y in y 4.778 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 4.778 * [taylor]: Taking taylor expansion of y in y 4.778 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 4.778 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.778 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.778 * [taylor]: Taking taylor expansion of x in y 4.778 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.778 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.778 * [taylor]: Taking taylor expansion of -1 in y 4.778 * [taylor]: Taking taylor expansion of x in y 4.782 * [taylor]: Taking taylor expansion of 0 in y 4.789 * [taylor]: Taking taylor expansion of 0 in y 4.799 * [taylor]: Taking taylor expansion of 0 in y 4.799 * * * [progress]: simplifying candidates 4.802 * [simplify]: Simplifying using # : (- 1) (- (- (log y) (log (sin y)))) (- (log (/ y (sin y)))) (- 0 (- (log y) (log (sin y)))) (- 0 (log (/ y (sin y)))) (- (log 1) (- (log y) (log (sin y)))) (- (log 1) (log (/ y (sin y)))) (log (/ 1 (/ y (sin y)))) (exp (/ 1 (/ y (sin y)))) (/ (* (* 1 1) 1) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y)))) (/ (* (* 1 1) 1) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y)))) (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y))))) (cbrt (/ 1 (/ y (sin y)))) (* (* (/ 1 (/ y (sin y))) (/ 1 (/ y (sin y)))) (/ 1 (/ y (sin y)))) (sqrt (/ 1 (/ y (sin y)))) (sqrt (/ 1 (/ y (sin y)))) (- 1) (- (/ y (sin y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cbrt 1) (cbrt (/ y (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ y (sin y)))) (/ (cbrt 1) (sqrt (/ y (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ (cbrt y) (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (cbrt 1) (/ (cbrt y) (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) 1)) (/ (cbrt 1) (/ (cbrt y) (sin y))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ (sqrt y) (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (sqrt (sin y)))) (/ (cbrt 1) (/ (sqrt y) (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) 1)) (/ (cbrt 1) (/ (sqrt y) (sin y))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ y (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (sin y)))) (/ (cbrt 1) (/ y (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ y (sin y))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ y (sin y))) (/ (* (cbrt 1) (cbrt 1)) y) (/ (cbrt 1) (/ 1 (sin y))) (/ (sqrt 1) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt 1) (cbrt (/ y (sin y)))) (/ (sqrt 1) (sqrt (/ y (sin y)))) (/ (sqrt 1) (sqrt (/ y (sin y)))) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (sqrt 1) (/ (cbrt y) (sqrt (sin y)))) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) 1)) (/ (sqrt 1) (/ (cbrt y) (sin y))) (/ (sqrt 1) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt 1) (/ (sqrt y) 1)) (/ (sqrt 1) (/ (sqrt y) (sin y))) (/ (sqrt 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ y (cbrt (sin y)))) (/ (sqrt 1) (/ 1 (sqrt (sin y)))) (/ (sqrt 1) (/ y (sqrt (sin y)))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ y (sin y))) (/ (sqrt 1) 1) (/ (sqrt 1) (/ y (sin y))) (/ (sqrt 1) y) (/ (sqrt 1) (/ 1 (sin y))) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ 1 (/ (cbrt y) (sqrt (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ 1 (/ (cbrt y) (sin y))) (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ 1 (/ (sqrt y) (sqrt (sin y)))) (/ 1 (/ (sqrt y) (sqrt (sin y)))) (/ 1 (/ (sqrt y) 1)) (/ 1 (/ (sqrt y) (sin y))) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ y (cbrt (sin y)))) (/ 1 (/ 1 (sqrt (sin y)))) (/ 1 (/ y (sqrt (sin y)))) (/ 1 (/ 1 1)) (/ 1 (/ y (sin y))) (/ 1 1) (/ 1 (/ y (sin y))) (/ 1 y) (/ 1 (/ 1 (sin y))) (/ 1 (/ y (sin y))) (/ (/ y (sin y)) 1) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (sqrt y) (sqrt (sin y)))) (/ 1 (/ (sqrt y) 1)) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ 1 (sqrt (sin y)))) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 y) (/ (/ y (sin y)) (cbrt 1)) (/ (/ y (sin y)) (sqrt 1)) (/ (/ y (sin y)) 1) (/ 1 y) (- (log y) (log (sin y))) (log (/ y (sin y))) (exp (/ y (sin y))) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y))) (sqrt (/ y (sin y))) (sqrt (/ y (sin y))) (- y) (- (sin y)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))) (/ (cbrt y) (sqrt (sin y))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (sin y)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt y) (cbrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) 1) (/ (sqrt y) (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y))) (/ 1 1) (/ y (sin y)) (/ 1 (sin y)) (/ (sin y) y) (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) (/ y 1) (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (* (cosh x) (/ 1 (/ y (sin y)))) (+ (log (cosh x)) (- (- (log y) (log (sin y))))) (+ (log (cosh x)) (- (log (/ y (sin y))))) (+ (log (cosh x)) (- 0 (- (log y) (log (sin y))))) (+ (log (cosh x)) (- 0 (log (/ y (sin y))))) (+ (log (cosh x)) (- (log 1) (- (log y) (log (sin y))))) (+ (log (cosh x)) (- (log 1) (log (/ y (sin y))))) (+ (log (cosh x)) (log (/ 1 (/ y (sin y))))) (log (* (cosh x) (/ 1 (/ y (sin y))))) (exp (* (cosh x) (/ 1 (/ y (sin y))))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* 1 1) 1) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y))))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* 1 1) 1) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y))))) (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ 1 (/ y (sin y))) (/ 1 (/ y (sin y)))) (/ 1 (/ y (sin y))))) (* (cbrt (* (cosh x) (/ 1 (/ y (sin y))))) (cbrt (* (cosh x) (/ 1 (/ y (sin y)))))) (cbrt (* (cosh x) (/ 1 (/ y (sin y))))) (* (* (* (cosh x) (/ 1 (/ y (sin y)))) (* (cosh x) (/ 1 (/ y (sin y))))) (* (cosh x) (/ 1 (/ y (sin y))))) (sqrt (* (cosh x) (/ 1 (/ y (sin y))))) (sqrt (* (cosh x) (/ 1 (/ y (sin y))))) (* (+ (exp x) (exp (- x))) 1) (* 2 (/ y (sin y))) (* (sqrt (cosh x)) (sqrt (/ 1 (/ y (sin y))))) (* (sqrt (cosh x)) (sqrt (/ 1 (/ y (sin y))))) (* (sqrt (cosh x)) (/ (sqrt 1) (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ (sqrt 1) (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ 1 (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ 1 (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ 1 (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ 1 (/ (sqrt y) (sqrt (sin y))))) (* (cosh x) (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y)))))) (* (cosh x) (sqrt (/ 1 (/ y (sin y))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ y (sin y))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) 1))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (sqrt (sin y))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) 1))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (sin y))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) y)) (* (cosh x) (/ (sqrt 1) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* (cosh x) (/ (sqrt 1) (sqrt (/ y (sin y))))) (* (cosh x) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (* (cosh x) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) 1))) (* (cosh x) (/ (sqrt 1) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y))))) (* (cosh x) (/ (sqrt 1) (/ (sqrt y) 1))) (* (cosh x) (/ (sqrt 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (sqrt 1) (/ 1 (sqrt (sin y))))) (* (cosh x) (/ (sqrt 1) (/ 1 1))) (* (cosh x) (/ (sqrt 1) 1)) (* (cosh x) (/ (sqrt 1) y)) (* (cosh x) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* (cosh x) (/ 1 (sqrt (/ y (sin y))))) (* (cosh x) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (* (cosh x) (/ 1 (/ (* (cbrt y) (cbrt y)) 1))) (* (cosh x) (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ 1 (/ (sqrt y) (sqrt (sin y))))) (* (cosh x) (/ 1 (/ (sqrt y) 1))) (* (cosh x) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ 1 (/ 1 (sqrt (sin y))))) (* (cosh x) (/ 1 (/ 1 1))) (* (cosh x) (/ 1 1)) (* (cosh x) (/ 1 y)) (* (cosh x) 1) (* (cosh x) 1) (* (cosh x) (/ 1 y)) (* (cbrt (cosh x)) (/ 1 (/ y (sin y)))) (* (sqrt (cosh x)) (/ 1 (/ y (sin y)))) (* (cosh x) (/ 1 (/ y (sin y)))) (* (cosh x) 1) (* (+ (exp x) (exp (- x))) (/ 1 (/ y (sin y)))) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (+ (* 1/6 (pow y 2)) (+ (* 7/360 (pow y 4)) 1)) (/ y (sin y)) (/ y (sin y)) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (sin y) (exp (- x))))) y) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) 4.810 * * [simplify]: iteration 0 : 259 enodes (cost 2334 ) 4.863 * * [simplify]: iteration 1 : 629 enodes (cost 1980 ) 5.060 * * [simplify]: iteration 2 : 2430 enodes (cost 1611 ) 6.381 * * [simplify]: iteration done : 5000 enodes (cost 1595 ) 6.382 * [simplify]: Simplified to: -1 (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (pow (/ (sin y) y) 3) (pow (/ (sin y) y) 3) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (pow (/ (sin y) y) 3) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) -1 (- (/ y (sin y))) (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ 1 (/ y (cbrt (sin y)))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (/ 1 y) (sin y) (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ 1 (/ y (cbrt (sin y)))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (/ 1 y) (sin y) (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ 1 (/ y (cbrt (sin y)))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (/ 1 y) (sin y) (/ (sin y) y) (/ y (sin y)) (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt y) (cbrt y))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (sqrt (sin y)) 1 1 (/ 1 y) (/ y (sin y)) (/ y (sin y)) (/ y (sin y)) (/ 1 y) (log (/ y (sin y))) (log (/ y (sin y))) (exp (/ y (sin y))) (pow (/ y (sin y)) 3) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))) (pow (/ y (sin y)) 3) (sqrt (/ y (sin y))) (sqrt (/ y (sin y))) (- y) (- (sin y)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))) (/ (cbrt y) (sqrt (sin y))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sin y)) (/ (/ (sqrt y) (cbrt (sin y))) (cbrt (sin y))) (/ (sqrt y) (cbrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (sqrt y) (/ (sqrt y) (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y))) 1 (/ y (sin y)) (/ 1 (sin y)) (/ (sin y) y) (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) y (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (/ (cosh x) (/ y (sin y))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (exp (/ (cosh x) (/ y (sin y)))) (pow (/ (cosh x) (/ y (sin y))) 3) (pow (/ (cosh x) (/ y (sin y))) 3) (pow (/ (cosh x) (/ y (sin y))) 3) (* (cbrt (/ (cosh x) (/ y (sin y)))) (cbrt (/ (cosh x) (/ y (sin y))))) (cbrt (/ (cosh x) (/ y (sin y)))) (pow (/ (cosh x) (/ y (sin y))) 3) (sqrt (/ (cosh x) (/ y (sin y)))) (sqrt (/ (cosh x) (/ y (sin y)))) (* 2 (cosh x)) (* 2 (/ y (sin y))) (* (sqrt (/ (sin y) y)) (sqrt (cosh x))) (* (sqrt (/ (sin y) y)) (sqrt (cosh x))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cosh x)) (* (cosh x) (sqrt (/ (sin y) y))) (/ (cosh x) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cosh x) (sqrt (/ y (sin y)))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (cosh x)) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (/ (/ (sqrt y) (cbrt (sin y))) (cbrt (sin y)))) (/ (cosh x) (/ (sqrt y) (sqrt (sin y)))) (/ (cosh x) (sqrt y)) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (sqrt (sin y)) (cosh x)) (cosh x) (cosh x) (/ (cosh x) y) (/ (cosh x) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cosh x) (sqrt (/ y (sin y)))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (cosh x)) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (/ (/ (sqrt y) (cbrt (sin y))) (cbrt (sin y)))) (/ (cosh x) (/ (sqrt y) (sqrt (sin y)))) (/ (cosh x) (sqrt y)) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (sqrt (sin y)) (cosh x)) (cosh x) (cosh x) (/ (cosh x) y) (/ (cosh x) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cosh x) (sqrt (/ y (sin y)))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (cosh x)) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (/ (/ (sqrt y) (cbrt (sin y))) (cbrt (sin y)))) (/ (cosh x) (/ (sqrt y) (sqrt (sin y)))) (/ (cosh x) (sqrt y)) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (sqrt (sin y)) (cosh x)) (cosh x) (cosh x) (/ (cosh x) y) (cosh x) (cosh x) (/ (cosh x) y) (/ (cbrt (cosh x)) (/ y (sin y))) (/ (sqrt (cosh x)) (/ y (sin y))) (/ (cosh x) (/ y (sin y))) (cosh x) (/ 2 (/ (/ y (sin y)) (cosh x))) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (+ (* 1/6 (pow y 2)) (+ (* 7/360 (pow y 4)) 1)) (/ y (sin y)) (/ y (sin y)) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (cosh x) (/ y (sin y))) (/ (cosh x) (/ y (sin y))) 6.383 * * * [progress]: adding candidates to table 6.713 * * [progress]: iteration 3 / 4 6.713 * * * [progress]: picking best candidate 6.729 * * * * [pick]: Picked # 6.729 * * * [progress]: localizing error 6.738 * * * [progress]: generating rewritten candidates 6.738 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 6.745 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 6.747 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 6.780 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 6.798 * * * [progress]: generating series expansions 6.798 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 6.798 * [approximate]: Taking taylor expansion of (* (/ (sin y) y) (sqrt (cosh x))) in (x y) around 0 6.799 * [taylor]: Taking taylor expansion of (* (/ (sin y) y) (sqrt (cosh x))) in y 6.799 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 6.799 * [taylor]: Taking taylor expansion of (sin y) in y 6.799 * [taylor]: Taking taylor expansion of y in y 6.799 * [taylor]: Taking taylor expansion of y in y 6.800 * [taylor]: Taking taylor expansion of (sqrt (cosh x)) in y 6.800 * [taylor]: Taking taylor expansion of (cosh x) in y 6.800 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.800 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 6.800 * [taylor]: Taking taylor expansion of (exp x) in y 6.800 * [taylor]: Taking taylor expansion of x in y 6.800 * [taylor]: Taking taylor expansion of (exp (- x)) in y 6.800 * [taylor]: Taking taylor expansion of (- x) in y 6.800 * [taylor]: Taking taylor expansion of x in y 6.800 * [taylor]: Taking taylor expansion of 2 in y 6.802 * [taylor]: Taking taylor expansion of (* (/ (sin y) y) (sqrt (cosh x))) in x 6.802 * [taylor]: Taking taylor expansion of (/ (sin y) y) in x 6.802 * [taylor]: Taking taylor expansion of (sin y) in x 6.802 * [taylor]: Taking taylor expansion of y in x 6.802 * [taylor]: Taking taylor expansion of y in x 6.803 * [taylor]: Taking taylor expansion of (sqrt (cosh x)) in x 6.803 * [taylor]: Taking taylor expansion of (cosh x) in x 6.803 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.803 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.803 * [taylor]: Taking taylor expansion of (exp x) in x 6.803 * [taylor]: Taking taylor expansion of x in x 6.803 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.803 * [taylor]: Taking taylor expansion of (- x) in x 6.803 * [taylor]: Taking taylor expansion of x in x 6.803 * [taylor]: Taking taylor expansion of 2 in x 6.807 * [taylor]: Taking taylor expansion of (* (/ (sin y) y) (sqrt (cosh x))) in x 6.807 * [taylor]: Taking taylor expansion of (/ (sin y) y) in x 6.807 * [taylor]: Taking taylor expansion of (sin y) in x 6.807 * [taylor]: Taking taylor expansion of y in x 6.807 * [taylor]: Taking taylor expansion of y in x 6.807 * [taylor]: Taking taylor expansion of (sqrt (cosh x)) in x 6.807 * [taylor]: Taking taylor expansion of (cosh x) in x 6.807 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.807 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.807 * [taylor]: Taking taylor expansion of (exp x) in x 6.807 * [taylor]: Taking taylor expansion of x in x 6.807 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.807 * [taylor]: Taking taylor expansion of (- x) in x 6.807 * [taylor]: Taking taylor expansion of x in x 6.808 * [taylor]: Taking taylor expansion of 2 in x 6.811 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 6.811 * [taylor]: Taking taylor expansion of (sin y) in y 6.811 * [taylor]: Taking taylor expansion of y in y 6.811 * [taylor]: Taking taylor expansion of y in y 6.813 * [taylor]: Taking taylor expansion of 0 in y 6.820 * [taylor]: Taking taylor expansion of (* 1/4 (/ (sin y) y)) in y 6.821 * [taylor]: Taking taylor expansion of 1/4 in y 6.821 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 6.821 * [taylor]: Taking taylor expansion of (sin y) in y 6.821 * [taylor]: Taking taylor expansion of y in y 6.821 * [taylor]: Taking taylor expansion of y in y 6.823 * [approximate]: Taking taylor expansion of (* (sqrt (cosh (/ 1 x))) (* (sin (/ 1 y)) y)) in (x y) around 0 6.823 * [taylor]: Taking taylor expansion of (* (sqrt (cosh (/ 1 x))) (* (sin (/ 1 y)) y)) in y 6.823 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 x))) in y 6.823 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 6.823 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.823 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 6.823 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.824 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.824 * [taylor]: Taking taylor expansion of x in y 6.824 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.824 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.824 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.824 * [taylor]: Taking taylor expansion of x in y 6.824 * [taylor]: Taking taylor expansion of 2 in y 6.826 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 6.826 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.826 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.826 * [taylor]: Taking taylor expansion of y in y 6.827 * [taylor]: Taking taylor expansion of y in y 6.827 * [taylor]: Taking taylor expansion of (* (sqrt (cosh (/ 1 x))) (* (sin (/ 1 y)) y)) in x 6.827 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 x))) in x 6.827 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 6.827 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.827 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.827 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.827 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.827 * [taylor]: Taking taylor expansion of x in x 6.827 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.827 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.827 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.827 * [taylor]: Taking taylor expansion of x in x 6.828 * [taylor]: Taking taylor expansion of 2 in x 6.829 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 6.829 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 6.829 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.829 * [taylor]: Taking taylor expansion of y in x 6.829 * [taylor]: Taking taylor expansion of y in x 6.829 * [taylor]: Taking taylor expansion of (* (sqrt (cosh (/ 1 x))) (* (sin (/ 1 y)) y)) in x 6.829 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 x))) in x 6.829 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 6.830 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.830 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.830 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.830 * [taylor]: Taking taylor expansion of x in x 6.830 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.830 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.830 * [taylor]: Taking taylor expansion of x in x 6.831 * [taylor]: Taking taylor expansion of 2 in x 6.832 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 6.832 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 6.832 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.832 * [taylor]: Taking taylor expansion of y in x 6.832 * [taylor]: Taking taylor expansion of y in x 6.833 * [taylor]: Taking taylor expansion of (* (* (sin (/ 1 y)) (* (sqrt 1/2) y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 6.833 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (sqrt 1/2) y)) in y 6.833 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.833 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.833 * [taylor]: Taking taylor expansion of y in y 6.833 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) y) in y 6.833 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 6.833 * [taylor]: Taking taylor expansion of 1/2 in y 6.834 * [taylor]: Taking taylor expansion of y in y 6.834 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 6.834 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 6.834 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.834 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.834 * [taylor]: Taking taylor expansion of x in y 6.834 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.834 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.834 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.834 * [taylor]: Taking taylor expansion of x in y 6.838 * [taylor]: Taking taylor expansion of 0 in y 6.846 * [taylor]: Taking taylor expansion of 0 in y 6.858 * [taylor]: Taking taylor expansion of 0 in y 6.859 * [approximate]: Taking taylor expansion of (* -1 (* (* y (sin (/ -1 y))) (sqrt (cosh (/ -1 x))))) in (x y) around 0 6.859 * [taylor]: Taking taylor expansion of (* -1 (* (* y (sin (/ -1 y))) (sqrt (cosh (/ -1 x))))) in y 6.859 * [taylor]: Taking taylor expansion of -1 in y 6.859 * [taylor]: Taking taylor expansion of (* (* y (sin (/ -1 y))) (sqrt (cosh (/ -1 x)))) in y 6.859 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y 6.859 * [taylor]: Taking taylor expansion of y in y 6.859 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.859 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.859 * [taylor]: Taking taylor expansion of -1 in y 6.859 * [taylor]: Taking taylor expansion of y in y 6.859 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 x))) in y 6.859 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 6.859 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.859 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 6.859 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.859 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.859 * [taylor]: Taking taylor expansion of -1 in y 6.859 * [taylor]: Taking taylor expansion of x in y 6.860 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 6.860 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 6.860 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.860 * [taylor]: Taking taylor expansion of -1 in y 6.860 * [taylor]: Taking taylor expansion of x in y 6.860 * [taylor]: Taking taylor expansion of 2 in y 6.862 * [taylor]: Taking taylor expansion of (* -1 (* (* y (sin (/ -1 y))) (sqrt (cosh (/ -1 x))))) in x 6.862 * [taylor]: Taking taylor expansion of -1 in x 6.862 * [taylor]: Taking taylor expansion of (* (* y (sin (/ -1 y))) (sqrt (cosh (/ -1 x)))) in x 6.862 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in x 6.862 * [taylor]: Taking taylor expansion of y in x 6.862 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 6.862 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.862 * [taylor]: Taking taylor expansion of -1 in x 6.862 * [taylor]: Taking taylor expansion of y in x 6.862 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 x))) in x 6.863 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 6.863 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.863 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.863 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.863 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.863 * [taylor]: Taking taylor expansion of -1 in x 6.863 * [taylor]: Taking taylor expansion of x in x 6.863 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.863 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.863 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.863 * [taylor]: Taking taylor expansion of -1 in x 6.863 * [taylor]: Taking taylor expansion of x in x 6.864 * [taylor]: Taking taylor expansion of 2 in x 6.865 * [taylor]: Taking taylor expansion of (* -1 (* (* y (sin (/ -1 y))) (sqrt (cosh (/ -1 x))))) in x 6.865 * [taylor]: Taking taylor expansion of -1 in x 6.865 * [taylor]: Taking taylor expansion of (* (* y (sin (/ -1 y))) (sqrt (cosh (/ -1 x)))) in x 6.865 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in x 6.866 * [taylor]: Taking taylor expansion of y in x 6.866 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 6.866 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.866 * [taylor]: Taking taylor expansion of -1 in x 6.866 * [taylor]: Taking taylor expansion of y in x 6.866 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 x))) in x 6.866 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 6.866 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.866 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.866 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.866 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.866 * [taylor]: Taking taylor expansion of -1 in x 6.866 * [taylor]: Taking taylor expansion of x in x 6.866 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.866 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.866 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.866 * [taylor]: Taking taylor expansion of -1 in x 6.866 * [taylor]: Taking taylor expansion of x in x 6.867 * [taylor]: Taking taylor expansion of 2 in x 6.869 * [taylor]: Taking taylor expansion of (* -1 (* (* (sin (/ -1 y)) (* (sqrt 1/2) y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 6.869 * [taylor]: Taking taylor expansion of -1 in y 6.869 * [taylor]: Taking taylor expansion of (* (* (sin (/ -1 y)) (* (sqrt 1/2) y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 6.869 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* (sqrt 1/2) y)) in y 6.869 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.869 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.869 * [taylor]: Taking taylor expansion of -1 in y 6.869 * [taylor]: Taking taylor expansion of y in y 6.869 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) y) in y 6.870 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 6.870 * [taylor]: Taking taylor expansion of 1/2 in y 6.870 * [taylor]: Taking taylor expansion of y in y 6.870 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 6.870 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 6.870 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.870 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.870 * [taylor]: Taking taylor expansion of x in y 6.870 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.870 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.870 * [taylor]: Taking taylor expansion of -1 in y 6.870 * [taylor]: Taking taylor expansion of x in y 6.881 * [taylor]: Taking taylor expansion of 0 in y 6.890 * [taylor]: Taking taylor expansion of 0 in y 6.903 * [taylor]: Taking taylor expansion of 0 in y 6.904 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 6.904 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0 6.904 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 6.904 * [taylor]: Taking taylor expansion of y in y 6.904 * [taylor]: Taking taylor expansion of (sin y) in y 6.904 * [taylor]: Taking taylor expansion of y in y 6.905 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 6.905 * [taylor]: Taking taylor expansion of y in y 6.905 * [taylor]: Taking taylor expansion of (sin y) in y 6.905 * [taylor]: Taking taylor expansion of y in y 6.912 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in (y) around 0 6.912 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 6.912 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 6.912 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.912 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.912 * [taylor]: Taking taylor expansion of y in y 6.913 * [taylor]: Taking taylor expansion of y in y 6.913 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 6.913 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 6.913 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.913 * [taylor]: Taking taylor expansion of y in y 6.913 * [taylor]: Taking taylor expansion of y in y 6.919 * [approximate]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in (y) around 0 6.919 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 6.919 * [taylor]: Taking taylor expansion of -1 in y 6.919 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 6.919 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.919 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.919 * [taylor]: Taking taylor expansion of -1 in y 6.919 * [taylor]: Taking taylor expansion of y in y 6.919 * [taylor]: Taking taylor expansion of y in y 6.919 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 6.919 * [taylor]: Taking taylor expansion of -1 in y 6.919 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 6.919 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.919 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.919 * [taylor]: Taking taylor expansion of -1 in y 6.920 * [taylor]: Taking taylor expansion of y in y 6.920 * [taylor]: Taking taylor expansion of y in y 6.925 * * * * [progress]: [ 3 / 4 ] generating series at (2) 6.925 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 6.925 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 6.926 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 6.926 * [taylor]: Taking taylor expansion of (sin y) in y 6.926 * [taylor]: Taking taylor expansion of y in y 6.926 * [taylor]: Taking taylor expansion of (cosh x) in y 6.926 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.926 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 6.926 * [taylor]: Taking taylor expansion of (exp x) in y 6.926 * [taylor]: Taking taylor expansion of x in y 6.926 * [taylor]: Taking taylor expansion of (exp (- x)) in y 6.926 * [taylor]: Taking taylor expansion of (- x) in y 6.926 * [taylor]: Taking taylor expansion of x in y 6.926 * [taylor]: Taking taylor expansion of 2 in y 6.926 * [taylor]: Taking taylor expansion of y in y 6.929 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 6.929 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 6.929 * [taylor]: Taking taylor expansion of (sin y) in x 6.929 * [taylor]: Taking taylor expansion of y in x 6.929 * [taylor]: Taking taylor expansion of (cosh x) in x 6.929 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.929 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.929 * [taylor]: Taking taylor expansion of (exp x) in x 6.929 * [taylor]: Taking taylor expansion of x in x 6.929 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.929 * [taylor]: Taking taylor expansion of (- x) in x 6.929 * [taylor]: Taking taylor expansion of x in x 6.930 * [taylor]: Taking taylor expansion of 2 in x 6.930 * [taylor]: Taking taylor expansion of y in x 6.930 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 6.930 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 6.930 * [taylor]: Taking taylor expansion of (sin y) in x 6.930 * [taylor]: Taking taylor expansion of y in x 6.931 * [taylor]: Taking taylor expansion of (cosh x) in x 6.931 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.931 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.931 * [taylor]: Taking taylor expansion of (exp x) in x 6.931 * [taylor]: Taking taylor expansion of x in x 6.931 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.931 * [taylor]: Taking taylor expansion of (- x) in x 6.931 * [taylor]: Taking taylor expansion of x in x 6.931 * [taylor]: Taking taylor expansion of 2 in x 6.932 * [taylor]: Taking taylor expansion of y in x 6.932 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 6.932 * [taylor]: Taking taylor expansion of (sin y) in y 6.932 * [taylor]: Taking taylor expansion of y in y 6.932 * [taylor]: Taking taylor expansion of y in y 6.936 * [taylor]: Taking taylor expansion of 0 in y 6.943 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 6.943 * [taylor]: Taking taylor expansion of 1/2 in y 6.943 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 6.943 * [taylor]: Taking taylor expansion of (sin y) in y 6.943 * [taylor]: Taking taylor expansion of y in y 6.943 * [taylor]: Taking taylor expansion of y in y 6.946 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 6.946 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 6.946 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 6.946 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.946 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 6.946 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.946 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.946 * [taylor]: Taking taylor expansion of x in y 6.946 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.946 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.946 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.946 * [taylor]: Taking taylor expansion of x in y 6.946 * [taylor]: Taking taylor expansion of 2 in y 6.946 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 6.946 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.946 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.946 * [taylor]: Taking taylor expansion of y in y 6.947 * [taylor]: Taking taylor expansion of y in y 6.947 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 6.947 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 6.947 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.947 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.947 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.947 * [taylor]: Taking taylor expansion of x in x 6.947 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.947 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.947 * [taylor]: Taking taylor expansion of x in x 6.948 * [taylor]: Taking taylor expansion of 2 in x 6.948 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 6.948 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 6.948 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.948 * [taylor]: Taking taylor expansion of y in x 6.948 * [taylor]: Taking taylor expansion of y in x 6.948 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 6.948 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 6.948 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.948 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.948 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.948 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.948 * [taylor]: Taking taylor expansion of x in x 6.948 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.948 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.948 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.948 * [taylor]: Taking taylor expansion of x in x 6.949 * [taylor]: Taking taylor expansion of 2 in x 6.949 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 6.949 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 6.949 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.949 * [taylor]: Taking taylor expansion of y in x 6.949 * [taylor]: Taking taylor expansion of y in x 6.950 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 6.950 * [taylor]: Taking taylor expansion of 1/2 in y 6.950 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 6.950 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.950 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.950 * [taylor]: Taking taylor expansion of y in y 6.950 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 6.950 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 6.950 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.950 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.950 * [taylor]: Taking taylor expansion of x in y 6.950 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.950 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.950 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.950 * [taylor]: Taking taylor expansion of x in y 6.950 * [taylor]: Taking taylor expansion of y in y 6.953 * [taylor]: Taking taylor expansion of 0 in y 6.960 * [taylor]: Taking taylor expansion of 0 in y 6.974 * [taylor]: Taking taylor expansion of 0 in y 6.975 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 6.975 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 6.975 * [taylor]: Taking taylor expansion of -1 in y 6.975 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 6.975 * [taylor]: Taking taylor expansion of y in y 6.975 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 6.975 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.975 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.975 * [taylor]: Taking taylor expansion of -1 in y 6.975 * [taylor]: Taking taylor expansion of y in y 6.975 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 6.975 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.975 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 6.975 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.975 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.976 * [taylor]: Taking taylor expansion of -1 in y 6.976 * [taylor]: Taking taylor expansion of x in y 6.976 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 6.976 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 6.976 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.976 * [taylor]: Taking taylor expansion of -1 in y 6.976 * [taylor]: Taking taylor expansion of x in y 6.976 * [taylor]: Taking taylor expansion of 2 in y 6.976 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 6.976 * [taylor]: Taking taylor expansion of -1 in x 6.976 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 6.976 * [taylor]: Taking taylor expansion of y in x 6.976 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 6.976 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 6.976 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.976 * [taylor]: Taking taylor expansion of -1 in x 6.976 * [taylor]: Taking taylor expansion of y in x 6.976 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 6.976 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.976 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.976 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.976 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.976 * [taylor]: Taking taylor expansion of -1 in x 6.976 * [taylor]: Taking taylor expansion of x in x 6.977 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.977 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.977 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.977 * [taylor]: Taking taylor expansion of -1 in x 6.977 * [taylor]: Taking taylor expansion of x in x 6.977 * [taylor]: Taking taylor expansion of 2 in x 6.977 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 6.977 * [taylor]: Taking taylor expansion of -1 in x 6.978 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 6.978 * [taylor]: Taking taylor expansion of y in x 6.978 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 6.978 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 6.978 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.978 * [taylor]: Taking taylor expansion of -1 in x 6.978 * [taylor]: Taking taylor expansion of y in x 6.978 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 6.978 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.978 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.978 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.978 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.978 * [taylor]: Taking taylor expansion of -1 in x 6.978 * [taylor]: Taking taylor expansion of x in x 6.978 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.978 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.978 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.978 * [taylor]: Taking taylor expansion of -1 in x 6.978 * [taylor]: Taking taylor expansion of x in x 6.979 * [taylor]: Taking taylor expansion of 2 in x 6.980 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 6.980 * [taylor]: Taking taylor expansion of -1/2 in y 6.980 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 6.980 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.980 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.980 * [taylor]: Taking taylor expansion of -1 in y 6.980 * [taylor]: Taking taylor expansion of y in y 6.980 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 6.980 * [taylor]: Taking taylor expansion of y in y 6.980 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 6.980 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.980 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.980 * [taylor]: Taking taylor expansion of x in y 6.980 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.980 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.980 * [taylor]: Taking taylor expansion of -1 in y 6.980 * [taylor]: Taking taylor expansion of x in y 6.984 * [taylor]: Taking taylor expansion of 0 in y 6.991 * [taylor]: Taking taylor expansion of 0 in y 7.001 * [taylor]: Taking taylor expansion of 0 in y 7.001 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 7.002 * [approximate]: Taking taylor expansion of (sqrt (cosh x)) in (x) around 0 7.002 * [taylor]: Taking taylor expansion of (sqrt (cosh x)) in x 7.002 * [taylor]: Taking taylor expansion of (cosh x) in x 7.002 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 7.002 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.002 * [taylor]: Taking taylor expansion of (exp x) in x 7.002 * [taylor]: Taking taylor expansion of x in x 7.002 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.002 * [taylor]: Taking taylor expansion of (- x) in x 7.002 * [taylor]: Taking taylor expansion of x in x 7.002 * [taylor]: Taking taylor expansion of 2 in x 7.006 * [taylor]: Taking taylor expansion of (sqrt (cosh x)) in x 7.006 * [taylor]: Taking taylor expansion of (cosh x) in x 7.006 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 7.006 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.006 * [taylor]: Taking taylor expansion of (exp x) in x 7.006 * [taylor]: Taking taylor expansion of x in x 7.006 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.006 * [taylor]: Taking taylor expansion of (- x) in x 7.006 * [taylor]: Taking taylor expansion of x in x 7.006 * [taylor]: Taking taylor expansion of 2 in x 7.026 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ 1 x))) in (x) around 0 7.026 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 x))) in x 7.026 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 7.026 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 7.026 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.026 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.026 * [taylor]: Taking taylor expansion of x in x 7.026 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.026 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.026 * [taylor]: Taking taylor expansion of x in x 7.027 * [taylor]: Taking taylor expansion of 2 in x 7.028 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 x))) in x 7.028 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 7.028 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 7.028 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.028 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.028 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.028 * [taylor]: Taking taylor expansion of x in x 7.029 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.029 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.029 * [taylor]: Taking taylor expansion of x in x 7.029 * [taylor]: Taking taylor expansion of 2 in x 7.045 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ -1 x))) in (x) around 0 7.045 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 x))) in x 7.045 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 7.045 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 7.045 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.045 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.045 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.045 * [taylor]: Taking taylor expansion of -1 in x 7.045 * [taylor]: Taking taylor expansion of x in x 7.045 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.045 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.045 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.045 * [taylor]: Taking taylor expansion of -1 in x 7.045 * [taylor]: Taking taylor expansion of x in x 7.046 * [taylor]: Taking taylor expansion of 2 in x 7.047 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 x))) in x 7.047 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 7.047 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 7.047 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.047 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.047 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.047 * [taylor]: Taking taylor expansion of -1 in x 7.047 * [taylor]: Taking taylor expansion of x in x 7.047 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.048 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.048 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.048 * [taylor]: Taking taylor expansion of -1 in x 7.048 * [taylor]: Taking taylor expansion of x in x 7.048 * [taylor]: Taking taylor expansion of 2 in x 7.068 * * * [progress]: simplifying candidates 7.072 * [simplify]: Simplifying using # : (- (log (sqrt (cosh x))) (- (log y) (log (sin y)))) (- (log (sqrt (cosh x))) (log (/ y (sin y)))) (log (/ (sqrt (cosh x)) (/ y (sin y)))) (exp (/ (sqrt (cosh x)) (/ y (sin y)))) (/ (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y)))) (/ (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y)))) (* (cbrt (/ (sqrt (cosh x)) (/ y (sin y)))) (cbrt (/ (sqrt (cosh x)) (/ y (sin y))))) (cbrt (/ (sqrt (cosh x)) (/ y (sin y)))) (* (* (/ (sqrt (cosh x)) (/ y (sin y))) (/ (sqrt (cosh x)) (/ y (sin y)))) (/ (sqrt (cosh x)) (/ y (sin y)))) (sqrt (/ (sqrt (cosh x)) (/ y (sin y)))) (sqrt (/ (sqrt (cosh x)) (/ y (sin y)))) (- (sqrt (cosh x))) (- (/ y (sin y))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cbrt (sqrt (cosh x))) (cbrt (/ y (sin y)))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (sqrt (/ y (sin y)))) (/ (cbrt (sqrt (cosh x))) (sqrt (/ y (sin y)))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt (sqrt (cosh x))) (/ (cbrt y) (cbrt (sin y)))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (cbrt (sqrt (cosh x))) (/ (cbrt y) (sqrt (sin y)))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (* (cbrt y) (cbrt y)) 1)) (/ (cbrt (sqrt (cosh x))) (/ (cbrt y) (sin y))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt (sqrt (cosh x))) (/ (sqrt y) (cbrt (sin y)))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (sqrt y) (sqrt (sin y)))) (/ (cbrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y)))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (sqrt y) 1)) (/ (cbrt (sqrt (cosh x))) (/ (sqrt y) (sin y))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt (sqrt (cosh x))) (/ y (cbrt (sin y)))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ 1 (sqrt (sin y)))) (/ (cbrt (sqrt (cosh x))) (/ y (sqrt (sin y)))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ 1 1)) (/ (cbrt (sqrt (cosh x))) (/ y (sin y))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) 1) (/ (cbrt (sqrt (cosh x))) (/ y (sin y))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) y) (/ (cbrt (sqrt (cosh x))) (/ 1 (sin y))) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt (cbrt (cosh x))) (cbrt (/ y (sin y)))) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (sqrt (/ y (sin y)))) (/ (sqrt (cbrt (cosh x))) (sqrt (/ y (sin y)))) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (cbrt (cosh x))) (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (sqrt (cbrt (cosh x))) (/ (cbrt y) (sqrt (sin y)))) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (/ (* (cbrt y) (cbrt y)) 1)) (/ (sqrt (cbrt (cosh x))) (/ (cbrt y) (sin y))) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (cbrt (cosh x))) (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (cbrt (cosh x))) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (/ (sqrt y) 1)) (/ (sqrt (cbrt (cosh x))) (/ (sqrt y) (sin y))) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (cbrt (cosh x))) (/ y (cbrt (sin y)))) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (/ 1 (sqrt (sin y)))) (/ (sqrt (cbrt (cosh x))) (/ y (sqrt (sin y)))) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (/ 1 1)) (/ (sqrt (cbrt (cosh x))) (/ y (sin y))) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) 1) (/ (sqrt (cbrt (cosh x))) (/ y (sin y))) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) y) (/ (sqrt (cbrt (cosh x))) (/ 1 (sin y))) (/ (sqrt (sqrt (cosh x))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt (sqrt (cosh x))) (cbrt (/ y (sin y)))) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y)))) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (sqrt (cosh x))) (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (cbrt y) (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) 1)) (/ (sqrt (sqrt (cosh x))) (/ (cbrt y) (sin y))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) 1)) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sin y))) (/ (sqrt (sqrt (cosh x))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (sqrt (cosh x))) (/ y (cbrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ 1 (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ y (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ 1 1)) (/ (sqrt (sqrt (cosh x))) (/ y (sin y))) (/ (sqrt (sqrt (cosh x))) 1) (/ (sqrt (sqrt (cosh x))) (/ y (sin y))) (/ (sqrt (sqrt (cosh x))) y) (/ (sqrt (sqrt (cosh x))) (/ 1 (sin y))) (/ (sqrt 1) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt (cosh x)) (cbrt (/ y (sin y)))) (/ (sqrt 1) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (cosh x)) (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ (cbrt y) (sqrt (sin y)))) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) 1)) (/ (sqrt (cosh x)) (/ (cbrt y) (sin y))) (/ (sqrt 1) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (cosh x)) (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt 1) (/ (sqrt y) 1)) (/ (sqrt (cosh x)) (/ (sqrt y) (sin y))) (/ (sqrt 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (cosh x)) (/ y (cbrt (sin y)))) (/ (sqrt 1) (/ 1 (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ y (sqrt (sin y)))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt (cosh x)) (/ y (sin y))) (/ (sqrt 1) 1) (/ (sqrt (cosh x)) (/ y (sin y))) (/ (sqrt 1) y) (/ (sqrt (cosh x)) (/ 1 (sin y))) (/ (sqrt (sqrt (cosh x))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt (sqrt (cosh x))) (cbrt (/ y (sin y)))) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y)))) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (sqrt (cosh x))) (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (cbrt y) (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) 1)) (/ (sqrt (sqrt (cosh x))) (/ (cbrt y) (sin y))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) 1)) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sin y))) (/ (sqrt (sqrt (cosh x))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (sqrt (cosh x))) (/ y (cbrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ 1 (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ y (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ 1 1)) (/ (sqrt (sqrt (cosh x))) (/ y (sin y))) (/ (sqrt (sqrt (cosh x))) 1) (/ (sqrt (sqrt (cosh x))) (/ y (sin y))) (/ (sqrt (sqrt (cosh x))) y) (/ (sqrt (sqrt (cosh x))) (/ 1 (sin y))) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt (cosh x)) (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (cosh x)) (/ (cbrt y) (cbrt (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ (cbrt y) (sqrt (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ (sqrt (cosh x)) (/ (cbrt y) (sin y))) (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (cosh x)) (/ (sqrt y) (cbrt (sin y)))) (/ 1 (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ 1 (/ (sqrt y) 1)) (/ (sqrt (cosh x)) (/ (sqrt y) (sin y))) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (cosh x)) (/ y (cbrt (sin y)))) (/ 1 (/ 1 (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ y (sqrt (sin y)))) (/ 1 (/ 1 1)) (/ (sqrt (cosh x)) (/ y (sin y))) (/ 1 1) (/ (sqrt (cosh x)) (/ y (sin y))) (/ 1 y) (/ (sqrt (cosh x)) (/ 1 (sin y))) (/ 1 (/ y (sin y))) (/ (/ y (sin y)) (sqrt (cosh x))) (/ (sqrt (cosh x)) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (cosh x)) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ (* (cbrt y) (cbrt y)) 1)) (/ (sqrt (cosh x)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) 1)) (/ (sqrt (cosh x)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (cosh x)) (/ 1 (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ 1 1)) (/ (sqrt (cosh x)) 1) (/ (sqrt (cosh x)) y) (/ (/ y (sin y)) (cbrt (sqrt (cosh x)))) (/ (/ y (sin y)) (sqrt (cbrt (cosh x)))) (/ (/ y (sin y)) (sqrt (sqrt (cosh x)))) (/ (/ y (sin y)) (sqrt (cosh x))) (/ (/ y (sin y)) (sqrt (sqrt (cosh x)))) (/ (/ y (sin y)) (sqrt (cosh x))) (/ (sqrt (cosh x)) y) (* (/ y (sin y)) (sqrt 2)) (- (log y) (log (sin y))) (log (/ y (sin y))) (exp (/ y (sin y))) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y))) (sqrt (/ y (sin y))) (sqrt (/ y (sin y))) (- y) (- (sin y)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))) (/ (cbrt y) (sqrt (sin y))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (sin y)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt y) (cbrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) 1) (/ (sqrt y) (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y))) (/ 1 1) (/ y (sin y)) (/ 1 (sin y)) (/ (sin y) y) (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) (/ y 1) (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (* (sqrt (cosh x)) (/ (sqrt (cosh x)) (/ y (sin y)))) (+ (log (sqrt (cosh x))) (- (log (sqrt (cosh x))) (- (log y) (log (sin y))))) (+ (log (sqrt (cosh x))) (- (log (sqrt (cosh x))) (log (/ y (sin y))))) (+ (log (sqrt (cosh x))) (log (/ (sqrt (cosh x)) (/ y (sin y))))) (log (* (sqrt (cosh x)) (/ (sqrt (cosh x)) (/ y (sin y))))) (exp (* (sqrt (cosh x)) (/ (sqrt (cosh x)) (/ y (sin y))))) (* (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (/ (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y))))) (* (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (/ (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y))))) (* (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (* (* (/ (sqrt (cosh x)) (/ y (sin y))) (/ (sqrt (cosh x)) (/ y (sin y)))) (/ (sqrt (cosh x)) (/ y (sin y))))) (* (cbrt (* (sqrt (cosh x)) (/ (sqrt (cosh x)) (/ y (sin y))))) (cbrt (* (sqrt (cosh x)) (/ (sqrt (cosh x)) (/ y (sin y)))))) (cbrt (* (sqrt (cosh x)) (/ (sqrt (cosh x)) (/ y (sin y))))) (* (* (* (sqrt (cosh x)) (/ (sqrt (cosh x)) (/ y (sin y)))) (* (sqrt (cosh x)) (/ (sqrt (cosh x)) (/ y (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (cosh x)) (/ y (sin y))))) (sqrt (* (sqrt (cosh x)) (/ (sqrt (cosh x)) (/ y (sin y))))) (sqrt (* (sqrt (cosh x)) (/ (sqrt (cosh x)) (/ y (sin y))))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (cosh x))) (* (sqrt 2) (/ y (sin y))) (* (sqrt (sqrt (cosh x))) (sqrt (/ (sqrt (cosh x)) (/ y (sin y))))) (* (sqrt (sqrt (cosh x))) (sqrt (/ (sqrt (cosh x)) (/ y (sin y))))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y))))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y))))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y))))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y))))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (sqrt (cosh x))) (sqrt (/ (sqrt (cosh x)) (/ y (sin y))))) (* (sqrt (sqrt (cosh x))) (sqrt (/ (sqrt (cosh x)) (/ y (sin y))))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y))))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y))))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y))))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y))))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (cosh x)) (* (cbrt (/ (sqrt (cosh x)) (/ y (sin y)))) (cbrt (/ (sqrt (cosh x)) (/ y (sin y)))))) (* (sqrt (cosh x)) (sqrt (/ (sqrt (cosh x)) (/ y (sin y))))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (* (cbrt y) (cbrt y)) 1))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (sqrt y) 1))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ 1 (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ 1 1))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) 1)) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) y)) (* (sqrt (cosh x)) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (/ (* (cbrt y) (cbrt y)) 1))) (* (sqrt (cosh x)) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (/ (sqrt y) 1))) (* (sqrt (cosh x)) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (/ 1 (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (/ 1 1))) (* (sqrt (cosh x)) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) 1)) (* (sqrt (cosh x)) (/ (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) y)) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) 1))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) 1))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ 1 (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ 1 1))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) 1)) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) y)) (* (sqrt (cosh x)) (/ (sqrt 1) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt 1) (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) 1))) (* (sqrt (cosh x)) (/ (sqrt 1) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (sqrt 1) (/ (sqrt y) 1))) (* (sqrt (cosh x)) (/ (sqrt 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt 1) (/ 1 (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (sqrt 1) (/ 1 1))) (* (sqrt (cosh x)) (/ (sqrt 1) 1)) (* (sqrt (cosh x)) (/ (sqrt 1) y)) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) 1))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) 1))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ 1 (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ 1 1))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) 1)) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) y)) (* (sqrt (cosh x)) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* (sqrt (cosh x)) (/ 1 (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ 1 (/ (* (cbrt y) (cbrt y)) 1))) (* (sqrt (cosh x)) (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ 1 (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ 1 (/ (sqrt y) 1))) (* (sqrt (cosh x)) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ 1 (/ 1 (sqrt (sin y))))) (* (sqrt (cosh x)) (/ 1 (/ 1 1))) (* (sqrt (cosh x)) (/ 1 1)) (* (sqrt (cosh x)) (/ 1 y)) (* (sqrt (cosh x)) 1) (* (sqrt (cosh x)) (sqrt (cosh x))) (* (sqrt (cosh x)) (/ (sqrt (cosh x)) y)) (* (cbrt (sqrt (cosh x))) (/ (sqrt (cosh x)) (/ y (sin y)))) (* (sqrt (cbrt (cosh x))) (/ (sqrt (cosh x)) (/ y (sin y)))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (cosh x)) (/ y (sin y)))) (* (sqrt (cosh x)) (/ (sqrt (cosh x)) (/ y (sin y)))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (cosh x)) (/ y (sin y)))) (* (sqrt (cosh x)) (/ (sqrt (cosh x)) (/ y (sin y)))) (* (sqrt (cosh x)) (sqrt (cosh x))) (* (sqrt (+ (exp x) (exp (- x)))) (/ (sqrt (cosh x)) (/ y (sin y)))) (log (sqrt (cosh x))) (exp (sqrt (cosh x))) (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (cbrt (sqrt (cosh x))) (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (sqrt (cbrt (cosh x))) (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) (sqrt 1) (sqrt (cosh x)) (sqrt (+ (exp x) (exp (- x)))) (sqrt 2) (/ 1 2) (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) (- (+ (* 1/4 (pow x 2)) 1) (* 1/6 (pow y 2))) (* (/ (* (sin y) (sqrt 1/2)) y) (sqrt (+ (exp x) (exp (- x))))) (* (/ (* (sin y) (sqrt 1/2)) y) (sqrt (+ (exp (* -1 x)) (exp x)))) (+ (* 1/6 (pow y 2)) (+ (* 7/360 (pow y 4)) 1)) (/ y (sin y)) (/ y (sin y)) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (sin y) (exp (- x))))) y) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) (- (+ (* 1/4 (pow x 2)) 1) (* 1/96 (pow x 4))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 1/2)) (* (sqrt 1/2) (sqrt (+ (exp (* -1 x)) (exp x)))) 7.085 * * [simplify]: iteration 0 : 348 enodes (cost 4583 ) 7.154 * * [simplify]: iteration 1 : 833 enodes (cost 4054 ) 7.395 * * [simplify]: iteration 2 : 3421 enodes (cost 3781 ) 8.437 * * [simplify]: iteration done : 5000 enodes (cost 3781 ) 8.439 * [simplify]: Simplified to: (log (/ (sqrt (cosh x)) (/ y (sin y)))) (log (/ (sqrt (cosh x)) (/ y (sin y)))) (log (/ (sqrt (cosh x)) (/ y (sin y)))) (exp (/ (sqrt (cosh x)) (/ y (sin y)))) (pow (/ (sqrt (cosh x)) (/ y (sin y))) 3) (pow (/ (sqrt (cosh x)) (/ y (sin y))) 3) (* (cbrt (/ (sqrt (cosh x)) (/ y (sin y)))) (cbrt (/ (sqrt (cosh x)) (/ y (sin y))))) (cbrt (/ (sqrt (cosh x)) (/ y (sin y)))) (pow (/ (sqrt (cosh x)) (/ y (sin y))) 3) (sqrt (/ (sqrt (cosh x)) (/ y (sin y)))) (sqrt (/ (sqrt (cosh x)) (/ y (sin y)))) (- (sqrt (cosh x))) (- (/ y (sin y))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cbrt (sqrt (cosh x))) (cbrt (/ y (sin y)))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (sqrt (/ y (sin y)))) (/ (cbrt (sqrt (cosh x))) (sqrt (/ y (sin y)))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt (sqrt (cosh x))) (/ (cbrt y) (cbrt (sin y)))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (cbrt (sqrt (cosh x))) (/ (cbrt y) (sqrt (sin y)))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (* (cbrt y) (cbrt y))) (/ (cbrt (sqrt (cosh x))) (/ (cbrt y) (sin y))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt (sqrt (cosh x))) (/ (sqrt y) (cbrt (sin y)))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (sqrt y) (sqrt (sin y)))) (/ (cbrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y)))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (sqrt y)) (/ (cbrt (sqrt (cosh x))) (/ (sqrt y) (sin y))) (* (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt (sqrt (cosh x))) (/ y (cbrt (sin y)))) (* (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (sqrt (sin y))) (/ (cbrt (sqrt (cosh x))) (/ y (sqrt (sin y)))) (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (cbrt (sqrt (cosh x))) (/ y (sin y))) (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (cbrt (sqrt (cosh x))) (/ y (sin y))) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) y) (* (sin y) (cbrt (sqrt (cosh x)))) (/ (fabs (cbrt (cosh x))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt (cbrt (cosh x))) (cbrt (/ y (sin y)))) (/ (fabs (cbrt (cosh x))) (sqrt (/ y (sin y)))) (/ (sqrt (cbrt (cosh x))) (sqrt (/ y (sin y)))) (/ (fabs (cbrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (cbrt (cosh x))) (/ (cbrt y) (cbrt (sin y)))) (/ (fabs (cbrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (sqrt (cbrt (cosh x))) (/ (cbrt y) (sqrt (sin y)))) (/ (fabs (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (/ (sqrt (cbrt (cosh x))) (/ (cbrt y) (sin y))) (/ (fabs (cbrt (cosh x))) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (cbrt (cosh x))) (/ (sqrt y) (cbrt (sin y)))) (* (/ (fabs (cbrt (cosh x))) (sqrt y)) (sqrt (sin y))) (/ (sqrt (cbrt (cosh x))) (/ (sqrt y) (sqrt (sin y)))) (/ (fabs (cbrt (cosh x))) (sqrt y)) (/ (sqrt (cbrt (cosh x))) (/ (sqrt y) (sin y))) (* (fabs (cbrt (cosh x))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt (cbrt (cosh x))) (/ y (cbrt (sin y)))) (* (fabs (cbrt (cosh x))) (sqrt (sin y))) (/ (sqrt (cbrt (cosh x))) (/ y (sqrt (sin y)))) (fabs (cbrt (cosh x))) (/ (sqrt (cbrt (cosh x))) (/ y (sin y))) (fabs (cbrt (cosh x))) (/ (sqrt (cbrt (cosh x))) (/ y (sin y))) (/ (fabs (cbrt (cosh x))) y) (* (sin y) (sqrt (cbrt (cosh x)))) (/ (sqrt (sqrt (cosh x))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt (sqrt (cosh x))) (cbrt (/ y (sin y)))) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y)))) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (sqrt (cosh x))) (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (cbrt y) (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (* (cbrt y) (cbrt y))) (/ (sqrt (sqrt (cosh x))) (/ (cbrt y) (sin y))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (sqrt y)) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sin y))) (* (sqrt (sqrt (cosh x))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ y (cbrt (sin y)))) (* (sqrt (sqrt (cosh x))) (sqrt (sin y))) (/ (sqrt (sqrt (cosh x))) (/ y (sqrt (sin y)))) (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (/ y (sin y))) (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (/ y (sin y))) (/ (sqrt (sqrt (cosh x))) y) (* (sqrt (sqrt (cosh x))) (sin y)) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt (cosh x)) (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (sqrt (cosh x)) (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (cosh x)) (/ (cbrt y) (sqrt (sin y)))) (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt (cosh x)) (/ (cbrt y) (sin y))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (sqrt (cosh x)) (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (sqrt y)) (* (/ (sqrt (sin y)) (sqrt y)) (sqrt (cosh x))) (/ 1 (sqrt y)) (/ (sqrt (cosh x)) (/ (sqrt y) (sin y))) (* (cbrt (sin y)) (cbrt (sin y))) (/ (sqrt (cosh x)) (/ y (cbrt (sin y)))) (sqrt (sin y)) (/ (sqrt (cosh x)) (/ y (sqrt (sin y)))) 1 (/ (sqrt (cosh x)) (/ y (sin y))) 1 (/ (sqrt (cosh x)) (/ y (sin y))) (/ 1 y) (* (sin y) (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt (sqrt (cosh x))) (cbrt (/ y (sin y)))) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y)))) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (sqrt (cosh x))) (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (cbrt y) (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (* (cbrt y) (cbrt y))) (/ (sqrt (sqrt (cosh x))) (/ (cbrt y) (sin y))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (sqrt y)) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sin y))) (* (sqrt (sqrt (cosh x))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt (sqrt (cosh x))) (/ y (cbrt (sin y)))) (* (sqrt (sqrt (cosh x))) (sqrt (sin y))) (/ (sqrt (sqrt (cosh x))) (/ y (sqrt (sin y)))) (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (/ y (sin y))) (sqrt (sqrt (cosh x))) (/ (sqrt (sqrt (cosh x))) (/ y (sin y))) (/ (sqrt (sqrt (cosh x))) y) (* (sqrt (sqrt (cosh x))) (sin y)) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt (cosh x)) (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (sqrt (cosh x)) (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (cosh x)) (/ (cbrt y) (sqrt (sin y)))) (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt (cosh x)) (/ (cbrt y) (sin y))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (sqrt (cosh x)) (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (sqrt y)) (* (/ (sqrt (sin y)) (sqrt y)) (sqrt (cosh x))) (/ 1 (sqrt y)) (/ (sqrt (cosh x)) (/ (sqrt y) (sin y))) (* (cbrt (sin y)) (cbrt (sin y))) (/ (sqrt (cosh x)) (/ y (cbrt (sin y)))) (sqrt (sin y)) (/ (sqrt (cosh x)) (/ y (sqrt (sin y)))) 1 (/ (sqrt (cosh x)) (/ y (sin y))) 1 (/ (sqrt (cosh x)) (/ y (sin y))) (/ 1 y) (* (sin y) (sqrt (cosh x))) (/ 1 (/ y (sin y))) (/ (/ y (sin y)) (sqrt (cosh x))) (/ (sqrt (cosh x)) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (* (* (cbrt (sin y)) (cbrt (sin y))) (sqrt (cosh x))) (* (cbrt y) (cbrt y))) (* (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (/ (sqrt (cosh x)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (* (/ (sqrt (sin y)) (sqrt y)) (sqrt (cosh x))) (/ (sqrt (cosh x)) (sqrt y)) (* (sqrt (cosh x)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (sqrt (cosh x)) (sqrt (sin y))) (sqrt (cosh x)) (sqrt (cosh x)) (/ (sqrt (cosh x)) y) (/ (/ y (sin y)) (cbrt (sqrt (cosh x)))) (/ (/ y (sin y)) (sqrt (cbrt (cosh x)))) (/ (/ y (sin y)) (sqrt (sqrt (cosh x)))) (/ (/ y (sin y)) (sqrt (cosh x))) (/ (/ y (sin y)) (sqrt (sqrt (cosh x)))) (/ (/ y (sin y)) (sqrt (cosh x))) (/ (sqrt (cosh x)) y) (* (/ y (sin y)) (sqrt 2)) (log (/ y (sin y))) (log (/ y (sin y))) (exp (/ y (sin y))) (pow (/ y (sin y)) 3) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))) (pow (/ y (sin y)) 3) (sqrt (/ y (sin y))) (sqrt (/ y (sin y))) (- y) (- (sin y)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))) (/ (cbrt y) (sqrt (sin y))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sin y)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt y) (cbrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (sqrt y) (/ (sqrt y) (sin y)) (/ (/ 1 (cbrt (sin y))) (cbrt (sin y))) (/ y (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y))) 1 (/ y (sin y)) (/ 1 (sin y)) (/ (sin y) y) (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) y (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (/ (cosh x) (/ y (sin y))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (exp (/ (cosh x) (/ y (sin y)))) (pow (/ (cosh x) (/ y (sin y))) 3) (pow (/ (cosh x) (/ y (sin y))) 3) (pow (/ (cosh x) (/ y (sin y))) 3) (* (cbrt (/ (cosh x) (/ y (sin y)))) (cbrt (/ (cosh x) (/ y (sin y))))) (cbrt (/ (cosh x) (/ y (sin y)))) (pow (/ (cosh x) (/ y (sin y))) 3) (sqrt (/ (cosh x) (/ y (sin y)))) (sqrt (/ (cosh x) (/ y (sin y)))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (cosh x))) (* (/ y (sin y)) (sqrt 2)) (* (sqrt (sqrt (cosh x))) (sqrt (/ (sqrt (cosh x)) (/ y (sin y))))) (* (sqrt (sqrt (cosh x))) (sqrt (/ (sqrt (cosh x)) (/ y (sin y))))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (* (/ (sqrt (sin y)) (sqrt y)) (sqrt (cosh x))) (* (/ (sqrt (sin y)) (sqrt y)) (sqrt (cosh x))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (* (/ (sqrt (sin y)) (sqrt y)) (sqrt (cosh x))) (* (/ (sqrt (sin y)) (sqrt y)) (sqrt (cosh x))) (* (sqrt (sqrt (cosh x))) (sqrt (/ (sqrt (cosh x)) (/ y (sin y))))) (* (sqrt (sqrt (cosh x))) (sqrt (/ (sqrt (cosh x)) (/ y (sin y))))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (* (/ (sqrt (sin y)) (sqrt y)) (sqrt (cosh x))) (* (/ (sqrt (sin y)) (sqrt y)) (sqrt (cosh x))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (* (/ (sqrt (sin y)) (sqrt y)) (sqrt (cosh x))) (* (/ (sqrt (sin y)) (sqrt y)) (sqrt (cosh x))) (* (sqrt (cosh x)) (* (cbrt (/ (sqrt (cosh x)) (/ y (sin y)))) (cbrt (/ (sqrt (cosh x)) (/ y (sin y)))))) (* (sqrt (cosh x)) (sqrt (/ (sqrt (cosh x)) (/ y (sin y))))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (* (cbrt y) (cbrt y)))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (sqrt y))) (* (sqrt (cosh x)) (* (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (* (cbrt (sin y)) (cbrt (sin y))))) (* (sqrt (cosh x)) (* (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (sqrt (sin y)))) (* (sqrt (cosh x)) (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x))))) (* (sqrt (cosh x)) (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x))))) (* (sqrt (cosh x)) (/ (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) y)) (/ (* (sqrt (cosh x)) (fabs (cbrt (cosh x)))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (* (sqrt (cosh x)) (fabs (cbrt (cosh x)))) (sqrt (/ y (sin y)))) (* (sqrt (cosh x)) (/ (fabs (cbrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (/ (* (sqrt (cosh x)) (fabs (cbrt (cosh x)))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (* (sqrt (cosh x)) (/ (fabs (cbrt (cosh x))) (* (cbrt y) (cbrt y)))) (/ (* (sqrt (cosh x)) (fabs (cbrt (cosh x)))) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (* (sqrt (cosh x)) (fabs (cbrt (cosh x)))) (/ (sqrt y) (sqrt (sin y)))) (* (/ (fabs (cbrt (cosh x))) (sqrt y)) (sqrt (cosh x))) (* (* (fabs (cbrt (cosh x))) (* (cbrt (sin y)) (cbrt (sin y)))) (sqrt (cosh x))) (* (* (fabs (cbrt (cosh x))) (sqrt (sin y))) (sqrt (cosh x))) (* (sqrt (cosh x)) (fabs (cbrt (cosh x)))) (* (sqrt (cosh x)) (fabs (cbrt (cosh x)))) (/ (* (sqrt (cosh x)) (fabs (cbrt (cosh x)))) y) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (/ (* (sqrt (cosh x)) (sqrt (sqrt (cosh x)))) (* (cbrt y) (cbrt y))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y))))) (/ (* (sqrt (cosh x)) (sqrt (sqrt (cosh x)))) (sqrt y)) (* (* (sqrt (sqrt (cosh x))) (* (cbrt (sin y)) (cbrt (sin y)))) (sqrt (cosh x))) (* (* (sqrt (sqrt (cosh x))) (sqrt (sin y))) (sqrt (cosh x))) (* (sqrt (cosh x)) (sqrt (sqrt (cosh x)))) (* (sqrt (cosh x)) (sqrt (sqrt (cosh x)))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) y)) (/ (sqrt (cosh x)) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (* (* (cbrt (sin y)) (cbrt (sin y))) (sqrt (cosh x))) (* (cbrt y) (cbrt y))) (* (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (/ (sqrt (cosh x)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (* (/ (sqrt (sin y)) (sqrt y)) (sqrt (cosh x))) (/ (sqrt (cosh x)) (sqrt y)) (* (sqrt (cosh x)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (sqrt (cosh x)) (sqrt (sin y))) (sqrt (cosh x)) (sqrt (cosh x)) (/ (sqrt (cosh x)) y) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (/ (* (sqrt (cosh x)) (sqrt (sqrt (cosh x)))) (* (cbrt y) (cbrt y))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) (/ (sqrt y) (sqrt (sin y))))) (/ (* (sqrt (cosh x)) (sqrt (sqrt (cosh x)))) (sqrt y)) (* (* (sqrt (sqrt (cosh x))) (* (cbrt (sin y)) (cbrt (sin y)))) (sqrt (cosh x))) (* (* (sqrt (sqrt (cosh x))) (sqrt (sin y))) (sqrt (cosh x))) (* (sqrt (cosh x)) (sqrt (sqrt (cosh x)))) (* (sqrt (cosh x)) (sqrt (sqrt (cosh x)))) (* (sqrt (cosh x)) (/ (sqrt (sqrt (cosh x))) y)) (/ (sqrt (cosh x)) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (* (* (cbrt (sin y)) (cbrt (sin y))) (sqrt (cosh x))) (* (cbrt y) (cbrt y))) (* (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (/ (sqrt (cosh x)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (* (/ (sqrt (sin y)) (sqrt y)) (sqrt (cosh x))) (/ (sqrt (cosh x)) (sqrt y)) (* (sqrt (cosh x)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (sqrt (cosh x)) (sqrt (sin y))) (sqrt (cosh x)) (sqrt (cosh x)) (/ (sqrt (cosh x)) y) (sqrt (cosh x)) (cosh x) (/ (cosh x) y) (* (cbrt (sqrt (cosh x))) (/ (sqrt (cosh x)) (/ y (sin y)))) (* (sqrt (cbrt (cosh x))) (/ (sqrt (cosh x)) (/ y (sin y)))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (cosh x)) (/ y (sin y)))) (/ (cosh x) (/ y (sin y))) (* (sqrt (sqrt (cosh x))) (/ (sqrt (cosh x)) (/ y (sin y)))) (/ (cosh x) (/ y (sin y))) (cosh x) (* (sqrt (+ (exp x) (exp (- x)))) (/ (sqrt (cosh x)) (/ y (sin y)))) (log (sqrt (cosh x))) (exp (sqrt (cosh x))) (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (cbrt (sqrt (cosh x))) (pow (sqrt (cosh x)) 3) (fabs (cbrt (cosh x))) (sqrt (cbrt (cosh x))) (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) 1 (sqrt (cosh x)) (sqrt (+ (exp x) (exp (- x)))) (sqrt 2) 1/2 (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) (- (+ (* 1/4 (pow x 2)) 1) (* 1/6 (pow y 2))) (* (/ (* (sin y) (sqrt 1/2)) y) (sqrt (+ (exp x) (exp (- x))))) (* (/ (* (sin y) (sqrt 1/2)) y) (sqrt (+ (exp x) (exp (- x))))) (+ (* 1/6 (pow y 2)) (+ (* 7/360 (pow y 4)) 1)) (/ y (sin y)) (/ y (sin y)) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (* 1/2 (* (sin y) (+ (exp x) (exp (- x))))) y) (/ (* 1/2 (* (sin y) (+ (exp x) (exp (- x))))) y) (- (+ (* 1/4 (pow x 2)) 1) (* 1/96 (pow x 4))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 1/2)) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 1/2)) 8.441 * * * [progress]: adding candidates to table 9.082 * * [progress]: iteration 4 / 4 9.082 * * * [progress]: picking best candidate 9.099 * * * * [pick]: Picked # 9.099 * * * [progress]: localizing error 9.108 * * * [progress]: generating rewritten candidates 9.108 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 9.119 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 9.121 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 9.218 * * * [progress]: generating series expansions 9.218 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 9.218 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 9.218 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 9.218 * [taylor]: Taking taylor expansion of (sin y) in y 9.218 * [taylor]: Taking taylor expansion of y in y 9.218 * [taylor]: Taking taylor expansion of y in y 9.219 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 9.219 * [taylor]: Taking taylor expansion of (sin y) in y 9.219 * [taylor]: Taking taylor expansion of y in y 9.219 * [taylor]: Taking taylor expansion of y in y 9.227 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 9.227 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 9.227 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.227 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.227 * [taylor]: Taking taylor expansion of y in y 9.227 * [taylor]: Taking taylor expansion of y in y 9.227 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 9.227 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.227 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.227 * [taylor]: Taking taylor expansion of y in y 9.228 * [taylor]: Taking taylor expansion of y in y 9.232 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 9.232 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 9.232 * [taylor]: Taking taylor expansion of -1 in y 9.232 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 9.232 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.232 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.232 * [taylor]: Taking taylor expansion of -1 in y 9.232 * [taylor]: Taking taylor expansion of y in y 9.232 * [taylor]: Taking taylor expansion of y in y 9.232 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 9.232 * [taylor]: Taking taylor expansion of -1 in y 9.232 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 9.232 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.232 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.232 * [taylor]: Taking taylor expansion of -1 in y 9.232 * [taylor]: Taking taylor expansion of y in y 9.233 * [taylor]: Taking taylor expansion of y in y 9.245 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 9.245 * [approximate]: Taking taylor expansion of (/ 1 (sin y)) in (y) around 0 9.245 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 9.245 * [taylor]: Taking taylor expansion of (sin y) in y 9.245 * [taylor]: Taking taylor expansion of y in y 9.246 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 9.246 * [taylor]: Taking taylor expansion of (sin y) in y 9.246 * [taylor]: Taking taylor expansion of y in y 9.253 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in (y) around 0 9.253 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 9.253 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.253 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.253 * [taylor]: Taking taylor expansion of y in y 9.253 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 9.253 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.253 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.253 * [taylor]: Taking taylor expansion of y in y 9.255 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in (y) around 0 9.255 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 9.255 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.255 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.255 * [taylor]: Taking taylor expansion of -1 in y 9.255 * [taylor]: Taking taylor expansion of y in y 9.256 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 9.256 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.256 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.256 * [taylor]: Taking taylor expansion of -1 in y 9.256 * [taylor]: Taking taylor expansion of y in y 9.257 * * * * [progress]: [ 3 / 3 ] generating series at (2) 9.258 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 9.258 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 9.258 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 9.258 * [taylor]: Taking taylor expansion of (sin y) in y 9.258 * [taylor]: Taking taylor expansion of y in y 9.258 * [taylor]: Taking taylor expansion of (cosh x) in y 9.258 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 9.258 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 9.258 * [taylor]: Taking taylor expansion of (exp x) in y 9.258 * [taylor]: Taking taylor expansion of x in y 9.258 * [taylor]: Taking taylor expansion of (exp (- x)) in y 9.258 * [taylor]: Taking taylor expansion of (- x) in y 9.258 * [taylor]: Taking taylor expansion of x in y 9.258 * [taylor]: Taking taylor expansion of 2 in y 9.258 * [taylor]: Taking taylor expansion of y in y 9.261 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 9.261 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 9.261 * [taylor]: Taking taylor expansion of (sin y) in x 9.261 * [taylor]: Taking taylor expansion of y in x 9.261 * [taylor]: Taking taylor expansion of (cosh x) in x 9.261 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 9.261 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.261 * [taylor]: Taking taylor expansion of (exp x) in x 9.261 * [taylor]: Taking taylor expansion of x in x 9.261 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.261 * [taylor]: Taking taylor expansion of (- x) in x 9.261 * [taylor]: Taking taylor expansion of x in x 9.262 * [taylor]: Taking taylor expansion of 2 in x 9.262 * [taylor]: Taking taylor expansion of y in x 9.262 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 9.262 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 9.262 * [taylor]: Taking taylor expansion of (sin y) in x 9.263 * [taylor]: Taking taylor expansion of y in x 9.263 * [taylor]: Taking taylor expansion of (cosh x) in x 9.263 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 9.263 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.263 * [taylor]: Taking taylor expansion of (exp x) in x 9.263 * [taylor]: Taking taylor expansion of x in x 9.263 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.263 * [taylor]: Taking taylor expansion of (- x) in x 9.263 * [taylor]: Taking taylor expansion of x in x 9.263 * [taylor]: Taking taylor expansion of 2 in x 9.264 * [taylor]: Taking taylor expansion of y in x 9.264 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 9.264 * [taylor]: Taking taylor expansion of (sin y) in y 9.264 * [taylor]: Taking taylor expansion of y in y 9.264 * [taylor]: Taking taylor expansion of y in y 9.269 * [taylor]: Taking taylor expansion of 0 in y 9.275 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 9.275 * [taylor]: Taking taylor expansion of 1/2 in y 9.275 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 9.275 * [taylor]: Taking taylor expansion of (sin y) in y 9.275 * [taylor]: Taking taylor expansion of y in y 9.275 * [taylor]: Taking taylor expansion of y in y 9.278 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 9.278 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 9.278 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 9.278 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 9.278 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 9.278 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.278 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.278 * [taylor]: Taking taylor expansion of x in y 9.278 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 9.278 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 9.278 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.278 * [taylor]: Taking taylor expansion of x in y 9.278 * [taylor]: Taking taylor expansion of 2 in y 9.279 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 9.279 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.279 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.279 * [taylor]: Taking taylor expansion of y in y 9.279 * [taylor]: Taking taylor expansion of y in y 9.279 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 9.279 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 9.279 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 9.279 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.279 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.279 * [taylor]: Taking taylor expansion of x in x 9.280 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.280 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.280 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.280 * [taylor]: Taking taylor expansion of x in x 9.280 * [taylor]: Taking taylor expansion of 2 in x 9.280 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 9.280 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 9.280 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.280 * [taylor]: Taking taylor expansion of y in x 9.281 * [taylor]: Taking taylor expansion of y in x 9.281 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 9.281 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 9.281 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 9.281 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.281 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.281 * [taylor]: Taking taylor expansion of x in x 9.281 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.281 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.281 * [taylor]: Taking taylor expansion of x in x 9.282 * [taylor]: Taking taylor expansion of 2 in x 9.282 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 9.282 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 9.282 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.282 * [taylor]: Taking taylor expansion of y in x 9.282 * [taylor]: Taking taylor expansion of y in x 9.282 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 9.282 * [taylor]: Taking taylor expansion of 1/2 in y 9.282 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 9.283 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.283 * [taylor]: Taking taylor expansion of y in y 9.283 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 9.283 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 9.283 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.283 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.283 * [taylor]: Taking taylor expansion of x in y 9.283 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 9.283 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 9.283 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.283 * [taylor]: Taking taylor expansion of x in y 9.283 * [taylor]: Taking taylor expansion of y in y 9.287 * [taylor]: Taking taylor expansion of 0 in y 9.299 * [taylor]: Taking taylor expansion of 0 in y 9.308 * [taylor]: Taking taylor expansion of 0 in y 9.308 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 9.308 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 9.308 * [taylor]: Taking taylor expansion of -1 in y 9.308 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 9.308 * [taylor]: Taking taylor expansion of y in y 9.308 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 9.308 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.308 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.308 * [taylor]: Taking taylor expansion of -1 in y 9.308 * [taylor]: Taking taylor expansion of y in y 9.309 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 9.309 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 9.309 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 9.309 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 9.309 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.309 * [taylor]: Taking taylor expansion of -1 in y 9.309 * [taylor]: Taking taylor expansion of x in y 9.309 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 9.309 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 9.309 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.309 * [taylor]: Taking taylor expansion of -1 in y 9.309 * [taylor]: Taking taylor expansion of x in y 9.309 * [taylor]: Taking taylor expansion of 2 in y 9.309 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 9.309 * [taylor]: Taking taylor expansion of -1 in x 9.309 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 9.310 * [taylor]: Taking taylor expansion of y in x 9.310 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 9.310 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 9.310 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.310 * [taylor]: Taking taylor expansion of -1 in x 9.310 * [taylor]: Taking taylor expansion of y in x 9.310 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 9.310 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 9.310 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 9.310 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.310 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.310 * [taylor]: Taking taylor expansion of -1 in x 9.310 * [taylor]: Taking taylor expansion of x in x 9.310 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 9.310 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 9.310 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.310 * [taylor]: Taking taylor expansion of -1 in x 9.310 * [taylor]: Taking taylor expansion of x in x 9.311 * [taylor]: Taking taylor expansion of 2 in x 9.311 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 9.311 * [taylor]: Taking taylor expansion of -1 in x 9.311 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 9.311 * [taylor]: Taking taylor expansion of y in x 9.311 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 9.311 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 9.311 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.311 * [taylor]: Taking taylor expansion of -1 in x 9.311 * [taylor]: Taking taylor expansion of y in x 9.311 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 9.311 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 9.311 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 9.311 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.311 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.311 * [taylor]: Taking taylor expansion of -1 in x 9.311 * [taylor]: Taking taylor expansion of x in x 9.312 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 9.312 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 9.312 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.312 * [taylor]: Taking taylor expansion of -1 in x 9.312 * [taylor]: Taking taylor expansion of x in x 9.312 * [taylor]: Taking taylor expansion of 2 in x 9.313 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 9.313 * [taylor]: Taking taylor expansion of -1/2 in y 9.313 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 9.313 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.313 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.313 * [taylor]: Taking taylor expansion of -1 in y 9.313 * [taylor]: Taking taylor expansion of y in y 9.313 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 9.313 * [taylor]: Taking taylor expansion of y in y 9.313 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 9.313 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.313 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.313 * [taylor]: Taking taylor expansion of x in y 9.314 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 9.314 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.314 * [taylor]: Taking taylor expansion of -1 in y 9.314 * [taylor]: Taking taylor expansion of x in y 9.317 * [taylor]: Taking taylor expansion of 0 in y 9.325 * [taylor]: Taking taylor expansion of 0 in y 9.335 * [taylor]: Taking taylor expansion of 0 in y 9.335 * * * [progress]: simplifying candidates 9.342 * [simplify]: Simplifying using # : (- (- (log y)) (- (log (sin y)))) (- (- (log y)) (- 0 (log (sin y)))) (- (- (log y)) (- (log 1) (log (sin y)))) (- (- (log y)) (log (/ 1 (sin y)))) (- (- 0 (log y)) (- (log (sin y)))) (- (- 0 (log y)) (- 0 (log (sin y)))) (- (- 0 (log y)) (- (log 1) (log (sin y)))) (- (- 0 (log y)) (log (/ 1 (sin y)))) (- (- (log 1) (log y)) (- (log (sin y)))) (- (- (log 1) (log y)) (- 0 (log (sin y)))) (- (- (log 1) (log y)) (- (log 1) (log (sin y)))) (- (- (log 1) (log y)) (log (/ 1 (sin y)))) (- (log (/ 1 y)) (- (log (sin y)))) (- (log (/ 1 y)) (- 0 (log (sin y)))) (- (log (/ 1 y)) (- (log 1) (log (sin y)))) (- (log (/ 1 y)) (log (/ 1 (sin y)))) (log (/ (/ 1 y) (/ 1 (sin y)))) (exp (/ (/ 1 y) (/ 1 (sin y)))) (/ (/ (* (* 1 1) 1) (* (* y y) y)) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y)))) (/ (/ (* (* 1 1) 1) (* (* y y) y)) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y)))) (/ (* (* (/ 1 y) (/ 1 y)) (/ 1 y)) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y)))) (/ (* (* (/ 1 y) (/ 1 y)) (/ 1 y)) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y)))) (* (cbrt (/ (/ 1 y) (/ 1 (sin y)))) (cbrt (/ (/ 1 y) (/ 1 (sin y))))) (cbrt (/ (/ 1 y) (/ 1 (sin y)))) (* (* (/ (/ 1 y) (/ 1 (sin y))) (/ (/ 1 y) (/ 1 (sin y)))) (/ (/ 1 y) (/ 1 (sin y)))) (sqrt (/ (/ 1 y) (/ 1 (sin y)))) (sqrt (/ (/ 1 y) (/ 1 (sin y)))) (- (/ 1 y)) (- (/ 1 (sin y))) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (cbrt (/ 1 y)) (cbrt (/ 1 (sin y)))) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (/ 1 (sin y)))) (/ (cbrt (/ 1 y)) (sqrt (/ 1 (sin y)))) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt (/ 1 y)) (/ (cbrt 1) (cbrt (sin y)))) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (cbrt (/ 1 y)) (/ (cbrt 1) (sqrt (sin y)))) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (cbrt (/ 1 y)) (/ (cbrt 1) (sin y))) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt (/ 1 y)) (/ (sqrt 1) (cbrt (sin y)))) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (sqrt 1) (sqrt (sin y)))) (/ (cbrt (/ 1 y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (sqrt 1) 1)) (/ (cbrt (/ 1 y)) (/ (sqrt 1) (sin y))) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt (/ 1 y)) (/ 1 (cbrt (sin y)))) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ 1 (sqrt (sin y)))) (/ (cbrt (/ 1 y)) (/ 1 (sqrt (sin y)))) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ 1 1)) (/ (cbrt (/ 1 y)) (/ 1 (sin y))) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) 1) (/ (cbrt (/ 1 y)) (/ 1 (sin y))) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) 1) (/ (cbrt (/ 1 y)) (/ 1 (sin y))) (/ (sqrt (/ 1 y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (sqrt (/ 1 y)) (cbrt (/ 1 (sin y)))) (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y)))) (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y)))) (/ (sqrt (/ 1 y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (/ 1 y)) (/ (cbrt 1) (cbrt (sin y)))) (/ (sqrt (/ 1 y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (sqrt (/ 1 y)) (/ (cbrt 1) (sqrt (sin y)))) (/ (sqrt (/ 1 y)) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (sqrt (/ 1 y)) (/ (cbrt 1) (sin y))) (/ (sqrt (/ 1 y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (/ 1 y)) (/ (sqrt 1) (cbrt (sin y)))) (/ (sqrt (/ 1 y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (sqrt (/ 1 y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (sqrt (/ 1 y)) (/ (sqrt 1) 1)) (/ (sqrt (/ 1 y)) (/ (sqrt 1) (sin y))) (/ (sqrt (/ 1 y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (/ 1 y)) (/ 1 (cbrt (sin y)))) (/ (sqrt (/ 1 y)) (/ 1 (sqrt (sin y)))) (/ (sqrt (/ 1 y)) (/ 1 (sqrt (sin y)))) (/ (sqrt (/ 1 y)) (/ 1 1)) (/ (sqrt (/ 1 y)) (/ 1 (sin y))) (/ (sqrt (/ 1 y)) 1) (/ (sqrt (/ 1 y)) (/ 1 (sin y))) (/ (sqrt (/ 1 y)) 1) (/ (sqrt (/ 1 y)) (/ 1 (sin y))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cbrt 1) (cbrt y)) (cbrt (/ 1 (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (/ (/ (cbrt 1) (cbrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt 1) (cbrt y)) (/ (cbrt 1) (cbrt (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (cbrt 1) (cbrt y)) (/ (cbrt 1) (sqrt (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cbrt 1) (cbrt y)) (/ (cbrt 1) (sin y))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt 1) (cbrt y)) (/ (sqrt 1) (cbrt (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (cbrt 1) (cbrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (sqrt 1) 1)) (/ (/ (cbrt 1) (cbrt y)) (/ (sqrt 1) (sin y))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt 1) (cbrt y)) (/ 1 (cbrt (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ 1 (sqrt (sin y)))) (/ (/ (cbrt 1) (cbrt y)) (/ 1 (sqrt (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ 1 1)) (/ (/ (cbrt 1) (cbrt y)) (/ 1 (sin y))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) 1) (/ (/ (cbrt 1) (cbrt y)) (/ 1 (sin y))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) 1) (/ (/ (cbrt 1) (cbrt y)) (/ 1 (sin y))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cbrt 1) (sqrt y)) (cbrt (/ 1 (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (cbrt 1) (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt 1) (sqrt y)) (/ (cbrt 1) (cbrt (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (cbrt 1) (sqrt y)) (/ (cbrt 1) (sqrt (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cbrt 1) (sqrt y)) (/ (cbrt 1) (sin y))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt 1) (sqrt y)) (/ (sqrt 1) (cbrt (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (cbrt 1) (sqrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (sqrt 1) 1)) (/ (/ (cbrt 1) (sqrt y)) (/ (sqrt 1) (sin y))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt 1) (sqrt y)) (/ 1 (cbrt (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ 1 (sqrt (sin y)))) (/ (/ (cbrt 1) (sqrt y)) (/ 1 (sqrt (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ 1 1)) (/ (/ (cbrt 1) (sqrt y)) (/ 1 (sin y))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) 1) (/ (/ (cbrt 1) (sqrt y)) (/ 1 (sin y))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) 1) (/ (/ (cbrt 1) (sqrt y)) (/ 1 (sin y))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cbrt 1) y) (cbrt (/ 1 (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (sqrt (/ 1 (sin y)))) (/ (/ (cbrt 1) y) (sqrt (/ 1 (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt 1) y) (/ (cbrt 1) (cbrt (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (cbrt 1) y) (/ (cbrt 1) (sqrt (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cbrt 1) y) (/ (cbrt 1) (sin y))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt 1) y) (/ (sqrt 1) (cbrt (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (cbrt 1) y) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) 1)) (/ (/ (cbrt 1) y) (/ (sqrt 1) (sin y))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt 1) y) (/ 1 (cbrt (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (sqrt (sin y)))) (/ (/ (cbrt 1) y) (/ 1 (sqrt (sin y)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 1)) (/ (/ (cbrt 1) y) (/ 1 (sin y))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1) (/ (/ (cbrt 1) y) (/ 1 (sin y))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1) (/ (/ (cbrt 1) y) (/ 1 (sin y))) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (sqrt 1) (cbrt y)) (cbrt (/ 1 (sin y)))) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt 1) (cbrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt 1) (cbrt y)) (/ (cbrt 1) (cbrt (sin y)))) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (sqrt 1) (cbrt y)) (/ (cbrt 1) (sqrt (sin y)))) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (sqrt 1) (cbrt y)) (/ (cbrt 1) (sin y))) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt 1) (cbrt y)) (/ (sqrt 1) (cbrt (sin y)))) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (sqrt 1) (cbrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (sqrt 1) 1)) (/ (/ (sqrt 1) (cbrt y)) (/ (sqrt 1) (sin y))) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt 1) (cbrt y)) (/ 1 (cbrt (sin y)))) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ 1 (sqrt (sin y)))) (/ (/ (sqrt 1) (cbrt y)) (/ 1 (sqrt (sin y)))) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ 1 1)) (/ (/ (sqrt 1) (cbrt y)) (/ 1 (sin y))) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) 1) (/ (/ (sqrt 1) (cbrt y)) (/ 1 (sin y))) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) 1) (/ (/ (sqrt 1) (cbrt y)) (/ 1 (sin y))) (/ (/ (sqrt 1) (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (sqrt 1) (sqrt y)) (cbrt (/ 1 (sin y)))) (/ (/ (sqrt 1) (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt 1) (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt 1) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt 1) (sqrt y)) (/ (cbrt 1) (cbrt (sin y)))) (/ (/ (sqrt 1) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (sqrt 1) (sqrt y)) (/ (cbrt 1) (sqrt (sin y)))) (/ (/ (sqrt 1) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (sqrt 1) (sqrt y)) (/ (cbrt 1) (sin y))) (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (cbrt (sin y)))) (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) 1)) (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (sin y))) (/ (/ (sqrt 1) (sqrt y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt 1) (sqrt y)) (/ 1 (cbrt (sin y)))) (/ (/ (sqrt 1) (sqrt y)) (/ 1 (sqrt (sin y)))) (/ (/ (sqrt 1) (sqrt y)) (/ 1 (sqrt (sin y)))) (/ (/ (sqrt 1) (sqrt y)) (/ 1 1)) (/ (/ (sqrt 1) (sqrt y)) (/ 1 (sin y))) (/ (/ (sqrt 1) (sqrt y)) 1) (/ (/ (sqrt 1) (sqrt y)) (/ 1 (sin y))) (/ (/ (sqrt 1) (sqrt y)) 1) (/ (/ (sqrt 1) (sqrt y)) (/ 1 (sin y))) (/ (/ (sqrt 1) 1) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (sqrt 1) y) (cbrt (/ 1 (sin y)))) (/ (/ (sqrt 1) 1) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt 1) y) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt 1) y) (/ (cbrt 1) (cbrt (sin y)))) (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (sqrt 1) y) (/ (cbrt 1) (sqrt (sin y)))) (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (sqrt 1) y) (/ (cbrt 1) (sin y))) (/ (/ (sqrt 1) 1) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt 1) y) (/ (sqrt 1) (cbrt (sin y)))) (/ (/ (sqrt 1) 1) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (sqrt 1) y) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (sqrt 1) 1) (/ (sqrt 1) 1)) (/ (/ (sqrt 1) y) (/ (sqrt 1) (sin y))) (/ (/ (sqrt 1) 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt 1) y) (/ 1 (cbrt (sin y)))) (/ (/ (sqrt 1) 1) (/ 1 (sqrt (sin y)))) (/ (/ (sqrt 1) y) (/ 1 (sqrt (sin y)))) (/ (/ (sqrt 1) 1) (/ 1 1)) (/ (/ (sqrt 1) y) (/ 1 (sin y))) (/ (/ (sqrt 1) 1) 1) (/ (/ (sqrt 1) y) (/ 1 (sin y))) (/ (/ (sqrt 1) 1) 1) (/ (/ (sqrt 1) y) (/ 1 (sin y))) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 (cbrt y)) (cbrt (/ 1 (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (/ (/ 1 (cbrt y)) (sqrt (/ 1 (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 (cbrt y)) (/ (cbrt 1) (cbrt (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ 1 (cbrt y)) (/ (cbrt 1) (sqrt (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 (cbrt y)) (/ (cbrt 1) (sin y))) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 (cbrt y)) (/ (sqrt 1) (cbrt (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ 1 (cbrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt 1) 1)) (/ (/ 1 (cbrt y)) (/ (sqrt 1) (sin y))) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ 1 (sqrt (sin y)))) (/ (/ 1 (cbrt y)) (/ 1 (sqrt (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ 1 1)) (/ (/ 1 (cbrt y)) (/ 1 (sin y))) (/ (/ 1 (* (cbrt y) (cbrt y))) 1) (/ (/ 1 (cbrt y)) (/ 1 (sin y))) (/ (/ 1 (* (cbrt y) (cbrt y))) 1) (/ (/ 1 (cbrt y)) (/ 1 (sin y))) (/ (/ 1 (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 (sqrt y)) (cbrt (/ 1 (sin y)))) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ 1 (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 (sqrt y)) (/ (cbrt 1) (cbrt (sin y)))) (/ (/ 1 (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ 1 (sqrt y)) (/ (cbrt 1) (sqrt (sin y)))) (/ (/ 1 (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 (sqrt y)) (/ (cbrt 1) (sin y))) (/ (/ 1 (sqrt y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 (sqrt y)) (/ (sqrt 1) (cbrt (sin y)))) (/ (/ 1 (sqrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ 1 (sqrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ 1 (sqrt y)) (/ (sqrt 1) 1)) (/ (/ 1 (sqrt y)) (/ (sqrt 1) (sin y))) (/ (/ 1 (sqrt y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 (sqrt y)) (/ 1 (cbrt (sin y)))) (/ (/ 1 (sqrt y)) (/ 1 (sqrt (sin y)))) (/ (/ 1 (sqrt y)) (/ 1 (sqrt (sin y)))) (/ (/ 1 (sqrt y)) (/ 1 1)) (/ (/ 1 (sqrt y)) (/ 1 (sin y))) (/ (/ 1 (sqrt y)) 1) (/ (/ 1 (sqrt y)) (/ 1 (sin y))) (/ (/ 1 (sqrt y)) 1) (/ (/ 1 (sqrt y)) (/ 1 (sin y))) (/ (/ 1 1) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (cbrt (/ 1 (sin y)))) (/ (/ 1 1) (sqrt (/ 1 (sin y)))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))) (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ (cbrt 1) (cbrt (sin y)))) (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ 1 y) (/ (cbrt 1) (sqrt (sin y)))) (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 y) (/ (cbrt 1) (sin y))) (/ (/ 1 1) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ (sqrt 1) (cbrt (sin y)))) (/ (/ 1 1) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ 1 y) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ 1 1) (/ (sqrt 1) 1)) (/ (/ 1 y) (/ (sqrt 1) (sin y))) (/ (/ 1 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ 1 (cbrt (sin y)))) (/ (/ 1 1) (/ 1 (sqrt (sin y)))) (/ (/ 1 y) (/ 1 (sqrt (sin y)))) (/ (/ 1 1) (/ 1 1)) (/ (/ 1 y) (/ 1 (sin y))) (/ (/ 1 1) 1) (/ (/ 1 y) (/ 1 (sin y))) (/ (/ 1 1) 1) (/ (/ 1 y) (/ 1 (sin y))) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ (cbrt 1) (cbrt (sin y)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ 1 y) (/ (cbrt 1) (sqrt (sin y)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 y) (/ (cbrt 1) (sin y))) (/ 1 (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ (sqrt 1) (cbrt (sin y)))) (/ 1 (/ (sqrt 1) (sqrt (sin y)))) (/ (/ 1 y) (/ (sqrt 1) (sqrt (sin y)))) (/ 1 (/ (sqrt 1) 1)) (/ (/ 1 y) (/ (sqrt 1) (sin y))) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ 1 (cbrt (sin y)))) (/ 1 (/ 1 (sqrt (sin y)))) (/ (/ 1 y) (/ 1 (sqrt (sin y)))) (/ 1 (/ 1 1)) (/ (/ 1 y) (/ 1 (sin y))) (/ 1 1) (/ (/ 1 y) (/ 1 (sin y))) (/ 1 1) (/ (/ 1 y) (/ 1 (sin y))) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ (cbrt 1) (cbrt (sin y)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ 1 y) (/ (cbrt 1) (sqrt (sin y)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 y) (/ (cbrt 1) (sin y))) (/ 1 (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ (sqrt 1) (cbrt (sin y)))) (/ 1 (/ (sqrt 1) (sqrt (sin y)))) (/ (/ 1 y) (/ (sqrt 1) (sqrt (sin y)))) (/ 1 (/ (sqrt 1) 1)) (/ (/ 1 y) (/ (sqrt 1) (sin y))) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ 1 (cbrt (sin y)))) (/ 1 (/ 1 (sqrt (sin y)))) (/ (/ 1 y) (/ 1 (sqrt (sin y)))) (/ 1 (/ 1 1)) (/ (/ 1 y) (/ 1 (sin y))) (/ 1 1) (/ (/ 1 y) (/ 1 (sin y))) (/ 1 1) (/ (/ 1 y) (/ 1 (sin y))) (/ 1 (/ 1 (sin y))) (/ (/ 1 (sin y)) (/ 1 y)) (/ (/ 1 y) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))) (/ (/ 1 y) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ 1 y) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 y) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ 1 y) (/ (sqrt 1) 1)) (/ (/ 1 y) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ 1 (sqrt (sin y)))) (/ (/ 1 y) (/ 1 1)) (/ (/ 1 y) 1) (/ (/ 1 y) 1) (/ (/ 1 (sin y)) (cbrt (/ 1 y))) (/ (/ 1 (sin y)) (sqrt (/ 1 y))) (/ (/ 1 (sin y)) (/ (cbrt 1) (cbrt y))) (/ (/ 1 (sin y)) (/ (cbrt 1) (sqrt y))) (/ (/ 1 (sin y)) (/ (cbrt 1) y)) (/ (/ 1 (sin y)) (/ (sqrt 1) (cbrt y))) (/ (/ 1 (sin y)) (/ (sqrt 1) (sqrt y))) (/ (/ 1 (sin y)) (/ (sqrt 1) y)) (/ (/ 1 (sin y)) (/ 1 (cbrt y))) (/ (/ 1 (sin y)) (/ 1 (sqrt y))) (/ (/ 1 (sin y)) (/ 1 y)) (/ (/ 1 (sin y)) (/ 1 y)) (/ (/ 1 (sin y)) (/ 1 y)) (/ (/ 1 y) 1) (* (/ 1 (sin y)) y) (- 1) (- (log (sin y))) (- 0 (log (sin y))) (- (log 1) (log (sin y))) (log (/ 1 (sin y))) (exp (/ 1 (sin y))) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y))) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y))) (sqrt (/ 1 (sin y))) (sqrt (/ 1 (sin y))) (- 1) (- (sin y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt 1) (cbrt (sin y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))) (/ (cbrt 1) (sqrt (sin y))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (sin y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt 1) (cbrt (sin y))) (/ (sqrt 1) (sqrt (sin y))) (/ (sqrt 1) (sqrt (sin y))) (/ (sqrt 1) 1) (/ (sqrt 1) (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ 1 (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ 1 (sqrt (sin y))) (/ 1 1) (/ 1 (sin y)) (/ 1 (sin y)) (/ (sin y) 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ 1 (sqrt (sin y))) (/ 1 1) (/ (sin y) (cbrt 1)) (/ (sin y) (sqrt 1)) (/ (sin y) 1) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))) (+ (log (cosh x)) (- (- (log y)) (- (log (sin y))))) (+ (log (cosh x)) (- (- (log y)) (- 0 (log (sin y))))) (+ (log (cosh x)) (- (- (log y)) (- (log 1) (log (sin y))))) (+ (log (cosh x)) (- (- (log y)) (log (/ 1 (sin y))))) (+ (log (cosh x)) (- (- 0 (log y)) (- (log (sin y))))) (+ (log (cosh x)) (- (- 0 (log y)) (- 0 (log (sin y))))) (+ (log (cosh x)) (- (- 0 (log y)) (- (log 1) (log (sin y))))) (+ (log (cosh x)) (- (- 0 (log y)) (log (/ 1 (sin y))))) (+ (log (cosh x)) (- (- (log 1) (log y)) (- (log (sin y))))) (+ (log (cosh x)) (- (- (log 1) (log y)) (- 0 (log (sin y))))) (+ (log (cosh x)) (- (- (log 1) (log y)) (- (log 1) (log (sin y))))) (+ (log (cosh x)) (- (- (log 1) (log y)) (log (/ 1 (sin y))))) (+ (log (cosh x)) (- (log (/ 1 y)) (- (log (sin y))))) (+ (log (cosh x)) (- (log (/ 1 y)) (- 0 (log (sin y))))) (+ (log (cosh x)) (- (log (/ 1 y)) (- (log 1) (log (sin y))))) (+ (log (cosh x)) (- (log (/ 1 y)) (log (/ 1 (sin y))))) (+ (log (cosh x)) (log (/ (/ 1 y) (/ 1 (sin y))))) (log (* (cosh x) (/ (/ 1 y) (/ 1 (sin y))))) (exp (* (cosh x) (/ (/ 1 y) (/ 1 (sin y))))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (/ (* (* 1 1) 1) (* (* y y) y)) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y))))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (/ (* (* 1 1) 1) (* (* y y) y)) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y))))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* (/ 1 y) (/ 1 y)) (/ 1 y)) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y))))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* (/ 1 y) (/ 1 y)) (/ 1 y)) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y))))) (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ (/ 1 y) (/ 1 (sin y))) (/ (/ 1 y) (/ 1 (sin y)))) (/ (/ 1 y) (/ 1 (sin y))))) (* (cbrt (* (cosh x) (/ (/ 1 y) (/ 1 (sin y))))) (cbrt (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))))) (cbrt (* (cosh x) (/ (/ 1 y) (/ 1 (sin y))))) (* (* (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y))))) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y))))) (sqrt (* (cosh x) (/ (/ 1 y) (/ 1 (sin y))))) (sqrt (* (cosh x) (/ (/ 1 y) (/ 1 (sin y))))) (* (+ (exp x) (exp (- x))) (/ 1 y)) (* 2 (/ 1 (sin y))) (* (sqrt (cosh x)) (sqrt (/ (/ 1 y) (/ 1 (sin y))))) (* (sqrt (cosh x)) (sqrt (/ (/ 1 y) (/ 1 (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (/ 1 y)) (/ (sqrt 1) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (/ 1 y)) (/ (sqrt 1) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (/ 1 y)) (/ 1 (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (/ 1 y)) (/ 1 (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (/ (sqrt 1) (sqrt y)) (sqrt (/ 1 (sin y))))) (* (sqrt (cosh x)) (/ (/ (sqrt 1) (sqrt y)) (sqrt (/ 1 (sin y))))) (* (sqrt (cosh x)) (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (/ (sqrt 1) (sqrt y)) (/ 1 (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (/ (sqrt 1) (sqrt y)) (/ 1 (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y))))) (* (sqrt (cosh x)) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y))))) (* (sqrt (cosh x)) (/ (/ 1 (sqrt y)) (/ (sqrt 1) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (/ 1 (sqrt y)) (/ (sqrt 1) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (/ 1 (sqrt y)) (/ 1 (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (/ 1 (sqrt y)) (/ 1 (sqrt (sin y))))) (* (cosh x) (* (cbrt (/ (/ 1 y) (/ 1 (sin y)))) (cbrt (/ (/ 1 y) (/ 1 (sin y)))))) (* (cosh x) (sqrt (/ (/ 1 y) (/ 1 (sin y))))) (* (cosh x) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (cosh x) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (/ 1 (sin y))))) (* (cosh x) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))) (* (cosh x) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (* (cbrt 1) (cbrt 1)) 1))) (* (cosh x) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (sqrt 1) (sqrt (sin y))))) (* (cosh x) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (sqrt 1) 1))) (* (cosh x) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ 1 (sqrt (sin y))))) (* (cosh x) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ 1 1))) (* (cosh x) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) 1)) (* (cosh x) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) 1)) (* (cosh x) (/ (sqrt (/ 1 y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (cosh x) (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y))))) (* (cosh x) (/ (sqrt (/ 1 y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (sqrt (/ 1 y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))) (* (cosh x) (/ (sqrt (/ 1 y)) (/ (* (cbrt 1) (cbrt 1)) 1))) (* (cosh x) (/ (sqrt (/ 1 y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (sqrt (/ 1 y)) (/ (sqrt 1) (sqrt (sin y))))) (* (cosh x) (/ (sqrt (/ 1 y)) (/ (sqrt 1) 1))) (* (cosh x) (/ (sqrt (/ 1 y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (sqrt (/ 1 y)) (/ 1 (sqrt (sin y))))) (* (cosh x) (/ (sqrt (/ 1 y)) (/ 1 1))) (* (cosh x) (/ (sqrt (/ 1 y)) 1)) (* (cosh x) (/ (sqrt (/ 1 y)) 1)) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) 1))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (sqrt 1) (sqrt (sin y))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (sqrt 1) 1))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ 1 (sqrt (sin y))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ 1 1))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) 1)) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) 1)) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (sqrt (/ 1 (sin y))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) 1))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (sqrt 1) (sqrt (sin y))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (sqrt 1) 1))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ 1 (sqrt (sin y))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ 1 1))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) 1)) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) 1)) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (sqrt (/ 1 (sin y))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) 1))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) (sqrt (sin y))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) 1))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (sqrt (sin y))))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 1))) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1)) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1)) (* (cosh x) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (cosh x) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y))))) (* (cosh x) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))) (* (cosh x) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) 1))) (* (cosh x) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (sqrt 1) (sqrt (sin y))))) (* (cosh x) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (sqrt 1) 1))) (* (cosh x) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ 1 (sqrt (sin y))))) (* (cosh x) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ 1 1))) (* (cosh x) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) 1)) (* (cosh x) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) 1)) (* (cosh x) (/ (/ (sqrt 1) (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (cosh x) (/ (/ (sqrt 1) (sqrt y)) (sqrt (/ 1 (sin y))))) (* (cosh x) (/ (/ (sqrt 1) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ (sqrt 1) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))) (* (cosh x) (/ (/ (sqrt 1) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) 1))) (* (cosh x) (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (sqrt (sin y))))) (* (cosh x) (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) 1))) (* (cosh x) (/ (/ (sqrt 1) (sqrt y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ (sqrt 1) (sqrt y)) (/ 1 (sqrt (sin y))))) (* (cosh x) (/ (/ (sqrt 1) (sqrt y)) (/ 1 1))) (* (cosh x) (/ (/ (sqrt 1) (sqrt y)) 1)) (* (cosh x) (/ (/ (sqrt 1) (sqrt y)) 1)) (* (cosh x) (/ (/ (sqrt 1) 1) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (cosh x) (/ (/ (sqrt 1) 1) (sqrt (/ 1 (sin y))))) (* (cosh x) (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))) (* (cosh x) (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) 1))) (* (cosh x) (/ (/ (sqrt 1) 1) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ (sqrt 1) 1) (/ (sqrt 1) (sqrt (sin y))))) (* (cosh x) (/ (/ (sqrt 1) 1) (/ (sqrt 1) 1))) (* (cosh x) (/ (/ (sqrt 1) 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ (sqrt 1) 1) (/ 1 (sqrt (sin y))))) (* (cosh x) (/ (/ (sqrt 1) 1) (/ 1 1))) (* (cosh x) (/ (/ (sqrt 1) 1) 1)) (* (cosh x) (/ (/ (sqrt 1) 1) 1)) (* (cosh x) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (cosh x) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y))))) (* (cosh x) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))) (* (cosh x) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) 1))) (* (cosh x) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt 1) (sqrt (sin y))))) (* (cosh x) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt 1) 1))) (* (cosh x) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ 1 (sqrt (sin y))))) (* (cosh x) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ 1 1))) (* (cosh x) (/ (/ 1 (* (cbrt y) (cbrt y))) 1)) (* (cosh x) (/ (/ 1 (* (cbrt y) (cbrt y))) 1)) (* (cosh x) (/ (/ 1 (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (cosh x) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y))))) (* (cosh x) (/ (/ 1 (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ 1 (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))) (* (cosh x) (/ (/ 1 (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) 1))) (* (cosh x) (/ (/ 1 (sqrt y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ 1 (sqrt y)) (/ (sqrt 1) (sqrt (sin y))))) (* (cosh x) (/ (/ 1 (sqrt y)) (/ (sqrt 1) 1))) (* (cosh x) (/ (/ 1 (sqrt y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ 1 (sqrt y)) (/ 1 (sqrt (sin y))))) (* (cosh x) (/ (/ 1 (sqrt y)) (/ 1 1))) (* (cosh x) (/ (/ 1 (sqrt y)) 1)) (* (cosh x) (/ (/ 1 (sqrt y)) 1)) (* (cosh x) (/ (/ 1 1) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (cosh x) (/ (/ 1 1) (sqrt (/ 1 (sin y))))) (* (cosh x) (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))) (* (cosh x) (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) 1))) (* (cosh x) (/ (/ 1 1) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ 1 1) (/ (sqrt 1) (sqrt (sin y))))) (* (cosh x) (/ (/ 1 1) (/ (sqrt 1) 1))) (* (cosh x) (/ (/ 1 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (/ 1 1) (/ 1 (sqrt (sin y))))) (* (cosh x) (/ (/ 1 1) (/ 1 1))) (* (cosh x) (/ (/ 1 1) 1)) (* (cosh x) (/ (/ 1 1) 1)) (* (cosh x) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (cosh x) (/ 1 (sqrt (/ 1 (sin y))))) (* (cosh x) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))) (* (cosh x) (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1))) (* (cosh x) (/ 1 (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ 1 (/ (sqrt 1) (sqrt (sin y))))) (* (cosh x) (/ 1 (/ (sqrt 1) 1))) (* (cosh x) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ 1 (/ 1 (sqrt (sin y))))) (* (cosh x) (/ 1 (/ 1 1))) (* (cosh x) (/ 1 1)) (* (cosh x) (/ 1 1)) (* (cosh x) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (cosh x) (/ 1 (sqrt (/ 1 (sin y))))) (* (cosh x) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))) (* (cosh x) (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1))) (* (cosh x) (/ 1 (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ 1 (/ (sqrt 1) (sqrt (sin y))))) (* (cosh x) (/ 1 (/ (sqrt 1) 1))) (* (cosh x) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ 1 (/ 1 (sqrt (sin y))))) (* (cosh x) (/ 1 (/ 1 1))) (* (cosh x) (/ 1 1)) (* (cosh x) (/ 1 1)) (* (cosh x) 1) (* (cosh x) (/ 1 y)) (* (cosh x) (/ (/ 1 y) 1)) (* (cbrt (cosh x)) (/ (/ 1 y) (/ 1 (sin y)))) (* (sqrt (cosh x)) (/ (/ 1 y) (/ 1 (sin y)))) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))) (* (cosh x) (/ 1 y)) (* (+ (exp x) (exp (- x))) (/ (/ 1 y) (/ 1 (sin y)))) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (+ (* 7/360 (pow y 3)) (+ (/ 1 y) (* 1/6 y))) (/ 1 (sin y)) (/ 1 (sin y)) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (sin y) (exp (- x))))) y) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) 9.373 * * [simplify]: iteration 0 : 624 enodes (cost 8547 ) 9.506 * * [simplify]: iteration 1 : 1860 enodes (cost 6781 ) 10.433 * * [simplify]: iteration done : 5000 enodes (cost 5251 ) 10.435 * [simplify]: Simplified to: (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (* (/ 1 (pow y 3)) (* (* (sin y) (sin y)) (sin y))) (* (/ 1 (pow y 3)) (* (* (sin y) (sin y)) (sin y))) (* (/ 1 (pow y 3)) (* (* (sin y) (sin y)) (sin y))) (* (/ 1 (pow y 3)) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (* (/ 1 (pow y 3)) (* (* (sin y) (sin y)) (sin y))) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) (/ -1 y) (/ -1 (sin y)) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (cbrt (/ 1 y)) (cbrt (/ 1 (sin y)))) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (/ 1 (sin y)))) (/ (cbrt (/ 1 y)) (sqrt (/ 1 (sin y)))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt (/ 1 y)) (/ 1 (cbrt (sin y)))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y))) (/ (cbrt (/ 1 y)) (/ 1 (sqrt (sin y)))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 y)) (sin y)) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt (/ 1 y)) (/ 1 (cbrt (sin y)))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y))) (/ (cbrt (/ 1 y)) (/ 1 (sqrt (sin y)))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 y)) (sin y)) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt (/ 1 y)) (/ 1 (cbrt (sin y)))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y))) (/ (cbrt (/ 1 y)) (/ 1 (sqrt (sin y)))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 y)) (sin y)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 y)) (sin y)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 y)) (sin y)) (/ (sqrt (/ 1 y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (sqrt (/ 1 y)) (cbrt (/ 1 (sin y)))) (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y)))) (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y)))) (* (sqrt (/ 1 y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (sqrt (/ 1 y))) (* (sqrt (/ 1 y)) (sqrt (sin y))) (* (sqrt (/ 1 y)) (sqrt (sin y))) (sqrt (/ 1 y)) (* (sqrt (/ 1 y)) (sin y)) (* (sqrt (/ 1 y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (sqrt (/ 1 y))) (* (sqrt (/ 1 y)) (sqrt (sin y))) (* (sqrt (/ 1 y)) (sqrt (sin y))) (sqrt (/ 1 y)) (* (sqrt (/ 1 y)) (sin y)) (* (sqrt (/ 1 y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (sqrt (/ 1 y))) (* (sqrt (/ 1 y)) (sqrt (sin y))) (* (sqrt (/ 1 y)) (sqrt (sin y))) (sqrt (/ 1 y)) (* (sqrt (/ 1 y)) (sin y)) (sqrt (/ 1 y)) (* (sqrt (/ 1 y)) (sin y)) (sqrt (/ 1 y)) (* (sqrt (/ 1 y)) (sin y)) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 (cbrt y)) (cbrt (/ 1 (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (/ (/ 1 (cbrt y)) (sqrt (/ 1 (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (/ (/ 1 (sqrt y)) (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y)))) (/ 1 (* (cbrt (/ 1 (sin y))) (sqrt y))) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (* (cbrt (sin y)) (/ 1 (sqrt y))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (* (cbrt (sin y)) (/ 1 (sqrt y))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (* (cbrt (sin y)) (/ 1 (sqrt y))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 (cbrt y)) (cbrt (/ 1 (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (/ (/ 1 (cbrt y)) (sqrt (/ 1 (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (/ (/ 1 (sqrt y)) (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y)))) (/ 1 (* (cbrt (/ 1 (sin y))) (sqrt y))) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (* (cbrt (sin y)) (/ 1 (sqrt y))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (* (cbrt (sin y)) (/ 1 (sqrt y))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (* (cbrt (sin y)) (/ 1 (sqrt y))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 (cbrt y)) (cbrt (/ 1 (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (/ (/ 1 (cbrt y)) (sqrt (/ 1 (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (/ (/ 1 (sqrt y)) (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y)))) (/ 1 (* (cbrt (/ 1 (sin y))) (sqrt y))) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (* (cbrt (sin y)) (/ 1 (sqrt y))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (* (cbrt (sin y)) (/ 1 (sqrt y))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (* (cbrt (sin y)) (/ 1 (sqrt y))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (sin y) (* (/ 1 (sin y)) y) (/ (/ 1 y) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) y) (/ (sqrt (sin y)) y) (/ 1 y) (/ (* (cbrt (sin y)) (cbrt (sin y))) y) (/ (sqrt (sin y)) y) (/ 1 y) (/ (* (cbrt (sin y)) (cbrt (sin y))) y) (/ (sqrt (sin y)) y) (/ 1 y) (/ 1 y) (/ 1 y) (/ (/ 1 (sin y)) (cbrt (/ 1 y))) (/ (/ 1 (sin y)) (sqrt (/ 1 y))) (* (/ 1 (sin y)) (cbrt y)) (/ (* 1 (sqrt y)) (sin y)) (* (/ 1 (sin y)) y) (* (/ 1 (sin y)) (cbrt y)) (/ (* 1 (sqrt y)) (sin y)) (* (/ 1 (sin y)) y) (* (/ 1 (sin y)) (cbrt y)) (/ (* 1 (sqrt y)) (sin y)) (* (/ 1 (sin y)) y) (* (/ 1 (sin y)) y) (* (/ 1 (sin y)) y) (/ 1 y) (* (/ 1 (sin y)) y) -1 (- (log (sin y))) (- (log (sin y))) (- (log (sin y))) (- (log (sin y))) (exp (/ 1 (sin y))) (/ 1 (* (* (sin y) (sin y)) (sin y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y))) (/ 1 (* (* (sin y) (sin y)) (sin y))) (sqrt (/ 1 (sin y))) (sqrt (/ 1 (sin y))) -1 (- (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ 1 (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ 1 (sqrt (sin y))) 1 (/ 1 (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ 1 (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ 1 (sqrt (sin y))) 1 (/ 1 (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ 1 (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ 1 (sqrt (sin y))) 1 (/ 1 (sin y)) (/ 1 (sin y)) (sin y) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ 1 (sqrt (sin y))) 1 (sin y) (sin y) (sin y) (* (/ (cosh x) y) (sin y)) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (pow (exp (cosh x)) (/ (sin y) y)) (* (* (* (cosh x) (cosh x)) (cosh x)) (* (/ 1 (pow y 3)) (* (* (sin y) (sin y)) (sin y)))) (* (* (* (cosh x) (cosh x)) (cosh x)) (* (/ 1 (pow y 3)) (* (* (sin y) (sin y)) (sin y)))) (* (* (* (cosh x) (cosh x)) (cosh x)) (* (/ 1 (pow y 3)) (* (* (sin y) (sin y)) (sin y)))) (* (* (* (cosh x) (cosh x)) (cosh x)) (* (/ 1 (pow y 3)) (* (* (sin y) (sin y)) (sin y)))) (* (* (* (cosh x) (cosh x)) (cosh x)) (* (/ 1 (pow y 3)) (* (* (sin y) (sin y)) (sin y)))) (* (cbrt (* (/ (cosh x) y) (sin y))) (cbrt (* (/ (cosh x) y) (sin y)))) (cbrt (* (/ (cosh x) y) (sin y))) (* (* (/ (cosh x) y) (sin y)) (* (* (/ (sin y) y) (/ (sin y) y)) (* (cosh x) (cosh x)))) (sqrt (* (/ (cosh x) y) (sin y))) (sqrt (* (/ (cosh x) y) (sin y))) (* (+ (exp x) (exp (- x))) (/ 1 y)) (/ 2 (sin y)) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y))))) (* (* (sqrt (cosh x)) (sqrt (/ 1 y))) (sqrt (sin y))) (* (* (sqrt (cosh x)) (sqrt (/ 1 y))) (sqrt (sin y))) (* (* (sqrt (cosh x)) (sqrt (/ 1 y))) (sqrt (sin y))) (* (* (sqrt (cosh x)) (sqrt (/ 1 y))) (sqrt (sin y))) (* (sqrt (cosh x)) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y))))) (* (sqrt (cosh x)) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y))))) (* (sqrt (cosh x)) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cosh x)) (* (sqrt (/ (sin y) y)) (cosh x)) (* (cosh x) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (cosh x) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (/ 1 (sin y))))) (* (* (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y)))) (cosh x)) (* (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (cosh x)) (sqrt (sin y))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (cosh x)) (* (* (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y)))) (cosh x)) (* (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (cosh x)) (sqrt (sin y))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (cosh x)) (* (* (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y)))) (cosh x)) (* (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (cosh x)) (sqrt (sin y))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (cosh x)) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (cosh x)) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (cosh x)) (* (cosh x) (/ (sqrt (/ 1 y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (cosh x) (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y))))) (* (* (cosh x) (sqrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (* (sqrt (/ 1 y)) (sqrt (sin y))) (cosh x)) (* (cosh x) (sqrt (/ 1 y))) (* (* (cosh x) (sqrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (* (sqrt (/ 1 y)) (sqrt (sin y))) (cosh x)) (* (cosh x) (sqrt (/ 1 y))) (* (* (cosh x) (sqrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (* (sqrt (/ 1 y)) (sqrt (sin y))) (cosh x)) (* (cosh x) (sqrt (/ 1 y))) (* (cosh x) (sqrt (/ 1 y))) (* (cosh x) (sqrt (/ 1 y))) (/ (/ (cosh x) (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (/ (cosh x) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (/ (cosh x) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (/ (cosh x) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (/ (cosh x) (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (cosh x) (* (sqrt (/ 1 (sin y))) (sqrt y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (/ (sqrt (sin y)) (sqrt y)) (cosh x)) (/ (cosh x) (sqrt y)) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (/ (sqrt (sin y)) (sqrt y)) (cosh x)) (/ (cosh x) (sqrt y)) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (/ (sqrt (sin y)) (sqrt y)) (cosh x)) (/ (cosh x) (sqrt y)) (/ (cosh x) (sqrt y)) (/ (cosh x) (sqrt y)) (/ (cosh x) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (cosh x) (sqrt (/ 1 (sin y)))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (sqrt (sin y)) (cosh x)) (cosh x) (cosh x) (cosh x) (/ (/ (cosh x) (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (/ (cosh x) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (/ (cosh x) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (/ (cosh x) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (/ (cosh x) (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (cosh x) (* (sqrt (/ 1 (sin y))) (sqrt y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (/ (sqrt (sin y)) (sqrt y)) (cosh x)) (/ (cosh x) (sqrt y)) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (/ (sqrt (sin y)) (sqrt y)) (cosh x)) (/ (cosh x) (sqrt y)) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (/ (sqrt (sin y)) (sqrt y)) (cosh x)) (/ (cosh x) (sqrt y)) (/ (cosh x) (sqrt y)) (/ (cosh x) (sqrt y)) (/ (cosh x) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (cosh x) (sqrt (/ 1 (sin y)))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (sqrt (sin y)) (cosh x)) (cosh x) (cosh x) (cosh x) (/ (/ (cosh x) (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (/ (cosh x) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (/ (cosh x) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (/ (cosh x) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (/ (cosh x) (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (cosh x) (* (sqrt (/ 1 (sin y))) (sqrt y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (/ (sqrt (sin y)) (sqrt y)) (cosh x)) (/ (cosh x) (sqrt y)) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (/ (sqrt (sin y)) (sqrt y)) (cosh x)) (/ (cosh x) (sqrt y)) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (/ (sqrt (sin y)) (sqrt y)) (cosh x)) (/ (cosh x) (sqrt y)) (/ (cosh x) (sqrt y)) (/ (cosh x) (sqrt y)) (/ (cosh x) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (cosh x) (sqrt (/ 1 (sin y)))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (sqrt (sin y)) (cosh x)) (cosh x) (cosh x) (cosh x) (/ (cosh x) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (cosh x) (sqrt (/ 1 (sin y)))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (sqrt (sin y)) (cosh x)) (cosh x) (cosh x) (cosh x) (/ (cosh x) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (cosh x) (sqrt (/ 1 (sin y)))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (sqrt (sin y)) (cosh x)) (cosh x) (cosh x) (cosh x) (cosh x) (/ (cosh x) y) (/ (cosh x) y) (* (cbrt (cosh x)) (/ (sin y) y)) (* (sqrt (cosh x)) (/ (sin y) y)) (* (/ (cosh x) y) (sin y)) (/ (cosh x) y) (* (/ (sin y) y) (+ (exp x) (exp (- x)))) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (+ (* 7/360 (pow y 3)) (+ (/ 1 y) (* 1/6 y))) (/ 1 (sin y)) (/ 1 (sin y)) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (* (+ (* (sin y) (exp x)) (/ (sin y) (exp x))) 1/2) y) (/ (* (+ (* (sin y) (exp x)) (/ (sin y) (exp x))) 1/2) y) 10.439 * * * [progress]: adding candidates to table 11.116 * [progress]: [Phase 3 of 3] Extracting. 11.116 * * [regime]: Finding splitpoints for: (# # # # # # #) 11.117 * * * [regime-changes]: Trying 3 branch expressions: ((cosh x) y x) 11.117 * * * * [regimes]: Trying to branch on (cosh x) from (# # # # # # #) 11.145 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 11.170 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 11.199 * * * [regime]: Found split indices: #