27.045 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.081 * * * [progress]: [2/2] Setting up program. 0.083 * [progress]: [Phase 2 of 3] Improving. 0.084 * [simplify]: Simplifying using # : (* (cosh x) (/ (sin y) y)) 0.084 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.085 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.087 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 0.090 * * [simplify]: iteration 3 : 53 enodes (cost 7 ) 0.097 * * [simplify]: iteration 4 : 94 enodes (cost 7 ) 0.108 * * [simplify]: iteration 5 : 134 enodes (cost 7 ) 0.131 * * [simplify]: iteration 6 : 270 enodes (cost 7 ) 0.199 * * [simplify]: iteration 7 : 685 enodes (cost 7 ) 0.490 * * [simplify]: iteration 8 : 1452 enodes (cost 7 ) 1.544 * * [simplify]: iteration 9 : 2590 enodes (cost 7 ) 3.814 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 3.814 * [simplify]: Simplified to: (* (cosh x) (/ (sin y) y)) 3.814 * * [progress]: iteration 1 / 4 3.814 * * * [progress]: picking best candidate 3.817 * * * * [pick]: Picked # 3.817 * * * [progress]: localizing error 3.824 * * * [progress]: generating rewritten candidates 3.824 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 3.832 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 3.837 * * * [progress]: generating series expansions 3.837 * * * * [progress]: [ 1 / 2 ] generating series at (2) 3.838 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 3.838 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 3.838 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 3.838 * [taylor]: Taking taylor expansion of (sin y) in y 3.838 * [taylor]: Taking taylor expansion of y in y 3.838 * [taylor]: Taking taylor expansion of (cosh x) in y 3.838 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 3.838 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 3.838 * [taylor]: Taking taylor expansion of (exp x) in y 3.838 * [taylor]: Taking taylor expansion of x in y 3.838 * [taylor]: Taking taylor expansion of (exp (- x)) in y 3.838 * [taylor]: Taking taylor expansion of (- x) in y 3.838 * [taylor]: Taking taylor expansion of x in y 3.838 * [taylor]: Taking taylor expansion of 2 in y 3.838 * [taylor]: Taking taylor expansion of y in y 3.842 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 3.842 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 3.842 * [taylor]: Taking taylor expansion of (sin y) in x 3.842 * [taylor]: Taking taylor expansion of y in x 3.842 * [taylor]: Taking taylor expansion of (cosh x) in x 3.842 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 3.842 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 3.842 * [taylor]: Taking taylor expansion of (exp x) in x 3.842 * [taylor]: Taking taylor expansion of x in x 3.842 * [taylor]: Taking taylor expansion of (exp (- x)) in x 3.842 * [taylor]: Taking taylor expansion of (- x) in x 3.842 * [taylor]: Taking taylor expansion of x in x 3.843 * [taylor]: Taking taylor expansion of 2 in x 3.843 * [taylor]: Taking taylor expansion of y in x 3.843 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 3.843 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 3.843 * [taylor]: Taking taylor expansion of (sin y) in x 3.843 * [taylor]: Taking taylor expansion of y in x 3.844 * [taylor]: Taking taylor expansion of (cosh x) in x 3.844 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 3.844 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 3.844 * [taylor]: Taking taylor expansion of (exp x) in x 3.844 * [taylor]: Taking taylor expansion of x in x 3.844 * [taylor]: Taking taylor expansion of (exp (- x)) in x 3.844 * [taylor]: Taking taylor expansion of (- x) in x 3.844 * [taylor]: Taking taylor expansion of x in x 3.844 * [taylor]: Taking taylor expansion of 2 in x 3.845 * [taylor]: Taking taylor expansion of y in x 3.845 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 3.845 * [taylor]: Taking taylor expansion of (sin y) in y 3.845 * [taylor]: Taking taylor expansion of y in y 3.845 * [taylor]: Taking taylor expansion of y in y 3.850 * [taylor]: Taking taylor expansion of 0 in y 3.856 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 3.857 * [taylor]: Taking taylor expansion of 1/2 in y 3.857 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 3.857 * [taylor]: Taking taylor expansion of (sin y) in y 3.857 * [taylor]: Taking taylor expansion of y in y 3.857 * [taylor]: Taking taylor expansion of y in y 3.859 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 3.860 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 3.860 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 3.860 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 3.860 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 3.860 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 3.860 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.860 * [taylor]: Taking taylor expansion of x in y 3.860 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 3.860 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 3.860 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.860 * [taylor]: Taking taylor expansion of x in y 3.860 * [taylor]: Taking taylor expansion of 2 in y 3.860 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 3.860 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.860 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.860 * [taylor]: Taking taylor expansion of y in y 3.860 * [taylor]: Taking taylor expansion of y in y 3.861 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 3.861 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 3.861 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 3.861 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 3.861 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.861 * [taylor]: Taking taylor expansion of x in x 3.861 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 3.861 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.861 * [taylor]: Taking taylor expansion of x in x 3.862 * [taylor]: Taking taylor expansion of 2 in x 3.862 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 3.862 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 3.862 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.862 * [taylor]: Taking taylor expansion of y in x 3.862 * [taylor]: Taking taylor expansion of y in x 3.862 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 3.862 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 3.862 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 3.862 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 3.862 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.862 * [taylor]: Taking taylor expansion of x in x 3.862 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 3.862 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.862 * [taylor]: Taking taylor expansion of x in x 3.863 * [taylor]: Taking taylor expansion of 2 in x 3.863 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 3.863 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 3.863 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.863 * [taylor]: Taking taylor expansion of y in x 3.863 * [taylor]: Taking taylor expansion of y in x 3.864 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 3.864 * [taylor]: Taking taylor expansion of 1/2 in y 3.864 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 3.864 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.864 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.864 * [taylor]: Taking taylor expansion of y in y 3.864 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 3.864 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 3.864 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 3.864 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.864 * [taylor]: Taking taylor expansion of x in y 3.864 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 3.864 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 3.864 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.864 * [taylor]: Taking taylor expansion of x in y 3.864 * [taylor]: Taking taylor expansion of y in y 3.868 * [taylor]: Taking taylor expansion of 0 in y 3.879 * [taylor]: Taking taylor expansion of 0 in y 3.888 * [taylor]: Taking taylor expansion of 0 in y 3.889 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 3.889 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 3.889 * [taylor]: Taking taylor expansion of -1 in y 3.889 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 3.889 * [taylor]: Taking taylor expansion of y in y 3.889 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 3.889 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.889 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.889 * [taylor]: Taking taylor expansion of -1 in y 3.889 * [taylor]: Taking taylor expansion of y in y 3.889 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 3.889 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 3.889 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 3.889 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 3.889 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.889 * [taylor]: Taking taylor expansion of -1 in y 3.889 * [taylor]: Taking taylor expansion of x in y 3.890 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 3.890 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 3.890 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.890 * [taylor]: Taking taylor expansion of -1 in y 3.890 * [taylor]: Taking taylor expansion of x in y 3.890 * [taylor]: Taking taylor expansion of 2 in y 3.890 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 3.890 * [taylor]: Taking taylor expansion of -1 in x 3.890 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 3.890 * [taylor]: Taking taylor expansion of y in x 3.890 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 3.890 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 3.890 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.890 * [taylor]: Taking taylor expansion of -1 in x 3.890 * [taylor]: Taking taylor expansion of y in x 3.890 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 3.890 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 3.890 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 3.890 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.890 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.890 * [taylor]: Taking taylor expansion of -1 in x 3.890 * [taylor]: Taking taylor expansion of x in x 3.891 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 3.891 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 3.891 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.891 * [taylor]: Taking taylor expansion of -1 in x 3.891 * [taylor]: Taking taylor expansion of x in x 3.891 * [taylor]: Taking taylor expansion of 2 in x 3.891 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 3.891 * [taylor]: Taking taylor expansion of -1 in x 3.891 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 3.891 * [taylor]: Taking taylor expansion of y in x 3.891 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 3.891 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 3.891 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.892 * [taylor]: Taking taylor expansion of -1 in x 3.892 * [taylor]: Taking taylor expansion of y in x 3.892 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 3.892 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 3.892 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 3.892 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.892 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.892 * [taylor]: Taking taylor expansion of -1 in x 3.892 * [taylor]: Taking taylor expansion of x in x 3.892 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 3.892 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 3.892 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.892 * [taylor]: Taking taylor expansion of -1 in x 3.892 * [taylor]: Taking taylor expansion of x in x 3.893 * [taylor]: Taking taylor expansion of 2 in x 3.893 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 3.893 * [taylor]: Taking taylor expansion of -1/2 in y 3.893 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 3.893 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.893 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.894 * [taylor]: Taking taylor expansion of -1 in y 3.894 * [taylor]: Taking taylor expansion of y in y 3.894 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 3.894 * [taylor]: Taking taylor expansion of y in y 3.894 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 3.894 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 3.894 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.894 * [taylor]: Taking taylor expansion of x in y 3.894 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 3.894 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.894 * [taylor]: Taking taylor expansion of -1 in y 3.894 * [taylor]: Taking taylor expansion of x in y 3.898 * [taylor]: Taking taylor expansion of 0 in y 3.905 * [taylor]: Taking taylor expansion of 0 in y 3.917 * [taylor]: Taking taylor expansion of 0 in y 3.917 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 3.917 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 3.917 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 3.917 * [taylor]: Taking taylor expansion of (sin y) in y 3.917 * [taylor]: Taking taylor expansion of y in y 3.918 * [taylor]: Taking taylor expansion of y in y 3.918 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 3.918 * [taylor]: Taking taylor expansion of (sin y) in y 3.918 * [taylor]: Taking taylor expansion of y in y 3.918 * [taylor]: Taking taylor expansion of y in y 3.926 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 3.926 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 3.926 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.926 * [taylor]: Taking taylor expansion of y in y 3.926 * [taylor]: Taking taylor expansion of y in y 3.926 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 3.926 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.926 * [taylor]: Taking taylor expansion of y in y 3.927 * [taylor]: Taking taylor expansion of y in y 3.931 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 3.931 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 3.931 * [taylor]: Taking taylor expansion of -1 in y 3.931 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 3.931 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.931 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.931 * [taylor]: Taking taylor expansion of -1 in y 3.931 * [taylor]: Taking taylor expansion of y in y 3.932 * [taylor]: Taking taylor expansion of y in y 3.932 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 3.932 * [taylor]: Taking taylor expansion of -1 in y 3.932 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 3.932 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.932 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.932 * [taylor]: Taking taylor expansion of -1 in y 3.932 * [taylor]: Taking taylor expansion of y in y 3.932 * [taylor]: Taking taylor expansion of y in y 3.944 * * * [progress]: simplifying candidates 3.945 * [simplify]: Simplifying using # : (* (cosh x) (/ (sin y) y)) (+ (log (cosh x)) (- (log (sin y)) (log y))) (+ (log (cosh x)) (log (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (exp (* (cosh x) (/ (sin y) y))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y))) (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))) (* (cbrt (* (cosh x) (/ (sin y) y))) (cbrt (* (cosh x) (/ (sin y) y)))) (cbrt (* (cosh x) (/ (sin y) y))) (* (* (* (cosh x) (/ (sin y) y)) (* (cosh x) (/ (sin y) y))) (* (cosh x) (/ (sin y) y))) (sqrt (* (cosh x) (/ (sin y) y))) (sqrt (* (cosh x) (/ (sin y) y))) (* (+ (exp x) (exp (- 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)) (- (log (sin y)) (log y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y)) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y)) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) (- (sin y)) (- y) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (cbrt (sin y)) (sqrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) (/ (cbrt (sin y)) y) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) 1) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ 1 1) (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (/ (sin y) 1) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (sin y) (exp (- x))))) y) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) 3.949 * * [simplify]: iteration 0 : 120 enodes (cost 663 ) 3.972 * * [simplify]: iteration 1 : 268 enodes (cost 632 ) 4.032 * * [simplify]: iteration 2 : 1087 enodes (cost 568 ) 4.419 * * [simplify]: iteration done : 5000 enodes (cost 552 ) 4.419 * [simplify]: Simplified to: (/ (* (cosh x) (sin y)) y) (log (* (cosh x) (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (exp (* (cosh x) (/ (sin y) y))) (pow (* (cosh x) (/ (sin y) y)) 3) (pow (* (cosh x) (/ (sin y) y)) 3) (* (cbrt (* (cosh x) (/ (sin y) y))) (cbrt (* (cosh x) (/ (sin y) y)))) (cbrt (* (cosh x) (/ (sin y) y))) (pow (* (cosh x) (/ (sin y) y)) 3) (sqrt (* (cosh x) (/ (sin y) y))) (sqrt (* (cosh x) (/ (sin y) y))) (* (sin y) (* (cosh x) 2)) (* 2 y) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (cosh x) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (cosh x) (sqrt (/ (sin y) y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (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)) (/ (* (sin y) (* (cosh x) 2)) y) (log (/ (sin y) y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (pow (/ (sin y) y) 3) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (pow (/ (sin y) y) 3) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) (- (sin y)) (- y) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (cbrt y)) (/ (cbrt (sin y)) (/ (sqrt y) (cbrt (sin y)))) (/ (cbrt (sin y)) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ (cbrt (sin y)) y) (/ (/ (sqrt (sin y)) (cbrt y)) (cbrt y)) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (sqrt (sin y)) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) 1 (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (sin y) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (* (cosh x) (sin y)) y) (/ (* (cosh x) (sin y)) y) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) 4.420 * * * [progress]: adding candidates to table 4.567 * * [progress]: iteration 2 / 4 4.567 * * * [progress]: picking best candidate 4.585 * * * * [pick]: Picked # 4.585 * * * [progress]: localizing error 4.593 * * * [progress]: generating rewritten candidates 4.593 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 4.614 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 4.622 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 4.633 * * * [progress]: generating series expansions 4.633 * * * * [progress]: [ 1 / 3 ] generating series at (2) 4.633 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 4.633 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 4.633 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 4.633 * [taylor]: Taking taylor expansion of (sin y) in y 4.633 * [taylor]: Taking taylor expansion of y in y 4.633 * [taylor]: Taking taylor expansion of (cosh x) in y 4.634 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.634 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 4.634 * [taylor]: Taking taylor expansion of (exp x) in y 4.634 * [taylor]: Taking taylor expansion of x in y 4.634 * [taylor]: Taking taylor expansion of (exp (- x)) in y 4.634 * [taylor]: Taking taylor expansion of (- x) in y 4.634 * [taylor]: Taking taylor expansion of x in y 4.634 * [taylor]: Taking taylor expansion of 2 in y 4.634 * [taylor]: Taking taylor expansion of y in y 4.637 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 4.637 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 4.637 * [taylor]: Taking taylor expansion of (sin y) in x 4.637 * [taylor]: Taking taylor expansion of y in x 4.637 * [taylor]: Taking taylor expansion of (cosh x) in x 4.637 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.637 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.637 * [taylor]: Taking taylor expansion of (exp x) in x 4.637 * [taylor]: Taking taylor expansion of x in x 4.637 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.637 * [taylor]: Taking taylor expansion of (- x) in x 4.637 * [taylor]: Taking taylor expansion of x in x 4.638 * [taylor]: Taking taylor expansion of 2 in x 4.638 * [taylor]: Taking taylor expansion of y in x 4.639 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 4.639 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 4.639 * [taylor]: Taking taylor expansion of (sin y) in x 4.639 * [taylor]: Taking taylor expansion of y in x 4.639 * [taylor]: Taking taylor expansion of (cosh x) in x 4.639 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.639 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.639 * [taylor]: Taking taylor expansion of (exp x) in x 4.639 * [taylor]: Taking taylor expansion of x in x 4.639 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.639 * [taylor]: Taking taylor expansion of (- x) in x 4.639 * [taylor]: Taking taylor expansion of x in x 4.639 * [taylor]: Taking taylor expansion of 2 in x 4.640 * [taylor]: Taking taylor expansion of y in x 4.640 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.640 * [taylor]: Taking taylor expansion of (sin y) in y 4.640 * [taylor]: Taking taylor expansion of y in y 4.640 * [taylor]: Taking taylor expansion of y in y 4.645 * [taylor]: Taking taylor expansion of 0 in y 4.651 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 4.651 * [taylor]: Taking taylor expansion of 1/2 in y 4.651 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.651 * [taylor]: Taking taylor expansion of (sin y) in y 4.651 * [taylor]: Taking taylor expansion of y in y 4.651 * [taylor]: Taking taylor expansion of y in y 4.654 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 4.654 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 4.654 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 4.654 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.654 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 4.654 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.654 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.654 * [taylor]: Taking taylor expansion of x in y 4.654 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 4.654 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 4.654 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.655 * [taylor]: Taking taylor expansion of x in y 4.655 * [taylor]: Taking taylor expansion of 2 in y 4.655 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.655 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.655 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.655 * [taylor]: Taking taylor expansion of y in y 4.655 * [taylor]: Taking taylor expansion of y in y 4.655 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 4.655 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 4.655 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.655 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.655 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.655 * [taylor]: Taking taylor expansion of x in x 4.656 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.656 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.656 * [taylor]: Taking taylor expansion of x in x 4.656 * [taylor]: Taking taylor expansion of 2 in x 4.656 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 4.656 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 4.656 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.656 * [taylor]: Taking taylor expansion of y in x 4.657 * [taylor]: Taking taylor expansion of y in x 4.657 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 4.657 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 4.657 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.657 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.657 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.657 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.657 * [taylor]: Taking taylor expansion of x in x 4.657 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.657 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.657 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.657 * [taylor]: Taking taylor expansion of x in x 4.658 * [taylor]: Taking taylor expansion of 2 in x 4.658 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 4.658 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 4.658 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.658 * [taylor]: Taking taylor expansion of y in x 4.658 * [taylor]: Taking taylor expansion of y in x 4.658 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 4.658 * [taylor]: Taking taylor expansion of 1/2 in y 4.658 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 4.658 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.658 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.658 * [taylor]: Taking taylor expansion of y in y 4.659 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 4.659 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 4.659 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.659 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.659 * [taylor]: Taking taylor expansion of x in y 4.659 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 4.659 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 4.659 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.659 * [taylor]: Taking taylor expansion of x in y 4.659 * [taylor]: Taking taylor expansion of y in y 4.662 * [taylor]: Taking taylor expansion of 0 in y 4.669 * [taylor]: Taking taylor expansion of 0 in y 4.678 * [taylor]: Taking taylor expansion of 0 in y 4.679 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 4.679 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 4.679 * [taylor]: Taking taylor expansion of -1 in y 4.679 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 4.679 * [taylor]: Taking taylor expansion of y in y 4.679 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 4.679 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.679 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.679 * [taylor]: Taking taylor expansion of -1 in y 4.679 * [taylor]: Taking taylor expansion of y in y 4.679 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 4.679 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.679 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 4.679 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.679 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.679 * [taylor]: Taking taylor expansion of -1 in y 4.679 * [taylor]: Taking taylor expansion of x in y 4.679 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 4.679 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 4.679 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.679 * [taylor]: Taking taylor expansion of -1 in y 4.679 * [taylor]: Taking taylor expansion of x in y 4.680 * [taylor]: Taking taylor expansion of 2 in y 4.680 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 4.680 * [taylor]: Taking taylor expansion of -1 in x 4.680 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 4.680 * [taylor]: Taking taylor expansion of y in x 4.680 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 4.680 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 4.680 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.680 * [taylor]: Taking taylor expansion of -1 in x 4.680 * [taylor]: Taking taylor expansion of y in x 4.680 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 4.680 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.680 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.680 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.680 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.680 * [taylor]: Taking taylor expansion of -1 in x 4.680 * [taylor]: Taking taylor expansion of x in x 4.680 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.680 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.680 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.680 * [taylor]: Taking taylor expansion of -1 in x 4.681 * [taylor]: Taking taylor expansion of x in x 4.681 * [taylor]: Taking taylor expansion of 2 in x 4.681 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 4.681 * [taylor]: Taking taylor expansion of -1 in x 4.681 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 4.681 * [taylor]: Taking taylor expansion of y in x 4.681 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 4.681 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 4.681 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.681 * [taylor]: Taking taylor expansion of -1 in x 4.681 * [taylor]: Taking taylor expansion of y in x 4.681 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 4.682 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.682 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.682 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.682 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.682 * [taylor]: Taking taylor expansion of -1 in x 4.682 * [taylor]: Taking taylor expansion of x in x 4.682 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.682 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.682 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.682 * [taylor]: Taking taylor expansion of -1 in x 4.682 * [taylor]: Taking taylor expansion of x in x 4.683 * [taylor]: Taking taylor expansion of 2 in x 4.683 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 4.683 * [taylor]: Taking taylor expansion of -1/2 in y 4.683 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 4.683 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.683 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.683 * [taylor]: Taking taylor expansion of -1 in y 4.683 * [taylor]: Taking taylor expansion of y in y 4.684 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 4.684 * [taylor]: Taking taylor expansion of y in y 4.684 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 4.684 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.684 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.684 * [taylor]: Taking taylor expansion of x in y 4.684 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.684 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.684 * [taylor]: Taking taylor expansion of -1 in y 4.684 * [taylor]: Taking taylor expansion of x in y 4.688 * [taylor]: Taking taylor expansion of 0 in y 4.696 * [taylor]: Taking taylor expansion of 0 in y 4.710 * [taylor]: Taking taylor expansion of 0 in y 4.710 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 4.710 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 4.710 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.710 * [taylor]: Taking taylor expansion of (sin y) in y 4.710 * [taylor]: Taking taylor expansion of y in y 4.710 * [taylor]: Taking taylor expansion of y in y 4.711 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.711 * [taylor]: Taking taylor expansion of (sin y) in y 4.711 * [taylor]: Taking taylor expansion of y in y 4.711 * [taylor]: Taking taylor expansion of y in y 4.718 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 4.718 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.718 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.718 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.718 * [taylor]: Taking taylor expansion of y in y 4.719 * [taylor]: Taking taylor expansion of y in y 4.719 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.719 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.719 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.719 * [taylor]: Taking taylor expansion of y in y 4.719 * [taylor]: Taking taylor expansion of y in y 4.723 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 4.724 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 4.724 * [taylor]: Taking taylor expansion of -1 in y 4.724 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 4.724 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.724 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.724 * [taylor]: Taking taylor expansion of -1 in y 4.724 * [taylor]: Taking taylor expansion of y in y 4.724 * [taylor]: Taking taylor expansion of y in y 4.724 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 4.724 * [taylor]: Taking taylor expansion of -1 in y 4.724 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 4.724 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.724 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.724 * [taylor]: Taking taylor expansion of -1 in y 4.724 * [taylor]: Taking taylor expansion of y in y 4.724 * [taylor]: Taking taylor expansion of y in y 4.735 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 4.736 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0 4.736 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 4.736 * [taylor]: Taking taylor expansion of y in y 4.736 * [taylor]: Taking taylor expansion of (sin y) in y 4.736 * [taylor]: Taking taylor expansion of y in y 4.736 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 4.736 * [taylor]: Taking taylor expansion of y in y 4.736 * [taylor]: Taking taylor expansion of (sin y) in y 4.736 * [taylor]: Taking taylor expansion of y in y 4.744 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in (y) around 0 4.744 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 4.744 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.744 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.744 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.744 * [taylor]: Taking taylor expansion of y in y 4.744 * [taylor]: Taking taylor expansion of y in y 4.745 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 4.745 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.745 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.745 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.745 * [taylor]: Taking taylor expansion of y in y 4.745 * [taylor]: Taking taylor expansion of y in y 4.750 * [approximate]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in (y) around 0 4.750 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 4.750 * [taylor]: Taking taylor expansion of -1 in y 4.750 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 4.750 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.750 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.750 * [taylor]: Taking taylor expansion of -1 in y 4.750 * [taylor]: Taking taylor expansion of y in y 4.751 * [taylor]: Taking taylor expansion of y in y 4.751 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 4.751 * [taylor]: Taking taylor expansion of -1 in y 4.751 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 4.751 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.751 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.751 * [taylor]: Taking taylor expansion of -1 in y 4.751 * [taylor]: Taking taylor expansion of y in y 4.752 * [taylor]: Taking taylor expansion of y in y 4.757 * * * [progress]: simplifying candidates 4.760 * [simplify]: Simplifying using # : (* (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) (- (- (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) (- (log y) (log (sin y))) (log (/ y (sin y))) (exp (/ y (sin y))) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y))) (sqrt (/ y (sin y))) (sqrt (/ y (sin y))) (- y) (- (sin y)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))) (/ (cbrt y) (sqrt (sin y))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (sin y)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt y) (cbrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) 1) (/ (sqrt y) (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y))) (/ 1 1) (/ y (sin y)) (/ 1 (sin y)) (/ (sin y) y) (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) (/ y 1) (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (sin y) (exp (- x))))) y) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) (- (+ (* 1/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)) 4.768 * * [simplify]: iteration 0 : 259 enodes (cost 2334 ) 4.816 * * [simplify]: iteration 1 : 629 enodes (cost 1980 ) 5.011 * * [simplify]: iteration 2 : 2422 enodes (cost 1611 ) 6.272 * * [simplify]: iteration done : 5000 enodes (cost 1595 ) 6.273 * [simplify]: Simplified to: (/ (cosh x) (/ y (sin y))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (exp (/ (cosh x) (/ y (sin y)))) (pow (/ (cosh x) (/ y (sin y))) 3) (pow (/ (cosh x) (/ y (sin y))) 3) (pow (/ (cosh x) (/ y (sin y))) 3) (* (cbrt (/ (cosh x) (/ y (sin y)))) (cbrt (/ (cosh x) (/ y (sin y))))) (cbrt (/ (cosh x) (/ y (sin y)))) (pow (/ (cosh x) (/ y (sin y))) 3) (sqrt (/ (cosh x) (/ y (sin y)))) (sqrt (/ (cosh x) (/ y (sin y)))) (* (cosh x) 2) (* 2 (/ y (sin y))) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt (cosh x)) (/ (sqrt y) (sqrt (sin y)))) (* (cosh x) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (sqrt (/ (sin y) y)) (cosh x)) (/ (cosh x) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cosh x) (sqrt (/ y (sin y)))) (* (/ (cosh x) (* (cbrt y) (cbrt y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cosh x) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (/ (cosh x) (* (cbrt y) (cbrt y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (/ (cosh x) (/ (sqrt y) (sqrt (sin y)))) (/ (cosh x) (sqrt y)) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (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) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (/ (cosh x) (* (cbrt y) (cbrt y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (/ (cosh x) (/ (sqrt y) (sqrt (sin y)))) (/ (cosh x) (sqrt y)) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (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) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (/ (cosh x) (* (cbrt y) (cbrt y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (/ (cosh x) (/ (sqrt y) (sqrt (sin y)))) (/ (cosh x) (sqrt y)) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (sqrt (sin y)) (cosh x)) (cosh x) (cosh x) (/ (cosh x) y) (cosh x) (cosh x) (/ (cosh x) y) (* (cbrt (cosh x)) (/ (sin y) y)) (* (/ (sin y) y) (sqrt (cosh x))) (/ (cosh x) (/ y (sin y))) (cosh x) (* (/ (sin y) y) (* (cosh x) 2)) -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) (log (/ y (sin y))) (log (/ y (sin y))) (exp (/ y (sin y))) (pow (/ y (sin y)) 3) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))) (pow (/ y (sin y)) 3) (sqrt (/ y (sin y))) (sqrt (/ y (sin y))) (- y) (- (sin y)) (/ (cbrt y) (/ (* (cbrt (sin y)) (cbrt (sin y))) (cbrt y))) (/ (cbrt y) (cbrt (sin y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))) (/ (cbrt y) (sqrt (sin y))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sin y)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt y) (cbrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (sqrt y) (/ (sqrt y) (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y))) 1 (/ y (sin y)) (/ 1 (sin y)) (/ (sin y) y) (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) y (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (cosh x) (/ y (sin y))) (/ (cosh x) (/ y (sin y))) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (+ (* 1/6 (pow y 2)) (+ (* 7/360 (pow y 4)) 1)) (/ y (sin y)) (/ y (sin y)) 6.274 * * * [progress]: adding candidates to table 6.618 * * [progress]: iteration 3 / 4 6.618 * * * [progress]: picking best candidate 6.631 * * * * [pick]: Picked # 6.631 * * * [progress]: localizing error 6.638 * * * [progress]: generating rewritten candidates 6.638 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 6.646 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 6.651 * * * [progress]: generating series expansions 6.651 * * * * [progress]: [ 1 / 2 ] generating series at (2) 6.651 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 6.651 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 6.651 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 6.651 * [taylor]: Taking taylor expansion of (sin y) in y 6.651 * [taylor]: Taking taylor expansion of y in y 6.651 * [taylor]: Taking taylor expansion of (cosh x) in y 6.651 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.652 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 6.652 * [taylor]: Taking taylor expansion of (exp x) in y 6.652 * [taylor]: Taking taylor expansion of x in y 6.652 * [taylor]: Taking taylor expansion of (exp (- x)) in y 6.652 * [taylor]: Taking taylor expansion of (- x) in y 6.652 * [taylor]: Taking taylor expansion of x in y 6.652 * [taylor]: Taking taylor expansion of 2 in y 6.652 * [taylor]: Taking taylor expansion of y in y 6.655 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 6.655 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 6.655 * [taylor]: Taking taylor expansion of (sin y) in x 6.655 * [taylor]: Taking taylor expansion of y in x 6.655 * [taylor]: Taking taylor expansion of (cosh x) in x 6.655 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.655 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.656 * [taylor]: Taking taylor expansion of (exp x) in x 6.656 * [taylor]: Taking taylor expansion of x in x 6.656 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.656 * [taylor]: Taking taylor expansion of (- x) in x 6.656 * [taylor]: Taking taylor expansion of x in x 6.656 * [taylor]: Taking taylor expansion of 2 in x 6.657 * [taylor]: Taking taylor expansion of y in x 6.657 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 6.657 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 6.657 * [taylor]: Taking taylor expansion of (sin y) in x 6.657 * [taylor]: Taking taylor expansion of y in x 6.657 * [taylor]: Taking taylor expansion of (cosh x) in x 6.657 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 6.657 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.657 * [taylor]: Taking taylor expansion of (exp x) in x 6.657 * [taylor]: Taking taylor expansion of x in x 6.657 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.657 * [taylor]: Taking taylor expansion of (- x) in x 6.657 * [taylor]: Taking taylor expansion of x in x 6.658 * [taylor]: Taking taylor expansion of 2 in x 6.658 * [taylor]: Taking taylor expansion of y in x 6.658 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 6.658 * [taylor]: Taking taylor expansion of (sin y) in y 6.658 * [taylor]: Taking taylor expansion of y in y 6.659 * [taylor]: Taking taylor expansion of y in y 6.663 * [taylor]: Taking taylor expansion of 0 in y 6.673 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 6.673 * [taylor]: Taking taylor expansion of 1/2 in y 6.673 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 6.673 * [taylor]: Taking taylor expansion of (sin y) in y 6.673 * [taylor]: Taking taylor expansion of y in y 6.673 * [taylor]: Taking taylor expansion of y in y 6.676 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 6.676 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 6.676 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 6.676 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.676 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 6.676 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.676 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.676 * [taylor]: Taking taylor expansion of x in y 6.676 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.676 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.676 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.676 * [taylor]: Taking taylor expansion of x in y 6.676 * [taylor]: Taking taylor expansion of 2 in y 6.676 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 6.676 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.676 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.676 * [taylor]: Taking taylor expansion of y in y 6.677 * [taylor]: Taking taylor expansion of y in y 6.677 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 6.677 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 6.677 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.677 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.677 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.677 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.677 * [taylor]: Taking taylor expansion of x in x 6.677 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.677 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.677 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.677 * [taylor]: Taking taylor expansion of x in x 6.678 * [taylor]: Taking taylor expansion of 2 in x 6.678 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 6.678 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 6.678 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.678 * [taylor]: Taking taylor expansion of y in x 6.678 * [taylor]: Taking taylor expansion of y in x 6.678 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 6.678 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 6.678 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.678 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.678 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.678 * [taylor]: Taking taylor expansion of x in x 6.679 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.679 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.679 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.679 * [taylor]: Taking taylor expansion of x in x 6.679 * [taylor]: Taking taylor expansion of 2 in x 6.679 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 6.679 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 6.679 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.679 * [taylor]: Taking taylor expansion of y in x 6.680 * [taylor]: Taking taylor expansion of y in x 6.680 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 6.680 * [taylor]: Taking taylor expansion of 1/2 in y 6.680 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 6.680 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.680 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.680 * [taylor]: Taking taylor expansion of y in y 6.680 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 6.680 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 6.680 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.680 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.680 * [taylor]: Taking taylor expansion of x in y 6.680 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.680 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.680 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.680 * [taylor]: Taking taylor expansion of x in y 6.681 * [taylor]: Taking taylor expansion of y in y 6.684 * [taylor]: Taking taylor expansion of 0 in y 6.690 * [taylor]: Taking taylor expansion of 0 in y 6.700 * [taylor]: Taking taylor expansion of 0 in y 6.700 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 6.700 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 6.700 * [taylor]: Taking taylor expansion of -1 in y 6.700 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 6.700 * [taylor]: Taking taylor expansion of y in y 6.700 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 6.700 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.700 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.700 * [taylor]: Taking taylor expansion of -1 in y 6.700 * [taylor]: Taking taylor expansion of y in y 6.701 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 6.701 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.701 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 6.701 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.701 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.701 * [taylor]: Taking taylor expansion of -1 in y 6.701 * [taylor]: Taking taylor expansion of x in y 6.701 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 6.701 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 6.701 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.701 * [taylor]: Taking taylor expansion of -1 in y 6.701 * [taylor]: Taking taylor expansion of x in y 6.701 * [taylor]: Taking taylor expansion of 2 in y 6.701 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 6.701 * [taylor]: Taking taylor expansion of -1 in x 6.701 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 6.701 * [taylor]: Taking taylor expansion of y in x 6.701 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 6.701 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 6.701 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.701 * [taylor]: Taking taylor expansion of -1 in x 6.701 * [taylor]: Taking taylor expansion of y in x 6.702 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 6.702 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.702 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.702 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.702 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.702 * [taylor]: Taking taylor expansion of -1 in x 6.702 * [taylor]: Taking taylor expansion of x in x 6.702 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.702 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.702 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.702 * [taylor]: Taking taylor expansion of -1 in x 6.702 * [taylor]: Taking taylor expansion of x in x 6.703 * [taylor]: Taking taylor expansion of 2 in x 6.703 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 6.703 * [taylor]: Taking taylor expansion of -1 in x 6.703 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 6.703 * [taylor]: Taking taylor expansion of y in x 6.703 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 6.703 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 6.703 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.703 * [taylor]: Taking taylor expansion of -1 in x 6.703 * [taylor]: Taking taylor expansion of y in x 6.703 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 6.703 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.703 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.703 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.703 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.703 * [taylor]: Taking taylor expansion of -1 in x 6.703 * [taylor]: Taking taylor expansion of x in x 6.704 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.704 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.704 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.704 * [taylor]: Taking taylor expansion of -1 in x 6.704 * [taylor]: Taking taylor expansion of x in x 6.704 * [taylor]: Taking taylor expansion of 2 in x 6.705 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 6.705 * [taylor]: Taking taylor expansion of -1/2 in y 6.705 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 6.705 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.705 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.705 * [taylor]: Taking taylor expansion of -1 in y 6.705 * [taylor]: Taking taylor expansion of y in y 6.705 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 6.705 * [taylor]: Taking taylor expansion of y in y 6.705 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 6.705 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.705 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.705 * [taylor]: Taking taylor expansion of x in y 6.705 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.706 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.706 * [taylor]: Taking taylor expansion of -1 in y 6.706 * [taylor]: Taking taylor expansion of x in y 6.709 * [taylor]: Taking taylor expansion of 0 in y 6.717 * [taylor]: Taking taylor expansion of 0 in y 6.727 * [taylor]: Taking taylor expansion of 0 in y 6.727 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 6.727 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 6.727 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 6.727 * [taylor]: Taking taylor expansion of (sin y) in y 6.727 * [taylor]: Taking taylor expansion of y in y 6.727 * [taylor]: Taking taylor expansion of y in y 6.728 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 6.728 * [taylor]: Taking taylor expansion of (sin y) in y 6.728 * [taylor]: Taking taylor expansion of y in y 6.728 * [taylor]: Taking taylor expansion of y in y 6.735 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 6.735 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 6.735 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.735 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.736 * [taylor]: Taking taylor expansion of y in y 6.736 * [taylor]: Taking taylor expansion of y in y 6.736 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 6.736 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.736 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.736 * [taylor]: Taking taylor expansion of y in y 6.736 * [taylor]: Taking taylor expansion of y in y 6.740 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 6.740 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 6.740 * [taylor]: Taking taylor expansion of -1 in y 6.740 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 6.740 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.740 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.740 * [taylor]: Taking taylor expansion of -1 in y 6.740 * [taylor]: Taking taylor expansion of y in y 6.741 * [taylor]: Taking taylor expansion of y in y 6.741 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 6.741 * [taylor]: Taking taylor expansion of -1 in y 6.741 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 6.741 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.741 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.741 * [taylor]: Taking taylor expansion of -1 in y 6.741 * [taylor]: Taking taylor expansion of y in y 6.741 * [taylor]: Taking taylor expansion of y in y 6.757 * * * [progress]: simplifying candidates 6.758 * [simplify]: Simplifying using # : (* (cosh x) (/ (sin y) y)) (+ (log (cosh x)) (- (log (sin y)) (log y))) (+ (log (cosh x)) (log (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (exp (* (cosh x) (/ (sin y) y))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y))) (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))) (* (cbrt (* (cosh x) (/ (sin y) y))) (cbrt (* (cosh x) (/ (sin y) y)))) (cbrt (* (cosh x) (/ (sin y) y))) (* (* (* (cosh x) (/ (sin y) y)) (* (cosh x) (/ (sin y) y))) (* (cosh x) (/ (sin y) y))) (sqrt (* (cosh x) (/ (sin y) y))) (sqrt (* (cosh x) (/ (sin y) y))) (* (+ (exp x) (exp (- 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)) (- (log (sin y)) (log y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y)) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y)) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) (- (sin y)) (- y) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (cbrt (sin y)) (sqrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) (/ (cbrt (sin y)) y) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) 1) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ 1 1) (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (/ (sin y) 1) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (sin y) (exp (- x))))) y) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) 6.762 * * [simplify]: iteration 0 : 120 enodes (cost 663 ) 6.781 * * [simplify]: iteration 1 : 268 enodes (cost 632 ) 6.844 * * [simplify]: iteration 2 : 1087 enodes (cost 568 ) 7.239 * * [simplify]: iteration done : 5000 enodes (cost 552 ) 7.240 * [simplify]: Simplified to: (/ (* (cosh x) (sin y)) y) (log (* (cosh x) (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (exp (* (cosh x) (/ (sin y) y))) (pow (* (cosh x) (/ (sin y) y)) 3) (pow (* (cosh x) (/ (sin y) y)) 3) (* (cbrt (* (cosh x) (/ (sin y) y))) (cbrt (* (cosh x) (/ (sin y) y)))) (cbrt (* (cosh x) (/ (sin y) y))) (pow (* (cosh x) (/ (sin y) y)) 3) (sqrt (* (cosh x) (/ (sin y) y))) (sqrt (* (cosh x) (/ (sin y) y))) (* (sin y) (* (cosh x) 2)) (* 2 y) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (cosh x) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (cosh x) (sqrt (/ (sin y) y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (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)) (/ (* (sin y) (* (cosh x) 2)) y) (log (/ (sin y) y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (pow (/ (sin y) y) 3) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (pow (/ (sin y) y) 3) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) (- (sin y)) (- y) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (cbrt y)) (/ (cbrt (sin y)) (/ (sqrt y) (cbrt (sin y)))) (/ (cbrt (sin y)) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ (cbrt (sin y)) y) (/ (/ (sqrt (sin y)) (cbrt y)) (cbrt y)) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (sqrt (sin y)) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) 1 (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (sin y) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (* (cosh x) (sin y)) y) (/ (* (cosh x) (sin y)) y) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) 7.240 * * * [progress]: adding candidates to table 7.387 * * [progress]: iteration 4 / 4 7.387 * * * [progress]: picking best candidate 7.400 * * * * [pick]: Picked # 7.400 * * * [progress]: localizing error 7.409 * * * [progress]: generating rewritten candidates 7.409 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 7.416 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 7.418 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 7.453 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 7.469 * * * [progress]: generating series expansions 7.469 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 7.469 * [approximate]: Taking taylor expansion of (sin y) in (y) around 0 7.469 * [taylor]: Taking taylor expansion of (sin y) in y 7.469 * [taylor]: Taking taylor expansion of y in y 7.469 * [taylor]: Taking taylor expansion of (sin y) in y 7.469 * [taylor]: Taking taylor expansion of y in y 7.474 * [approximate]: Taking taylor expansion of (sin (/ 1 y)) in (y) around 0 7.474 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.474 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.474 * [taylor]: Taking taylor expansion of y in y 7.475 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.475 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.475 * [taylor]: Taking taylor expansion of y in y 7.475 * [approximate]: Taking taylor expansion of (sin (/ -1 y)) in (y) around 0 7.475 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.475 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.475 * [taylor]: Taking taylor expansion of -1 in y 7.475 * [taylor]: Taking taylor expansion of y in y 7.476 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.476 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.476 * [taylor]: Taking taylor expansion of -1 in y 7.476 * [taylor]: Taking taylor expansion of y in y 7.476 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 7.477 * [approximate]: Taking taylor expansion of (/ (cosh x) y) in (x y) around 0 7.477 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in y 7.477 * [taylor]: Taking taylor expansion of (cosh x) in y 7.477 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 7.477 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 7.477 * [taylor]: Taking taylor expansion of (exp x) in y 7.477 * [taylor]: Taking taylor expansion of x in y 7.477 * [taylor]: Taking taylor expansion of (exp (- x)) in y 7.477 * [taylor]: Taking taylor expansion of (- x) in y 7.477 * [taylor]: Taking taylor expansion of x in y 7.477 * [taylor]: Taking taylor expansion of 2 in y 7.477 * [taylor]: Taking taylor expansion of y in y 7.477 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in x 7.477 * [taylor]: Taking taylor expansion of (cosh x) in x 7.477 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 7.477 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.477 * [taylor]: Taking taylor expansion of (exp x) in x 7.477 * [taylor]: Taking taylor expansion of x in x 7.477 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.477 * [taylor]: Taking taylor expansion of (- x) in x 7.477 * [taylor]: Taking taylor expansion of x in x 7.478 * [taylor]: Taking taylor expansion of 2 in x 7.478 * [taylor]: Taking taylor expansion of y in x 7.478 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in x 7.478 * [taylor]: Taking taylor expansion of (cosh x) in x 7.479 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 7.479 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.479 * [taylor]: Taking taylor expansion of (exp x) in x 7.479 * [taylor]: Taking taylor expansion of x in x 7.479 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.479 * [taylor]: Taking taylor expansion of (- x) in x 7.479 * [taylor]: Taking taylor expansion of x in x 7.479 * [taylor]: Taking taylor expansion of 2 in x 7.480 * [taylor]: Taking taylor expansion of y in x 7.480 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.480 * [taylor]: Taking taylor expansion of y in y 7.482 * [taylor]: Taking taylor expansion of 0 in y 7.486 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 7.486 * [taylor]: Taking taylor expansion of 1/2 in y 7.486 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.486 * [taylor]: Taking taylor expansion of y in y 7.492 * [taylor]: Taking taylor expansion of 0 in y 7.506 * [taylor]: Taking taylor expansion of (* 1/24 (/ 1 y)) in y 7.506 * [taylor]: Taking taylor expansion of 1/24 in y 7.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.506 * [taylor]: Taking taylor expansion of y in y 7.508 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in (x y) around 0 7.508 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in y 7.508 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 7.508 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 7.508 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 7.508 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.508 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.508 * [taylor]: Taking taylor expansion of x in y 7.508 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 7.508 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 7.508 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.508 * [taylor]: Taking taylor expansion of x in y 7.508 * [taylor]: Taking taylor expansion of 2 in y 7.508 * [taylor]: Taking taylor expansion of y in y 7.508 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in x 7.508 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 7.508 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 7.508 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.508 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.508 * [taylor]: Taking taylor expansion of x in x 7.509 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.509 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.509 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.509 * [taylor]: Taking taylor expansion of x in x 7.509 * [taylor]: Taking taylor expansion of 2 in x 7.510 * [taylor]: Taking taylor expansion of y in x 7.510 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in x 7.510 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 7.510 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 7.510 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.510 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.510 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.510 * [taylor]: Taking taylor expansion of x in x 7.510 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.510 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.510 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.510 * [taylor]: Taking taylor expansion of x in x 7.511 * [taylor]: Taking taylor expansion of 2 in x 7.511 * [taylor]: Taking taylor expansion of y in x 7.511 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 7.511 * [taylor]: Taking taylor expansion of 1/2 in y 7.511 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 7.511 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 7.511 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.511 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.511 * [taylor]: Taking taylor expansion of x in y 7.511 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 7.511 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 7.511 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.511 * [taylor]: Taking taylor expansion of x in y 7.511 * [taylor]: Taking taylor expansion of y in y 7.513 * [taylor]: Taking taylor expansion of 0 in y 7.517 * [taylor]: Taking taylor expansion of 0 in y 7.522 * [taylor]: Taking taylor expansion of 0 in y 7.523 * [approximate]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in (x y) around 0 7.523 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in y 7.523 * [taylor]: Taking taylor expansion of -1 in y 7.523 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in y 7.523 * [taylor]: Taking taylor expansion of y in y 7.523 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 7.523 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 7.523 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 7.523 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 7.523 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.523 * [taylor]: Taking taylor expansion of -1 in y 7.523 * [taylor]: Taking taylor expansion of x in y 7.523 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 7.523 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 7.523 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.523 * [taylor]: Taking taylor expansion of -1 in y 7.523 * [taylor]: Taking taylor expansion of x in y 7.523 * [taylor]: Taking taylor expansion of 2 in y 7.523 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in x 7.523 * [taylor]: Taking taylor expansion of -1 in x 7.523 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in x 7.523 * [taylor]: Taking taylor expansion of y in x 7.523 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 7.523 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 7.523 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.523 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.523 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.523 * [taylor]: Taking taylor expansion of -1 in x 7.523 * [taylor]: Taking taylor expansion of x in x 7.524 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.524 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.524 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.524 * [taylor]: Taking taylor expansion of -1 in x 7.524 * [taylor]: Taking taylor expansion of x in x 7.525 * [taylor]: Taking taylor expansion of 2 in x 7.525 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in x 7.525 * [taylor]: Taking taylor expansion of -1 in x 7.525 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in x 7.525 * [taylor]: Taking taylor expansion of y in x 7.525 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 7.525 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 7.525 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.525 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.525 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.525 * [taylor]: Taking taylor expansion of -1 in x 7.525 * [taylor]: Taking taylor expansion of x in x 7.525 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.525 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.525 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.525 * [taylor]: Taking taylor expansion of -1 in x 7.525 * [taylor]: Taking taylor expansion of x in x 7.526 * [taylor]: Taking taylor expansion of 2 in x 7.527 * [taylor]: Taking taylor expansion of (* -1/2 (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 7.527 * [taylor]: Taking taylor expansion of -1/2 in y 7.527 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 7.527 * [taylor]: Taking taylor expansion of y in y 7.527 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 7.527 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.527 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.527 * [taylor]: Taking taylor expansion of x in y 7.527 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 7.527 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.527 * [taylor]: Taking taylor expansion of -1 in y 7.527 * [taylor]: Taking taylor expansion of x in y 7.529 * [taylor]: Taking taylor expansion of 0 in y 7.533 * [taylor]: Taking taylor expansion of 0 in y 7.539 * [taylor]: Taking taylor expansion of 0 in y 7.539 * * * * [progress]: [ 3 / 4 ] generating series at (2) 7.539 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 7.539 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 7.539 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 7.539 * [taylor]: Taking taylor expansion of (sin y) in y 7.539 * [taylor]: Taking taylor expansion of y in y 7.539 * [taylor]: Taking taylor expansion of (cosh x) in y 7.539 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 7.539 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 7.540 * [taylor]: Taking taylor expansion of (exp x) in y 7.540 * [taylor]: Taking taylor expansion of x in y 7.540 * [taylor]: Taking taylor expansion of (exp (- x)) in y 7.540 * [taylor]: Taking taylor expansion of (- x) in y 7.540 * [taylor]: Taking taylor expansion of x in y 7.540 * [taylor]: Taking taylor expansion of 2 in y 7.540 * [taylor]: Taking taylor expansion of y in y 7.543 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 7.543 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 7.543 * [taylor]: Taking taylor expansion of (sin y) in x 7.543 * [taylor]: Taking taylor expansion of y in x 7.543 * [taylor]: Taking taylor expansion of (cosh x) in x 7.543 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 7.543 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.543 * [taylor]: Taking taylor expansion of (exp x) in x 7.543 * [taylor]: Taking taylor expansion of x in x 7.543 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.543 * [taylor]: Taking taylor expansion of (- x) in x 7.543 * [taylor]: Taking taylor expansion of x in x 7.544 * [taylor]: Taking taylor expansion of 2 in x 7.544 * [taylor]: Taking taylor expansion of y in x 7.544 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 7.544 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 7.544 * [taylor]: Taking taylor expansion of (sin y) in x 7.544 * [taylor]: Taking taylor expansion of y in x 7.544 * [taylor]: Taking taylor expansion of (cosh x) in x 7.544 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 7.544 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.544 * [taylor]: Taking taylor expansion of (exp x) in x 7.544 * [taylor]: Taking taylor expansion of x in x 7.544 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.544 * [taylor]: Taking taylor expansion of (- x) in x 7.544 * [taylor]: Taking taylor expansion of x in x 7.545 * [taylor]: Taking taylor expansion of 2 in x 7.545 * [taylor]: Taking taylor expansion of y in x 7.546 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 7.546 * [taylor]: Taking taylor expansion of (sin y) in y 7.546 * [taylor]: Taking taylor expansion of y in y 7.546 * [taylor]: Taking taylor expansion of y in y 7.550 * [taylor]: Taking taylor expansion of 0 in y 7.556 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 7.556 * [taylor]: Taking taylor expansion of 1/2 in y 7.556 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 7.556 * [taylor]: Taking taylor expansion of (sin y) in y 7.557 * [taylor]: Taking taylor expansion of y in y 7.557 * [taylor]: Taking taylor expansion of y in y 7.559 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 7.559 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 7.560 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 7.560 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 7.560 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 7.560 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.560 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.560 * [taylor]: Taking taylor expansion of x in y 7.560 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 7.560 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 7.560 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.560 * [taylor]: Taking taylor expansion of x in y 7.560 * [taylor]: Taking taylor expansion of 2 in y 7.560 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.560 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.560 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.560 * [taylor]: Taking taylor expansion of y in y 7.560 * [taylor]: Taking taylor expansion of y in y 7.560 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 7.560 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 7.561 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 7.561 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.561 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.561 * [taylor]: Taking taylor expansion of x in x 7.561 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.561 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.561 * [taylor]: Taking taylor expansion of x in x 7.561 * [taylor]: Taking taylor expansion of 2 in x 7.562 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 7.562 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.562 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.562 * [taylor]: Taking taylor expansion of y in x 7.562 * [taylor]: Taking taylor expansion of y in x 7.562 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 7.562 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 7.562 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 7.562 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.562 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.562 * [taylor]: Taking taylor expansion of x in x 7.562 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.562 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.562 * [taylor]: Taking taylor expansion of x in x 7.563 * [taylor]: Taking taylor expansion of 2 in x 7.563 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 7.563 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.563 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.563 * [taylor]: Taking taylor expansion of y in x 7.563 * [taylor]: Taking taylor expansion of y in x 7.564 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 7.564 * [taylor]: Taking taylor expansion of 1/2 in y 7.564 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 7.564 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.564 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.564 * [taylor]: Taking taylor expansion of y in y 7.564 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 7.564 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 7.564 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.564 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.564 * [taylor]: Taking taylor expansion of x in y 7.564 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 7.564 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 7.564 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.564 * [taylor]: Taking taylor expansion of x in y 7.564 * [taylor]: Taking taylor expansion of y in y 7.567 * [taylor]: Taking taylor expansion of 0 in y 7.574 * [taylor]: Taking taylor expansion of 0 in y 7.583 * [taylor]: Taking taylor expansion of 0 in y 7.583 * [approximate]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in (x y) around 0 7.583 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in y 7.583 * [taylor]: Taking taylor expansion of -1 in y 7.583 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in y 7.583 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 7.584 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 7.584 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 7.584 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 7.584 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.584 * [taylor]: Taking taylor expansion of -1 in y 7.584 * [taylor]: Taking taylor expansion of x in y 7.584 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 7.584 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 7.584 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.584 * [taylor]: Taking taylor expansion of -1 in y 7.584 * [taylor]: Taking taylor expansion of x in y 7.584 * [taylor]: Taking taylor expansion of 2 in y 7.584 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 7.584 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.584 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.584 * [taylor]: Taking taylor expansion of -1 in y 7.584 * [taylor]: Taking taylor expansion of y in y 7.584 * [taylor]: Taking taylor expansion of y in y 7.584 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in x 7.585 * [taylor]: Taking taylor expansion of -1 in x 7.585 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in x 7.585 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 7.585 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 7.585 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.585 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.585 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.585 * [taylor]: Taking taylor expansion of -1 in x 7.585 * [taylor]: Taking taylor expansion of x in x 7.590 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.590 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.590 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.590 * [taylor]: Taking taylor expansion of -1 in x 7.590 * [taylor]: Taking taylor expansion of x in x 7.591 * [taylor]: Taking taylor expansion of 2 in x 7.591 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 7.591 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.591 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.591 * [taylor]: Taking taylor expansion of -1 in x 7.591 * [taylor]: Taking taylor expansion of y in x 7.591 * [taylor]: Taking taylor expansion of y in x 7.591 * [taylor]: Taking taylor expansion of (* -1 (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y))) in x 7.591 * [taylor]: Taking taylor expansion of -1 in x 7.591 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) (* (sin (/ -1 y)) y)) in x 7.591 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 7.592 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 7.592 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.592 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.592 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.592 * [taylor]: Taking taylor expansion of -1 in x 7.592 * [taylor]: Taking taylor expansion of x in x 7.592 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.592 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.592 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.592 * [taylor]: Taking taylor expansion of -1 in x 7.592 * [taylor]: Taking taylor expansion of x in x 7.593 * [taylor]: Taking taylor expansion of 2 in x 7.593 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 7.593 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.593 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.593 * [taylor]: Taking taylor expansion of -1 in x 7.593 * [taylor]: Taking taylor expansion of y in x 7.593 * [taylor]: Taking taylor expansion of y in x 7.593 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 7.593 * [taylor]: Taking taylor expansion of -1/2 in y 7.593 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 7.594 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.594 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.594 * [taylor]: Taking taylor expansion of -1 in y 7.594 * [taylor]: Taking taylor expansion of y in y 7.594 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 7.594 * [taylor]: Taking taylor expansion of y in y 7.594 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 7.594 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.594 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.594 * [taylor]: Taking taylor expansion of x in y 7.594 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 7.594 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.594 * [taylor]: Taking taylor expansion of -1 in y 7.594 * [taylor]: Taking taylor expansion of x in y 7.598 * [taylor]: Taking taylor expansion of 0 in y 7.605 * [taylor]: Taking taylor expansion of 0 in y 7.615 * [taylor]: Taking taylor expansion of 0 in y 7.615 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 7.615 * [approximate]: Taking taylor expansion of (/ 1 (sin y)) in (y) around 0 7.615 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 7.615 * [taylor]: Taking taylor expansion of (sin y) in y 7.615 * [taylor]: Taking taylor expansion of y in y 7.616 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 7.616 * [taylor]: Taking taylor expansion of (sin y) in y 7.616 * [taylor]: Taking taylor expansion of y in y 7.623 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in (y) around 0 7.623 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 7.623 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.623 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.623 * [taylor]: Taking taylor expansion of y in y 7.624 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 7.624 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.624 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.624 * [taylor]: Taking taylor expansion of y in y 7.625 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in (y) around 0 7.625 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 7.626 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.626 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.626 * [taylor]: Taking taylor expansion of -1 in y 7.626 * [taylor]: Taking taylor expansion of y in y 7.626 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 7.626 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.626 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.626 * [taylor]: Taking taylor expansion of -1 in y 7.626 * [taylor]: Taking taylor expansion of y in y 7.628 * * * [progress]: simplifying candidates 7.631 * [simplify]: Simplifying using # : (- -1) (- (- 1)) (- 1) (- (- (log (sin y)))) (- (- 0 (log (sin y)))) (- (- (log 1) (log (sin y)))) (- (log (/ 1 (sin y)))) (- 0 (- (log (sin y)))) (- 0 (- 0 (log (sin y)))) (- 0 (- (log 1) (log (sin y)))) (- 0 (log (/ 1 (sin y)))) (- (log 1) (- (log (sin y)))) (- (log 1) (- 0 (log (sin y)))) (- (log 1) (- (log 1) (log (sin y)))) (- (log 1) (log (/ 1 (sin y)))) (log (/ 1 (/ 1 (sin y)))) (exp (/ 1 (/ 1 (sin y)))) (/ (* (* 1 1) 1) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y)))) (/ (* (* 1 1) 1) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y)))) (* (cbrt (/ 1 (/ 1 (sin y)))) (cbrt (/ 1 (/ 1 (sin y))))) (cbrt (/ 1 (/ 1 (sin y)))) (* (* (/ 1 (/ 1 (sin y))) (/ 1 (/ 1 (sin y)))) (/ 1 (/ 1 (sin y)))) (sqrt (/ 1 (/ 1 (sin y)))) (sqrt (/ 1 (/ 1 (sin y)))) (- 1) (- (/ 1 (sin y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (cbrt 1) (cbrt (/ 1 (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ 1 (sin y)))) (/ (cbrt 1) (sqrt (/ 1 (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ (cbrt 1) (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (cbrt 1) (/ (cbrt 1) (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (cbrt 1) (/ (cbrt 1) (sin y))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ (sqrt 1) (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 1) (sqrt (sin y)))) (/ (cbrt 1) (/ (sqrt 1) (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 1) 1)) (/ (cbrt 1) (/ (sqrt 1) (sin y))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ 1 (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (sin y)))) (/ (cbrt 1) (/ 1 (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ 1 (sin y))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ 1 (sin y))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ 1 (sin y))) (/ (sqrt 1) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (sqrt 1) (cbrt (/ 1 (sin y)))) (/ (sqrt 1) (sqrt (/ 1 (sin y)))) (/ (sqrt 1) (sqrt (/ 1 (sin y)))) (/ (sqrt 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ (cbrt 1) (cbrt (sin y)))) (/ (sqrt 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (sqrt 1) (/ (cbrt 1) (sqrt (sin y)))) (/ (sqrt 1) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (sqrt 1) (/ (cbrt 1) (sin y))) (/ (sqrt 1) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ (sqrt 1) (cbrt (sin y)))) (/ (sqrt 1) (/ (sqrt 1) (sqrt (sin y)))) (/ (sqrt 1) (/ (sqrt 1) (sqrt (sin y)))) (/ (sqrt 1) (/ (sqrt 1) 1)) (/ (sqrt 1) (/ (sqrt 1) (sin y))) (/ (sqrt 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ 1 (cbrt (sin y)))) (/ (sqrt 1) (/ 1 (sqrt (sin y)))) (/ (sqrt 1) (/ 1 (sqrt (sin y)))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ 1 (sin y))) (/ (sqrt 1) 1) (/ (sqrt 1) (/ 1 (sin y))) (/ (sqrt 1) 1) (/ (sqrt 1) (/ 1 (sin y))) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ 1 (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (cbrt 1) (cbrt (sin y)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ 1 (/ (cbrt 1) (sqrt (sin y)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1)) (/ 1 (/ (cbrt 1) (sin y))) (/ 1 (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (sqrt 1) (cbrt (sin y)))) (/ 1 (/ (sqrt 1) (sqrt (sin y)))) (/ 1 (/ (sqrt 1) (sqrt (sin y)))) (/ 1 (/ (sqrt 1) 1)) (/ 1 (/ (sqrt 1) (sin y))) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ 1 (cbrt (sin y)))) (/ 1 (/ 1 (sqrt (sin y)))) (/ 1 (/ 1 (sqrt (sin y)))) (/ 1 (/ 1 1)) (/ 1 (/ 1 (sin y))) (/ 1 1) (/ 1 (/ 1 (sin y))) (/ 1 1) (/ 1 (/ 1 (sin y))) (/ 1 (/ 1 (sin y))) (/ (/ 1 (sin y)) 1) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ 1 (sqrt (/ 1 (sin y)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1)) (/ 1 (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (sqrt 1) (sqrt (sin y)))) (/ 1 (/ (sqrt 1) 1)) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ 1 (sqrt (sin y)))) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 1) (/ (/ 1 (sin y)) (cbrt 1)) (/ (/ 1 (sin y)) (sqrt 1)) (/ (/ 1 (sin y)) 1) (/ 1 1) (- (log (cosh x)) (log y)) (log (/ (cosh x) y)) (exp (/ (cosh x) y)) (/ (* (* (cosh x) (cosh x)) (cosh x)) (* (* y y) y)) (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (cbrt (/ (cosh x) y)) (* (* (/ (cosh x) y) (/ (cosh x) y)) (/ (cosh x) y)) (sqrt (/ (cosh x) y)) (sqrt (/ (cosh x) y)) (- (cosh x)) (- y) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (/ (cbrt (cosh x)) (cbrt y)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (/ (cbrt (cosh x)) (sqrt y)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) (/ (cbrt (cosh x)) y) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (/ (sqrt (cosh x)) (cbrt y)) (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt (cosh x)) 1) (/ (sqrt (cosh x)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (cosh x) (cbrt y)) (/ 1 (sqrt y)) (/ (cosh x) (sqrt y)) (/ 1 1) (/ (cosh x) y) (/ 1 y) (/ y (cosh x)) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (sqrt y)) (/ (cosh x) 1) (/ y (cbrt (cosh x))) (/ y (sqrt (cosh x))) (/ y (cosh x)) (* y 2) (* (/ (cosh x) y) (/ 1 (/ 1 (sin y)))) (+ (- (log (cosh x)) (log y)) (- (- (log (sin y))))) (+ (- (log (cosh x)) (log y)) (- (- 0 (log (sin y))))) (+ (- (log (cosh x)) (log y)) (- (- (log 1) (log (sin y))))) (+ (- (log (cosh x)) (log y)) (- (log (/ 1 (sin y))))) (+ (- (log (cosh x)) (log y)) (- 0 (- (log (sin y))))) (+ (- (log (cosh x)) (log y)) (- 0 (- 0 (log (sin y))))) (+ (- (log (cosh x)) (log y)) (- 0 (- (log 1) (log (sin y))))) (+ (- (log (cosh x)) (log y)) (- 0 (log (/ 1 (sin y))))) (+ (- (log (cosh x)) (log y)) (- (log 1) (- (log (sin y))))) (+ (- (log (cosh x)) (log y)) (- (log 1) (- 0 (log (sin y))))) (+ (- (log (cosh x)) (log y)) (- (log 1) (- (log 1) (log (sin y))))) (+ (- (log (cosh x)) (log y)) (- (log 1) (log (/ 1 (sin y))))) (+ (- (log (cosh x)) (log y)) (log (/ 1 (/ 1 (sin y))))) (+ (log (/ (cosh x) y)) (- (- (log (sin y))))) (+ (log (/ (cosh x) y)) (- (- 0 (log (sin y))))) (+ (log (/ (cosh x) y)) (- (- (log 1) (log (sin y))))) (+ (log (/ (cosh x) y)) (- (log (/ 1 (sin y))))) (+ (log (/ (cosh x) y)) (- 0 (- (log (sin y))))) (+ (log (/ (cosh x) y)) (- 0 (- 0 (log (sin y))))) (+ (log (/ (cosh x) y)) (- 0 (- (log 1) (log (sin y))))) (+ (log (/ (cosh x) y)) (- 0 (log (/ 1 (sin y))))) (+ (log (/ (cosh x) y)) (- (log 1) (- (log (sin y))))) (+ (log (/ (cosh x) y)) (- (log 1) (- 0 (log (sin y))))) (+ (log (/ (cosh x) y)) (- (log 1) (- (log 1) (log (sin y))))) (+ (log (/ (cosh x) y)) (- (log 1) (log (/ 1 (sin y))))) (+ (log (/ (cosh x) y)) (log (/ 1 (/ 1 (sin y))))) (log (* (/ (cosh x) y) (/ 1 (/ 1 (sin y))))) (exp (* (/ (cosh x) y) (/ 1 (/ 1 (sin y))))) (* (/ (* (* (cosh x) (cosh x)) (cosh x)) (* (* y y) y)) (/ (* (* 1 1) 1) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y))))) (* (/ (* (* (cosh x) (cosh x)) (cosh x)) (* (* y y) y)) (/ (* (* 1 1) 1) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y))))) (* (/ (* (* (cosh x) (cosh x)) (cosh x)) (* (* y y) y)) (* (* (/ 1 (/ 1 (sin y))) (/ 1 (/ 1 (sin y)))) (/ 1 (/ 1 (sin y))))) (* (* (* (/ (cosh x) y) (/ (cosh x) y)) (/ (cosh x) y)) (/ (* (* 1 1) 1) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y))))) (* (* (* (/ (cosh x) y) (/ (cosh x) y)) (/ (cosh x) y)) (/ (* (* 1 1) 1) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y))))) (* (* (* (/ (cosh x) y) (/ (cosh x) y)) (/ (cosh x) y)) (* (* (/ 1 (/ 1 (sin y))) (/ 1 (/ 1 (sin y)))) (/ 1 (/ 1 (sin y))))) (* (cbrt (* (/ (cosh x) y) (/ 1 (/ 1 (sin y))))) (cbrt (* (/ (cosh x) y) (/ 1 (/ 1 (sin y)))))) (cbrt (* (/ (cosh x) y) (/ 1 (/ 1 (sin y))))) (* (* (* (/ (cosh x) y) (/ 1 (/ 1 (sin y)))) (* (/ (cosh x) y) (/ 1 (/ 1 (sin y))))) (* (/ (cosh x) y) (/ 1 (/ 1 (sin y))))) (sqrt (* (/ (cosh x) y) (/ 1 (/ 1 (sin y))))) (sqrt (* (/ (cosh x) y) (/ 1 (/ 1 (sin y))))) (* (cosh x) 1) (* y (/ 1 (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (/ 1 (/ 1 (sin y))))) (* (sqrt (/ (cosh x) y)) (sqrt (/ 1 (/ 1 (sin y))))) (* (sqrt (/ (cosh x) y)) (/ (sqrt 1) (sqrt (/ 1 (sin y))))) (* (sqrt (/ (cosh x) y)) (/ (sqrt 1) (sqrt (/ 1 (sin y))))) (* (sqrt (/ (cosh x) y)) (/ (sqrt 1) (/ (sqrt 1) (sqrt (sin y))))) (* (sqrt (/ (cosh x) y)) (/ (sqrt 1) (/ (sqrt 1) (sqrt (sin y))))) (* (sqrt (/ (cosh x) y)) (/ (sqrt 1) (/ 1 (sqrt (sin y))))) (* (sqrt (/ (cosh x) y)) (/ (sqrt 1) (/ 1 (sqrt (sin y))))) (* (sqrt (/ (cosh x) y)) (/ 1 (sqrt (/ 1 (sin y))))) (* (sqrt (/ (cosh x) y)) (/ 1 (sqrt (/ 1 (sin y))))) (* (sqrt (/ (cosh x) y)) (/ 1 (/ (sqrt 1) (sqrt (sin y))))) (* (sqrt (/ (cosh x) y)) (/ 1 (/ (sqrt 1) (sqrt (sin y))))) (* (sqrt (/ (cosh x) y)) (/ 1 (/ 1 (sqrt (sin y))))) (* (sqrt (/ (cosh x) y)) (/ 1 (/ 1 (sqrt (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (sqrt (/ 1 (/ 1 (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (sqrt (/ 1 (/ 1 (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt 1) (sqrt (/ 1 (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt 1) (sqrt (/ 1 (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt 1) (/ (sqrt 1) (sqrt (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt 1) (/ (sqrt 1) (sqrt (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt 1) (/ 1 (sqrt (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt 1) (/ 1 (sqrt (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (sqrt (/ 1 (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (sqrt (/ 1 (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (/ (sqrt 1) (sqrt (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (/ (sqrt 1) (sqrt (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (/ 1 (sqrt (sin y))))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (/ 1 (sqrt (sin y))))) (* (/ (cosh x) y) (* (cbrt (/ 1 (/ 1 (sin y)))) (cbrt (/ 1 (/ 1 (sin y)))))) (* (/ (cosh x) y) (sqrt (/ 1 (/ 1 (sin y))))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ 1 (sin y))))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 1) (cbrt 1)) 1))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 1) (sqrt (sin y))))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 1) 1))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (sin y))))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (/ (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (/ (cosh x) y) (/ (sqrt 1) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (/ (cosh x) y) (/ (sqrt 1) (sqrt (/ 1 (sin y))))) (* (/ (cosh x) y) (/ (sqrt 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (/ (cosh x) y) (/ (sqrt 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))) (* (/ (cosh x) y) (/ (sqrt 1) (/ (* (cbrt 1) (cbrt 1)) 1))) (* (/ (cosh x) y) (/ (sqrt 1) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (/ (cosh x) y) (/ (sqrt 1) (/ (sqrt 1) (sqrt (sin y))))) (* (/ (cosh x) y) (/ (sqrt 1) (/ (sqrt 1) 1))) (* (/ (cosh x) y) (/ (sqrt 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (/ (cosh x) y) (/ (sqrt 1) (/ 1 (sqrt (sin y))))) (* (/ (cosh x) y) (/ (sqrt 1) (/ 1 1))) (* (/ (cosh x) y) (/ (sqrt 1) 1)) (* (/ (cosh x) y) (/ (sqrt 1) 1)) (* (/ (cosh x) y) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))) (* (/ (cosh x) y) (/ 1 (sqrt (/ 1 (sin y))))) (* (/ (cosh x) y) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (/ (cosh x) y) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))) (* (/ (cosh x) y) (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1))) (* (/ (cosh x) y) (/ 1 (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (/ (cosh x) y) (/ 1 (/ (sqrt 1) (sqrt (sin y))))) (* (/ (cosh x) y) (/ 1 (/ (sqrt 1) 1))) (* (/ (cosh x) y) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (/ (cosh x) y) (/ 1 (/ 1 (sqrt (sin y))))) (* (/ (cosh x) y) (/ 1 (/ 1 1))) (* (/ (cosh x) y) (/ 1 1)) (* (/ (cosh x) y) (/ 1 1)) (* (/ (cosh x) y) 1) (* (/ (cosh x) y) 1) (* (/ (cosh x) y) (/ 1 1)) (* (cbrt (/ (cosh x) y)) (/ 1 (/ 1 (sin y)))) (* (sqrt (/ (cosh x) y)) (/ 1 (/ 1 (sin y)))) (* (/ (cbrt (cosh x)) (cbrt y)) (/ 1 (/ 1 (sin y)))) (* (/ (cbrt (cosh x)) (sqrt y)) (/ 1 (/ 1 (sin y)))) (* (/ (cbrt (cosh x)) y) (/ 1 (/ 1 (sin y)))) (* (/ (sqrt (cosh x)) (cbrt y)) (/ 1 (/ 1 (sin y)))) (* (/ (sqrt (cosh x)) (sqrt y)) (/ 1 (/ 1 (sin y)))) (* (/ (sqrt (cosh x)) y) (/ 1 (/ 1 (sin y)))) (* (/ (cosh x) (cbrt y)) (/ 1 (/ 1 (sin y)))) (* (/ (cosh x) (sqrt y)) (/ 1 (/ 1 (sin y)))) (* (/ (cosh x) y) (/ 1 (/ 1 (sin y)))) (* (/ (cosh x) y) (/ 1 (/ 1 (sin y)))) (* (/ 1 y) (/ 1 (/ 1 (sin y)))) (* (/ (cosh x) y) 1) (* (cosh x) (/ 1 (/ 1 (sin y)))) (- 1) (- (log (sin y))) (- 0 (log (sin y))) (- (log 1) (log (sin y))) (log (/ 1 (sin y))) (exp (/ 1 (sin y))) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y))) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y))) (sqrt (/ 1 (sin y))) (sqrt (/ 1 (sin y))) (- 1) (- (sin y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt 1) (cbrt (sin y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))) (/ (cbrt 1) (sqrt (sin y))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (sin y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt 1) (cbrt (sin y))) (/ (sqrt 1) (sqrt (sin y))) (/ (sqrt 1) (sqrt (sin y))) (/ (sqrt 1) 1) (/ (sqrt 1) (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ 1 (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ 1 (sqrt (sin y))) (/ 1 1) (/ 1 (sin y)) (/ 1 (sin y)) (/ (sin y) 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ 1 (sqrt (sin y))) (/ 1 1) (/ (sin y) (cbrt 1)) (/ (sin y) (sqrt 1)) (/ (sin y) 1) (- (+ y (* 1/120 (pow y 5))) (* 1/6 (pow y 3))) (sin y) (sin y) (+ (* 1/24 (/ (pow x 4) y)) (+ (/ 1 y) (* 1/2 (/ (pow x 2) y)))) (/ (+ (* 1/2 (exp x)) (* 1/2 (exp (- x)))) y) (/ (+ (* 1/2 (exp (* -1 x))) (* 1/2 (exp x))) y) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (sin y) (exp (- x))))) y) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) (+ (* 7/360 (pow y 3)) (+ (/ 1 y) (* 1/6 y))) (/ 1 (sin y)) (/ 1 (sin y)) 7.642 * * [simplify]: iteration 0 : 345 enodes (cost 3564 ) 7.719 * * [simplify]: iteration 1 : 990 enodes (cost 2630 ) 8.041 * * [simplify]: iteration 2 : 3237 enodes (cost 2026 ) 10.977 * * [simplify]: iteration done : 5000 enodes (cost 2014 ) 10.978 * [simplify]: Simplified to: 1 1 -1 (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (log (sin y)) (exp (sin y)) (pow (sin y) 3) (pow (sin y) 3) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (pow (sin y) 3) (sqrt (sin y)) (sqrt (sin y)) -1 (/ -1 (sin y)) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ 1 (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (sqrt (sin y)) (sqrt (sin y)) 1 (sin y) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (sqrt (sin y)) (sqrt (sin y)) 1 (sin y) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (sqrt (sin y)) (sqrt (sin y)) 1 (sin y) 1 (sin y) 1 (sin y) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ 1 (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (sqrt (sin y)) (sqrt (sin y)) 1 (sin y) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (sqrt (sin y)) (sqrt (sin y)) 1 (sin y) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (sqrt (sin y)) (sqrt (sin y)) 1 (sin y) 1 (sin y) 1 (sin y) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ 1 (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (sqrt (sin y)) (sqrt (sin y)) 1 (sin y) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (sqrt (sin y)) (sqrt (sin y)) 1 (sin y) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (sqrt (sin y)) (sqrt (sin y)) 1 (sin y) 1 (sin y) 1 (sin y) (sin y) (/ 1 (sin y)) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ 1 (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (sqrt (sin y)) 1 (* (cbrt (sin y)) (cbrt (sin y))) (sqrt (sin y)) 1 (* (cbrt (sin y)) (cbrt (sin y))) (sqrt (sin y)) 1 1 1 (/ 1 (sin y)) (/ 1 (sin y)) (/ 1 (sin y)) 1 (log (/ (cosh x) y)) (log (/ (cosh x) y)) (exp (/ (cosh x) y)) (pow (/ (cosh x) y) 3) (* (cbrt (/ (cosh x) y)) (cbrt (/ (cosh x) y))) (cbrt (/ (cosh x) y)) (pow (/ (cosh x) y) 3) (sqrt (/ (cosh x) y)) (sqrt (/ (cosh x) y)) (- (cosh x)) (- y) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (/ (cbrt (cosh x)) (cbrt y)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (/ (cbrt (cosh x)) (sqrt y)) (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (cbrt (cosh x)) y) (/ (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (/ (sqrt (cosh x)) (cbrt y)) (/ (sqrt (cosh x)) (sqrt y)) (/ (sqrt (cosh x)) (sqrt y)) (sqrt (cosh x)) (/ (sqrt (cosh x)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (cosh x) (cbrt y)) (/ 1 (sqrt y)) (/ (cosh x) (sqrt y)) 1 (/ (cosh x) y) (/ 1 y) (/ y (cosh x)) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (sqrt y)) (cosh x) (/ y (cbrt (cosh x))) (/ y (sqrt (cosh x))) (/ y (cosh x)) (* y 2) (/ (* (sin y) (cosh x)) y) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (log (/ (* (sin y) (cosh x)) y)) (pow (exp (/ (cosh x) y)) (sin y)) (pow (/ (* (sin y) (cosh x)) y) 3) (pow (/ (* (sin y) (cosh x)) y) 3) (pow (/ (* (sin y) (cosh x)) y) 3) (pow (/ (* (sin y) (cosh x)) y) 3) (pow (/ (* (sin y) (cosh x)) y) 3) (pow (/ (* (sin y) (cosh x)) y) 3) (* (cbrt (/ (* (sin y) (cosh x)) y)) (cbrt (/ (* (sin y) (cosh x)) y))) (cbrt (/ (* (sin y) (cosh x)) y)) (pow (/ (* (sin y) (cosh x)) y) 3) (sqrt (/ (* (sin y) (cosh x)) y)) (sqrt (/ (* (sin y) (cosh x)) y)) (cosh x) (/ y (sin y)) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (/ (sqrt (/ (cosh x) y)) (sqrt (/ 1 (sin y)))) (/ (sqrt (/ (cosh x) y)) (sqrt (/ 1 (sin y)))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (/ (sqrt (/ (cosh x) y)) (sqrt (/ 1 (sin y)))) (/ (sqrt (/ (cosh x) y)) (sqrt (/ 1 (sin y)))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (* (sqrt (/ (cosh x) y)) (sqrt (sin y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (/ (/ (sqrt (cosh x)) (sqrt (/ 1 (sin y)))) (sqrt y)) (/ (/ (sqrt (cosh x)) (sqrt (/ 1 (sin y)))) (sqrt y)) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (/ (/ (sqrt (cosh x)) (sqrt (/ 1 (sin y)))) (sqrt y)) (/ (/ (sqrt (cosh x)) (sqrt (/ 1 (sin y)))) (sqrt y)) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (* (sqrt (sin y)) (/ (sqrt (cosh x)) (sqrt y))) (/ (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) y) (/ (* (cosh x) (sqrt (sin y))) y) (/ (/ (cosh x) y) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) (sqrt (/ 1 (sin y)))) y) (/ (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) y) (/ (* (cosh x) (sqrt (sin y))) y) (/ (cosh x) y) (/ (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) y) (/ (* (cosh x) (sqrt (sin y))) y) (/ (cosh x) y) (/ (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) y) (/ (* (cosh x) (sqrt (sin y))) y) (/ (cosh x) y) (/ (cosh x) y) (/ (cosh x) y) (/ (/ (cosh x) y) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) (sqrt (/ 1 (sin y)))) y) (/ (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) y) (/ (* (cosh x) (sqrt (sin y))) y) (/ (cosh x) y) (/ (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) y) (/ (* (cosh x) (sqrt (sin y))) y) (/ (cosh x) y) (/ (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) y) (/ (* (cosh x) (sqrt (sin y))) y) (/ (cosh x) y) (/ (cosh x) y) (/ (cosh x) y) (/ (/ (cosh x) y) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cosh x) (sqrt (/ 1 (sin y)))) y) (/ (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) y) (/ (* (cosh x) (sqrt (sin y))) y) (/ (cosh x) y) (/ (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) y) (/ (* (cosh x) (sqrt (sin y))) y) (/ (cosh x) y) (/ (* (cosh x) (* (cbrt (sin y)) (cbrt (sin y)))) y) (/ (* (cosh x) (sqrt (sin y))) y) (/ (cosh x) y) (/ (cosh x) y) (/ (cosh x) y) (/ (cosh x) y) (/ (cosh x) y) (/ (cosh x) y) (* (cbrt (/ (cosh x) y)) (sin y)) (* (sqrt (/ (cosh x) y)) (sin y)) (* (sin y) (/ (cbrt (cosh x)) (cbrt y))) (* (/ (cbrt (cosh x)) (sqrt y)) (sin y)) (* (/ (cbrt (cosh x)) y) (sin y)) (* (sin y) (/ (sqrt (cosh x)) (cbrt y))) (* (/ (sqrt (cosh x)) (sqrt y)) (sin y)) (* (sin y) (/ (sqrt (cosh x)) y)) (* (/ (cosh x) (cbrt y)) (sin y)) (* (/ (cosh x) (sqrt y)) (sin y)) (/ (* (sin y) (cosh x)) y) (/ (* (sin y) (cosh x)) y) (/ (sin y) y) (/ (cosh x) y) (* (sin y) (cosh x)) -1 (- (log (sin y))) (- (log (sin y))) (- (log (sin y))) (- (log (sin y))) (exp (/ 1 (sin y))) (pow (/ 1 (sin y)) 3) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y))) (pow (/ 1 (sin y)) 3) (sqrt (/ 1 (sin y))) (sqrt (/ 1 (sin y))) -1 (- (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ 1 (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ 1 (sqrt (sin y))) 1 (/ 1 (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ 1 (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ 1 (sqrt (sin y))) 1 (/ 1 (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ 1 (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ 1 (sqrt (sin y))) 1 (/ 1 (sin y)) (/ 1 (sin y)) (sin y) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ 1 (sqrt (sin y))) 1 (sin y) (sin y) (sin y) (- (+ y (* 1/120 (pow y 5))) (* 1/6 (pow y 3))) (sin y) (sin y) (+ (* 1/24 (/ (pow x 4) y)) (+ (/ 1 y) (* 1/2 (/ (pow x 2) y)))) (/ (cosh x) y) (/ (cosh x) y) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (* (* 1/2 (sin y)) (+ (exp (- x)) (exp x))) y) (/ (* (* 1/2 (sin y)) (+ (exp (- x)) (exp x))) y) (+ (* 7/360 (pow y 3)) (+ (/ 1 y) (* 1/6 y))) (/ 1 (sin y)) (/ 1 (sin y)) 10.980 * * * [progress]: adding candidates to table 11.348 * [progress]: [Phase 3 of 3] Extracting. 11.348 * * [regime]: Finding splitpoints for: (# # # # # # #) 11.349 * * * [regime-changes]: Trying 5 branch expressions: ((/ (sin y) y) (cosh x) (* (cosh x) (/ (sin y) y)) y x) 11.349 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (# # # # # # #) 11.378 * * * * [regimes]: Trying to branch on (cosh x) from (# # # # # # #) 11.402 * * * * [regimes]: Trying to branch on (* (cosh x) (/ (sin y) y)) from (# # # # # # #) 11.434 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 11.460 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 11.485 * * * [regime]: Found split indices: #