17.153 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.080 * * * [progress]: [2/2] Setting up program. 0.082 * [progress]: [Phase 2 of 3] Improving. 0.083 * [simplify]: Simplifying using # : (* (cosh x) (/ (sin y) y)) 0.084 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.084 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.086 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 0.090 * * [simplify]: iteration 3 : 53 enodes (cost 7 ) 0.097 * * [simplify]: iteration 4 : 98 enodes (cost 7 ) 0.109 * * [simplify]: iteration 5 : 140 enodes (cost 7 ) 0.139 * * [simplify]: iteration 6 : 258 enodes (cost 7 ) 0.206 * * [simplify]: iteration 7 : 537 enodes (cost 7 ) 0.399 * * [simplify]: iteration 8 : 1155 enodes (cost 7 ) 1.126 * * [simplify]: iteration 9 : 2021 enodes (cost 7 ) 2.300 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 2.300 * [simplify]: Simplified to: (* (cosh x) (/ (sin y) y)) 2.300 * * [progress]: iteration 1 / 4 2.300 * * * [progress]: picking best candidate 2.302 * * * * [pick]: Picked # 2.302 * * * [progress]: localizing error 2.309 * * * [progress]: generating rewritten candidates 2.309 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 2.318 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 2.323 * * * [progress]: generating series expansions 2.323 * * * * [progress]: [ 1 / 2 ] generating series at (2) 2.323 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 2.323 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 2.323 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 2.323 * [taylor]: Taking taylor expansion of (sin y) in y 2.323 * [taylor]: Taking taylor expansion of y in y 2.323 * [taylor]: Taking taylor expansion of (cosh x) in y 2.323 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 2.323 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 2.323 * [taylor]: Taking taylor expansion of (exp x) in y 2.323 * [taylor]: Taking taylor expansion of x in y 2.323 * [taylor]: Taking taylor expansion of (exp (- x)) in y 2.323 * [taylor]: Taking taylor expansion of (- x) in y 2.323 * [taylor]: Taking taylor expansion of x in y 2.323 * [taylor]: Taking taylor expansion of 2 in y 2.323 * [taylor]: Taking taylor expansion of y in y 2.327 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 2.327 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 2.327 * [taylor]: Taking taylor expansion of (sin y) in x 2.327 * [taylor]: Taking taylor expansion of y in x 2.327 * [taylor]: Taking taylor expansion of (cosh x) in x 2.327 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 2.327 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 2.327 * [taylor]: Taking taylor expansion of (exp x) in x 2.327 * [taylor]: Taking taylor expansion of x in x 2.327 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.327 * [taylor]: Taking taylor expansion of (- x) in x 2.327 * [taylor]: Taking taylor expansion of x in x 2.327 * [taylor]: Taking taylor expansion of 2 in x 2.328 * [taylor]: Taking taylor expansion of y in x 2.328 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 2.328 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 2.328 * [taylor]: Taking taylor expansion of (sin y) in x 2.328 * [taylor]: Taking taylor expansion of y in x 2.328 * [taylor]: Taking taylor expansion of (cosh x) in x 2.328 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 2.328 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 2.328 * [taylor]: Taking taylor expansion of (exp x) in x 2.328 * [taylor]: Taking taylor expansion of x in x 2.328 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.328 * [taylor]: Taking taylor expansion of (- x) in x 2.328 * [taylor]: Taking taylor expansion of x in x 2.329 * [taylor]: Taking taylor expansion of 2 in x 2.329 * [taylor]: Taking taylor expansion of y in x 2.329 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 2.329 * [taylor]: Taking taylor expansion of (sin y) in y 2.330 * [taylor]: Taking taylor expansion of y in y 2.330 * [taylor]: Taking taylor expansion of y in y 2.334 * [taylor]: Taking taylor expansion of 0 in y 2.341 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 2.341 * [taylor]: Taking taylor expansion of 1/2 in y 2.341 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 2.341 * [taylor]: Taking taylor expansion of (sin y) in y 2.341 * [taylor]: Taking taylor expansion of y in y 2.341 * [taylor]: Taking taylor expansion of y in y 2.343 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 2.343 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 2.343 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 2.343 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 2.344 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 2.344 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.344 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.344 * [taylor]: Taking taylor expansion of x in y 2.344 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 2.344 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 2.344 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.344 * [taylor]: Taking taylor expansion of x in y 2.344 * [taylor]: Taking taylor expansion of 2 in y 2.344 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 2.344 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.344 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.344 * [taylor]: Taking taylor expansion of y in y 2.344 * [taylor]: Taking taylor expansion of y in y 2.344 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 2.344 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 2.344 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 2.344 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.344 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.345 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.345 * [taylor]: Taking taylor expansion of x in x 2.345 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.345 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.345 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.345 * [taylor]: Taking taylor expansion of x in x 2.345 * [taylor]: Taking taylor expansion of 2 in x 2.346 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 2.346 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 2.346 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.346 * [taylor]: Taking taylor expansion of y in x 2.346 * [taylor]: Taking taylor expansion of y in x 2.346 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 2.346 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 2.346 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 2.346 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.346 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.346 * [taylor]: Taking taylor expansion of x in x 2.346 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.346 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.346 * [taylor]: Taking taylor expansion of x in x 2.347 * [taylor]: Taking taylor expansion of 2 in x 2.347 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 2.347 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 2.347 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.347 * [taylor]: Taking taylor expansion of y in x 2.347 * [taylor]: Taking taylor expansion of y in x 2.347 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 2.347 * [taylor]: Taking taylor expansion of 1/2 in y 2.347 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 2.347 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.347 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.348 * [taylor]: Taking taylor expansion of y in y 2.348 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 2.348 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 2.348 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.348 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.348 * [taylor]: Taking taylor expansion of x in y 2.348 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 2.348 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 2.348 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.348 * [taylor]: Taking taylor expansion of x in y 2.348 * [taylor]: Taking taylor expansion of y in y 2.351 * [taylor]: Taking taylor expansion of 0 in y 2.358 * [taylor]: Taking taylor expansion of 0 in y 2.367 * [taylor]: Taking taylor expansion of 0 in y 2.368 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 2.368 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 2.368 * [taylor]: Taking taylor expansion of -1 in y 2.368 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 2.368 * [taylor]: Taking taylor expansion of y in y 2.368 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 2.368 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.368 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.368 * [taylor]: Taking taylor expansion of -1 in y 2.368 * [taylor]: Taking taylor expansion of y in y 2.368 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 2.369 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 2.369 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 2.369 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.369 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.369 * [taylor]: Taking taylor expansion of -1 in y 2.369 * [taylor]: Taking taylor expansion of x in y 2.369 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 2.369 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 2.369 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.369 * [taylor]: Taking taylor expansion of -1 in y 2.369 * [taylor]: Taking taylor expansion of x in y 2.369 * [taylor]: Taking taylor expansion of 2 in y 2.369 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 2.369 * [taylor]: Taking taylor expansion of -1 in x 2.369 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 2.369 * [taylor]: Taking taylor expansion of y in x 2.369 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 2.369 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 2.369 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.369 * [taylor]: Taking taylor expansion of -1 in x 2.369 * [taylor]: Taking taylor expansion of y in x 2.369 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 2.369 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 2.369 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 2.369 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.369 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.369 * [taylor]: Taking taylor expansion of -1 in x 2.369 * [taylor]: Taking taylor expansion of x in x 2.370 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 2.370 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 2.370 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.370 * [taylor]: Taking taylor expansion of -1 in x 2.370 * [taylor]: Taking taylor expansion of x in x 2.370 * [taylor]: Taking taylor expansion of 2 in x 2.371 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 2.371 * [taylor]: Taking taylor expansion of -1 in x 2.371 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 2.371 * [taylor]: Taking taylor expansion of y in x 2.371 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 2.371 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 2.371 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.371 * [taylor]: Taking taylor expansion of -1 in x 2.371 * [taylor]: Taking taylor expansion of y in x 2.371 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 2.371 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 2.371 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 2.371 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.371 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.371 * [taylor]: Taking taylor expansion of -1 in x 2.371 * [taylor]: Taking taylor expansion of x in x 2.371 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 2.371 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 2.371 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.371 * [taylor]: Taking taylor expansion of -1 in x 2.371 * [taylor]: Taking taylor expansion of x in x 2.372 * [taylor]: Taking taylor expansion of 2 in x 2.373 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 2.373 * [taylor]: Taking taylor expansion of -1/2 in y 2.373 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 2.373 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.373 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.373 * [taylor]: Taking taylor expansion of -1 in y 2.373 * [taylor]: Taking taylor expansion of y in y 2.373 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 2.373 * [taylor]: Taking taylor expansion of y in y 2.373 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 2.373 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.373 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.373 * [taylor]: Taking taylor expansion of x in y 2.373 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.373 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.373 * [taylor]: Taking taylor expansion of -1 in y 2.373 * [taylor]: Taking taylor expansion of x in y 2.377 * [taylor]: Taking taylor expansion of 0 in y 2.387 * [taylor]: Taking taylor expansion of 0 in y 2.397 * [taylor]: Taking taylor expansion of 0 in y 2.398 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 2.398 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 2.398 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 2.398 * [taylor]: Taking taylor expansion of (sin y) in y 2.398 * [taylor]: Taking taylor expansion of y in y 2.398 * [taylor]: Taking taylor expansion of y in y 2.398 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 2.398 * [taylor]: Taking taylor expansion of (sin y) in y 2.398 * [taylor]: Taking taylor expansion of y in y 2.398 * [taylor]: Taking taylor expansion of y in y 2.406 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 2.406 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 2.406 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.406 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.406 * [taylor]: Taking taylor expansion of y in y 2.406 * [taylor]: Taking taylor expansion of y in y 2.406 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 2.406 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.406 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.406 * [taylor]: Taking taylor expansion of y in y 2.406 * [taylor]: Taking taylor expansion of y in y 2.410 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 2.410 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 2.410 * [taylor]: Taking taylor expansion of -1 in y 2.410 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 2.410 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.410 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.410 * [taylor]: Taking taylor expansion of -1 in y 2.410 * [taylor]: Taking taylor expansion of y in y 2.411 * [taylor]: Taking taylor expansion of y in y 2.411 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 2.411 * [taylor]: Taking taylor expansion of -1 in y 2.411 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 2.411 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.411 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.411 * [taylor]: Taking taylor expansion of -1 in y 2.411 * [taylor]: Taking taylor expansion of y in y 2.411 * [taylor]: Taking taylor expansion of y in y 2.423 * * * [progress]: simplifying candidates 2.424 * [simplify]: Simplifying using # : (expm1 (* (cosh x) (/ (sin y) y))) (log1p (* (cosh x) (/ (sin y) y))) (* (cosh x) (/ (sin y) y)) (+ (log (cosh x)) (- (log (sin y)) (log y))) (+ (log (cosh x)) (log (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (exp (* (cosh x) (/ (sin y) y))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y))) (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))) (* (cbrt (* (cosh x) (/ (sin y) y))) (cbrt (* (cosh x) (/ (sin y) y)))) (cbrt (* (cosh x) (/ (sin y) y))) (* (* (* (cosh x) (/ (sin y) y)) (* (cosh x) (/ (sin y) y))) (* (cosh x) (/ (sin y) y))) (sqrt (* (cosh x) (/ (sin y) y))) (sqrt (* (cosh x) (/ (sin y) y))) (* (+ (exp x) (exp (- x))) (sin y)) (* 2 y) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (cosh x) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (cosh x) (sqrt (/ (sin y) y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)) (* (cosh x) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (* (cosh x) (/ (sqrt (sin y)) (sqrt y))) (* (cosh x) (/ (sqrt (sin y)) 1)) (* (cosh x) (/ 1 (* (cbrt y) (cbrt y)))) (* (cosh x) (/ 1 (sqrt y))) (* (cosh x) (/ 1 1)) (* (cosh x) 1) (* (cosh x) (sin y)) (* (cbrt (cosh x)) (/ (sin y) y)) (* (sqrt (cosh x)) (/ (sin y) y)) (* (cosh x) (/ (sin y) y)) (* (cosh x) (sin y)) (* (+ (exp x) (exp (- x))) (/ (sin y) y)) (expm1 (/ (sin y) y)) (log1p (/ (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)) (- (sin y)) (- y) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (cbrt (sin y)) (sqrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) (/ (cbrt (sin y)) y) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) 1) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ 1 1) (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (/ (sin y) 1) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (sin y) (exp (- x))))) y) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) 2.427 * * [simplify]: iteration 0 : 124 enodes (cost 689 ) 2.452 * * [simplify]: iteration 1 : 269 enodes (cost 656 ) 2.513 * * [simplify]: iteration 2 : 938 enodes (cost 592 ) 3.074 * * [simplify]: iteration done : 5001 enodes (cost 576 ) 3.074 * [simplify]: Simplified to: (expm1 (* (cosh x) (/ (sin y) y))) (log1p (* (cosh x) (/ (sin y) y))) (/ (cosh x) (/ y (sin 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) (* (cosh x) 2)) (* 2 y) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (cosh x) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (cosh x) (sqrt (/ (sin y) y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (* (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) (/ y (sin y))) (* (cosh x) (sin y)) (/ (* (sin y) (* (cosh x) 2)) y) (expm1 (/ (sin y) y)) (log1p (/ (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)) (- (sin y)) (- y) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (cbrt y)) (* (/ (cbrt (sin y)) (sqrt y)) (cbrt (sin y))) (/ (cbrt (sin y)) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ (cbrt (sin y)) y) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (sqrt (sin y)) (/ (sqrt (sin y)) y) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) 1 (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (sin y) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (- (fma 1/2 (pow x 2) 1) (* 1/6 (pow y 2))) (/ (cosh x) (/ y (sin y))) (/ (cosh x) (/ y (sin y))) (- (fma 1/120 (pow y 4) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) 3.075 * * * [progress]: adding candidates to table 3.230 * * [progress]: iteration 2 / 4 3.230 * * * [progress]: picking best candidate 3.245 * * * * [pick]: Picked # 3.245 * * * [progress]: localizing error 3.252 * * * [progress]: generating rewritten candidates 3.252 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 3.258 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 3.264 * * * [progress]: generating series expansions 3.264 * * * * [progress]: [ 1 / 2 ] generating series at (2) 3.264 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 3.264 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 3.264 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 3.264 * [taylor]: Taking taylor expansion of (sin y) in y 3.264 * [taylor]: Taking taylor expansion of y in y 3.264 * [taylor]: Taking taylor expansion of (cosh x) in y 3.264 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 3.264 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 3.264 * [taylor]: Taking taylor expansion of (exp x) in y 3.264 * [taylor]: Taking taylor expansion of x in y 3.264 * [taylor]: Taking taylor expansion of (exp (- x)) in y 3.264 * [taylor]: Taking taylor expansion of (- x) in y 3.264 * [taylor]: Taking taylor expansion of x in y 3.265 * [taylor]: Taking taylor expansion of 2 in y 3.265 * [taylor]: Taking taylor expansion of y in y 3.268 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 3.268 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 3.268 * [taylor]: Taking taylor expansion of (sin y) in x 3.268 * [taylor]: Taking taylor expansion of y in x 3.268 * [taylor]: Taking taylor expansion of (cosh x) in x 3.268 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 3.268 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 3.268 * [taylor]: Taking taylor expansion of (exp x) in x 3.268 * [taylor]: Taking taylor expansion of x in x 3.268 * [taylor]: Taking taylor expansion of (exp (- x)) in x 3.268 * [taylor]: Taking taylor expansion of (- x) in x 3.268 * [taylor]: Taking taylor expansion of x in x 3.268 * [taylor]: Taking taylor expansion of 2 in x 3.269 * [taylor]: Taking taylor expansion of y in x 3.269 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 3.269 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 3.269 * [taylor]: Taking taylor expansion of (sin y) in x 3.269 * [taylor]: Taking taylor expansion of y in x 3.269 * [taylor]: Taking taylor expansion of (cosh x) in x 3.269 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 3.269 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 3.269 * [taylor]: Taking taylor expansion of (exp x) in x 3.269 * [taylor]: Taking taylor expansion of x in x 3.269 * [taylor]: Taking taylor expansion of (exp (- x)) in x 3.269 * [taylor]: Taking taylor expansion of (- x) in x 3.269 * [taylor]: Taking taylor expansion of x in x 3.270 * [taylor]: Taking taylor expansion of 2 in x 3.270 * [taylor]: Taking taylor expansion of y in x 3.271 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 3.271 * [taylor]: Taking taylor expansion of (sin y) in y 3.271 * [taylor]: Taking taylor expansion of y in y 3.271 * [taylor]: Taking taylor expansion of y in y 3.275 * [taylor]: Taking taylor expansion of 0 in y 3.284 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 3.284 * [taylor]: Taking taylor expansion of 1/2 in y 3.284 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 3.284 * [taylor]: Taking taylor expansion of (sin y) in y 3.284 * [taylor]: Taking taylor expansion of y in y 3.284 * [taylor]: Taking taylor expansion of y in y 3.287 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 3.287 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 3.287 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 3.287 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 3.287 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 3.287 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 3.287 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.287 * [taylor]: Taking taylor expansion of x in y 3.287 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 3.287 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 3.287 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.287 * [taylor]: Taking taylor expansion of x in y 3.288 * [taylor]: Taking taylor expansion of 2 in y 3.288 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 3.288 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.288 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.288 * [taylor]: Taking taylor expansion of y in y 3.288 * [taylor]: Taking taylor expansion of y in y 3.288 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 3.288 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 3.288 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 3.288 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 3.288 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.288 * [taylor]: Taking taylor expansion of x in x 3.289 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 3.289 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.289 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.289 * [taylor]: Taking taylor expansion of x in x 3.289 * [taylor]: Taking taylor expansion of 2 in x 3.289 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 3.289 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 3.289 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.289 * [taylor]: Taking taylor expansion of y in x 3.289 * [taylor]: Taking taylor expansion of y in x 3.289 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 3.289 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 3.290 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 3.290 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 3.290 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.290 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.290 * [taylor]: Taking taylor expansion of x in x 3.290 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 3.290 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.290 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.290 * [taylor]: Taking taylor expansion of x in x 3.290 * [taylor]: Taking taylor expansion of 2 in x 3.291 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 3.291 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 3.291 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.291 * [taylor]: Taking taylor expansion of y in x 3.291 * [taylor]: Taking taylor expansion of y in x 3.291 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 3.291 * [taylor]: Taking taylor expansion of 1/2 in y 3.291 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 3.291 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.291 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.291 * [taylor]: Taking taylor expansion of y in y 3.291 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 3.292 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 3.292 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 3.292 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.292 * [taylor]: Taking taylor expansion of x in y 3.292 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 3.292 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 3.292 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.292 * [taylor]: Taking taylor expansion of x in y 3.292 * [taylor]: Taking taylor expansion of y in y 3.295 * [taylor]: Taking taylor expansion of 0 in y 3.301 * [taylor]: Taking taylor expansion of 0 in y 3.310 * [taylor]: Taking taylor expansion of 0 in y 3.311 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 3.311 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 3.311 * [taylor]: Taking taylor expansion of -1 in y 3.311 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 3.311 * [taylor]: Taking taylor expansion of y in y 3.311 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 3.311 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.311 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.311 * [taylor]: Taking taylor expansion of -1 in y 3.311 * [taylor]: Taking taylor expansion of y in y 3.311 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 3.311 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 3.311 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 3.311 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 3.311 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.311 * [taylor]: Taking taylor expansion of -1 in y 3.311 * [taylor]: Taking taylor expansion of x in y 3.312 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 3.312 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 3.312 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.312 * [taylor]: Taking taylor expansion of -1 in y 3.312 * [taylor]: Taking taylor expansion of x in y 3.312 * [taylor]: Taking taylor expansion of 2 in y 3.312 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 3.312 * [taylor]: Taking taylor expansion of -1 in x 3.312 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 3.312 * [taylor]: Taking taylor expansion of y in x 3.312 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 3.312 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 3.312 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.312 * [taylor]: Taking taylor expansion of -1 in x 3.312 * [taylor]: Taking taylor expansion of y in x 3.312 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 3.312 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 3.312 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 3.312 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.312 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.312 * [taylor]: Taking taylor expansion of -1 in x 3.312 * [taylor]: Taking taylor expansion of x in x 3.313 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 3.313 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 3.313 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.313 * [taylor]: Taking taylor expansion of -1 in x 3.313 * [taylor]: Taking taylor expansion of x in x 3.313 * [taylor]: Taking taylor expansion of 2 in x 3.313 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 3.313 * [taylor]: Taking taylor expansion of -1 in x 3.313 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 3.313 * [taylor]: Taking taylor expansion of y in x 3.313 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 3.313 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 3.313 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.313 * [taylor]: Taking taylor expansion of -1 in x 3.313 * [taylor]: Taking taylor expansion of y in x 3.314 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 3.314 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 3.314 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 3.314 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.314 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.314 * [taylor]: Taking taylor expansion of -1 in x 3.314 * [taylor]: Taking taylor expansion of x in x 3.314 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 3.314 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 3.314 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.314 * [taylor]: Taking taylor expansion of -1 in x 3.314 * [taylor]: Taking taylor expansion of x in x 3.315 * [taylor]: Taking taylor expansion of 2 in x 3.316 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 3.316 * [taylor]: Taking taylor expansion of -1/2 in y 3.316 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 3.316 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.316 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.316 * [taylor]: Taking taylor expansion of -1 in y 3.316 * [taylor]: Taking taylor expansion of y in y 3.316 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 3.316 * [taylor]: Taking taylor expansion of y in y 3.316 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 3.316 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 3.316 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.316 * [taylor]: Taking taylor expansion of x in y 3.316 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 3.316 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.316 * [taylor]: Taking taylor expansion of -1 in y 3.316 * [taylor]: Taking taylor expansion of x in y 3.320 * [taylor]: Taking taylor expansion of 0 in y 3.327 * [taylor]: Taking taylor expansion of 0 in y 3.336 * [taylor]: Taking taylor expansion of 0 in y 3.337 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 3.337 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0 3.337 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 3.337 * [taylor]: Taking taylor expansion of y in y 3.337 * [taylor]: Taking taylor expansion of (sin y) in y 3.337 * [taylor]: Taking taylor expansion of y in y 3.338 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 3.338 * [taylor]: Taking taylor expansion of y in y 3.338 * [taylor]: Taking taylor expansion of (sin y) in y 3.338 * [taylor]: Taking taylor expansion of y in y 3.345 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in (y) around 0 3.345 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 3.345 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 3.345 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.345 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.345 * [taylor]: Taking taylor expansion of y in y 3.345 * [taylor]: Taking taylor expansion of y in y 3.346 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 3.346 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 3.346 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.346 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.346 * [taylor]: Taking taylor expansion of y in y 3.346 * [taylor]: Taking taylor expansion of y in y 3.351 * [approximate]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in (y) around 0 3.351 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 3.352 * [taylor]: Taking taylor expansion of -1 in y 3.352 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 3.352 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.352 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.352 * [taylor]: Taking taylor expansion of -1 in y 3.352 * [taylor]: Taking taylor expansion of y in y 3.352 * [taylor]: Taking taylor expansion of y in y 3.352 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 3.352 * [taylor]: Taking taylor expansion of -1 in y 3.352 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 3.352 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.352 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.352 * [taylor]: Taking taylor expansion of -1 in y 3.352 * [taylor]: Taking taylor expansion of y in y 3.353 * [taylor]: Taking taylor expansion of y in y 3.358 * * * [progress]: simplifying candidates 3.360 * [simplify]: Simplifying using # : (expm1 (/ (cosh x) (/ y (sin y)))) (log1p (/ (cosh x) (/ y (sin y)))) (- (log (cosh x)) (- (log y) (log (sin y)))) (- (log (cosh x)) (log (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (exp (/ (cosh x) (/ y (sin y)))) (/ (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y)))) (/ (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y)))) (* (cbrt (/ (cosh x) (/ y (sin y)))) (cbrt (/ (cosh x) (/ y (sin y))))) (cbrt (/ (cosh x) (/ y (sin y)))) (* (* (/ (cosh x) (/ y (sin y))) (/ (cosh x) (/ y (sin y)))) (/ (cosh x) (/ y (sin y)))) (sqrt (/ (cosh x) (/ y (sin y)))) (sqrt (/ (cosh x) (/ y (sin y)))) (- (cosh x)) (- (/ y (sin y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cbrt (cosh x)) (cbrt (/ y (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (/ y (sin y)))) (/ (cbrt (cosh x)) (sqrt (/ y (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt (cosh x)) (/ (cbrt y) (cbrt (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (cbrt (cosh x)) (/ (cbrt y) (sqrt (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt y) (cbrt y)) 1)) (/ (cbrt (cosh x)) (/ (cbrt y) (sin y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt (cosh x)) (/ (sqrt y) (cbrt (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt y) (sqrt (sin y)))) (/ (cbrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt y) 1)) (/ (cbrt (cosh x)) (/ (sqrt y) (sin y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt (cosh x)) (/ y (cbrt (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (sqrt (sin y)))) (/ (cbrt (cosh x)) (/ y (sqrt (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 1)) (/ (cbrt (cosh x)) (/ y (sin y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) (/ (cbrt (cosh x)) (/ y (sin y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) y) (/ (cbrt (cosh x)) (/ 1 (sin y))) (/ (sqrt (cosh x)) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt (cosh x)) (cbrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (cosh x)) (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt (cosh x)) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ (cbrt y) (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ (* (cbrt y) (cbrt y)) 1)) (/ (sqrt (cosh x)) (/ (cbrt y) (sin y))) (/ (sqrt (cosh x)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (cosh x)) (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) 1)) (/ (sqrt (cosh x)) (/ (sqrt y) (sin y))) (/ (sqrt (cosh x)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (cosh x)) (/ y (cbrt (sin y)))) (/ (sqrt (cosh x)) (/ 1 (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ y (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ 1 1)) (/ (sqrt (cosh x)) (/ y (sin y))) (/ (sqrt (cosh x)) 1) (/ (sqrt (cosh x)) (/ y (sin y))) (/ (sqrt (cosh x)) y) (/ (sqrt (cosh x)) (/ 1 (sin y))) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cosh x) (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (cosh x) (sqrt (/ y (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cosh x) (/ (cbrt y) (cbrt (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (cosh x) (/ (cbrt y) (sqrt (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ (cosh x) (/ (cbrt y) (sin y))) (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cosh x) (/ (sqrt y) (cbrt (sin y)))) (/ 1 (/ (sqrt y) (sqrt (sin y)))) (/ (cosh x) (/ (sqrt y) (sqrt (sin y)))) (/ 1 (/ (sqrt y) 1)) (/ (cosh x) (/ (sqrt y) (sin y))) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cosh x) (/ y (cbrt (sin y)))) (/ 1 (/ 1 (sqrt (sin y)))) (/ (cosh x) (/ y (sqrt (sin y)))) (/ 1 (/ 1 1)) (/ (cosh x) (/ y (sin y))) (/ 1 1) (/ (cosh x) (/ y (sin y))) (/ 1 y) (/ (cosh x) (/ 1 (sin y))) (/ 1 (/ y (sin y))) (/ (/ y (sin y)) (cosh x)) (/ (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)) 1)) (/ (cosh x) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cosh x) (/ (sqrt y) (sqrt (sin y)))) (/ (cosh x) (/ (sqrt y) 1)) (/ (cosh x) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cosh x) (/ 1 (sqrt (sin y)))) (/ (cosh x) (/ 1 1)) (/ (cosh x) 1) (/ (cosh x) y) (/ (/ y (sin y)) (cbrt (cosh x))) (/ (/ y (sin y)) (sqrt (cosh x))) (/ (/ y (sin y)) (cosh x)) (/ (cosh x) y) (* (/ y (sin y)) 2) (expm1 (/ y (sin y))) (log1p (/ y (sin y))) (- (log y) (log (sin y))) (log (/ y (sin y))) (exp (/ y (sin y))) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y))) (sqrt (/ y (sin y))) (sqrt (/ y (sin y))) (- y) (- (sin y)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))) (/ (cbrt y) (sqrt (sin y))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (sin y)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt y) (cbrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) 1) (/ (sqrt y) (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y))) (/ 1 1) (/ y (sin y)) (/ 1 (sin y)) (/ (sin y) y) (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) (/ y 1) (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (sin y) (exp (- x))))) y) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) (+ (* 1/6 (pow y 2)) (+ (* 7/360 (pow y 4)) 1)) (/ y (sin y)) (/ y (sin y)) 3.368 * * [simplify]: iteration 0 : 193 enodes (cost 1422 ) 3.408 * * [simplify]: iteration 1 : 419 enodes (cost 1338 ) 3.514 * * [simplify]: iteration 2 : 1477 enodes (cost 1264 ) 3.990 * * [simplify]: iteration done : 5001 enodes (cost 1252 ) 3.991 * [simplify]: Simplified to: (expm1 (/ (cosh x) (/ y (sin y)))) (log1p (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (exp (/ (cosh x) (/ y (sin y)))) (pow (/ (cosh x) (/ y (sin y))) 3) (pow (/ (cosh x) (/ y (sin y))) 3) (* (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))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cbrt (cosh x)) (cbrt (/ y (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (/ y (sin y)))) (/ (cbrt (cosh x)) (sqrt (/ y (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt (cosh x)) (/ (cbrt y) (cbrt (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (cbrt (cosh x)) (/ (cbrt y) (sqrt (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (/ (cbrt (cosh x)) (/ (cbrt y) (sin y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt (cosh x)) (/ (sqrt y) (cbrt (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt y) (sqrt (sin y)))) (/ (cbrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (/ (cbrt (cosh x)) (/ (sqrt y) (sin y))) (* (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt (cosh x)) (/ y (cbrt (sin y)))) (* (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (sin y))) (/ (cbrt (cosh x)) (/ y (sqrt (sin y)))) (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (cbrt (cosh x)) (/ y (sin y))) (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (cbrt (cosh x)) (/ y (sin y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) y) (* (sin y) (cbrt (cosh x))) (/ (sqrt (cosh x)) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt (cosh x)) (cbrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (cosh x)) (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt (cosh x)) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ (cbrt y) (sqrt (sin y)))) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (/ (sqrt (cosh x)) (/ (cbrt y) (sin y))) (/ (sqrt (cosh x)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (cosh x)) (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt (cosh x)) (/ (sqrt y) (sin y))) (* (sqrt (cosh x)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt (cosh x)) (/ y (cbrt (sin y)))) (* (sqrt (cosh x)) (sqrt (sin y))) (/ (sqrt (cosh x)) (/ y (sqrt (sin y)))) (sqrt (cosh x)) (/ (sqrt (cosh x)) (/ y (sin y))) (sqrt (cosh x)) (/ (sqrt (cosh x)) (/ y (sin y))) (/ (sqrt (cosh x)) y) (* (sqrt (cosh x)) (sin y)) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cosh x) (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (cosh x) (sqrt (/ y (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cosh x) (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (cosh x) (/ (cbrt y) (sqrt (sin y)))) (/ 1 (* (cbrt y) (cbrt y))) (/ (cosh x) (/ (cbrt y) (sin y))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (cosh x) (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (sqrt y)) (/ (cosh x) (/ (sqrt y) (sqrt (sin y)))) (/ 1 (sqrt y)) (/ (cosh x) (/ (sqrt y) (sin y))) (* (cbrt (sin y)) (cbrt (sin y))) (/ (cosh x) (/ y (cbrt (sin y)))) (sqrt (sin y)) (/ (cosh x) (/ y (sqrt (sin y)))) 1 (/ (cosh x) (/ y (sin y))) 1 (/ (cosh x) (/ y (sin y))) (/ 1 y) (* (cosh x) (sin y)) (/ 1 (/ y (sin y))) (/ (/ y (sin y)) (cosh x)) (/ (cosh x) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cosh x) (sqrt (/ y (sin y)))) (/ (cosh x) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cosh x) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cosh x) (/ (sqrt y) (sqrt (sin y)))) (/ (cosh x) (sqrt y)) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cosh x) (sqrt (sin y))) (cosh x) (cosh x) (/ (cosh x) y) (/ (/ y (sin y)) (cbrt (cosh x))) (/ (/ y (sin y)) (sqrt (cosh x))) (/ (/ y (sin y)) (cosh x)) (/ (cosh x) y) (* (/ y (sin y)) 2) (expm1 (/ y (sin y))) (log1p (/ y (sin y))) (log (/ y (sin y))) (log (/ y (sin y))) (exp (/ y (sin y))) (pow (/ y (sin y)) 3) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))) (pow (/ y (sin y)) 3) (sqrt (/ y (sin y))) (sqrt (/ y (sin y))) (- y) (- (sin y)) (/ (cbrt y) (/ (cbrt (sin y)) (/ (cbrt 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) (- (fma 1/2 (pow x 2) 1) (* 1/6 (pow y 2))) (/ (cosh x) (/ y (sin y))) (/ (cosh x) (/ y (sin y))) (fma 1/6 (* y y) (fma 7/360 (pow y 4) 1)) (/ y (sin y)) (/ y (sin y)) 3.991 * * * [progress]: adding candidates to table 4.259 * * [progress]: iteration 3 / 4 4.259 * * * [progress]: picking best candidate 4.274 * * * * [pick]: Picked # 4.274 * * * [progress]: localizing error 4.280 * * * [progress]: generating rewritten candidates 4.280 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 4.283 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 4.293 * * * [progress]: generating series expansions 4.293 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 4.293 * [approximate]: Taking taylor expansion of (/ (cosh x) y) in (x y) around 0 4.293 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in y 4.293 * [taylor]: Taking taylor expansion of (cosh x) in y 4.293 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.293 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 4.293 * [taylor]: Taking taylor expansion of (exp x) in y 4.293 * [taylor]: Taking taylor expansion of x in y 4.293 * [taylor]: Taking taylor expansion of (exp (- x)) in y 4.293 * [taylor]: Taking taylor expansion of (- x) in y 4.293 * [taylor]: Taking taylor expansion of x in y 4.293 * [taylor]: Taking taylor expansion of 2 in y 4.294 * [taylor]: Taking taylor expansion of y in y 4.294 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in x 4.294 * [taylor]: Taking taylor expansion of (cosh x) in x 4.294 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.294 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.294 * [taylor]: Taking taylor expansion of (exp x) in x 4.294 * [taylor]: Taking taylor expansion of x in x 4.294 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.294 * [taylor]: Taking taylor expansion of (- x) in x 4.294 * [taylor]: Taking taylor expansion of x in x 4.295 * [taylor]: Taking taylor expansion of 2 in x 4.295 * [taylor]: Taking taylor expansion of y in x 4.295 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in x 4.295 * [taylor]: Taking taylor expansion of (cosh x) in x 4.295 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.295 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.295 * [taylor]: Taking taylor expansion of (exp x) in x 4.295 * [taylor]: Taking taylor expansion of x in x 4.295 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.295 * [taylor]: Taking taylor expansion of (- x) in x 4.295 * [taylor]: Taking taylor expansion of x in x 4.296 * [taylor]: Taking taylor expansion of 2 in x 4.296 * [taylor]: Taking taylor expansion of y in x 4.296 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.296 * [taylor]: Taking taylor expansion of y in y 4.299 * [taylor]: Taking taylor expansion of 0 in y 4.302 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 4.302 * [taylor]: Taking taylor expansion of 1/2 in y 4.302 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.302 * [taylor]: Taking taylor expansion of y in y 4.311 * [taylor]: Taking taylor expansion of 0 in y 4.319 * [taylor]: Taking taylor expansion of (* 1/24 (/ 1 y)) in y 4.319 * [taylor]: Taking taylor expansion of 1/24 in y 4.319 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.319 * [taylor]: Taking taylor expansion of y in y 4.320 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in (x y) around 0 4.320 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in y 4.320 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 4.320 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.320 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 4.320 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.320 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.320 * [taylor]: Taking taylor expansion of x in y 4.321 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 4.321 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 4.321 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.321 * [taylor]: Taking taylor expansion of x in y 4.321 * [taylor]: Taking taylor expansion of 2 in y 4.321 * [taylor]: Taking taylor expansion of y in y 4.321 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in x 4.321 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 4.321 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.321 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.321 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.321 * [taylor]: Taking taylor expansion of x in x 4.321 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.321 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.321 * [taylor]: Taking taylor expansion of x in x 4.322 * [taylor]: Taking taylor expansion of 2 in x 4.322 * [taylor]: Taking taylor expansion of y in x 4.322 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in x 4.322 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 4.322 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.322 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.322 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.322 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.322 * [taylor]: Taking taylor expansion of x in x 4.323 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.323 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.323 * [taylor]: Taking taylor expansion of x in x 4.323 * [taylor]: Taking taylor expansion of 2 in x 4.323 * [taylor]: Taking taylor expansion of y in x 4.324 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 4.324 * [taylor]: Taking taylor expansion of 1/2 in y 4.324 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 4.324 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 4.324 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.324 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.324 * [taylor]: Taking taylor expansion of x in y 4.324 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 4.324 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 4.324 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.324 * [taylor]: Taking taylor expansion of x in y 4.324 * [taylor]: Taking taylor expansion of y in y 4.325 * [taylor]: Taking taylor expansion of 0 in y 4.329 * [taylor]: Taking taylor expansion of 0 in y 4.335 * [taylor]: Taking taylor expansion of 0 in y 4.335 * [approximate]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in (x y) around 0 4.335 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in y 4.335 * [taylor]: Taking taylor expansion of -1 in y 4.335 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in y 4.335 * [taylor]: Taking taylor expansion of y in y 4.335 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 4.335 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.335 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 4.336 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.336 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.336 * [taylor]: Taking taylor expansion of -1 in y 4.336 * [taylor]: Taking taylor expansion of x in y 4.336 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 4.336 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 4.336 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.336 * [taylor]: Taking taylor expansion of -1 in y 4.336 * [taylor]: Taking taylor expansion of x in y 4.336 * [taylor]: Taking taylor expansion of 2 in y 4.336 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in x 4.336 * [taylor]: Taking taylor expansion of -1 in x 4.336 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in x 4.336 * [taylor]: Taking taylor expansion of y in x 4.336 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 4.336 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.336 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.336 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.336 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.336 * [taylor]: Taking taylor expansion of -1 in x 4.336 * [taylor]: Taking taylor expansion of x in x 4.336 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.337 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.337 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.337 * [taylor]: Taking taylor expansion of -1 in x 4.337 * [taylor]: Taking taylor expansion of x in x 4.337 * [taylor]: Taking taylor expansion of 2 in x 4.337 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in x 4.337 * [taylor]: Taking taylor expansion of -1 in x 4.337 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in x 4.337 * [taylor]: Taking taylor expansion of y in x 4.337 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 4.337 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.337 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.337 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.337 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.337 * [taylor]: Taking taylor expansion of -1 in x 4.338 * [taylor]: Taking taylor expansion of x in x 4.338 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.338 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.338 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.338 * [taylor]: Taking taylor expansion of -1 in x 4.338 * [taylor]: Taking taylor expansion of x in x 4.338 * [taylor]: Taking taylor expansion of 2 in x 4.339 * [taylor]: Taking taylor expansion of (* -1/2 (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 4.339 * [taylor]: Taking taylor expansion of -1/2 in y 4.339 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 4.339 * [taylor]: Taking taylor expansion of y in y 4.339 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 4.339 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.339 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.339 * [taylor]: Taking taylor expansion of x in y 4.339 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.339 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.339 * [taylor]: Taking taylor expansion of -1 in y 4.339 * [taylor]: Taking taylor expansion of x in y 4.341 * [taylor]: Taking taylor expansion of 0 in y 4.345 * [taylor]: Taking taylor expansion of 0 in y 4.351 * [taylor]: Taking taylor expansion of 0 in y 4.351 * * * * [progress]: [ 2 / 2 ] generating series at (2) 4.351 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 4.351 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 4.351 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 4.351 * [taylor]: Taking taylor expansion of (sin y) in y 4.351 * [taylor]: Taking taylor expansion of y in y 4.351 * [taylor]: Taking taylor expansion of (cosh x) in y 4.351 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.351 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 4.351 * [taylor]: Taking taylor expansion of (exp x) in y 4.352 * [taylor]: Taking taylor expansion of x in y 4.352 * [taylor]: Taking taylor expansion of (exp (- x)) in y 4.352 * [taylor]: Taking taylor expansion of (- x) in y 4.352 * [taylor]: Taking taylor expansion of x in y 4.352 * [taylor]: Taking taylor expansion of 2 in y 4.352 * [taylor]: Taking taylor expansion of y in y 4.355 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 4.355 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 4.355 * [taylor]: Taking taylor expansion of (sin y) in x 4.355 * [taylor]: Taking taylor expansion of y in x 4.355 * [taylor]: Taking taylor expansion of (cosh x) in x 4.355 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.355 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.355 * [taylor]: Taking taylor expansion of (exp x) in x 4.355 * [taylor]: Taking taylor expansion of x in x 4.355 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.355 * [taylor]: Taking taylor expansion of (- x) in x 4.355 * [taylor]: Taking taylor expansion of x in x 4.355 * [taylor]: Taking taylor expansion of 2 in x 4.356 * [taylor]: Taking taylor expansion of y in x 4.356 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 4.356 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 4.356 * [taylor]: Taking taylor expansion of (sin y) in x 4.356 * [taylor]: Taking taylor expansion of y in x 4.356 * [taylor]: Taking taylor expansion of (cosh x) in x 4.356 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.356 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.356 * [taylor]: Taking taylor expansion of (exp x) in x 4.356 * [taylor]: Taking taylor expansion of x in x 4.356 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.356 * [taylor]: Taking taylor expansion of (- x) in x 4.356 * [taylor]: Taking taylor expansion of x in x 4.357 * [taylor]: Taking taylor expansion of 2 in x 4.357 * [taylor]: Taking taylor expansion of y in x 4.357 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.357 * [taylor]: Taking taylor expansion of (sin y) in y 4.357 * [taylor]: Taking taylor expansion of y in y 4.358 * [taylor]: Taking taylor expansion of y in y 4.362 * [taylor]: Taking taylor expansion of 0 in y 4.368 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 4.368 * [taylor]: Taking taylor expansion of 1/2 in y 4.368 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.368 * [taylor]: Taking taylor expansion of (sin y) in y 4.368 * [taylor]: Taking taylor expansion of y in y 4.368 * [taylor]: Taking taylor expansion of y in y 4.371 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 4.371 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 4.371 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 4.371 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.371 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 4.371 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.371 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.371 * [taylor]: Taking taylor expansion of x in y 4.371 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 4.371 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 4.371 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.372 * [taylor]: Taking taylor expansion of x in y 4.372 * [taylor]: Taking taylor expansion of 2 in y 4.372 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.372 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.372 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.372 * [taylor]: Taking taylor expansion of y in y 4.372 * [taylor]: Taking taylor expansion of y in y 4.372 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 4.372 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 4.372 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.372 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.372 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.372 * [taylor]: Taking taylor expansion of x in x 4.373 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.373 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.373 * [taylor]: Taking taylor expansion of x in x 4.373 * [taylor]: Taking taylor expansion of 2 in x 4.373 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 4.373 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 4.373 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.373 * [taylor]: Taking taylor expansion of y in x 4.374 * [taylor]: Taking taylor expansion of y in x 4.374 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 4.374 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 4.374 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.374 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.374 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.374 * [taylor]: Taking taylor expansion of x in x 4.374 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.374 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.374 * [taylor]: Taking taylor expansion of x in x 4.375 * [taylor]: Taking taylor expansion of 2 in x 4.375 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 4.375 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 4.375 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.375 * [taylor]: Taking taylor expansion of y in x 4.375 * [taylor]: Taking taylor expansion of y in x 4.375 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 4.375 * [taylor]: Taking taylor expansion of 1/2 in y 4.375 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 4.375 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.375 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.375 * [taylor]: Taking taylor expansion of y in y 4.376 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 4.376 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 4.376 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.376 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.376 * [taylor]: Taking taylor expansion of x in y 4.376 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 4.376 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 4.376 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.376 * [taylor]: Taking taylor expansion of x in y 4.376 * [taylor]: Taking taylor expansion of y in y 4.379 * [taylor]: Taking taylor expansion of 0 in y 4.386 * [taylor]: Taking taylor expansion of 0 in y 4.398 * [taylor]: Taking taylor expansion of 0 in y 4.398 * [approximate]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in (x y) around 0 4.398 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in y 4.398 * [taylor]: Taking taylor expansion of -1 in y 4.398 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in y 4.398 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 4.398 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.398 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 4.399 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.399 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.399 * [taylor]: Taking taylor expansion of -1 in y 4.399 * [taylor]: Taking taylor expansion of x in y 4.399 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 4.399 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 4.399 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.399 * [taylor]: Taking taylor expansion of -1 in y 4.399 * [taylor]: Taking taylor expansion of x in y 4.399 * [taylor]: Taking taylor expansion of 2 in y 4.399 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 4.399 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.399 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.399 * [taylor]: Taking taylor expansion of -1 in y 4.399 * [taylor]: Taking taylor expansion of y in y 4.399 * [taylor]: Taking taylor expansion of y in y 4.399 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in x 4.399 * [taylor]: Taking taylor expansion of -1 in x 4.399 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in x 4.399 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 4.400 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.400 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.400 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.400 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.400 * [taylor]: Taking taylor expansion of -1 in x 4.400 * [taylor]: Taking taylor expansion of x in x 4.400 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.400 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.400 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.400 * [taylor]: Taking taylor expansion of -1 in x 4.400 * [taylor]: Taking taylor expansion of x in x 4.401 * [taylor]: Taking taylor expansion of 2 in x 4.401 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 4.401 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 4.401 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.401 * [taylor]: Taking taylor expansion of -1 in x 4.401 * [taylor]: Taking taylor expansion of y in x 4.401 * [taylor]: Taking taylor expansion of y in x 4.401 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in x 4.401 * [taylor]: Taking taylor expansion of -1 in x 4.401 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in x 4.401 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 4.401 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.401 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.401 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.401 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.401 * [taylor]: Taking taylor expansion of -1 in x 4.401 * [taylor]: Taking taylor expansion of x in x 4.401 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.401 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.401 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.402 * [taylor]: Taking taylor expansion of -1 in x 4.402 * [taylor]: Taking taylor expansion of x in x 4.402 * [taylor]: Taking taylor expansion of 2 in x 4.402 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 4.402 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 4.402 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.402 * [taylor]: Taking taylor expansion of -1 in x 4.402 * [taylor]: Taking taylor expansion of y in x 4.402 * [taylor]: Taking taylor expansion of y in x 4.403 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 4.403 * [taylor]: Taking taylor expansion of -1/2 in y 4.403 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 4.403 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.403 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.403 * [taylor]: Taking taylor expansion of -1 in y 4.403 * [taylor]: Taking taylor expansion of y in y 4.403 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 4.403 * [taylor]: Taking taylor expansion of y in y 4.403 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 4.403 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.403 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.403 * [taylor]: Taking taylor expansion of x in y 4.403 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.403 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.403 * [taylor]: Taking taylor expansion of -1 in y 4.403 * [taylor]: Taking taylor expansion of x in y 4.407 * [taylor]: Taking taylor expansion of 0 in y 4.414 * [taylor]: Taking taylor expansion of 0 in y 4.424 * [taylor]: Taking taylor expansion of 0 in y 4.424 * * * [progress]: simplifying candidates 4.425 * [simplify]: Simplifying using # : (expm1 (/ (cosh x) y)) (log1p (/ (cosh x) 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)) (- (cosh x)) (- 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) (expm1 (* (/ (cosh x) y) (sin y))) (log1p (* (/ (cosh x) y) (sin y))) (* (/ (cosh x) y) (sin y)) (+ (- (log (cosh x)) (log y)) (log (sin y))) (+ (log (/ (cosh x) y)) (log (sin y))) (log (* (/ (cosh x) y) (sin y))) (exp (* (/ (cosh x) y) (sin y))) (* (/ (* (* (cosh x) (cosh x)) (cosh x)) (* (* y y) y)) (* (* (sin y) (sin y)) (sin y))) (* (* (* (/ (cosh x) y) (/ (cosh x) y)) (/ (cosh x) y)) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (* (/ (cosh x) y) (sin y))) (cbrt (* (/ (cosh x) y) (sin y)))) (cbrt (* (/ (cosh x) y) (sin y))) (* (* (* (/ (cosh x) y) (sin y)) (* (/ (cosh x) y) (sin y))) (* (/ (cosh x) y) (sin y))) (sqrt (* (/ (cosh x) y) (sin y))) (sqrt (* (/ (cosh x) y) (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))) (* (/ (cosh x) y) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cosh x) y) (sqrt (sin y))) (* (/ (cosh x) y) 1) (* (cbrt (/ (cosh x) y)) (sin y)) (* (sqrt (/ (cosh x) y)) (sin y)) (* (/ (cbrt (cosh x)) (cbrt y)) (sin y)) (* (/ (cbrt (cosh x)) (sqrt y)) (sin y)) (* (/ (cbrt (cosh x)) y) (sin y)) (* (/ (sqrt (cosh x)) (cbrt y)) (sin y)) (* (/ (sqrt (cosh x)) (sqrt y)) (sin y)) (* (/ (sqrt (cosh x)) y) (sin y)) (* (/ (cosh x) (cbrt y)) (sin y)) (* (/ (cosh x) (sqrt y)) (sin y)) (* (/ (cosh x) y) (sin y)) (* (/ (cosh x) y) (sin y)) (* (/ 1 y) (sin y)) (* (cosh x) (sin y)) (+ (* 1/24 (/ (pow x 4) y)) (+ (/ 1 y) (* 1/2 (/ (pow x 2) y)))) (/ (+ (* 1/2 (exp x)) (* 1/2 (exp (- x)))) y) (/ (+ (* 1/2 (exp (* -1 x))) (* 1/2 (exp x))) y) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (sin y) (exp (- x))))) y) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) 4.428 * * [simplify]: iteration 0 : 132 enodes (cost 675 ) 4.453 * * [simplify]: iteration 1 : 290 enodes (cost 649 ) 4.525 * * [simplify]: iteration 2 : 813 enodes (cost 582 ) 5.155 * * [simplify]: iteration 3 : 4418 enodes (cost 557 ) 6.676 * * [simplify]: iteration done : 5000 enodes (cost 557 ) 6.677 * [simplify]: Simplified to: (expm1 (/ (cosh x) y)) (log1p (/ (cosh x) y)) (log (/ (cosh x) y)) (log (/ (cosh x) y)) (exp (/ (cosh x) y)) (pow (/ (cosh x) y) 3) (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (cbrt (/ (cosh x) y)) (pow (/ (cosh x) y) 3) (sqrt (/ (cosh x) y)) (sqrt (/ (cosh x) y)) (- (cosh x)) (- 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 1/2) (expm1 (* (/ (cosh x) y) (sin y))) (log1p (* (/ (cosh x) y) (sin y))) (/ (* (cosh x) (sin y)) 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) (* (cbrt (* (/ (cosh x) y) (sin y))) (cbrt (* (/ (cosh x) y) (sin y)))) (cbrt (* (/ (cosh x) y) (sin y))) (pow (* (/ (cosh x) y) (sin y)) 3) (sqrt (* (/ (cosh x) y) (sin y))) (sqrt (* (/ (cosh x) y) (sin y))) (* (sqrt (/ (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))) (* (/ (cosh x) y) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cosh x) y) (sqrt (sin y))) (/ (cosh x) 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)) (sin y)) (* (/ (cbrt (cosh x)) y) (sin y)) (* (/ (sqrt (cosh x)) (cbrt y)) (sin y)) (* (/ (sqrt (cosh x)) (sqrt y)) (sin y)) (* (/ (sqrt (cosh x)) y) (sin y)) (* (/ (cosh x) (cbrt y)) (sin y)) (* (/ (cosh x) (sqrt y)) (sin y)) (/ (* (cosh x) (sin y)) y) (/ (* (cosh x) (sin y)) y) (/ (sin y) y) (* (cosh x) (sin y)) (fma 1/24 (/ (pow x 4) y) (fma (/ (pow x 2) y) 1/2 (/ 1 y))) (/ (cosh x) y) (/ (cosh x) y) (fma (* y y) -1/6 (fma 1/2 (pow x 2) 1)) (/ (* (cosh x) (sin y)) y) (/ (* (cosh x) (sin y)) y) 6.677 * * * [progress]: adding candidates to table 6.837 * * [progress]: iteration 4 / 4 6.837 * * * [progress]: picking best candidate 6.854 * * * * [pick]: Picked # 6.854 * * * [progress]: localizing error 6.862 * * * [progress]: generating rewritten candidates 6.862 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 6.865 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 6.876 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 6.895 * * * [progress]: generating series expansions 6.895 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 6.895 * [approximate]: Taking taylor expansion of (/ (cosh x) y) in (x y) around 0 6.895 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in y 6.895 * [taylor]: Taking taylor expansion of (cosh x) in y 6.896 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.896 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 6.896 * [taylor]: Taking taylor expansion of (exp x) in y 6.896 * [taylor]: Taking taylor expansion of x in y 6.896 * [taylor]: Taking taylor expansion of (exp (- x)) in y 6.896 * [taylor]: Taking taylor expansion of (- x) in y 6.896 * [taylor]: Taking taylor expansion of x in y 6.896 * [taylor]: Taking taylor expansion of 2 in y 6.896 * [taylor]: Taking taylor expansion of y in y 6.896 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in x 6.896 * [taylor]: Taking taylor expansion of (cosh x) in x 6.896 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.896 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.896 * [taylor]: Taking taylor expansion of (exp x) in x 6.896 * [taylor]: Taking taylor expansion of x in x 6.896 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.896 * [taylor]: Taking taylor expansion of (- x) in x 6.896 * [taylor]: Taking taylor expansion of x in x 6.897 * [taylor]: Taking taylor expansion of 2 in x 6.902 * [taylor]: Taking taylor expansion of y in x 6.902 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in x 6.902 * [taylor]: Taking taylor expansion of (cosh x) in x 6.902 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.902 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.902 * [taylor]: Taking taylor expansion of (exp x) in x 6.902 * [taylor]: Taking taylor expansion of x in x 6.902 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.902 * [taylor]: Taking taylor expansion of (- x) in x 6.902 * [taylor]: Taking taylor expansion of x in x 6.903 * [taylor]: Taking taylor expansion of 2 in x 6.903 * [taylor]: Taking taylor expansion of y in x 6.903 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.904 * [taylor]: Taking taylor expansion of y in y 6.906 * [taylor]: Taking taylor expansion of 0 in y 6.909 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 6.910 * [taylor]: Taking taylor expansion of 1/2 in y 6.910 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.910 * [taylor]: Taking taylor expansion of y in y 6.915 * [taylor]: Taking taylor expansion of 0 in y 6.923 * [taylor]: Taking taylor expansion of (* 1/24 (/ 1 y)) in y 6.923 * [taylor]: Taking taylor expansion of 1/24 in y 6.923 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.923 * [taylor]: Taking taylor expansion of y in y 6.924 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in (x y) around 0 6.924 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in y 6.924 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 6.924 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.924 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 6.924 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.924 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.924 * [taylor]: Taking taylor expansion of x in y 6.924 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.924 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.924 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.924 * [taylor]: Taking taylor expansion of x in y 6.924 * [taylor]: Taking taylor expansion of 2 in y 6.924 * [taylor]: Taking taylor expansion of y in y 6.924 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in x 6.924 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 6.924 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.924 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.925 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.925 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.925 * [taylor]: Taking taylor expansion of x in x 6.925 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.925 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.925 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.925 * [taylor]: Taking taylor expansion of x in x 6.925 * [taylor]: Taking taylor expansion of 2 in x 6.926 * [taylor]: Taking taylor expansion of y in x 6.926 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in x 6.926 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 6.926 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.926 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.926 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.926 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.926 * [taylor]: Taking taylor expansion of x in x 6.926 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.926 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.926 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.926 * [taylor]: Taking taylor expansion of x in x 6.927 * [taylor]: Taking taylor expansion of 2 in x 6.927 * [taylor]: Taking taylor expansion of y in x 6.927 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 6.927 * [taylor]: Taking taylor expansion of 1/2 in y 6.927 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 6.927 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 6.927 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.927 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.927 * [taylor]: Taking taylor expansion of x in y 6.927 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.927 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.927 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.927 * [taylor]: Taking taylor expansion of x in y 6.927 * [taylor]: Taking taylor expansion of y in y 6.929 * [taylor]: Taking taylor expansion of 0 in y 6.933 * [taylor]: Taking taylor expansion of 0 in y 6.938 * [taylor]: Taking taylor expansion of 0 in y 6.939 * [approximate]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in (x y) around 0 6.939 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in y 6.939 * [taylor]: Taking taylor expansion of -1 in y 6.939 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in y 6.939 * [taylor]: Taking taylor expansion of y in y 6.939 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 6.939 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.939 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 6.939 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.939 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.939 * [taylor]: Taking taylor expansion of -1 in y 6.939 * [taylor]: Taking taylor expansion of x in y 6.939 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 6.939 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 6.939 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.939 * [taylor]: Taking taylor expansion of -1 in y 6.939 * [taylor]: Taking taylor expansion of x in y 6.939 * [taylor]: Taking taylor expansion of 2 in y 6.939 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in x 6.939 * [taylor]: Taking taylor expansion of -1 in x 6.939 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in x 6.939 * [taylor]: Taking taylor expansion of y in x 6.939 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 6.939 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.939 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.939 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.939 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.939 * [taylor]: Taking taylor expansion of -1 in x 6.939 * [taylor]: Taking taylor expansion of x in x 6.940 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.940 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.940 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.940 * [taylor]: Taking taylor expansion of -1 in x 6.940 * [taylor]: Taking taylor expansion of x in x 6.940 * [taylor]: Taking taylor expansion of 2 in x 6.941 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in x 6.941 * [taylor]: Taking taylor expansion of -1 in x 6.941 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in x 6.941 * [taylor]: Taking taylor expansion of y in x 6.941 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 6.941 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.941 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.941 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.941 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.941 * [taylor]: Taking taylor expansion of -1 in x 6.941 * [taylor]: Taking taylor expansion of x in x 6.941 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.941 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.941 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.941 * [taylor]: Taking taylor expansion of -1 in x 6.941 * [taylor]: Taking taylor expansion of x in x 6.942 * [taylor]: Taking taylor expansion of 2 in x 6.942 * [taylor]: Taking taylor expansion of (* -1/2 (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 6.942 * [taylor]: Taking taylor expansion of -1/2 in y 6.942 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 6.942 * [taylor]: Taking taylor expansion of y in y 6.942 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 6.942 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.942 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.942 * [taylor]: Taking taylor expansion of x in y 6.942 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.942 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.942 * [taylor]: Taking taylor expansion of -1 in y 6.942 * [taylor]: Taking taylor expansion of x in y 6.944 * [taylor]: Taking taylor expansion of 0 in y 6.949 * [taylor]: Taking taylor expansion of 0 in y 6.955 * [taylor]: Taking taylor expansion of 0 in y 6.955 * * * * [progress]: [ 2 / 3 ] generating series at (2) 6.955 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 6.955 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 6.955 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 6.955 * [taylor]: Taking taylor expansion of (sin y) in y 6.955 * [taylor]: Taking taylor expansion of y in y 6.955 * [taylor]: Taking taylor expansion of (cosh x) in y 6.955 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.955 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 6.955 * [taylor]: Taking taylor expansion of (exp x) in y 6.955 * [taylor]: Taking taylor expansion of x in y 6.955 * [taylor]: Taking taylor expansion of (exp (- x)) in y 6.955 * [taylor]: Taking taylor expansion of (- x) in y 6.956 * [taylor]: Taking taylor expansion of x in y 6.956 * [taylor]: Taking taylor expansion of 2 in y 6.956 * [taylor]: Taking taylor expansion of y in y 6.959 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 6.959 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 6.959 * [taylor]: Taking taylor expansion of (sin y) in x 6.959 * [taylor]: Taking taylor expansion of y in x 6.959 * [taylor]: Taking taylor expansion of (cosh x) in x 6.959 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.959 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.959 * [taylor]: Taking taylor expansion of (exp x) in x 6.959 * [taylor]: Taking taylor expansion of x in x 6.959 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.959 * [taylor]: Taking taylor expansion of (- x) in x 6.959 * [taylor]: Taking taylor expansion of x in x 6.959 * [taylor]: Taking taylor expansion of 2 in x 6.960 * [taylor]: Taking taylor expansion of y in x 6.960 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 6.960 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 6.960 * [taylor]: Taking taylor expansion of (sin y) in x 6.960 * [taylor]: Taking taylor expansion of y in x 6.960 * [taylor]: Taking taylor expansion of (cosh x) in x 6.960 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.960 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.960 * [taylor]: Taking taylor expansion of (exp x) in x 6.960 * [taylor]: Taking taylor expansion of x in x 6.960 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.960 * [taylor]: Taking taylor expansion of (- x) in x 6.960 * [taylor]: Taking taylor expansion of x in x 6.961 * [taylor]: Taking taylor expansion of 2 in x 6.961 * [taylor]: Taking taylor expansion of y in x 6.961 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 6.961 * [taylor]: Taking taylor expansion of (sin y) in y 6.961 * [taylor]: Taking taylor expansion of y in y 6.961 * [taylor]: Taking taylor expansion of y in y 6.966 * [taylor]: Taking taylor expansion of 0 in y 6.972 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 6.972 * [taylor]: Taking taylor expansion of 1/2 in y 6.972 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 6.972 * [taylor]: Taking taylor expansion of (sin y) in y 6.972 * [taylor]: Taking taylor expansion of y in y 6.972 * [taylor]: Taking taylor expansion of y in y 6.975 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 6.975 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 6.975 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 6.975 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.975 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 6.975 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.975 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.975 * [taylor]: Taking taylor expansion of x in y 6.975 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.975 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.975 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.975 * [taylor]: Taking taylor expansion of x in y 6.975 * [taylor]: Taking taylor expansion of 2 in y 6.976 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 6.976 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.976 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.976 * [taylor]: Taking taylor expansion of y in y 6.976 * [taylor]: Taking taylor expansion of y in y 6.976 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 6.976 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 6.976 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.976 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.976 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.976 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.976 * [taylor]: Taking taylor expansion of x in x 6.976 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.976 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.976 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.976 * [taylor]: Taking taylor expansion of x in x 6.977 * [taylor]: Taking taylor expansion of 2 in x 6.977 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 6.977 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 6.977 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.977 * [taylor]: Taking taylor expansion of y in x 6.977 * [taylor]: Taking taylor expansion of y in x 6.977 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 6.977 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 6.977 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.977 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.977 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.977 * [taylor]: Taking taylor expansion of x in x 6.978 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.978 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.978 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.978 * [taylor]: Taking taylor expansion of x in x 6.978 * [taylor]: Taking taylor expansion of 2 in x 6.978 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 6.978 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 6.978 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.979 * [taylor]: Taking taylor expansion of y in x 6.979 * [taylor]: Taking taylor expansion of y in x 6.979 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 6.979 * [taylor]: Taking taylor expansion of 1/2 in y 6.979 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 6.979 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.979 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.979 * [taylor]: Taking taylor expansion of y in y 6.979 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 6.979 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 6.979 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.979 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.979 * [taylor]: Taking taylor expansion of x in y 6.979 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.979 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.979 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.979 * [taylor]: Taking taylor expansion of x in y 6.980 * [taylor]: Taking taylor expansion of y in y 6.983 * [taylor]: Taking taylor expansion of 0 in y 6.992 * [taylor]: Taking taylor expansion of 0 in y 7.002 * [taylor]: Taking taylor expansion of 0 in y 7.002 * [approximate]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in (x y) around 0 7.002 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in y 7.002 * [taylor]: Taking taylor expansion of -1 in y 7.002 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in y 7.002 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 7.002 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 7.002 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 7.002 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 7.003 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.003 * [taylor]: Taking taylor expansion of -1 in y 7.003 * [taylor]: Taking taylor expansion of x in y 7.003 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 7.003 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 7.003 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.003 * [taylor]: Taking taylor expansion of -1 in y 7.003 * [taylor]: Taking taylor expansion of x in y 7.003 * [taylor]: Taking taylor expansion of 2 in y 7.003 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 7.003 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.003 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.003 * [taylor]: Taking taylor expansion of -1 in y 7.003 * [taylor]: Taking taylor expansion of y in y 7.003 * [taylor]: Taking taylor expansion of y in y 7.003 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in x 7.003 * [taylor]: Taking taylor expansion of -1 in x 7.003 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in x 7.003 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 7.004 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 7.004 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.004 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.004 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.004 * [taylor]: Taking taylor expansion of -1 in x 7.004 * [taylor]: Taking taylor expansion of x in x 7.004 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.004 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.004 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.004 * [taylor]: Taking taylor expansion of -1 in x 7.004 * [taylor]: Taking taylor expansion of x in x 7.005 * [taylor]: Taking taylor expansion of 2 in x 7.005 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 7.005 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.005 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.005 * [taylor]: Taking taylor expansion of -1 in x 7.005 * [taylor]: Taking taylor expansion of y in x 7.005 * [taylor]: Taking taylor expansion of y in x 7.005 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in x 7.005 * [taylor]: Taking taylor expansion of -1 in x 7.005 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in x 7.005 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 7.005 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 7.005 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.005 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.005 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.005 * [taylor]: Taking taylor expansion of -1 in x 7.005 * [taylor]: Taking taylor expansion of x in x 7.006 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.006 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.006 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.006 * [taylor]: Taking taylor expansion of -1 in x 7.006 * [taylor]: Taking taylor expansion of x in x 7.006 * [taylor]: Taking taylor expansion of 2 in x 7.006 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 7.007 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.007 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.007 * [taylor]: Taking taylor expansion of -1 in x 7.007 * [taylor]: Taking taylor expansion of y in x 7.007 * [taylor]: Taking taylor expansion of y in x 7.007 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 7.007 * [taylor]: Taking taylor expansion of -1/2 in y 7.007 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 7.007 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.007 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.007 * [taylor]: Taking taylor expansion of -1 in y 7.007 * [taylor]: Taking taylor expansion of y in y 7.008 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 7.008 * [taylor]: Taking taylor expansion of y in y 7.008 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 7.008 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.008 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.008 * [taylor]: Taking taylor expansion of x in y 7.008 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 7.008 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.008 * [taylor]: Taking taylor expansion of -1 in y 7.008 * [taylor]: Taking taylor expansion of x in y 7.011 * [taylor]: Taking taylor expansion of 0 in y 7.018 * [taylor]: Taking taylor expansion of 0 in y 7.028 * [taylor]: Taking taylor expansion of 0 in y 7.028 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 7.028 * [approximate]: Taking taylor expansion of (/ 1 (sin y)) in (y) around 0 7.028 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 7.028 * [taylor]: Taking taylor expansion of (sin y) in y 7.028 * [taylor]: Taking taylor expansion of y in y 7.029 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 7.029 * [taylor]: Taking taylor expansion of (sin y) in y 7.029 * [taylor]: Taking taylor expansion of y in y 7.037 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in (y) around 0 7.037 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 7.037 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.037 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.037 * [taylor]: Taking taylor expansion of y in y 7.037 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 7.037 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.037 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.037 * [taylor]: Taking taylor expansion of y in y 7.039 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in (y) around 0 7.039 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 7.039 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.039 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.039 * [taylor]: Taking taylor expansion of -1 in y 7.039 * [taylor]: Taking taylor expansion of y in y 7.039 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 7.039 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.039 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.039 * [taylor]: Taking taylor expansion of -1 in y 7.039 * [taylor]: Taking taylor expansion of y in y 7.041 * * * [progress]: simplifying candidates 7.046 * [simplify]: Simplifying using # : (expm1 (/ (cosh x) y)) (log1p (/ (cosh x) 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)) (- (cosh x)) (- 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) (expm1 (/ (/ (cosh x) y) (/ 1 (sin y)))) (log1p (/ (/ (cosh x) y) (/ 1 (sin y)))) (- (- (log (cosh x)) (log y)) (- (log (sin y)))) (- (- (log (cosh x)) (log y)) (- 0 (log (sin y)))) (- (- (log (cosh x)) (log y)) (- (log 1) (log (sin y)))) (- (- (log (cosh x)) (log y)) (log (/ 1 (sin y)))) (- (log (/ (cosh x) y)) (- (log (sin y)))) (- (log (/ (cosh x) y)) (- 0 (log (sin y)))) (- (log (/ (cosh x) y)) (- (log 1) (log (sin y)))) (- (log (/ (cosh x) y)) (log (/ 1 (sin y)))) (log (/ (/ (cosh x) y) (/ 1 (sin y)))) (exp (/ (/ (cosh x) y) (/ 1 (sin y)))) (/ (/ (* (* (cosh x) (cosh x)) (cosh x)) (* (* y y) y)) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y)))) (/ (/ (* (* (cosh x) (cosh x)) (cosh x)) (* (* y y) y)) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y)))) (/ (* (* (/ (cosh x) y) (/ (cosh x) y)) (/ (cosh x) y)) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y)))) (/ (* (* (/ (cosh x) y) (/ (cosh x) y)) (/ (cosh x) y)) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y)))) (* (cbrt (/ (/ (cosh x) y) (/ 1 (sin y)))) (cbrt (/ (/ (cosh x) y) (/ 1 (sin y))))) (cbrt (/ (/ (cosh x) y) (/ 1 (sin y)))) (* (* (/ (/ (cosh x) y) (/ 1 (sin y))) (/ (/ (cosh x) y) (/ 1 (sin y)))) (/ (/ (cosh x) y) (/ 1 (sin y)))) (sqrt (/ (/ (cosh x) y) (/ 1 (sin y)))) (sqrt (/ (/ (cosh x) y) (/ 1 (sin y)))) (- (/ (cosh x) y)) (- (/ 1 (sin y))) (/ (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (cbrt (/ (cosh x) y)) (cbrt (/ 1 (sin y)))) (/ (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (sqrt (/ 1 (sin y)))) (/ (cbrt (/ (cosh x) y)) (sqrt (/ 1 (sin y)))) (/ (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt (/ (cosh x) y)) (/ (cbrt 1) (cbrt (sin y)))) (/ (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (cbrt (/ (cosh x) y)) (/ (cbrt 1) (sqrt (sin y)))) (/ (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (cbrt (/ (cosh x) y)) (/ (cbrt 1) (sin y))) (/ (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt (/ (cosh x) y)) (/ (sqrt 1) (cbrt (sin y)))) (/ (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (/ (sqrt 1) (sqrt (sin y)))) (/ (cbrt (/ (cosh x) y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (/ (sqrt 1) 1)) (/ (cbrt (/ (cosh x) y)) (/ (sqrt 1) (sin y))) (/ (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt (/ (cosh x) y)) (/ 1 (cbrt (sin y)))) (/ (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (/ 1 (sqrt (sin y)))) (/ (cbrt (/ (cosh x) y)) (/ 1 (sqrt (sin y)))) (/ (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (/ 1 1)) (/ (cbrt (/ (cosh x) y)) (/ 1 (sin y))) (/ (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) 1) (/ (cbrt (/ (cosh x) y)) (/ 1 (sin y))) (/ (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) 1) (/ (cbrt (/ (cosh x) y)) (/ 1 (sin y))) (/ (sqrt (/ (cosh x) y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (sqrt (/ (cosh x) y)) (cbrt (/ 1 (sin y)))) (/ (sqrt (/ (cosh x) y)) (sqrt (/ 1 (sin y)))) (/ (sqrt (/ (cosh x) y)) (sqrt (/ 1 (sin y)))) (/ (sqrt (/ (cosh x) y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (/ (cosh x) y)) (/ (cbrt 1) (cbrt (sin y)))) (/ (sqrt (/ (cosh x) y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (sqrt (/ (cosh x) y)) (/ (cbrt 1) (sqrt (sin y)))) (/ (sqrt (/ (cosh x) y)) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (sqrt (/ (cosh x) y)) (/ (cbrt 1) (sin y))) (/ (sqrt (/ (cosh x) y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (/ (cosh x) y)) (/ (sqrt 1) (cbrt (sin y)))) (/ (sqrt (/ (cosh x) y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (sqrt (/ (cosh x) y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (sqrt (/ (cosh x) y)) (/ (sqrt 1) 1)) (/ (sqrt (/ (cosh x) y)) (/ (sqrt 1) (sin y))) (/ (sqrt (/ (cosh x) y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (/ (cosh x) y)) (/ 1 (cbrt (sin y)))) (/ (sqrt (/ (cosh x) y)) (/ 1 (sqrt (sin y)))) (/ (sqrt (/ (cosh x) y)) (/ 1 (sqrt (sin y)))) (/ (sqrt (/ (cosh x) y)) (/ 1 1)) (/ (sqrt (/ (cosh x) y)) (/ 1 (sin y))) (/ (sqrt (/ (cosh x) y)) 1) (/ (sqrt (/ (cosh x) y)) (/ 1 (sin y))) (/ (sqrt (/ (cosh x) y)) 1) (/ (sqrt (/ (cosh x) y)) (/ 1 (sin y))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cbrt (cosh x)) (cbrt y)) (cbrt (/ 1 (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (/ (/ (cbrt (cosh x)) (cbrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt (cosh x)) (cbrt y)) (/ (cbrt 1) (cbrt (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (cbrt (cosh x)) (cbrt y)) (/ (cbrt 1) (sqrt (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cbrt (cosh x)) (cbrt y)) (/ (cbrt 1) (sin y))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt (cosh x)) (cbrt y)) (/ (sqrt 1) (cbrt (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (cbrt (cosh x)) (cbrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (/ (sqrt 1) 1)) (/ (/ (cbrt (cosh x)) (cbrt y)) (/ (sqrt 1) (sin y))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt (cosh x)) (cbrt y)) (/ 1 (cbrt (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (/ 1 (sqrt (sin y)))) (/ (/ (cbrt (cosh x)) (cbrt y)) (/ 1 (sqrt (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (/ 1 1)) (/ (/ (cbrt (cosh x)) (cbrt y)) (/ 1 (sin y))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) 1) (/ (/ (cbrt (cosh x)) (cbrt y)) (/ 1 (sin y))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) 1) (/ (/ (cbrt (cosh x)) (cbrt y)) (/ 1 (sin y))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cbrt (cosh x)) (sqrt y)) (cbrt (/ 1 (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (cbrt (cosh x)) (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt (cosh x)) (sqrt y)) (/ (cbrt 1) (cbrt (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (cbrt (cosh x)) (sqrt y)) (/ (cbrt 1) (sqrt (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cbrt (cosh x)) (sqrt y)) (/ (cbrt 1) (sin y))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt (cosh x)) (sqrt y)) (/ (sqrt 1) (cbrt (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (cbrt (cosh x)) (sqrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (/ (sqrt 1) 1)) (/ (/ (cbrt (cosh x)) (sqrt y)) (/ (sqrt 1) (sin y))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt (cosh x)) (sqrt y)) (/ 1 (cbrt (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (/ 1 (sqrt (sin y)))) (/ (/ (cbrt (cosh x)) (sqrt y)) (/ 1 (sqrt (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (/ 1 1)) (/ (/ (cbrt (cosh x)) (sqrt y)) (/ 1 (sin y))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) 1) (/ (/ (cbrt (cosh x)) (sqrt y)) (/ 1 (sin y))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) 1) (/ (/ (cbrt (cosh x)) (sqrt y)) (/ 1 (sin y))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cbrt (cosh x)) y) (cbrt (/ 1 (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) (sqrt (/ 1 (sin y)))) (/ (/ (cbrt (cosh x)) y) (sqrt (/ 1 (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt (cosh x)) y) (/ (cbrt 1) (cbrt (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (cbrt (cosh x)) y) (/ (cbrt 1) (sqrt (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cbrt (cosh x)) y) (/ (cbrt 1) (sin y))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt (cosh x)) y) (/ (sqrt 1) (cbrt (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (cbrt (cosh x)) y) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) (/ (sqrt 1) 1)) (/ (/ (cbrt (cosh x)) y) (/ (sqrt 1) (sin y))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt (cosh x)) y) (/ 1 (cbrt (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) (/ 1 (sqrt (sin y)))) (/ (/ (cbrt (cosh x)) y) (/ 1 (sqrt (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) (/ 1 1)) (/ (/ (cbrt (cosh x)) y) (/ 1 (sin y))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) 1) (/ (/ (cbrt (cosh x)) y) (/ 1 (sin y))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) 1) (/ (/ (cbrt (cosh x)) y) (/ 1 (sin y))) (/ (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (sqrt (cosh x)) (cbrt y)) (cbrt (/ 1 (sin y)))) (/ (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt (cosh x)) (cbrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt (cosh x)) (cbrt y)) (/ (cbrt 1) (cbrt (sin y)))) (/ (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (sqrt (cosh x)) (cbrt y)) (/ (cbrt 1) (sqrt (sin y)))) (/ (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (sqrt (cosh x)) (cbrt y)) (/ (cbrt 1) (sin y))) (/ (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt (cosh x)) (cbrt y)) (/ (sqrt 1) (cbrt (sin y)))) (/ (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (sqrt (cosh x)) (cbrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (/ (sqrt 1) 1)) (/ (/ (sqrt (cosh x)) (cbrt y)) (/ (sqrt 1) (sin y))) (/ (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt (cosh x)) (cbrt y)) (/ 1 (cbrt (sin y)))) (/ (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (/ 1 (sqrt (sin y)))) (/ (/ (sqrt (cosh x)) (cbrt y)) (/ 1 (sqrt (sin y)))) (/ (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (/ 1 1)) (/ (/ (sqrt (cosh x)) (cbrt y)) (/ 1 (sin y))) (/ (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) 1) (/ (/ (sqrt (cosh x)) (cbrt y)) (/ 1 (sin y))) (/ (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) 1) (/ (/ (sqrt (cosh x)) (cbrt y)) (/ 1 (sin y))) (/ (/ (sqrt (cosh x)) (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (sqrt (cosh x)) (sqrt y)) (cbrt (/ 1 (sin y)))) (/ (/ (sqrt (cosh x)) (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt (cosh x)) (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ (cbrt 1) (cbrt (sin y)))) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ (cbrt 1) (sqrt (sin y)))) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ (cbrt 1) (sin y))) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt 1) (cbrt (sin y)))) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt 1) 1)) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt 1) (sin y))) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (cbrt (sin y)))) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (sqrt (sin y)))) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (sqrt (sin y)))) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ 1 1)) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (sin y))) (/ (/ (sqrt (cosh x)) (sqrt y)) 1) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (sin y))) (/ (/ (sqrt (cosh x)) (sqrt y)) 1) (/ (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (sin y))) (/ (/ (sqrt (cosh x)) 1) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (sqrt (cosh x)) y) (cbrt (/ 1 (sin y)))) (/ (/ (sqrt (cosh x)) 1) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt (cosh x)) y) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt (cosh x)) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt (cosh x)) y) (/ (cbrt 1) (cbrt (sin y)))) (/ (/ (sqrt (cosh x)) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (sqrt (cosh x)) y) (/ (cbrt 1) (sqrt (sin y)))) (/ (/ (sqrt (cosh x)) 1) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (sqrt (cosh x)) y) (/ (cbrt 1) (sin y))) (/ (/ (sqrt (cosh x)) 1) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt (cosh x)) y) (/ (sqrt 1) (cbrt (sin y)))) (/ (/ (sqrt (cosh x)) 1) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (sqrt (cosh x)) y) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (sqrt (cosh x)) 1) (/ (sqrt 1) 1)) (/ (/ (sqrt (cosh x)) y) (/ (sqrt 1) (sin y))) (/ (/ (sqrt (cosh x)) 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt (cosh x)) y) (/ 1 (cbrt (sin y)))) (/ (/ (sqrt (cosh x)) 1) (/ 1 (sqrt (sin y)))) (/ (/ (sqrt (cosh x)) y) (/ 1 (sqrt (sin y)))) (/ (/ (sqrt (cosh x)) 1) (/ 1 1)) (/ (/ (sqrt (cosh x)) y) (/ 1 (sin y))) (/ (/ (sqrt (cosh x)) 1) 1) (/ (/ (sqrt (cosh x)) y) (/ 1 (sin y))) (/ (/ (sqrt (cosh x)) 1) 1) (/ (/ (sqrt (cosh x)) y) (/ 1 (sin y))) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) (cbrt y)) (cbrt (/ 1 (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (/ (/ (cosh x) (cbrt y)) (sqrt (/ 1 (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cosh x) (cbrt y)) (/ (cbrt 1) (cbrt (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (cosh x) (cbrt y)) (/ (cbrt 1) (sqrt (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cosh x) (cbrt y)) (/ (cbrt 1) (sin y))) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cosh x) (cbrt y)) (/ (sqrt 1) (cbrt (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (cosh x) (cbrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt 1) 1)) (/ (/ (cosh x) (cbrt y)) (/ (sqrt 1) (sin y))) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cosh x) (cbrt y)) (/ 1 (cbrt (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ 1 (sqrt (sin y)))) (/ (/ (cosh x) (cbrt y)) (/ 1 (sqrt (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ 1 1)) (/ (/ (cosh x) (cbrt y)) (/ 1 (sin y))) (/ (/ 1 (* (cbrt y) (cbrt y))) 1) (/ (/ (cosh x) (cbrt y)) (/ 1 (sin y))) (/ (/ 1 (* (cbrt y) (cbrt y))) 1) (/ (/ (cosh x) (cbrt y)) (/ 1 (sin y))) (/ (/ 1 (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) (sqrt y)) (cbrt (/ 1 (sin y)))) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (cosh x) (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ 1 (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cosh x) (sqrt y)) (/ (cbrt 1) (cbrt (sin y)))) (/ (/ 1 (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (cosh x) (sqrt y)) (/ (cbrt 1) (sqrt (sin y)))) (/ (/ 1 (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cosh x) (sqrt y)) (/ (cbrt 1) (sin y))) (/ (/ 1 (sqrt y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cosh x) (sqrt y)) (/ (sqrt 1) (cbrt (sin y)))) (/ (/ 1 (sqrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (cosh x) (sqrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ 1 (sqrt y)) (/ (sqrt 1) 1)) (/ (/ (cosh x) (sqrt y)) (/ (sqrt 1) (sin y))) (/ (/ 1 (sqrt y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cosh x) (sqrt y)) (/ 1 (cbrt (sin y)))) (/ (/ 1 (sqrt y)) (/ 1 (sqrt (sin y)))) (/ (/ (cosh x) (sqrt y)) (/ 1 (sqrt (sin y)))) (/ (/ 1 (sqrt y)) (/ 1 1)) (/ (/ (cosh x) (sqrt y)) (/ 1 (sin y))) (/ (/ 1 (sqrt y)) 1) (/ (/ (cosh x) (sqrt y)) (/ 1 (sin y))) (/ (/ 1 (sqrt y)) 1) (/ (/ (cosh x) (sqrt y)) (/ 1 (sin y))) (/ (/ 1 1) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) y) (cbrt (/ 1 (sin y)))) (/ (/ 1 1) (sqrt (/ 1 (sin y)))) (/ (/ (cosh x) y) (sqrt (/ 1 (sin y)))) (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cosh x) y) (/ (cbrt 1) (cbrt (sin y)))) (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (cosh x) y) (/ (cbrt 1) (sqrt (sin y)))) (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cosh x) y) (/ (cbrt 1) (sin y))) (/ (/ 1 1) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cosh x) y) (/ (sqrt 1) (cbrt (sin y)))) (/ (/ 1 1) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (cosh x) y) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ 1 1) (/ (sqrt 1) 1)) (/ (/ (cosh x) y) (/ (sqrt 1) (sin y))) (/ (/ 1 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cosh x) y) (/ 1 (cbrt (sin y)))) (/ (/ 1 1) (/ 1 (sqrt (sin y)))) (/ (/ (cosh x) y) (/ 1 (sqrt (sin y)))) (/ (/ 1 1) (/ 1 1)) (/ (/ (cosh x) y) (/ 1 (sin y))) (/ (/ 1 1) 1) (/ (/ (cosh x) y) (/ 1 (sin y))) (/ (/ 1 1) 1) (/ (/ (cosh x) y) (/ 1 (sin y))) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) y) (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ (/ (cosh x) y) (sqrt (/ 1 (sin y)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cosh x) y) (/ (cbrt 1) (cbrt (sin y)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (cosh x) y) (/ (cbrt 1) (sqrt (sin y)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cosh x) y) (/ (cbrt 1) (sin y))) (/ 1 (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cosh x) y) (/ (sqrt 1) (cbrt (sin y)))) (/ 1 (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (cosh x) y) (/ (sqrt 1) (sqrt (sin y)))) (/ 1 (/ (sqrt 1) 1)) (/ (/ (cosh x) y) (/ (sqrt 1) (sin y))) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cosh x) y) (/ 1 (cbrt (sin y)))) (/ 1 (/ 1 (sqrt (sin y)))) (/ (/ (cosh x) y) (/ 1 (sqrt (sin y)))) (/ 1 (/ 1 1)) (/ (/ (cosh x) y) (/ 1 (sin y))) (/ 1 1) (/ (/ (cosh x) y) (/ 1 (sin y))) (/ 1 1) (/ (/ (cosh x) y) (/ 1 (sin y))) (/ (cosh x) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (cbrt (/ 1 (sin y)))) (/ (cosh x) (sqrt (/ 1 (sin y)))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))) (/ (cosh x) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ (cbrt 1) (cbrt (sin y)))) (/ (cosh x) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ 1 y) (/ (cbrt 1) (sqrt (sin y)))) (/ (cosh x) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 y) (/ (cbrt 1) (sin y))) (/ (cosh x) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ (sqrt 1) (cbrt (sin y)))) (/ (cosh x) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ 1 y) (/ (sqrt 1) (sqrt (sin y)))) (/ (cosh x) (/ (sqrt 1) 1)) (/ (/ 1 y) (/ (sqrt 1) (sin y))) (/ (cosh x) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ 1 (cbrt (sin y)))) (/ (cosh x) (/ 1 (sqrt (sin y)))) (/ (/ 1 y) (/ 1 (sqrt (sin y)))) (/ (cosh x) (/ 1 1)) (/ (/ 1 y) (/ 1 (sin y))) (/ (cosh x) 1) (/ (/ 1 y) (/ 1 (sin y))) (/ (cosh x) 1) (/ (/ 1 y) (/ 1 (sin y))) (/ 1 (/ 1 (sin y))) (/ (/ 1 (sin y)) (/ (cosh x) y)) (/ (/ (cosh x) y) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) y) (sqrt (/ 1 (sin y)))) (/ (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cosh x) y) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cosh x) y) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (cosh x) y) (/ (sqrt 1) 1)) (/ (/ (cosh x) y) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cosh x) y) (/ 1 (sqrt (sin y)))) (/ (/ (cosh x) y) (/ 1 1)) (/ (/ (cosh x) y) 1) (/ (/ (cosh x) y) 1) (/ (/ 1 (sin y)) (cbrt (/ (cosh x) y))) (/ (/ 1 (sin y)) (sqrt (/ (cosh x) y))) (/ (/ 1 (sin y)) (/ (cbrt (cosh x)) (cbrt y))) (/ (/ 1 (sin y)) (/ (cbrt (cosh x)) (sqrt y))) (/ (/ 1 (sin y)) (/ (cbrt (cosh x)) y)) (/ (/ 1 (sin y)) (/ (sqrt (cosh x)) (cbrt y))) (/ (/ 1 (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (/ (/ 1 (sin y)) (/ (sqrt (cosh x)) y)) (/ (/ 1 (sin y)) (/ (cosh x) (cbrt y))) (/ (/ 1 (sin y)) (/ (cosh x) (sqrt y))) (/ (/ 1 (sin y)) (/ (cosh x) y)) (/ (/ 1 (sin y)) (/ (cosh x) y)) (/ (/ 1 (sin y)) (/ 1 y)) (/ (/ (cosh x) y) 1) (* (/ 1 (sin y)) y) (expm1 (/ 1 (sin y))) (log1p (/ 1 (sin y))) (- 1) (- (log (sin y))) (- 0 (log (sin y))) (- (log 1) (log (sin y))) (log (/ 1 (sin y))) (exp (/ 1 (sin y))) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y))) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y))) (sqrt (/ 1 (sin y))) (sqrt (/ 1 (sin y))) (- 1) (- (sin y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt 1) (cbrt (sin y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))) (/ (cbrt 1) (sqrt (sin y))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (sin y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt 1) (cbrt (sin y))) (/ (sqrt 1) (sqrt (sin y))) (/ (sqrt 1) (sqrt (sin y))) (/ (sqrt 1) 1) (/ (sqrt 1) (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ 1 (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ 1 (sqrt (sin y))) (/ 1 1) (/ 1 (sin y)) (/ 1 (sin y)) (/ (sin y) 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ 1 (sqrt (sin y))) (/ 1 1) (/ (sin y) (cbrt 1)) (/ (sin y) (sqrt 1)) (/ (sin y) 1) (+ (* 1/24 (/ (pow x 4) y)) (+ (/ 1 y) (* 1/2 (/ (pow x 2) y)))) (/ (+ (* 1/2 (exp x)) (* 1/2 (exp (- x)))) y) (/ (+ (* 1/2 (exp (* -1 x))) (* 1/2 (exp x))) y) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (sin y) (exp (- x))))) y) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) (+ (* 7/360 (pow y 3)) (+ (/ 1 y) (* 1/6 y))) (/ 1 (sin y)) (/ 1 (sin y)) 7.067 * * [simplify]: iteration 0 : 474 enodes (cost 5486 ) 7.321 * * [simplify]: iteration 1 : 1332 enodes (cost 4470 ) 7.799 * * [simplify]: iteration 2 : 3530 enodes (cost 4096 ) 8.539 * * [simplify]: iteration done : 5000 enodes (cost 4088 ) 8.541 * [simplify]: Simplified to: (expm1 (/ (cosh x) y)) (log1p (/ (cosh x) y)) (log (/ (cosh x) y)) (log (/ (cosh x) y)) (exp (/ (cosh x) y)) (pow (/ (cosh x) y) 3) (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (cbrt (/ (cosh x) y)) (pow (/ (cosh x) y) 3) (sqrt (/ (cosh x) y)) (sqrt (/ (cosh x) y)) (- (cosh x)) (- 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) (expm1 (* (/ (cosh x) y) (sin y))) (log1p (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (log (* (/ (cosh x) y) (sin y))) (exp (* (/ (cosh x) y) (sin y))) (pow (* (/ (cosh x) y) (sin y)) 3) (pow (* (/ (cosh x) y) (sin y)) 3) (pow (* (/ (cosh x) y) (sin y)) 3) (pow (* (/ (cosh x) y) (sin y)) 3) (* (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)) (/ -1 (sin y)) (/ (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (cbrt (/ (cosh x) y)) (cbrt (/ 1 (sin y)))) (/ (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (sqrt (/ 1 (sin y)))) (/ (cbrt (/ (cosh x) y)) (sqrt (/ 1 (sin y)))) (* (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (/ (cosh x) y)) (cbrt (sin y))) (* (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (sqrt (sin y))) (* (cbrt (/ (cosh x) y)) (sqrt (sin y))) (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (* (cbrt (/ (cosh x) y)) (sin y)) (* (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (/ (cosh x) y)) (cbrt (sin y))) (* (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (sqrt (sin y))) (* (cbrt (/ (cosh x) y)) (sqrt (sin y))) (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (* (cbrt (/ (cosh x) y)) (sin y)) (* (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (/ (cosh x) y)) (cbrt (sin y))) (* (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (sqrt (sin y))) (* (cbrt (/ (cosh x) y)) (sqrt (sin y))) (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (* (cbrt (/ (cosh x) y)) (sin y)) (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (* (cbrt (/ (cosh x) y)) (sin y)) (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (* (cbrt (/ (cosh x) y)) (sin y)) (/ (sqrt (/ (cosh x) y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (sqrt (/ (cosh x) y)) (cbrt (/ 1 (sin y)))) (/ (sqrt (/ (cosh x) y)) (sqrt (/ 1 (sin y)))) (/ (sqrt (/ (cosh x) y)) (sqrt (/ 1 (sin y)))) (* (sqrt (/ (cosh x) y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (sqrt (/ (cosh x) y)) (cbrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (sqrt (/ (cosh x) y)) (* (sqrt (/ (cosh x) y)) (sin y)) (* (sqrt (/ (cosh x) y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (sqrt (/ (cosh x) y)) (cbrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (sqrt (/ (cosh x) y)) (* (sqrt (/ (cosh x) y)) (sin y)) (* (sqrt (/ (cosh x) y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (sqrt (/ (cosh x) y)) (cbrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (sqrt (/ (cosh x) y)) (* (sqrt (/ (cosh x) y)) (sin y)) (sqrt (/ (cosh x) y)) (* (sqrt (/ (cosh x) y)) (sin y)) (sqrt (/ (cosh x) y)) (* (sqrt (/ (cosh x) y)) (sin y)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cbrt (cosh x)) (cbrt y)) (cbrt (/ 1 (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (/ (/ (cbrt (cosh x)) (cbrt y)) (sqrt (/ 1 (sin y)))) (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cbrt (cosh x)) (cbrt y)) (cbrt (sin y))) (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (* (/ (cbrt (cosh x)) (cbrt y)) (sqrt (sin y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (* (/ (cbrt (cosh x)) (cbrt y)) (sin y)) (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cbrt (cosh x)) (cbrt y)) (cbrt (sin y))) (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (* (/ (cbrt (cosh x)) (cbrt y)) (sqrt (sin y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (* (/ (cbrt (cosh x)) (cbrt y)) (sin y)) (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cbrt (cosh x)) (cbrt y)) (cbrt (sin y))) (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (* (/ (cbrt (cosh x)) (cbrt y)) (sqrt (sin y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (* (/ (cbrt (cosh x)) (cbrt y)) (sin y)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (* (/ (cbrt (cosh x)) (cbrt y)) (sin y)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (* (/ (cbrt (cosh x)) (cbrt y)) (sin y)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cbrt (cosh x)) (sqrt y)) (cbrt (/ 1 (sin y)))) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (cbrt (cosh x)) (sqrt y)) (sqrt (/ 1 (sin y)))) (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cbrt (cosh x)) (sqrt y)) (cbrt (sin y))) (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (sqrt (sin y))) (/ (cbrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (* (/ (cbrt (cosh x)) (sqrt y)) (sin y)) (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cbrt (cosh x)) (sqrt y)) (cbrt (sin y))) (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (sqrt (sin y))) (/ (cbrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (* (/ (cbrt (cosh x)) (sqrt y)) (sin y)) (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cbrt (cosh x)) (sqrt y)) (cbrt (sin y))) (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (sqrt (sin y))) (/ (cbrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (* (/ (cbrt (cosh x)) (sqrt y)) (sin y)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (* (/ (cbrt (cosh x)) (sqrt y)) (sin y)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (* (/ (cbrt (cosh x)) (sqrt y)) (sin y)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cbrt (cosh x)) y) (cbrt (/ 1 (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (/ 1 (sin y)))) (/ (/ (cbrt (cosh x)) y) (sqrt (/ 1 (sin y)))) (* (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cbrt (cosh x)) y) (cbrt (sin y))) (* (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (sin y))) (* (/ (cbrt (cosh x)) y) (sqrt (sin y))) (* (cbrt (cosh x)) (cbrt (cosh x))) (* (/ (cbrt (cosh x)) y) (sin y)) (* (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cbrt (cosh x)) y) (cbrt (sin y))) (* (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (sin y))) (* (/ (cbrt (cosh x)) y) (sqrt (sin y))) (* (cbrt (cosh x)) (cbrt (cosh x))) (* (/ (cbrt (cosh x)) y) (sin y)) (* (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cbrt (cosh x)) y) (cbrt (sin y))) (* (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (sin y))) (* (/ (cbrt (cosh x)) y) (sqrt (sin y))) (* (cbrt (cosh x)) (cbrt (cosh x))) (* (/ (cbrt (cosh x)) y) (sin y)) (* (cbrt (cosh x)) (cbrt (cosh x))) (* (/ (cbrt (cosh x)) y) (sin y)) (* (cbrt (cosh x)) (cbrt (cosh x))) (* (/ (cbrt (cosh x)) y) (sin y)) (/ (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (sqrt (cosh x)) (cbrt y)) (cbrt (/ 1 (sin y)))) (/ (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt (cosh x)) (cbrt y)) (sqrt (/ 1 (sin y)))) (* (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (/ (sqrt (cosh x)) (cbrt y))) (* (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (* (/ (sqrt (cosh x)) (cbrt y)) (sqrt (sin y))) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (* (/ (sqrt (cosh x)) (cbrt y)) (sin y)) (* (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (/ (sqrt (cosh x)) (cbrt y))) (* (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (* (/ (sqrt (cosh x)) (cbrt y)) (sqrt (sin y))) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (* (/ (sqrt (cosh x)) (cbrt y)) (sin y)) (* (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (/ (sqrt (cosh x)) (cbrt y))) (* (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (* (/ (sqrt (cosh x)) (cbrt y)) (sqrt (sin y))) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (* (/ (sqrt (cosh x)) (cbrt y)) (sin y)) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (* (/ (sqrt (cosh x)) (cbrt y)) (sin y)) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (* (/ (sqrt (cosh x)) (cbrt y)) (sin y)) (/ (/ (sqrt (cosh x)) (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (sqrt (cosh x)) (sqrt y)) (cbrt (/ 1 (sin y)))) (/ (/ (sqrt (cosh x)) (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt (cosh x)) (sqrt y)) (sqrt (/ 1 (sin y)))) (* (/ (sqrt (cosh x)) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (sqrt (cosh x)) (sqrt y)) (cbrt (sin y))) (* (/ (sqrt (cosh x)) (sqrt y)) (sqrt (sin y))) (* (/ (sqrt (cosh x)) (sqrt y)) (sqrt (sin y))) (/ (sqrt (cosh x)) (sqrt y)) (* (/ (sqrt (cosh x)) (sqrt y)) (sin y)) (* (/ (sqrt (cosh x)) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (sqrt (cosh x)) (sqrt y)) (cbrt (sin y))) (* (/ (sqrt (cosh x)) (sqrt y)) (sqrt (sin y))) (* (/ (sqrt (cosh x)) (sqrt y)) (sqrt (sin y))) (/ (sqrt (cosh x)) (sqrt y)) (* (/ (sqrt (cosh x)) (sqrt y)) (sin y)) (* (/ (sqrt (cosh x)) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (sqrt (cosh x)) (sqrt y)) (cbrt (sin y))) (* (/ (sqrt (cosh x)) (sqrt y)) (sqrt (sin y))) (* (/ (sqrt (cosh x)) (sqrt y)) (sqrt (sin y))) (/ (sqrt (cosh x)) (sqrt y)) (* (/ (sqrt (cosh x)) (sqrt y)) (sin y)) (/ (sqrt (cosh x)) (sqrt y)) (* (/ (sqrt (cosh x)) (sqrt y)) (sin y)) (/ (sqrt (cosh x)) (sqrt y)) (* (/ (sqrt (cosh x)) (sqrt y)) (sin y)) (/ (sqrt (cosh x)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (sqrt (cosh x)) y) (cbrt (/ 1 (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt (cosh x)) y) (sqrt (/ 1 (sin y)))) (* (sqrt (cosh x)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt (cosh x)) (/ y (cbrt (sin y)))) (* (sqrt (cosh x)) (sqrt (sin y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) y)) (sqrt (cosh x)) (* (/ (sqrt (cosh x)) y) (sin y)) (* (sqrt (cosh x)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt (cosh x)) (/ y (cbrt (sin y)))) (* (sqrt (cosh x)) (sqrt (sin y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) y)) (sqrt (cosh x)) (* (/ (sqrt (cosh x)) y) (sin y)) (* (sqrt (cosh x)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt (cosh x)) (/ y (cbrt (sin y)))) (* (sqrt (cosh x)) (sqrt (sin y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) y)) (sqrt (cosh x)) (* (/ (sqrt (cosh x)) y) (sin y)) (sqrt (cosh x)) (* (/ (sqrt (cosh x)) y) (sin y)) (sqrt (cosh x)) (* (/ (sqrt (cosh x)) y) (sin y)) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) (cbrt y)) (cbrt (/ 1 (sin y)))) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (/ (/ (cosh x) (cbrt y)) (sqrt (/ 1 (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (* (/ (cosh x) (cbrt y)) (cbrt (sin y))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (* (cosh x) (sqrt (sin y))) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (* (/ (cosh x) (cbrt y)) (sin y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (* (/ (cosh x) (cbrt y)) (cbrt (sin y))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (* (cosh x) (sqrt (sin y))) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (* (/ (cosh x) (cbrt y)) (sin y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (* (/ (cosh x) (cbrt y)) (cbrt (sin y))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (* (cosh x) (sqrt (sin y))) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (* (/ (cosh x) (cbrt y)) (sin y)) (/ 1 (* (cbrt y) (cbrt y))) (* (/ (cosh x) (cbrt y)) (sin y)) (/ 1 (* (cbrt y) (cbrt y))) (* (/ (cosh x) (cbrt y)) (sin y)) (/ (/ 1 (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) (sqrt y)) (cbrt (/ 1 (sin y)))) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (cosh x) (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (* (/ (cosh x) (sqrt y)) (cbrt (sin y))) (/ (sqrt (sin y)) (sqrt y)) (* (/ (cosh x) (sqrt y)) (sqrt (sin y))) (/ 1 (sqrt y)) (* (/ (cosh x) (sqrt y)) (sin y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (* (/ (cosh x) (sqrt y)) (cbrt (sin y))) (/ (sqrt (sin y)) (sqrt y)) (* (/ (cosh x) (sqrt y)) (sqrt (sin y))) (/ 1 (sqrt y)) (* (/ (cosh x) (sqrt y)) (sin y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (* (/ (cosh x) (sqrt y)) (cbrt (sin y))) (/ (sqrt (sin y)) (sqrt y)) (* (/ (cosh x) (sqrt y)) (sqrt (sin y))) (/ 1 (sqrt y)) (* (/ (cosh x) (sqrt y)) (sin y)) (/ 1 (sqrt y)) (* (/ (cosh x) (sqrt y)) (sin y)) (/ 1 (sqrt y)) (* (/ (cosh x) (sqrt y)) (sin y)) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) y) (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ (/ (cosh x) y) (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ (cosh x) y) (cbrt (sin y))) (sqrt (sin y)) (* (/ (cosh x) y) (sqrt (sin y))) 1 (* (/ (cosh x) y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ (cosh x) y) (cbrt (sin y))) (sqrt (sin y)) (* (/ (cosh x) y) (sqrt (sin y))) 1 (* (/ (cosh x) y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ (cosh x) y) (cbrt (sin y))) (sqrt (sin y)) (* (/ (cosh x) y) (sqrt (sin y))) 1 (* (/ (cosh x) y) (sin y)) 1 (* (/ (cosh x) y) (sin y)) 1 (* (/ (cosh x) y) (sin y)) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) y) (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ (/ (cosh x) y) (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ (cosh x) y) (cbrt (sin y))) (sqrt (sin y)) (* (/ (cosh x) y) (sqrt (sin y))) 1 (* (/ (cosh x) y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ (cosh x) y) (cbrt (sin y))) (sqrt (sin y)) (* (/ (cosh x) y) (sqrt (sin y))) 1 (* (/ (cosh x) y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ (cosh x) y) (cbrt (sin y))) (sqrt (sin y)) (* (/ (cosh x) y) (sqrt (sin y))) 1 (* (/ (cosh x) y) (sin y)) 1 (* (/ (cosh x) y) (sin y)) 1 (* (/ (cosh x) y) (sin y)) (/ (cosh x) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (cbrt (/ 1 (sin y)))) (/ (cosh x) (sqrt (/ 1 (sin y)))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (/ 1 (/ y (cbrt (sin y)))) (* (cosh x) (sqrt (sin y))) (/ (sqrt (sin y)) y) (cosh x) (/ (sin y) y) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (/ 1 (/ y (cbrt (sin y)))) (* (cosh x) (sqrt (sin y))) (/ (sqrt (sin y)) y) (cosh x) (/ (sin y) y) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (/ 1 (/ y (cbrt (sin y)))) (* (cosh x) (sqrt (sin y))) (/ (sqrt (sin y)) y) (cosh x) (/ (sin y) y) (cosh x) (/ (sin y) y) (cosh x) (/ (sin y) y) (sin y) (/ (/ y (sin y)) (cosh x)) (/ (/ (cosh x) y) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) y) (sqrt (/ 1 (sin 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) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (cosh x) y) (sqrt (sin y))) (/ (cosh x) y) (/ (cosh x) y) (/ (cosh x) y) (/ (/ 1 (sin y)) (cbrt (/ (cosh x) y))) (/ (/ 1 (sin y)) (sqrt (/ (cosh x) y))) (/ (/ 1 (sin y)) (/ (cbrt (cosh x)) (cbrt y))) (/ (/ (sqrt y) (sin y)) (cbrt (cosh x))) (/ (/ y (sin y)) (cbrt (cosh x))) (/ (/ 1 (sin y)) (/ (sqrt (cosh x)) (cbrt y))) (/ (/ (sqrt y) (sin y)) (sqrt (cosh x))) (/ (/ y (sin y)) (sqrt (cosh x))) (/ (/ 1 (sin y)) (/ (cosh x) (cbrt y))) (/ (/ (sqrt y) (sin y)) (cosh x)) (/ (/ y (sin y)) (cosh x)) (/ (/ y (sin y)) (cosh x)) (/ y (sin y)) (/ (cosh x) y) (/ y (sin y)) (expm1 (/ 1 (sin y))) (log1p (/ 1 (sin y))) -1 (- (log (sin y))) (- (log (sin y))) (- (log (sin y))) (- (log (sin y))) (exp (/ 1 (sin y))) (pow (/ 1 (sin y)) 3) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y))) (pow (/ 1 (sin y)) 3) (sqrt (/ 1 (sin y))) (sqrt (/ 1 (sin y))) -1 (- (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) (fma (/ (pow x 4) y) 1/24 (fma 1/2 (/ (pow x 2) y) (/ 1 y))) (/ 1 (/ y (cosh x))) (/ 1 (/ y (cosh x))) (- (fma 1/2 (pow x 2) 1) (* 1/6 (pow y 2))) (/ (* (* 1/2 (sin y)) (+ (exp x) (exp (- x)))) y) (/ (* (* 1/2 (sin y)) (+ (exp x) (exp (- x)))) y) (fma (pow y 3) 7/360 (fma 1/6 y (/ 1 y))) (/ 1 (sin y)) (/ 1 (sin y)) 8.543 * * * [progress]: adding candidates to table 8.969 * [progress]: [Phase 3 of 3] Extracting. 8.969 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 8.970 * * * [regime-changes]: Trying 5 branch expressions: ((/ (sin y) y) (cosh x) (* (cosh x) (/ (sin y) y)) y x) 8.970 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (# # # # # # # # #) 9.006 * * * * [regimes]: Trying to branch on (cosh x) from (# # # # # # # # #) 9.033 * * * * [regimes]: Trying to branch on (* (cosh x) (/ (sin y) y)) from (# # # # # # # # #) 9.071 * * * * [regimes]: Trying to branch on y from (# # # # # # # # #) 9.103 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 9.134 * * * [regime]: Found split indices: #