9.307 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.095 * * * [progress]: [2/2] Setting up program. 0.099 * [progress]: [Phase 2 of 3] Improving. 0.099 * [simplify]: Simplifying using # : (* (cosh x) (/ (sin y) y)) 0.099 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.100 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.102 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 0.105 * * [simplify]: iteration 3 : 53 enodes (cost 7 ) 0.112 * * [simplify]: iteration 4 : 92 enodes (cost 7 ) 0.123 * * [simplify]: iteration 5 : 131 enodes (cost 7 ) 0.144 * * [simplify]: iteration 6 : 262 enodes (cost 7 ) 0.189 * * [simplify]: iteration 7 : 653 enodes (cost 7 ) 0.329 * * [simplify]: iteration 8 : 1647 enodes (cost 7 ) 0.766 * * [simplify]: iteration 9 : 3714 enodes (cost 7 ) 1.259 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 1.259 * [simplify]: Simplified to: (* (cosh x) (/ (sin y) y)) 1.259 * * [progress]: iteration 1 / 4 1.259 * * * [progress]: picking best candidate 1.263 * * * * [pick]: Picked # 1.263 * * * [progress]: localizing error 1.271 * * * [progress]: generating rewritten candidates 1.271 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.279 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1.285 * * * [progress]: generating series expansions 1.285 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.285 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 1.285 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 1.285 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 1.285 * [taylor]: Taking taylor expansion of (sin y) in y 1.285 * [taylor]: Taking taylor expansion of y in y 1.285 * [taylor]: Taking taylor expansion of (cosh x) in y 1.286 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 1.286 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in y 1.286 * [taylor]: Taking taylor expansion of (exp x) in y 1.286 * [taylor]: Taking taylor expansion of x in y 1.286 * [taylor]: Taking taylor expansion of (exp (neg x)) in y 1.286 * [taylor]: Taking taylor expansion of (neg x) in y 1.286 * [taylor]: Taking taylor expansion of x in y 1.286 * [taylor]: Taking taylor expansion of 2 in y 1.286 * [taylor]: Taking taylor expansion of y in y 1.287 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 1.287 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 1.287 * [taylor]: Taking taylor expansion of (sin y) in x 1.287 * [taylor]: Taking taylor expansion of y in x 1.287 * [taylor]: Taking taylor expansion of (cosh x) in x 1.287 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 1.287 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 1.287 * [taylor]: Taking taylor expansion of (exp x) in x 1.287 * [taylor]: Taking taylor expansion of x in x 1.287 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 1.287 * [taylor]: Taking taylor expansion of (neg x) in x 1.287 * [taylor]: Taking taylor expansion of x in x 1.287 * [taylor]: Taking taylor expansion of 2 in x 1.287 * [taylor]: Taking taylor expansion of y in x 1.287 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 1.287 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 1.287 * [taylor]: Taking taylor expansion of (sin y) in x 1.287 * [taylor]: Taking taylor expansion of y in x 1.287 * [taylor]: Taking taylor expansion of (cosh x) in x 1.288 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 1.288 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 1.288 * [taylor]: Taking taylor expansion of (exp x) in x 1.288 * [taylor]: Taking taylor expansion of x in x 1.288 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 1.288 * [taylor]: Taking taylor expansion of (neg x) in x 1.288 * [taylor]: Taking taylor expansion of x in x 1.288 * [taylor]: Taking taylor expansion of 2 in x 1.288 * [taylor]: Taking taylor expansion of y in x 1.288 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 1.288 * [taylor]: Taking taylor expansion of (sin y) in y 1.288 * [taylor]: Taking taylor expansion of y in y 1.288 * [taylor]: Taking taylor expansion of y in y 1.289 * [taylor]: Taking taylor expansion of 0 in y 1.289 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 1.290 * [taylor]: Taking taylor expansion of 1/2 in y 1.290 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 1.290 * [taylor]: Taking taylor expansion of (sin y) in y 1.290 * [taylor]: Taking taylor expansion of y in y 1.290 * [taylor]: Taking taylor expansion of y in y 1.290 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 1.290 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 1.290 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 1.290 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 1.290 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 1.290 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.290 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.290 * [taylor]: Taking taylor expansion of x in y 1.290 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 1.290 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 1.291 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.291 * [taylor]: Taking taylor expansion of x in y 1.291 * [taylor]: Taking taylor expansion of 2 in y 1.291 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 1.291 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.291 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.291 * [taylor]: Taking taylor expansion of y in y 1.291 * [taylor]: Taking taylor expansion of y in y 1.291 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 1.291 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.291 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 1.291 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 1.291 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.291 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 1.291 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 1.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.291 * [taylor]: Taking taylor expansion of 2 in x 1.291 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 1.291 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.291 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.291 * [taylor]: Taking taylor expansion of y in x 1.292 * [taylor]: Taking taylor expansion of y in x 1.292 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 1.292 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.292 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 1.292 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 1.292 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.292 * [taylor]: Taking taylor expansion of x in x 1.292 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 1.292 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 1.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.292 * [taylor]: Taking taylor expansion of x in x 1.292 * [taylor]: Taking taylor expansion of 2 in x 1.292 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 1.292 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.292 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.292 * [taylor]: Taking taylor expansion of y in x 1.292 * [taylor]: Taking taylor expansion of y in x 1.293 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) (* (sin (/ 1 y)) y))) in y 1.293 * [taylor]: Taking taylor expansion of 1/2 in y 1.293 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) (* (sin (/ 1 y)) y)) in y 1.293 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 1.293 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.293 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.293 * [taylor]: Taking taylor expansion of x in y 1.293 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 1.293 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 1.293 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.293 * [taylor]: Taking taylor expansion of x in y 1.293 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 1.293 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.293 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.293 * [taylor]: Taking taylor expansion of y in y 1.293 * [taylor]: Taking taylor expansion of y in y 1.294 * [taylor]: Taking taylor expansion of 0 in y 1.295 * [taylor]: Taking taylor expansion of 0 in y 1.297 * [taylor]: Taking taylor expansion of 0 in y 1.297 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 1.297 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 1.297 * [taylor]: Taking taylor expansion of -1 in y 1.297 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 1.297 * [taylor]: Taking taylor expansion of y in y 1.297 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 1.297 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.297 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.297 * [taylor]: Taking taylor expansion of -1 in y 1.297 * [taylor]: Taking taylor expansion of y in y 1.298 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 1.298 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 1.298 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in y 1.298 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.298 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.298 * [taylor]: Taking taylor expansion of -1 in y 1.298 * [taylor]: Taking taylor expansion of x in y 1.298 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in y 1.298 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in y 1.298 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.298 * [taylor]: Taking taylor expansion of -1 in y 1.298 * [taylor]: Taking taylor expansion of x in y 1.298 * [taylor]: Taking taylor expansion of 2 in y 1.298 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 1.298 * [taylor]: Taking taylor expansion of -1 in x 1.298 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 1.298 * [taylor]: Taking taylor expansion of y in x 1.298 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 1.298 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.298 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.298 * [taylor]: Taking taylor expansion of -1 in x 1.298 * [taylor]: Taking taylor expansion of y in x 1.298 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 1.298 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 1.298 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 1.298 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.298 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.298 * [taylor]: Taking taylor expansion of -1 in x 1.298 * [taylor]: Taking taylor expansion of x in x 1.299 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 1.299 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 1.299 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.299 * [taylor]: Taking taylor expansion of -1 in x 1.299 * [taylor]: Taking taylor expansion of x in x 1.299 * [taylor]: Taking taylor expansion of 2 in x 1.299 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 1.299 * [taylor]: Taking taylor expansion of -1 in x 1.299 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 1.299 * [taylor]: Taking taylor expansion of y in x 1.299 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 1.299 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.299 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.299 * [taylor]: Taking taylor expansion of -1 in x 1.299 * [taylor]: Taking taylor expansion of y in x 1.299 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 1.299 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 1.299 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 1.299 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.299 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.299 * [taylor]: Taking taylor expansion of -1 in x 1.299 * [taylor]: Taking taylor expansion of x in x 1.299 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 1.299 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 1.299 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.299 * [taylor]: Taking taylor expansion of -1 in x 1.299 * [taylor]: Taking taylor expansion of x in x 1.299 * [taylor]: Taking taylor expansion of 2 in x 1.300 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (* (sin (/ -1 y)) y))) in y 1.300 * [taylor]: Taking taylor expansion of -1/2 in y 1.300 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (* (sin (/ -1 y)) y)) in y 1.300 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 1.300 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.300 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.300 * [taylor]: Taking taylor expansion of x in y 1.300 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.300 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.300 * [taylor]: Taking taylor expansion of -1 in y 1.300 * [taylor]: Taking taylor expansion of x in y 1.300 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 1.300 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.300 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.300 * [taylor]: Taking taylor expansion of -1 in y 1.300 * [taylor]: Taking taylor expansion of y in y 1.300 * [taylor]: Taking taylor expansion of y in y 1.301 * [taylor]: Taking taylor expansion of 0 in y 1.303 * [taylor]: Taking taylor expansion of 0 in y 1.305 * [taylor]: Taking taylor expansion of 0 in y 1.305 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1.305 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 1.305 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 1.305 * [taylor]: Taking taylor expansion of (sin y) in y 1.305 * [taylor]: Taking taylor expansion of y in y 1.305 * [taylor]: Taking taylor expansion of y in y 1.305 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 1.305 * [taylor]: Taking taylor expansion of (sin y) in y 1.305 * [taylor]: Taking taylor expansion of y in y 1.305 * [taylor]: Taking taylor expansion of y in y 1.307 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 1.307 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 1.307 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.307 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.307 * [taylor]: Taking taylor expansion of y in y 1.307 * [taylor]: Taking taylor expansion of y in y 1.307 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 1.307 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.307 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.307 * [taylor]: Taking taylor expansion of y in y 1.307 * [taylor]: Taking taylor expansion of y in y 1.308 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 1.308 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 1.308 * [taylor]: Taking taylor expansion of -1 in y 1.308 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 1.308 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.308 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.308 * [taylor]: Taking taylor expansion of -1 in y 1.308 * [taylor]: Taking taylor expansion of y in y 1.308 * [taylor]: Taking taylor expansion of y in y 1.308 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 1.308 * [taylor]: Taking taylor expansion of -1 in y 1.308 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 1.308 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.308 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.308 * [taylor]: Taking taylor expansion of -1 in y 1.308 * [taylor]: Taking taylor expansion of y in y 1.308 * [taylor]: Taking taylor expansion of y in y 1.309 * * * [progress]: simplifying candidates 1.310 * [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) 1.314 * * [simplify]: iteration 0 : 120 enodes (cost 663 ) 1.336 * * [simplify]: iteration 1 : 270 enodes (cost 638 ) 1.394 * * [simplify]: iteration 2 : 1076 enodes (cost 580 ) 1.856 * * [simplify]: iteration 3 : 4040 enodes (cost 568 ) 2.527 * * [simplify]: iteration done : 5000 enodes (cost 568 ) 2.528 * [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))) (* (sin y) (+ (exp (neg x)) (exp x))) (* 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))) (* (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cosh x)) (* (cosh x) (sqrt (/ (sin y) y))) (* (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (cosh x)) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (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 (neg x)) (exp 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 y)) (/ (cbrt (sin 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))) (/ (* (* (sin y) (+ (exp x) (exp (neg x)))) 1/2) y) (/ (* (* (sin y) (+ (exp x) (exp (neg x)))) 1/2) y) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) 2.528 * * * [progress]: adding candidates to table 2.599 * * [progress]: iteration 2 / 4 2.599 * * * [progress]: picking best candidate 2.626 * * * * [pick]: Picked # 2.626 * * * [progress]: localizing error 2.635 * * * [progress]: generating rewritten candidates 2.635 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 2.652 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 2.664 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 2.681 * * * [progress]: generating series expansions 2.681 * * * * [progress]: [ 1 / 3 ] generating series at (2) 2.681 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 2.681 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 2.681 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 2.681 * [taylor]: Taking taylor expansion of (sin y) in y 2.681 * [taylor]: Taking taylor expansion of y in y 2.681 * [taylor]: Taking taylor expansion of (cosh x) in y 2.681 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 2.681 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in y 2.681 * [taylor]: Taking taylor expansion of (exp x) in y 2.681 * [taylor]: Taking taylor expansion of x in y 2.681 * [taylor]: Taking taylor expansion of (exp (neg x)) in y 2.681 * [taylor]: Taking taylor expansion of (neg x) in y 2.681 * [taylor]: Taking taylor expansion of x in y 2.681 * [taylor]: Taking taylor expansion of 2 in y 2.681 * [taylor]: Taking taylor expansion of y in y 2.682 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 2.682 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 2.682 * [taylor]: Taking taylor expansion of (sin y) in x 2.682 * [taylor]: Taking taylor expansion of y in x 2.682 * [taylor]: Taking taylor expansion of (cosh x) in x 2.682 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 2.682 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 2.682 * [taylor]: Taking taylor expansion of (exp x) in x 2.682 * [taylor]: Taking taylor expansion of x in x 2.682 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 2.682 * [taylor]: Taking taylor expansion of (neg x) in x 2.682 * [taylor]: Taking taylor expansion of x in x 2.682 * [taylor]: Taking taylor expansion of 2 in x 2.682 * [taylor]: Taking taylor expansion of y in x 2.683 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 2.683 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 2.683 * [taylor]: Taking taylor expansion of (sin y) in x 2.683 * [taylor]: Taking taylor expansion of y in x 2.683 * [taylor]: Taking taylor expansion of (cosh x) in x 2.683 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 2.683 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 2.683 * [taylor]: Taking taylor expansion of (exp x) in x 2.683 * [taylor]: Taking taylor expansion of x in x 2.683 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 2.683 * [taylor]: Taking taylor expansion of (neg x) in x 2.683 * [taylor]: Taking taylor expansion of x in x 2.683 * [taylor]: Taking taylor expansion of 2 in x 2.683 * [taylor]: Taking taylor expansion of y in x 2.683 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 2.683 * [taylor]: Taking taylor expansion of (sin y) in y 2.683 * [taylor]: Taking taylor expansion of y in y 2.683 * [taylor]: Taking taylor expansion of y in y 2.684 * [taylor]: Taking taylor expansion of 0 in y 2.685 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 2.685 * [taylor]: Taking taylor expansion of 1/2 in y 2.685 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 2.685 * [taylor]: Taking taylor expansion of (sin y) in y 2.685 * [taylor]: Taking taylor expansion of y in y 2.685 * [taylor]: Taking taylor expansion of y in y 2.686 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 2.686 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 2.686 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 2.686 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 2.686 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 2.686 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.686 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.686 * [taylor]: Taking taylor expansion of x in y 2.686 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 2.686 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 2.686 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.686 * [taylor]: Taking taylor expansion of x in y 2.686 * [taylor]: Taking taylor expansion of 2 in y 2.686 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 2.686 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.686 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.686 * [taylor]: Taking taylor expansion of y in y 2.686 * [taylor]: Taking taylor expansion of y in y 2.686 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 2.686 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 2.687 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 2.687 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 2.687 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.687 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.687 * [taylor]: Taking taylor expansion of x in x 2.687 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 2.687 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 2.687 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.687 * [taylor]: Taking taylor expansion of x in x 2.687 * [taylor]: Taking taylor expansion of 2 in x 2.688 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 2.688 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 2.688 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.688 * [taylor]: Taking taylor expansion of y in x 2.688 * [taylor]: Taking taylor expansion of y in x 2.688 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 2.688 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 2.688 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 2.688 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 2.688 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.688 * [taylor]: Taking taylor expansion of x in x 2.688 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 2.688 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 2.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.688 * [taylor]: Taking taylor expansion of x in x 2.688 * [taylor]: Taking taylor expansion of 2 in x 2.688 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 2.688 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 2.688 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.688 * [taylor]: Taking taylor expansion of y in x 2.688 * [taylor]: Taking taylor expansion of y in x 2.689 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) (* (sin (/ 1 y)) y))) in y 2.689 * [taylor]: Taking taylor expansion of 1/2 in y 2.689 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) (* (sin (/ 1 y)) y)) in y 2.689 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 2.689 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.689 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.689 * [taylor]: Taking taylor expansion of x in y 2.689 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 2.689 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 2.689 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.689 * [taylor]: Taking taylor expansion of x in y 2.689 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 2.689 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.689 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.689 * [taylor]: Taking taylor expansion of y in y 2.689 * [taylor]: Taking taylor expansion of y in y 2.690 * [taylor]: Taking taylor expansion of 0 in y 2.691 * [taylor]: Taking taylor expansion of 0 in y 2.693 * [taylor]: Taking taylor expansion of 0 in y 2.693 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 2.693 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 2.693 * [taylor]: Taking taylor expansion of -1 in y 2.693 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 2.693 * [taylor]: Taking taylor expansion of y in y 2.693 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 2.694 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.694 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.694 * [taylor]: Taking taylor expansion of -1 in y 2.694 * [taylor]: Taking taylor expansion of y in y 2.694 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 2.694 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 2.694 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in y 2.694 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.694 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.694 * [taylor]: Taking taylor expansion of -1 in y 2.694 * [taylor]: Taking taylor expansion of x in y 2.694 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in y 2.694 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in y 2.694 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.694 * [taylor]: Taking taylor expansion of -1 in y 2.694 * [taylor]: Taking taylor expansion of x in y 2.694 * [taylor]: Taking taylor expansion of 2 in y 2.694 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 2.694 * [taylor]: Taking taylor expansion of -1 in x 2.694 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 2.694 * [taylor]: Taking taylor expansion of y in x 2.694 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 2.694 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 2.694 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.694 * [taylor]: Taking taylor expansion of -1 in x 2.694 * [taylor]: Taking taylor expansion of y in x 2.694 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 2.694 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 2.694 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 2.695 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.695 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.695 * [taylor]: Taking taylor expansion of -1 in x 2.695 * [taylor]: Taking taylor expansion of x in x 2.695 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 2.695 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 2.695 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.695 * [taylor]: Taking taylor expansion of -1 in x 2.695 * [taylor]: Taking taylor expansion of x in x 2.695 * [taylor]: Taking taylor expansion of 2 in x 2.695 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 2.695 * [taylor]: Taking taylor expansion of -1 in x 2.695 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 2.695 * [taylor]: Taking taylor expansion of y in x 2.695 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 2.695 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 2.695 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.695 * [taylor]: Taking taylor expansion of -1 in x 2.695 * [taylor]: Taking taylor expansion of y in x 2.695 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 2.695 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 2.695 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 2.695 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.695 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.695 * [taylor]: Taking taylor expansion of -1 in x 2.695 * [taylor]: Taking taylor expansion of x in x 2.695 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 2.695 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 2.695 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.695 * [taylor]: Taking taylor expansion of -1 in x 2.695 * [taylor]: Taking taylor expansion of x in x 2.696 * [taylor]: Taking taylor expansion of 2 in x 2.696 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (* (sin (/ -1 y)) y))) in y 2.696 * [taylor]: Taking taylor expansion of -1/2 in y 2.696 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (* (sin (/ -1 y)) y)) in y 2.696 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 2.696 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.696 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.696 * [taylor]: Taking taylor expansion of x in y 2.696 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.696 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.696 * [taylor]: Taking taylor expansion of -1 in y 2.696 * [taylor]: Taking taylor expansion of x in y 2.696 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 2.696 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.696 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.696 * [taylor]: Taking taylor expansion of -1 in y 2.696 * [taylor]: Taking taylor expansion of y in y 2.697 * [taylor]: Taking taylor expansion of y in y 2.697 * [taylor]: Taking taylor expansion of 0 in y 2.699 * [taylor]: Taking taylor expansion of 0 in y 2.701 * [taylor]: Taking taylor expansion of 0 in y 2.701 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 2.701 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 2.701 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 2.701 * [taylor]: Taking taylor expansion of (sin y) in y 2.701 * [taylor]: Taking taylor expansion of y in y 2.701 * [taylor]: Taking taylor expansion of y in y 2.701 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 2.701 * [taylor]: Taking taylor expansion of (sin y) in y 2.701 * [taylor]: Taking taylor expansion of y in y 2.701 * [taylor]: Taking taylor expansion of y in y 2.703 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 2.703 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 2.703 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.703 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.703 * [taylor]: Taking taylor expansion of y in y 2.703 * [taylor]: Taking taylor expansion of y in y 2.703 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 2.703 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.703 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.703 * [taylor]: Taking taylor expansion of y in y 2.703 * [taylor]: Taking taylor expansion of y in y 2.704 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 2.704 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 2.704 * [taylor]: Taking taylor expansion of -1 in y 2.704 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 2.704 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.704 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.704 * [taylor]: Taking taylor expansion of -1 in y 2.704 * [taylor]: Taking taylor expansion of y in y 2.704 * [taylor]: Taking taylor expansion of y in y 2.704 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 2.704 * [taylor]: Taking taylor expansion of -1 in y 2.704 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 2.704 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.704 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.704 * [taylor]: Taking taylor expansion of -1 in y 2.704 * [taylor]: Taking taylor expansion of y in y 2.704 * [taylor]: Taking taylor expansion of y in y 2.706 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 2.706 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0 2.706 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 2.706 * [taylor]: Taking taylor expansion of y in y 2.706 * [taylor]: Taking taylor expansion of (sin y) in y 2.706 * [taylor]: Taking taylor expansion of y in y 2.706 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 2.706 * [taylor]: Taking taylor expansion of y in y 2.706 * [taylor]: Taking taylor expansion of (sin y) in y 2.706 * [taylor]: Taking taylor expansion of y in y 2.707 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in (y) around 0 2.707 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 2.707 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 2.707 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.707 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.707 * [taylor]: Taking taylor expansion of y in y 2.707 * [taylor]: Taking taylor expansion of y in y 2.708 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 2.708 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 2.708 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.708 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.708 * [taylor]: Taking taylor expansion of y in y 2.708 * [taylor]: Taking taylor expansion of y in y 2.710 * [approximate]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in (y) around 0 2.710 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 2.710 * [taylor]: Taking taylor expansion of -1 in y 2.710 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 2.710 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.710 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.710 * [taylor]: Taking taylor expansion of -1 in y 2.710 * [taylor]: Taking taylor expansion of y in y 2.710 * [taylor]: Taking taylor expansion of y in y 2.710 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 2.710 * [taylor]: Taking taylor expansion of -1 in y 2.710 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 2.710 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.710 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.710 * [taylor]: Taking taylor expansion of -1 in y 2.710 * [taylor]: Taking taylor expansion of y in y 2.710 * [taylor]: Taking taylor expansion of y in y 2.712 * * * [progress]: simplifying candidates 2.714 * [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)) 2.723 * * [simplify]: iteration 0 : 259 enodes (cost 2334 ) 2.769 * * [simplify]: iteration 1 : 631 enodes (cost 2015 ) 2.904 * * [simplify]: iteration 2 : 2210 enodes (cost 1744 ) 3.611 * * [simplify]: iteration done : 5000 enodes (cost 1621 ) 3.612 * [simplify]: Simplified to: (/ (cosh x) (/ y (sin y))) (- (log (cosh x)) (- (log y) (log (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (- (log (cosh x)) (- (log y) (log (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (- (log (cosh x)) (- (log y) (log (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 (neg x)) (exp x)) (* (/ y (sin y)) 2) (* (sqrt (/ (sin y) y)) (sqrt (cosh x))) (* (sqrt (/ (sin y) y)) (sqrt (cosh x))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt 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 (sin y)) (sqrt 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 (sin y)) (sqrt 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 (sin y)) (sqrt 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) (/ (cbrt (cosh x)) (/ y (sin y))) (/ (sqrt (cosh x)) (/ y (sin y))) (/ (cosh x) (/ y (sin y))) (cosh x) (/ (+ (exp x) (exp (neg x))) (/ y (sin y))) -1 (- (log (sin y)) (log y)) (log (/ (sin y) y)) (- (log (sin y)) (log y)) (log (/ (sin y) y)) (- (log (sin y)) (log 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 (sin y))) (cbrt y)) (cbrt y)) (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ (/ (sqrt (sin y)) (cbrt y)) (cbrt y)) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ 1 (/ y (cbrt (sin y)))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (/ 1 y) (sin y) (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (cbrt y)) (cbrt y)) (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ (/ (sqrt (sin y)) (cbrt y)) (cbrt y)) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ 1 (/ y (cbrt (sin y)))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (/ 1 y) (sin y) (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (cbrt y)) (cbrt y)) (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ (/ (sqrt (sin y)) (cbrt y)) (cbrt y)) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ 1 (/ y (cbrt (sin y)))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (/ 1 y) (sin y) (/ (sin y) y) (/ y (sin y)) (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (cbrt y)) (cbrt y)) (/ (/ (sqrt (sin y)) (cbrt y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (sqrt (sin y)) 1 1 (/ 1 y) (/ y (sin y)) (/ y (sin y)) (/ y (sin y)) (/ 1 y) (- (log y) (log (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 y)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y))) (* (cbrt y) (/ (cbrt y) (sqrt (sin y)))) (/ (cbrt y) (sqrt (sin y))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sin y)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt y) (cbrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (sqrt y) (/ (sqrt y) (sin y)) (/ (/ 1 (cbrt (sin y))) (cbrt (sin y))) (/ y (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y))) 1 (/ y (sin y)) (/ 1 (sin y)) (/ (sin y) y) (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) y (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (- (+ 1 (* 1/2 (pow x 2))) (* 1/6 (pow y 2))) (/ (* 1/2 (* (sin y) (+ (exp x) (exp (neg x))))) y) (/ (* 1/2 (* (sin y) (+ (exp x) (exp (neg x))))) 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)) 3.619 * * * [progress]: adding candidates to table 3.763 * * [progress]: iteration 3 / 4 3.763 * * * [progress]: picking best candidate 3.785 * * * * [pick]: Picked # 3.785 * * * [progress]: localizing error 3.794 * * * [progress]: generating rewritten candidates 3.794 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 3.847 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 3.860 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 3.907 * * * [progress]: generating series expansions 3.907 * * * * [progress]: [ 1 / 3 ] generating series at (2) 3.908 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 3.908 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 3.908 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 3.908 * [taylor]: Taking taylor expansion of (sin y) in y 3.908 * [taylor]: Taking taylor expansion of y in y 3.908 * [taylor]: Taking taylor expansion of (cosh x) in y 3.908 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 3.908 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in y 3.908 * [taylor]: Taking taylor expansion of (exp x) in y 3.908 * [taylor]: Taking taylor expansion of x in y 3.908 * [taylor]: Taking taylor expansion of (exp (neg x)) in y 3.908 * [taylor]: Taking taylor expansion of (neg x) in y 3.908 * [taylor]: Taking taylor expansion of x in y 3.908 * [taylor]: Taking taylor expansion of 2 in y 3.908 * [taylor]: Taking taylor expansion of y in y 3.909 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 3.909 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 3.909 * [taylor]: Taking taylor expansion of (sin y) in x 3.909 * [taylor]: Taking taylor expansion of y in x 3.909 * [taylor]: Taking taylor expansion of (cosh x) in x 3.909 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 3.909 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 3.909 * [taylor]: Taking taylor expansion of (exp x) in x 3.909 * [taylor]: Taking taylor expansion of x in x 3.909 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 3.909 * [taylor]: Taking taylor expansion of (neg x) in x 3.909 * [taylor]: Taking taylor expansion of x in x 3.909 * [taylor]: Taking taylor expansion of 2 in x 3.909 * [taylor]: Taking taylor expansion of y in x 3.909 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 3.909 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 3.909 * [taylor]: Taking taylor expansion of (sin y) in x 3.909 * [taylor]: Taking taylor expansion of y in x 3.909 * [taylor]: Taking taylor expansion of (cosh x) in x 3.909 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 3.909 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 3.909 * [taylor]: Taking taylor expansion of (exp x) in x 3.909 * [taylor]: Taking taylor expansion of x in x 3.909 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 3.909 * [taylor]: Taking taylor expansion of (neg x) in x 3.909 * [taylor]: Taking taylor expansion of x in x 3.909 * [taylor]: Taking taylor expansion of 2 in x 3.910 * [taylor]: Taking taylor expansion of y in x 3.910 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 3.910 * [taylor]: Taking taylor expansion of (sin y) in y 3.910 * [taylor]: Taking taylor expansion of y in y 3.910 * [taylor]: Taking taylor expansion of y in y 3.910 * [taylor]: Taking taylor expansion of 0 in y 3.911 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 3.911 * [taylor]: Taking taylor expansion of 1/2 in y 3.911 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 3.911 * [taylor]: Taking taylor expansion of (sin y) in y 3.911 * [taylor]: Taking taylor expansion of y in y 3.911 * [taylor]: Taking taylor expansion of y in y 3.912 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 3.912 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 3.912 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 3.912 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 3.912 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 3.912 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 3.912 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.912 * [taylor]: Taking taylor expansion of x in y 3.912 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 3.912 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 3.912 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.912 * [taylor]: Taking taylor expansion of x in y 3.912 * [taylor]: Taking taylor expansion of 2 in y 3.912 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 3.913 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.913 * [taylor]: Taking taylor expansion of y in y 3.913 * [taylor]: Taking taylor expansion of y in y 3.913 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 3.913 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 3.913 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 3.913 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 3.913 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.913 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.913 * [taylor]: Taking taylor expansion of x in x 3.913 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 3.913 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 3.913 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.913 * [taylor]: Taking taylor expansion of x in x 3.913 * [taylor]: Taking taylor expansion of 2 in x 3.913 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 3.913 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 3.913 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.913 * [taylor]: Taking taylor expansion of y in x 3.913 * [taylor]: Taking taylor expansion of y in x 3.913 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 3.913 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 3.913 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 3.913 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 3.913 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.913 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.913 * [taylor]: Taking taylor expansion of x in x 3.914 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 3.914 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 3.914 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.914 * [taylor]: Taking taylor expansion of x in x 3.914 * [taylor]: Taking taylor expansion of 2 in x 3.914 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 3.914 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 3.914 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.914 * [taylor]: Taking taylor expansion of y in x 3.914 * [taylor]: Taking taylor expansion of y in x 3.914 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) (* (sin (/ 1 y)) y))) in y 3.914 * [taylor]: Taking taylor expansion of 1/2 in y 3.914 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) (* (sin (/ 1 y)) y)) in y 3.914 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 3.914 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 3.914 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.914 * [taylor]: Taking taylor expansion of x in y 3.914 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 3.914 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 3.914 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.914 * [taylor]: Taking taylor expansion of x in y 3.915 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 3.915 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.915 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.915 * [taylor]: Taking taylor expansion of y in y 3.915 * [taylor]: Taking taylor expansion of y in y 3.915 * [taylor]: Taking taylor expansion of 0 in y 3.917 * [taylor]: Taking taylor expansion of 0 in y 3.919 * [taylor]: Taking taylor expansion of 0 in y 3.919 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 3.919 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 3.919 * [taylor]: Taking taylor expansion of -1 in y 3.919 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 3.919 * [taylor]: Taking taylor expansion of y in y 3.919 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 3.919 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.919 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.919 * [taylor]: Taking taylor expansion of -1 in y 3.919 * [taylor]: Taking taylor expansion of y in y 3.919 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 3.919 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 3.919 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in y 3.919 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 3.919 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.919 * [taylor]: Taking taylor expansion of -1 in y 3.919 * [taylor]: Taking taylor expansion of x in y 3.919 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in y 3.919 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in y 3.919 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.920 * [taylor]: Taking taylor expansion of -1 in y 3.920 * [taylor]: Taking taylor expansion of x in y 3.920 * [taylor]: Taking taylor expansion of 2 in y 3.920 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 3.920 * [taylor]: Taking taylor expansion of -1 in x 3.920 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 3.920 * [taylor]: Taking taylor expansion of y in x 3.920 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 3.920 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 3.920 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.920 * [taylor]: Taking taylor expansion of -1 in x 3.920 * [taylor]: Taking taylor expansion of y in x 3.920 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 3.920 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 3.920 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 3.920 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.920 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.920 * [taylor]: Taking taylor expansion of -1 in x 3.920 * [taylor]: Taking taylor expansion of x in x 3.920 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 3.920 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 3.920 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.920 * [taylor]: Taking taylor expansion of -1 in x 3.920 * [taylor]: Taking taylor expansion of x in x 3.920 * [taylor]: Taking taylor expansion of 2 in x 3.921 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 3.921 * [taylor]: Taking taylor expansion of -1 in x 3.921 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 3.921 * [taylor]: Taking taylor expansion of y in x 3.921 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 3.921 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 3.921 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.921 * [taylor]: Taking taylor expansion of -1 in x 3.921 * [taylor]: Taking taylor expansion of y in x 3.921 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 3.921 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 3.921 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 3.921 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.921 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.921 * [taylor]: Taking taylor expansion of -1 in x 3.921 * [taylor]: Taking taylor expansion of x in x 3.921 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 3.921 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 3.921 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.921 * [taylor]: Taking taylor expansion of -1 in x 3.921 * [taylor]: Taking taylor expansion of x in x 3.921 * [taylor]: Taking taylor expansion of 2 in x 3.922 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (* (sin (/ -1 y)) y))) in y 3.922 * [taylor]: Taking taylor expansion of -1/2 in y 3.922 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (* (sin (/ -1 y)) y)) in y 3.922 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 3.922 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 3.922 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.922 * [taylor]: Taking taylor expansion of x in y 3.922 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 3.922 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.922 * [taylor]: Taking taylor expansion of -1 in y 3.922 * [taylor]: Taking taylor expansion of x in y 3.922 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 3.922 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.922 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.922 * [taylor]: Taking taylor expansion of -1 in y 3.922 * [taylor]: Taking taylor expansion of y in y 3.922 * [taylor]: Taking taylor expansion of y in y 3.923 * [taylor]: Taking taylor expansion of 0 in y 3.925 * [taylor]: Taking taylor expansion of 0 in y 3.926 * [taylor]: Taking taylor expansion of 0 in y 3.927 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 3.927 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 3.927 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 3.927 * [taylor]: Taking taylor expansion of (sin y) in y 3.927 * [taylor]: Taking taylor expansion of y in y 3.927 * [taylor]: Taking taylor expansion of y in y 3.927 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 3.927 * [taylor]: Taking taylor expansion of (sin y) in y 3.927 * [taylor]: Taking taylor expansion of y in y 3.927 * [taylor]: Taking taylor expansion of y in y 3.928 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 3.928 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 3.928 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.929 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.929 * [taylor]: Taking taylor expansion of y in y 3.929 * [taylor]: Taking taylor expansion of y in y 3.929 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 3.929 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.929 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.929 * [taylor]: Taking taylor expansion of y in y 3.929 * [taylor]: Taking taylor expansion of y in y 3.930 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 3.930 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 3.930 * [taylor]: Taking taylor expansion of -1 in y 3.930 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 3.930 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.930 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.930 * [taylor]: Taking taylor expansion of -1 in y 3.930 * [taylor]: Taking taylor expansion of y in y 3.930 * [taylor]: Taking taylor expansion of y in y 3.930 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 3.930 * [taylor]: Taking taylor expansion of -1 in y 3.930 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 3.930 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.930 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.930 * [taylor]: Taking taylor expansion of -1 in y 3.930 * [taylor]: Taking taylor expansion of y in y 3.930 * [taylor]: Taking taylor expansion of y in y 3.931 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 3.931 * [approximate]: Taking taylor expansion of (/ 1 (sin y)) in (y) around 0 3.931 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 3.931 * [taylor]: Taking taylor expansion of (sin y) in y 3.931 * [taylor]: Taking taylor expansion of y in y 3.931 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 3.931 * [taylor]: Taking taylor expansion of (sin y) in y 3.932 * [taylor]: Taking taylor expansion of y in y 3.933 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in (y) around 0 3.933 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 3.933 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.933 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.933 * [taylor]: Taking taylor expansion of y in y 3.933 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 3.933 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.933 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.933 * [taylor]: Taking taylor expansion of y in y 3.934 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in (y) around 0 3.934 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 3.934 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.934 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.934 * [taylor]: Taking taylor expansion of -1 in y 3.934 * [taylor]: Taking taylor expansion of y in y 3.934 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 3.935 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.935 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.935 * [taylor]: Taking taylor expansion of -1 in y 3.935 * [taylor]: Taking taylor expansion of y in y 3.936 * * * [progress]: simplifying candidates 3.944 * [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)) 3.979 * * [simplify]: iteration 0 : 624 enodes (cost 8547 ) 4.100 * * [simplify]: iteration 1 : 1862 enodes (cost 6997 ) 4.546 * * [simplify]: iteration done : 5001 enodes (cost 5626 ) 4.549 * [simplify]: Simplified to: (* (cosh x) (/ (sin y) y)) (- (- (log (cosh x)) (log y)) (neg (log (sin y)))) (- (- (log (cosh x)) (log y)) (neg (log (sin y)))) (- (- (log (cosh x)) (log y)) (neg (log (sin y)))) (- (- (log (cosh x)) (log y)) (neg (log (sin y)))) (- (- (log (cosh x)) (log y)) (neg (log (sin y)))) (- (- (log (cosh x)) (log y)) (neg (log (sin y)))) (- (- (log (cosh x)) (log y)) (neg (log (sin y)))) (- (- (log (cosh x)) (log y)) (neg (log (sin y)))) (- (- (log (cosh x)) (log y)) (neg (log (sin y)))) (- (- (log (cosh x)) (log y)) (neg (log (sin y)))) (- (- (log (cosh x)) (log y)) (neg (log (sin y)))) (- (- (log (cosh x)) (log y)) (neg (log (sin y)))) (- (- (log (cosh x)) (log y)) (neg (log (sin y)))) (- (- (log (cosh x)) (log y)) (neg (log (sin y)))) (- (- (log (cosh x)) (log y)) (neg (log (sin y)))) (- (- (log (cosh x)) (log y)) (neg (log (sin y)))) (+ (log (/ (sin y) y)) (log (cosh x))) (log (* (cosh x) (/ (sin y) y))) (exp (* (cosh x) (/ (sin y) y))) (* (* (cosh x) (cosh x)) (/ (cosh x) (* (/ 1 (* (* (sin y) (sin y)) (sin y))) (pow y 3)))) (* (/ (cosh x) (* (pow y 3) (/ (/ (/ 1 (sin y)) (sin y)) (sin y)))) (* (cosh x) (cosh x))) (/ (* (* (cosh x) (cosh x)) (cosh x)) (/ (/ 1 (* (* (sin y) (sin y)) (sin y))) (/ (/ (/ 1 y) y) y))) (* (* (* (/ (sin y) y) (/ (/ (/ 1 y) y) (/ (/ 1 (sin y)) (sin y)))) (cosh x)) (* (cosh x) (cosh x))) (* (* (* (* (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))) (/ 1 y)) (/ 2 (sin y)) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y))))) (* (sqrt (cosh x)) (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y))))) (* (sqrt (cosh x)) (* (sqrt (sin y)) (sqrt (/ 1 y)))) (* (sqrt (cosh x)) (* (sqrt (sin y)) (sqrt (/ 1 y)))) (* (sqrt (cosh x)) (* (sqrt (sin y)) (sqrt (/ 1 y)))) (* (sqrt (cosh x)) (* (sqrt (sin y)) (sqrt (/ 1 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)) (/ 1 (sqrt y)))) (* (sqrt (cosh x)) (* (sqrt (sin y)) (/ 1 (sqrt y)))) (* (sqrt (cosh x)) (* (sqrt (sin y)) (/ 1 (sqrt y)))) (* (sqrt (cosh x)) (* (sqrt (sin y)) (/ 1 (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)) (/ 1 (sqrt y)))) (* (sqrt (cosh x)) (* (sqrt (sin y)) (/ 1 (sqrt y)))) (* (sqrt (cosh x)) (* (sqrt (sin y)) (/ 1 (sqrt y)))) (* (sqrt (cosh x)) (* (sqrt (sin y)) (/ 1 (sqrt y)))) (* (cosh x) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (cosh x) (sqrt (/ (sin y) 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 (sin y)) (cbrt (sin y))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))) (* (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y))) (cosh x)) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (cosh x)) (* (cosh x) (* (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))) (* (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y))) (cosh x)) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (cosh x)) (* (cosh x) (* (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))) (* (* (* (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)) (* (cosh x) (/ (sqrt (/ 1 y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (cosh x) (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y))))) (* (* (cosh x) (sqrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (* (sqrt (/ 1 y)) (sqrt (sin y))) (cosh x)) (* (cosh x) (sqrt (/ 1 y))) (* (* (cosh x) (sqrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (* (sqrt (/ 1 y)) (sqrt (sin y))) (cosh x)) (* (cosh x) (sqrt (/ 1 y))) (* (* (cosh x) (sqrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (* (sqrt (/ 1 y)) (sqrt (sin y))) (cosh x)) (* (cosh x) (sqrt (/ 1 y))) (* (cosh x) (sqrt (/ 1 y))) (* (cosh x) (sqrt (/ 1 y))) (/ (/ (cosh x) (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (* (/ (cosh x) (* (cbrt 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) (* (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) (* (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) (* (cbrt y) (cbrt y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (/ (cosh x) (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) (sqrt y)) (sqrt (/ 1 (sin y)))) (* (/ (cosh x) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cosh x) (sqrt y)) (sqrt (sin y))) (/ (cosh x) (sqrt y)) (* (/ (cosh x) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cosh x) (sqrt y)) (sqrt (sin y))) (/ (cosh x) (sqrt y)) (* (/ (cosh x) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cosh x) (sqrt y)) (sqrt (sin y))) (/ (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)))) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (sqrt (sin y)) (cosh x)) (cosh x) (cosh x) (cosh x) (/ (/ (cosh x) (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (* (/ (cosh x) (* (cbrt 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) (* (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) (* (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) (* (cbrt y) (cbrt y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (/ (cosh x) (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) (sqrt y)) (sqrt (/ 1 (sin y)))) (* (/ (cosh x) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cosh x) (sqrt y)) (sqrt (sin y))) (/ (cosh x) (sqrt y)) (* (/ (cosh x) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cosh x) (sqrt y)) (sqrt (sin y))) (/ (cosh x) (sqrt y)) (* (/ (cosh x) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cosh x) (sqrt y)) (sqrt (sin y))) (/ (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)))) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (sqrt (sin y)) (cosh x)) (cosh x) (cosh x) (cosh x) (/ (/ (cosh x) (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (* (/ (cosh x) (* (cbrt 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) (* (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) (* (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) (* (cbrt y) (cbrt y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (/ (cosh x) (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) (sqrt y)) (sqrt (/ 1 (sin y)))) (* (/ (cosh x) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cosh x) (sqrt y)) (sqrt (sin y))) (/ (cosh x) (sqrt y)) (* (/ (cosh x) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cosh x) (sqrt y)) (sqrt (sin y))) (/ (cosh x) (sqrt y)) (* (/ (cosh x) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cosh x) (sqrt y)) (sqrt (sin y))) (/ (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)))) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (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)))) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (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)))) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (sqrt (sin y)) (cosh x)) (cosh x) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (sqrt (sin y)) (cosh x)) (cosh x) (cosh x) (cosh x) (cosh x) (/ (cosh x) y) (/ (cosh x) y) (* (cbrt (cosh x)) (/ (sin y) y)) (* (/ (sin y) y) (sqrt (cosh x))) (* (cosh x) (/ (sin y) y)) (/ (cosh x) y) (* (+ (exp x) (exp (neg x))) (/ (sin y) y)) (- 0 (- (log y) (log (sin y)))) (- 0 (- (log y) (log (sin y)))) (- 0 (- (log y) (log (sin y)))) (- (neg (log y)) (neg (log (sin y)))) (- 0 (- (log y) (log (sin y)))) (- 0 (- (log y) (log (sin y)))) (- 0 (- (log y) (log (sin y)))) (- (neg (log y)) (neg (log (sin y)))) (- 0 (- (log y) (log (sin y)))) (- 0 (- (log y) (log (sin y)))) (- 0 (- (log y) (log (sin y)))) (- (neg (log y)) (neg (log (sin y)))) (- 0 (- (log y) (log (sin y)))) (- 0 (- (log y) (log (sin y)))) (- 0 (- (log y) (log (sin y)))) (- (neg (log y)) (neg (log (sin y)))) (log (/ (sin y) y)) (exp (/ (sin y) y)) (/ (/ 1 (pow y 3)) (/ 1 (* (* (sin y) (sin y)) (sin y)))) (/ (/ 1 (/ (/ (/ 1 (sin y)) (sin y)) (sin y))) (pow y 3)) (/ (/ (/ (/ 1 y) y) y) (/ 1 (* (* (sin y) (sin y)) (sin y)))) (* (/ (sin y) y) (/ (/ (/ 1 y) y) (/ (/ 1 (sin y)) (sin 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)) (/ -1 y) (/ -1 (sin y)) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (cbrt (/ 1 y)) (cbrt (/ 1 (sin y)))) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (/ 1 (sin y)))) (/ (cbrt (/ 1 y)) (sqrt (/ 1 (sin y)))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt (/ 1 y)) (/ 1 (cbrt (sin y)))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y))) (/ (cbrt (/ 1 y)) (/ 1 (sqrt (sin y)))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (sin y) (cbrt (/ 1 y))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt (/ 1 y)) (/ 1 (cbrt (sin y)))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y))) (/ (cbrt (/ 1 y)) (/ 1 (sqrt (sin y)))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (sin y) (cbrt (/ 1 y))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt (/ 1 y)) (/ 1 (cbrt (sin y)))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y))) (/ (cbrt (/ 1 y)) (/ 1 (sqrt (sin y)))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (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))) (/ (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 (sin y)) (sqrt (/ 1 y))) (* (sqrt (sin y)) (sqrt (/ 1 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 (sin y)) (sqrt (/ 1 y))) (* (sqrt (sin y)) (sqrt (/ 1 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 (sin y)) (sqrt (/ 1 y))) (* (sqrt (sin y)) (sqrt (/ 1 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)))) (* (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))) (* (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (sin y))) (/ 1 (* (/ 1 (sqrt (sin y))) (cbrt y))) (/ (/ 1 (cbrt y)) (cbrt y)) (* (/ 1 (cbrt y)) (sin y)) (* (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))) (* (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (sin y))) (/ 1 (* (/ 1 (sqrt (sin y))) (cbrt y))) (/ (/ 1 (cbrt y)) (cbrt y)) (* (/ 1 (cbrt y)) (sin y)) (* (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))) (* (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (sin y))) (/ 1 (* (/ 1 (sqrt (sin y))) (cbrt y))) (/ (/ 1 (cbrt y)) (cbrt y)) (* (/ 1 (cbrt y)) (sin y)) (/ (/ 1 (cbrt y)) (cbrt y)) (* (/ 1 (cbrt y)) (sin y)) (/ (/ 1 (cbrt y)) (cbrt y)) (* (/ 1 (cbrt y)) (sin y)) (/ 1 (* (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))) (sqrt y))) (/ 1 (* (cbrt (/ 1 (sin y))) (sqrt y))) (/ 1 (* (sqrt (/ 1 (sin y))) (sqrt y))) (/ 1 (* (sqrt (/ 1 (sin y))) (sqrt y))) (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (/ 1 (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (/ 1 (sqrt y)) (* (sin y) (/ 1 (sqrt y))) (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (/ 1 (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (/ 1 (sqrt y)) (* (sin y) (/ 1 (sqrt y))) (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (/ 1 (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (/ 1 (sqrt y)) (* (sin y) (/ 1 (sqrt y))) (/ 1 (sqrt y)) (* (sin y) (/ 1 (sqrt y))) (/ 1 (sqrt y)) (* (sin y) (/ 1 (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))) (* (cbrt (sin y)) (/ 1 y)) (sqrt (sin y)) (* (sqrt (sin y)) (/ 1 y)) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (/ 1 y)) (sqrt (sin y)) (* (sqrt (sin y)) (/ 1 y)) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (/ 1 y)) (sqrt (sin y)) (* (sqrt (sin y)) (/ 1 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)))) (* (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))) (* (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (sin y))) (/ 1 (* (/ 1 (sqrt (sin y))) (cbrt y))) (/ (/ 1 (cbrt y)) (cbrt y)) (* (/ 1 (cbrt y)) (sin y)) (* (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))) (* (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (sin y))) (/ 1 (* (/ 1 (sqrt (sin y))) (cbrt y))) (/ (/ 1 (cbrt y)) (cbrt y)) (* (/ 1 (cbrt y)) (sin y)) (* (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))) (* (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (sin y))) (/ 1 (* (/ 1 (sqrt (sin y))) (cbrt y))) (/ (/ 1 (cbrt y)) (cbrt y)) (* (/ 1 (cbrt y)) (sin y)) (/ (/ 1 (cbrt y)) (cbrt y)) (* (/ 1 (cbrt y)) (sin y)) (/ (/ 1 (cbrt y)) (cbrt y)) (* (/ 1 (cbrt y)) (sin y)) (/ 1 (* (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))) (sqrt y))) (/ 1 (* (cbrt (/ 1 (sin y))) (sqrt y))) (/ 1 (* (sqrt (/ 1 (sin y))) (sqrt y))) (/ 1 (* (sqrt (/ 1 (sin y))) (sqrt y))) (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (/ 1 (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (/ 1 (sqrt y)) (* (sin y) (/ 1 (sqrt y))) (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (/ 1 (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (/ 1 (sqrt y)) (* (sin y) (/ 1 (sqrt y))) (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (/ 1 (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (/ 1 (sqrt y)) (* (sin y) (/ 1 (sqrt y))) (/ 1 (sqrt y)) (* (sin y) (/ 1 (sqrt y))) (/ 1 (sqrt y)) (* (sin y) (/ 1 (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))) (* (cbrt (sin y)) (/ 1 y)) (sqrt (sin y)) (* (sqrt (sin y)) (/ 1 y)) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (/ 1 y)) (sqrt (sin y)) (* (sqrt (sin y)) (/ 1 y)) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (/ 1 y)) (sqrt (sin y)) (* (sqrt (sin y)) (/ 1 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)))) (* (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))) (* (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (sin y))) (/ 1 (* (/ 1 (sqrt (sin y))) (cbrt y))) (/ (/ 1 (cbrt y)) (cbrt y)) (* (/ 1 (cbrt y)) (sin y)) (* (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))) (* (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (sin y))) (/ 1 (* (/ 1 (sqrt (sin y))) (cbrt y))) (/ (/ 1 (cbrt y)) (cbrt y)) (* (/ 1 (cbrt y)) (sin y)) (* (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))) (* (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (sin y))) (/ 1 (* (/ 1 (sqrt (sin y))) (cbrt y))) (/ (/ 1 (cbrt y)) (cbrt y)) (* (/ 1 (cbrt y)) (sin y)) (/ (/ 1 (cbrt y)) (cbrt y)) (* (/ 1 (cbrt y)) (sin y)) (/ (/ 1 (cbrt y)) (cbrt y)) (* (/ 1 (cbrt y)) (sin y)) (/ 1 (* (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))) (sqrt y))) (/ 1 (* (cbrt (/ 1 (sin y))) (sqrt y))) (/ 1 (* (sqrt (/ 1 (sin y))) (sqrt y))) (/ 1 (* (sqrt (/ 1 (sin y))) (sqrt y))) (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (/ 1 (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (/ 1 (sqrt y)) (* (sin y) (/ 1 (sqrt y))) (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (/ 1 (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (/ 1 (sqrt y)) (* (sin y) (/ 1 (sqrt y))) (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (/ 1 (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (/ 1 (sqrt y)) (* (sin y) (/ 1 (sqrt y))) (/ 1 (sqrt y)) (* (sin y) (/ 1 (sqrt y))) (/ 1 (sqrt y)) (* (sin y) (/ 1 (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))) (* (cbrt (sin y)) (/ 1 y)) (sqrt (sin y)) (* (sqrt (sin y)) (/ 1 y)) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (/ 1 y)) (sqrt (sin y)) (* (sqrt (sin y)) (/ 1 y)) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (/ 1 y)) (sqrt (sin y)) (* (sqrt (sin y)) (/ 1 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))) (* (cbrt (sin y)) (/ 1 y)) (sqrt (sin y)) (* (sqrt (sin y)) (/ 1 y)) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (/ 1 y)) (sqrt (sin y)) (* (sqrt (sin y)) (/ 1 y)) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (/ 1 y)) (sqrt (sin y)) (* (sqrt (sin y)) (/ 1 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))) (* (cbrt (sin y)) (/ 1 y)) (sqrt (sin y)) (* (sqrt (sin y)) (/ 1 y)) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (/ 1 y)) (sqrt (sin y)) (* (sqrt (sin y)) (/ 1 y)) 1 (/ (sin y) y) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (/ 1 y)) (sqrt (sin y)) (* (sqrt (sin y)) (/ 1 y)) 1 (/ (sin y) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (sin y) (/ 1 (/ (sin y) y)) (/ (/ 1 y) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) y) (* (sqrt (sin y)) (/ 1 y)) (/ 1 y) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) y) (* (sqrt (sin y)) (/ 1 y)) (/ 1 y) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) y) (* (sqrt (sin y)) (/ 1 y)) (/ 1 y) (/ 1 y) (/ 1 y) (/ (/ 1 (sin y)) (cbrt (/ 1 y))) (/ (/ 1 (sin y)) (sqrt (/ 1 y))) (/ (/ 1 (sin y)) (/ 1 (cbrt y))) (/ (/ 1 (sin y)) (/ 1 (sqrt y))) (/ 1 (/ (sin y) y)) (/ (/ 1 (sin y)) (/ 1 (cbrt y))) (/ (/ 1 (sin y)) (/ 1 (sqrt y))) (/ 1 (/ (sin y) y)) (/ (/ 1 (sin y)) (/ 1 (cbrt y))) (/ (/ 1 (sin y)) (/ 1 (sqrt y))) (/ 1 (/ (sin y) y)) (/ 1 (/ (sin y) y)) (/ 1 (/ (sin y) y)) (/ 1 y) (* (/ 1 (sin y)) y) -1 (neg (log (sin y))) (neg (log (sin y))) (neg (log (sin y))) (neg (log (sin y))) (exp (/ 1 (sin y))) (/ 1 (* (* (sin y) (sin y)) (sin y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y))) (/ (/ (/ 1 (sin y)) (sin y)) (sin y)) (sqrt (/ 1 (sin y))) (sqrt (/ 1 (sin y))) -1 (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)) (* (exp (neg x)) (sin y)))) y) (/ (* 1/2 (+ (* (exp x) (sin y)) (* (sin y) (exp (neg 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)) 4.552 * * * [progress]: adding candidates to table 4.914 * * [progress]: iteration 4 / 4 4.914 * * * [progress]: picking best candidate 4.933 * * * * [pick]: Picked # 4.933 * * * [progress]: localizing error 4.943 * * * [progress]: generating rewritten candidates 4.943 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 4.972 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 4.976 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 4.984 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 5.001 * * * [progress]: generating series expansions 5.001 * * * * [progress]: [ 1 / 4 ] generating series at (2) 5.001 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 5.001 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 5.001 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 5.001 * [taylor]: Taking taylor expansion of (sin y) in y 5.001 * [taylor]: Taking taylor expansion of y in y 5.001 * [taylor]: Taking taylor expansion of (cosh x) in y 5.001 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 5.001 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in y 5.001 * [taylor]: Taking taylor expansion of (exp x) in y 5.001 * [taylor]: Taking taylor expansion of x in y 5.001 * [taylor]: Taking taylor expansion of (exp (neg x)) in y 5.001 * [taylor]: Taking taylor expansion of (neg x) in y 5.001 * [taylor]: Taking taylor expansion of x in y 5.001 * [taylor]: Taking taylor expansion of 2 in y 5.001 * [taylor]: Taking taylor expansion of y in y 5.002 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 5.002 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 5.002 * [taylor]: Taking taylor expansion of (sin y) in x 5.002 * [taylor]: Taking taylor expansion of y in x 5.002 * [taylor]: Taking taylor expansion of (cosh x) in x 5.002 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 5.002 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 5.002 * [taylor]: Taking taylor expansion of (exp x) in x 5.002 * [taylor]: Taking taylor expansion of x in x 5.002 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 5.002 * [taylor]: Taking taylor expansion of (neg x) in x 5.002 * [taylor]: Taking taylor expansion of x in x 5.002 * [taylor]: Taking taylor expansion of 2 in x 5.002 * [taylor]: Taking taylor expansion of y in x 5.003 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 5.003 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 5.003 * [taylor]: Taking taylor expansion of (sin y) in x 5.003 * [taylor]: Taking taylor expansion of y in x 5.003 * [taylor]: Taking taylor expansion of (cosh x) in x 5.003 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 5.003 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 5.003 * [taylor]: Taking taylor expansion of (exp x) in x 5.003 * [taylor]: Taking taylor expansion of x in x 5.003 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 5.003 * [taylor]: Taking taylor expansion of (neg x) in x 5.003 * [taylor]: Taking taylor expansion of x in x 5.003 * [taylor]: Taking taylor expansion of 2 in x 5.003 * [taylor]: Taking taylor expansion of y in x 5.003 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 5.003 * [taylor]: Taking taylor expansion of (sin y) in y 5.003 * [taylor]: Taking taylor expansion of y in y 5.003 * [taylor]: Taking taylor expansion of y in y 5.004 * [taylor]: Taking taylor expansion of 0 in y 5.005 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 5.005 * [taylor]: Taking taylor expansion of 1/2 in y 5.005 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 5.005 * [taylor]: Taking taylor expansion of (sin y) in y 5.005 * [taylor]: Taking taylor expansion of y in y 5.005 * [taylor]: Taking taylor expansion of y in y 5.005 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 5.005 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 5.006 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 5.006 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 5.006 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 5.006 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 5.006 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.006 * [taylor]: Taking taylor expansion of x in y 5.006 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 5.006 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 5.006 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.006 * [taylor]: Taking taylor expansion of x in y 5.006 * [taylor]: Taking taylor expansion of 2 in y 5.006 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 5.006 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.006 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.006 * [taylor]: Taking taylor expansion of y in y 5.006 * [taylor]: Taking taylor expansion of y in y 5.006 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 5.006 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 5.006 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 5.006 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 5.006 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.006 * [taylor]: Taking taylor expansion of x in x 5.006 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 5.007 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 5.007 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.007 * [taylor]: Taking taylor expansion of x in x 5.007 * [taylor]: Taking taylor expansion of 2 in x 5.007 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 5.007 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 5.007 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.007 * [taylor]: Taking taylor expansion of y in x 5.007 * [taylor]: Taking taylor expansion of y in x 5.007 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 5.007 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 5.007 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 5.007 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 5.007 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.007 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.007 * [taylor]: Taking taylor expansion of x in x 5.007 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 5.007 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 5.007 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.007 * [taylor]: Taking taylor expansion of x in x 5.007 * [taylor]: Taking taylor expansion of 2 in x 5.008 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 5.008 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 5.008 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.008 * [taylor]: Taking taylor expansion of y in x 5.008 * [taylor]: Taking taylor expansion of y in x 5.008 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) (* (sin (/ 1 y)) y))) in y 5.008 * [taylor]: Taking taylor expansion of 1/2 in y 5.008 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) (* (sin (/ 1 y)) y)) in y 5.008 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 5.008 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 5.008 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.008 * [taylor]: Taking taylor expansion of x in y 5.008 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 5.008 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 5.008 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.008 * [taylor]: Taking taylor expansion of x in y 5.008 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 5.008 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.008 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.009 * [taylor]: Taking taylor expansion of y in y 5.009 * [taylor]: Taking taylor expansion of y in y 5.009 * [taylor]: Taking taylor expansion of 0 in y 5.011 * [taylor]: Taking taylor expansion of 0 in y 5.012 * [taylor]: Taking taylor expansion of 0 in y 5.013 * [approximate]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in (x y) around 0 5.013 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in y 5.013 * [taylor]: Taking taylor expansion of -1 in y 5.013 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in y 5.013 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 5.013 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 5.013 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in y 5.013 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 5.013 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.013 * [taylor]: Taking taylor expansion of -1 in y 5.013 * [taylor]: Taking taylor expansion of x in y 5.013 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in y 5.013 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in y 5.013 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.013 * [taylor]: Taking taylor expansion of -1 in y 5.013 * [taylor]: Taking taylor expansion of x in y 5.014 * [taylor]: Taking taylor expansion of 2 in y 5.014 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 5.014 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.014 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.014 * [taylor]: Taking taylor expansion of -1 in y 5.014 * [taylor]: Taking taylor expansion of y in y 5.014 * [taylor]: Taking taylor expansion of y in y 5.014 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in x 5.014 * [taylor]: Taking taylor expansion of -1 in x 5.014 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in x 5.014 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 5.014 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 5.014 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 5.014 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.014 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.014 * [taylor]: Taking taylor expansion of -1 in x 5.014 * [taylor]: Taking taylor expansion of x in x 5.014 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 5.014 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 5.014 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.014 * [taylor]: Taking taylor expansion of -1 in x 5.014 * [taylor]: Taking taylor expansion of x in x 5.014 * [taylor]: Taking taylor expansion of 2 in x 5.014 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 5.015 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 5.015 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.015 * [taylor]: Taking taylor expansion of -1 in x 5.015 * [taylor]: Taking taylor expansion of y in x 5.015 * [taylor]: Taking taylor expansion of y in x 5.015 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in x 5.015 * [taylor]: Taking taylor expansion of -1 in x 5.015 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in x 5.015 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 5.015 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 5.015 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 5.015 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.015 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.015 * [taylor]: Taking taylor expansion of -1 in x 5.015 * [taylor]: Taking taylor expansion of x in x 5.015 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 5.015 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 5.015 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.015 * [taylor]: Taking taylor expansion of -1 in x 5.015 * [taylor]: Taking taylor expansion of x in x 5.015 * [taylor]: Taking taylor expansion of 2 in x 5.015 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 5.015 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 5.015 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.015 * [taylor]: Taking taylor expansion of -1 in x 5.015 * [taylor]: Taking taylor expansion of y in x 5.015 * [taylor]: Taking taylor expansion of y in x 5.016 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (* (sin (/ -1 y)) y))) in y 5.016 * [taylor]: Taking taylor expansion of -1/2 in y 5.016 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (* (sin (/ -1 y)) y)) in y 5.016 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 5.016 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 5.016 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.016 * [taylor]: Taking taylor expansion of x in y 5.016 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 5.016 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.016 * [taylor]: Taking taylor expansion of -1 in y 5.016 * [taylor]: Taking taylor expansion of x in y 5.016 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 5.016 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.016 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.016 * [taylor]: Taking taylor expansion of -1 in y 5.016 * [taylor]: Taking taylor expansion of y in y 5.016 * [taylor]: Taking taylor expansion of y in y 5.017 * [taylor]: Taking taylor expansion of 0 in y 5.019 * [taylor]: Taking taylor expansion of 0 in y 5.020 * [taylor]: Taking taylor expansion of 0 in y 5.021 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 5.021 * [approximate]: Taking taylor expansion of (/ (cosh x) y) in (x y) around 0 5.021 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in y 5.021 * [taylor]: Taking taylor expansion of (cosh x) in y 5.021 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 5.021 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in y 5.021 * [taylor]: Taking taylor expansion of (exp x) in y 5.021 * [taylor]: Taking taylor expansion of x in y 5.021 * [taylor]: Taking taylor expansion of (exp (neg x)) in y 5.021 * [taylor]: Taking taylor expansion of (neg x) in y 5.021 * [taylor]: Taking taylor expansion of x in y 5.021 * [taylor]: Taking taylor expansion of 2 in y 5.021 * [taylor]: Taking taylor expansion of y in y 5.021 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in x 5.021 * [taylor]: Taking taylor expansion of (cosh x) in x 5.021 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 5.021 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 5.021 * [taylor]: Taking taylor expansion of (exp x) in x 5.021 * [taylor]: Taking taylor expansion of x in x 5.021 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 5.021 * [taylor]: Taking taylor expansion of (neg x) in x 5.021 * [taylor]: Taking taylor expansion of x in x 5.021 * [taylor]: Taking taylor expansion of 2 in x 5.021 * [taylor]: Taking taylor expansion of y in x 5.022 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in x 5.022 * [taylor]: Taking taylor expansion of (cosh x) in x 5.022 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2) 5.022 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 5.022 * [taylor]: Taking taylor expansion of (exp x) in x 5.022 * [taylor]: Taking taylor expansion of x in x 5.022 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 5.022 * [taylor]: Taking taylor expansion of (neg x) in x 5.022 * [taylor]: Taking taylor expansion of x in x 5.022 * [taylor]: Taking taylor expansion of 2 in x 5.022 * [taylor]: Taking taylor expansion of y in x 5.022 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.022 * [taylor]: Taking taylor expansion of y in y 5.022 * [taylor]: Taking taylor expansion of 0 in y 5.023 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 5.023 * [taylor]: Taking taylor expansion of 1/2 in y 5.023 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.023 * [taylor]: Taking taylor expansion of y in y 5.023 * [taylor]: Taking taylor expansion of 0 in y 5.025 * [taylor]: Taking taylor expansion of (* 1/24 (/ 1 y)) in y 5.025 * [taylor]: Taking taylor expansion of 1/24 in y 5.025 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.025 * [taylor]: Taking taylor expansion of y in y 5.025 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in (x y) around 0 5.025 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in y 5.025 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 5.025 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 5.025 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 5.025 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 5.025 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.025 * [taylor]: Taking taylor expansion of x in y 5.025 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 5.025 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 5.025 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.025 * [taylor]: Taking taylor expansion of x in y 5.026 * [taylor]: Taking taylor expansion of 2 in y 5.026 * [taylor]: Taking taylor expansion of y in y 5.026 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in x 5.026 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 5.026 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 5.026 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 5.026 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.026 * [taylor]: Taking taylor expansion of x in x 5.026 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 5.026 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 5.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.026 * [taylor]: Taking taylor expansion of x in x 5.026 * [taylor]: Taking taylor expansion of 2 in x 5.026 * [taylor]: Taking taylor expansion of y in x 5.026 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in x 5.026 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 5.026 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) 5.026 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 5.026 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.026 * [taylor]: Taking taylor expansion of x in x 5.026 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 5.026 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 5.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.027 * [taylor]: Taking taylor expansion of x in x 5.027 * [taylor]: Taking taylor expansion of 2 in x 5.027 * [taylor]: Taking taylor expansion of y in x 5.027 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) y)) in y 5.027 * [taylor]: Taking taylor expansion of 1/2 in y 5.027 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) y) in y 5.027 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y 5.027 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 5.027 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.027 * [taylor]: Taking taylor expansion of x in y 5.027 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y 5.027 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y 5.027 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.027 * [taylor]: Taking taylor expansion of x in y 5.027 * [taylor]: Taking taylor expansion of y in y 5.029 * [taylor]: Taking taylor expansion of 0 in y 5.030 * [taylor]: Taking taylor expansion of 0 in y 5.030 * [taylor]: Taking taylor expansion of 0 in y 5.031 * [approximate]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in (x y) around 0 5.031 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in y 5.031 * [taylor]: Taking taylor expansion of -1 in y 5.031 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in y 5.031 * [taylor]: Taking taylor expansion of y in y 5.031 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 5.031 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 5.031 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in y 5.031 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 5.031 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.031 * [taylor]: Taking taylor expansion of -1 in y 5.031 * [taylor]: Taking taylor expansion of x in y 5.031 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in y 5.031 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in y 5.031 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.031 * [taylor]: Taking taylor expansion of -1 in y 5.031 * [taylor]: Taking taylor expansion of x in y 5.031 * [taylor]: Taking taylor expansion of 2 in y 5.031 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in x 5.031 * [taylor]: Taking taylor expansion of -1 in x 5.031 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in x 5.031 * [taylor]: Taking taylor expansion of y in x 5.031 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 5.031 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 5.032 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 5.032 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.032 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.032 * [taylor]: Taking taylor expansion of -1 in x 5.032 * [taylor]: Taking taylor expansion of x in x 5.032 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 5.032 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 5.032 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.032 * [taylor]: Taking taylor expansion of -1 in x 5.032 * [taylor]: Taking taylor expansion of x in x 5.032 * [taylor]: Taking taylor expansion of 2 in x 5.032 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in x 5.032 * [taylor]: Taking taylor expansion of -1 in x 5.032 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in x 5.032 * [taylor]: Taking taylor expansion of y in x 5.032 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 5.032 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2) 5.032 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x 5.032 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.032 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.032 * [taylor]: Taking taylor expansion of -1 in x 5.032 * [taylor]: Taking taylor expansion of x in x 5.032 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x 5.032 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x 5.032 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.032 * [taylor]: Taking taylor expansion of -1 in x 5.032 * [taylor]: Taking taylor expansion of x in x 5.032 * [taylor]: Taking taylor expansion of 2 in x 5.033 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) y)) in y 5.033 * [taylor]: Taking taylor expansion of -1/2 in y 5.033 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (/ -1 x))) y) in y 5.033 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 5.033 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 5.033 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.033 * [taylor]: Taking taylor expansion of x in y 5.033 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 5.033 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.033 * [taylor]: Taking taylor expansion of -1 in y 5.033 * [taylor]: Taking taylor expansion of x in y 5.033 * [taylor]: Taking taylor expansion of y in y 5.033 * [taylor]: Taking taylor expansion of 0 in y 5.034 * [taylor]: Taking taylor expansion of 0 in y 5.035 * [taylor]: Taking taylor expansion of 0 in y 5.036 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 5.036 * [approximate]: Taking taylor expansion of (sin y) in (y) around 0 5.036 * [taylor]: Taking taylor expansion of (sin y) in y 5.036 * [taylor]: Taking taylor expansion of y in y 5.036 * [taylor]: Taking taylor expansion of (sin y) in y 5.036 * [taylor]: Taking taylor expansion of y in y 5.037 * [approximate]: Taking taylor expansion of (sin (/ 1 y)) in (y) around 0 5.037 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.037 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.037 * [taylor]: Taking taylor expansion of y in y 5.037 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.037 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.037 * [taylor]: Taking taylor expansion of y in y 5.037 * [approximate]: Taking taylor expansion of (sin (/ -1 y)) in (y) around 0 5.037 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.037 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.037 * [taylor]: Taking taylor expansion of -1 in y 5.037 * [taylor]: Taking taylor expansion of y in y 5.037 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.037 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.037 * [taylor]: Taking taylor expansion of -1 in y 5.037 * [taylor]: Taking taylor expansion of y in y 5.038 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 5.038 * [approximate]: Taking taylor expansion of (/ 1 (sin y)) in (y) around 0 5.038 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 5.038 * [taylor]: Taking taylor expansion of (sin y) in y 5.038 * [taylor]: Taking taylor expansion of y in y 5.038 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 5.038 * [taylor]: Taking taylor expansion of (sin y) in y 5.038 * [taylor]: Taking taylor expansion of y in y 5.039 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in (y) around 0 5.039 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 5.039 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.039 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.039 * [taylor]: Taking taylor expansion of y in y 5.039 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 5.039 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.039 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.039 * [taylor]: Taking taylor expansion of y in y 5.041 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in (y) around 0 5.041 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 5.041 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.041 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.041 * [taylor]: Taking taylor expansion of -1 in y 5.041 * [taylor]: Taking taylor expansion of y in y 5.041 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 5.041 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.041 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.041 * [taylor]: Taking taylor expansion of -1 in y 5.041 * [taylor]: Taking taylor expansion of y in y 5.042 * * * [progress]: simplifying candidates 5.050 * [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)) 5.061 * * [simplify]: iteration 0 : 345 enodes (cost 3564 ) 5.123 * * [simplify]: iteration 1 : 988 enodes (cost 2767 ) 5.395 * * [simplify]: iteration 2 : 3250 enodes (cost 2092 ) 5.883 * * [simplify]: iteration done : 5000 enodes (cost 2050 ) 5.884 * [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))) (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 (sin y) 3) (/ (pow (cosh x) 3) (pow y 3))) (/ (/ (pow (cosh x) 3) (pow (/ 1 (sin y)) 3)) (pow y 3)) (* (pow (sin y) 3) (/ (pow (cosh x) 3) (pow y 3))) (pow (* (/ (cosh x) y) (sin y)) 3) (/ (pow (/ (cosh x) y) 3) (pow (/ 1 (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))) (cosh x) (/ y (sin y)) (* (sqrt (sin y)) (sqrt (/ (cosh x) y))) (* (sqrt (sin y)) (sqrt (/ (cosh x) 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 (cosh x)) (sqrt y)) (sqrt (sin y))) (* (/ (sqrt (cosh x)) (sqrt y)) (sqrt (sin y))) (/ (/ (sqrt (cosh x)) (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt (cosh x)) (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)) (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt (cosh x)) (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)) (* (* (/ (cosh x) y) (cbrt (sin y))) (cbrt (sin y))) (* (/ (cosh x) y) (sqrt (sin y))) (/ (/ (cosh x) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) y) (/ (/ (cosh x) y) (sqrt (/ 1 (sin y)))) (/ (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) y) (* (sqrt (sin y)) (/ (cosh x) y)) (/ (cosh x) y) (/ (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) y) (* (sqrt (sin y)) (/ (cosh x) y)) (/ (cosh x) y) (/ (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) y) (* (sqrt (sin y)) (/ (cosh x) y)) (/ (cosh x) y) (/ (cosh x) y) (/ (cosh x) y) (/ (/ (cosh x) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) y) (/ (/ (cosh x) y) (sqrt (/ 1 (sin y)))) (/ (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) y) (* (sqrt (sin y)) (/ (cosh x) y)) (/ (cosh x) y) (/ (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) y) (* (sqrt (sin y)) (/ (cosh x) y)) (/ (cosh x) y) (/ (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) y) (* (sqrt (sin y)) (/ (cosh x) y)) (/ (cosh x) y) (/ (cosh x) y) (/ (cosh x) y) (/ (/ (cosh x) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) y) (/ (/ (cosh x) y) (sqrt (/ 1 (sin y)))) (/ (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) y) (* (sqrt (sin y)) (/ (cosh x) y)) (/ (cosh x) y) (/ (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) y) (* (sqrt (sin y)) (/ (cosh x) y)) (/ (cosh x) y) (/ (* (* (cbrt (sin y)) (cbrt (sin 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) (/ (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))) (/ (sqrt (cosh x)) (/ (sqrt y) (sin y))) (* (sin y) (/ (sqrt (cosh x)) y)) (* (sin y) (/ (cosh x) (cbrt y))) (/ (* (cosh x) (sin y)) (sqrt y)) (* (/ (cosh x) y) (sin y)) (* (/ (cosh x) y) (sin y)) (/ (sin y) y) (/ (cosh x) y) (* (cosh x) (sin y)) (log (/ (cosh x) y)) (log (/ (cosh x) y)) (exp (/ (cosh x) y)) (/ (pow (cosh x) 3) (pow 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) (/ 1 (pow (/ 1 (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))) (/ 1 (pow (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))) (/ (* (sin y) (* 1/2 (+ (exp x) (exp (neg x))))) y) (/ (* (sin y) (* 1/2 (+ (exp x) (exp (neg x))))) 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)) 5.886 * * * [progress]: adding candidates to table 6.067 * [progress]: [Phase 3 of 3] Extracting. 6.067 * * [regime]: Finding splitpoints for: (# # # # # # # #) 6.068 * * * [regime-changes]: Trying 5 branch expressions: ((/ (sin y) y) (cosh x) (* (cosh x) (/ (sin y) y)) y x) 6.068 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (# # # # # # # #) 6.127 * * * * [regimes]: Trying to branch on (cosh x) from (# # # # # # # #) 6.178 * * * * [regimes]: Trying to branch on (* (cosh x) (/ (sin y) y)) from (# # # # # # # #) 6.243 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 6.296 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 6.353 * * * [regime]: Found split indices: #