10.172 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.085 * * * [progress]: [2/2] Setting up program. 0.088 * [progress]: [Phase 2 of 3] Improving. 0.088 * [simplify]: Simplifying using # : (* (cosh x) (/ (sin y) y)) 0.089 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.090 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.091 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 0.095 * * [simplify]: iteration 3 : 53 enodes (cost 7 ) 0.102 * * [simplify]: iteration 4 : 92 enodes (cost 7 ) 0.119 * * [simplify]: iteration 5 : 129 enodes (cost 7 ) 0.147 * * [simplify]: iteration 6 : 237 enodes (cost 7 ) 0.236 * * [simplify]: iteration 7 : 515 enodes (cost 7 ) 0.542 * * [simplify]: iteration 8 : 1103 enodes (cost 7 ) 1.515 * * [simplify]: iteration 9 : 1771 enodes (cost 7 ) 2.535 * * [simplify]: iteration 10 : 2086 enodes (cost 7 ) 3.648 * * [simplify]: iteration 11 : 2212 enodes (cost 7 ) 4.678 * * [simplify]: iteration done : 2212 enodes (cost 7 ) 4.678 * [simplify]: Simplified to: (* (cosh x) (/ (sin y) y)) 4.679 * * [progress]: iteration 1 / 4 4.679 * * * [progress]: picking best candidate 4.681 * * * * [pick]: Picked # 4.681 * * * [progress]: localizing error 4.688 * * * [progress]: generating rewritten candidates 4.688 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 4.695 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 4.701 * * * [progress]: generating series expansions 4.701 * * * * [progress]: [ 1 / 2 ] generating series at (2) 4.701 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 4.701 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 4.701 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 4.701 * [taylor]: Taking taylor expansion of (sin y) in y 4.701 * [taylor]: Taking taylor expansion of y in y 4.701 * [taylor]: Taking taylor expansion of (cosh x) in y 4.702 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 4.702 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in y 4.702 * [taylor]: Taking taylor expansion of (exp x) in y 4.702 * [taylor]: Taking taylor expansion of x in y 4.702 * [taylor]: Taking taylor expansion of (exp (neg x)) in y 4.702 * [taylor]: Taking taylor expansion of (neg x) in y 4.702 * [taylor]: Taking taylor expansion of x in y 4.702 * [taylor]: Taking taylor expansion of 2 in y 4.702 * [taylor]: Taking taylor expansion of y in y 4.702 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 4.702 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 4.702 * [taylor]: Taking taylor expansion of (sin y) in x 4.703 * [taylor]: Taking taylor expansion of y in x 4.703 * [taylor]: Taking taylor expansion of (cosh x) in x 4.703 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 4.703 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 4.703 * [taylor]: Taking taylor expansion of (exp x) in x 4.703 * [taylor]: Taking taylor expansion of x in x 4.703 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 4.703 * [taylor]: Taking taylor expansion of (neg x) in x 4.703 * [taylor]: Taking taylor expansion of x in x 4.703 * [taylor]: Taking taylor expansion of 2 in x 4.703 * [taylor]: Taking taylor expansion of y in x 4.703 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 4.703 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 4.703 * [taylor]: Taking taylor expansion of (sin y) in x 4.703 * [taylor]: Taking taylor expansion of y in x 4.703 * [taylor]: Taking taylor expansion of (cosh x) in x 4.703 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 4.703 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 4.703 * [taylor]: Taking taylor expansion of (exp x) in x 4.703 * [taylor]: Taking taylor expansion of x in x 4.703 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 4.703 * [taylor]: Taking taylor expansion of (neg x) in x 4.703 * [taylor]: Taking taylor expansion of x in x 4.703 * [taylor]: Taking taylor expansion of 2 in x 4.703 * [taylor]: Taking taylor expansion of y in x 4.703 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.704 * [taylor]: Taking taylor expansion of (sin y) in y 4.704 * [taylor]: Taking taylor expansion of y in y 4.704 * [taylor]: Taking taylor expansion of y in y 4.704 * [taylor]: Taking taylor expansion of 0 in y 4.705 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 4.705 * [taylor]: Taking taylor expansion of 1/2 in y 4.705 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.705 * [taylor]: Taking taylor expansion of (sin y) in y 4.705 * [taylor]: Taking taylor expansion of y in y 4.705 * [taylor]: Taking taylor expansion of y in y 4.706 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 4.706 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 4.706 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 4.706 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 4.706 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 4.706 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.706 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.706 * [taylor]: Taking taylor expansion of x in y 4.707 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 4.707 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 4.707 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.707 * [taylor]: Taking taylor expansion of x in y 4.707 * [taylor]: Taking taylor expansion of 2 in y 4.707 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.707 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.707 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.707 * [taylor]: Taking taylor expansion of y in y 4.707 * [taylor]: Taking taylor expansion of y in y 4.707 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 4.707 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 4.707 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 4.707 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 4.707 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.707 * [taylor]: Taking taylor expansion of x in x 4.707 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 4.707 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 4.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.707 * [taylor]: Taking taylor expansion of x in x 4.707 * [taylor]: Taking taylor expansion of 2 in x 4.708 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 4.708 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 4.708 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.708 * [taylor]: Taking taylor expansion of y in x 4.708 * [taylor]: Taking taylor expansion of y in x 4.708 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 4.708 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 4.708 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 4.708 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 4.708 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.708 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.708 * [taylor]: Taking taylor expansion of x in x 4.708 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 4.708 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 4.708 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.708 * [taylor]: Taking taylor expansion of x in x 4.708 * [taylor]: Taking taylor expansion of 2 in x 4.708 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 4.708 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 4.708 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.708 * [taylor]: Taking taylor expansion of y in x 4.708 * [taylor]: Taking taylor expansion of y in x 4.709 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) (* (sin (/ 1 y)) y))) in y 4.709 * [taylor]: Taking taylor expansion of 1/2 in y 4.709 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) (* (sin (/ 1 y)) y)) in y 4.709 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 4.709 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.709 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.709 * [taylor]: Taking taylor expansion of x in y 4.709 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 4.709 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 4.709 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.709 * [taylor]: Taking taylor expansion of x in y 4.709 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.709 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.709 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.709 * [taylor]: Taking taylor expansion of y in y 4.709 * [taylor]: Taking taylor expansion of y in y 4.710 * [taylor]: Taking taylor expansion of 0 in y 4.711 * [taylor]: Taking taylor expansion of 0 in y 4.713 * [taylor]: Taking taylor expansion of 0 in y 4.713 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 4.713 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 4.713 * [taylor]: Taking taylor expansion of -1 in y 4.713 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 4.713 * [taylor]: Taking taylor expansion of y in y 4.713 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 4.713 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.713 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.713 * [taylor]: Taking taylor expansion of -1 in y 4.713 * [taylor]: Taking taylor expansion of y in y 4.713 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 4.713 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 4.713 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in y 4.713 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.713 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.713 * [taylor]: Taking taylor expansion of -1 in y 4.713 * [taylor]: Taking taylor expansion of x in y 4.714 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in y 4.714 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in y 4.714 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.714 * [taylor]: Taking taylor expansion of -1 in y 4.714 * [taylor]: Taking taylor expansion of x in y 4.714 * [taylor]: Taking taylor expansion of 2 in y 4.714 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 4.714 * [taylor]: Taking taylor expansion of -1 in x 4.714 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 4.714 * [taylor]: Taking taylor expansion of y in x 4.714 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 4.714 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 4.714 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.714 * [taylor]: Taking taylor expansion of -1 in x 4.714 * [taylor]: Taking taylor expansion of y in x 4.714 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 4.714 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 4.714 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 4.714 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.714 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.714 * [taylor]: Taking taylor expansion of -1 in x 4.714 * [taylor]: Taking taylor expansion of x in x 4.714 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 4.714 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 4.714 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.714 * [taylor]: Taking taylor expansion of -1 in x 4.714 * [taylor]: Taking taylor expansion of x in x 4.714 * [taylor]: Taking taylor expansion of 2 in x 4.715 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 4.715 * [taylor]: Taking taylor expansion of -1 in x 4.715 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 4.715 * [taylor]: Taking taylor expansion of y in x 4.715 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 4.715 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 4.715 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.715 * [taylor]: Taking taylor expansion of -1 in x 4.715 * [taylor]: Taking taylor expansion of y in x 4.715 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 4.715 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 4.715 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 4.715 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.715 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.715 * [taylor]: Taking taylor expansion of -1 in x 4.715 * [taylor]: Taking taylor expansion of x in x 4.715 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 4.715 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 4.715 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.715 * [taylor]: Taking taylor expansion of -1 in x 4.715 * [taylor]: Taking taylor expansion of x in x 4.715 * [taylor]: Taking taylor expansion of 2 in x 4.716 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (* (sin (/ -1 y)) y))) in y 4.716 * [taylor]: Taking taylor expansion of -1/2 in y 4.716 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (* (sin (/ -1 y)) y)) in y 4.716 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 4.716 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.716 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.716 * [taylor]: Taking taylor expansion of x in y 4.716 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.716 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.716 * [taylor]: Taking taylor expansion of -1 in y 4.716 * [taylor]: Taking taylor expansion of x 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.716 * [taylor]: Taking taylor expansion of y in y 4.717 * [taylor]: Taking taylor expansion of 0 in y 4.722 * [taylor]: Taking taylor expansion of 0 in y 4.724 * [taylor]: Taking taylor expansion of 0 in y 4.724 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 4.724 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 4.724 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.724 * [taylor]: Taking taylor expansion of (sin y) in y 4.724 * [taylor]: Taking taylor expansion of y in y 4.724 * [taylor]: Taking taylor expansion of y in y 4.724 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.724 * [taylor]: Taking taylor expansion of (sin y) in y 4.724 * [taylor]: Taking taylor expansion of y in y 4.724 * [taylor]: Taking taylor expansion of y in y 4.726 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 4.726 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.726 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.726 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.726 * [taylor]: Taking taylor expansion of y in y 4.726 * [taylor]: Taking taylor expansion of y in y 4.726 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.726 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.726 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.726 * [taylor]: Taking taylor expansion of y in y 4.726 * [taylor]: Taking taylor expansion of y in y 4.727 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 4.727 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 4.727 * [taylor]: Taking taylor expansion of -1 in y 4.727 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 4.727 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.727 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.727 * [taylor]: Taking taylor expansion of -1 in y 4.727 * [taylor]: Taking taylor expansion of y in y 4.727 * [taylor]: Taking taylor expansion of y in y 4.727 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 4.727 * [taylor]: Taking taylor expansion of -1 in y 4.727 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 4.727 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.727 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.727 * [taylor]: Taking taylor expansion of -1 in y 4.727 * [taylor]: Taking taylor expansion of y in y 4.727 * [taylor]: Taking taylor expansion of y in y 4.728 * * * [progress]: simplifying candidates 4.729 * [simplify]: Simplifying using # : (* (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 (neg 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 (neg x))) (/ (sin y) y)) (- (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)) (neg (sin y)) (neg 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)) (- (+ 1 (* 1/2 (pow x 2))) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (exp x) (sin y))) (* 1/2 (* (exp (neg x)) (sin y)))) y) (/ (+ (* 1/2 (* (exp x) (sin y))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) 4.732 * * [simplify]: iteration 0 : 120 enodes (cost 663 ) 4.755 * * [simplify]: iteration 1 : 264 enodes (cost 632 ) 4.874 * * [simplify]: iteration 2 : 870 enodes (cost 568 ) 6.662 * * [simplify]: iteration 3 : 4015 enodes (cost 568 ) 7.490 * * [simplify]: iteration done : 5001 enodes (cost 568 ) 7.491 * [simplify]: Simplified to: (* (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))) (* (+ (exp x) (exp (neg 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)))) (* (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)) (* (+ (exp x) (exp (neg x))) (/ (sin y) y)) (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)) (neg (sin y)) (neg 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))) (/ (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)) (- (+ 1 (* 1/2 (pow x 2))) (* 1/6 (pow y 2))) (/ (* (* (+ (exp x) (exp (neg x))) (sin y)) 1/2) y) (/ (* (* (+ (exp x) (exp (neg x))) (sin y)) 1/2) y) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) 7.491 * * * [progress]: adding candidates to table 7.563 * * [progress]: iteration 2 / 4 7.563 * * * [progress]: picking best candidate 7.590 * * * * [pick]: Picked # 7.590 * * * [progress]: localizing error 7.598 * * * [progress]: generating rewritten candidates 7.598 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 7.613 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 7.620 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 7.633 * * * [progress]: generating series expansions 7.633 * * * * [progress]: [ 1 / 3 ] generating series at (2) 7.633 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 7.633 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 7.633 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 7.633 * [taylor]: Taking taylor expansion of (sin y) in y 7.633 * [taylor]: Taking taylor expansion of y in y 7.633 * [taylor]: Taking taylor expansion of (cosh x) in y 7.633 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 7.633 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in y 7.633 * [taylor]: Taking taylor expansion of (exp x) in y 7.633 * [taylor]: Taking taylor expansion of x in y 7.633 * [taylor]: Taking taylor expansion of (exp (neg x)) in y 7.633 * [taylor]: Taking taylor expansion of (neg x) in y 7.633 * [taylor]: Taking taylor expansion of x in y 7.633 * [taylor]: Taking taylor expansion of 2 in y 7.634 * [taylor]: Taking taylor expansion of y in y 7.634 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 7.634 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 7.634 * [taylor]: Taking taylor expansion of (sin y) in x 7.634 * [taylor]: Taking taylor expansion of y in x 7.634 * [taylor]: Taking taylor expansion of (cosh x) in x 7.634 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 7.634 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 7.634 * [taylor]: Taking taylor expansion of (exp x) in x 7.634 * [taylor]: Taking taylor expansion of x in x 7.634 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 7.634 * [taylor]: Taking taylor expansion of (neg x) in x 7.634 * [taylor]: Taking taylor expansion of x in x 7.634 * [taylor]: Taking taylor expansion of 2 in x 7.634 * [taylor]: Taking taylor expansion of y in x 7.635 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 7.635 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 7.635 * [taylor]: Taking taylor expansion of (sin y) in x 7.635 * [taylor]: Taking taylor expansion of y in x 7.635 * [taylor]: Taking taylor expansion of (cosh x) in x 7.635 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 7.635 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 7.635 * [taylor]: Taking taylor expansion of (exp x) in x 7.635 * [taylor]: Taking taylor expansion of x in x 7.635 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 7.635 * [taylor]: Taking taylor expansion of (neg x) in x 7.635 * [taylor]: Taking taylor expansion of x in x 7.635 * [taylor]: Taking taylor expansion of 2 in x 7.635 * [taylor]: Taking taylor expansion of y in x 7.635 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 7.635 * [taylor]: Taking taylor expansion of (sin y) in y 7.635 * [taylor]: Taking taylor expansion of y in y 7.635 * [taylor]: Taking taylor expansion of y in y 7.636 * [taylor]: Taking taylor expansion of 0 in y 7.636 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 7.636 * [taylor]: Taking taylor expansion of 1/2 in y 7.636 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 7.636 * [taylor]: Taking taylor expansion of (sin y) in y 7.636 * [taylor]: Taking taylor expansion of y in y 7.637 * [taylor]: Taking taylor expansion of y in y 7.637 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 7.637 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 7.637 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 7.637 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 7.637 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 7.637 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.637 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.637 * [taylor]: Taking taylor expansion of x in y 7.637 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 7.637 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 7.637 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.637 * [taylor]: Taking taylor expansion of x in y 7.638 * [taylor]: Taking taylor expansion of 2 in y 7.638 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.638 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.638 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.638 * [taylor]: Taking taylor expansion of y in y 7.638 * [taylor]: Taking taylor expansion of y in y 7.638 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 7.638 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 7.638 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 7.638 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 7.638 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.638 * [taylor]: Taking taylor expansion of x in x 7.638 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 7.638 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 7.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.638 * [taylor]: Taking taylor expansion of x in x 7.638 * [taylor]: Taking taylor expansion of 2 in x 7.638 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 7.638 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.638 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.638 * [taylor]: Taking taylor expansion of y in x 7.638 * [taylor]: Taking taylor expansion of y in x 7.638 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 7.638 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 7.639 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 7.639 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 7.639 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.639 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.639 * [taylor]: Taking taylor expansion of x in x 7.639 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 7.639 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 7.639 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.639 * [taylor]: Taking taylor expansion of x in x 7.639 * [taylor]: Taking taylor expansion of 2 in x 7.639 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 7.639 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.639 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.639 * [taylor]: Taking taylor expansion of y in x 7.639 * [taylor]: Taking taylor expansion of y in x 7.640 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) (* (sin (/ 1 y)) y))) in y 7.640 * [taylor]: Taking taylor expansion of 1/2 in y 7.640 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) (* (sin (/ 1 y)) y)) in y 7.640 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 7.640 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.640 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.640 * [taylor]: Taking taylor expansion of x in y 7.640 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 7.640 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 7.640 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.640 * [taylor]: Taking taylor expansion of x in y 7.640 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.640 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.640 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.640 * [taylor]: Taking taylor expansion of y in y 7.640 * [taylor]: Taking taylor expansion of y in y 7.641 * [taylor]: Taking taylor expansion of 0 in y 7.642 * [taylor]: Taking taylor expansion of 0 in y 7.647 * [taylor]: Taking taylor expansion of 0 in y 7.648 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 7.648 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 7.648 * [taylor]: Taking taylor expansion of -1 in y 7.648 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 7.648 * [taylor]: Taking taylor expansion of y in y 7.648 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 7.648 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.648 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.648 * [taylor]: Taking taylor expansion of -1 in y 7.648 * [taylor]: Taking taylor expansion of y in y 7.648 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 7.648 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 7.648 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in y 7.648 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 7.648 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.648 * [taylor]: Taking taylor expansion of -1 in y 7.648 * [taylor]: Taking taylor expansion of x in y 7.648 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in y 7.648 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in y 7.648 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.648 * [taylor]: Taking taylor expansion of -1 in y 7.648 * [taylor]: Taking taylor expansion of x in y 7.648 * [taylor]: Taking taylor expansion of 2 in y 7.649 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 7.649 * [taylor]: Taking taylor expansion of -1 in x 7.649 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 7.649 * [taylor]: Taking taylor expansion of y in x 7.649 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 7.649 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.649 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.649 * [taylor]: Taking taylor expansion of -1 in x 7.649 * [taylor]: Taking taylor expansion of y in x 7.649 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 7.649 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 7.649 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 7.649 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.649 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.649 * [taylor]: Taking taylor expansion of -1 in x 7.649 * [taylor]: Taking taylor expansion of x in x 7.649 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 7.649 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 7.649 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.649 * [taylor]: Taking taylor expansion of -1 in x 7.649 * [taylor]: Taking taylor expansion of x in x 7.649 * [taylor]: Taking taylor expansion of 2 in x 7.649 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 7.649 * [taylor]: Taking taylor expansion of -1 in x 7.649 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 7.649 * [taylor]: Taking taylor expansion of y in x 7.649 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 7.649 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.649 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.649 * [taylor]: Taking taylor expansion of -1 in x 7.649 * [taylor]: Taking taylor expansion of y in x 7.650 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 7.650 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 7.650 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 7.650 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.650 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.650 * [taylor]: Taking taylor expansion of -1 in x 7.650 * [taylor]: Taking taylor expansion of x in x 7.650 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 7.650 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 7.650 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.650 * [taylor]: Taking taylor expansion of -1 in x 7.650 * [taylor]: Taking taylor expansion of x in x 7.650 * [taylor]: Taking taylor expansion of 2 in x 7.650 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (* (sin (/ -1 y)) y))) in y 7.650 * [taylor]: Taking taylor expansion of -1/2 in y 7.650 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (* (sin (/ -1 y)) y)) in y 7.651 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 7.651 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.651 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.651 * [taylor]: Taking taylor expansion of x in y 7.651 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 7.651 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.651 * [taylor]: Taking taylor expansion of -1 in y 7.651 * [taylor]: Taking taylor expansion of x in y 7.651 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 7.651 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.651 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.651 * [taylor]: Taking taylor expansion of -1 in y 7.651 * [taylor]: Taking taylor expansion of y in y 7.651 * [taylor]: Taking taylor expansion of y in y 7.652 * [taylor]: Taking taylor expansion of 0 in y 7.653 * [taylor]: Taking taylor expansion of 0 in y 7.655 * [taylor]: Taking taylor expansion of 0 in y 7.655 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 7.655 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 7.655 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 7.655 * [taylor]: Taking taylor expansion of (sin y) in y 7.656 * [taylor]: Taking taylor expansion of y in y 7.656 * [taylor]: Taking taylor expansion of y in y 7.656 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 7.656 * [taylor]: Taking taylor expansion of (sin y) in y 7.656 * [taylor]: Taking taylor expansion of y in y 7.656 * [taylor]: Taking taylor expansion of y in y 7.657 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 7.657 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.657 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.657 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.657 * [taylor]: Taking taylor expansion of y in y 7.657 * [taylor]: Taking taylor expansion of y in y 7.657 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.657 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.657 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.657 * [taylor]: Taking taylor expansion of y in y 7.657 * [taylor]: Taking taylor expansion of y in y 7.658 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 7.658 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 7.658 * [taylor]: Taking taylor expansion of -1 in y 7.658 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 7.658 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.658 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.658 * [taylor]: Taking taylor expansion of -1 in y 7.658 * [taylor]: Taking taylor expansion of y in y 7.658 * [taylor]: Taking taylor expansion of y in y 7.658 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 7.658 * [taylor]: Taking taylor expansion of -1 in y 7.658 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 7.658 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.658 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.658 * [taylor]: Taking taylor expansion of -1 in y 7.658 * [taylor]: Taking taylor expansion of y in y 7.658 * [taylor]: Taking taylor expansion of y in y 7.660 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 7.660 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0 7.660 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 7.660 * [taylor]: Taking taylor expansion of y in y 7.660 * [taylor]: Taking taylor expansion of (sin y) in y 7.660 * [taylor]: Taking taylor expansion of y in y 7.660 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 7.660 * [taylor]: Taking taylor expansion of y in y 7.660 * [taylor]: Taking taylor expansion of (sin y) in y 7.660 * [taylor]: Taking taylor expansion of y in y 7.662 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in (y) around 0 7.662 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 7.662 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.662 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.662 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.662 * [taylor]: Taking taylor expansion of y in y 7.662 * [taylor]: Taking taylor expansion of y in y 7.662 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 7.662 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.662 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.662 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.662 * [taylor]: Taking taylor expansion of y in y 7.662 * [taylor]: Taking taylor expansion of y in y 7.664 * [approximate]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in (y) around 0 7.664 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 7.664 * [taylor]: Taking taylor expansion of -1 in y 7.664 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 7.664 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.664 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.664 * [taylor]: Taking taylor expansion of -1 in y 7.664 * [taylor]: Taking taylor expansion of y in y 7.664 * [taylor]: Taking taylor expansion of y in y 7.664 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 7.664 * [taylor]: Taking taylor expansion of -1 in y 7.664 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 7.664 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.664 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.664 * [taylor]: Taking taylor expansion of -1 in y 7.664 * [taylor]: Taking taylor expansion of y in y 7.664 * [taylor]: Taking taylor expansion of y in y 7.666 * * * [progress]: simplifying candidates 7.669 * [simplify]: Simplifying using # : (* (cosh x) (/ 1 (/ y (sin y)))) (+ (log (cosh x)) (neg (- (log y) (log (sin y))))) (+ (log (cosh x)) (neg (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 (neg 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 (neg x))) (/ 1 (/ y (sin y)))) (neg 1) (neg (- (log y) (log (sin y)))) (neg (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)))) (neg 1) (neg (/ 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))) (neg y) (neg (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) (- (+ 1 (* 1/2 (pow x 2))) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (exp x) (sin y))) (* 1/2 (* (exp (neg x)) (sin y)))) y) (/ (+ (* 1/2 (* (exp x) (sin y))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)) (/ y (sin y)) (/ y (sin y)) 7.677 * * [simplify]: iteration 0 : 259 enodes (cost 2334 ) 7.788 * * [simplify]: iteration 1 : 618 enodes (cost 1858 ) 7.906 * * [simplify]: iteration 2 : 1460 enodes (cost 1615 ) 9.129 * * [simplify]: iteration done : 5001 enodes (cost 1581 ) 9.130 * [simplify]: Simplified to: (/ (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)))) (+ (exp x) (exp (neg x))) (* 2 (/ y (sin y))) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (* (cosh x) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (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 y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cosh x) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (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)) (* (cosh x) (sqrt (sin y))) (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 y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cosh x) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (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)) (* (cosh x) (sqrt (sin y))) (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 y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cosh x) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (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)) (* (cosh x) (sqrt (sin y))) (cosh x) (cosh x) (/ (cosh x) y) (cosh x) (cosh x) (/ (cosh x) y) (* (/ (sin y) y) (cbrt (cosh x))) (* (/ (sin y) y) (sqrt (cosh x))) (/ (cosh x) (/ y (sin y))) (cosh x) (/ (+ (exp x) (exp (neg x))) (/ y (sin y))) -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 (neg (/ 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 y) (cbrt (sin y))) (cbrt y))) (/ (cbrt (sin y)) (cbrt 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)) (/ (sqrt y) (cbrt (sin y)))) (/ (cbrt (sin y)) (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))) (/ (cbrt (sin y)) 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 y) (cbrt (sin y))) (cbrt y))) (/ (cbrt (sin y)) (cbrt 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)) (/ (sqrt y) (cbrt (sin y)))) (/ (cbrt (sin y)) (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))) (/ (cbrt (sin y)) 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 y) (cbrt (sin y))) (cbrt y))) (/ (cbrt (sin y)) (cbrt 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)) (/ (sqrt y) (cbrt (sin y)))) (/ (cbrt (sin y)) (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))) (/ (cbrt (sin y)) 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 y) (cbrt (sin y))) (cbrt y))) (/ (/ (sqrt (sin y)) (cbrt y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (/ (sqrt y) (cbrt (sin 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))) (neg y) (neg (sin y)) (* (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y))) (* (/ (cbrt y) (sqrt (sin y))) (cbrt 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) (- (+ 1 (* 1/2 (pow x 2))) (* 1/6 (pow y 2))) (/ (cosh x) (/ y (sin y))) (/ (cosh x) (/ y (sin y))) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)) (/ y (sin y)) (/ y (sin y)) 9.131 * * * [progress]: adding candidates to table 9.261 * * [progress]: iteration 3 / 4 9.261 * * * [progress]: picking best candidate 9.281 * * * * [pick]: Picked # 9.281 * * * [progress]: localizing error 9.293 * * * [progress]: generating rewritten candidates 9.293 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 9.337 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 9.348 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 9.394 * * * [progress]: generating series expansions 9.394 * * * * [progress]: [ 1 / 3 ] generating series at (2) 9.394 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 9.394 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 9.394 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 9.394 * [taylor]: Taking taylor expansion of (sin y) in y 9.394 * [taylor]: Taking taylor expansion of y in y 9.394 * [taylor]: Taking taylor expansion of (cosh x) in y 9.394 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 9.394 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in y 9.394 * [taylor]: Taking taylor expansion of (exp x) in y 9.394 * [taylor]: Taking taylor expansion of x in y 9.394 * [taylor]: Taking taylor expansion of (exp (neg x)) in y 9.394 * [taylor]: Taking taylor expansion of (neg x) in y 9.394 * [taylor]: Taking taylor expansion of x in y 9.394 * [taylor]: Taking taylor expansion of 2 in y 9.394 * [taylor]: Taking taylor expansion of y in y 9.395 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 9.395 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 9.395 * [taylor]: Taking taylor expansion of (sin y) in x 9.395 * [taylor]: Taking taylor expansion of y in x 9.395 * [taylor]: Taking taylor expansion of (cosh x) in x 9.395 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 9.395 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 9.395 * [taylor]: Taking taylor expansion of (exp x) in x 9.395 * [taylor]: Taking taylor expansion of x in x 9.395 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 9.395 * [taylor]: Taking taylor expansion of (neg x) in x 9.395 * [taylor]: Taking taylor expansion of x in x 9.395 * [taylor]: Taking taylor expansion of 2 in x 9.395 * [taylor]: Taking taylor expansion of y in x 9.395 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 9.395 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 9.395 * [taylor]: Taking taylor expansion of (sin y) in x 9.395 * [taylor]: Taking taylor expansion of y in x 9.395 * [taylor]: Taking taylor expansion of (cosh x) in x 9.395 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 9.395 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 9.395 * [taylor]: Taking taylor expansion of (exp x) in x 9.396 * [taylor]: Taking taylor expansion of x in x 9.396 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 9.396 * [taylor]: Taking taylor expansion of (neg x) in x 9.396 * [taylor]: Taking taylor expansion of x in x 9.396 * [taylor]: Taking taylor expansion of 2 in x 9.396 * [taylor]: Taking taylor expansion of y in x 9.396 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 9.396 * [taylor]: Taking taylor expansion of (sin y) in y 9.396 * [taylor]: Taking taylor expansion of y in y 9.396 * [taylor]: Taking taylor expansion of y in y 9.396 * [taylor]: Taking taylor expansion of 0 in y 9.397 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 9.397 * [taylor]: Taking taylor expansion of 1/2 in y 9.397 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 9.397 * [taylor]: Taking taylor expansion of (sin y) in y 9.397 * [taylor]: Taking taylor expansion of y in y 9.397 * [taylor]: Taking taylor expansion of y in y 9.398 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 9.398 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 9.398 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 9.398 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 9.398 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 9.398 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.398 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.398 * [taylor]: Taking taylor expansion of x in y 9.398 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 9.398 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 9.398 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.398 * [taylor]: Taking taylor expansion of x in y 9.398 * [taylor]: Taking taylor expansion of 2 in y 9.398 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 9.398 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.398 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.398 * [taylor]: Taking taylor expansion of y in y 9.399 * [taylor]: Taking taylor expansion of y in y 9.399 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 9.399 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 9.399 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 9.399 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 9.399 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.399 * [taylor]: Taking taylor expansion of x in x 9.399 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 9.399 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 9.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.399 * [taylor]: Taking taylor expansion of x in x 9.399 * [taylor]: Taking taylor expansion of 2 in x 9.399 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 9.399 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 9.399 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.399 * [taylor]: Taking taylor expansion of y in x 9.399 * [taylor]: Taking taylor expansion of y in x 9.399 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 9.399 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 9.399 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 9.399 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 9.399 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.399 * [taylor]: Taking taylor expansion of x in x 9.399 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 9.399 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 9.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.399 * [taylor]: Taking taylor expansion of x in x 9.400 * [taylor]: Taking taylor expansion of 2 in x 9.400 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 9.400 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 9.400 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.400 * [taylor]: Taking taylor expansion of y in x 9.400 * [taylor]: Taking taylor expansion of y in x 9.400 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) (* (sin (/ 1 y)) y))) in y 9.400 * [taylor]: Taking taylor expansion of 1/2 in y 9.400 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) (* (sin (/ 1 y)) y)) in y 9.400 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 9.400 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.400 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.400 * [taylor]: Taking taylor expansion of x in y 9.400 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 9.400 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 9.400 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.400 * [taylor]: Taking taylor expansion of x in y 9.400 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 9.400 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.400 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.400 * [taylor]: Taking taylor expansion of y in y 9.401 * [taylor]: Taking taylor expansion of y in y 9.401 * [taylor]: Taking taylor expansion of 0 in y 9.403 * [taylor]: Taking taylor expansion of 0 in y 9.404 * [taylor]: Taking taylor expansion of 0 in y 9.405 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 9.405 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 9.405 * [taylor]: Taking taylor expansion of -1 in y 9.405 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 9.405 * [taylor]: Taking taylor expansion of y in y 9.405 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 9.405 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.405 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.405 * [taylor]: Taking taylor expansion of -1 in y 9.405 * [taylor]: Taking taylor expansion of y in y 9.405 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 9.405 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 9.405 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in y 9.405 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 9.405 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.405 * [taylor]: Taking taylor expansion of -1 in y 9.405 * [taylor]: Taking taylor expansion of x in y 9.405 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in y 9.405 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in y 9.405 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.405 * [taylor]: Taking taylor expansion of -1 in y 9.405 * [taylor]: Taking taylor expansion of x in y 9.405 * [taylor]: Taking taylor expansion of 2 in y 9.405 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 9.405 * [taylor]: Taking taylor expansion of -1 in x 9.405 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 9.406 * [taylor]: Taking taylor expansion of y in x 9.406 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 9.406 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 9.406 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.406 * [taylor]: Taking taylor expansion of -1 in x 9.406 * [taylor]: Taking taylor expansion of y in x 9.406 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 9.406 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 9.406 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 9.406 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.406 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.406 * [taylor]: Taking taylor expansion of -1 in x 9.406 * [taylor]: Taking taylor expansion of x in x 9.406 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 9.406 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 9.406 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.406 * [taylor]: Taking taylor expansion of -1 in x 9.406 * [taylor]: Taking taylor expansion of x in x 9.406 * [taylor]: Taking taylor expansion of 2 in x 9.406 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 9.406 * [taylor]: Taking taylor expansion of -1 in x 9.406 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 9.406 * [taylor]: Taking taylor expansion of y in x 9.406 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 9.406 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 9.406 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.406 * [taylor]: Taking taylor expansion of -1 in x 9.406 * [taylor]: Taking taylor expansion of y in x 9.406 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 9.406 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 9.406 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 9.406 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.407 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.407 * [taylor]: Taking taylor expansion of -1 in x 9.407 * [taylor]: Taking taylor expansion of x in x 9.407 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 9.407 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 9.407 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.407 * [taylor]: Taking taylor expansion of -1 in x 9.407 * [taylor]: Taking taylor expansion of x in x 9.407 * [taylor]: Taking taylor expansion of 2 in x 9.407 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (* (sin (/ -1 y)) y))) in y 9.407 * [taylor]: Taking taylor expansion of -1/2 in y 9.407 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (* (sin (/ -1 y)) y)) in y 9.407 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 9.407 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.407 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.407 * [taylor]: Taking taylor expansion of x in y 9.408 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 9.408 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.408 * [taylor]: Taking taylor expansion of -1 in y 9.408 * [taylor]: Taking taylor expansion of x in y 9.408 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 9.408 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.408 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.408 * [taylor]: Taking taylor expansion of -1 in y 9.408 * [taylor]: Taking taylor expansion of y in y 9.408 * [taylor]: Taking taylor expansion of y in y 9.409 * [taylor]: Taking taylor expansion of 0 in y 9.410 * [taylor]: Taking taylor expansion of 0 in y 9.412 * [taylor]: Taking taylor expansion of 0 in y 9.412 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 9.412 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 9.412 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 9.412 * [taylor]: Taking taylor expansion of (sin y) in y 9.412 * [taylor]: Taking taylor expansion of y in y 9.412 * [taylor]: Taking taylor expansion of y in y 9.412 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 9.412 * [taylor]: Taking taylor expansion of (sin y) in y 9.412 * [taylor]: Taking taylor expansion of y in y 9.412 * [taylor]: Taking taylor expansion of y in y 9.414 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 9.414 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 9.414 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.414 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.414 * [taylor]: Taking taylor expansion of y in y 9.414 * [taylor]: Taking taylor expansion of y in y 9.414 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 9.414 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.414 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.414 * [taylor]: Taking taylor expansion of y in y 9.414 * [taylor]: Taking taylor expansion of y in y 9.415 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 9.415 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 9.415 * [taylor]: Taking taylor expansion of -1 in y 9.415 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 9.415 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.415 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.415 * [taylor]: Taking taylor expansion of -1 in y 9.415 * [taylor]: Taking taylor expansion of y in y 9.415 * [taylor]: Taking taylor expansion of y in y 9.415 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 9.415 * [taylor]: Taking taylor expansion of -1 in y 9.415 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 9.415 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.415 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.415 * [taylor]: Taking taylor expansion of -1 in y 9.415 * [taylor]: Taking taylor expansion of y in y 9.415 * [taylor]: Taking taylor expansion of y in y 9.416 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 9.417 * [approximate]: Taking taylor expansion of (/ 1 (sin y)) in (y) around 0 9.417 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 9.417 * [taylor]: Taking taylor expansion of (sin y) in y 9.417 * [taylor]: Taking taylor expansion of y in y 9.417 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 9.417 * [taylor]: Taking taylor expansion of (sin y) in y 9.417 * [taylor]: Taking taylor expansion of y in y 9.418 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in (y) around 0 9.418 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 9.418 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.418 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.418 * [taylor]: Taking taylor expansion of y in y 9.418 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 9.418 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.418 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.418 * [taylor]: Taking taylor expansion of y in y 9.420 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in (y) around 0 9.420 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 9.420 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.420 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.420 * [taylor]: Taking taylor expansion of -1 in y 9.420 * [taylor]: Taking taylor expansion of y in y 9.420 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 9.420 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.420 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.420 * [taylor]: Taking taylor expansion of -1 in y 9.420 * [taylor]: Taking taylor expansion of y in y 9.421 * * * [progress]: simplifying candidates 9.428 * [simplify]: Simplifying using # : (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))) (+ (log (cosh x)) (- (neg (log y)) (neg (log (sin y))))) (+ (log (cosh x)) (- (neg (log y)) (- 0 (log (sin y))))) (+ (log (cosh x)) (- (neg (log y)) (- (log 1) (log (sin y))))) (+ (log (cosh x)) (- (neg (log y)) (log (/ 1 (sin y))))) (+ (log (cosh x)) (- (- 0 (log y)) (neg (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)) (neg (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)) (neg (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 (neg 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 (neg x))) (/ (/ 1 y) (/ 1 (sin y)))) (- (neg (log y)) (neg (log (sin y)))) (- (neg (log y)) (- 0 (log (sin y)))) (- (neg (log y)) (- (log 1) (log (sin y)))) (- (neg (log y)) (log (/ 1 (sin y)))) (- (- 0 (log y)) (neg (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)) (neg (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)) (neg (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)))) (neg (/ 1 y)) (neg (/ 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) (neg 1) (neg (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))) (neg 1) (neg (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) (- (+ 1 (* 1/2 (pow x 2))) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (exp x) (sin y))) (* 1/2 (* (exp (neg x)) (sin y)))) y) (/ (+ (* 1/2 (* (exp x) (sin y))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (+ (* 1/6 y) (+ (* 7/360 (pow y 3)) (/ 1 y))) (/ 1 (sin y)) (/ 1 (sin y)) 9.463 * * [simplify]: iteration 0 : 624 enodes (cost 8547 ) 10.159 * * [simplify]: iteration 1 : 1847 enodes (cost 5947 ) 10.492 * * [simplify]: iteration 2 : 3497 enodes (cost 5067 ) 10.932 * * [simplify]: iteration done : 5000 enodes (cost 5067 ) 10.934 * [simplify]: Simplified to: (/ (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)))) (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) (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)))) (/ (+ (exp x) (exp (neg x))) 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 (/ 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))) (* (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)) (* (cosh x) (cbrt (/ (sin y) y)))) (* (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 (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (sin y)))) (cosh x)) (* (cosh x) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y)))) (* (cosh x) (* (cbrt (/ 1 y)) (cbrt (/ 1 y)))) (* (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (sin y)))) (cosh x)) (* (cosh x) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y)))) (* (cosh x) (* (cbrt (/ 1 y)) (cbrt (/ 1 y)))) (* (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (sin y)))) (cosh x)) (* (cosh x) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y)))) (* (cosh x) (* (cbrt (/ 1 y)) (cbrt (/ 1 y)))) (* (cosh x) (* (cbrt (/ 1 y)) (cbrt (/ 1 y)))) (* (cosh x) (* (cbrt (/ 1 y)) (cbrt (/ 1 y)))) (* (cosh x) (/ (sqrt (/ 1 y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (cosh x) (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y))))) (* (* (sqrt (/ 1 y)) (* (cbrt (sin y)) (cbrt (sin y)))) (cosh x)) (* (cosh x) (* (sqrt (/ 1 y)) (sqrt (sin y)))) (* (cosh x) (sqrt (/ 1 y))) (* (* (sqrt (/ 1 y)) (* (cbrt (sin y)) (cbrt (sin y)))) (cosh x)) (* (cosh x) (* (sqrt (/ 1 y)) (sqrt (sin y)))) (* (cosh x) (sqrt (/ 1 y))) (* (* (sqrt (/ 1 y)) (* (cbrt (sin y)) (cbrt (sin y)))) (cosh x)) (* (cosh x) (* (sqrt (/ 1 y)) (sqrt (sin y)))) (* (cosh x) (sqrt (/ 1 y))) (* (cosh x) (sqrt (/ 1 y))) (* (cosh x) (sqrt (/ 1 y))) (/ (cosh x) (* (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))) (* (cbrt y) (cbrt y)))) (/ (cosh x) (* (sqrt (/ 1 (sin y))) (* (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 (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) (* (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))) (sqrt y))) (/ (cosh x) (* (sqrt (/ 1 (sin y))) (sqrt y))) (/ (cosh x) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (* (/ (sqrt (sin y)) (sqrt y)) (cosh x)) (/ (cosh x) (sqrt y)) (/ (cosh x) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (* (/ (sqrt (sin y)) (sqrt y)) (cosh x)) (/ (cosh x) (sqrt y)) (/ (cosh x) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin 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)))) (* (cbrt y) (cbrt y)))) (/ (cosh x) (* (sqrt (/ 1 (sin y))) (* (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 (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) (* (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))) (sqrt y))) (/ (cosh x) (* (sqrt (/ 1 (sin y))) (sqrt y))) (/ (cosh x) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (* (/ (sqrt (sin y)) (sqrt y)) (cosh x)) (/ (cosh x) (sqrt y)) (/ (cosh x) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (* (/ (sqrt (sin y)) (sqrt y)) (cosh x)) (/ (cosh x) (sqrt y)) (/ (cosh x) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin 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)))) (* (cbrt y) (cbrt y)))) (/ (cosh x) (* (sqrt (/ 1 (sin y))) (* (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 (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) (* (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))) (sqrt y))) (/ (cosh x) (* (sqrt (/ 1 (sin y))) (sqrt y))) (/ (cosh x) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (* (/ (sqrt (sin y)) (sqrt y)) (cosh x)) (/ (cosh x) (sqrt y)) (/ (cosh x) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (* (/ (sqrt (sin y)) (sqrt y)) (cosh x)) (/ (cosh x) (sqrt y)) (/ (cosh x) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin 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)) (/ y (sin y))) (* (sqrt (cosh x)) (/ (sin y) y)) (/ (cosh x) (/ y (sin y))) (/ (cosh x) y) (* (+ (exp x) (exp (neg x))) (/ (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)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (pow (/ (sin y) y) 3) (pow (/ (sin y) y) 3) (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) (/ -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)) (cbrt (sin y))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y))) (* (cbrt (/ 1 y)) (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)) (cbrt (sin y))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y))) (* (cbrt (/ 1 y)) (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)) (cbrt (sin y))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y))) (* (cbrt (/ 1 y)) (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)))) (* (sqrt (/ 1 y)) (cbrt (sin 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)))) (* (sqrt (/ 1 y)) (cbrt (sin 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)))) (* (sqrt (/ 1 y)) (cbrt (sin 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)) (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)) (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)) (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 (sqrt y)) (cbrt (/ 1 (sin y)))) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin 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))) (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))) (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)) (/ 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)) (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)) (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)) (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 (sqrt y)) (cbrt (/ 1 (sin y)))) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin 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))) (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))) (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)) (/ 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)) (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)) (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)) (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 (sqrt y)) (cbrt (/ 1 (sin y)))) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin 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))) (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))) (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)) (/ 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) (/ y (sin 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)) (/ (sqrt y) (sin y)) (/ y (sin y)) (* (/ 1 (sin y)) (cbrt y)) (/ (sqrt y) (sin y)) (/ y (sin y)) (* (/ 1 (sin y)) (cbrt y)) (/ (sqrt y) (sin y)) (/ y (sin y)) (/ y (sin y)) (/ y (sin y)) (/ 1 y) (/ y (sin y)) -1 (neg (log (sin y))) (neg (log (sin y))) (neg (log (sin y))) (neg (log (sin y))) (exp (/ 1 (sin y))) (pow (/ 1 (sin y)) 3) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y))) (pow (/ 1 (sin y)) 3) (sqrt (/ 1 (sin y))) (sqrt (/ 1 (sin y))) -1 (neg (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) (- (+ 1 (* 1/2 (pow x 2))) (* 1/6 (pow y 2))) (/ (* 1/2 (+ (* (exp x) (sin y)) (/ (sin y) (exp x)))) y) (/ (* 1/2 (+ (* (exp x) (sin y)) (/ (sin y) (exp x)))) y) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (+ (* 1/6 y) (+ (* 7/360 (pow y 3)) (/ 1 y))) (/ 1 (sin y)) (/ 1 (sin y)) 10.938 * * * [progress]: adding candidates to table 11.259 * * [progress]: iteration 4 / 4 11.259 * * * [progress]: picking best candidate 11.277 * * * * [pick]: Picked # 11.277 * * * [progress]: localizing error 11.286 * * * [progress]: generating rewritten candidates 11.287 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 11.313 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 11.317 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 11.324 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 11.341 * * * [progress]: generating series expansions 11.341 * * * * [progress]: [ 1 / 4 ] generating series at (2) 11.341 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 11.341 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 11.341 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 11.341 * [taylor]: Taking taylor expansion of (sin y) in y 11.341 * [taylor]: Taking taylor expansion of y in y 11.341 * [taylor]: Taking taylor expansion of (cosh x) in y 11.341 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 11.341 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in y 11.341 * [taylor]: Taking taylor expansion of (exp x) in y 11.341 * [taylor]: Taking taylor expansion of x in y 11.341 * [taylor]: Taking taylor expansion of (exp (neg x)) in y 11.341 * [taylor]: Taking taylor expansion of (neg x) in y 11.341 * [taylor]: Taking taylor expansion of x in y 11.341 * [taylor]: Taking taylor expansion of 2 in y 11.341 * [taylor]: Taking taylor expansion of y in y 11.342 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 11.342 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 11.342 * [taylor]: Taking taylor expansion of (sin y) in x 11.342 * [taylor]: Taking taylor expansion of y in x 11.342 * [taylor]: Taking taylor expansion of (cosh x) in x 11.342 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 11.342 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 11.342 * [taylor]: Taking taylor expansion of (exp x) in x 11.342 * [taylor]: Taking taylor expansion of x in x 11.342 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 11.342 * [taylor]: Taking taylor expansion of (neg x) in x 11.342 * [taylor]: Taking taylor expansion of x in x 11.342 * [taylor]: Taking taylor expansion of 2 in x 11.342 * [taylor]: Taking taylor expansion of y in x 11.342 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 11.342 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 11.342 * [taylor]: Taking taylor expansion of (sin y) in x 11.342 * [taylor]: Taking taylor expansion of y in x 11.343 * [taylor]: Taking taylor expansion of (cosh x) in x 11.343 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 11.343 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 11.343 * [taylor]: Taking taylor expansion of (exp x) in x 11.343 * [taylor]: Taking taylor expansion of x in x 11.343 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 11.343 * [taylor]: Taking taylor expansion of (neg x) in x 11.343 * [taylor]: Taking taylor expansion of x in x 11.343 * [taylor]: Taking taylor expansion of 2 in x 11.343 * [taylor]: Taking taylor expansion of y in x 11.343 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 11.343 * [taylor]: Taking taylor expansion of (sin y) in y 11.343 * [taylor]: Taking taylor expansion of y in y 11.343 * [taylor]: Taking taylor expansion of y in y 11.344 * [taylor]: Taking taylor expansion of 0 in y 11.344 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 11.344 * [taylor]: Taking taylor expansion of 1/2 in y 11.344 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 11.344 * [taylor]: Taking taylor expansion of (sin y) in y 11.344 * [taylor]: Taking taylor expansion of y in y 11.344 * [taylor]: Taking taylor expansion of y in y 11.345 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 11.345 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 11.345 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 11.345 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 11.345 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 11.345 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 11.345 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.345 * [taylor]: Taking taylor expansion of x in y 11.345 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 11.345 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 11.345 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.345 * [taylor]: Taking taylor expansion of x in y 11.345 * [taylor]: Taking taylor expansion of 2 in y 11.346 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 11.346 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 11.346 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.346 * [taylor]: Taking taylor expansion of y in y 11.346 * [taylor]: Taking taylor expansion of y in y 11.346 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 11.346 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 11.346 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 11.346 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 11.346 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 11.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.346 * [taylor]: Taking taylor expansion of x in x 11.346 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 11.346 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 11.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.346 * [taylor]: Taking taylor expansion of x in x 11.346 * [taylor]: Taking taylor expansion of 2 in x 11.346 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 11.346 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 11.346 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.346 * [taylor]: Taking taylor expansion of y in x 11.346 * [taylor]: Taking taylor expansion of y in x 11.346 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 11.346 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 11.346 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 11.346 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 11.346 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 11.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.346 * [taylor]: Taking taylor expansion of x in x 11.347 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 11.347 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 11.347 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.347 * [taylor]: Taking taylor expansion of x in x 11.347 * [taylor]: Taking taylor expansion of 2 in x 11.347 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 11.347 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 11.347 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.347 * [taylor]: Taking taylor expansion of y in x 11.347 * [taylor]: Taking taylor expansion of y in x 11.347 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) (* (sin (/ 1 y)) y))) in y 11.347 * [taylor]: Taking taylor expansion of 1/2 in y 11.347 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) (* (sin (/ 1 y)) y)) in y 11.347 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 11.347 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 11.347 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.347 * [taylor]: Taking taylor expansion of x in y 11.347 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 11.347 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 11.347 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.347 * [taylor]: Taking taylor expansion of x in y 11.348 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 11.348 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 11.348 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.348 * [taylor]: Taking taylor expansion of y in y 11.348 * [taylor]: Taking taylor expansion of y in y 11.348 * [taylor]: Taking taylor expansion of 0 in y 11.350 * [taylor]: Taking taylor expansion of 0 in y 11.351 * [taylor]: Taking taylor expansion of 0 in y 11.352 * [approximate]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in (x y) around 0 11.352 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in y 11.352 * [taylor]: Taking taylor expansion of -1 in y 11.352 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in y 11.352 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 11.352 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 11.352 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in y 11.352 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 11.352 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.352 * [taylor]: Taking taylor expansion of -1 in y 11.352 * [taylor]: Taking taylor expansion of x in y 11.352 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in y 11.352 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in y 11.352 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.352 * [taylor]: Taking taylor expansion of -1 in y 11.352 * [taylor]: Taking taylor expansion of x in y 11.352 * [taylor]: Taking taylor expansion of 2 in y 11.352 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 11.352 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 11.352 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.352 * [taylor]: Taking taylor expansion of -1 in y 11.352 * [taylor]: Taking taylor expansion of y in y 11.352 * [taylor]: Taking taylor expansion of y in y 11.352 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in x 11.352 * [taylor]: Taking taylor expansion of -1 in x 11.352 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in x 11.352 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 11.353 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 11.353 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 11.353 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 11.353 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.353 * [taylor]: Taking taylor expansion of -1 in x 11.353 * [taylor]: Taking taylor expansion of x in x 11.353 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 11.353 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 11.353 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.353 * [taylor]: Taking taylor expansion of -1 in x 11.353 * [taylor]: Taking taylor expansion of x in x 11.353 * [taylor]: Taking taylor expansion of 2 in x 11.353 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 11.353 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 11.353 * [taylor]: Taking taylor expansion of (/ -1 y) in x 11.353 * [taylor]: Taking taylor expansion of -1 in x 11.353 * [taylor]: Taking taylor expansion of y in x 11.353 * [taylor]: Taking taylor expansion of y in x 11.353 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in x 11.353 * [taylor]: Taking taylor expansion of -1 in x 11.353 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in x 11.353 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 11.353 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 11.353 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 11.353 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 11.353 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.353 * [taylor]: Taking taylor expansion of -1 in x 11.353 * [taylor]: Taking taylor expansion of x in x 11.353 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 11.353 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 11.353 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.353 * [taylor]: Taking taylor expansion of -1 in x 11.354 * [taylor]: Taking taylor expansion of x in x 11.354 * [taylor]: Taking taylor expansion of 2 in x 11.354 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 11.354 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 11.354 * [taylor]: Taking taylor expansion of (/ -1 y) in x 11.354 * [taylor]: Taking taylor expansion of -1 in x 11.354 * [taylor]: Taking taylor expansion of y in x 11.354 * [taylor]: Taking taylor expansion of y in x 11.354 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (* (sin (/ -1 y)) y))) in y 11.354 * [taylor]: Taking taylor expansion of -1/2 in y 11.354 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (* (sin (/ -1 y)) y)) in y 11.354 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 11.354 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 11.354 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.354 * [taylor]: Taking taylor expansion of x in y 11.354 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 11.354 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.354 * [taylor]: Taking taylor expansion of -1 in y 11.354 * [taylor]: Taking taylor expansion of x in y 11.355 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 11.355 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 11.355 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.355 * [taylor]: Taking taylor expansion of -1 in y 11.355 * [taylor]: Taking taylor expansion of y in y 11.355 * [taylor]: Taking taylor expansion of y in y 11.355 * [taylor]: Taking taylor expansion of 0 in y 11.357 * [taylor]: Taking taylor expansion of 0 in y 11.359 * [taylor]: Taking taylor expansion of 0 in y 11.359 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 11.359 * [approximate]: Taking taylor expansion of (/ (cosh x) y) in (x y) around 0 11.359 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in y 11.359 * [taylor]: Taking taylor expansion of (cosh x) in y 11.359 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 11.359 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in y 11.359 * [taylor]: Taking taylor expansion of (exp x) in y 11.359 * [taylor]: Taking taylor expansion of x in y 11.359 * [taylor]: Taking taylor expansion of (exp (neg x)) in y 11.359 * [taylor]: Taking taylor expansion of (neg x) in y 11.359 * [taylor]: Taking taylor expansion of x in y 11.359 * [taylor]: Taking taylor expansion of 2 in y 11.359 * [taylor]: Taking taylor expansion of y in y 11.359 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in x 11.359 * [taylor]: Taking taylor expansion of (cosh x) in x 11.359 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 11.360 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 11.360 * [taylor]: Taking taylor expansion of (exp x) in x 11.360 * [taylor]: Taking taylor expansion of x in x 11.360 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 11.360 * [taylor]: Taking taylor expansion of (neg x) in x 11.360 * [taylor]: Taking taylor expansion of x in x 11.360 * [taylor]: Taking taylor expansion of 2 in x 11.360 * [taylor]: Taking taylor expansion of y in x 11.360 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in x 11.360 * [taylor]: Taking taylor expansion of (cosh x) in x 11.360 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 11.360 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 11.360 * [taylor]: Taking taylor expansion of (exp x) in x 11.360 * [taylor]: Taking taylor expansion of x in x 11.360 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 11.360 * [taylor]: Taking taylor expansion of (neg x) in x 11.360 * [taylor]: Taking taylor expansion of x in x 11.360 * [taylor]: Taking taylor expansion of 2 in x 11.360 * [taylor]: Taking taylor expansion of y in x 11.360 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.360 * [taylor]: Taking taylor expansion of y in y 11.360 * [taylor]: Taking taylor expansion of 0 in y 11.361 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 11.361 * [taylor]: Taking taylor expansion of 1/2 in y 11.361 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.361 * [taylor]: Taking taylor expansion of y in y 11.362 * [taylor]: Taking taylor expansion of 0 in y 11.363 * [taylor]: Taking taylor expansion of (* 1/24 (/ 1 y)) in y 11.363 * [taylor]: Taking taylor expansion of 1/24 in y 11.363 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.363 * [taylor]: Taking taylor expansion of y in y 11.363 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in (x y) around 0 11.363 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in y 11.363 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 11.363 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 11.363 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 11.363 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 11.363 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.363 * [taylor]: Taking taylor expansion of x in y 11.363 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 11.363 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 11.363 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.363 * [taylor]: Taking taylor expansion of x in y 11.363 * [taylor]: Taking taylor expansion of 2 in y 11.364 * [taylor]: Taking taylor expansion of y in y 11.364 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in x 11.364 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 11.364 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 11.364 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 11.364 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 11.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.364 * [taylor]: Taking taylor expansion of x in x 11.364 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 11.364 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 11.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.364 * [taylor]: Taking taylor expansion of x in x 11.364 * [taylor]: Taking taylor expansion of 2 in x 11.364 * [taylor]: Taking taylor expansion of y in x 11.364 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in x 11.364 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 11.364 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 11.364 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 11.364 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 11.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.364 * [taylor]: Taking taylor expansion of x in x 11.364 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 11.364 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 11.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.364 * [taylor]: Taking taylor expansion of x in x 11.364 * [taylor]: Taking taylor expansion of 2 in x 11.365 * [taylor]: Taking taylor expansion of y in x 11.365 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) y)) in y 11.365 * [taylor]: Taking taylor expansion of 1/2 in y 11.365 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) y) in y 11.365 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 11.365 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 11.365 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.365 * [taylor]: Taking taylor expansion of x in y 11.365 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 11.365 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 11.365 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.365 * [taylor]: Taking taylor expansion of x in y 11.365 * [taylor]: Taking taylor expansion of y in y 11.365 * [taylor]: Taking taylor expansion of 0 in y 11.366 * [taylor]: Taking taylor expansion of 0 in y 11.367 * [taylor]: Taking taylor expansion of 0 in y 11.367 * [approximate]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in (x y) around 0 11.367 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in y 11.367 * [taylor]: Taking taylor expansion of -1 in y 11.367 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in y 11.367 * [taylor]: Taking taylor expansion of y in y 11.367 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 11.368 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 11.368 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in y 11.368 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 11.368 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.368 * [taylor]: Taking taylor expansion of -1 in y 11.368 * [taylor]: Taking taylor expansion of x in y 11.368 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in y 11.368 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in y 11.368 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.368 * [taylor]: Taking taylor expansion of -1 in y 11.368 * [taylor]: Taking taylor expansion of x in y 11.368 * [taylor]: Taking taylor expansion of 2 in y 11.368 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in x 11.368 * [taylor]: Taking taylor expansion of -1 in x 11.368 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in x 11.368 * [taylor]: Taking taylor expansion of y in x 11.368 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 11.368 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 11.368 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 11.368 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 11.368 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.368 * [taylor]: Taking taylor expansion of -1 in x 11.368 * [taylor]: Taking taylor expansion of x in x 11.368 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 11.368 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 11.368 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.368 * [taylor]: Taking taylor expansion of -1 in x 11.368 * [taylor]: Taking taylor expansion of x in x 11.368 * [taylor]: Taking taylor expansion of 2 in x 11.369 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in x 11.369 * [taylor]: Taking taylor expansion of -1 in x 11.369 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in x 11.369 * [taylor]: Taking taylor expansion of y in x 11.369 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 11.369 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 11.369 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 11.369 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 11.369 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.369 * [taylor]: Taking taylor expansion of -1 in x 11.369 * [taylor]: Taking taylor expansion of x in x 11.369 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 11.369 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 11.369 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.369 * [taylor]: Taking taylor expansion of -1 in x 11.369 * [taylor]: Taking taylor expansion of x in x 11.369 * [taylor]: Taking taylor expansion of 2 in x 11.369 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) y)) in y 11.369 * [taylor]: Taking taylor expansion of -1/2 in y 11.369 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (/ -1 x))) y) in y 11.369 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 11.369 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 11.369 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.369 * [taylor]: Taking taylor expansion of x in y 11.369 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 11.369 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.369 * [taylor]: Taking taylor expansion of -1 in y 11.369 * [taylor]: Taking taylor expansion of x in y 11.370 * [taylor]: Taking taylor expansion of y in y 11.370 * [taylor]: Taking taylor expansion of 0 in y 11.371 * [taylor]: Taking taylor expansion of 0 in y 11.372 * [taylor]: Taking taylor expansion of 0 in y 11.372 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 11.372 * [approximate]: Taking taylor expansion of (sin y) in (y) around 0 11.372 * [taylor]: Taking taylor expansion of (sin y) in y 11.372 * [taylor]: Taking taylor expansion of y in y 11.372 * [taylor]: Taking taylor expansion of (sin y) in y 11.372 * [taylor]: Taking taylor expansion of y in y 11.373 * [approximate]: Taking taylor expansion of (sin (/ 1 y)) in (y) around 0 11.373 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 11.373 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.373 * [taylor]: Taking taylor expansion of y in y 11.373 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 11.374 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.374 * [taylor]: Taking taylor expansion of y in y 11.374 * [approximate]: Taking taylor expansion of (sin (/ -1 y)) in (y) around 0 11.374 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 11.374 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.374 * [taylor]: Taking taylor expansion of -1 in y 11.374 * [taylor]: Taking taylor expansion of y in y 11.374 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 11.374 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.374 * [taylor]: Taking taylor expansion of -1 in y 11.374 * [taylor]: Taking taylor expansion of y in y 11.374 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 11.374 * [approximate]: Taking taylor expansion of (/ 1 (sin y)) in (y) around 0 11.374 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 11.374 * [taylor]: Taking taylor expansion of (sin y) in y 11.374 * [taylor]: Taking taylor expansion of y in y 11.374 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 11.374 * [taylor]: Taking taylor expansion of (sin y) in y 11.374 * [taylor]: Taking taylor expansion of y in y 11.376 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in (y) around 0 11.376 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 11.376 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 11.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.376 * [taylor]: Taking taylor expansion of y in y 11.376 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 11.376 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 11.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.376 * [taylor]: Taking taylor expansion of y in y 11.377 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in (y) around 0 11.377 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 11.377 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 11.377 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.377 * [taylor]: Taking taylor expansion of -1 in y 11.377 * [taylor]: Taking taylor expansion of y in y 11.377 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 11.377 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 11.377 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.377 * [taylor]: Taking taylor expansion of -1 in y 11.377 * [taylor]: Taking taylor expansion of y in y 11.378 * * * [progress]: simplifying candidates 11.382 * [simplify]: Simplifying using # : (* (/ (cosh x) y) (/ 1 (/ 1 (sin y)))) (+ (- (log (cosh x)) (log y)) (neg (neg (log (sin y))))) (+ (- (log (cosh x)) (log y)) (neg (- 0 (log (sin y))))) (+ (- (log (cosh x)) (log y)) (neg (- (log 1) (log (sin y))))) (+ (- (log (cosh x)) (log y)) (neg (log (/ 1 (sin y))))) (+ (- (log (cosh x)) (log y)) (- 0 (neg (log (sin y))))) (+ (- (log (cosh x)) (log y)) (- 0 (- 0 (log (sin y))))) (+ (- (log (cosh x)) (log y)) (- 0 (- (log 1) (log (sin y))))) (+ (- (log (cosh x)) (log y)) (- 0 (log (/ 1 (sin y))))) (+ (- (log (cosh x)) (log y)) (- (log 1) (neg (log (sin y))))) (+ (- (log (cosh x)) (log y)) (- (log 1) (- 0 (log (sin y))))) (+ (- (log (cosh x)) (log y)) (- (log 1) (- (log 1) (log (sin y))))) (+ (- (log (cosh x)) (log y)) (- (log 1) (log (/ 1 (sin y))))) (+ (- (log (cosh x)) (log y)) (log (/ 1 (/ 1 (sin y))))) (+ (log (/ (cosh x) y)) (neg (neg (log (sin y))))) (+ (log (/ (cosh x) y)) (neg (- 0 (log (sin y))))) (+ (log (/ (cosh x) y)) (neg (- (log 1) (log (sin y))))) (+ (log (/ (cosh x) y)) (neg (log (/ 1 (sin y))))) (+ (log (/ (cosh x) y)) (- 0 (neg (log (sin y))))) (+ (log (/ (cosh x) y)) (- 0 (- 0 (log (sin y))))) (+ (log (/ (cosh x) y)) (- 0 (- (log 1) (log (sin y))))) (+ (log (/ (cosh x) y)) (- 0 (log (/ 1 (sin y))))) (+ (log (/ (cosh x) y)) (- (log 1) (neg (log (sin y))))) (+ (log (/ (cosh x) y)) (- (log 1) (- 0 (log (sin y))))) (+ (log (/ (cosh x) y)) (- (log 1) (- (log 1) (log (sin y))))) (+ (log (/ (cosh x) y)) (- (log 1) (log (/ 1 (sin y))))) (+ (log (/ (cosh x) y)) (log (/ 1 (/ 1 (sin y))))) (log (* (/ (cosh x) y) (/ 1 (/ 1 (sin y))))) (exp (* (/ (cosh x) y) (/ 1 (/ 1 (sin y))))) (* (/ (* (* (cosh x) (cosh x)) (cosh x)) (* (* y y) y)) (/ (* (* 1 1) 1) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y))))) (* (/ (* (* (cosh x) (cosh x)) (cosh x)) (* (* y y) y)) (/ (* (* 1 1) 1) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y))))) (* (/ (* (* (cosh x) (cosh x)) (cosh x)) (* (* y y) y)) (* (* (/ 1 (/ 1 (sin y))) (/ 1 (/ 1 (sin y)))) (/ 1 (/ 1 (sin y))))) (* (* (* (/ (cosh x) y) (/ (cosh x) y)) (/ (cosh x) y)) (/ (* (* 1 1) 1) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y))))) (* (* (* (/ (cosh x) y) (/ (cosh x) y)) (/ (cosh x) y)) (/ (* (* 1 1) 1) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y))))) (* (* (* (/ (cosh x) y) (/ (cosh x) y)) (/ (cosh x) y)) (* (* (/ 1 (/ 1 (sin y))) (/ 1 (/ 1 (sin y)))) (/ 1 (/ 1 (sin y))))) (* (cbrt (* (/ (cosh x) y) (/ 1 (/ 1 (sin y))))) (cbrt (* (/ (cosh x) y) (/ 1 (/ 1 (sin y)))))) (cbrt (* (/ (cosh x) y) (/ 1 (/ 1 (sin y))))) (* (* (* (/ (cosh x) y) (/ 1 (/ 1 (sin y)))) (* (/ (cosh x) y) (/ 1 (/ 1 (sin y))))) (* (/ (cosh x) y) (/ 1 (/ 1 (sin y))))) (sqrt (* (/ (cosh x) y) (/ 1 (/ 1 (sin y))))) (sqrt (* (/ (cosh x) y) (/ 1 (/ 1 (sin y))))) (* (cosh x) 1) (* y (/ 1 (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (/ 1 (/ 1 (sin y))))) (* (sqrt (/ (cosh x) y)) (sqrt (/ 1 (/ 1 (sin y))))) (* (sqrt (/ (cosh x) y)) (/ (sqrt 1) (sqrt (/ 1 (sin y))))) (* (sqrt (/ (cosh x) y)) (/ (sqrt 1) (sqrt (/ 1 (sin y))))) (* (sqrt (/ (cosh x) y)) (/ (sqrt 1) (/ (sqrt 1) (sqrt (sin y))))) (* (sqrt (/ (cosh x) y)) (/ (sqrt 1) (/ (sqrt 1) (sqrt (sin y))))) (* (sqrt (/ (cosh x) y)) (/ (sqrt 1) (/ 1 (sqrt (sin y))))) (* (sqrt (/ (cosh x) y)) (/ (sqrt 1) (/ 1 (sqrt (sin y))))) (* (sqrt (/ (cosh x) y)) (/ 1 (sqrt (/ 1 (sin y))))) (* (sqrt (/ (cosh x) y)) (/ 1 (sqrt (/ 1 (sin y))))) (* (sqrt (/ (cosh x) y)) (/ 1 (/ (sqrt 1) (sqrt (sin y))))) (* (sqrt (/ (cosh x) y)) (/ 1 (/ (sqrt 1) (sqrt (sin y))))) (* (sqrt (/ (cosh x) y)) (/ 1 (/ 1 (sqrt (sin y))))) (* (sqrt (/ (cosh x) y)) (/ 1 (/ 1 (sqrt (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (sqrt (/ 1 (/ 1 (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (sqrt (/ 1 (/ 1 (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt 1) (sqrt (/ 1 (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt 1) (sqrt (/ 1 (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt 1) (/ (sqrt 1) (sqrt (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt 1) (/ (sqrt 1) (sqrt (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt 1) (/ 1 (sqrt (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt 1) (/ 1 (sqrt (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (sqrt (/ 1 (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (sqrt (/ 1 (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (/ (sqrt 1) (sqrt (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (/ (sqrt 1) (sqrt (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (/ 1 (sqrt (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (/ 1 (sqrt (sin y))))) (* (/ (cosh x) y) (* (cbrt (/ 1 (/ 1 (sin y)))) (cbrt (/ 1 (/ 1 (sin y)))))) (* (/ (cosh x) y) (sqrt (/ 1 (/ 1 (sin y))))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ 1 (sin y))))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 1) (cbrt 1)) 1))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 1) (sqrt (sin y))))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 1) 1))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (sin y))))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (/ (cosh x) y) (/ (sqrt 1) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (/ (cosh x) y) (/ (sqrt 1) (sqrt (/ 1 (sin y))))) (* (/ (cosh x) y) (/ (sqrt 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (/ (cosh x) y) (/ (sqrt 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))) (* (/ (cosh x) y) (/ (sqrt 1) (/ (* (cbrt 1) (cbrt 1)) 1))) (* (/ (cosh x) y) (/ (sqrt 1) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (/ (cosh x) y) (/ (sqrt 1) (/ (sqrt 1) (sqrt (sin y))))) (* (/ (cosh x) y) (/ (sqrt 1) (/ (sqrt 1) 1))) (* (/ (cosh x) y) (/ (sqrt 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (/ (cosh x) y) (/ (sqrt 1) (/ 1 (sqrt (sin y))))) (* (/ (cosh x) y) (/ (sqrt 1) (/ 1 1))) (* (/ (cosh x) y) (/ (sqrt 1) 1)) (* (/ (cosh x) y) (/ (sqrt 1) 1)) (* (/ (cosh x) y) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (/ (cosh x) y) (/ 1 (sqrt (/ 1 (sin y))))) (* (/ (cosh x) y) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (/ (cosh x) y) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))) (* (/ (cosh x) y) (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1))) (* (/ (cosh x) y) (/ 1 (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (/ (cosh x) y) (/ 1 (/ (sqrt 1) (sqrt (sin y))))) (* (/ (cosh x) y) (/ 1 (/ (sqrt 1) 1))) (* (/ (cosh x) y) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (/ (cosh x) y) (/ 1 (/ 1 (sqrt (sin y))))) (* (/ (cosh x) y) (/ 1 (/ 1 1))) (* (/ (cosh x) y) (/ 1 1)) (* (/ (cosh x) y) (/ 1 1)) (* (/ (cosh x) y) 1) (* (/ (cosh x) y) 1) (* (/ (cosh x) y) (/ 1 1)) (* (cbrt (/ (cosh x) y)) (/ 1 (/ 1 (sin y)))) (* (sqrt (/ (cosh x) y)) (/ 1 (/ 1 (sin y)))) (* (/ (cbrt (cosh x)) (cbrt y)) (/ 1 (/ 1 (sin y)))) (* (/ (cbrt (cosh x)) (sqrt y)) (/ 1 (/ 1 (sin y)))) (* (/ (cbrt (cosh x)) y) (/ 1 (/ 1 (sin y)))) (* (/ (sqrt (cosh x)) (cbrt y)) (/ 1 (/ 1 (sin y)))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (/ 1 (sin y)))) (* (/ (sqrt (cosh x)) y) (/ 1 (/ 1 (sin y)))) (* (/ (cosh x) (cbrt y)) (/ 1 (/ 1 (sin y)))) (* (/ (cosh x) (sqrt y)) (/ 1 (/ 1 (sin y)))) (* (/ (cosh x) y) (/ 1 (/ 1 (sin y)))) (* (/ (cosh x) y) (/ 1 (/ 1 (sin y)))) (* (/ 1 y) (/ 1 (/ 1 (sin y)))) (* (/ (cosh x) y) 1) (* (cosh x) (/ 1 (/ 1 (sin y)))) (- (log (cosh x)) (log y)) (log (/ (cosh x) y)) (exp (/ (cosh x) y)) (/ (* (* (cosh x) (cosh x)) (cosh x)) (* (* y y) y)) (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (cbrt (/ (cosh x) y)) (* (* (/ (cosh x) y) (/ (cosh x) y)) (/ (cosh x) y)) (sqrt (/ (cosh x) y)) (sqrt (/ (cosh x) y)) (neg (cosh x)) (neg y) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (/ (cbrt (cosh x)) (cbrt y)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (/ (cbrt (cosh x)) (sqrt y)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) (/ (cbrt (cosh x)) y) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (/ (sqrt (cosh x)) (cbrt y)) (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt (cosh x)) 1) (/ (sqrt (cosh x)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (cosh x) (cbrt y)) (/ 1 (sqrt y)) (/ (cosh x) (sqrt y)) (/ 1 1) (/ (cosh x) y) (/ 1 y) (/ y (cosh x)) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (sqrt y)) (/ (cosh x) 1) (/ y (cbrt (cosh x))) (/ y (sqrt (cosh x))) (/ y (cosh x)) (* y 2) (neg -1) (neg (neg 1)) (neg 1) (neg (neg (log (sin y)))) (neg (- 0 (log (sin y)))) (neg (- (log 1) (log (sin y)))) (neg (log (/ 1 (sin y)))) (- 0 (neg (log (sin y)))) (- 0 (- 0 (log (sin y)))) (- 0 (- (log 1) (log (sin y)))) (- 0 (log (/ 1 (sin y)))) (- (log 1) (neg (log (sin y)))) (- (log 1) (- 0 (log (sin y)))) (- (log 1) (- (log 1) (log (sin y)))) (- (log 1) (log (/ 1 (sin y)))) (log (/ 1 (/ 1 (sin y)))) (exp (/ 1 (/ 1 (sin y)))) (/ (* (* 1 1) 1) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y)))) (/ (* (* 1 1) 1) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y)))) (* (cbrt (/ 1 (/ 1 (sin y)))) (cbrt (/ 1 (/ 1 (sin y))))) (cbrt (/ 1 (/ 1 (sin y)))) (* (* (/ 1 (/ 1 (sin y))) (/ 1 (/ 1 (sin y)))) (/ 1 (/ 1 (sin y)))) (sqrt (/ 1 (/ 1 (sin y)))) (sqrt (/ 1 (/ 1 (sin y)))) (neg 1) (neg (/ 1 (sin y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (cbrt 1) (cbrt (/ 1 (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ 1 (sin y)))) (/ (cbrt 1) (sqrt (/ 1 (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ (cbrt 1) (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (cbrt 1) (/ (cbrt 1) (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (cbrt 1) (/ (cbrt 1) (sin y))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ (sqrt 1) (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 1) (sqrt (sin y)))) (/ (cbrt 1) (/ (sqrt 1) (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 1) 1)) (/ (cbrt 1) (/ (sqrt 1) (sin y))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ 1 (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (sin y)))) (/ (cbrt 1) (/ 1 (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ 1 (sin y))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ 1 (sin y))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ 1 (sin y))) (/ (sqrt 1) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (sqrt 1) (cbrt (/ 1 (sin y)))) (/ (sqrt 1) (sqrt (/ 1 (sin y)))) (/ (sqrt 1) (sqrt (/ 1 (sin y)))) (/ (sqrt 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ (cbrt 1) (cbrt (sin y)))) (/ (sqrt 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (sqrt 1) (/ (cbrt 1) (sqrt (sin y)))) (/ (sqrt 1) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (sqrt 1) (/ (cbrt 1) (sin y))) (/ (sqrt 1) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ (sqrt 1) (cbrt (sin y)))) (/ (sqrt 1) (/ (sqrt 1) (sqrt (sin y)))) (/ (sqrt 1) (/ (sqrt 1) (sqrt (sin y)))) (/ (sqrt 1) (/ (sqrt 1) 1)) (/ (sqrt 1) (/ (sqrt 1) (sin y))) (/ (sqrt 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ 1 (cbrt (sin y)))) (/ (sqrt 1) (/ 1 (sqrt (sin y)))) (/ (sqrt 1) (/ 1 (sqrt (sin y)))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ 1 (sin y))) (/ (sqrt 1) 1) (/ (sqrt 1) (/ 1 (sin y))) (/ (sqrt 1) 1) (/ (sqrt 1) (/ 1 (sin y))) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ 1 (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (cbrt 1) (cbrt (sin y)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ 1 (/ (cbrt 1) (sqrt (sin y)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1)) (/ 1 (/ (cbrt 1) (sin y))) (/ 1 (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (sqrt 1) (cbrt (sin y)))) (/ 1 (/ (sqrt 1) (sqrt (sin y)))) (/ 1 (/ (sqrt 1) (sqrt (sin y)))) (/ 1 (/ (sqrt 1) 1)) (/ 1 (/ (sqrt 1) (sin y))) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ 1 (cbrt (sin y)))) (/ 1 (/ 1 (sqrt (sin y)))) (/ 1 (/ 1 (sqrt (sin y)))) (/ 1 (/ 1 1)) (/ 1 (/ 1 (sin y))) (/ 1 1) (/ 1 (/ 1 (sin y))) (/ 1 1) (/ 1 (/ 1 (sin y))) (/ 1 (/ 1 (sin y))) (/ (/ 1 (sin y)) 1) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ 1 (sqrt (/ 1 (sin y)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1)) (/ 1 (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (sqrt 1) (sqrt (sin y)))) (/ 1 (/ (sqrt 1) 1)) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ 1 (sqrt (sin y)))) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 1) (/ (/ 1 (sin y)) (cbrt 1)) (/ (/ 1 (sin y)) (sqrt 1)) (/ (/ 1 (sin y)) 1) (/ 1 1) (neg 1) (neg (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))) (neg 1) (neg (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) (- (+ 1 (* 1/2 (pow x 2))) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (exp x) (sin y))) (* 1/2 (* (exp (neg x)) (sin y)))) y) (/ (+ (* 1/2 (* (exp x) (sin y))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) (+ (* 1/24 (/ (pow x 4) y)) (+ (* 1/2 (/ (pow x 2) y)) (/ 1 y))) (/ (+ (* 1/2 (exp x)) (* 1/2 (exp (neg x)))) y) (/ (+ (* 1/2 (exp x)) (* 1/2 (exp (* -1 x)))) y) (- (+ (* 1/120 (pow y 5)) y) (* 1/6 (pow y 3))) (sin y) (sin y) (+ (* 1/6 y) (+ (* 7/360 (pow y 3)) (/ 1 y))) (/ 1 (sin y)) (/ 1 (sin y)) 11.398 * * [simplify]: iteration 0 : 345 enodes (cost 3564 ) 11.749 * * [simplify]: iteration 1 : 973 enodes (cost 2204 ) 12.212 * * [simplify]: iteration 2 : 2027 enodes (cost 2030 ) 12.957 * * [simplify]: iteration done : 5000 enodes (cost 2030 ) 12.958 * [simplify]: Simplified to: (* (sin y) (/ (cosh x) y)) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (log (* (sin y) (/ (cosh x) y))) (exp (* (sin y) (/ (cosh x) y))) (pow (* (sin y) (/ (cosh x) y)) 3) (pow (* (sin y) (/ (cosh x) y)) 3) (pow (* (sin y) (/ (cosh x) y)) 3) (pow (* (sin y) (/ (cosh x) y)) 3) (pow (* (sin y) (/ (cosh x) y)) 3) (pow (* (sin y) (/ (cosh x) y)) 3) (* (cbrt (* (sin y) (/ (cosh x) y))) (cbrt (* (sin y) (/ (cosh x) y)))) (cbrt (* (sin y) (/ (cosh x) y))) (pow (* (sin y) (/ (cosh x) y)) 3) (sqrt (* (sin y) (/ (cosh x) y))) (sqrt (* (sin y) (/ (cosh x) y))) (cosh x) (/ y (sin y)) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (/ (sqrt (/ (cosh x) y)) (sqrt (/ 1 (sin y)))) (/ (sqrt (/ (cosh x) y)) (sqrt (/ 1 (sin y)))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (/ (sqrt (/ (cosh x) y)) (sqrt (/ 1 (sin y)))) (/ (sqrt (/ (cosh x) y)) (sqrt (/ 1 (sin y)))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (/ (/ (sqrt (cosh x)) (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt (cosh x)) (sqrt y)) (sqrt (/ 1 (sin y)))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (/ (/ (sqrt (cosh x)) (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt (cosh x)) (sqrt y)) (sqrt (/ 1 (sin y)))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (/ (cosh x) y)) (* (/ (cosh x) y) (sqrt (sin y))) (/ (/ (cosh x) y) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) y) (sqrt (/ 1 (sin y)))) (* (* (cbrt (sin y)) (cbrt (sin y))) (/ (cosh x) y)) (* (/ (cosh x) y) (sqrt (sin y))) (/ (cosh x) y) (* (* (cbrt (sin y)) (cbrt (sin y))) (/ (cosh x) y)) (* (/ (cosh x) y) (sqrt (sin y))) (/ (cosh x) y) (* (* (cbrt (sin y)) (cbrt (sin y))) (/ (cosh x) y)) (* (/ (cosh x) y) (sqrt (sin y))) (/ (cosh x) y) (/ (cosh x) y) (/ (cosh x) y) (/ (/ (cosh x) y) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) y) (sqrt (/ 1 (sin y)))) (* (* (cbrt (sin y)) (cbrt (sin y))) (/ (cosh x) y)) (* (/ (cosh x) y) (sqrt (sin y))) (/ (cosh x) y) (* (* (cbrt (sin y)) (cbrt (sin y))) (/ (cosh x) y)) (* (/ (cosh x) y) (sqrt (sin y))) (/ (cosh x) y) (* (* (cbrt (sin y)) (cbrt (sin y))) (/ (cosh x) y)) (* (/ (cosh x) y) (sqrt (sin y))) (/ (cosh x) y) (/ (cosh x) y) (/ (cosh x) y) (/ (/ (cosh x) y) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) y) (sqrt (/ 1 (sin y)))) (* (* (cbrt (sin y)) (cbrt (sin y))) (/ (cosh x) y)) (* (/ (cosh x) y) (sqrt (sin y))) (/ (cosh x) y) (* (* (cbrt (sin y)) (cbrt (sin y))) (/ (cosh x) y)) (* (/ (cosh x) y) (sqrt (sin y))) (/ (cosh x) y) (* (* (cbrt (sin y)) (cbrt (sin y))) (/ (cosh x) y)) (* (/ (cosh x) y) (sqrt (sin y))) (/ (cosh x) y) (/ (cosh x) y) (/ (cosh x) y) (/ (cosh x) y) (/ (cosh x) y) (/ (cosh x) y) (* (sin y) (cbrt (/ (cosh x) y))) (* (sin y) (sqrt (/ (cosh x) y))) (* (sin y) (/ (cbrt (cosh x)) (cbrt y))) (* (sin y) (/ (cbrt (cosh x)) (sqrt y))) (* (/ (cbrt (cosh x)) y) (sin y)) (* (sin y) (/ (sqrt (cosh x)) (cbrt y))) (* (sin y) (/ (sqrt (cosh x)) (sqrt y))) (* (sin y) (/ (sqrt (cosh x)) y)) (* (sin y) (/ (cosh x) (cbrt y))) (* (sin y) (/ (cosh x) (sqrt y))) (* (sin y) (/ (cosh x) y)) (* (sin y) (/ (cosh x) y)) (/ (sin y) y) (/ (cosh x) y) (* (sin y) (cosh x)) (log (/ (cosh x) y)) (log (/ (cosh x) y)) (exp (/ (cosh x) y)) (pow (/ (cosh x) y) 3) (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (cbrt (/ (cosh x) y)) (pow (/ (cosh x) y) 3) (sqrt (/ (cosh x) y)) (sqrt (/ (cosh x) y)) (neg (cosh x)) (neg y) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (/ (cbrt (cosh x)) (cbrt y)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (/ (cbrt (cosh x)) (sqrt y)) (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (cbrt (cosh x)) y) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (/ (sqrt (cosh x)) (cbrt y)) (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt (cosh x)) (sqrt y)) (sqrt (cosh x)) (/ (sqrt (cosh x)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (cosh x) (cbrt y)) (/ 1 (sqrt y)) (/ (cosh x) (sqrt y)) 1 (/ (cosh x) y) (/ 1 y) (/ y (cosh x)) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (sqrt y)) (cosh x) (/ y (cbrt (cosh x))) (/ y (sqrt (cosh x))) (/ y (cosh x)) (* y 2) 1 1 -1 (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (exp (sin y)) (pow (sin y) 3) (pow (sin y) 3) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (pow (sin y) 3) (sqrt (sin y)) (sqrt (sin y)) -1 (/ -1 (sin y)) (/ (/ 1 (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y)))) (/ 1 (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (sqrt (sin y)) (sqrt (sin y)) 1 (sin y) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (sqrt (sin y)) (sqrt (sin y)) 1 (sin y) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (sqrt (sin y)) (sqrt (sin y)) 1 (sin y) 1 (sin y) 1 (sin y) (/ (/ 1 (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y)))) (/ 1 (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (sqrt (sin y)) (sqrt (sin y)) 1 (sin y) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (sqrt (sin y)) (sqrt (sin y)) 1 (sin y) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (sqrt (sin y)) (sqrt (sin y)) 1 (sin y) 1 (sin y) 1 (sin y) (/ (/ 1 (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y)))) (/ 1 (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (sqrt (sin y)) (sqrt (sin y)) 1 (sin y) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (sqrt (sin y)) (sqrt (sin y)) 1 (sin y) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (sqrt (sin y)) (sqrt (sin y)) 1 (sin y) 1 (sin y) 1 (sin y) (sin y) (/ 1 (sin y)) (/ (/ 1 (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (sqrt (sin y)) 1 (* (cbrt (sin y)) (cbrt (sin y))) (sqrt (sin y)) 1 (* (cbrt (sin y)) (cbrt (sin y))) (sqrt (sin y)) 1 1 1 (/ 1 (sin y)) (/ 1 (sin y)) (/ 1 (sin y)) 1 -1 (neg (log (sin y))) (neg (log (sin y))) (neg (log (sin y))) (neg (log (sin y))) (exp (/ 1 (sin y))) (pow (/ 1 (sin y)) 3) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y))) (pow (/ 1 (sin y)) 3) (sqrt (/ 1 (sin y))) (sqrt (/ 1 (sin y))) -1 (neg (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) (- (+ 1 (* 1/2 (pow x 2))) (* 1/6 (pow y 2))) (/ 1/2 (/ y (+ (/ (sin y) (exp x)) (* (exp x) (sin y))))) (/ 1/2 (/ y (+ (/ (sin y) (exp x)) (* (exp x) (sin y))))) (+ (* 1/24 (/ (pow x 4) y)) (+ (* 1/2 (/ (pow x 2) y)) (/ 1 y))) (/ (* 1/2 (+ (exp x) (exp (neg x)))) y) (/ (* 1/2 (+ (exp x) (exp (neg x)))) y) (- (+ (* 1/120 (pow y 5)) y) (* 1/6 (pow y 3))) (sin y) (sin y) (+ (* 1/6 y) (+ (* 7/360 (pow y 3)) (/ 1 y))) (/ 1 (sin y)) (/ 1 (sin y)) 12.960 * * * [progress]: adding candidates to table 13.118 * [progress]: [Phase 3 of 3] Extracting. 13.118 * * [regime]: Finding splitpoints for: (# # # # # # # #) 13.119 * * * [regime-changes]: Trying 5 branch expressions: ((/ (sin y) y) (cosh x) (* (cosh x) (/ (sin y) y)) y x) 13.119 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (# # # # # # # #) 13.174 * * * * [regimes]: Trying to branch on (cosh x) from (# # # # # # # #) 13.222 * * * * [regimes]: Trying to branch on (* (cosh x) (/ (sin y) y)) from (# # # # # # # #) 13.282 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 13.335 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 13.388 * * * [regime]: Found split indices: #