15.652 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.071 * * * [progress]: [2/2] Setting up program. 0.073 * [progress]: [Phase 2 of 3] Improving. 0.074 * [simplify]: Simplifying using # : (* (cosh x) (/ (sin y) y)) 0.075 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.075 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.077 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 0.081 * * [simplify]: iteration 3 : 53 enodes (cost 7 ) 0.088 * * [simplify]: iteration 4 : 98 enodes (cost 7 ) 0.100 * * [simplify]: iteration 5 : 154 enodes (cost 7 ) 0.128 * * [simplify]: iteration 6 : 306 enodes (cost 7 ) 0.209 * * [simplify]: iteration 7 : 750 enodes (cost 7 ) 0.554 * * [simplify]: iteration 8 : 1539 enodes (cost 7 ) 1.766 * * [simplify]: iteration 9 : 3333 enodes (cost 7 ) 6.718 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 6.718 * [simplify]: Simplified to: (* (cosh x) (/ (sin y) y)) 6.718 * * [progress]: iteration 1 / 4 6.718 * * * [progress]: picking best candidate 6.720 * * * * [pick]: Picked # 6.720 * * * [progress]: localizing error 6.727 * * * [progress]: generating rewritten candidates 6.727 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 6.730 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 6.740 * * * [progress]: generating series expansions 6.740 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 6.740 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 6.740 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 6.740 * [taylor]: Taking taylor expansion of (sin y) in y 6.740 * [taylor]: Taking taylor expansion of y in y 6.740 * [taylor]: Taking taylor expansion of y in y 6.741 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 6.741 * [taylor]: Taking taylor expansion of (sin y) in y 6.741 * [taylor]: Taking taylor expansion of y in y 6.741 * [taylor]: Taking taylor expansion of y in y 6.752 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 6.752 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 6.752 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.752 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.752 * [taylor]: Taking taylor expansion of y in y 6.753 * [taylor]: Taking taylor expansion of y in y 6.753 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 6.753 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.753 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.753 * [taylor]: Taking taylor expansion of y in y 6.753 * [taylor]: Taking taylor expansion of y in y 6.757 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 6.757 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 6.757 * [taylor]: Taking taylor expansion of -1 in y 6.757 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 6.757 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.758 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.758 * [taylor]: Taking taylor expansion of -1 in y 6.758 * [taylor]: Taking taylor expansion of y in y 6.758 * [taylor]: Taking taylor expansion of y in y 6.758 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 6.758 * [taylor]: Taking taylor expansion of -1 in y 6.758 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 6.758 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.758 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.758 * [taylor]: Taking taylor expansion of -1 in y 6.758 * [taylor]: Taking taylor expansion of y in y 6.758 * [taylor]: Taking taylor expansion of y in y 6.770 * * * * [progress]: [ 2 / 2 ] generating series at (2) 6.770 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 6.770 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 6.770 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 6.770 * [taylor]: Taking taylor expansion of (sin y) in y 6.770 * [taylor]: Taking taylor expansion of y in y 6.770 * [taylor]: Taking taylor expansion of (cosh x) in y 6.770 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.770 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 6.770 * [taylor]: Taking taylor expansion of (exp x) in y 6.770 * [taylor]: Taking taylor expansion of x in y 6.770 * [taylor]: Taking taylor expansion of (exp (- x)) in y 6.770 * [taylor]: Taking taylor expansion of (- x) in y 6.770 * [taylor]: Taking taylor expansion of x in y 6.770 * [taylor]: Taking taylor expansion of 2 in y 6.770 * [taylor]: Taking taylor expansion of y in y 6.773 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 6.773 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 6.773 * [taylor]: Taking taylor expansion of (sin y) in x 6.774 * [taylor]: Taking taylor expansion of y in x 6.774 * [taylor]: Taking taylor expansion of (cosh x) in x 6.774 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.774 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.774 * [taylor]: Taking taylor expansion of (exp x) in x 6.774 * [taylor]: Taking taylor expansion of x in x 6.774 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.774 * [taylor]: Taking taylor expansion of (- x) in x 6.774 * [taylor]: Taking taylor expansion of x in x 6.774 * [taylor]: Taking taylor expansion of 2 in x 6.775 * [taylor]: Taking taylor expansion of y in x 6.775 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 6.775 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 6.775 * [taylor]: Taking taylor expansion of (sin y) in x 6.775 * [taylor]: Taking taylor expansion of y in x 6.775 * [taylor]: Taking taylor expansion of (cosh x) in x 6.775 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.775 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.775 * [taylor]: Taking taylor expansion of (exp x) in x 6.775 * [taylor]: Taking taylor expansion of x in x 6.775 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.775 * [taylor]: Taking taylor expansion of (- x) in x 6.775 * [taylor]: Taking taylor expansion of x in x 6.776 * [taylor]: Taking taylor expansion of 2 in x 6.776 * [taylor]: Taking taylor expansion of y in x 6.776 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 6.776 * [taylor]: Taking taylor expansion of (sin y) in y 6.776 * [taylor]: Taking taylor expansion of y in y 6.776 * [taylor]: Taking taylor expansion of y in y 6.781 * [taylor]: Taking taylor expansion of 0 in y 6.787 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 6.787 * [taylor]: Taking taylor expansion of 1/2 in y 6.787 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 6.787 * [taylor]: Taking taylor expansion of (sin y) in y 6.787 * [taylor]: Taking taylor expansion of y in y 6.788 * [taylor]: Taking taylor expansion of y in y 6.790 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 6.790 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 6.790 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 6.790 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.790 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 6.790 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.790 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.790 * [taylor]: Taking taylor expansion of x in y 6.791 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.791 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.791 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.791 * [taylor]: Taking taylor expansion of x in y 6.791 * [taylor]: Taking taylor expansion of 2 in y 6.791 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 6.791 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.791 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.791 * [taylor]: Taking taylor expansion of y in y 6.791 * [taylor]: Taking taylor expansion of y in y 6.791 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 6.791 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 6.791 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.791 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.791 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.791 * [taylor]: Taking taylor expansion of x in x 6.792 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.792 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.792 * [taylor]: Taking taylor expansion of x in x 6.792 * [taylor]: Taking taylor expansion of 2 in x 6.792 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 6.793 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 6.793 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.793 * [taylor]: Taking taylor expansion of y in x 6.793 * [taylor]: Taking taylor expansion of y in x 6.793 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 6.793 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 6.793 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.793 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.793 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.793 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.793 * [taylor]: Taking taylor expansion of x in x 6.793 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.793 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.793 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.793 * [taylor]: Taking taylor expansion of x in x 6.794 * [taylor]: Taking taylor expansion of 2 in x 6.794 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 6.794 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 6.794 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.794 * [taylor]: Taking taylor expansion of y in x 6.794 * [taylor]: Taking taylor expansion of y in x 6.794 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 6.794 * [taylor]: Taking taylor expansion of 1/2 in y 6.794 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 6.794 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.794 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.794 * [taylor]: Taking taylor expansion of y in y 6.795 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 6.795 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 6.795 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.795 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.795 * [taylor]: Taking taylor expansion of x in y 6.795 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.795 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.795 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.795 * [taylor]: Taking taylor expansion of x in y 6.795 * [taylor]: Taking taylor expansion of y in y 6.798 * [taylor]: Taking taylor expansion of 0 in y 6.805 * [taylor]: Taking taylor expansion of 0 in y 6.814 * [taylor]: Taking taylor expansion of 0 in y 6.815 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 6.815 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 6.815 * [taylor]: Taking taylor expansion of -1 in y 6.815 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 6.815 * [taylor]: Taking taylor expansion of y in y 6.815 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 6.815 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.815 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.815 * [taylor]: Taking taylor expansion of -1 in y 6.815 * [taylor]: Taking taylor expansion of y in y 6.815 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 6.815 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.815 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 6.815 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.815 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.815 * [taylor]: Taking taylor expansion of -1 in y 6.815 * [taylor]: Taking taylor expansion of x in y 6.815 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 6.815 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 6.815 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.815 * [taylor]: Taking taylor expansion of -1 in y 6.815 * [taylor]: Taking taylor expansion of x in y 6.816 * [taylor]: Taking taylor expansion of 2 in y 6.816 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 6.816 * [taylor]: Taking taylor expansion of -1 in x 6.816 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 6.816 * [taylor]: Taking taylor expansion of y in x 6.816 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 6.816 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 6.816 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.816 * [taylor]: Taking taylor expansion of -1 in x 6.816 * [taylor]: Taking taylor expansion of y in x 6.816 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 6.816 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.816 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.816 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.816 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.816 * [taylor]: Taking taylor expansion of -1 in x 6.816 * [taylor]: Taking taylor expansion of x in x 6.816 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.816 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.816 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.816 * [taylor]: Taking taylor expansion of -1 in x 6.817 * [taylor]: Taking taylor expansion of x in x 6.817 * [taylor]: Taking taylor expansion of 2 in x 6.817 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 6.817 * [taylor]: Taking taylor expansion of -1 in x 6.817 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 6.817 * [taylor]: Taking taylor expansion of y in x 6.817 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 6.817 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 6.817 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.817 * [taylor]: Taking taylor expansion of -1 in x 6.817 * [taylor]: Taking taylor expansion of y in x 6.817 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 6.818 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.818 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.818 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.818 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.818 * [taylor]: Taking taylor expansion of -1 in x 6.818 * [taylor]: Taking taylor expansion of x in x 6.818 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.818 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.818 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.818 * [taylor]: Taking taylor expansion of -1 in x 6.818 * [taylor]: Taking taylor expansion of x in x 6.819 * [taylor]: Taking taylor expansion of 2 in x 6.819 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 6.819 * [taylor]: Taking taylor expansion of -1/2 in y 6.819 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 6.819 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.819 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.819 * [taylor]: Taking taylor expansion of -1 in y 6.819 * [taylor]: Taking taylor expansion of y in y 6.820 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 6.820 * [taylor]: Taking taylor expansion of y in y 6.820 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 6.820 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.820 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.820 * [taylor]: Taking taylor expansion of x in y 6.820 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.820 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.820 * [taylor]: Taking taylor expansion of -1 in y 6.820 * [taylor]: Taking taylor expansion of x in y 6.823 * [taylor]: Taking taylor expansion of 0 in y 6.831 * [taylor]: Taking taylor expansion of 0 in y 6.845 * [taylor]: Taking taylor expansion of 0 in y 6.846 * * * [progress]: simplifying candidates 6.846 * [simplify]: Simplifying using # : (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)) (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)) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (sin y) (exp (- x))))) y) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) 6.850 * * [simplify]: iteration 0 : 124 enodes (cost 689 ) 6.871 * * [simplify]: iteration 1 : 276 enodes (cost 656 ) 6.936 * * [simplify]: iteration 2 : 1095 enodes (cost 592 ) 7.345 * * [simplify]: iteration done : 5000 enodes (cost 576 ) 7.345 * [simplify]: Simplified to: (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)) (cbrt (sin y))) (sqrt y)) (/ (cbrt (sin y)) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ (cbrt (sin y)) y) (/ (/ (sqrt (sin y)) (cbrt y)) (cbrt y)) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (sqrt (sin y)) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) 1 (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (sin y) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (expm1 (* (cosh x) (/ (sin y) y))) (log1p (* (cosh x) (/ (sin y) y))) (* (cosh x) (/ (sin y) y)) (log (* (cosh x) (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (exp (* (cosh x) (/ (sin y) y))) (pow (* (cosh x) (/ (sin y) y)) 3) (pow (* (cosh x) (/ (sin y) y)) 3) (* (cbrt (* (cosh x) (/ (sin y) y))) (cbrt (* (cosh x) (/ (sin y) y)))) (cbrt (* (cosh x) (/ (sin y) y))) (pow (* (cosh x) (/ (sin y) y)) 3) (sqrt (* (cosh x) (/ (sin y) y))) (sqrt (* (cosh x) (/ (sin y) y))) (* (* (cosh x) (sin y)) 2) (* 2 y) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (cosh x) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (cosh x) (sqrt (/ (sin y) y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cosh x) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (* (cosh x) (/ (sqrt (sin y)) (sqrt y))) (* (cosh x) (sqrt (sin y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (sqrt y)) (cosh x) (cosh x) (* (cosh x) (sin y)) (* (cbrt (cosh x)) (/ (sin y) y)) (* (sqrt (cosh x)) (/ (sin y) y)) (* (cosh x) (/ (sin y) y)) (* (cosh x) (sin y)) (/ (* (* (cosh x) (sin y)) 2) y) (- (fma 1/120 (pow y 4) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (- (fma 1/2 (pow x 2) 1) (* 1/6 (pow y 2))) (* (cosh x) (/ (sin y) y)) (* (cosh x) (/ (sin y) y)) 7.346 * * * [progress]: adding candidates to table 7.506 * * [progress]: iteration 2 / 4 7.506 * * * [progress]: picking best candidate 7.526 * * * * [pick]: Picked # 7.526 * * * [progress]: localizing error 7.534 * * * [progress]: generating rewritten candidates 7.535 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 7.540 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 7.542 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 7.572 * * * [progress]: generating series expansions 7.572 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 7.572 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 7.572 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 7.572 * [taylor]: Taking taylor expansion of (sin y) in y 7.572 * [taylor]: Taking taylor expansion of y in y 7.572 * [taylor]: Taking taylor expansion of y in y 7.573 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 7.573 * [taylor]: Taking taylor expansion of (sin y) in y 7.573 * [taylor]: Taking taylor expansion of y in y 7.573 * [taylor]: Taking taylor expansion of y in y 7.581 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 7.581 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.581 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.581 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.581 * [taylor]: Taking taylor expansion of y in y 7.581 * [taylor]: Taking taylor expansion of y in y 7.581 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.581 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.581 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.581 * [taylor]: Taking taylor expansion of y in y 7.582 * [taylor]: Taking taylor expansion of y in y 7.586 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 7.586 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 7.586 * [taylor]: Taking taylor expansion of -1 in y 7.586 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 7.586 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.586 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.586 * [taylor]: Taking taylor expansion of -1 in y 7.586 * [taylor]: Taking taylor expansion of y in y 7.586 * [taylor]: Taking taylor expansion of y in y 7.586 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 7.586 * [taylor]: Taking taylor expansion of -1 in y 7.586 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 7.586 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.586 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.586 * [taylor]: Taking taylor expansion of -1 in y 7.586 * [taylor]: Taking taylor expansion of y in y 7.587 * [taylor]: Taking taylor expansion of y in y 7.602 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 7.602 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0 7.602 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 7.602 * [taylor]: Taking taylor expansion of y in y 7.602 * [taylor]: Taking taylor expansion of (sin y) in y 7.602 * [taylor]: Taking taylor expansion of y in y 7.603 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 7.603 * [taylor]: Taking taylor expansion of y in y 7.603 * [taylor]: Taking taylor expansion of (sin y) in y 7.603 * [taylor]: Taking taylor expansion of y in y 7.611 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in (y) around 0 7.611 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 7.611 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.611 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.611 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.611 * [taylor]: Taking taylor expansion of y in y 7.611 * [taylor]: Taking taylor expansion of y in y 7.611 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 7.612 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.612 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.612 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.612 * [taylor]: Taking taylor expansion of y in y 7.612 * [taylor]: Taking taylor expansion of y in y 7.618 * [approximate]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in (y) around 0 7.618 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 7.618 * [taylor]: Taking taylor expansion of -1 in y 7.618 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 7.618 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.618 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.618 * [taylor]: Taking taylor expansion of -1 in y 7.618 * [taylor]: Taking taylor expansion of y in y 7.618 * [taylor]: Taking taylor expansion of y in y 7.619 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 7.619 * [taylor]: Taking taylor expansion of -1 in y 7.619 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 7.619 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.619 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.619 * [taylor]: Taking taylor expansion of -1 in y 7.619 * [taylor]: Taking taylor expansion of y in y 7.619 * [taylor]: Taking taylor expansion of y in y 7.625 * * * * [progress]: [ 3 / 3 ] generating series at (2) 7.625 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 7.625 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 7.625 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 7.625 * [taylor]: Taking taylor expansion of (sin y) in y 7.625 * [taylor]: Taking taylor expansion of y in y 7.625 * [taylor]: Taking taylor expansion of (cosh x) in y 7.625 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 7.625 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 7.625 * [taylor]: Taking taylor expansion of (exp x) in y 7.625 * [taylor]: Taking taylor expansion of x in y 7.625 * [taylor]: Taking taylor expansion of (exp (- x)) in y 7.625 * [taylor]: Taking taylor expansion of (- x) in y 7.625 * [taylor]: Taking taylor expansion of x in y 7.625 * [taylor]: Taking taylor expansion of 2 in y 7.626 * [taylor]: Taking taylor expansion of y in y 7.629 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 7.629 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 7.629 * [taylor]: Taking taylor expansion of (sin y) in x 7.629 * [taylor]: Taking taylor expansion of y in x 7.629 * [taylor]: Taking taylor expansion of (cosh x) in x 7.629 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 7.629 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.629 * [taylor]: Taking taylor expansion of (exp x) in x 7.629 * [taylor]: Taking taylor expansion of x in x 7.629 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.629 * [taylor]: Taking taylor expansion of (- x) in x 7.629 * [taylor]: Taking taylor expansion of x in x 7.630 * [taylor]: Taking taylor expansion of 2 in x 7.630 * [taylor]: Taking taylor expansion of y in x 7.630 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 7.630 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 7.630 * [taylor]: Taking taylor expansion of (sin y) in x 7.630 * [taylor]: Taking taylor expansion of y in x 7.630 * [taylor]: Taking taylor expansion of (cosh x) in x 7.630 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 7.630 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.630 * [taylor]: Taking taylor expansion of (exp x) in x 7.630 * [taylor]: Taking taylor expansion of x in x 7.630 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.631 * [taylor]: Taking taylor expansion of (- x) in x 7.631 * [taylor]: Taking taylor expansion of x in x 7.631 * [taylor]: Taking taylor expansion of 2 in x 7.631 * [taylor]: Taking taylor expansion of y in x 7.632 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 7.632 * [taylor]: Taking taylor expansion of (sin y) in y 7.632 * [taylor]: Taking taylor expansion of y in y 7.632 * [taylor]: Taking taylor expansion of y in y 7.636 * [taylor]: Taking taylor expansion of 0 in y 7.643 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 7.643 * [taylor]: Taking taylor expansion of 1/2 in y 7.643 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 7.643 * [taylor]: Taking taylor expansion of (sin y) in y 7.643 * [taylor]: Taking taylor expansion of y in y 7.643 * [taylor]: Taking taylor expansion of y in y 7.646 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 7.646 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 7.646 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 7.646 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 7.646 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 7.646 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.646 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.646 * [taylor]: Taking taylor expansion of x in y 7.646 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 7.646 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 7.646 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.646 * [taylor]: Taking taylor expansion of x in y 7.646 * [taylor]: Taking taylor expansion of 2 in y 7.646 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.647 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.647 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.647 * [taylor]: Taking taylor expansion of y in y 7.647 * [taylor]: Taking taylor expansion of y in y 7.647 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 7.647 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 7.647 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 7.647 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.647 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.647 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.647 * [taylor]: Taking taylor expansion of x in x 7.647 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.647 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.647 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.647 * [taylor]: Taking taylor expansion of x in x 7.648 * [taylor]: Taking taylor expansion of 2 in x 7.648 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 7.648 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.648 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.648 * [taylor]: Taking taylor expansion of y in x 7.648 * [taylor]: Taking taylor expansion of y in x 7.648 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 7.648 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 7.648 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 7.648 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.648 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.648 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.648 * [taylor]: Taking taylor expansion of x in x 7.649 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.649 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.649 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.649 * [taylor]: Taking taylor expansion of x in x 7.649 * [taylor]: Taking taylor expansion of 2 in x 7.649 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 7.650 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.650 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.650 * [taylor]: Taking taylor expansion of y in x 7.650 * [taylor]: Taking taylor expansion of y in x 7.650 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 7.650 * [taylor]: Taking taylor expansion of 1/2 in y 7.650 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 7.650 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.650 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.650 * [taylor]: Taking taylor expansion of y in y 7.650 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 7.650 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 7.650 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.650 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.650 * [taylor]: Taking taylor expansion of x in y 7.650 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 7.651 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 7.651 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.651 * [taylor]: Taking taylor expansion of x in y 7.651 * [taylor]: Taking taylor expansion of y in y 7.654 * [taylor]: Taking taylor expansion of 0 in y 7.661 * [taylor]: Taking taylor expansion of 0 in y 7.670 * [taylor]: Taking taylor expansion of 0 in y 7.670 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 7.671 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 7.671 * [taylor]: Taking taylor expansion of -1 in y 7.671 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 7.671 * [taylor]: Taking taylor expansion of y in y 7.671 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 7.671 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.671 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.671 * [taylor]: Taking taylor expansion of -1 in y 7.671 * [taylor]: Taking taylor expansion of y in y 7.671 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 7.671 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 7.671 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 7.671 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 7.671 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.671 * [taylor]: Taking taylor expansion of -1 in y 7.671 * [taylor]: Taking taylor expansion of x in y 7.671 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 7.671 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 7.671 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.671 * [taylor]: Taking taylor expansion of -1 in y 7.671 * [taylor]: Taking taylor expansion of x in y 7.671 * [taylor]: Taking taylor expansion of 2 in y 7.672 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 7.672 * [taylor]: Taking taylor expansion of -1 in x 7.672 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 7.672 * [taylor]: Taking taylor expansion of y in x 7.672 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 7.672 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.672 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.672 * [taylor]: Taking taylor expansion of -1 in x 7.672 * [taylor]: Taking taylor expansion of y in x 7.672 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 7.672 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 7.672 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.672 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.672 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.672 * [taylor]: Taking taylor expansion of -1 in x 7.672 * [taylor]: Taking taylor expansion of x in x 7.672 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.672 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.672 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.672 * [taylor]: Taking taylor expansion of -1 in x 7.672 * [taylor]: Taking taylor expansion of x in x 7.673 * [taylor]: Taking taylor expansion of 2 in x 7.673 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 7.673 * [taylor]: Taking taylor expansion of -1 in x 7.673 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 7.673 * [taylor]: Taking taylor expansion of y in x 7.673 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 7.673 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.673 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.673 * [taylor]: Taking taylor expansion of -1 in x 7.673 * [taylor]: Taking taylor expansion of y in x 7.673 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 7.673 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 7.673 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.673 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.673 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.673 * [taylor]: Taking taylor expansion of -1 in x 7.673 * [taylor]: Taking taylor expansion of x in x 7.674 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.674 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.674 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.674 * [taylor]: Taking taylor expansion of -1 in x 7.674 * [taylor]: Taking taylor expansion of x in x 7.674 * [taylor]: Taking taylor expansion of 2 in x 7.675 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 7.675 * [taylor]: Taking taylor expansion of -1/2 in y 7.675 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 7.675 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.675 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.675 * [taylor]: Taking taylor expansion of -1 in y 7.675 * [taylor]: Taking taylor expansion of y in y 7.675 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 7.676 * [taylor]: Taking taylor expansion of y in y 7.676 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 7.676 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.676 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.676 * [taylor]: Taking taylor expansion of x in y 7.676 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 7.676 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.676 * [taylor]: Taking taylor expansion of -1 in y 7.676 * [taylor]: Taking taylor expansion of x in y 7.679 * [taylor]: Taking taylor expansion of 0 in y 7.691 * [taylor]: Taking taylor expansion of 0 in y 7.701 * [taylor]: Taking taylor expansion of 0 in y 7.702 * * * [progress]: simplifying candidates 7.704 * [simplify]: Simplifying using # : (expm1 (/ 1 (/ y (sin y)))) (log1p (/ 1 (/ y (sin y)))) (- 1) (- (- (log y) (log (sin y)))) (- (log (/ y (sin y)))) (- 0 (- (log y) (log (sin y)))) (- 0 (log (/ y (sin y)))) (- (log 1) (- (log y) (log (sin y)))) (- (log 1) (log (/ y (sin y)))) (log (/ 1 (/ y (sin y)))) (exp (/ 1 (/ y (sin y)))) (/ (* (* 1 1) 1) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y)))) (/ (* (* 1 1) 1) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y)))) (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y))))) (cbrt (/ 1 (/ y (sin y)))) (* (* (/ 1 (/ y (sin y))) (/ 1 (/ y (sin y)))) (/ 1 (/ y (sin y)))) (sqrt (/ 1 (/ y (sin y)))) (sqrt (/ 1 (/ y (sin y)))) (- 1) (- (/ y (sin y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cbrt 1) (cbrt (/ y (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ y (sin y)))) (/ (cbrt 1) (sqrt (/ y (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ (cbrt y) (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (cbrt 1) (/ (cbrt y) (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) 1)) (/ (cbrt 1) (/ (cbrt y) (sin y))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ (sqrt y) (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (sqrt (sin y)))) (/ (cbrt 1) (/ (sqrt y) (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) 1)) (/ (cbrt 1) (/ (sqrt y) (sin y))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ y (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (sin y)))) (/ (cbrt 1) (/ y (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ y (sin y))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ y (sin y))) (/ (* (cbrt 1) (cbrt 1)) y) (/ (cbrt 1) (/ 1 (sin y))) (/ (sqrt 1) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt 1) (cbrt (/ y (sin y)))) (/ (sqrt 1) (sqrt (/ y (sin y)))) (/ (sqrt 1) (sqrt (/ y (sin y)))) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (sqrt 1) (/ (cbrt y) (sqrt (sin y)))) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) 1)) (/ (sqrt 1) (/ (cbrt y) (sin y))) (/ (sqrt 1) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt 1) (/ (sqrt y) 1)) (/ (sqrt 1) (/ (sqrt y) (sin y))) (/ (sqrt 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ y (cbrt (sin y)))) (/ (sqrt 1) (/ 1 (sqrt (sin y)))) (/ (sqrt 1) (/ y (sqrt (sin y)))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ y (sin y))) (/ (sqrt 1) 1) (/ (sqrt 1) (/ y (sin y))) (/ (sqrt 1) y) (/ (sqrt 1) (/ 1 (sin y))) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ 1 (/ (cbrt y) (sqrt (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ 1 (/ (cbrt y) (sin y))) (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ 1 (/ (sqrt y) (sqrt (sin y)))) (/ 1 (/ (sqrt y) (sqrt (sin y)))) (/ 1 (/ (sqrt y) 1)) (/ 1 (/ (sqrt y) (sin y))) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ y (cbrt (sin y)))) (/ 1 (/ 1 (sqrt (sin y)))) (/ 1 (/ y (sqrt (sin y)))) (/ 1 (/ 1 1)) (/ 1 (/ y (sin y))) (/ 1 1) (/ 1 (/ y (sin y))) (/ 1 y) (/ 1 (/ 1 (sin y))) (/ 1 (/ y (sin y))) (/ (/ y (sin y)) 1) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (sqrt y) (sqrt (sin y)))) (/ 1 (/ (sqrt y) 1)) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ 1 (sqrt (sin y)))) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 y) (/ (/ y (sin y)) (cbrt 1)) (/ (/ y (sin y)) (sqrt 1)) (/ (/ y (sin y)) 1) (/ 1 y) (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) (expm1 (* (cosh x) (/ 1 (/ y (sin y))))) (log1p (* (cosh x) (/ 1 (/ y (sin y))))) (* (cosh x) (/ 1 (/ y (sin y)))) (+ (log (cosh x)) (- (- (log y) (log (sin y))))) (+ (log (cosh x)) (- (log (/ y (sin y))))) (+ (log (cosh x)) (- 0 (- (log y) (log (sin y))))) (+ (log (cosh x)) (- 0 (log (/ y (sin y))))) (+ (log (cosh x)) (- (log 1) (- (log y) (log (sin y))))) (+ (log (cosh x)) (- (log 1) (log (/ y (sin y))))) (+ (log (cosh x)) (log (/ 1 (/ y (sin y))))) (log (* (cosh x) (/ 1 (/ y (sin y))))) (exp (* (cosh x) (/ 1 (/ y (sin y))))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* 1 1) 1) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y))))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* 1 1) 1) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y))))) (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ 1 (/ y (sin y))) (/ 1 (/ y (sin y)))) (/ 1 (/ y (sin y))))) (* (cbrt (* (cosh x) (/ 1 (/ y (sin y))))) (cbrt (* (cosh x) (/ 1 (/ y (sin y)))))) (cbrt (* (cosh x) (/ 1 (/ y (sin y))))) (* (* (* (cosh x) (/ 1 (/ y (sin y)))) (* (cosh x) (/ 1 (/ y (sin y))))) (* (cosh x) (/ 1 (/ y (sin y))))) (sqrt (* (cosh x) (/ 1 (/ y (sin y))))) (sqrt (* (cosh x) (/ 1 (/ y (sin y))))) (* (+ (exp x) (exp (- x))) 1) (* 2 (/ y (sin y))) (* (sqrt (cosh x)) (sqrt (/ 1 (/ y (sin y))))) (* (sqrt (cosh x)) (sqrt (/ 1 (/ y (sin y))))) (* (sqrt (cosh x)) (/ (sqrt 1) (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ (sqrt 1) (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ 1 (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ 1 (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ 1 (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ 1 (/ (sqrt y) (sqrt (sin y))))) (* (cosh x) (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y)))))) (* (cosh x) (sqrt (/ 1 (/ y (sin y))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ y (sin y))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) 1))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (sqrt (sin y))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) 1))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (sin y))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) y)) (* (cosh x) (/ (sqrt 1) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* (cosh x) (/ (sqrt 1) (sqrt (/ y (sin y))))) (* (cosh x) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (* (cosh x) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) 1))) (* (cosh x) (/ (sqrt 1) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y))))) (* (cosh x) (/ (sqrt 1) (/ (sqrt y) 1))) (* (cosh x) (/ (sqrt 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (sqrt 1) (/ 1 (sqrt (sin y))))) (* (cosh x) (/ (sqrt 1) (/ 1 1))) (* (cosh x) (/ (sqrt 1) 1)) (* (cosh x) (/ (sqrt 1) y)) (* (cosh x) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* (cosh x) (/ 1 (sqrt (/ y (sin y))))) (* (cosh x) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (* (cosh x) (/ 1 (/ (* (cbrt y) (cbrt y)) 1))) (* (cosh x) (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ 1 (/ (sqrt y) (sqrt (sin y))))) (* (cosh x) (/ 1 (/ (sqrt y) 1))) (* (cosh x) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ 1 (/ 1 (sqrt (sin y))))) (* (cosh x) (/ 1 (/ 1 1))) (* (cosh x) (/ 1 1)) (* (cosh x) (/ 1 y)) (* (cosh x) 1) (* (cosh x) 1) (* (cosh x) (/ 1 y)) (* (cbrt (cosh x)) (/ 1 (/ y (sin y)))) (* (sqrt (cosh x)) (/ 1 (/ y (sin y)))) (* (cosh x) (/ 1 (/ y (sin y)))) (* (cosh x) 1) (* (+ (exp x) (exp (- x))) (/ 1 (/ y (sin y)))) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (+ (* 1/6 (pow y 2)) (+ (* 7/360 (pow y 4)) 1)) (/ y (sin y)) (/ y (sin y)) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (sin y) (exp (- x))))) y) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) 7.711 * * [simplify]: iteration 0 : 265 enodes (cost 2378 ) 7.764 * * [simplify]: iteration 1 : 641 enodes (cost 2016 ) 7.974 * * [simplify]: iteration 2 : 2477 enodes (cost 1643 ) 9.344 * * [simplify]: iteration done : 5000 enodes (cost 1627 ) 9.345 * [simplify]: Simplified to: (expm1 (/ (sin y) y)) (log1p (/ (sin y) y)) -1 (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (pow (/ (sin y) y) 3) (pow (/ (sin y) y) 3) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (pow (/ (sin y) y) 3) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) -1 (- (/ y (sin y))) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ 1 (/ y (cbrt (sin y)))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (/ 1 y) (sin y) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ 1 (/ y (cbrt (sin y)))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (/ 1 y) (sin y) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ 1 (/ y (cbrt (sin y)))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (/ 1 y) (sin y) (/ (sin y) y) (/ y (sin y)) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ 1 (sqrt (/ y (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt y) (cbrt y))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (sqrt (sin y)) 1 1 (/ 1 y) (/ y (sin y)) (/ y (sin y)) (/ y (sin y)) (/ 1 y) (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) (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)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (exp (/ (cosh x) (/ y (sin y)))) (pow (/ (cosh x) (/ y (sin y))) 3) (pow (/ (cosh x) (/ y (sin y))) 3) (pow (/ (cosh x) (/ y (sin y))) 3) (* (cbrt (/ (cosh x) (/ y (sin y)))) (cbrt (/ (cosh x) (/ y (sin y))))) (cbrt (/ (cosh x) (/ y (sin y)))) (pow (/ (cosh x) (/ y (sin y))) 3) (sqrt (/ (cosh x) (/ y (sin y)))) (sqrt (/ (cosh x) (/ y (sin y)))) (* (cosh x) 2) (* 2 (/ y (sin y))) (* (sqrt (/ (sin y) y)) (sqrt (cosh x))) (* (sqrt (/ (sin y) y)) (sqrt (cosh x))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (* (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cosh x)) (* (cosh x) (sqrt (/ (sin y) y))) (/ (cosh x) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cosh x) (sqrt (/ y (sin y)))) (/ (cosh x) (/ (* (cbrt 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)))) (* (sqrt (sin y)) (cosh x)) (cosh x) (cosh x) (/ (cosh x) y) (/ (cosh x) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cosh x) (sqrt (/ y (sin y)))) (/ (cosh x) (/ (* (cbrt 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)))) (* (sqrt (sin y)) (cosh x)) (cosh x) (cosh x) (/ (cosh x) y) (/ (cosh x) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cosh x) (sqrt (/ y (sin y)))) (/ (cosh x) (/ (* (cbrt 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)))) (* (sqrt (sin y)) (cosh x)) (cosh x) (cosh x) (/ (cosh x) y) (cosh x) (cosh x) (/ (cosh x) y) (/ (cbrt (cosh x)) (/ y (sin y))) (* (sqrt (cosh x)) (/ (sin y) y)) (/ (cosh x) (/ y (sin y))) (cosh x) (/ (* 2 (cosh x)) (/ y (sin y))) (- (fma 1/120 (pow y 4) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (fma 1/6 (* y y) (fma 7/360 (pow y 4) 1)) (/ y (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))) 9.346 * * * [progress]: adding candidates to table 9.709 * * [progress]: iteration 3 / 4 9.709 * * * [progress]: picking best candidate 9.723 * * * * [pick]: Picked # 9.723 * * * [progress]: localizing error 9.732 * * * [progress]: generating rewritten candidates 9.732 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 9.735 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 9.755 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 9.756 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 9.759 * * * [progress]: generating series expansions 9.759 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 9.759 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 9.759 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 9.759 * [taylor]: Taking taylor expansion of (sin y) in y 9.759 * [taylor]: Taking taylor expansion of y in y 9.759 * [taylor]: Taking taylor expansion of y in y 9.760 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 9.761 * [taylor]: Taking taylor expansion of (sin y) in y 9.761 * [taylor]: Taking taylor expansion of y in y 9.761 * [taylor]: Taking taylor expansion of y in y 9.768 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 9.768 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 9.768 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.768 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.768 * [taylor]: Taking taylor expansion of y in y 9.768 * [taylor]: Taking taylor expansion of y in y 9.768 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 9.768 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.768 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.768 * [taylor]: Taking taylor expansion of y in y 9.769 * [taylor]: Taking taylor expansion of y in y 9.773 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 9.773 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 9.773 * [taylor]: Taking taylor expansion of -1 in y 9.773 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 9.773 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.773 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.773 * [taylor]: Taking taylor expansion of -1 in y 9.773 * [taylor]: Taking taylor expansion of y in y 9.774 * [taylor]: Taking taylor expansion of y in y 9.774 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 9.774 * [taylor]: Taking taylor expansion of -1 in y 9.774 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 9.774 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.774 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.774 * [taylor]: Taking taylor expansion of -1 in y 9.774 * [taylor]: Taking taylor expansion of y in y 9.774 * [taylor]: Taking taylor expansion of y in y 9.785 * * * * [progress]: [ 2 / 4 ] generating series at (2) 9.786 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 9.786 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 9.786 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 9.786 * [taylor]: Taking taylor expansion of (sin y) in y 9.786 * [taylor]: Taking taylor expansion of y in y 9.786 * [taylor]: Taking taylor expansion of (cosh x) in y 9.786 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 9.786 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 9.786 * [taylor]: Taking taylor expansion of (exp x) in y 9.786 * [taylor]: Taking taylor expansion of x in y 9.786 * [taylor]: Taking taylor expansion of (exp (- x)) in y 9.786 * [taylor]: Taking taylor expansion of (- x) in y 9.786 * [taylor]: Taking taylor expansion of x in y 9.786 * [taylor]: Taking taylor expansion of 2 in y 9.786 * [taylor]: Taking taylor expansion of y in y 9.789 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 9.789 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 9.789 * [taylor]: Taking taylor expansion of (sin y) in x 9.789 * [taylor]: Taking taylor expansion of y in x 9.789 * [taylor]: Taking taylor expansion of (cosh x) in x 9.789 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 9.789 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.789 * [taylor]: Taking taylor expansion of (exp x) in x 9.789 * [taylor]: Taking taylor expansion of x in x 9.789 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.789 * [taylor]: Taking taylor expansion of (- x) in x 9.789 * [taylor]: Taking taylor expansion of x in x 9.790 * [taylor]: Taking taylor expansion of 2 in x 9.790 * [taylor]: Taking taylor expansion of y in x 9.791 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 9.791 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 9.791 * [taylor]: Taking taylor expansion of (sin y) in x 9.791 * [taylor]: Taking taylor expansion of y in x 9.791 * [taylor]: Taking taylor expansion of (cosh x) in x 9.791 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 9.791 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.791 * [taylor]: Taking taylor expansion of (exp x) in x 9.791 * [taylor]: Taking taylor expansion of x in x 9.791 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.791 * [taylor]: Taking taylor expansion of (- x) in x 9.791 * [taylor]: Taking taylor expansion of x in x 9.791 * [taylor]: Taking taylor expansion of 2 in x 9.792 * [taylor]: Taking taylor expansion of y in x 9.792 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 9.792 * [taylor]: Taking taylor expansion of (sin y) in y 9.792 * [taylor]: Taking taylor expansion of y in y 9.792 * [taylor]: Taking taylor expansion of y in y 9.797 * [taylor]: Taking taylor expansion of 0 in y 9.803 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 9.804 * [taylor]: Taking taylor expansion of 1/2 in y 9.804 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 9.804 * [taylor]: Taking taylor expansion of (sin y) in y 9.804 * [taylor]: Taking taylor expansion of y in y 9.804 * [taylor]: Taking taylor expansion of y in y 9.806 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 9.806 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 9.806 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 9.807 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 9.807 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 9.807 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.807 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.807 * [taylor]: Taking taylor expansion of x in y 9.807 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 9.807 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 9.807 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.807 * [taylor]: Taking taylor expansion of x in y 9.807 * [taylor]: Taking taylor expansion of 2 in y 9.807 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 9.807 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.807 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.807 * [taylor]: Taking taylor expansion of y in y 9.807 * [taylor]: Taking taylor expansion of y in y 9.807 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 9.807 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 9.807 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 9.807 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.808 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.808 * [taylor]: Taking taylor expansion of x in x 9.808 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.808 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.808 * [taylor]: Taking taylor expansion of x in x 9.808 * [taylor]: Taking taylor expansion of 2 in x 9.809 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 9.809 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 9.809 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.809 * [taylor]: Taking taylor expansion of y in x 9.809 * [taylor]: Taking taylor expansion of y in x 9.809 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 9.809 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 9.809 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 9.809 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.809 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.809 * [taylor]: Taking taylor expansion of x in x 9.809 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.809 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.809 * [taylor]: Taking taylor expansion of x in x 9.810 * [taylor]: Taking taylor expansion of 2 in x 9.810 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 9.810 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 9.810 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.810 * [taylor]: Taking taylor expansion of y in x 9.810 * [taylor]: Taking taylor expansion of y in x 9.811 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 9.811 * [taylor]: Taking taylor expansion of 1/2 in y 9.811 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 9.811 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.811 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.811 * [taylor]: Taking taylor expansion of y in y 9.811 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 9.811 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 9.811 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.811 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.811 * [taylor]: Taking taylor expansion of x in y 9.811 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 9.811 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 9.811 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.811 * [taylor]: Taking taylor expansion of x in y 9.811 * [taylor]: Taking taylor expansion of y in y 9.814 * [taylor]: Taking taylor expansion of 0 in y 9.822 * [taylor]: Taking taylor expansion of 0 in y 9.831 * [taylor]: Taking taylor expansion of 0 in y 9.831 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 9.831 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 9.831 * [taylor]: Taking taylor expansion of -1 in y 9.831 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 9.831 * [taylor]: Taking taylor expansion of y in y 9.831 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 9.831 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.831 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.831 * [taylor]: Taking taylor expansion of -1 in y 9.831 * [taylor]: Taking taylor expansion of y in y 9.832 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 9.832 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 9.832 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 9.832 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 9.832 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.832 * [taylor]: Taking taylor expansion of -1 in y 9.832 * [taylor]: Taking taylor expansion of x in y 9.832 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 9.832 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 9.832 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.832 * [taylor]: Taking taylor expansion of -1 in y 9.832 * [taylor]: Taking taylor expansion of x in y 9.832 * [taylor]: Taking taylor expansion of 2 in y 9.832 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 9.832 * [taylor]: Taking taylor expansion of -1 in x 9.832 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 9.832 * [taylor]: Taking taylor expansion of y in x 9.832 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 9.832 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 9.832 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.832 * [taylor]: Taking taylor expansion of -1 in x 9.832 * [taylor]: Taking taylor expansion of y in x 9.833 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 9.833 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 9.833 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 9.833 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.833 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.833 * [taylor]: Taking taylor expansion of -1 in x 9.833 * [taylor]: Taking taylor expansion of x in x 9.833 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 9.833 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 9.833 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.833 * [taylor]: Taking taylor expansion of -1 in x 9.833 * [taylor]: Taking taylor expansion of x in x 9.834 * [taylor]: Taking taylor expansion of 2 in x 9.834 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 9.834 * [taylor]: Taking taylor expansion of -1 in x 9.834 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 9.834 * [taylor]: Taking taylor expansion of y in x 9.834 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 9.834 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 9.834 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.834 * [taylor]: Taking taylor expansion of -1 in x 9.834 * [taylor]: Taking taylor expansion of y in x 9.839 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 9.839 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 9.839 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 9.839 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.839 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.839 * [taylor]: Taking taylor expansion of -1 in x 9.839 * [taylor]: Taking taylor expansion of x in x 9.840 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 9.840 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 9.840 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.840 * [taylor]: Taking taylor expansion of -1 in x 9.840 * [taylor]: Taking taylor expansion of x in x 9.840 * [taylor]: Taking taylor expansion of 2 in x 9.841 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 9.841 * [taylor]: Taking taylor expansion of -1/2 in y 9.841 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 9.841 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.841 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.841 * [taylor]: Taking taylor expansion of -1 in y 9.841 * [taylor]: Taking taylor expansion of y in y 9.841 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 9.841 * [taylor]: Taking taylor expansion of y in y 9.842 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 9.842 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.842 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.842 * [taylor]: Taking taylor expansion of x in y 9.842 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 9.842 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.842 * [taylor]: Taking taylor expansion of -1 in y 9.842 * [taylor]: Taking taylor expansion of x in y 9.845 * [taylor]: Taking taylor expansion of 0 in y 9.853 * [taylor]: Taking taylor expansion of 0 in y 9.863 * [taylor]: Taking taylor expansion of 0 in y 9.863 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 9.863 * [approximate]: Taking taylor expansion of (sqrt (cosh x)) in (x) around 0 9.863 * [taylor]: Taking taylor expansion of (sqrt (cosh x)) in x 9.863 * [taylor]: Taking taylor expansion of (cosh x) in x 9.863 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 9.863 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.863 * [taylor]: Taking taylor expansion of (exp x) in x 9.863 * [taylor]: Taking taylor expansion of x in x 9.863 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.864 * [taylor]: Taking taylor expansion of (- x) in x 9.864 * [taylor]: Taking taylor expansion of x in x 9.864 * [taylor]: Taking taylor expansion of 2 in x 9.867 * [taylor]: Taking taylor expansion of (sqrt (cosh x)) in x 9.867 * [taylor]: Taking taylor expansion of (cosh x) in x 9.867 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 9.867 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.867 * [taylor]: Taking taylor expansion of (exp x) in x 9.867 * [taylor]: Taking taylor expansion of x in x 9.867 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.868 * [taylor]: Taking taylor expansion of (- x) in x 9.868 * [taylor]: Taking taylor expansion of x in x 9.868 * [taylor]: Taking taylor expansion of 2 in x 9.888 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ 1 x))) in (x) around 0 9.888 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 x))) in x 9.888 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 9.888 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 9.888 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.888 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.888 * [taylor]: Taking taylor expansion of x in x 9.889 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.889 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.889 * [taylor]: Taking taylor expansion of x in x 9.889 * [taylor]: Taking taylor expansion of 2 in x 9.890 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 x))) in x 9.890 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 9.891 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 9.891 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.891 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.891 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.891 * [taylor]: Taking taylor expansion of x in x 9.891 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.891 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.891 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.891 * [taylor]: Taking taylor expansion of x in x 9.892 * [taylor]: Taking taylor expansion of 2 in x 9.907 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ -1 x))) in (x) around 0 9.907 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 x))) in x 9.907 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 9.908 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 9.908 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 9.908 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.908 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.908 * [taylor]: Taking taylor expansion of -1 in x 9.908 * [taylor]: Taking taylor expansion of x in x 9.908 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 9.908 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 9.908 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.908 * [taylor]: Taking taylor expansion of -1 in x 9.908 * [taylor]: Taking taylor expansion of x in x 9.909 * [taylor]: Taking taylor expansion of 2 in x 9.910 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 x))) in x 9.910 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 9.910 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 9.910 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 9.910 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.910 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.910 * [taylor]: Taking taylor expansion of -1 in x 9.910 * [taylor]: Taking taylor expansion of x in x 9.910 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 9.910 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 9.910 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.910 * [taylor]: Taking taylor expansion of -1 in x 9.910 * [taylor]: Taking taylor expansion of x in x 9.911 * [taylor]: Taking taylor expansion of 2 in x 9.932 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 9.932 * [approximate]: Taking taylor expansion of (sqrt (cosh x)) in (x) around 0 9.932 * [taylor]: Taking taylor expansion of (sqrt (cosh x)) in x 9.932 * [taylor]: Taking taylor expansion of (cosh x) in x 9.932 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 9.932 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.932 * [taylor]: Taking taylor expansion of (exp x) in x 9.932 * [taylor]: Taking taylor expansion of x in x 9.932 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.932 * [taylor]: Taking taylor expansion of (- x) in x 9.932 * [taylor]: Taking taylor expansion of x in x 9.932 * [taylor]: Taking taylor expansion of 2 in x 9.936 * [taylor]: Taking taylor expansion of (sqrt (cosh x)) in x 9.936 * [taylor]: Taking taylor expansion of (cosh x) in x 9.936 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 9.936 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.936 * [taylor]: Taking taylor expansion of (exp x) in x 9.936 * [taylor]: Taking taylor expansion of x in x 9.936 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.936 * [taylor]: Taking taylor expansion of (- x) in x 9.936 * [taylor]: Taking taylor expansion of x in x 9.936 * [taylor]: Taking taylor expansion of 2 in x 9.956 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ 1 x))) in (x) around 0 9.956 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 x))) in x 9.956 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 9.957 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 9.957 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.957 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.957 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.957 * [taylor]: Taking taylor expansion of x in x 9.957 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.957 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.957 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.957 * [taylor]: Taking taylor expansion of x in x 9.958 * [taylor]: Taking taylor expansion of 2 in x 9.959 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 x))) in x 9.959 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 9.959 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 9.959 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.959 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.959 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.959 * [taylor]: Taking taylor expansion of x in x 9.959 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.959 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.959 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.959 * [taylor]: Taking taylor expansion of x in x 9.960 * [taylor]: Taking taylor expansion of 2 in x 9.976 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ -1 x))) in (x) around 0 9.976 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 x))) in x 9.976 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 9.976 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 9.976 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 9.976 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.976 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.976 * [taylor]: Taking taylor expansion of -1 in x 9.976 * [taylor]: Taking taylor expansion of x in x 9.977 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 9.977 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 9.977 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.977 * [taylor]: Taking taylor expansion of -1 in x 9.977 * [taylor]: Taking taylor expansion of x in x 9.977 * [taylor]: Taking taylor expansion of 2 in x 9.978 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 x))) in x 9.978 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 9.979 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 9.979 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 9.979 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.979 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.979 * [taylor]: Taking taylor expansion of -1 in x 9.979 * [taylor]: Taking taylor expansion of x in x 9.979 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 9.979 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 9.979 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.979 * [taylor]: Taking taylor expansion of -1 in x 9.979 * [taylor]: Taking taylor expansion of x in x 9.980 * [taylor]: Taking taylor expansion of 2 in x 9.995 * * * [progress]: simplifying candidates 9.996 * [simplify]: Simplifying using # : (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)) (expm1 (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ (sin y) y)))) (log1p (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ (sin y) y)))) (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ (sin y) y))) (+ (log (sqrt (cosh x))) (+ (log (sqrt (cosh x))) (- (log (sin y)) (log y)))) (+ (log (sqrt (cosh x))) (+ (log (sqrt (cosh x))) (log (/ (sin y) y)))) (+ (log (sqrt (cosh x))) (log (* (sqrt (cosh x)) (/ (sin y) y)))) (log (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ (sin y) y)))) (exp (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ (sin y) y)))) (* (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (* (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y)))) (* (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (* (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y)))) (* (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (* (* (* (sqrt (cosh x)) (/ (sin y) y)) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (cosh x)) (/ (sin y) y)))) (* (cbrt (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ (sin y) y)))) (cbrt (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ (sin y) y))))) (cbrt (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ (sin y) y)))) (* (* (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ (sin y) y)))) (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ (sin y) y)))) (sqrt (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ (sin y) y)))) (sqrt (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ (sin y) y)))) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (+ (exp x) (exp (- x)))) (sin y))) (* (sqrt 2) (* (sqrt 2) y)) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (sin y))) (* (sqrt 2) y) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (+ (exp x) (exp (- x)))) (/ (sin y) y))) (* (sqrt 2) (sqrt 2)) (* (sqrt (cosh x)) (sqrt (cosh x))) (* (cbrt (sqrt (cosh x))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (cbrt (cosh x))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (sqrt (cosh x))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (sqrt (cosh x))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (cosh x)) (* (sqrt (+ (exp x) (exp (- x)))) (sin y))) (* (sqrt (cosh x)) (* (sqrt (cosh x)) (sin y))) (* (sqrt (cosh x)) (* (sqrt (+ (exp x) (exp (- x)))) (/ (sin y) y))) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (expm1 (sqrt (cosh x))) (log1p (sqrt (cosh x))) (log (sqrt (cosh x))) (exp (sqrt (cosh x))) (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (cbrt (sqrt (cosh x))) (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (sqrt (cbrt (cosh x))) (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) (sqrt 1) (sqrt (cosh x)) (sqrt (+ (exp x) (exp (- x)))) (sqrt 2) (/ 1 2) (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) (expm1 (sqrt (cosh x))) (log1p (sqrt (cosh x))) (log (sqrt (cosh x))) (exp (sqrt (cosh x))) (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (cbrt (sqrt (cosh x))) (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (sqrt (cbrt (cosh x))) (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) (sqrt 1) (sqrt (cosh x)) (sqrt (+ (exp x) (exp (- x)))) (sqrt 2) (/ 1 2) (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (sin y) (exp (- x))))) y) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) (- (+ (* 1/4 (pow x 2)) 1) (* 1/96 (pow x 4))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 1/2)) (* (sqrt 1/2) (sqrt (+ (exp (* -1 x)) (exp x)))) (- (+ (* 1/4 (pow x 2)) 1) (* 1/96 (pow x 4))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 1/2)) (* (sqrt 1/2) (sqrt (+ (exp (* -1 x)) (exp x)))) 10.000 * * [simplify]: iteration 0 : 155 enodes (cost 1092 ) 10.033 * * [simplify]: iteration 1 : 339 enodes (cost 899 ) 10.106 * * [simplify]: iteration 2 : 1103 enodes (cost 786 ) 10.473 * * [simplify]: iteration done : 5000 enodes (cost 770 ) 10.473 * [simplify]: Simplified to: (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)) (cbrt (sin y))) (sqrt y)) (/ (cbrt (sin y)) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ (cbrt (sin y)) y) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (sqrt (sin y)) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) 1 (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (sin y) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (expm1 (* (cosh x) (/ (sin y) y))) (log1p (* (cosh x) (/ (sin y) y))) (/ (cosh x) (/ y (sin y))) (/ (cosh x) (/ y (sin y))) (log (* (cosh x) (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (exp (* (cosh x) (/ (sin y) y))) (pow (* (cosh x) (/ (sin y) y)) 3) (pow (* (cosh x) (/ (sin y) y)) 3) (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 (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (sin y))) (* (sqrt 2) y) (/ (* (* (cosh x) (sin y)) 2) y) 2 (cosh x) (* (cbrt (sqrt (cosh x))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (cbrt (cosh x))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (sqrt (cosh x))) (* (sqrt (cosh x)) (/ (sin y) y))) (/ (cosh x) (/ y (sin y))) (* (sqrt (sqrt (cosh x))) (* (sqrt (cosh x)) (/ (sin y) y))) (/ (cosh x) (/ y (sin y))) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (sin y))) (* (cosh x) (sin y)) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (expm1 (sqrt (cosh x))) (log1p (sqrt (cosh x))) (log (sqrt (cosh x))) (exp (sqrt (cosh x))) (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (cbrt (sqrt (cosh x))) (pow (sqrt (cosh x)) 3) (fabs (cbrt (cosh x))) (sqrt (cbrt (cosh x))) (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) 1 (sqrt (cosh x)) (sqrt (+ (exp x) (exp (- x)))) (sqrt 2) 1/2 (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) (expm1 (sqrt (cosh x))) (log1p (sqrt (cosh x))) (log (sqrt (cosh x))) (exp (sqrt (cosh x))) (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (cbrt (sqrt (cosh x))) (pow (sqrt (cosh x)) 3) (fabs (cbrt (cosh x))) (sqrt (cbrt (cosh x))) (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) 1 (sqrt (cosh x)) (sqrt (+ (exp x) (exp (- x)))) (sqrt 2) 1/2 (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) (- (fma 1/120 (pow y 4) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (- (fma 1/2 (pow x 2) 1) (* 1/6 (pow y 2))) (/ (cosh x) (/ y (sin y))) (/ (cosh x) (/ y (sin y))) (- (fma 1/4 (pow x 2) 1) (* 1/96 (pow x 4))) (* (sqrt 1/2) (sqrt (+ (exp x) (exp (- x))))) (* (sqrt 1/2) (sqrt (+ (exp x) (exp (- x))))) (- (fma 1/4 (pow x 2) 1) (* 1/96 (pow x 4))) (* (sqrt 1/2) (sqrt (+ (exp x) (exp (- x))))) (* (sqrt 1/2) (sqrt (+ (exp x) (exp (- x))))) 10.477 * * * [progress]: adding candidates to table 10.749 * * [progress]: iteration 4 / 4 10.749 * * * [progress]: picking best candidate 10.765 * * * * [pick]: Picked # 10.765 * * * [progress]: localizing error 10.783 * * * [progress]: generating rewritten candidates 10.783 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 10.817 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 10.843 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 10.847 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 10.857 * * * [progress]: generating series expansions 10.857 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 10.857 * [approximate]: Taking taylor expansion of (* (/ (sin y) y) (sqrt (* (cosh x) (+ (exp x) (exp (- x)))))) in (x y) around 0 10.857 * [taylor]: Taking taylor expansion of (* (/ (sin y) y) (sqrt (* (cosh x) (+ (exp x) (exp (- x)))))) in y 10.857 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 10.857 * [taylor]: Taking taylor expansion of (sin y) in y 10.857 * [taylor]: Taking taylor expansion of y in y 10.857 * [taylor]: Taking taylor expansion of y in y 10.858 * [taylor]: Taking taylor expansion of (sqrt (* (cosh x) (+ (exp x) (exp (- x))))) in y 10.859 * [taylor]: Taking taylor expansion of (* (cosh x) (+ (exp x) (exp (- x)))) in y 10.859 * [taylor]: Taking taylor expansion of (cosh x) in y 10.859 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 10.859 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 10.859 * [taylor]: Taking taylor expansion of (exp x) in y 10.859 * [taylor]: Taking taylor expansion of x in y 10.859 * [taylor]: Taking taylor expansion of (exp (- x)) in y 10.859 * [taylor]: Taking taylor expansion of (- x) in y 10.859 * [taylor]: Taking taylor expansion of x in y 10.859 * [taylor]: Taking taylor expansion of 2 in y 10.859 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 10.859 * [taylor]: Taking taylor expansion of (exp x) in y 10.859 * [taylor]: Taking taylor expansion of x in y 10.859 * [taylor]: Taking taylor expansion of (exp (- x)) in y 10.859 * [taylor]: Taking taylor expansion of (- x) in y 10.859 * [taylor]: Taking taylor expansion of x in y 10.863 * [taylor]: Taking taylor expansion of (* (/ (sin y) y) (sqrt (* (cosh x) (+ (exp x) (exp (- x)))))) in x 10.863 * [taylor]: Taking taylor expansion of (/ (sin y) y) in x 10.863 * [taylor]: Taking taylor expansion of (sin y) in x 10.863 * [taylor]: Taking taylor expansion of y in x 10.863 * [taylor]: Taking taylor expansion of y in x 10.864 * [taylor]: Taking taylor expansion of (sqrt (* (cosh x) (+ (exp x) (exp (- x))))) in x 10.864 * [taylor]: Taking taylor expansion of (* (cosh x) (+ (exp x) (exp (- x)))) in x 10.864 * [taylor]: Taking taylor expansion of (cosh x) in x 10.864 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 10.864 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 10.864 * [taylor]: Taking taylor expansion of (exp x) in x 10.864 * [taylor]: Taking taylor expansion of x in x 10.864 * [taylor]: Taking taylor expansion of (exp (- x)) in x 10.864 * [taylor]: Taking taylor expansion of (- x) in x 10.864 * [taylor]: Taking taylor expansion of x in x 10.864 * [taylor]: Taking taylor expansion of 2 in x 10.865 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 10.865 * [taylor]: Taking taylor expansion of (exp x) in x 10.865 * [taylor]: Taking taylor expansion of x in x 10.865 * [taylor]: Taking taylor expansion of (exp (- x)) in x 10.865 * [taylor]: Taking taylor expansion of (- x) in x 10.865 * [taylor]: Taking taylor expansion of x in x 10.871 * [taylor]: Taking taylor expansion of (* (/ (sin y) y) (sqrt (* (cosh x) (+ (exp x) (exp (- x)))))) in x 10.871 * [taylor]: Taking taylor expansion of (/ (sin y) y) in x 10.871 * [taylor]: Taking taylor expansion of (sin y) in x 10.871 * [taylor]: Taking taylor expansion of y in x 10.871 * [taylor]: Taking taylor expansion of y in x 10.871 * [taylor]: Taking taylor expansion of (sqrt (* (cosh x) (+ (exp x) (exp (- x))))) in x 10.871 * [taylor]: Taking taylor expansion of (* (cosh x) (+ (exp x) (exp (- x)))) in x 10.871 * [taylor]: Taking taylor expansion of (cosh x) in x 10.871 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 10.871 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 10.871 * [taylor]: Taking taylor expansion of (exp x) in x 10.871 * [taylor]: Taking taylor expansion of x in x 10.871 * [taylor]: Taking taylor expansion of (exp (- x)) in x 10.871 * [taylor]: Taking taylor expansion of (- x) in x 10.871 * [taylor]: Taking taylor expansion of x in x 10.872 * [taylor]: Taking taylor expansion of 2 in x 10.872 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 10.872 * [taylor]: Taking taylor expansion of (exp x) in x 10.872 * [taylor]: Taking taylor expansion of x in x 10.872 * [taylor]: Taking taylor expansion of (exp (- x)) in x 10.872 * [taylor]: Taking taylor expansion of (- x) in x 10.872 * [taylor]: Taking taylor expansion of x in x 10.879 * [taylor]: Taking taylor expansion of (/ (* (sin y) (sqrt 2)) y) in y 10.879 * [taylor]: Taking taylor expansion of (* (sin y) (sqrt 2)) in y 10.879 * [taylor]: Taking taylor expansion of (sin y) in y 10.879 * [taylor]: Taking taylor expansion of y in y 10.879 * [taylor]: Taking taylor expansion of (sqrt 2) in y 10.879 * [taylor]: Taking taylor expansion of 2 in y 10.879 * [taylor]: Taking taylor expansion of y in y 10.884 * [taylor]: Taking taylor expansion of 0 in y 10.898 * [taylor]: Taking taylor expansion of (/ (sin y) (* y (sqrt 2))) in y 10.898 * [taylor]: Taking taylor expansion of (sin y) in y 10.898 * [taylor]: Taking taylor expansion of y in y 10.898 * [taylor]: Taking taylor expansion of (* y (sqrt 2)) in y 10.898 * [taylor]: Taking taylor expansion of y in y 10.898 * [taylor]: Taking taylor expansion of (sqrt 2) in y 10.898 * [taylor]: Taking taylor expansion of 2 in y 10.913 * [approximate]: Taking taylor expansion of (* (sqrt (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* (sin (/ 1 y)) y)) in (x y) around 0 10.913 * [taylor]: Taking taylor expansion of (* (sqrt (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* (sin (/ 1 y)) y)) in y 10.913 * [taylor]: Taking taylor expansion of (sqrt (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 10.913 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 10.913 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 10.913 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 10.913 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 10.913 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 10.913 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.913 * [taylor]: Taking taylor expansion of x in y 10.913 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 10.913 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 10.913 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.913 * [taylor]: Taking taylor expansion of x in y 10.913 * [taylor]: Taking taylor expansion of 2 in y 10.914 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 10.914 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 10.914 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.914 * [taylor]: Taking taylor expansion of x in y 10.914 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 10.914 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 10.914 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.914 * [taylor]: Taking taylor expansion of x in y 10.924 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 10.924 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 10.924 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.924 * [taylor]: Taking taylor expansion of y in y 10.924 * [taylor]: Taking taylor expansion of y in y 10.924 * [taylor]: Taking taylor expansion of (* (sqrt (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* (sin (/ 1 y)) y)) in x 10.924 * [taylor]: Taking taylor expansion of (sqrt (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 10.924 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 10.924 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 10.924 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 10.924 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 10.924 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.924 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.924 * [taylor]: Taking taylor expansion of x in x 10.925 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.925 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.925 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.925 * [taylor]: Taking taylor expansion of x in x 10.925 * [taylor]: Taking taylor expansion of 2 in x 10.925 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 10.925 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.925 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.925 * [taylor]: Taking taylor expansion of x in x 10.926 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.926 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.926 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.926 * [taylor]: Taking taylor expansion of x in x 10.928 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 10.928 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 10.928 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.928 * [taylor]: Taking taylor expansion of y in x 10.929 * [taylor]: Taking taylor expansion of y in x 10.929 * [taylor]: Taking taylor expansion of (* (sqrt (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* (sin (/ 1 y)) y)) in x 10.929 * [taylor]: Taking taylor expansion of (sqrt (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 10.929 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 10.929 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 10.929 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 10.929 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 10.929 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.929 * [taylor]: Taking taylor expansion of x in x 10.929 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.929 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.929 * [taylor]: Taking taylor expansion of x in x 10.930 * [taylor]: Taking taylor expansion of 2 in x 10.930 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 10.930 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.930 * [taylor]: Taking taylor expansion of x in x 10.930 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.930 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.930 * [taylor]: Taking taylor expansion of x in x 10.933 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 10.933 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 10.933 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.933 * [taylor]: Taking taylor expansion of y in x 10.933 * [taylor]: Taking taylor expansion of y in x 10.934 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (* (sqrt 1/2) y))) in y 10.934 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 10.934 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.934 * [taylor]: Taking taylor expansion of y in y 10.934 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (* (sqrt 1/2) y)) in y 10.934 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 10.934 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 10.934 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.934 * [taylor]: Taking taylor expansion of x in y 10.934 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 10.934 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 10.934 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.934 * [taylor]: Taking taylor expansion of x in y 10.935 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) y) in y 10.935 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 10.935 * [taylor]: Taking taylor expansion of 1/2 in y 10.935 * [taylor]: Taking taylor expansion of y in y 10.938 * [taylor]: Taking taylor expansion of 0 in y 10.949 * [taylor]: Taking taylor expansion of 0 in y 10.961 * [taylor]: Taking taylor expansion of 0 in y 10.962 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* (sin (/ -1 y)) y))) in (x y) around 0 10.962 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* (sin (/ -1 y)) y))) in y 10.962 * [taylor]: Taking taylor expansion of -1 in y 10.962 * [taylor]: Taking taylor expansion of (* (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* (sin (/ -1 y)) y)) in y 10.962 * [taylor]: Taking taylor expansion of (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 10.962 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 10.962 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 10.962 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 10.962 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 10.962 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 10.962 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.962 * [taylor]: Taking taylor expansion of -1 in y 10.962 * [taylor]: Taking taylor expansion of x in y 10.963 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 10.963 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 10.963 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.963 * [taylor]: Taking taylor expansion of -1 in y 10.963 * [taylor]: Taking taylor expansion of x in y 10.963 * [taylor]: Taking taylor expansion of 2 in y 10.963 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 10.963 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 10.963 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.963 * [taylor]: Taking taylor expansion of x in y 10.963 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 10.963 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.963 * [taylor]: Taking taylor expansion of -1 in y 10.963 * [taylor]: Taking taylor expansion of x in y 10.967 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 10.967 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 10.967 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.967 * [taylor]: Taking taylor expansion of -1 in y 10.968 * [taylor]: Taking taylor expansion of y in y 10.968 * [taylor]: Taking taylor expansion of y in y 10.968 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* (sin (/ -1 y)) y))) in x 10.968 * [taylor]: Taking taylor expansion of -1 in x 10.968 * [taylor]: Taking taylor expansion of (* (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* (sin (/ -1 y)) y)) in x 10.968 * [taylor]: Taking taylor expansion of (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 10.968 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 10.968 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 10.968 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 10.968 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 10.968 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.968 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.968 * [taylor]: Taking taylor expansion of -1 in x 10.968 * [taylor]: Taking taylor expansion of x in x 10.968 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 10.968 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 10.969 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.969 * [taylor]: Taking taylor expansion of -1 in x 10.969 * [taylor]: Taking taylor expansion of x in x 10.969 * [taylor]: Taking taylor expansion of 2 in x 10.969 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 10.969 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.969 * [taylor]: Taking taylor expansion of x in x 10.970 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.970 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.970 * [taylor]: Taking taylor expansion of -1 in x 10.970 * [taylor]: Taking taylor expansion of x in x 10.972 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 10.972 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 10.972 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.972 * [taylor]: Taking taylor expansion of -1 in x 10.972 * [taylor]: Taking taylor expansion of y in x 10.972 * [taylor]: Taking taylor expansion of y in x 10.972 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* (sin (/ -1 y)) y))) in x 10.972 * [taylor]: Taking taylor expansion of -1 in x 10.972 * [taylor]: Taking taylor expansion of (* (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* (sin (/ -1 y)) y)) in x 10.972 * [taylor]: Taking taylor expansion of (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 10.972 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 10.972 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 10.972 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 10.972 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 10.972 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.972 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.972 * [taylor]: Taking taylor expansion of -1 in x 10.972 * [taylor]: Taking taylor expansion of x in x 10.973 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 10.973 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 10.973 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.973 * [taylor]: Taking taylor expansion of -1 in x 10.973 * [taylor]: Taking taylor expansion of x in x 10.973 * [taylor]: Taking taylor expansion of 2 in x 10.973 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 10.973 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.973 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.973 * [taylor]: Taking taylor expansion of x in x 10.974 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.974 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.974 * [taylor]: Taking taylor expansion of -1 in x 10.974 * [taylor]: Taking taylor expansion of x in x 10.976 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 10.976 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 10.976 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.976 * [taylor]: Taking taylor expansion of -1 in x 10.976 * [taylor]: Taking taylor expansion of y in x 10.976 * [taylor]: Taking taylor expansion of y in x 10.977 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) (* (sqrt 1/2) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))))) in y 10.977 * [taylor]: Taking taylor expansion of -1 in y 10.977 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* (sqrt 1/2) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 10.977 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 10.977 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.977 * [taylor]: Taking taylor expansion of -1 in y 10.977 * [taylor]: Taking taylor expansion of y in y 10.978 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 10.978 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 10.978 * [taylor]: Taking taylor expansion of 1/2 in y 10.978 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 10.978 * [taylor]: Taking taylor expansion of y in y 10.978 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 10.978 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 10.978 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.978 * [taylor]: Taking taylor expansion of x in y 10.978 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 10.978 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.978 * [taylor]: Taking taylor expansion of -1 in y 10.979 * [taylor]: Taking taylor expansion of x in y 10.982 * [taylor]: Taking taylor expansion of 0 in y 10.993 * [taylor]: Taking taylor expansion of 0 in y 11.008 * [taylor]: Taking taylor expansion of 0 in y 11.013 * * * * [progress]: [ 2 / 4 ] generating series at (2) 11.014 * [approximate]: Taking taylor expansion of (* (sqrt (* (cosh x) (+ (exp x) (exp (- x))))) (/ (sin y) (* y (sqrt 2)))) in (x y) around 0 11.014 * [taylor]: Taking taylor expansion of (* (sqrt (* (cosh x) (+ (exp x) (exp (- x))))) (/ (sin y) (* y (sqrt 2)))) in y 11.014 * [taylor]: Taking taylor expansion of (sqrt (* (cosh x) (+ (exp x) (exp (- x))))) in y 11.014 * [taylor]: Taking taylor expansion of (* (cosh x) (+ (exp x) (exp (- x)))) in y 11.014 * [taylor]: Taking taylor expansion of (cosh x) in y 11.014 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 11.014 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 11.014 * [taylor]: Taking taylor expansion of (exp x) in y 11.014 * [taylor]: Taking taylor expansion of x in y 11.014 * [taylor]: Taking taylor expansion of (exp (- x)) in y 11.014 * [taylor]: Taking taylor expansion of (- x) in y 11.014 * [taylor]: Taking taylor expansion of x in y 11.014 * [taylor]: Taking taylor expansion of 2 in y 11.015 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 11.015 * [taylor]: Taking taylor expansion of (exp x) in y 11.015 * [taylor]: Taking taylor expansion of x in y 11.015 * [taylor]: Taking taylor expansion of (exp (- x)) in y 11.015 * [taylor]: Taking taylor expansion of (- x) in y 11.015 * [taylor]: Taking taylor expansion of x in y 11.019 * [taylor]: Taking taylor expansion of (/ (sin y) (* y (sqrt 2))) in y 11.019 * [taylor]: Taking taylor expansion of (sin y) in y 11.019 * [taylor]: Taking taylor expansion of y in y 11.019 * [taylor]: Taking taylor expansion of (* y (sqrt 2)) in y 11.019 * [taylor]: Taking taylor expansion of y in y 11.019 * [taylor]: Taking taylor expansion of (sqrt 2) in y 11.019 * [taylor]: Taking taylor expansion of 2 in y 11.022 * [taylor]: Taking taylor expansion of (* (sqrt (* (cosh x) (+ (exp x) (exp (- x))))) (/ (sin y) (* y (sqrt 2)))) in x 11.022 * [taylor]: Taking taylor expansion of (sqrt (* (cosh x) (+ (exp x) (exp (- x))))) in x 11.022 * [taylor]: Taking taylor expansion of (* (cosh x) (+ (exp x) (exp (- x)))) in x 11.022 * [taylor]: Taking taylor expansion of (cosh x) in x 11.022 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 11.022 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 11.022 * [taylor]: Taking taylor expansion of (exp x) in x 11.022 * [taylor]: Taking taylor expansion of x in x 11.022 * [taylor]: Taking taylor expansion of (exp (- x)) in x 11.022 * [taylor]: Taking taylor expansion of (- x) in x 11.022 * [taylor]: Taking taylor expansion of x in x 11.023 * [taylor]: Taking taylor expansion of 2 in x 11.023 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 11.023 * [taylor]: Taking taylor expansion of (exp x) in x 11.023 * [taylor]: Taking taylor expansion of x in x 11.023 * [taylor]: Taking taylor expansion of (exp (- x)) in x 11.024 * [taylor]: Taking taylor expansion of (- x) in x 11.024 * [taylor]: Taking taylor expansion of x in x 11.029 * [taylor]: Taking taylor expansion of (/ (sin y) (* y (sqrt 2))) in x 11.029 * [taylor]: Taking taylor expansion of (sin y) in x 11.029 * [taylor]: Taking taylor expansion of y in x 11.029 * [taylor]: Taking taylor expansion of (* y (sqrt 2)) in x 11.029 * [taylor]: Taking taylor expansion of y in x 11.029 * [taylor]: Taking taylor expansion of (sqrt 2) in x 11.029 * [taylor]: Taking taylor expansion of 2 in x 11.031 * [taylor]: Taking taylor expansion of (* (sqrt (* (cosh x) (+ (exp x) (exp (- x))))) (/ (sin y) (* y (sqrt 2)))) in x 11.031 * [taylor]: Taking taylor expansion of (sqrt (* (cosh x) (+ (exp x) (exp (- x))))) in x 11.031 * [taylor]: Taking taylor expansion of (* (cosh x) (+ (exp x) (exp (- x)))) in x 11.031 * [taylor]: Taking taylor expansion of (cosh x) in x 11.031 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 11.031 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 11.031 * [taylor]: Taking taylor expansion of (exp x) in x 11.031 * [taylor]: Taking taylor expansion of x in x 11.031 * [taylor]: Taking taylor expansion of (exp (- x)) in x 11.031 * [taylor]: Taking taylor expansion of (- x) in x 11.031 * [taylor]: Taking taylor expansion of x in x 11.031 * [taylor]: Taking taylor expansion of 2 in x 11.032 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 11.032 * [taylor]: Taking taylor expansion of (exp x) in x 11.032 * [taylor]: Taking taylor expansion of x in x 11.032 * [taylor]: Taking taylor expansion of (exp (- x)) in x 11.032 * [taylor]: Taking taylor expansion of (- x) in x 11.032 * [taylor]: Taking taylor expansion of x in x 11.038 * [taylor]: Taking taylor expansion of (/ (sin y) (* y (sqrt 2))) in x 11.038 * [taylor]: Taking taylor expansion of (sin y) in x 11.038 * [taylor]: Taking taylor expansion of y in x 11.038 * [taylor]: Taking taylor expansion of (* y (sqrt 2)) in x 11.038 * [taylor]: Taking taylor expansion of y in x 11.038 * [taylor]: Taking taylor expansion of (sqrt 2) in x 11.038 * [taylor]: Taking taylor expansion of 2 in x 11.040 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 11.040 * [taylor]: Taking taylor expansion of (sin y) in y 11.040 * [taylor]: Taking taylor expansion of y in y 11.040 * [taylor]: Taking taylor expansion of y in y 11.044 * [taylor]: Taking taylor expansion of 0 in y 11.058 * [taylor]: Taking taylor expansion of (/ (sin y) (* y (pow (sqrt 2) 2))) in y 11.058 * [taylor]: Taking taylor expansion of (sin y) in y 11.058 * [taylor]: Taking taylor expansion of y in y 11.058 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 2) 2)) in y 11.058 * [taylor]: Taking taylor expansion of y in y 11.058 * [taylor]: Taking taylor expansion of (pow (sqrt 2) 2) in y 11.058 * [taylor]: Taking taylor expansion of (sqrt 2) in y 11.058 * [taylor]: Taking taylor expansion of 2 in y 11.068 * [approximate]: Taking taylor expansion of (* (sqrt (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (/ (* (sin (/ 1 y)) y) (sqrt 2))) in (x y) around 0 11.068 * [taylor]: Taking taylor expansion of (* (sqrt (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (/ (* (sin (/ 1 y)) y) (sqrt 2))) in y 11.068 * [taylor]: Taking taylor expansion of (sqrt (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 11.068 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 11.068 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 11.068 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 11.068 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 11.068 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 11.068 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.068 * [taylor]: Taking taylor expansion of x in y 11.068 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 11.068 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 11.068 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.068 * [taylor]: Taking taylor expansion of x in y 11.068 * [taylor]: Taking taylor expansion of 2 in y 11.068 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 11.068 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 11.068 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.068 * [taylor]: Taking taylor expansion of x in y 11.068 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 11.068 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 11.068 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.068 * [taylor]: Taking taylor expansion of x in y 11.073 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) (sqrt 2)) in y 11.073 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 11.073 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 11.073 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.073 * [taylor]: Taking taylor expansion of y in y 11.074 * [taylor]: Taking taylor expansion of y in y 11.074 * [taylor]: Taking taylor expansion of (sqrt 2) in y 11.074 * [taylor]: Taking taylor expansion of 2 in y 11.075 * [taylor]: Taking taylor expansion of (* (sqrt (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (/ (* (sin (/ 1 y)) y) (sqrt 2))) in x 11.075 * [taylor]: Taking taylor expansion of (sqrt (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 11.075 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 11.075 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 11.075 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 11.075 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 11.075 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 11.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.075 * [taylor]: Taking taylor expansion of x in x 11.076 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 11.076 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 11.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.076 * [taylor]: Taking taylor expansion of x in x 11.076 * [taylor]: Taking taylor expansion of 2 in x 11.076 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 11.076 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 11.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.076 * [taylor]: Taking taylor expansion of x in x 11.077 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 11.077 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 11.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.077 * [taylor]: Taking taylor expansion of x in x 11.079 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) (sqrt 2)) in x 11.079 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 11.079 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 11.079 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.079 * [taylor]: Taking taylor expansion of y in x 11.079 * [taylor]: Taking taylor expansion of y in x 11.079 * [taylor]: Taking taylor expansion of (sqrt 2) in x 11.079 * [taylor]: Taking taylor expansion of 2 in x 11.081 * [taylor]: Taking taylor expansion of (* (sqrt (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (/ (* (sin (/ 1 y)) y) (sqrt 2))) in x 11.081 * [taylor]: Taking taylor expansion of (sqrt (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 11.081 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 11.081 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 11.081 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 11.081 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 11.081 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 11.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.081 * [taylor]: Taking taylor expansion of x in x 11.081 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 11.081 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 11.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.081 * [taylor]: Taking taylor expansion of x in x 11.082 * [taylor]: Taking taylor expansion of 2 in x 11.082 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 11.082 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 11.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.082 * [taylor]: Taking taylor expansion of x in x 11.082 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 11.082 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 11.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.082 * [taylor]: Taking taylor expansion of x in x 11.085 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) (sqrt 2)) in x 11.085 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 11.085 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 11.085 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.085 * [taylor]: Taking taylor expansion of y in x 11.085 * [taylor]: Taking taylor expansion of y in x 11.085 * [taylor]: Taking taylor expansion of (sqrt 2) in x 11.085 * [taylor]: Taking taylor expansion of 2 in x 11.087 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (* (sqrt 1/2) y))) (sqrt 2)) in y 11.087 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (* (sqrt 1/2) y))) in y 11.087 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 11.087 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.087 * [taylor]: Taking taylor expansion of y in y 11.087 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (* (sqrt 1/2) y)) in y 11.087 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 11.087 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 11.087 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.087 * [taylor]: Taking taylor expansion of x in y 11.087 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 11.087 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 11.087 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.087 * [taylor]: Taking taylor expansion of x in y 11.087 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) y) in y 11.087 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 11.087 * [taylor]: Taking taylor expansion of 1/2 in y 11.088 * [taylor]: Taking taylor expansion of y in y 11.088 * [taylor]: Taking taylor expansion of (sqrt 2) in y 11.088 * [taylor]: Taking taylor expansion of 2 in y 11.099 * [taylor]: Taking taylor expansion of 0 in y 11.119 * [taylor]: Taking taylor expansion of 0 in y 11.137 * [taylor]: Taking taylor expansion of 0 in y 11.139 * [approximate]: Taking taylor expansion of (* -1 (* (/ (* y (sin (/ -1 y))) (sqrt 2)) (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) in (x y) around 0 11.139 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* y (sin (/ -1 y))) (sqrt 2)) (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) in y 11.139 * [taylor]: Taking taylor expansion of -1 in y 11.139 * [taylor]: Taking taylor expansion of (* (/ (* y (sin (/ -1 y))) (sqrt 2)) (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 11.139 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ -1 y))) (sqrt 2)) in y 11.139 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y 11.139 * [taylor]: Taking taylor expansion of y in y 11.139 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 11.139 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.139 * [taylor]: Taking taylor expansion of -1 in y 11.139 * [taylor]: Taking taylor expansion of y in y 11.140 * [taylor]: Taking taylor expansion of (sqrt 2) in y 11.140 * [taylor]: Taking taylor expansion of 2 in y 11.141 * [taylor]: Taking taylor expansion of (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 11.141 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 11.141 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 11.141 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 11.141 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 11.141 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 11.141 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.141 * [taylor]: Taking taylor expansion of -1 in y 11.141 * [taylor]: Taking taylor expansion of x in y 11.141 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 11.142 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 11.142 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.142 * [taylor]: Taking taylor expansion of -1 in y 11.142 * [taylor]: Taking taylor expansion of x in y 11.142 * [taylor]: Taking taylor expansion of 2 in y 11.142 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 11.142 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 11.142 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.142 * [taylor]: Taking taylor expansion of x in y 11.142 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 11.142 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.142 * [taylor]: Taking taylor expansion of -1 in y 11.142 * [taylor]: Taking taylor expansion of x in y 11.147 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* y (sin (/ -1 y))) (sqrt 2)) (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) in x 11.147 * [taylor]: Taking taylor expansion of -1 in x 11.147 * [taylor]: Taking taylor expansion of (* (/ (* y (sin (/ -1 y))) (sqrt 2)) (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in x 11.147 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ -1 y))) (sqrt 2)) in x 11.147 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in x 11.147 * [taylor]: Taking taylor expansion of y in x 11.147 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 11.147 * [taylor]: Taking taylor expansion of (/ -1 y) in x 11.147 * [taylor]: Taking taylor expansion of -1 in x 11.147 * [taylor]: Taking taylor expansion of y in x 11.147 * [taylor]: Taking taylor expansion of (sqrt 2) in x 11.147 * [taylor]: Taking taylor expansion of 2 in x 11.148 * [taylor]: Taking taylor expansion of (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 11.148 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 11.148 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 11.149 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 11.149 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 11.149 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 11.149 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.149 * [taylor]: Taking taylor expansion of -1 in x 11.149 * [taylor]: Taking taylor expansion of x in x 11.149 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 11.149 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 11.149 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.149 * [taylor]: Taking taylor expansion of -1 in x 11.149 * [taylor]: Taking taylor expansion of x in x 11.150 * [taylor]: Taking taylor expansion of 2 in x 11.150 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 11.150 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 11.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.150 * [taylor]: Taking taylor expansion of x in x 11.150 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 11.150 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.150 * [taylor]: Taking taylor expansion of -1 in x 11.150 * [taylor]: Taking taylor expansion of x in x 11.152 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* y (sin (/ -1 y))) (sqrt 2)) (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) in x 11.152 * [taylor]: Taking taylor expansion of -1 in x 11.152 * [taylor]: Taking taylor expansion of (* (/ (* y (sin (/ -1 y))) (sqrt 2)) (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in x 11.152 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ -1 y))) (sqrt 2)) in x 11.152 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in x 11.152 * [taylor]: Taking taylor expansion of y in x 11.152 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 11.152 * [taylor]: Taking taylor expansion of (/ -1 y) in x 11.152 * [taylor]: Taking taylor expansion of -1 in x 11.152 * [taylor]: Taking taylor expansion of y in x 11.153 * [taylor]: Taking taylor expansion of (sqrt 2) in x 11.153 * [taylor]: Taking taylor expansion of 2 in x 11.154 * [taylor]: Taking taylor expansion of (sqrt (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 11.154 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 11.154 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 11.154 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 11.154 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 11.154 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 11.154 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.154 * [taylor]: Taking taylor expansion of -1 in x 11.154 * [taylor]: Taking taylor expansion of x in x 11.154 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 11.154 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 11.154 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.154 * [taylor]: Taking taylor expansion of -1 in x 11.154 * [taylor]: Taking taylor expansion of x in x 11.155 * [taylor]: Taking taylor expansion of 2 in x 11.155 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 11.155 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 11.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.155 * [taylor]: Taking taylor expansion of x in x 11.155 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 11.155 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.155 * [taylor]: Taking taylor expansion of -1 in x 11.155 * [taylor]: Taking taylor expansion of x in x 11.159 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* (sqrt 1/2) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) (sqrt 2))) in y 11.159 * [taylor]: Taking taylor expansion of -1 in y 11.159 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* (sqrt 1/2) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) (sqrt 2)) in y 11.159 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* (sqrt 1/2) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 11.159 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 11.159 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.159 * [taylor]: Taking taylor expansion of -1 in y 11.159 * [taylor]: Taking taylor expansion of y in y 11.160 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 11.160 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 11.160 * [taylor]: Taking taylor expansion of 1/2 in y 11.160 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 11.160 * [taylor]: Taking taylor expansion of y in y 11.160 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 11.160 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 11.160 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.160 * [taylor]: Taking taylor expansion of x in y 11.160 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 11.161 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.161 * [taylor]: Taking taylor expansion of -1 in y 11.161 * [taylor]: Taking taylor expansion of x in y 11.161 * [taylor]: Taking taylor expansion of (sqrt 2) in y 11.161 * [taylor]: Taking taylor expansion of 2 in y 11.172 * [taylor]: Taking taylor expansion of 0 in y 11.189 * [taylor]: Taking taylor expansion of 0 in y 11.216 * [taylor]: Taking taylor expansion of 0 in y 11.217 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 11.217 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 11.217 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 11.217 * [taylor]: Taking taylor expansion of (sin y) in y 11.217 * [taylor]: Taking taylor expansion of y in y 11.217 * [taylor]: Taking taylor expansion of y in y 11.218 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 11.218 * [taylor]: Taking taylor expansion of (sin y) in y 11.218 * [taylor]: Taking taylor expansion of y in y 11.218 * [taylor]: Taking taylor expansion of y in y 11.225 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 11.225 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 11.225 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 11.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.226 * [taylor]: Taking taylor expansion of y in y 11.226 * [taylor]: Taking taylor expansion of y in y 11.226 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 11.226 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 11.226 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.226 * [taylor]: Taking taylor expansion of y in y 11.226 * [taylor]: Taking taylor expansion of y in y 11.230 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 11.230 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 11.230 * [taylor]: Taking taylor expansion of -1 in y 11.230 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 11.231 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 11.231 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.231 * [taylor]: Taking taylor expansion of -1 in y 11.231 * [taylor]: Taking taylor expansion of y in y 11.231 * [taylor]: Taking taylor expansion of y in y 11.231 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 11.231 * [taylor]: Taking taylor expansion of -1 in y 11.231 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 11.231 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 11.231 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.231 * [taylor]: Taking taylor expansion of -1 in y 11.231 * [taylor]: Taking taylor expansion of y in y 11.231 * [taylor]: Taking taylor expansion of y in y 11.243 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 11.243 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 11.243 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 11.243 * [taylor]: Taking taylor expansion of (exp x) in x 11.243 * [taylor]: Taking taylor expansion of x in x 11.243 * [taylor]: Taking taylor expansion of (exp (- x)) in x 11.243 * [taylor]: Taking taylor expansion of (- x) in x 11.243 * [taylor]: Taking taylor expansion of x in x 11.243 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 11.243 * [taylor]: Taking taylor expansion of (exp x) in x 11.244 * [taylor]: Taking taylor expansion of x in x 11.244 * [taylor]: Taking taylor expansion of (exp (- x)) in x 11.244 * [taylor]: Taking taylor expansion of (- x) in x 11.244 * [taylor]: Taking taylor expansion of x in x 11.258 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 11.258 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 11.258 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 11.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.259 * [taylor]: Taking taylor expansion of x in x 11.259 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 11.259 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 11.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.259 * [taylor]: Taking taylor expansion of x in x 11.260 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 11.260 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 11.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.260 * [taylor]: Taking taylor expansion of x in x 11.260 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 11.260 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 11.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.260 * [taylor]: Taking taylor expansion of x in x 11.262 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 11.262 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 11.262 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 11.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.262 * [taylor]: Taking taylor expansion of x in x 11.263 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 11.263 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.263 * [taylor]: Taking taylor expansion of -1 in x 11.263 * [taylor]: Taking taylor expansion of x in x 11.263 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 11.263 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 11.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.263 * [taylor]: Taking taylor expansion of x in x 11.263 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 11.264 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.264 * [taylor]: Taking taylor expansion of -1 in x 11.264 * [taylor]: Taking taylor expansion of x in x 11.266 * * * [progress]: simplifying candidates 11.267 * [simplify]: Simplifying using # : (expm1 (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (log1p (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (+ (log (sqrt (+ (exp x) (exp (- x))))) (+ (log (sqrt (cosh x))) (- (log (sin y)) (log y)))) (+ (log (sqrt (+ (exp x) (exp (- x))))) (+ (log (sqrt (cosh x))) (log (/ (sin y) y)))) (+ (log (sqrt (+ (exp x) (exp (- x))))) (log (* (sqrt (cosh x)) (/ (sin y) y)))) (log (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (exp (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (* (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y)))) (* (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y)))) (* (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* (* (sqrt (cosh x)) (/ (sin y) y)) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (cosh x)) (/ (sin y) y)))) (* (cbrt (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (cbrt (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))))) (cbrt (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (* (* (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (sqrt (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (sqrt (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (* (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (* (sqrt (+ (exp x) (exp (- x)))) (sin y))) (* (sqrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (* (sqrt 2) y)) (* (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (* (sqrt (cosh x)) (sin y))) (* (sqrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) y) (* (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (* (sqrt (+ (exp x) (exp (- x)))) (/ (sin y) y))) (* (sqrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (sqrt 2)) (* (sqrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (* (sqrt (+ (exp x) (exp (- x)))) (sin y))) (* (sqrt (- (exp x) (exp (- x)))) (* (sqrt 2) y)) (* (sqrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (* (sqrt (cosh x)) (sin y))) (* (sqrt (- (exp x) (exp (- x)))) y) (* (sqrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (* (sqrt (+ (exp x) (exp (- x)))) (/ (sin y) y))) (* (sqrt (- (exp x) (exp (- x)))) (sqrt 2)) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (cosh x))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (cbrt (+ (exp x) (exp (- x))))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (sqrt (+ (exp x) (exp (- x))))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (sqrt (+ (exp x) (exp (- x))))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (+ (exp x) (exp (- x)))) (sin y))) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (sin y))) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (+ (exp x) (exp (- x)))) (/ (sin y) y))) (* (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (* (sqrt (cosh x)) (/ (sin y) y))) (expm1 (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (log1p (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (- (+ (log (sqrt (+ (exp x) (exp (- x))))) (+ (log (sqrt (cosh x))) (- (log (sin y)) (log y)))) (log (sqrt 2))) (- (+ (log (sqrt (+ (exp x) (exp (- x))))) (+ (log (sqrt (cosh x))) (log (/ (sin y) y)))) (log (sqrt 2))) (- (+ (log (sqrt (+ (exp x) (exp (- x))))) (log (* (sqrt (cosh x)) (/ (sin y) y)))) (log (sqrt 2))) (- (log (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (log (sqrt 2))) (log (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (exp (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (/ (* (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y)))) (* (* (sqrt 2) (sqrt 2)) (sqrt 2))) (/ (* (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y)))) (* (* (sqrt 2) (sqrt 2)) (sqrt 2))) (/ (* (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* (* (sqrt (cosh x)) (/ (sin y) y)) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (cosh x)) (/ (sin y) y)))) (* (* (sqrt 2) (sqrt 2)) (sqrt 2))) (/ (* (* (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (* (* (sqrt 2) (sqrt 2)) (sqrt 2))) (* (cbrt (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (cbrt (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2)))) (cbrt (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (* (* (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2)) (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (sqrt (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (sqrt (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (- (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (- (sqrt 2)) (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt (sqrt 2)) (cbrt (sqrt 2)))) (/ (* (sqrt (cosh x)) (/ (sin y) y)) (cbrt (sqrt 2))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (* (cbrt 2) (cbrt 2)))) (/ (* (sqrt (cosh x)) (/ (sin y) y)) (sqrt (cbrt 2))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2))) (/ (* (sqrt (cosh x)) (/ (sin y) y)) (sqrt (sqrt 2))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 1)) (/ (* (sqrt (cosh x)) (/ (sin y) y)) (sqrt 2)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2))) (/ (* (sqrt (cosh x)) (/ (sin y) y)) (sqrt (sqrt 2))) (/ (sqrt (+ (exp x) (exp (- x)))) 1) (/ (* (sqrt (cosh x)) (/ (sin y) y)) (sqrt 2)) (/ 1 (sqrt 2)) (/ (sqrt 2) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (cbrt (sqrt 2)) (cbrt (sqrt 2)))) (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt (* (cbrt 2) (cbrt 2)))) (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt (sqrt 2))) (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 1)) (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt (sqrt 2))) (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) 1) (/ (sqrt 2) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt 2) (* (sqrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (* (sqrt 2) y))) (* (sqrt 2) (* (sqrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) y)) (* (sqrt 2) (* (sqrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (sqrt 2))) (* (sqrt 2) (* (sqrt (- (exp x) (exp (- x)))) (* (sqrt 2) y))) (* (sqrt 2) (* (sqrt (- (exp x) (exp (- x)))) y)) (* (sqrt 2) (* (sqrt (- (exp x) (exp (- x)))) (sqrt 2))) (* (sqrt 2) (* (sqrt 2) y)) (* (sqrt 2) y) (* (sqrt 2) (sqrt 2)) (* (sqrt 2) (sqrt (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))) (* (sqrt 2) (sqrt (- (exp x) (exp (- x))))) (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)) (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (* (exp (exp x)) (exp (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (- (+ (sqrt 2) (/ (pow x 2) (sqrt 2))) (* 1/6 (* (sqrt 2) (pow y 2)))) (/ (+ (* (sin y) (* (sqrt 1/2) (exp (- x)))) (* (sin y) (* (exp x) (sqrt 1/2)))) y) (/ (+ (* (sin y) (* (exp x) (sqrt 1/2))) (* (exp (* -1 x)) (* (sin y) (sqrt 1/2)))) y) (- (+ (/ (pow x 2) (pow (sqrt 2) 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* (sin y) (* (sqrt 1/2) (exp (- x)))) (* (sin y) (* (exp x) (sqrt 1/2)))) (* (sqrt 2) y)) (/ (+ (* (sin y) (* (exp x) (sqrt 1/2))) (* (exp (* -1 x)) (* (sin y) (sqrt 1/2)))) (* (sqrt 2) y)) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) 11.280 * * [simplify]: iteration 0 : 244 enodes (cost 2513 ) 11.324 * * [simplify]: iteration 1 : 591 enodes (cost 2251 ) 11.464 * * [simplify]: iteration 2 : 2378 enodes (cost 1954 ) 12.080 * * [simplify]: iteration done : 5000 enodes (cost 1954 ) 12.080 * [simplify]: Simplified to: (expm1 (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (log1p (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (cosh x))) (/ (sin y) y)) (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (cosh x))) (/ (sin y) y)) (log (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (log (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (log (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (log (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (exp (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (pow (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (cosh x))) (/ (sin y) y)) 3) (pow (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (cosh x))) (/ (sin y) y)) 3) (pow (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (cosh x))) (/ (sin y) y)) 3) (* (cbrt (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (cbrt (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))))) (cbrt (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (pow (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (cosh x))) (/ (sin y) y)) 3) (sqrt (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (sqrt (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (* (* (hypot (pow (exp (- x)) 3/2) (pow (exp x) 3/2)) (sqrt (+ (exp x) (exp (- x))))) (sin y)) (* (* (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (sqrt 2)) y) (* (* (sqrt (cosh x)) (sin y)) (hypot (pow (exp (- x)) 3/2) (pow (exp x) 3/2))) (* y (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x)))))) (* (* (hypot (pow (exp (- x)) 3/2) (pow (exp x) 3/2)) (sqrt (+ (exp x) (exp (- x))))) (/ (sin y) y)) (* (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (sqrt 2)) (* (sqrt (- (exp (+ x x)) (exp (* x -2)))) (* (sqrt (+ (exp x) (exp (- x)))) (sin y))) (* (sqrt (- (exp x) (exp (- x)))) (* (sqrt 2) y)) (* (* (sqrt (cosh x)) (sin y)) (sqrt (- (exp (+ x x)) (exp (* x -2))))) (* (sqrt (- (exp x) (exp (- x)))) y) (/ (* (sqrt (- (exp (+ x x)) (exp (* x -2)))) (* (sqrt (+ (exp x) (exp (- x)))) (sin y))) y) (* (sqrt (- (exp x) (exp (- x)))) (sqrt 2)) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (cosh x))) (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (cbrt (+ (exp x) (exp (- x))))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (sqrt (sqrt (+ (exp x) (exp (- x))))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (cosh x))) (/ (sin y) y)) (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (cosh x))) (/ (sin y) y)) (* (sqrt (sqrt (+ (exp x) (exp (- x))))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (cosh x))) (/ (sin y) y)) (* (+ (exp x) (exp (- x))) (sin y)) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (sin y))) (* (+ (exp x) (exp (- x))) (/ (sin y) y)) (* (* (sqrt (cosh x)) (hypot (pow (exp (- x)) 3/2) (pow (exp x) 3/2))) (/ (sin y) y)) (* (* (sqrt (cosh x)) (/ (sin y) y)) (sqrt (- (exp (+ x x)) (exp (* x -2))))) (expm1 (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (log1p (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (log (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (log (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (log (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (log (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (log (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (exp (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (pow (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2)) 3) (pow (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2)) 3) (pow (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2)) 3) (pow (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2)) 3) (* (cbrt (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (cbrt (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2)))) (cbrt (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (pow (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2)) 3) (sqrt (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (sqrt (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt 2))) (- (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (- (sqrt 2)) (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt (sqrt 2)) (cbrt (sqrt 2)))) (/ (* (sqrt (cosh x)) (/ (sin y) y)) (cbrt (sqrt 2))) (/ (sqrt (+ (exp x) (exp (- x)))) (fabs (cbrt 2))) (/ (* (sqrt (cosh x)) (/ (sin y) y)) (sqrt (cbrt 2))) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2))) (/ (* (sqrt (cosh x)) (/ (sin y) y)) (sqrt (sqrt 2))) (sqrt (+ (exp x) (exp (- x)))) (/ (* (sqrt (cosh x)) (/ (sin y) y)) (sqrt 2)) (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt (sqrt 2))) (/ (* (sqrt (cosh x)) (/ (sin y) y)) (sqrt (sqrt 2))) (sqrt (+ (exp x) (exp (- x)))) (/ (* (sqrt (cosh x)) (/ (sin y) y)) (sqrt 2)) (/ 1 (sqrt 2)) (/ (sqrt 2) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y)))) (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (* (cbrt (sqrt 2)) (cbrt (sqrt 2)))) (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (fabs (cbrt 2))) (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt (sqrt 2))) (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (cosh x))) (/ (sin y) y)) (/ (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ (sin y) y))) (sqrt (sqrt 2))) (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (cosh x))) (/ (sin y) y)) (/ (sqrt 2) (* (sqrt (cosh x)) (/ (sin y) y))) (* (* (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) 2) y) (* (* (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (sqrt 2)) y) (* (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) 2) (* 2 (* (sqrt (- (exp x) (exp (- x)))) y)) (* (sqrt (- (exp x) (exp (- x)))) (* (sqrt 2) y)) (* 2 (sqrt (- (exp x) (exp (- x))))) (* 2 y) (* (sqrt 2) y) 2 (* (sqrt (+ (exp (* x -2)) (+ -1 (exp (+ x x))))) (sqrt 2)) (* (sqrt (- (exp x) (exp (- x)))) (sqrt 2)) (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)) (cbrt (sin y))) (sqrt y)) (/ (cbrt (sin y)) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ (cbrt (sin y)) y) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (sqrt (sin y)) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) 1 (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (sin y) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (pow (+ (exp x) (exp (- x))) 3) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (exp (* x -2)) (+ -1 (exp (+ x x)))) (- (exp (+ x x)) (exp (* x -2))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (- (+ (sqrt 2) (/ (pow x 2) (sqrt 2))) (* 1/6 (* (sqrt 2) (pow y 2)))) (/ (* (sin y) (* (sqrt 1/2) (+ (exp x) (exp (- x))))) y) (/ (* (sin y) (* (sqrt 1/2) (+ (exp x) (exp (- x))))) y) (+ (/ (pow x 2) 2) (- 1 (* 1/6 (pow y 2)))) (/ (/ (* (sin y) (* (sqrt 1/2) (+ (exp x) (exp (- x))))) (sqrt 2)) y) (/ (/ (* (sin y) (* (sqrt 1/2) (+ (exp x) (exp (- x))))) (sqrt 2)) y) (- (fma 1/120 (pow y 4) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (fma x x (fma 1/12 (pow x 4) 2)) (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x))) 12.084 * * * [progress]: adding candidates to table 12.604 * [progress]: [Phase 3 of 3] Extracting. 12.604 * * [regime]: Finding splitpoints for: (# # # # # # #) 12.605 * * * [regime-changes]: Trying 4 branch expressions: ((/ (sin y) y) (cosh x) y x) 12.605 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (# # # # # # #) 12.636 * * * * [regimes]: Trying to branch on (cosh x) from (# # # # # # #) 12.660 * * * * [regimes]: Trying to branch on (cosh x) from (# # # # # #) 12.684 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 12.709 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 12.738 * * * [regime]: Found split indices: #