12.267 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.078 * * * [progress]: [2/2] Setting up program. 0.080 * [progress]: [Phase 2 of 3] Improving. 0.081 * [simplify]: Simplifying using # : (* (cosh x) (/ (sin y) y)) 0.082 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.082 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.084 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 0.088 * * [simplify]: iteration 3 : 53 enodes (cost 7 ) 0.095 * * [simplify]: iteration 4 : 98 enodes (cost 7 ) 0.107 * * [simplify]: iteration 5 : 154 enodes (cost 7 ) 0.135 * * [simplify]: iteration 6 : 306 enodes (cost 7 ) 0.218 * * [simplify]: iteration 7 : 750 enodes (cost 7 ) 0.567 * * [simplify]: iteration 8 : 1539 enodes (cost 7 ) 1.788 * * [simplify]: iteration 9 : 3333 enodes (cost 7 ) 6.560 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 6.560 * [simplify]: Simplified to: (* (cosh x) (/ (sin y) y)) 6.560 * * [progress]: iteration 1 / 4 6.561 * * * [progress]: picking best candidate 6.562 * * * * [pick]: Picked # 6.562 * * * [progress]: localizing error 6.569 * * * [progress]: generating rewritten candidates 6.569 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 6.577 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 6.582 * * * [progress]: generating series expansions 6.582 * * * * [progress]: [ 1 / 2 ] generating series at (2) 6.583 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 6.583 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 6.583 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 6.583 * [taylor]: Taking taylor expansion of (sin y) in y 6.583 * [taylor]: Taking taylor expansion of y in y 6.583 * [taylor]: Taking taylor expansion of (cosh x) in y 6.583 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.583 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 6.583 * [taylor]: Taking taylor expansion of (exp x) in y 6.583 * [taylor]: Taking taylor expansion of x in y 6.583 * [taylor]: Taking taylor expansion of (exp (- x)) in y 6.583 * [taylor]: Taking taylor expansion of (- x) in y 6.583 * [taylor]: Taking taylor expansion of x in y 6.583 * [taylor]: Taking taylor expansion of 2 in y 6.583 * [taylor]: Taking taylor expansion of y in y 6.591 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 6.591 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 6.591 * [taylor]: Taking taylor expansion of (sin y) in x 6.591 * [taylor]: Taking taylor expansion of y in x 6.591 * [taylor]: Taking taylor expansion of (cosh x) in x 6.591 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.591 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.591 * [taylor]: Taking taylor expansion of (exp x) in x 6.591 * [taylor]: Taking taylor expansion of x in x 6.591 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.591 * [taylor]: Taking taylor expansion of (- x) in x 6.591 * [taylor]: Taking taylor expansion of x in x 6.592 * [taylor]: Taking taylor expansion of 2 in x 6.592 * [taylor]: Taking taylor expansion of y in x 6.592 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 6.592 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 6.592 * [taylor]: Taking taylor expansion of (sin y) in x 6.592 * [taylor]: Taking taylor expansion of y in x 6.593 * [taylor]: Taking taylor expansion of (cosh x) in x 6.593 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.593 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.593 * [taylor]: Taking taylor expansion of (exp x) in x 6.593 * [taylor]: Taking taylor expansion of x in x 6.593 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.593 * [taylor]: Taking taylor expansion of (- x) in x 6.593 * [taylor]: Taking taylor expansion of x in x 6.593 * [taylor]: Taking taylor expansion of 2 in x 6.594 * [taylor]: Taking taylor expansion of y in x 6.594 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 6.594 * [taylor]: Taking taylor expansion of (sin y) in y 6.594 * [taylor]: Taking taylor expansion of y in y 6.594 * [taylor]: Taking taylor expansion of y in y 6.599 * [taylor]: Taking taylor expansion of 0 in y 6.605 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 6.605 * [taylor]: Taking taylor expansion of 1/2 in y 6.605 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 6.605 * [taylor]: Taking taylor expansion of (sin y) in y 6.605 * [taylor]: Taking taylor expansion of y in y 6.605 * [taylor]: Taking taylor expansion of y in y 6.608 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 6.608 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 6.608 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 6.608 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.608 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 6.608 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.608 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.608 * [taylor]: Taking taylor expansion of x in y 6.608 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.608 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.608 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.608 * [taylor]: Taking taylor expansion of x in y 6.609 * [taylor]: Taking taylor expansion of 2 in y 6.609 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 6.609 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.609 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.609 * [taylor]: Taking taylor expansion of y in y 6.609 * [taylor]: Taking taylor expansion of y in y 6.609 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 6.609 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 6.609 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.609 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.609 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.609 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.609 * [taylor]: Taking taylor expansion of x in x 6.610 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.610 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.610 * [taylor]: Taking taylor expansion of x in x 6.610 * [taylor]: Taking taylor expansion of 2 in x 6.610 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 6.610 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 6.611 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.611 * [taylor]: Taking taylor expansion of y in x 6.611 * [taylor]: Taking taylor expansion of y in x 6.611 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 6.611 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 6.611 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.611 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.611 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.611 * [taylor]: Taking taylor expansion of x in x 6.611 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.611 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.611 * [taylor]: Taking taylor expansion of x in x 6.612 * [taylor]: Taking taylor expansion of 2 in x 6.612 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 6.612 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 6.612 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.612 * [taylor]: Taking taylor expansion of y in x 6.612 * [taylor]: Taking taylor expansion of y in x 6.612 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 6.612 * [taylor]: Taking taylor expansion of 1/2 in y 6.613 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 6.613 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.613 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.613 * [taylor]: Taking taylor expansion of y in y 6.613 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 6.613 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 6.613 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.613 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.613 * [taylor]: Taking taylor expansion of x in y 6.613 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.613 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.613 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.613 * [taylor]: Taking taylor expansion of x in y 6.613 * [taylor]: Taking taylor expansion of y in y 6.617 * [taylor]: Taking taylor expansion of 0 in y 6.624 * [taylor]: Taking taylor expansion of 0 in y 6.634 * [taylor]: Taking taylor expansion of 0 in y 6.634 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 6.634 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 6.634 * [taylor]: Taking taylor expansion of -1 in y 6.634 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 6.634 * [taylor]: Taking taylor expansion of y in y 6.634 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 6.634 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.634 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.634 * [taylor]: Taking taylor expansion of -1 in y 6.634 * [taylor]: Taking taylor expansion of y in y 6.635 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 6.635 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.635 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 6.635 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.635 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.635 * [taylor]: Taking taylor expansion of -1 in y 6.635 * [taylor]: Taking taylor expansion of x in y 6.635 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 6.635 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 6.635 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.635 * [taylor]: Taking taylor expansion of -1 in y 6.635 * [taylor]: Taking taylor expansion of x in y 6.635 * [taylor]: Taking taylor expansion of 2 in y 6.635 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 6.635 * [taylor]: Taking taylor expansion of -1 in x 6.635 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 6.635 * [taylor]: Taking taylor expansion of y in x 6.635 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 6.635 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 6.635 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.635 * [taylor]: Taking taylor expansion of -1 in x 6.636 * [taylor]: Taking taylor expansion of y in x 6.636 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 6.636 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.636 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.636 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.636 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.636 * [taylor]: Taking taylor expansion of -1 in x 6.636 * [taylor]: Taking taylor expansion of x in x 6.636 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.636 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.636 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.636 * [taylor]: Taking taylor expansion of -1 in x 6.636 * [taylor]: Taking taylor expansion of x in x 6.637 * [taylor]: Taking taylor expansion of 2 in x 6.637 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 6.637 * [taylor]: Taking taylor expansion of -1 in x 6.637 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 6.637 * [taylor]: Taking taylor expansion of y in x 6.637 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 6.637 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 6.637 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.637 * [taylor]: Taking taylor expansion of -1 in x 6.637 * [taylor]: Taking taylor expansion of y in x 6.637 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 6.637 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.637 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.637 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.637 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.637 * [taylor]: Taking taylor expansion of -1 in x 6.637 * [taylor]: Taking taylor expansion of x in x 6.638 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.638 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.638 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.638 * [taylor]: Taking taylor expansion of -1 in x 6.638 * [taylor]: Taking taylor expansion of x in x 6.638 * [taylor]: Taking taylor expansion of 2 in x 6.639 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 6.639 * [taylor]: Taking taylor expansion of -1/2 in y 6.639 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 6.639 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.639 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.639 * [taylor]: Taking taylor expansion of -1 in y 6.639 * [taylor]: Taking taylor expansion of y in y 6.640 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 6.640 * [taylor]: Taking taylor expansion of y in y 6.640 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 6.640 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.640 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.640 * [taylor]: Taking taylor expansion of x in y 6.640 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.640 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.640 * [taylor]: Taking taylor expansion of -1 in y 6.640 * [taylor]: Taking taylor expansion of x in y 6.644 * [taylor]: Taking taylor expansion of 0 in y 6.651 * [taylor]: Taking taylor expansion of 0 in y 6.661 * [taylor]: Taking taylor expansion of 0 in y 6.662 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 6.663 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 6.663 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 6.663 * [taylor]: Taking taylor expansion of (sin y) in y 6.663 * [taylor]: Taking taylor expansion of y in y 6.663 * [taylor]: Taking taylor expansion of y in y 6.664 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 6.664 * [taylor]: Taking taylor expansion of (sin y) in y 6.664 * [taylor]: Taking taylor expansion of y in y 6.664 * [taylor]: Taking taylor expansion of y in y 6.678 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 6.678 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 6.678 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.678 * [taylor]: Taking taylor expansion of y in y 6.678 * [taylor]: Taking taylor expansion of y in y 6.678 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 6.678 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.678 * [taylor]: Taking taylor expansion of y in y 6.679 * [taylor]: Taking taylor expansion of y in y 6.686 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 6.686 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 6.686 * [taylor]: Taking taylor expansion of -1 in y 6.686 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 6.686 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.686 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.686 * [taylor]: Taking taylor expansion of -1 in y 6.686 * [taylor]: Taking taylor expansion of y in y 6.687 * [taylor]: Taking taylor expansion of y in y 6.687 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 6.687 * [taylor]: Taking taylor expansion of -1 in y 6.687 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 6.687 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.687 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.687 * [taylor]: Taking taylor expansion of -1 in y 6.687 * [taylor]: Taking taylor expansion of y in y 6.688 * [taylor]: Taking taylor expansion of y in y 6.703 * * * [progress]: simplifying candidates 6.704 * [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) 6.708 * * [simplify]: iteration 0 : 124 enodes (cost 689 ) 6.729 * * [simplify]: iteration 1 : 276 enodes (cost 656 ) 6.798 * * [simplify]: iteration 2 : 1107 enodes (cost 592 ) 7.395 * * [simplify]: iteration done : 5000 enodes (cost 576 ) 7.398 * [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))) (* (* (cosh x) (sin y)) 2) (* 2 y) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (cosh x) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (cosh x) (sqrt (/ (sin y) y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (* (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)) (/ (* (* (cosh x) (sin y)) 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) 7.398 * * * [progress]: adding candidates to table 7.556 * * [progress]: iteration 2 / 4 7.556 * * * [progress]: picking best candidate 7.571 * * * * [pick]: Picked # 7.571 * * * [progress]: localizing error 7.578 * * * [progress]: generating rewritten candidates 7.578 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 7.584 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 7.590 * * * [progress]: generating series expansions 7.591 * * * * [progress]: [ 1 / 2 ] generating series at (2) 7.591 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 7.591 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 7.591 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 7.591 * [taylor]: Taking taylor expansion of (sin y) in y 7.591 * [taylor]: Taking taylor expansion of y in y 7.591 * [taylor]: Taking taylor expansion of (cosh x) in y 7.591 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 7.591 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 7.591 * [taylor]: Taking taylor expansion of (exp x) in y 7.591 * [taylor]: Taking taylor expansion of x in y 7.591 * [taylor]: Taking taylor expansion of (exp (- x)) in y 7.591 * [taylor]: Taking taylor expansion of (- x) in y 7.591 * [taylor]: Taking taylor expansion of x in y 7.591 * [taylor]: Taking taylor expansion of 2 in y 7.591 * [taylor]: Taking taylor expansion of y in y 7.595 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 7.595 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 7.595 * [taylor]: Taking taylor expansion of (sin y) in x 7.595 * [taylor]: Taking taylor expansion of y in x 7.595 * [taylor]: Taking taylor expansion of (cosh x) in x 7.595 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 7.595 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.595 * [taylor]: Taking taylor expansion of (exp x) in x 7.595 * [taylor]: Taking taylor expansion of x in x 7.595 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.595 * [taylor]: Taking taylor expansion of (- x) in x 7.595 * [taylor]: Taking taylor expansion of x in x 7.596 * [taylor]: Taking taylor expansion of 2 in x 7.596 * [taylor]: Taking taylor expansion of y in x 7.596 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 7.596 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 7.596 * [taylor]: Taking taylor expansion of (sin y) in x 7.596 * [taylor]: Taking taylor expansion of y in x 7.596 * [taylor]: Taking taylor expansion of (cosh x) in x 7.596 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 7.596 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.597 * [taylor]: Taking taylor expansion of (exp x) in x 7.597 * [taylor]: Taking taylor expansion of x in x 7.597 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.597 * [taylor]: Taking taylor expansion of (- x) in x 7.597 * [taylor]: Taking taylor expansion of x in x 7.597 * [taylor]: Taking taylor expansion of 2 in x 7.598 * [taylor]: Taking taylor expansion of y in x 7.598 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 7.598 * [taylor]: Taking taylor expansion of (sin y) in y 7.598 * [taylor]: Taking taylor expansion of y in y 7.598 * [taylor]: Taking taylor expansion of y in y 7.603 * [taylor]: Taking taylor expansion of 0 in y 7.609 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 7.609 * [taylor]: Taking taylor expansion of 1/2 in y 7.609 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 7.609 * [taylor]: Taking taylor expansion of (sin y) in y 7.609 * [taylor]: Taking taylor expansion of y in y 7.609 * [taylor]: Taking taylor expansion of y in y 7.612 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 7.612 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 7.612 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 7.612 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 7.612 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 7.612 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.612 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.612 * [taylor]: Taking taylor expansion of x in y 7.612 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 7.612 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 7.613 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.613 * [taylor]: Taking taylor expansion of x in y 7.613 * [taylor]: Taking taylor expansion of 2 in y 7.613 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.613 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.613 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.613 * [taylor]: Taking taylor expansion of y in y 7.613 * [taylor]: Taking taylor expansion of y in y 7.613 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 7.613 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 7.613 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 7.613 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.613 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.613 * [taylor]: Taking taylor expansion of x in x 7.614 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.614 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.614 * [taylor]: Taking taylor expansion of x in x 7.614 * [taylor]: Taking taylor expansion of 2 in x 7.615 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 7.615 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.615 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.615 * [taylor]: Taking taylor expansion of y in x 7.615 * [taylor]: Taking taylor expansion of y in x 7.615 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 7.615 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 7.615 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 7.615 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.615 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.615 * [taylor]: Taking taylor expansion of x in x 7.615 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.615 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.615 * [taylor]: Taking taylor expansion of x in x 7.616 * [taylor]: Taking taylor expansion of 2 in x 7.616 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 7.616 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.616 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.616 * [taylor]: Taking taylor expansion of y in x 7.616 * [taylor]: Taking taylor expansion of y in x 7.617 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 7.617 * [taylor]: Taking taylor expansion of 1/2 in y 7.617 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 7.617 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.617 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.617 * [taylor]: Taking taylor expansion of y in y 7.617 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 7.617 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 7.617 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.617 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.617 * [taylor]: Taking taylor expansion of x in y 7.617 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 7.617 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 7.617 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.617 * [taylor]: Taking taylor expansion of x in y 7.617 * [taylor]: Taking taylor expansion of y in y 7.620 * [taylor]: Taking taylor expansion of 0 in y 7.628 * [taylor]: Taking taylor expansion of 0 in y 7.641 * [taylor]: Taking taylor expansion of 0 in y 7.641 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 7.641 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 7.641 * [taylor]: Taking taylor expansion of -1 in y 7.641 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 7.641 * [taylor]: Taking taylor expansion of y in y 7.641 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 7.641 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.641 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.641 * [taylor]: Taking taylor expansion of -1 in y 7.641 * [taylor]: Taking taylor expansion of y in y 7.642 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 7.642 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 7.642 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 7.642 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 7.642 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.642 * [taylor]: Taking taylor expansion of -1 in y 7.642 * [taylor]: Taking taylor expansion of x in y 7.642 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 7.642 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 7.642 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.642 * [taylor]: Taking taylor expansion of -1 in y 7.642 * [taylor]: Taking taylor expansion of x in y 7.642 * [taylor]: Taking taylor expansion of 2 in y 7.642 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 7.642 * [taylor]: Taking taylor expansion of -1 in x 7.642 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 7.642 * [taylor]: Taking taylor expansion of y in x 7.642 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 7.642 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.642 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.642 * [taylor]: Taking taylor expansion of -1 in x 7.642 * [taylor]: Taking taylor expansion of y in x 7.643 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 7.643 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 7.643 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.643 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.643 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.643 * [taylor]: Taking taylor expansion of -1 in x 7.643 * [taylor]: Taking taylor expansion of x in x 7.643 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.643 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.643 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.643 * [taylor]: Taking taylor expansion of -1 in x 7.643 * [taylor]: Taking taylor expansion of x in x 7.644 * [taylor]: Taking taylor expansion of 2 in x 7.644 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 7.644 * [taylor]: Taking taylor expansion of -1 in x 7.644 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 7.644 * [taylor]: Taking taylor expansion of y in x 7.644 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 7.644 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.644 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.644 * [taylor]: Taking taylor expansion of -1 in x 7.644 * [taylor]: Taking taylor expansion of y in x 7.644 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 7.644 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 7.644 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.644 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.644 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.644 * [taylor]: Taking taylor expansion of -1 in x 7.644 * [taylor]: Taking taylor expansion of x in x 7.645 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.645 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.645 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.645 * [taylor]: Taking taylor expansion of -1 in x 7.645 * [taylor]: Taking taylor expansion of x in x 7.645 * [taylor]: Taking taylor expansion of 2 in x 7.646 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 7.646 * [taylor]: Taking taylor expansion of -1/2 in y 7.646 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 7.646 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.646 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.646 * [taylor]: Taking taylor expansion of -1 in y 7.646 * [taylor]: Taking taylor expansion of y in y 7.646 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 7.646 * [taylor]: Taking taylor expansion of y in y 7.647 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 7.647 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.647 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.647 * [taylor]: Taking taylor expansion of x in y 7.647 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 7.647 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.647 * [taylor]: Taking taylor expansion of -1 in y 7.647 * [taylor]: Taking taylor expansion of x in y 7.650 * [taylor]: Taking taylor expansion of 0 in y 7.658 * [taylor]: Taking taylor expansion of 0 in y 7.668 * [taylor]: Taking taylor expansion of 0 in y 7.669 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 7.669 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0 7.669 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 7.669 * [taylor]: Taking taylor expansion of y in y 7.669 * [taylor]: Taking taylor expansion of (sin y) in y 7.669 * [taylor]: Taking taylor expansion of y in y 7.670 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 7.670 * [taylor]: Taking taylor expansion of y in y 7.670 * [taylor]: Taking taylor expansion of (sin y) in y 7.670 * [taylor]: Taking taylor expansion of y in y 7.678 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in (y) around 0 7.678 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 7.678 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.678 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.678 * [taylor]: Taking taylor expansion of y in y 7.678 * [taylor]: Taking taylor expansion of y in y 7.679 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 7.679 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.679 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.679 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.679 * [taylor]: Taking taylor expansion of y in y 7.679 * [taylor]: Taking taylor expansion of y in y 7.685 * [approximate]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in (y) around 0 7.685 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 7.685 * [taylor]: Taking taylor expansion of -1 in y 7.685 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 7.685 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.685 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.685 * [taylor]: Taking taylor expansion of -1 in y 7.685 * [taylor]: Taking taylor expansion of y in y 7.685 * [taylor]: Taking taylor expansion of y in y 7.686 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 7.686 * [taylor]: Taking taylor expansion of -1 in y 7.686 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 7.686 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.686 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.686 * [taylor]: Taking taylor expansion of -1 in y 7.686 * [taylor]: Taking taylor expansion of y in y 7.686 * [taylor]: Taking taylor expansion of y in y 7.692 * * * [progress]: simplifying candidates 7.694 * [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)) 7.700 * * [simplify]: iteration 0 : 193 enodes (cost 1422 ) 7.735 * * [simplify]: iteration 1 : 427 enodes (cost 1338 ) 7.845 * * [simplify]: iteration 2 : 1744 enodes (cost 1264 ) 8.323 * * [simplify]: iteration done : 5001 enodes (cost 1256 ) 8.324 * [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 y)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (/ (sqrt (sin y)) (cbrt y))) (/ (cbrt y) (sqrt (sin y))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sin y)) (/ (/ (sqrt y) (cbrt (sin y))) (cbrt (sin y))) (/ (sqrt y) (cbrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (sqrt y) (/ (sqrt y) (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y))) 1 (/ y (sin y)) (/ 1 (sin y)) (/ (sin y) y) (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) y (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (- (fma 1/2 (pow x 2) 1) (* 1/6 (pow y 2))) (/ 1 (/ (/ y (sin y)) (cosh x))) (/ 1 (/ (/ y (sin y)) (cosh x))) (fma 1/6 (* y y) (fma 7/360 (pow y 4) 1)) (/ y (sin y)) (/ y (sin y)) 8.325 * * * [progress]: adding candidates to table 8.582 * * [progress]: iteration 3 / 4 8.582 * * * [progress]: picking best candidate 8.595 * * * * [pick]: Picked # 8.595 * * * [progress]: localizing error 8.602 * * * [progress]: generating rewritten candidates 8.602 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 8.607 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 8.617 * * * [progress]: generating series expansions 8.617 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 8.617 * [approximate]: Taking taylor expansion of (/ (cosh x) y) in (x y) around 0 8.617 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in y 8.617 * [taylor]: Taking taylor expansion of (cosh x) in y 8.617 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 8.617 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 8.617 * [taylor]: Taking taylor expansion of (exp x) in y 8.617 * [taylor]: Taking taylor expansion of x in y 8.617 * [taylor]: Taking taylor expansion of (exp (- x)) in y 8.617 * [taylor]: Taking taylor expansion of (- x) in y 8.617 * [taylor]: Taking taylor expansion of x in y 8.617 * [taylor]: Taking taylor expansion of 2 in y 8.618 * [taylor]: Taking taylor expansion of y in y 8.618 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in x 8.618 * [taylor]: Taking taylor expansion of (cosh x) in x 8.618 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 8.618 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 8.618 * [taylor]: Taking taylor expansion of (exp x) in x 8.618 * [taylor]: Taking taylor expansion of x in x 8.618 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.618 * [taylor]: Taking taylor expansion of (- x) in x 8.618 * [taylor]: Taking taylor expansion of x in x 8.619 * [taylor]: Taking taylor expansion of 2 in x 8.619 * [taylor]: Taking taylor expansion of y in x 8.619 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in x 8.619 * [taylor]: Taking taylor expansion of (cosh x) in x 8.619 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 8.619 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 8.619 * [taylor]: Taking taylor expansion of (exp x) in x 8.619 * [taylor]: Taking taylor expansion of x in x 8.619 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.619 * [taylor]: Taking taylor expansion of (- x) in x 8.619 * [taylor]: Taking taylor expansion of x in x 8.620 * [taylor]: Taking taylor expansion of 2 in x 8.620 * [taylor]: Taking taylor expansion of y in x 8.620 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.620 * [taylor]: Taking taylor expansion of y in y 8.623 * [taylor]: Taking taylor expansion of 0 in y 8.627 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 8.627 * [taylor]: Taking taylor expansion of 1/2 in y 8.627 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.627 * [taylor]: Taking taylor expansion of y in y 8.632 * [taylor]: Taking taylor expansion of 0 in y 8.640 * [taylor]: Taking taylor expansion of (* 1/24 (/ 1 y)) in y 8.640 * [taylor]: Taking taylor expansion of 1/24 in y 8.640 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.641 * [taylor]: Taking taylor expansion of y in y 8.642 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in (x y) around 0 8.642 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in y 8.642 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 8.642 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 8.642 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 8.642 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 8.642 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.642 * [taylor]: Taking taylor expansion of x in y 8.642 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 8.642 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 8.642 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.642 * [taylor]: Taking taylor expansion of x in y 8.642 * [taylor]: Taking taylor expansion of 2 in y 8.642 * [taylor]: Taking taylor expansion of y in y 8.642 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in x 8.642 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 8.642 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 8.642 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.642 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.642 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.642 * [taylor]: Taking taylor expansion of x in x 8.643 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.643 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.643 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.643 * [taylor]: Taking taylor expansion of x in x 8.643 * [taylor]: Taking taylor expansion of 2 in x 8.644 * [taylor]: Taking taylor expansion of y in x 8.644 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in x 8.644 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 8.644 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 8.644 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.644 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.644 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.644 * [taylor]: Taking taylor expansion of x in x 8.644 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.644 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.644 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.644 * [taylor]: Taking taylor expansion of x in x 8.645 * [taylor]: Taking taylor expansion of 2 in x 8.645 * [taylor]: Taking taylor expansion of y in x 8.645 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 8.645 * [taylor]: Taking taylor expansion of 1/2 in y 8.645 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 8.645 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 8.645 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 8.645 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.645 * [taylor]: Taking taylor expansion of x in y 8.645 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 8.645 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 8.645 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.645 * [taylor]: Taking taylor expansion of x in y 8.645 * [taylor]: Taking taylor expansion of y in y 8.647 * [taylor]: Taking taylor expansion of 0 in y 8.651 * [taylor]: Taking taylor expansion of 0 in y 8.657 * [taylor]: Taking taylor expansion of 0 in y 8.657 * [approximate]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in (x y) around 0 8.658 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in y 8.658 * [taylor]: Taking taylor expansion of -1 in y 8.658 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in y 8.658 * [taylor]: Taking taylor expansion of y in y 8.658 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 8.658 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 8.658 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 8.658 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 8.658 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.658 * [taylor]: Taking taylor expansion of -1 in y 8.658 * [taylor]: Taking taylor expansion of x in y 8.658 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 8.658 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 8.658 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.658 * [taylor]: Taking taylor expansion of -1 in y 8.658 * [taylor]: Taking taylor expansion of x in y 8.658 * [taylor]: Taking taylor expansion of 2 in y 8.658 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in x 8.658 * [taylor]: Taking taylor expansion of -1 in x 8.658 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in x 8.658 * [taylor]: Taking taylor expansion of y in x 8.658 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 8.658 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 8.658 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 8.658 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.658 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.658 * [taylor]: Taking taylor expansion of -1 in x 8.658 * [taylor]: Taking taylor expansion of x in x 8.659 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 8.659 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 8.659 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.659 * [taylor]: Taking taylor expansion of -1 in x 8.659 * [taylor]: Taking taylor expansion of x in x 8.659 * [taylor]: Taking taylor expansion of 2 in x 8.660 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in x 8.660 * [taylor]: Taking taylor expansion of -1 in x 8.660 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in x 8.660 * [taylor]: Taking taylor expansion of y in x 8.660 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 8.660 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 8.660 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 8.660 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.660 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.660 * [taylor]: Taking taylor expansion of -1 in x 8.660 * [taylor]: Taking taylor expansion of x in x 8.660 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 8.660 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 8.660 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.660 * [taylor]: Taking taylor expansion of -1 in x 8.660 * [taylor]: Taking taylor expansion of x in x 8.661 * [taylor]: Taking taylor expansion of 2 in x 8.661 * [taylor]: Taking taylor expansion of (* -1/2 (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 8.661 * [taylor]: Taking taylor expansion of -1/2 in y 8.661 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 8.661 * [taylor]: Taking taylor expansion of y in y 8.661 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 8.661 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 8.661 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.661 * [taylor]: Taking taylor expansion of x in y 8.661 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 8.661 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.661 * [taylor]: Taking taylor expansion of -1 in y 8.661 * [taylor]: Taking taylor expansion of x in y 8.663 * [taylor]: Taking taylor expansion of 0 in y 8.668 * [taylor]: Taking taylor expansion of 0 in y 8.674 * [taylor]: Taking taylor expansion of 0 in y 8.674 * * * * [progress]: [ 2 / 2 ] generating series at (2) 8.674 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 8.674 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 8.674 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 8.674 * [taylor]: Taking taylor expansion of (sin y) in y 8.674 * [taylor]: Taking taylor expansion of y in y 8.674 * [taylor]: Taking taylor expansion of (cosh x) in y 8.674 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 8.674 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 8.674 * [taylor]: Taking taylor expansion of (exp x) in y 8.674 * [taylor]: Taking taylor expansion of x in y 8.674 * [taylor]: Taking taylor expansion of (exp (- x)) in y 8.674 * [taylor]: Taking taylor expansion of (- x) in y 8.674 * [taylor]: Taking taylor expansion of x in y 8.674 * [taylor]: Taking taylor expansion of 2 in y 8.675 * [taylor]: Taking taylor expansion of y in y 8.678 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 8.678 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 8.678 * [taylor]: Taking taylor expansion of (sin y) in x 8.678 * [taylor]: Taking taylor expansion of y in x 8.678 * [taylor]: Taking taylor expansion of (cosh x) in x 8.678 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 8.678 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 8.678 * [taylor]: Taking taylor expansion of (exp x) in x 8.678 * [taylor]: Taking taylor expansion of x in x 8.678 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.678 * [taylor]: Taking taylor expansion of (- x) in x 8.678 * [taylor]: Taking taylor expansion of x in x 8.678 * [taylor]: Taking taylor expansion of 2 in x 8.679 * [taylor]: Taking taylor expansion of y in x 8.679 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 8.679 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 8.679 * [taylor]: Taking taylor expansion of (sin y) in x 8.679 * [taylor]: Taking taylor expansion of y in x 8.679 * [taylor]: Taking taylor expansion of (cosh x) in x 8.679 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 8.679 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 8.679 * [taylor]: Taking taylor expansion of (exp x) in x 8.679 * [taylor]: Taking taylor expansion of x in x 8.679 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.679 * [taylor]: Taking taylor expansion of (- x) in x 8.679 * [taylor]: Taking taylor expansion of x in x 8.680 * [taylor]: Taking taylor expansion of 2 in x 8.680 * [taylor]: Taking taylor expansion of y in x 8.680 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 8.680 * [taylor]: Taking taylor expansion of (sin y) in y 8.681 * [taylor]: Taking taylor expansion of y in y 8.681 * [taylor]: Taking taylor expansion of y in y 8.685 * [taylor]: Taking taylor expansion of 0 in y 8.695 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 8.695 * [taylor]: Taking taylor expansion of 1/2 in y 8.695 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 8.695 * [taylor]: Taking taylor expansion of (sin y) in y 8.695 * [taylor]: Taking taylor expansion of y in y 8.695 * [taylor]: Taking taylor expansion of y in y 8.698 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 8.698 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 8.698 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 8.698 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 8.698 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 8.698 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 8.698 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.698 * [taylor]: Taking taylor expansion of x in y 8.698 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 8.698 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 8.698 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.698 * [taylor]: Taking taylor expansion of x in y 8.699 * [taylor]: Taking taylor expansion of 2 in y 8.699 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 8.699 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 8.699 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.699 * [taylor]: Taking taylor expansion of y in y 8.699 * [taylor]: Taking taylor expansion of y in y 8.699 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 8.699 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 8.699 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 8.699 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.699 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.699 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.699 * [taylor]: Taking taylor expansion of x in x 8.700 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.700 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.700 * [taylor]: Taking taylor expansion of x in x 8.700 * [taylor]: Taking taylor expansion of 2 in x 8.700 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 8.700 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 8.700 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.700 * [taylor]: Taking taylor expansion of y in x 8.701 * [taylor]: Taking taylor expansion of y in x 8.701 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 8.701 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 8.701 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 8.701 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.701 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.701 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.701 * [taylor]: Taking taylor expansion of x in x 8.701 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.701 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.701 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.701 * [taylor]: Taking taylor expansion of x in x 8.702 * [taylor]: Taking taylor expansion of 2 in x 8.702 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 8.702 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 8.702 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.702 * [taylor]: Taking taylor expansion of y in x 8.702 * [taylor]: Taking taylor expansion of y in x 8.702 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 8.702 * [taylor]: Taking taylor expansion of 1/2 in y 8.702 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 8.702 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 8.702 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.702 * [taylor]: Taking taylor expansion of y in y 8.703 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 8.703 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 8.703 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 8.703 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.703 * [taylor]: Taking taylor expansion of x in y 8.703 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 8.703 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 8.703 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.703 * [taylor]: Taking taylor expansion of x in y 8.703 * [taylor]: Taking taylor expansion of y in y 8.706 * [taylor]: Taking taylor expansion of 0 in y 8.713 * [taylor]: Taking taylor expansion of 0 in y 8.722 * [taylor]: Taking taylor expansion of 0 in y 8.723 * [approximate]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in (x y) around 0 8.723 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in y 8.723 * [taylor]: Taking taylor expansion of -1 in y 8.723 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in y 8.723 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 8.723 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 8.723 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 8.723 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 8.723 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.723 * [taylor]: Taking taylor expansion of -1 in y 8.723 * [taylor]: Taking taylor expansion of x in y 8.723 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 8.723 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 8.723 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.723 * [taylor]: Taking taylor expansion of -1 in y 8.723 * [taylor]: Taking taylor expansion of x in y 8.723 * [taylor]: Taking taylor expansion of 2 in y 8.724 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 8.724 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 8.724 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.724 * [taylor]: Taking taylor expansion of -1 in y 8.724 * [taylor]: Taking taylor expansion of y in y 8.724 * [taylor]: Taking taylor expansion of y in y 8.724 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in x 8.724 * [taylor]: Taking taylor expansion of -1 in x 8.724 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in x 8.724 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 8.724 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 8.724 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 8.724 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.724 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.724 * [taylor]: Taking taylor expansion of -1 in x 8.724 * [taylor]: Taking taylor expansion of x in x 8.725 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 8.725 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 8.725 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.725 * [taylor]: Taking taylor expansion of -1 in x 8.725 * [taylor]: Taking taylor expansion of x in x 8.725 * [taylor]: Taking taylor expansion of 2 in x 8.725 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 8.725 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 8.725 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.725 * [taylor]: Taking taylor expansion of -1 in x 8.725 * [taylor]: Taking taylor expansion of y in x 8.726 * [taylor]: Taking taylor expansion of y in x 8.726 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in x 8.726 * [taylor]: Taking taylor expansion of -1 in x 8.726 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in x 8.726 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 8.726 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 8.726 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 8.726 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.726 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.726 * [taylor]: Taking taylor expansion of -1 in x 8.726 * [taylor]: Taking taylor expansion of x in x 8.726 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 8.726 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 8.726 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.726 * [taylor]: Taking taylor expansion of -1 in x 8.726 * [taylor]: Taking taylor expansion of x in x 8.727 * [taylor]: Taking taylor expansion of 2 in x 8.727 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 8.727 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 8.727 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.727 * [taylor]: Taking taylor expansion of -1 in x 8.727 * [taylor]: Taking taylor expansion of y in x 8.727 * [taylor]: Taking taylor expansion of y in x 8.728 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 8.728 * [taylor]: Taking taylor expansion of -1/2 in y 8.728 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 8.728 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 8.728 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.728 * [taylor]: Taking taylor expansion of -1 in y 8.728 * [taylor]: Taking taylor expansion of y in y 8.728 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 8.728 * [taylor]: Taking taylor expansion of y in y 8.728 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 8.728 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 8.728 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.728 * [taylor]: Taking taylor expansion of x in y 8.728 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 8.728 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.728 * [taylor]: Taking taylor expansion of -1 in y 8.728 * [taylor]: Taking taylor expansion of x in y 8.732 * [taylor]: Taking taylor expansion of 0 in y 8.739 * [taylor]: Taking taylor expansion of 0 in y 8.750 * [taylor]: Taking taylor expansion of 0 in y 8.750 * * * [progress]: simplifying candidates 8.751 * [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) 8.755 * * [simplify]: iteration 0 : 132 enodes (cost 675 ) 8.779 * * [simplify]: iteration 1 : 298 enodes (cost 649 ) 8.842 * * [simplify]: iteration 2 : 989 enodes (cost 582 ) 9.215 * * [simplify]: iteration done : 5000 enodes (cost 558 ) 9.216 * [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))) (* (/ (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))) (* (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) y) (sin y)) (* (/ (cosh x) y) (sin 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 1/2 (pow x 2) 1) (* 1/6 (pow y 2))) (* (/ (cosh x) y) (sin y)) (* (/ (cosh x) y) (sin y)) 9.216 * * * [progress]: adding candidates to table 9.367 * * [progress]: iteration 4 / 4 9.368 * * * [progress]: picking best candidate 9.384 * * * * [pick]: Picked # 9.384 * * * [progress]: localizing error 9.392 * * * [progress]: generating rewritten candidates 9.392 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 9.394 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 9.408 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 9.428 * * * [progress]: generating series expansions 9.428 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 9.428 * [approximate]: Taking taylor expansion of (/ (cosh x) y) in (x y) around 0 9.428 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in y 9.428 * [taylor]: Taking taylor expansion of (cosh x) in y 9.428 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 9.428 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 9.428 * [taylor]: Taking taylor expansion of (exp x) in y 9.428 * [taylor]: Taking taylor expansion of x in y 9.428 * [taylor]: Taking taylor expansion of (exp (- x)) in y 9.428 * [taylor]: Taking taylor expansion of (- x) in y 9.428 * [taylor]: Taking taylor expansion of x in y 9.428 * [taylor]: Taking taylor expansion of 2 in y 9.429 * [taylor]: Taking taylor expansion of y in y 9.429 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in x 9.429 * [taylor]: Taking taylor expansion of (cosh x) in x 9.429 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 9.429 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.429 * [taylor]: Taking taylor expansion of (exp x) in x 9.429 * [taylor]: Taking taylor expansion of x in x 9.429 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.429 * [taylor]: Taking taylor expansion of (- x) in x 9.429 * [taylor]: Taking taylor expansion of x in x 9.430 * [taylor]: Taking taylor expansion of 2 in x 9.430 * [taylor]: Taking taylor expansion of y in x 9.430 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in x 9.430 * [taylor]: Taking taylor expansion of (cosh x) in x 9.430 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 9.430 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.430 * [taylor]: Taking taylor expansion of (exp x) in x 9.430 * [taylor]: Taking taylor expansion of x in x 9.430 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.430 * [taylor]: Taking taylor expansion of (- x) in x 9.430 * [taylor]: Taking taylor expansion of x in x 9.431 * [taylor]: Taking taylor expansion of 2 in x 9.431 * [taylor]: Taking taylor expansion of y in x 9.431 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.431 * [taylor]: Taking taylor expansion of y in y 9.434 * [taylor]: Taking taylor expansion of 0 in y 9.438 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 9.438 * [taylor]: Taking taylor expansion of 1/2 in y 9.438 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.438 * [taylor]: Taking taylor expansion of y in y 9.443 * [taylor]: Taking taylor expansion of 0 in y 9.452 * [taylor]: Taking taylor expansion of (* 1/24 (/ 1 y)) in y 9.452 * [taylor]: Taking taylor expansion of 1/24 in y 9.452 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.452 * [taylor]: Taking taylor expansion of y in y 9.453 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in (x y) around 0 9.453 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in y 9.453 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 9.453 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 9.453 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 9.453 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.453 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.453 * [taylor]: Taking taylor expansion of x in y 9.453 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 9.453 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 9.453 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.453 * [taylor]: Taking taylor expansion of x in y 9.453 * [taylor]: Taking taylor expansion of 2 in y 9.453 * [taylor]: Taking taylor expansion of y in y 9.453 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in x 9.453 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 9.453 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 9.453 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.454 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.454 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.454 * [taylor]: Taking taylor expansion of x in x 9.454 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.454 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.454 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.454 * [taylor]: Taking taylor expansion of x in x 9.454 * [taylor]: Taking taylor expansion of 2 in x 9.455 * [taylor]: Taking taylor expansion of y in x 9.455 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in x 9.455 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 9.455 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 9.455 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.455 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.455 * [taylor]: Taking taylor expansion of x in x 9.455 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.455 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.455 * [taylor]: Taking taylor expansion of x in x 9.456 * [taylor]: Taking taylor expansion of 2 in x 9.456 * [taylor]: Taking taylor expansion of y in x 9.456 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 9.456 * [taylor]: Taking taylor expansion of 1/2 in y 9.456 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 9.456 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 9.456 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.456 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.456 * [taylor]: Taking taylor expansion of x in y 9.456 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 9.456 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 9.456 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.456 * [taylor]: Taking taylor expansion of x in y 9.456 * [taylor]: Taking taylor expansion of y in y 9.458 * [taylor]: Taking taylor expansion of 0 in y 9.462 * [taylor]: Taking taylor expansion of 0 in y 9.468 * [taylor]: Taking taylor expansion of 0 in y 9.468 * [approximate]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in (x y) around 0 9.468 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in y 9.468 * [taylor]: Taking taylor expansion of -1 in y 9.468 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in y 9.468 * [taylor]: Taking taylor expansion of y in y 9.468 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 9.468 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 9.468 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 9.468 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 9.469 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.469 * [taylor]: Taking taylor expansion of -1 in y 9.469 * [taylor]: Taking taylor expansion of x in y 9.469 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 9.469 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 9.469 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.469 * [taylor]: Taking taylor expansion of -1 in y 9.469 * [taylor]: Taking taylor expansion of x in y 9.469 * [taylor]: Taking taylor expansion of 2 in y 9.469 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in x 9.469 * [taylor]: Taking taylor expansion of -1 in x 9.469 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in x 9.469 * [taylor]: Taking taylor expansion of y in x 9.469 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 9.469 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 9.469 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 9.469 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.469 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.469 * [taylor]: Taking taylor expansion of -1 in x 9.469 * [taylor]: Taking taylor expansion of x in x 9.470 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 9.470 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 9.470 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.470 * [taylor]: Taking taylor expansion of -1 in x 9.470 * [taylor]: Taking taylor expansion of x in x 9.470 * [taylor]: Taking taylor expansion of 2 in x 9.470 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in x 9.470 * [taylor]: Taking taylor expansion of -1 in x 9.470 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in x 9.470 * [taylor]: Taking taylor expansion of y in x 9.470 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 9.471 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 9.471 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 9.471 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.471 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.471 * [taylor]: Taking taylor expansion of -1 in x 9.471 * [taylor]: Taking taylor expansion of x in x 9.471 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 9.471 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 9.471 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.471 * [taylor]: Taking taylor expansion of -1 in x 9.471 * [taylor]: Taking taylor expansion of x in x 9.472 * [taylor]: Taking taylor expansion of 2 in x 9.472 * [taylor]: Taking taylor expansion of (* -1/2 (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 9.472 * [taylor]: Taking taylor expansion of -1/2 in y 9.472 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 9.472 * [taylor]: Taking taylor expansion of y in y 9.472 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 9.472 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.472 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.472 * [taylor]: Taking taylor expansion of x in y 9.472 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 9.472 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.472 * [taylor]: Taking taylor expansion of -1 in y 9.472 * [taylor]: Taking taylor expansion of x in y 9.474 * [taylor]: Taking taylor expansion of 0 in y 9.478 * [taylor]: Taking taylor expansion of 0 in y 9.489 * [taylor]: Taking taylor expansion of 0 in y 9.489 * * * * [progress]: [ 2 / 3 ] generating series at (2) 9.489 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 9.489 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 9.489 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 9.489 * [taylor]: Taking taylor expansion of (sin y) in y 9.489 * [taylor]: Taking taylor expansion of y in y 9.489 * [taylor]: Taking taylor expansion of (cosh x) in y 9.490 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 9.490 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 9.490 * [taylor]: Taking taylor expansion of (exp x) in y 9.490 * [taylor]: Taking taylor expansion of x in y 9.490 * [taylor]: Taking taylor expansion of (exp (- x)) in y 9.490 * [taylor]: Taking taylor expansion of (- x) in y 9.490 * [taylor]: Taking taylor expansion of x in y 9.490 * [taylor]: Taking taylor expansion of 2 in y 9.490 * [taylor]: Taking taylor expansion of y in y 9.493 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 9.493 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 9.493 * [taylor]: Taking taylor expansion of (sin y) in x 9.493 * [taylor]: Taking taylor expansion of y in x 9.493 * [taylor]: Taking taylor expansion of (cosh x) in x 9.493 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 9.493 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.493 * [taylor]: Taking taylor expansion of (exp x) in x 9.493 * [taylor]: Taking taylor expansion of x in x 9.493 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.493 * [taylor]: Taking taylor expansion of (- x) in x 9.493 * [taylor]: Taking taylor expansion of x in x 9.494 * [taylor]: Taking taylor expansion of 2 in x 9.494 * [taylor]: Taking taylor expansion of y in x 9.494 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 9.494 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 9.494 * [taylor]: Taking taylor expansion of (sin y) in x 9.494 * [taylor]: Taking taylor expansion of y in x 9.494 * [taylor]: Taking taylor expansion of (cosh x) in x 9.494 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 9.494 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.494 * [taylor]: Taking taylor expansion of (exp x) in x 9.495 * [taylor]: Taking taylor expansion of x in x 9.495 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.495 * [taylor]: Taking taylor expansion of (- x) in x 9.495 * [taylor]: Taking taylor expansion of x in x 9.495 * [taylor]: Taking taylor expansion of 2 in x 9.496 * [taylor]: Taking taylor expansion of y in x 9.496 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 9.496 * [taylor]: Taking taylor expansion of (sin y) in y 9.496 * [taylor]: Taking taylor expansion of y in y 9.496 * [taylor]: Taking taylor expansion of y in y 9.501 * [taylor]: Taking taylor expansion of 0 in y 9.507 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 9.507 * [taylor]: Taking taylor expansion of 1/2 in y 9.507 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 9.507 * [taylor]: Taking taylor expansion of (sin y) in y 9.507 * [taylor]: Taking taylor expansion of y in y 9.507 * [taylor]: Taking taylor expansion of y in y 9.510 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 9.510 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 9.510 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 9.510 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 9.510 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 9.510 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.510 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.510 * [taylor]: Taking taylor expansion of x in y 9.510 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 9.510 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 9.510 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.510 * [taylor]: Taking taylor expansion of x in y 9.510 * [taylor]: Taking taylor expansion of 2 in y 9.511 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 9.511 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.511 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.511 * [taylor]: Taking taylor expansion of y in y 9.511 * [taylor]: Taking taylor expansion of y in y 9.511 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 9.511 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 9.511 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 9.511 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.511 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.511 * [taylor]: Taking taylor expansion of x in x 9.512 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.512 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.512 * [taylor]: Taking taylor expansion of x in x 9.512 * [taylor]: Taking taylor expansion of 2 in x 9.512 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 9.512 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 9.512 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.512 * [taylor]: Taking taylor expansion of y in x 9.512 * [taylor]: Taking taylor expansion of y in x 9.512 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 9.512 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 9.513 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 9.513 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.513 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.513 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.513 * [taylor]: Taking taylor expansion of x in x 9.513 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.513 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.513 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.513 * [taylor]: Taking taylor expansion of x in x 9.514 * [taylor]: Taking taylor expansion of 2 in x 9.514 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 9.514 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 9.514 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.514 * [taylor]: Taking taylor expansion of y in x 9.514 * [taylor]: Taking taylor expansion of y in x 9.514 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 9.514 * [taylor]: Taking taylor expansion of 1/2 in y 9.515 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 9.515 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.515 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.515 * [taylor]: Taking taylor expansion of y in y 9.515 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 9.515 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 9.515 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.515 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.515 * [taylor]: Taking taylor expansion of x in y 9.515 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 9.515 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 9.515 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.515 * [taylor]: Taking taylor expansion of x in y 9.515 * [taylor]: Taking taylor expansion of y in y 9.518 * [taylor]: Taking taylor expansion of 0 in y 9.525 * [taylor]: Taking taylor expansion of 0 in y 9.535 * [taylor]: Taking taylor expansion of 0 in y 9.535 * [approximate]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in (x y) around 0 9.535 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in y 9.535 * [taylor]: Taking taylor expansion of -1 in y 9.535 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in y 9.535 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 9.535 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 9.535 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 9.535 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 9.535 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.535 * [taylor]: Taking taylor expansion of -1 in y 9.535 * [taylor]: Taking taylor expansion of x in y 9.536 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 9.536 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 9.536 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.536 * [taylor]: Taking taylor expansion of -1 in y 9.536 * [taylor]: Taking taylor expansion of x in y 9.536 * [taylor]: Taking taylor expansion of 2 in y 9.536 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 9.536 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.536 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.536 * [taylor]: Taking taylor expansion of -1 in y 9.536 * [taylor]: Taking taylor expansion of y in y 9.536 * [taylor]: Taking taylor expansion of y in y 9.536 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in x 9.536 * [taylor]: Taking taylor expansion of -1 in x 9.536 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in x 9.536 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 9.536 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 9.536 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 9.536 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.537 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.537 * [taylor]: Taking taylor expansion of -1 in x 9.537 * [taylor]: Taking taylor expansion of x in x 9.537 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 9.537 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 9.537 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.537 * [taylor]: Taking taylor expansion of -1 in x 9.537 * [taylor]: Taking taylor expansion of x in x 9.538 * [taylor]: Taking taylor expansion of 2 in x 9.538 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 9.538 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 9.538 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.538 * [taylor]: Taking taylor expansion of -1 in x 9.538 * [taylor]: Taking taylor expansion of y in x 9.538 * [taylor]: Taking taylor expansion of y in x 9.538 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in x 9.538 * [taylor]: Taking taylor expansion of -1 in x 9.538 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in x 9.538 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 9.538 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 9.538 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 9.538 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.538 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.538 * [taylor]: Taking taylor expansion of -1 in x 9.538 * [taylor]: Taking taylor expansion of x in x 9.538 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 9.538 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 9.538 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.538 * [taylor]: Taking taylor expansion of -1 in x 9.539 * [taylor]: Taking taylor expansion of x in x 9.539 * [taylor]: Taking taylor expansion of 2 in x 9.539 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 9.539 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 9.539 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.539 * [taylor]: Taking taylor expansion of -1 in x 9.539 * [taylor]: Taking taylor expansion of y in x 9.539 * [taylor]: Taking taylor expansion of y in x 9.540 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 9.540 * [taylor]: Taking taylor expansion of -1/2 in y 9.540 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 9.540 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.540 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.540 * [taylor]: Taking taylor expansion of -1 in y 9.540 * [taylor]: Taking taylor expansion of y in y 9.540 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 9.540 * [taylor]: Taking taylor expansion of y in y 9.540 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 9.540 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.540 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.540 * [taylor]: Taking taylor expansion of x in y 9.541 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 9.541 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.541 * [taylor]: Taking taylor expansion of -1 in y 9.541 * [taylor]: Taking taylor expansion of x in y 9.544 * [taylor]: Taking taylor expansion of 0 in y 9.552 * [taylor]: Taking taylor expansion of 0 in y 9.561 * [taylor]: Taking taylor expansion of 0 in y 9.562 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 9.562 * [approximate]: Taking taylor expansion of (/ 1 (sin y)) in (y) around 0 9.562 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 9.562 * [taylor]: Taking taylor expansion of (sin y) in y 9.562 * [taylor]: Taking taylor expansion of y in y 9.563 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 9.563 * [taylor]: Taking taylor expansion of (sin y) in y 9.563 * [taylor]: Taking taylor expansion of y in y 9.573 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in (y) around 0 9.573 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 9.573 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.573 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.573 * [taylor]: Taking taylor expansion of y in y 9.573 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 9.574 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.574 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.574 * [taylor]: Taking taylor expansion of y in y 9.575 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in (y) around 0 9.575 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 9.575 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.575 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.575 * [taylor]: Taking taylor expansion of -1 in y 9.575 * [taylor]: Taking taylor expansion of y in y 9.576 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 9.576 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.576 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.576 * [taylor]: Taking taylor expansion of -1 in y 9.576 * [taylor]: Taking taylor expansion of y in y 9.578 * * * [progress]: simplifying candidates 9.583 * [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)) 9.600 * * [simplify]: iteration 0 : 474 enodes (cost 5486 ) 9.696 * * [simplify]: iteration 1 : 1346 enodes (cost 4796 ) 10.082 * * [simplify]: iteration done : 5000 enodes (cost 4262 ) 10.084 * [simplify]: Simplified to: (expm1 (/ (cosh x) y)) (log1p (/ (cosh x) y)) (log (/ (cosh x) y)) (log (/ (cosh x) y)) (exp (/ (cosh x) y)) (/ (* (* (cosh x) (cosh x)) (cosh x)) (pow y 3)) (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (cbrt (/ (cosh x) y)) (/ (* (* (cosh x) (cosh x)) (cosh x)) (pow 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))) (* (/ (* (* (cosh x) (cosh x)) (cosh x)) (pow y 3)) (* (* (sin y) (sin y)) (sin y))) (* (/ (* (* (cosh x) (cosh x)) (cosh x)) (pow y 3)) (* (* (sin y) (sin y)) (sin y))) (* (/ (* (* (cosh x) (cosh x)) (cosh x)) (pow y 3)) (* (* (sin y) (sin y)) (sin y))) (* (/ (* (* (cosh x) (cosh x)) (cosh x)) (pow y 3)) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (* (/ (cosh x) y) (sin y))) (cbrt (* (/ (cosh x) y) (sin y)))) (cbrt (* (/ (cosh x) y) (sin y))) (* (/ (* (* (cosh x) (cosh x)) (cosh x)) (pow y 3)) (* (* (sin y) (sin y)) (sin y))) (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)) 1) (cbrt (sin y))) (* (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (sqrt (sin y))) (/ (cbrt (/ (cosh x) y)) (/ 1 (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)) 1) (cbrt (sin y))) (* (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (sqrt (sin y))) (/ (cbrt (/ (cosh x) y)) (/ 1 (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)) 1) (cbrt (sin y))) (* (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (sqrt (sin y))) (/ (cbrt (/ (cosh x) y)) (/ 1 (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)))) (* (cbrt (sin y)) (sqrt (/ (cosh x) 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)))) (* (cbrt (sin y)) (sqrt (/ (cosh x) 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)))) (* (cbrt (sin y)) (sqrt (/ (cosh x) 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 (sin y)) (cbrt (sin y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y)))) (* (/ (/ (cbrt (cosh x)) (cbrt y)) 1) (cbrt (sin y))) (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (/ (/ (cbrt (cosh x)) (cbrt y)) (/ 1 (sqrt (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (* (/ (cbrt (cosh x)) (cbrt y)) (sin y)) (* (* (cbrt (sin y)) (cbrt (sin y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y)))) (* (/ (/ (cbrt (cosh x)) (cbrt y)) 1) (cbrt (sin y))) (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (/ (/ (cbrt (cosh x)) (cbrt y)) (/ 1 (sqrt (sin y)))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (* (/ (cbrt (cosh x)) (cbrt y)) (sin y)) (* (* (cbrt (sin y)) (cbrt (sin y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y)))) (* (/ (/ (cbrt (cosh x)) (cbrt y)) 1) (cbrt (sin y))) (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (sqrt (sin y))) (/ (/ (cbrt (cosh x)) (cbrt y)) (/ 1 (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))) (* (cbrt (sin y)) (cbrt (sin y)))) (sqrt y)) (/ (cbrt (cosh x)) (* (/ 1 (cbrt (sin y))) (sqrt y))) (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (sqrt (sin y))) (* (/ (/ (cbrt (cosh x)) (sqrt y)) 1) (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)))) (sqrt y)) (/ (cbrt (cosh x)) (* (/ 1 (cbrt (sin y))) (sqrt y))) (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (sqrt (sin y))) (* (/ (/ (cbrt (cosh x)) (sqrt y)) 1) (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)))) (sqrt y)) (/ (cbrt (cosh x)) (* (/ 1 (cbrt (sin y))) (sqrt y))) (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (sqrt (sin y))) (* (/ (/ (cbrt (cosh x)) (sqrt y)) 1) (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) (/ 1 (cbrt (sin y)))) (* (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (sin y))) (/ (/ (cbrt (cosh x)) y) (/ 1 (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) (/ 1 (cbrt (sin y)))) (* (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (sin y))) (/ (/ (cbrt (cosh x)) y) (/ 1 (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) (/ 1 (cbrt (sin y)))) (* (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (sin y))) (/ (/ (cbrt (cosh x)) y) (/ 1 (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)))) (* (* (cbrt (sin y)) (cbrt (sin y))) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y)))) (/ (sqrt (cosh x)) (* (/ 1 (cbrt (sin y))) (cbrt y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y)))) (/ (* (sqrt (cosh x)) (sqrt (sin y))) (cbrt y)) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (* (sin y) (/ (sqrt (cosh x)) (cbrt y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y)))) (/ (sqrt (cosh x)) (* (/ 1 (cbrt (sin y))) (cbrt y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y)))) (/ (* (sqrt (cosh x)) (sqrt (sin y))) (cbrt y)) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (* (sin y) (/ (sqrt (cosh x)) (cbrt y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y)))) (/ (sqrt (cosh x)) (* (/ 1 (cbrt (sin y))) (cbrt y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y)))) (/ (* (sqrt (cosh x)) (sqrt (sin y))) (cbrt y)) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (* (sin y) (/ (sqrt (cosh x)) (cbrt y))) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (* (sin y) (/ (sqrt (cosh x)) (cbrt y))) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (* (sin y) (/ (sqrt (cosh x)) (cbrt 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)))) (* (cbrt (sin y)) (/ (sqrt (cosh x)) y)) (* (sqrt (cosh x)) (sqrt (sin y))) (/ (* (sqrt (cosh x)) (sqrt (sin y))) y) (sqrt (cosh x)) (* (/ (sqrt (cosh x)) y) (sin y)) (* (sqrt (cosh x)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (/ (sqrt (cosh x)) y)) (* (sqrt (cosh x)) (sqrt (sin y))) (/ (* (sqrt (cosh x)) (sqrt (sin y))) y) (sqrt (cosh x)) (* (/ (sqrt (cosh x)) y) (sin y)) (* (sqrt (cosh x)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (/ (sqrt (cosh x)) y)) (* (sqrt (cosh x)) (sqrt (sin y))) (/ (* (sqrt (cosh x)) (sqrt (sin y))) 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)) (/ 1 (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)) (/ 1 (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)) (/ 1 (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))) (* (cbrt (sin y)) (/ (cosh x) y)) (sqrt (sin y)) (* (/ (cosh x) y) (sqrt (sin y))) 1 (* (/ (cosh x) y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (/ (cosh x) y)) (sqrt (sin y)) (* (/ (cosh x) y) (sqrt (sin y))) 1 (* (/ (cosh x) y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (/ (cosh x) 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))) (* (cbrt (sin y)) (/ (cosh x) y)) (sqrt (sin y)) (* (/ (cosh x) y) (sqrt (sin y))) 1 (* (/ (cosh x) y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (/ (cosh x) y)) (sqrt (sin y)) (* (/ (cosh x) y) (sqrt (sin y))) 1 (* (/ (cosh x) y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (/ (cosh x) 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)))) (* (cbrt (sin y)) (/ 1 y)) (* (sqrt (sin y)) (cosh x)) (/ (sqrt (sin y)) y) (cosh x) (/ (sin y) y) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (/ 1 y)) (* (sqrt (sin y)) (cosh x)) (/ (sqrt (sin y)) y) (cosh x) (/ (sin y) y) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (/ 1 y)) (* (sqrt (sin y)) (cosh x)) (/ (sqrt (sin y)) y) (cosh x) (/ (sin y) y) (cosh x) (/ (sin y) y) (cosh x) (/ (sin y) y) (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 (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))) (/ (/ 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)) y) (/ (cosh x) y) (* (/ 1 (sin y)) 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))) (/ (/ 1 (* (sin y) (sin y))) (sin y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y))) (/ (/ 1 (* (sin y) (sin y))) (sin y)) (sqrt (/ 1 (sin y))) (sqrt (/ 1 (sin y))) -1 (- (sin y)) (/ (/ 1 (cbrt (sin y))) (cbrt (sin y))) (/ 1 (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ 1 (sqrt (sin y))) 1 (/ 1 (sin y)) (/ (/ 1 (cbrt (sin y))) (cbrt (sin y))) (/ 1 (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ 1 (sqrt (sin y))) 1 (/ 1 (sin y)) (/ (/ 1 (cbrt (sin y))) (cbrt (sin y))) (/ 1 (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ 1 (sqrt (sin y))) 1 (/ 1 (sin y)) (/ 1 (sin y)) (sin y) (/ (/ 1 (cbrt (sin y))) (cbrt (sin y))) (/ 1 (sqrt (sin y))) 1 (sin y) (sin y) (sin y) (fma 1/24 (/ (pow x 4) y) (+ (/ 1 y) (* 1/2 (/ (pow x 2) y)))) (/ (* 1/2 (+ (exp (- x)) (exp x))) y) (/ (* 1/2 (+ (exp (- x)) (exp x))) y) (- (fma 1/2 (pow x 2) 1) (* 1/6 (pow y 2))) (/ (* 1/2 (+ (/ (sin y) (exp x)) (* (sin y) (exp x)))) y) (/ (* 1/2 (+ (/ (sin y) (exp x)) (* (sin y) (exp x)))) y) (fma 7/360 (pow y 3) (+ (/ 1 y) (* 1/6 y))) (/ 1 (sin y)) (/ 1 (sin y)) 10.086 * * * [progress]: adding candidates to table 10.507 * [progress]: [Phase 3 of 3] Extracting. 10.507 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 10.509 * * * [regime-changes]: Trying 5 branch expressions: ((/ (sin y) y) (cosh x) (* (cosh x) (/ (sin y) y)) y x) 10.509 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (# # # # # # # # #) 10.543 * * * * [regimes]: Trying to branch on (cosh x) from (# # # # # # # # #) 10.571 * * * * [regimes]: Trying to branch on (* (cosh x) (/ (sin y) y)) from (# # # # # # # # #) 10.608 * * * * [regimes]: Trying to branch on y from (# # # # # # # # #) 10.642 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 10.673 * * * [regime]: Found split indices: #