21.179 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.077 * * * [progress]: [2/2] Setting up program. 0.079 * [progress]: [Phase 2 of 3] Improving. 0.080 * [simplify]: Simplifying using # : (* (cosh x) (/ (sin y) y)) 0.081 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.082 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.084 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 0.088 * * [simplify]: iteration 3 : 53 enodes (cost 7 ) 0.095 * * [simplify]: iteration 4 : 96 enodes (cost 7 ) 0.114 * * [simplify]: iteration 5 : 137 enodes (cost 7 ) 0.145 * * [simplify]: iteration 6 : 249 enodes (cost 7 ) 0.237 * * [simplify]: iteration 7 : 538 enodes (cost 7 ) 0.540 * * [simplify]: iteration 8 : 1153 enodes (cost 7 ) 1.531 * * [simplify]: iteration 9 : 1833 enodes (cost 7 ) 2.581 * * [simplify]: iteration 10 : 2215 enodes (cost 7 ) 3.729 * * [simplify]: iteration 11 : 2315 enodes (cost 7 ) 4.791 * * [simplify]: iteration done : 2315 enodes (cost 7 ) 4.791 * [simplify]: Simplified to: (* (cosh x) (/ (sin y) y)) 4.792 * * [progress]: iteration 1 / 4 4.792 * * * [progress]: picking best candidate 4.794 * * * * [pick]: Picked # 4.794 * * * [progress]: localizing error 4.807 * * * [progress]: generating rewritten candidates 4.807 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 4.816 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 4.821 * * * [progress]: generating series expansions 4.821 * * * * [progress]: [ 1 / 2 ] generating series at (2) 4.821 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 4.821 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 4.821 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 4.821 * [taylor]: Taking taylor expansion of (sin y) in y 4.821 * [taylor]: Taking taylor expansion of y in y 4.821 * [taylor]: Taking taylor expansion of (cosh x) in y 4.821 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.822 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 4.822 * [taylor]: Taking taylor expansion of (exp x) in y 4.822 * [taylor]: Taking taylor expansion of x in y 4.822 * [taylor]: Taking taylor expansion of (exp (- x)) in y 4.822 * [taylor]: Taking taylor expansion of (- x) in y 4.822 * [taylor]: Taking taylor expansion of x in y 4.822 * [taylor]: Taking taylor expansion of 2 in y 4.822 * [taylor]: Taking taylor expansion of y in y 4.826 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 4.826 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 4.826 * [taylor]: Taking taylor expansion of (sin y) in x 4.826 * [taylor]: Taking taylor expansion of y in x 4.826 * [taylor]: Taking taylor expansion of (cosh x) in x 4.826 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.826 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.826 * [taylor]: Taking taylor expansion of (exp x) in x 4.826 * [taylor]: Taking taylor expansion of x in x 4.826 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.826 * [taylor]: Taking taylor expansion of (- x) in x 4.826 * [taylor]: Taking taylor expansion of x in x 4.827 * [taylor]: Taking taylor expansion of 2 in x 4.828 * [taylor]: Taking taylor expansion of y in x 4.828 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 4.828 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 4.828 * [taylor]: Taking taylor expansion of (sin y) in x 4.828 * [taylor]: Taking taylor expansion of y in x 4.828 * [taylor]: Taking taylor expansion of (cosh x) in x 4.828 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.828 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.828 * [taylor]: Taking taylor expansion of (exp x) in x 4.828 * [taylor]: Taking taylor expansion of x in x 4.828 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.828 * [taylor]: Taking taylor expansion of (- x) in x 4.828 * [taylor]: Taking taylor expansion of x in x 4.829 * [taylor]: Taking taylor expansion of 2 in x 4.830 * [taylor]: Taking taylor expansion of y in x 4.830 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.830 * [taylor]: Taking taylor expansion of (sin y) in y 4.830 * [taylor]: Taking taylor expansion of y in y 4.830 * [taylor]: Taking taylor expansion of y in y 4.836 * [taylor]: Taking taylor expansion of 0 in y 4.844 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 4.844 * [taylor]: Taking taylor expansion of 1/2 in y 4.844 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.844 * [taylor]: Taking taylor expansion of (sin y) in y 4.844 * [taylor]: Taking taylor expansion of y in y 4.844 * [taylor]: Taking taylor expansion of y in y 4.848 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 4.848 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 4.848 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 4.848 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.848 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 4.848 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.848 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.848 * [taylor]: Taking taylor expansion of x in y 4.848 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 4.848 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 4.848 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.848 * [taylor]: Taking taylor expansion of x in y 4.848 * [taylor]: Taking taylor expansion of 2 in y 4.848 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.848 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.848 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.848 * [taylor]: Taking taylor expansion of y in y 4.849 * [taylor]: Taking taylor expansion of y in y 4.849 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 4.849 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 4.849 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.849 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.849 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.849 * [taylor]: Taking taylor expansion of x in x 4.850 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.850 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.850 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.850 * [taylor]: Taking taylor expansion of x in x 4.851 * [taylor]: Taking taylor expansion of 2 in x 4.851 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 4.851 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 4.851 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.851 * [taylor]: Taking taylor expansion of y in x 4.851 * [taylor]: Taking taylor expansion of y in x 4.851 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 4.851 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 4.851 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.851 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.851 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.851 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.851 * [taylor]: Taking taylor expansion of x in x 4.852 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.852 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.852 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.852 * [taylor]: Taking taylor expansion of x in x 4.853 * [taylor]: Taking taylor expansion of 2 in x 4.853 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 4.853 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 4.853 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.853 * [taylor]: Taking taylor expansion of y in x 4.853 * [taylor]: Taking taylor expansion of y in x 4.853 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 4.853 * [taylor]: Taking taylor expansion of 1/2 in y 4.853 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 4.853 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.853 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.853 * [taylor]: Taking taylor expansion of y in y 4.854 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 4.854 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 4.854 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.854 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.854 * [taylor]: Taking taylor expansion of x in y 4.855 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 4.855 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 4.855 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.855 * [taylor]: Taking taylor expansion of x in y 4.855 * [taylor]: Taking taylor expansion of y in y 4.859 * [taylor]: Taking taylor expansion of 0 in y 4.867 * [taylor]: Taking taylor expansion of 0 in y 4.878 * [taylor]: Taking taylor expansion of 0 in y 4.878 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 4.878 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 4.878 * [taylor]: Taking taylor expansion of -1 in y 4.878 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 4.878 * [taylor]: Taking taylor expansion of y in y 4.878 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 4.878 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.878 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.878 * [taylor]: Taking taylor expansion of -1 in y 4.878 * [taylor]: Taking taylor expansion of y in y 4.879 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 4.879 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.879 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 4.879 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.879 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.879 * [taylor]: Taking taylor expansion of -1 in y 4.879 * [taylor]: Taking taylor expansion of x in y 4.879 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 4.879 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 4.879 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.879 * [taylor]: Taking taylor expansion of -1 in y 4.879 * [taylor]: Taking taylor expansion of x in y 4.879 * [taylor]: Taking taylor expansion of 2 in y 4.880 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 4.880 * [taylor]: Taking taylor expansion of -1 in x 4.880 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 4.880 * [taylor]: Taking taylor expansion of y in x 4.880 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 4.880 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 4.880 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.880 * [taylor]: Taking taylor expansion of -1 in x 4.880 * [taylor]: Taking taylor expansion of y in x 4.880 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 4.880 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.880 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.880 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.880 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.880 * [taylor]: Taking taylor expansion of -1 in x 4.880 * [taylor]: Taking taylor expansion of x in x 4.881 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.881 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.881 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.881 * [taylor]: Taking taylor expansion of -1 in x 4.881 * [taylor]: Taking taylor expansion of x in x 4.882 * [taylor]: Taking taylor expansion of 2 in x 4.882 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 4.882 * [taylor]: Taking taylor expansion of -1 in x 4.882 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 4.882 * [taylor]: Taking taylor expansion of y in x 4.882 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 4.882 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 4.882 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.882 * [taylor]: Taking taylor expansion of -1 in x 4.882 * [taylor]: Taking taylor expansion of y in x 4.882 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 4.882 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.882 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.882 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.882 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.882 * [taylor]: Taking taylor expansion of -1 in x 4.882 * [taylor]: Taking taylor expansion of x in x 4.883 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.883 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.883 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.883 * [taylor]: Taking taylor expansion of -1 in x 4.883 * [taylor]: Taking taylor expansion of x in x 4.884 * [taylor]: Taking taylor expansion of 2 in x 4.884 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 4.884 * [taylor]: Taking taylor expansion of -1/2 in y 4.884 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 4.884 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.884 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.884 * [taylor]: Taking taylor expansion of -1 in y 4.885 * [taylor]: Taking taylor expansion of y in y 4.885 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 4.885 * [taylor]: Taking taylor expansion of y in y 4.885 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 4.885 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.885 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.885 * [taylor]: Taking taylor expansion of x in y 4.885 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.885 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.885 * [taylor]: Taking taylor expansion of -1 in y 4.885 * [taylor]: Taking taylor expansion of x in y 4.890 * [taylor]: Taking taylor expansion of 0 in y 4.899 * [taylor]: Taking taylor expansion of 0 in y 4.915 * [taylor]: Taking taylor expansion of 0 in y 4.915 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 4.915 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 4.915 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.915 * [taylor]: Taking taylor expansion of (sin y) in y 4.915 * [taylor]: Taking taylor expansion of y in y 4.915 * [taylor]: Taking taylor expansion of y in y 4.916 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.916 * [taylor]: Taking taylor expansion of (sin y) in y 4.916 * [taylor]: Taking taylor expansion of y in y 4.917 * [taylor]: Taking taylor expansion of y in y 4.926 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 4.926 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.926 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.926 * [taylor]: Taking taylor expansion of y in y 4.926 * [taylor]: Taking taylor expansion of y in y 4.926 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.926 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.926 * [taylor]: Taking taylor expansion of y in y 4.927 * [taylor]: Taking taylor expansion of y in y 4.932 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 4.932 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 4.932 * [taylor]: Taking taylor expansion of -1 in y 4.932 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 4.932 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.932 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.932 * [taylor]: Taking taylor expansion of -1 in y 4.932 * [taylor]: Taking taylor expansion of y in y 4.933 * [taylor]: Taking taylor expansion of y in y 4.933 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 4.933 * [taylor]: Taking taylor expansion of -1 in y 4.933 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 4.933 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.933 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.933 * [taylor]: Taking taylor expansion of -1 in y 4.933 * [taylor]: Taking taylor expansion of y in y 4.933 * [taylor]: Taking taylor expansion of y in y 4.946 * * * [progress]: simplifying candidates 4.948 * [simplify]: Simplifying using # : (expm1 (* (cosh x) (/ (sin y) y))) (log1p (* (cosh x) (/ (sin y) y))) (* (cosh x) (/ (sin y) y)) (+ (log (cosh x)) (- (log (sin y)) (log y))) (+ (log (cosh x)) (log (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (exp (* (cosh x) (/ (sin y) y))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y))) (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))) (* (cbrt (* (cosh x) (/ (sin y) y))) (cbrt (* (cosh x) (/ (sin y) y)))) (cbrt (* (cosh x) (/ (sin y) y))) (* (* (* (cosh x) (/ (sin y) y)) (* (cosh x) (/ (sin y) y))) (* (cosh x) (/ (sin y) y))) (sqrt (* (cosh x) (/ (sin y) y))) (sqrt (* (cosh x) (/ (sin y) y))) (* (+ (exp x) (exp (- x))) (sin y)) (* 2 y) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (cosh x) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (cosh x) (sqrt (/ (sin y) y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)) (* (cosh x) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (* (cosh x) (/ (sqrt (sin y)) (sqrt y))) (* (cosh x) (/ (sqrt (sin y)) 1)) (* (cosh x) (/ 1 (* (cbrt y) (cbrt y)))) (* (cosh x) (/ 1 (sqrt y))) (* (cosh x) (/ 1 1)) (* (cosh x) 1) (* (cosh x) (sin y)) (* (cbrt (cosh x)) (/ (sin y) y)) (* (sqrt (cosh x)) (/ (sin y) y)) (* (cosh x) (/ (sin y) y)) (* (cosh x) (sin y)) (* (+ (exp x) (exp (- x))) (/ (sin y) y)) (expm1 (/ (sin y) y)) (log1p (/ (sin y) y)) (- (log (sin y)) (log y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y)) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y)) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) (- (sin y)) (- y) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (cbrt (sin y)) (sqrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) (/ (cbrt (sin y)) y) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) 1) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ 1 1) (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (/ (sin y) 1) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (sin y) (exp (- x))))) y) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) 4.952 * * [simplify]: iteration 0 : 124 enodes (cost 689 ) 4.977 * * [simplify]: iteration 1 : 269 enodes (cost 656 ) 5.102 * * [simplify]: iteration 2 : 892 enodes (cost 592 ) 6.763 * * [simplify]: iteration 3 : 4065 enodes (cost 590 ) 7.730 * * [simplify]: iteration done : 5000 enodes (cost 590 ) 7.730 * [simplify]: Simplified to: (expm1 (* (cosh x) (/ (sin y) y))) (log1p (* (cosh x) (/ (sin y) y))) (* (cosh x) (/ (sin y) y)) (log (* (cosh x) (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (exp (* (cosh x) (/ (sin y) y))) (pow (* (cosh x) (/ (sin y) y)) 3) (pow (* (cosh x) (/ (sin y) y)) 3) (* (cbrt (* (cosh x) (/ (sin y) y))) (cbrt (* (cosh x) (/ (sin y) y)))) (cbrt (* (cosh x) (/ (sin y) y))) (pow (* (cosh x) (/ (sin y) y)) 3) (sqrt (* (cosh x) (/ (sin y) y))) (sqrt (* (cosh x) (/ (sin y) y))) (* (+ (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))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cosh x)) (* (cosh x) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (* (cosh x) (/ (sqrt (sin y)) (sqrt y))) (* (cosh x) (sqrt (sin y))) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (sqrt y)) (cosh x) (cosh x) (* (cosh x) (sin y)) (* (cbrt (cosh x)) (/ (sin y) y)) (* (sqrt (cosh x)) (/ (sin y) y)) (* (cosh x) (/ (sin y) y)) (* (cosh x) (sin y)) (* (+ (exp x) (exp (- x))) (/ (sin y) y)) (expm1 (/ (sin y) y)) (log1p (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (pow (/ (sin y) y) 3) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (pow (/ (sin y) y) 3) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) (- (sin y)) (- y) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (cbrt y)) (* (/ (cbrt (sin y)) (sqrt y)) (cbrt (sin y))) (/ (cbrt (sin y)) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ (cbrt (sin y)) y) (/ (/ (sqrt (sin y)) (cbrt y)) (cbrt y)) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (sqrt (sin y)) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) 1 (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (sin y) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (fma -1/6 (pow y 2) (fma 1/2 (pow x 2) 1)) (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y) (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y) (fma (* y y) -1/6 (fma 1/120 (pow y 4) 1)) (/ (sin y) y) (/ (sin y) y) 7.731 * * * [progress]: adding candidates to table 7.923 * * [progress]: iteration 2 / 4 7.923 * * * [progress]: picking best candidate 7.951 * * * * [pick]: Picked # 7.951 * * * [progress]: localizing error 7.963 * * * [progress]: generating rewritten candidates 7.963 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 7.992 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 8.019 * * * [progress]: generating series expansions 8.020 * * * * [progress]: [ 1 / 2 ] generating series at (2) 8.020 * [approximate]: Taking taylor expansion of (* 1/2 (/ (* (sin y) (+ (exp x) (exp (- x)))) y)) in (y x) around 0 8.020 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* (sin y) (+ (exp x) (exp (- x)))) y)) in x 8.020 * [taylor]: Taking taylor expansion of 1/2 in x 8.020 * [taylor]: Taking taylor expansion of (/ (* (sin y) (+ (exp x) (exp (- x)))) y) in x 8.020 * [taylor]: Taking taylor expansion of (* (sin y) (+ (exp x) (exp (- x)))) in x 8.020 * [taylor]: Taking taylor expansion of (sin y) in x 8.020 * [taylor]: Taking taylor expansion of y in x 8.020 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 8.020 * [taylor]: Taking taylor expansion of (exp x) in x 8.020 * [taylor]: Taking taylor expansion of x in x 8.020 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.020 * [taylor]: Taking taylor expansion of (- x) in x 8.020 * [taylor]: Taking taylor expansion of x in x 8.021 * [taylor]: Taking taylor expansion of y in x 8.022 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* (sin y) (+ (exp x) (exp (- x)))) y)) in y 8.022 * [taylor]: Taking taylor expansion of 1/2 in y 8.022 * [taylor]: Taking taylor expansion of (/ (* (sin y) (+ (exp x) (exp (- x)))) y) in y 8.022 * [taylor]: Taking taylor expansion of (* (sin y) (+ (exp x) (exp (- x)))) in y 8.022 * [taylor]: Taking taylor expansion of (sin y) in y 8.022 * [taylor]: Taking taylor expansion of y in y 8.022 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 8.022 * [taylor]: Taking taylor expansion of (exp x) in y 8.022 * [taylor]: Taking taylor expansion of x in y 8.022 * [taylor]: Taking taylor expansion of (exp (- x)) in y 8.022 * [taylor]: Taking taylor expansion of (- x) in y 8.022 * [taylor]: Taking taylor expansion of x in y 8.022 * [taylor]: Taking taylor expansion of y in y 8.025 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* (sin y) (+ (exp x) (exp (- x)))) y)) in y 8.025 * [taylor]: Taking taylor expansion of 1/2 in y 8.025 * [taylor]: Taking taylor expansion of (/ (* (sin y) (+ (exp x) (exp (- x)))) y) in y 8.025 * [taylor]: Taking taylor expansion of (* (sin y) (+ (exp x) (exp (- x)))) in y 8.025 * [taylor]: Taking taylor expansion of (sin y) in y 8.025 * [taylor]: Taking taylor expansion of y in y 8.025 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 8.025 * [taylor]: Taking taylor expansion of (exp x) in y 8.025 * [taylor]: Taking taylor expansion of x in y 8.025 * [taylor]: Taking taylor expansion of (exp (- x)) in y 8.025 * [taylor]: Taking taylor expansion of (- x) in y 8.025 * [taylor]: Taking taylor expansion of x in y 8.025 * [taylor]: Taking taylor expansion of y in y 8.028 * [taylor]: Taking taylor expansion of (* 1/2 (+ (exp x) (exp (- x)))) in x 8.028 * [taylor]: Taking taylor expansion of 1/2 in x 8.028 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 8.028 * [taylor]: Taking taylor expansion of (exp x) in x 8.028 * [taylor]: Taking taylor expansion of x in x 8.028 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.028 * [taylor]: Taking taylor expansion of (- x) in x 8.028 * [taylor]: Taking taylor expansion of x in x 8.035 * [taylor]: Taking taylor expansion of 0 in x 8.044 * [taylor]: Taking taylor expansion of (- (+ (* 1/12 (exp x)) (* 1/12 (exp (- x))))) in x 8.044 * [taylor]: Taking taylor expansion of (+ (* 1/12 (exp x)) (* 1/12 (exp (- x)))) in x 8.044 * [taylor]: Taking taylor expansion of (* 1/12 (exp x)) in x 8.044 * [taylor]: Taking taylor expansion of 1/12 in x 8.044 * [taylor]: Taking taylor expansion of (exp x) in x 8.044 * [taylor]: Taking taylor expansion of x in x 8.044 * [taylor]: Taking taylor expansion of (* 1/12 (exp (- x))) in x 8.044 * [taylor]: Taking taylor expansion of 1/12 in x 8.044 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.044 * [taylor]: Taking taylor expansion of (- x) in x 8.044 * [taylor]: Taking taylor expansion of x in x 8.050 * [approximate]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (* (sin (/ 1 y)) y))) in (y x) around 0 8.050 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (* (sin (/ 1 y)) y))) in x 8.050 * [taylor]: Taking taylor expansion of 1/2 in x 8.050 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (* (sin (/ 1 y)) y)) in x 8.050 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.051 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.051 * [taylor]: Taking taylor expansion of x in x 8.051 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.051 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.051 * [taylor]: Taking taylor expansion of x in x 8.052 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 8.052 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 8.052 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.052 * [taylor]: Taking taylor expansion of y in x 8.052 * [taylor]: Taking taylor expansion of y in x 8.052 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (* (sin (/ 1 y)) y))) in y 8.052 * [taylor]: Taking taylor expansion of 1/2 in y 8.052 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (* (sin (/ 1 y)) y)) in y 8.052 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 8.052 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 8.052 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.052 * [taylor]: Taking taylor expansion of x in y 8.052 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 8.052 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 8.052 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.052 * [taylor]: Taking taylor expansion of x in y 8.052 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 8.052 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 8.052 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.052 * [taylor]: Taking taylor expansion of y in y 8.053 * [taylor]: Taking taylor expansion of y in y 8.053 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (* (sin (/ 1 y)) y))) in y 8.053 * [taylor]: Taking taylor expansion of 1/2 in y 8.053 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (* (sin (/ 1 y)) y)) in y 8.053 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 8.053 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 8.053 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.053 * [taylor]: Taking taylor expansion of x in y 8.053 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 8.053 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 8.053 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.053 * [taylor]: Taking taylor expansion of x in y 8.053 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 8.053 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 8.053 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.053 * [taylor]: Taking taylor expansion of y in y 8.054 * [taylor]: Taking taylor expansion of y in y 8.054 * [taylor]: Taking taylor expansion of 0 in x 8.058 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (sin (/ 1 y)) (exp (/ 1 x)))) (* 1/2 (* (sin (/ 1 y)) (exp (- (/ 1 x)))))) in x 8.058 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (exp (/ 1 x)))) in x 8.058 * [taylor]: Taking taylor expansion of 1/2 in x 8.058 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (exp (/ 1 x))) in x 8.058 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 8.058 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.058 * [taylor]: Taking taylor expansion of y in x 8.058 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.058 * [taylor]: Taking taylor expansion of x in x 8.058 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (exp (- (/ 1 x))))) in x 8.058 * [taylor]: Taking taylor expansion of 1/2 in x 8.058 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (exp (- (/ 1 x)))) in x 8.058 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 8.058 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.059 * [taylor]: Taking taylor expansion of y in x 8.059 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.059 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.059 * [taylor]: Taking taylor expansion of x in x 8.065 * [taylor]: Taking taylor expansion of 0 in x 8.077 * [taylor]: Taking taylor expansion of 0 in x 8.077 * [approximate]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in (y x) around 0 8.077 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in x 8.077 * [taylor]: Taking taylor expansion of -1/2 in x 8.077 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 8.077 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 8.077 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.077 * [taylor]: Taking taylor expansion of -1 in x 8.077 * [taylor]: Taking taylor expansion of y in x 8.078 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 8.078 * [taylor]: Taking taylor expansion of y in x 8.078 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 8.078 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.078 * [taylor]: Taking taylor expansion of x in x 8.078 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.078 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.078 * [taylor]: Taking taylor expansion of -1 in x 8.078 * [taylor]: Taking taylor expansion of x in x 8.079 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 8.079 * [taylor]: Taking taylor expansion of -1/2 in y 8.079 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 8.079 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 8.079 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.079 * [taylor]: Taking taylor expansion of -1 in y 8.079 * [taylor]: Taking taylor expansion of y in y 8.079 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 8.079 * [taylor]: Taking taylor expansion of y in y 8.079 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 8.079 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 8.079 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.079 * [taylor]: Taking taylor expansion of x in y 8.079 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 8.079 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.079 * [taylor]: Taking taylor expansion of -1 in y 8.079 * [taylor]: Taking taylor expansion of x in y 8.079 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 8.079 * [taylor]: Taking taylor expansion of -1/2 in y 8.079 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 8.079 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 8.079 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.080 * [taylor]: Taking taylor expansion of -1 in y 8.080 * [taylor]: Taking taylor expansion of y in y 8.080 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 8.080 * [taylor]: Taking taylor expansion of y in y 8.080 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 8.080 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 8.080 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.080 * [taylor]: Taking taylor expansion of x in y 8.080 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 8.080 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.080 * [taylor]: Taking taylor expansion of -1 in y 8.080 * [taylor]: Taking taylor expansion of x in y 8.081 * [taylor]: Taking taylor expansion of 0 in x 8.084 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (* (sin (/ -1 y)) (exp (/ 1 x)))) (* 1/2 (* (sin (/ -1 y)) (exp (/ -1 x)))))) in x 8.084 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (sin (/ -1 y)) (exp (/ 1 x)))) (* 1/2 (* (sin (/ -1 y)) (exp (/ -1 x))))) in x 8.084 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 y)) (exp (/ 1 x)))) in x 8.084 * [taylor]: Taking taylor expansion of 1/2 in x 8.084 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (exp (/ 1 x))) in x 8.084 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 8.084 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.084 * [taylor]: Taking taylor expansion of -1 in x 8.084 * [taylor]: Taking taylor expansion of y in x 8.084 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.084 * [taylor]: Taking taylor expansion of x in x 8.085 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 y)) (exp (/ -1 x)))) in x 8.085 * [taylor]: Taking taylor expansion of 1/2 in x 8.085 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (exp (/ -1 x))) in x 8.085 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 8.085 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.085 * [taylor]: Taking taylor expansion of -1 in x 8.085 * [taylor]: Taking taylor expansion of y in x 8.085 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.085 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.085 * [taylor]: Taking taylor expansion of -1 in x 8.085 * [taylor]: Taking taylor expansion of x in x 8.091 * [taylor]: Taking taylor expansion of 0 in x 8.106 * [taylor]: Taking taylor expansion of 0 in x 8.106 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 8.106 * [approximate]: Taking taylor expansion of (* (sin y) (+ (exp x) (exp (- x)))) in (y x) around 0 8.107 * [taylor]: Taking taylor expansion of (* (sin y) (+ (exp x) (exp (- x)))) in x 8.107 * [taylor]: Taking taylor expansion of (sin y) in x 8.107 * [taylor]: Taking taylor expansion of y in x 8.107 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 8.107 * [taylor]: Taking taylor expansion of (exp x) in x 8.107 * [taylor]: Taking taylor expansion of x in x 8.107 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.107 * [taylor]: Taking taylor expansion of (- x) in x 8.107 * [taylor]: Taking taylor expansion of x in x 8.108 * [taylor]: Taking taylor expansion of (* (sin y) (+ (exp x) (exp (- x)))) in y 8.108 * [taylor]: Taking taylor expansion of (sin y) in y 8.108 * [taylor]: Taking taylor expansion of y in y 8.108 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 8.108 * [taylor]: Taking taylor expansion of (exp x) in y 8.108 * [taylor]: Taking taylor expansion of x in y 8.108 * [taylor]: Taking taylor expansion of (exp (- x)) in y 8.108 * [taylor]: Taking taylor expansion of (- x) in y 8.108 * [taylor]: Taking taylor expansion of x in y 8.108 * [taylor]: Taking taylor expansion of (* (sin y) (+ (exp x) (exp (- x)))) in y 8.108 * [taylor]: Taking taylor expansion of (sin y) in y 8.108 * [taylor]: Taking taylor expansion of y in y 8.108 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 8.108 * [taylor]: Taking taylor expansion of (exp x) in y 8.108 * [taylor]: Taking taylor expansion of x in y 8.108 * [taylor]: Taking taylor expansion of (exp (- x)) in y 8.108 * [taylor]: Taking taylor expansion of (- x) in y 8.108 * [taylor]: Taking taylor expansion of x in y 8.108 * [taylor]: Taking taylor expansion of 0 in x 8.111 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 8.111 * [taylor]: Taking taylor expansion of (exp x) in x 8.111 * [taylor]: Taking taylor expansion of x in x 8.111 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.111 * [taylor]: Taking taylor expansion of (- x) in x 8.111 * [taylor]: Taking taylor expansion of x in x 8.116 * [taylor]: Taking taylor expansion of 0 in x 8.124 * [taylor]: Taking taylor expansion of (- (+ (* 1/6 (exp x)) (* 1/6 (exp (- x))))) in x 8.124 * [taylor]: Taking taylor expansion of (+ (* 1/6 (exp x)) (* 1/6 (exp (- x)))) in x 8.124 * [taylor]: Taking taylor expansion of (* 1/6 (exp x)) in x 8.124 * [taylor]: Taking taylor expansion of 1/6 in x 8.124 * [taylor]: Taking taylor expansion of (exp x) in x 8.124 * [taylor]: Taking taylor expansion of x in x 8.124 * [taylor]: Taking taylor expansion of (* 1/6 (exp (- x))) in x 8.124 * [taylor]: Taking taylor expansion of 1/6 in x 8.124 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.124 * [taylor]: Taking taylor expansion of (- x) in x 8.124 * [taylor]: Taking taylor expansion of x in x 8.130 * [approximate]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sin (/ 1 y))) in (y x) around 0 8.130 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sin (/ 1 y))) in x 8.130 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.130 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.130 * [taylor]: Taking taylor expansion of x in x 8.130 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.131 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.131 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.131 * [taylor]: Taking taylor expansion of x in x 8.131 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 8.131 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.131 * [taylor]: Taking taylor expansion of y in x 8.131 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sin (/ 1 y))) in y 8.131 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 8.131 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 8.131 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.131 * [taylor]: Taking taylor expansion of x in y 8.132 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 8.132 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 8.132 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.132 * [taylor]: Taking taylor expansion of x in y 8.132 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 8.132 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.132 * [taylor]: Taking taylor expansion of y in y 8.132 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (sin (/ 1 y))) in y 8.132 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 8.132 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 8.132 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.132 * [taylor]: Taking taylor expansion of x in y 8.132 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 8.132 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 8.132 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.132 * [taylor]: Taking taylor expansion of x in y 8.133 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 8.133 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.133 * [taylor]: Taking taylor expansion of y in y 8.133 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 8.133 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 8.133 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.133 * [taylor]: Taking taylor expansion of y in x 8.133 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.133 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.133 * [taylor]: Taking taylor expansion of x in x 8.134 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.134 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.134 * [taylor]: Taking taylor expansion of x in x 8.137 * [taylor]: Taking taylor expansion of 0 in x 8.143 * [taylor]: Taking taylor expansion of 0 in x 8.151 * [taylor]: Taking taylor expansion of 0 in x 8.151 * [approximate]: Taking taylor expansion of (* (sin (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (y x) around 0 8.151 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 8.151 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 8.151 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.151 * [taylor]: Taking taylor expansion of -1 in x 8.151 * [taylor]: Taking taylor expansion of y in x 8.151 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 8.151 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.151 * [taylor]: Taking taylor expansion of x in x 8.152 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.152 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.152 * [taylor]: Taking taylor expansion of -1 in x 8.152 * [taylor]: Taking taylor expansion of x in x 8.152 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 8.152 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 8.152 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.152 * [taylor]: Taking taylor expansion of -1 in y 8.152 * [taylor]: Taking taylor expansion of y in y 8.153 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 8.153 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 8.153 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.153 * [taylor]: Taking taylor expansion of x in y 8.153 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 8.153 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.153 * [taylor]: Taking taylor expansion of -1 in y 8.153 * [taylor]: Taking taylor expansion of x in y 8.153 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 8.153 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 8.153 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.153 * [taylor]: Taking taylor expansion of -1 in y 8.153 * [taylor]: Taking taylor expansion of y in y 8.154 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 8.154 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 8.154 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.154 * [taylor]: Taking taylor expansion of x in y 8.154 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 8.154 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.154 * [taylor]: Taking taylor expansion of -1 in y 8.154 * [taylor]: Taking taylor expansion of x in y 8.154 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 8.154 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 8.154 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.154 * [taylor]: Taking taylor expansion of -1 in x 8.154 * [taylor]: Taking taylor expansion of y in x 8.154 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 8.154 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.154 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.154 * [taylor]: Taking taylor expansion of x in x 8.155 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.155 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.155 * [taylor]: Taking taylor expansion of -1 in x 8.155 * [taylor]: Taking taylor expansion of x in x 8.157 * [taylor]: Taking taylor expansion of 0 in x 8.163 * [taylor]: Taking taylor expansion of 0 in x 8.170 * [taylor]: Taking taylor expansion of 0 in x 8.170 * * * [progress]: simplifying candidates 8.172 * [simplify]: Simplifying using # : (expm1 (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y)) (log1p (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y)) (- (+ (+ (log (sin y)) (log (+ (exp x) (exp (- x))))) (log 1/2)) (log y)) (- (+ (log (* (sin y) (+ (exp x) (exp (- x))))) (log 1/2)) (log y)) (- (log (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2)) (log y)) (log (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y)) (exp (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y)) (/ (* (* (* (* (sin y) (sin y)) (sin y)) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))) (* (* 1/2 1/2) 1/2)) (* (* y y) y)) (/ (* (* (* (* (sin y) (+ (exp x) (exp (- x)))) (* (sin y) (+ (exp x) (exp (- x))))) (* (sin y) (+ (exp x) (exp (- x))))) (* (* 1/2 1/2) 1/2)) (* (* y y) y)) (/ (* (* (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2)) (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2)) (* (* y y) y)) (* (cbrt (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y)) (cbrt (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y))) (cbrt (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y)) (* (* (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y) (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y)) (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y)) (sqrt (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y)) (sqrt (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y)) (- (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2)) (- y) (/ (* (sin y) (+ (exp x) (exp (- x)))) (* (cbrt y) (cbrt y))) (/ 1/2 (cbrt y)) (/ (* (sin y) (+ (exp x) (exp (- x)))) (sqrt y)) (/ 1/2 (sqrt y)) (/ (* (sin y) (+ (exp x) (exp (- x)))) 1) (/ 1/2 y) (/ 1 y) (/ y (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2)) (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) (* (cbrt y) (cbrt y))) (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) (sqrt y)) (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) 1) (/ y 1/2) (* y (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (* y (- (exp x) (exp (- x)))) (expm1 (* (sin y) (+ (exp x) (exp (- x))))) (log1p (* (sin y) (+ (exp x) (exp (- x))))) (* (sin y) (+ (exp x) (exp (- x)))) (+ (log (sin y)) (log (+ (exp x) (exp (- x))))) (log (* (sin y) (+ (exp x) (exp (- x))))) (exp (* (sin y) (+ (exp x) (exp (- x))))) (* (* (* (sin y) (sin y)) (sin y)) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))) (* (cbrt (* (sin y) (+ (exp x) (exp (- x))))) (cbrt (* (sin y) (+ (exp x) (exp (- x)))))) (cbrt (* (sin y) (+ (exp x) (exp (- x))))) (* (* (* (sin y) (+ (exp x) (exp (- x)))) (* (sin y) (+ (exp x) (exp (- x))))) (* (sin y) (+ (exp x) (exp (- x))))) (sqrt (* (sin y) (+ (exp x) (exp (- x))))) (sqrt (* (sin y) (+ (exp x) (exp (- x))))) (* (sqrt (sin y)) (sqrt (+ (exp x) (exp (- x))))) (* (sqrt (sin y)) (sqrt (+ (exp x) (exp (- x))))) (* (sin y) (exp x)) (* (sin y) (exp (- x))) (* (exp x) (sin y)) (* (exp (- x)) (sin y)) (* (sin y) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (* (sin y) (sqrt (+ (exp x) (exp (- x))))) (* (sin y) 1) (* (sin y) 1) (* (cbrt (sin y)) (+ (exp x) (exp (- x)))) (* (sqrt (sin y)) (+ (exp x) (exp (- x)))) (* (sin y) (+ (exp x) (exp (- x)))) (* (sin y) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (* (sin y) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (- (+ (* 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) (- (+ (* (pow x 2) y) (* 2 y)) (* 1/3 (pow y 3))) (* (sin y) (+ (exp x) (exp (- x)))) (* (sin y) (+ (exp (* -1 x)) (exp x))) 8.176 * * [simplify]: iteration 0 : 132 enodes (cost 886 ) 8.213 * * [simplify]: iteration 1 : 374 enodes (cost 832 ) 8.410 * * [simplify]: iteration 2 : 1565 enodes (cost 698 ) 8.935 * * [simplify]: iteration done : 5001 enodes (cost 698 ) 8.935 * [simplify]: Simplified to: (expm1 (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y)) (log1p (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y)) (log (/ (* (sin y) (+ (exp x) (exp (- x)))) (/ y 1/2))) (log (/ (* (sin y) (+ (exp x) (exp (- x)))) (/ y 1/2))) (log (/ (* (sin y) (+ (exp x) (exp (- x)))) (/ y 1/2))) (log (/ (* (sin y) (+ (exp x) (exp (- x)))) (/ y 1/2))) (exp (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y)) (pow (/ (* (sin y) (+ (exp x) (exp (- x)))) (/ y 1/2)) 3) (pow (/ (* (sin y) (+ (exp x) (exp (- x)))) (/ y 1/2)) 3) (pow (/ (* (sin y) (+ (exp x) (exp (- x)))) (/ y 1/2)) 3) (* (cbrt (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y)) (cbrt (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y))) (cbrt (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y)) (pow (/ (* (sin y) (+ (exp x) (exp (- x)))) (/ y 1/2)) 3) (sqrt (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y)) (sqrt (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) y)) (* (* (sin y) (+ (exp x) (exp (- x)))) -1/2) (- y) (/ (* (sin y) (+ (exp x) (exp (- x)))) (* (cbrt y) (cbrt y))) (/ 1/2 (cbrt y)) (/ (* (sin y) (+ (exp x) (exp (- x)))) (sqrt y)) (/ 1/2 (sqrt y)) (* (sin y) (+ (exp x) (exp (- x)))) (/ 1/2 y) (/ 1 y) (/ y (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2)) (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) (* (cbrt y) (cbrt y))) (/ (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) (sqrt y)) (* (* (sin y) (+ (exp x) (exp (- x)))) 1/2) (/ y 1/2) (* y (+ (+ (exp (* x -2)) -1) (exp (+ x x)))) (* y (- (exp x) (exp (- x)))) (expm1 (* (sin y) (+ (exp x) (exp (- x))))) (log1p (* (sin y) (+ (exp x) (exp (- x))))) (* (sin y) (+ (exp x) (exp (- x)))) (log (* (sin y) (+ (exp x) (exp (- x))))) (log (* (sin y) (+ (exp x) (exp (- x))))) (exp (* (sin y) (+ (exp x) (exp (- x))))) (pow (* (sin y) (+ (exp x) (exp (- x)))) 3) (* (cbrt (* (sin y) (+ (exp x) (exp (- x))))) (cbrt (* (sin y) (+ (exp x) (exp (- x)))))) (cbrt (* (sin y) (+ (exp x) (exp (- x))))) (pow (* (sin y) (+ (exp x) (exp (- x)))) 3) (sqrt (* (sin y) (+ (exp x) (exp (- x))))) (sqrt (* (sin y) (+ (exp x) (exp (- x))))) (* (sqrt (sin y)) (sqrt (+ (exp x) (exp (- x))))) (* (sqrt (sin y)) (sqrt (+ (exp x) (exp (- x))))) (* (sin y) (exp x)) (/ (sin y) (exp x)) (* (sin y) (exp x)) (/ (sin y) (exp x)) (* (sin y) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (* (sin y) (sqrt (+ (exp x) (exp (- x))))) (sin y) (sin y) (* (cbrt (sin y)) (+ (exp x) (exp (- x)))) (* (sqrt (sin y)) (+ (exp x) (exp (- x)))) (* (sin y) (+ (exp x) (exp (- x)))) (* (sin y) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (* (- (exp (+ x x)) (exp (* x -2))) (sin y)) (- (fma 1/2 (pow x 2) 1) (* 1/6 (pow y 2))) (/ (* (sin y) (+ (exp x) (exp (- x)))) (/ y 1/2)) (/ (* (sin y) (+ (exp x) (exp (- x)))) (/ y 1/2)) (fma y (fma x x 2) (* -1/3 (pow y 3))) (* (sin y) (+ (exp x) (exp (- x)))) (* (sin y) (+ (exp x) (exp (- x)))) 8.936 * * * [progress]: adding candidates to table 9.109 * * [progress]: iteration 3 / 4 9.109 * * * [progress]: picking best candidate 9.133 * * * * [pick]: Picked # 9.133 * * * [progress]: localizing error 9.142 * * * [progress]: generating rewritten candidates 9.142 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 9.169 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 9.172 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 9.187 * * * [progress]: generating series expansions 9.187 * * * * [progress]: [ 1 / 3 ] generating series at (2) 9.187 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 9.187 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 9.187 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 9.187 * [taylor]: Taking taylor expansion of (sin y) in y 9.187 * [taylor]: Taking taylor expansion of y in y 9.187 * [taylor]: Taking taylor expansion of (cosh x) in y 9.188 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 9.188 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 9.188 * [taylor]: Taking taylor expansion of (exp x) in y 9.188 * [taylor]: Taking taylor expansion of x in y 9.188 * [taylor]: Taking taylor expansion of (exp (- x)) in y 9.188 * [taylor]: Taking taylor expansion of (- x) in y 9.188 * [taylor]: Taking taylor expansion of x in y 9.188 * [taylor]: Taking taylor expansion of 2 in y 9.188 * [taylor]: Taking taylor expansion of y in y 9.192 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 9.192 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 9.192 * [taylor]: Taking taylor expansion of (sin y) in x 9.192 * [taylor]: Taking taylor expansion of y in x 9.192 * [taylor]: Taking taylor expansion of (cosh x) in x 9.192 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 9.192 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.192 * [taylor]: Taking taylor expansion of (exp x) in x 9.192 * [taylor]: Taking taylor expansion of x in x 9.192 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.192 * [taylor]: Taking taylor expansion of (- x) in x 9.192 * [taylor]: Taking taylor expansion of x in x 9.193 * [taylor]: Taking taylor expansion of 2 in x 9.194 * [taylor]: Taking taylor expansion of y in x 9.194 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 9.194 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 9.194 * [taylor]: Taking taylor expansion of (sin y) in x 9.194 * [taylor]: Taking taylor expansion of y in x 9.194 * [taylor]: Taking taylor expansion of (cosh x) in x 9.194 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 9.194 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 9.194 * [taylor]: Taking taylor expansion of (exp x) in x 9.194 * [taylor]: Taking taylor expansion of x in x 9.194 * [taylor]: Taking taylor expansion of (exp (- x)) in x 9.194 * [taylor]: Taking taylor expansion of (- x) in x 9.194 * [taylor]: Taking taylor expansion of x in x 9.195 * [taylor]: Taking taylor expansion of 2 in x 9.195 * [taylor]: Taking taylor expansion of y in x 9.196 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 9.196 * [taylor]: Taking taylor expansion of (sin y) in y 9.196 * [taylor]: Taking taylor expansion of y in y 9.196 * [taylor]: Taking taylor expansion of y in y 9.201 * [taylor]: Taking taylor expansion of 0 in y 9.209 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 9.209 * [taylor]: Taking taylor expansion of 1/2 in y 9.209 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 9.209 * [taylor]: Taking taylor expansion of (sin y) in y 9.209 * [taylor]: Taking taylor expansion of y in y 9.209 * [taylor]: Taking taylor expansion of y in y 9.213 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 9.213 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 9.213 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 9.213 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 9.213 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 9.213 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.213 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.213 * [taylor]: Taking taylor expansion of x in y 9.213 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 9.213 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 9.213 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.213 * [taylor]: Taking taylor expansion of x in y 9.213 * [taylor]: Taking taylor expansion of 2 in y 9.213 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 9.213 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.213 * [taylor]: Taking taylor expansion of y in y 9.214 * [taylor]: Taking taylor expansion of y in y 9.214 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 9.214 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 9.214 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 9.214 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.214 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.214 * [taylor]: Taking taylor expansion of x in x 9.215 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.215 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.215 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.215 * [taylor]: Taking taylor expansion of x in x 9.215 * [taylor]: Taking taylor expansion of 2 in x 9.216 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 9.216 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 9.216 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.216 * [taylor]: Taking taylor expansion of y in x 9.216 * [taylor]: Taking taylor expansion of y in x 9.216 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 9.216 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 9.216 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 9.216 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 9.216 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.216 * [taylor]: Taking taylor expansion of x in x 9.216 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 9.216 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.216 * [taylor]: Taking taylor expansion of x in x 9.217 * [taylor]: Taking taylor expansion of 2 in x 9.217 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 9.217 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 9.217 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.217 * [taylor]: Taking taylor expansion of y in x 9.218 * [taylor]: Taking taylor expansion of y in x 9.218 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 9.218 * [taylor]: Taking taylor expansion of 1/2 in y 9.218 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 9.218 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.218 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.218 * [taylor]: Taking taylor expansion of y in y 9.219 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 9.219 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 9.219 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.219 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.219 * [taylor]: Taking taylor expansion of x in y 9.219 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 9.219 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 9.219 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.219 * [taylor]: Taking taylor expansion of x in y 9.219 * [taylor]: Taking taylor expansion of y in y 9.223 * [taylor]: Taking taylor expansion of 0 in y 9.231 * [taylor]: Taking taylor expansion of 0 in y 9.242 * [taylor]: Taking taylor expansion of 0 in y 9.242 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 9.242 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 9.242 * [taylor]: Taking taylor expansion of -1 in y 9.242 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 9.243 * [taylor]: Taking taylor expansion of y in y 9.243 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 9.243 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.243 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.243 * [taylor]: Taking taylor expansion of -1 in y 9.243 * [taylor]: Taking taylor expansion of y in y 9.243 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 9.243 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 9.243 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 9.243 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 9.243 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.243 * [taylor]: Taking taylor expansion of -1 in y 9.243 * [taylor]: Taking taylor expansion of x in y 9.243 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 9.243 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 9.243 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.243 * [taylor]: Taking taylor expansion of -1 in y 9.243 * [taylor]: Taking taylor expansion of x in y 9.244 * [taylor]: Taking taylor expansion of 2 in y 9.244 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 9.244 * [taylor]: Taking taylor expansion of -1 in x 9.244 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 9.244 * [taylor]: Taking taylor expansion of y in x 9.244 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 9.244 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 9.244 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.244 * [taylor]: Taking taylor expansion of -1 in x 9.244 * [taylor]: Taking taylor expansion of y in x 9.244 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 9.244 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 9.244 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 9.244 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.244 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.244 * [taylor]: Taking taylor expansion of -1 in x 9.244 * [taylor]: Taking taylor expansion of x in x 9.245 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 9.245 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 9.245 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.245 * [taylor]: Taking taylor expansion of -1 in x 9.245 * [taylor]: Taking taylor expansion of x in x 9.246 * [taylor]: Taking taylor expansion of 2 in x 9.246 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 9.246 * [taylor]: Taking taylor expansion of -1 in x 9.246 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 9.246 * [taylor]: Taking taylor expansion of y in x 9.246 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 9.246 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 9.246 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.246 * [taylor]: Taking taylor expansion of -1 in x 9.246 * [taylor]: Taking taylor expansion of y in x 9.246 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 9.246 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 9.246 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 9.246 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.246 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.246 * [taylor]: Taking taylor expansion of -1 in x 9.246 * [taylor]: Taking taylor expansion of x in x 9.247 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 9.247 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 9.247 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.247 * [taylor]: Taking taylor expansion of -1 in x 9.247 * [taylor]: Taking taylor expansion of x in x 9.248 * [taylor]: Taking taylor expansion of 2 in x 9.248 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 9.248 * [taylor]: Taking taylor expansion of -1/2 in y 9.248 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 9.248 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.248 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.248 * [taylor]: Taking taylor expansion of -1 in y 9.248 * [taylor]: Taking taylor expansion of y in y 9.249 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 9.249 * [taylor]: Taking taylor expansion of y in y 9.249 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 9.249 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 9.249 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.249 * [taylor]: Taking taylor expansion of x in y 9.249 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 9.249 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.249 * [taylor]: Taking taylor expansion of -1 in y 9.249 * [taylor]: Taking taylor expansion of x in y 9.254 * [taylor]: Taking taylor expansion of 0 in y 9.267 * [taylor]: Taking taylor expansion of 0 in y 9.279 * [taylor]: Taking taylor expansion of 0 in y 9.279 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 9.279 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0 9.279 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 9.279 * [taylor]: Taking taylor expansion of y in y 9.279 * [taylor]: Taking taylor expansion of (sin y) in y 9.279 * [taylor]: Taking taylor expansion of y in y 9.280 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 9.280 * [taylor]: Taking taylor expansion of y in y 9.280 * [taylor]: Taking taylor expansion of (sin y) in y 9.280 * [taylor]: Taking taylor expansion of y in y 9.289 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in (y) around 0 9.289 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 9.289 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 9.289 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.290 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.290 * [taylor]: Taking taylor expansion of y in y 9.290 * [taylor]: Taking taylor expansion of y in y 9.291 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 9.291 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 9.291 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.291 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.291 * [taylor]: Taking taylor expansion of y in y 9.291 * [taylor]: Taking taylor expansion of y in y 9.298 * [approximate]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in (y) around 0 9.298 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 9.298 * [taylor]: Taking taylor expansion of -1 in y 9.298 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 9.298 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.298 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.298 * [taylor]: Taking taylor expansion of -1 in y 9.298 * [taylor]: Taking taylor expansion of y in y 9.298 * [taylor]: Taking taylor expansion of y in y 9.299 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 9.299 * [taylor]: Taking taylor expansion of -1 in y 9.299 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 9.299 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.299 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.299 * [taylor]: Taking taylor expansion of -1 in y 9.299 * [taylor]: Taking taylor expansion of y in y 9.300 * [taylor]: Taking taylor expansion of y in y 9.306 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 9.306 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 9.306 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 9.306 * [taylor]: Taking taylor expansion of (sin y) in y 9.306 * [taylor]: Taking taylor expansion of y in y 9.306 * [taylor]: Taking taylor expansion of y in y 9.307 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 9.307 * [taylor]: Taking taylor expansion of (sin y) in y 9.307 * [taylor]: Taking taylor expansion of y in y 9.307 * [taylor]: Taking taylor expansion of y in y 9.316 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 9.317 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 9.317 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.317 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.317 * [taylor]: Taking taylor expansion of y in y 9.317 * [taylor]: Taking taylor expansion of y in y 9.317 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 9.317 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.317 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.317 * [taylor]: Taking taylor expansion of y in y 9.318 * [taylor]: Taking taylor expansion of y in y 9.323 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 9.323 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 9.323 * [taylor]: Taking taylor expansion of -1 in y 9.323 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 9.323 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.323 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.323 * [taylor]: Taking taylor expansion of -1 in y 9.323 * [taylor]: Taking taylor expansion of y in y 9.323 * [taylor]: Taking taylor expansion of y in y 9.323 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 9.323 * [taylor]: Taking taylor expansion of -1 in y 9.323 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 9.323 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.323 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.323 * [taylor]: Taking taylor expansion of -1 in y 9.323 * [taylor]: Taking taylor expansion of y in y 9.324 * [taylor]: Taking taylor expansion of y in y 9.337 * * * [progress]: simplifying candidates 9.340 * [simplify]: Simplifying using # : (expm1 (* (cosh x) (/ 1 (/ y (sin y))))) (log1p (* (cosh x) (/ 1 (/ y (sin y))))) (* (cosh x) (/ 1 (/ y (sin y)))) (+ (log (cosh x)) (- (- (log y) (log (sin y))))) (+ (log (cosh x)) (- (log (/ y (sin y))))) (+ (log (cosh x)) (- 0 (- (log y) (log (sin y))))) (+ (log (cosh x)) (- 0 (log (/ y (sin y))))) (+ (log (cosh x)) (- (log 1) (- (log y) (log (sin y))))) (+ (log (cosh x)) (- (log 1) (log (/ y (sin y))))) (+ (log (cosh x)) (log (/ 1 (/ y (sin y))))) (log (* (cosh x) (/ 1 (/ y (sin y))))) (exp (* (cosh x) (/ 1 (/ y (sin y))))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* 1 1) 1) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y))))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* 1 1) 1) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y))))) (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ 1 (/ y (sin y))) (/ 1 (/ y (sin y)))) (/ 1 (/ y (sin y))))) (* (cbrt (* (cosh x) (/ 1 (/ y (sin y))))) (cbrt (* (cosh x) (/ 1 (/ y (sin y)))))) (cbrt (* (cosh x) (/ 1 (/ y (sin y))))) (* (* (* (cosh x) (/ 1 (/ y (sin y)))) (* (cosh x) (/ 1 (/ y (sin y))))) (* (cosh x) (/ 1 (/ y (sin y))))) (sqrt (* (cosh x) (/ 1 (/ y (sin y))))) (sqrt (* (cosh x) (/ 1 (/ y (sin y))))) (* (+ (exp x) (exp (- x))) 1) (* 2 (/ y (sin y))) (* (sqrt (cosh x)) (sqrt (/ 1 (/ y (sin y))))) (* (sqrt (cosh x)) (sqrt (/ 1 (/ y (sin y))))) (* (sqrt (cosh x)) (/ (sqrt 1) (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ (sqrt 1) (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ 1 (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ 1 (sqrt (/ y (sin y))))) (* (sqrt (cosh x)) (/ 1 (/ (sqrt y) (sqrt (sin y))))) (* (sqrt (cosh x)) (/ 1 (/ (sqrt y) (sqrt (sin y))))) (* (cosh x) (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y)))))) (* (cosh x) (sqrt (/ 1 (/ y (sin y))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ y (sin y))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) 1))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (sqrt (sin y))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) 1))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (sin y))))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) y)) (* (cosh x) (/ (sqrt 1) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* (cosh x) (/ (sqrt 1) (sqrt (/ y (sin y))))) (* (cosh x) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (* (cosh x) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) 1))) (* (cosh x) (/ (sqrt 1) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y))))) (* (cosh x) (/ (sqrt 1) (/ (sqrt y) 1))) (* (cosh x) (/ (sqrt 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ (sqrt 1) (/ 1 (sqrt (sin y))))) (* (cosh x) (/ (sqrt 1) (/ 1 1))) (* (cosh x) (/ (sqrt 1) 1)) (* (cosh x) (/ (sqrt 1) y)) (* (cosh x) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* (cosh x) (/ 1 (sqrt (/ y (sin y))))) (* (cosh x) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (* (cosh x) (/ 1 (/ (* (cbrt y) (cbrt y)) 1))) (* (cosh x) (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ 1 (/ (sqrt y) (sqrt (sin y))))) (* (cosh x) (/ 1 (/ (sqrt y) 1))) (* (cosh x) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* (cosh x) (/ 1 (/ 1 (sqrt (sin y))))) (* (cosh x) (/ 1 (/ 1 1))) (* (cosh x) (/ 1 1)) (* (cosh x) (/ 1 y)) (* (cosh x) 1) (* (cosh x) 1) (* (cosh x) (/ 1 y)) (* (cbrt (cosh x)) (/ 1 (/ y (sin y)))) (* (sqrt (cosh x)) (/ 1 (/ y (sin y)))) (* (cosh x) (/ 1 (/ y (sin y)))) (* (cosh x) 1) (* (+ (exp x) (exp (- x))) (/ 1 (/ y (sin y)))) (expm1 (/ y (sin y))) (log1p (/ y (sin y))) (- (log y) (log (sin y))) (log (/ y (sin y))) (exp (/ y (sin y))) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y))) (sqrt (/ y (sin y))) (sqrt (/ y (sin y))) (- y) (- (sin y)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))) (/ (cbrt y) (sqrt (sin y))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (sin y)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt y) (cbrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) 1) (/ (sqrt y) (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y))) (/ 1 1) (/ y (sin y)) (/ 1 (sin y)) (/ (sin y) y) (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) (/ y 1) (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (expm1 (/ 1 (/ y (sin y)))) (log1p (/ 1 (/ y (sin y)))) (- 1) (- (- (log y) (log (sin y)))) (- (log (/ y (sin y)))) (- 0 (- (log y) (log (sin y)))) (- 0 (log (/ y (sin y)))) (- (log 1) (- (log y) (log (sin y)))) (- (log 1) (log (/ y (sin y)))) (log (/ 1 (/ y (sin y)))) (exp (/ 1 (/ y (sin y)))) (/ (* (* 1 1) 1) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y)))) (/ (* (* 1 1) 1) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y)))) (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y))))) (cbrt (/ 1 (/ y (sin y)))) (* (* (/ 1 (/ y (sin y))) (/ 1 (/ y (sin y)))) (/ 1 (/ y (sin y)))) (sqrt (/ 1 (/ y (sin y)))) (sqrt (/ 1 (/ y (sin y)))) (- 1) (- (/ y (sin y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cbrt 1) (cbrt (/ y (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ y (sin y)))) (/ (cbrt 1) (sqrt (/ y (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ (cbrt y) (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (cbrt 1) (/ (cbrt y) (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) 1)) (/ (cbrt 1) (/ (cbrt y) (sin y))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ (sqrt y) (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (sqrt (sin y)))) (/ (cbrt 1) (/ (sqrt y) (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) 1)) (/ (cbrt 1) (/ (sqrt y) (sin y))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ y (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (sin y)))) (/ (cbrt 1) (/ y (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ y (sin y))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ y (sin y))) (/ (* (cbrt 1) (cbrt 1)) y) (/ (cbrt 1) (/ 1 (sin y))) (/ (sqrt 1) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt 1) (cbrt (/ y (sin y)))) (/ (sqrt 1) (sqrt (/ y (sin y)))) (/ (sqrt 1) (sqrt (/ y (sin y)))) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (sqrt 1) (/ (cbrt y) (sqrt (sin y)))) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) 1)) (/ (sqrt 1) (/ (cbrt y) (sin y))) (/ (sqrt 1) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt 1) (/ (sqrt y) 1)) (/ (sqrt 1) (/ (sqrt y) (sin y))) (/ (sqrt 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ y (cbrt (sin y)))) (/ (sqrt 1) (/ 1 (sqrt (sin y)))) (/ (sqrt 1) (/ y (sqrt (sin y)))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ y (sin y))) (/ (sqrt 1) 1) (/ (sqrt 1) (/ y (sin y))) (/ (sqrt 1) y) (/ (sqrt 1) (/ 1 (sin y))) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ 1 (/ (cbrt y) (sqrt (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ 1 (/ (cbrt y) (sin y))) (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ 1 (/ (sqrt y) (sqrt (sin y)))) (/ 1 (/ (sqrt y) (sqrt (sin y)))) (/ 1 (/ (sqrt y) 1)) (/ 1 (/ (sqrt y) (sin y))) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ y (cbrt (sin y)))) (/ 1 (/ 1 (sqrt (sin y)))) (/ 1 (/ y (sqrt (sin y)))) (/ 1 (/ 1 1)) (/ 1 (/ y (sin y))) (/ 1 1) (/ 1 (/ y (sin y))) (/ 1 y) (/ 1 (/ 1 (sin y))) (/ 1 (/ y (sin y))) (/ (/ y (sin y)) 1) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (sqrt y) (sqrt (sin y)))) (/ 1 (/ (sqrt y) 1)) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ 1 (sqrt (sin y)))) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 y) (/ (/ y (sin y)) (cbrt 1)) (/ (/ y (sin y)) (sqrt 1)) (/ (/ y (sin y)) 1) (/ 1 y) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (sin y) (exp (- x))))) y) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) (+ (* 1/6 (pow y 2)) (+ (* 7/360 (pow y 4)) 1)) (/ y (sin y)) (/ y (sin y)) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) 9.351 * * [simplify]: iteration 0 : 265 enodes (cost 2378 ) 9.471 * * [simplify]: iteration 1 : 627 enodes (cost 1894 ) 9.603 * * [simplify]: iteration 2 : 1488 enodes (cost 1643 ) 11.000 * * [simplify]: iteration done : 5001 enodes (cost 1613 ) 11.001 * [simplify]: Simplified to: (expm1 (/ (cosh x) (/ y (sin y)))) (log1p (/ (cosh x) (/ y (sin y)))) (/ (cosh x) (/ y (sin y))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (log (/ (cosh x) (/ y (sin y)))) (exp (/ (cosh x) (/ y (sin y)))) (pow (/ (cosh x) (/ y (sin y))) 3) (pow (/ (cosh x) (/ y (sin y))) 3) (pow (/ (cosh x) (/ y (sin y))) 3) (* (cbrt (/ (cosh x) (/ y (sin y)))) (cbrt (/ (cosh x) (/ y (sin y))))) (cbrt (/ (cosh x) (/ y (sin y)))) (pow (/ (cosh x) (/ y (sin y))) 3) (sqrt (/ (cosh x) (/ y (sin y)))) (sqrt (/ (cosh x) (/ y (sin y)))) (+ (exp x) (exp (- x))) (* 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 (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (/ (sqrt (cosh x)) (sqrt (/ y (sin y)))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (cbrt (/ (sin y) y)) (* (cbrt (/ (sin y) y)) (cosh x))) (* (cosh x) (sqrt (/ (sin y) y))) (/ (cosh x) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cosh x) (sqrt (/ y (sin y)))) (/ (cosh x) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cosh x) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cosh x) (/ (sqrt y) (sqrt (sin y)))) (/ (cosh x) (sqrt y)) (* (* (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) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cosh x) (/ (sqrt y) (sqrt (sin y)))) (/ (cosh x) (sqrt y)) (* (* (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) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (cosh x) (* (cbrt y) (cbrt y))) (/ (cosh x) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cosh x) (/ (sqrt y) (sqrt (sin y)))) (/ (cosh x) (sqrt y)) (* (* (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)) (/ y (sin y))) (/ (sqrt (cosh x)) (/ y (sin y))) (/ (cosh x) (/ y (sin y))) (cosh x) (/ (+ (exp x) (exp (- x))) (/ y (sin y))) (expm1 (/ y (sin y))) (log1p (/ y (sin y))) (log (/ y (sin y))) (log (/ y (sin y))) (exp (/ y (sin y))) (pow (/ y (sin y)) 3) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))) (pow (/ y (sin y)) 3) (sqrt (/ y (sin y))) (sqrt (/ y (sin y))) (- y) (- (sin y)) (* (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))) (/ (cbrt y) (sqrt (sin y))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sin y)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt y) (cbrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (sqrt y) (/ (sqrt y) (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y))) 1 (/ y (sin y)) (/ 1 (sin y)) (/ (sin y) y) (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) y (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (expm1 (/ (sin y) y)) (log1p (/ (sin y) y)) -1 (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (pow (/ (sin y) y) 3) (pow (/ (sin y) y) 3) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (pow (/ (sin y) y) 3) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) -1 (- (/ y (sin y))) (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (/ (cbrt (sin y)) (cbrt y)) (/ (cbrt y) (cbrt (sin y)))) (/ (cbrt (sin y)) (cbrt 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)) (/ (sqrt y) (cbrt (sin y)))) (/ (cbrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ (cbrt (sin y)) 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 y)) (/ (cbrt y) (cbrt (sin y)))) (/ (cbrt (sin y)) (cbrt 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)) (/ (sqrt y) (cbrt (sin y)))) (/ (cbrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ (cbrt (sin y)) 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 y)) (/ (cbrt y) (cbrt (sin y)))) (/ (cbrt (sin y)) (cbrt 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)) (/ (sqrt y) (cbrt (sin y)))) (/ (cbrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ (cbrt (sin y)) 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 y)) (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (/ (sqrt y) (cbrt (sin 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) (- (fma 1/2 (pow x 2) 1) (* 1/6 (pow y 2))) (/ (cosh x) (/ y (sin y))) (/ (cosh x) (/ y (sin y))) (fma 1/6 (pow y 2) (fma 7/360 (pow y 4) 1)) (/ y (sin y)) (/ y (sin y)) (- (fma 1/120 (pow y 4) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) 11.003 * * * [progress]: adding candidates to table 11.438 * * [progress]: iteration 4 / 4 11.438 * * * [progress]: picking best candidate 11.473 * * * * [pick]: Picked # 11.473 * * * [progress]: localizing error 11.482 * * * [progress]: generating rewritten candidates 11.482 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 11.498 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 11.513 * * * [progress]: generating series expansions 11.513 * * * * [progress]: [ 1 / 2 ] generating series at (2) 11.513 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 11.513 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 11.513 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 11.513 * [taylor]: Taking taylor expansion of (sin y) in y 11.513 * [taylor]: Taking taylor expansion of y in y 11.513 * [taylor]: Taking taylor expansion of (cosh x) in y 11.513 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 11.513 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 11.513 * [taylor]: Taking taylor expansion of (exp x) in y 11.513 * [taylor]: Taking taylor expansion of x in y 11.513 * [taylor]: Taking taylor expansion of (exp (- x)) in y 11.513 * [taylor]: Taking taylor expansion of (- x) in y 11.513 * [taylor]: Taking taylor expansion of x in y 11.513 * [taylor]: Taking taylor expansion of 2 in y 11.514 * [taylor]: Taking taylor expansion of y in y 11.517 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 11.517 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 11.517 * [taylor]: Taking taylor expansion of (sin y) in x 11.518 * [taylor]: Taking taylor expansion of y in x 11.518 * [taylor]: Taking taylor expansion of (cosh x) in x 11.518 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 11.518 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 11.518 * [taylor]: Taking taylor expansion of (exp x) in x 11.518 * [taylor]: Taking taylor expansion of x in x 11.518 * [taylor]: Taking taylor expansion of (exp (- x)) in x 11.518 * [taylor]: Taking taylor expansion of (- x) in x 11.518 * [taylor]: Taking taylor expansion of x in x 11.518 * [taylor]: Taking taylor expansion of 2 in x 11.519 * [taylor]: Taking taylor expansion of y in x 11.519 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 11.520 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 11.520 * [taylor]: Taking taylor expansion of (sin y) in x 11.520 * [taylor]: Taking taylor expansion of y in x 11.520 * [taylor]: Taking taylor expansion of (cosh x) in x 11.520 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 11.520 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 11.520 * [taylor]: Taking taylor expansion of (exp x) in x 11.520 * [taylor]: Taking taylor expansion of x in x 11.520 * [taylor]: Taking taylor expansion of (exp (- x)) in x 11.520 * [taylor]: Taking taylor expansion of (- x) in x 11.520 * [taylor]: Taking taylor expansion of x in x 11.521 * [taylor]: Taking taylor expansion of 2 in x 11.521 * [taylor]: Taking taylor expansion of y in x 11.522 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 11.522 * [taylor]: Taking taylor expansion of (sin y) in y 11.522 * [taylor]: Taking taylor expansion of y in y 11.522 * [taylor]: Taking taylor expansion of y in y 11.527 * [taylor]: Taking taylor expansion of 0 in y 11.535 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 11.535 * [taylor]: Taking taylor expansion of 1/2 in y 11.535 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 11.535 * [taylor]: Taking taylor expansion of (sin y) in y 11.535 * [taylor]: Taking taylor expansion of y in y 11.535 * [taylor]: Taking taylor expansion of y in y 11.538 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 11.538 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 11.538 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 11.538 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 11.538 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 11.538 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 11.538 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.538 * [taylor]: Taking taylor expansion of x in y 11.539 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 11.539 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 11.539 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.539 * [taylor]: Taking taylor expansion of x in y 11.539 * [taylor]: Taking taylor expansion of 2 in y 11.539 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 11.539 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 11.539 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.539 * [taylor]: Taking taylor expansion of y in y 11.539 * [taylor]: Taking taylor expansion of y in y 11.540 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 11.540 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 11.540 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 11.540 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 11.540 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 11.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.540 * [taylor]: Taking taylor expansion of x in x 11.540 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 11.540 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 11.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.540 * [taylor]: Taking taylor expansion of x in x 11.541 * [taylor]: Taking taylor expansion of 2 in x 11.541 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 11.541 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 11.541 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.541 * [taylor]: Taking taylor expansion of y in x 11.541 * [taylor]: Taking taylor expansion of y in x 11.541 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 11.541 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 11.541 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 11.542 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 11.542 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 11.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.542 * [taylor]: Taking taylor expansion of x in x 11.542 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 11.542 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 11.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.542 * [taylor]: Taking taylor expansion of x in x 11.543 * [taylor]: Taking taylor expansion of 2 in x 11.543 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 11.543 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 11.543 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.543 * [taylor]: Taking taylor expansion of y in x 11.543 * [taylor]: Taking taylor expansion of y in x 11.543 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 11.543 * [taylor]: Taking taylor expansion of 1/2 in y 11.543 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 11.544 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 11.544 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.544 * [taylor]: Taking taylor expansion of y in y 11.544 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 11.544 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 11.544 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 11.544 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.544 * [taylor]: Taking taylor expansion of x in y 11.544 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 11.544 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 11.544 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.544 * [taylor]: Taking taylor expansion of x in y 11.544 * [taylor]: Taking taylor expansion of y in y 11.548 * [taylor]: Taking taylor expansion of 0 in y 11.556 * [taylor]: Taking taylor expansion of 0 in y 11.567 * [taylor]: Taking taylor expansion of 0 in y 11.567 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 11.567 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 11.567 * [taylor]: Taking taylor expansion of -1 in y 11.567 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 11.567 * [taylor]: Taking taylor expansion of y in y 11.567 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 11.567 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 11.567 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.567 * [taylor]: Taking taylor expansion of -1 in y 11.567 * [taylor]: Taking taylor expansion of y in y 11.568 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 11.568 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 11.568 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 11.568 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 11.568 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.568 * [taylor]: Taking taylor expansion of -1 in y 11.568 * [taylor]: Taking taylor expansion of x in y 11.568 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 11.568 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 11.568 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.568 * [taylor]: Taking taylor expansion of -1 in y 11.568 * [taylor]: Taking taylor expansion of x in y 11.569 * [taylor]: Taking taylor expansion of 2 in y 11.569 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 11.569 * [taylor]: Taking taylor expansion of -1 in x 11.569 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 11.569 * [taylor]: Taking taylor expansion of y in x 11.569 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 11.569 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 11.569 * [taylor]: Taking taylor expansion of (/ -1 y) in x 11.569 * [taylor]: Taking taylor expansion of -1 in x 11.569 * [taylor]: Taking taylor expansion of y in x 11.569 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 11.569 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 11.569 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 11.569 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 11.569 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.569 * [taylor]: Taking taylor expansion of -1 in x 11.569 * [taylor]: Taking taylor expansion of x in x 11.570 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 11.570 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 11.570 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.570 * [taylor]: Taking taylor expansion of -1 in x 11.570 * [taylor]: Taking taylor expansion of x in x 11.571 * [taylor]: Taking taylor expansion of 2 in x 11.571 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 11.571 * [taylor]: Taking taylor expansion of -1 in x 11.571 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 11.571 * [taylor]: Taking taylor expansion of y in x 11.571 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 11.571 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 11.571 * [taylor]: Taking taylor expansion of (/ -1 y) in x 11.571 * [taylor]: Taking taylor expansion of -1 in x 11.571 * [taylor]: Taking taylor expansion of y in x 11.571 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 11.571 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 11.571 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 11.571 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 11.571 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.571 * [taylor]: Taking taylor expansion of -1 in x 11.571 * [taylor]: Taking taylor expansion of x in x 11.572 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 11.572 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 11.572 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.572 * [taylor]: Taking taylor expansion of -1 in x 11.572 * [taylor]: Taking taylor expansion of x in x 11.573 * [taylor]: Taking taylor expansion of 2 in x 11.573 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 11.574 * [taylor]: Taking taylor expansion of -1/2 in y 11.574 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 11.574 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 11.574 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.574 * [taylor]: Taking taylor expansion of -1 in y 11.574 * [taylor]: Taking taylor expansion of y in y 11.574 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 11.574 * [taylor]: Taking taylor expansion of y in y 11.574 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 11.574 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 11.574 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.574 * [taylor]: Taking taylor expansion of x in y 11.574 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 11.574 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.574 * [taylor]: Taking taylor expansion of -1 in y 11.574 * [taylor]: Taking taylor expansion of x in y 11.579 * [taylor]: Taking taylor expansion of 0 in y 11.587 * [taylor]: Taking taylor expansion of 0 in y 11.599 * [taylor]: Taking taylor expansion of 0 in y 11.599 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 11.599 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 11.599 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 11.599 * [taylor]: Taking taylor expansion of (sin y) in y 11.599 * [taylor]: Taking taylor expansion of y in y 11.599 * [taylor]: Taking taylor expansion of y in y 11.600 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 11.600 * [taylor]: Taking taylor expansion of (sin y) in y 11.600 * [taylor]: Taking taylor expansion of y in y 11.600 * [taylor]: Taking taylor expansion of y in y 11.612 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 11.613 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 11.613 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 11.613 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.613 * [taylor]: Taking taylor expansion of y in y 11.613 * [taylor]: Taking taylor expansion of y in y 11.613 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 11.613 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 11.613 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.613 * [taylor]: Taking taylor expansion of y in y 11.614 * [taylor]: Taking taylor expansion of y in y 11.619 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 11.619 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 11.619 * [taylor]: Taking taylor expansion of -1 in y 11.619 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 11.619 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 11.619 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.619 * [taylor]: Taking taylor expansion of -1 in y 11.619 * [taylor]: Taking taylor expansion of y in y 11.619 * [taylor]: Taking taylor expansion of y in y 11.619 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 11.619 * [taylor]: Taking taylor expansion of -1 in y 11.619 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 11.619 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 11.619 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.619 * [taylor]: Taking taylor expansion of -1 in y 11.619 * [taylor]: Taking taylor expansion of y in y 11.620 * [taylor]: Taking taylor expansion of y in y 11.633 * * * [progress]: simplifying candidates 11.635 * [simplify]: Simplifying using # : (expm1 (* (cosh x) (* (/ 1 y) (sin y)))) (log1p (* (cosh x) (* (/ 1 y) (sin y)))) (* (cosh x) (* (/ 1 y) (sin y))) (* (cosh x) (* (/ 1 y) (sin y))) (+ (log (cosh x)) (+ (- (log y)) (log (sin y)))) (+ (log (cosh x)) (+ (- 0 (log y)) (log (sin y)))) (+ (log (cosh x)) (+ (- (log 1) (log y)) (log (sin y)))) (+ (log (cosh x)) (+ (log (/ 1 y)) (log (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 y) (/ 1 y)) (/ 1 y)) (* (* (sin y) (sin 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 (sin y))) (* 2 y) (* (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 (sin y))) (* (+ (exp x) (exp (- x))) (* (/ 1 y) (sin y))) (expm1 (* (/ 1 y) (sin y))) (log1p (* (/ 1 y) (sin y))) (* (/ 1 y) (sin y)) (+ (- (log y)) (log (sin y))) (+ (- 0 (log y)) (log (sin y))) (+ (- (log 1) (log y)) (log (sin y))) (+ (log (/ 1 y)) (log (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 y) (/ 1 y)) (/ 1 y)) (* (* (sin y) (sin 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))) (* (sqrt (/ 1 y)) (sqrt (sin y))) (* (sqrt (/ 1 y)) (sqrt (sin y))) (* (/ (sqrt 1) (sqrt y)) (sqrt (sin y))) (* (/ (sqrt 1) (sqrt y)) (sqrt (sin y))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (* (/ 1 y) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ 1 y) (sqrt (sin y))) (* (/ 1 y) 1) (* (cbrt (/ 1 y)) (sin y)) (* (sqrt (/ 1 y)) (sin y)) (* (/ (cbrt 1) (cbrt y)) (sin y)) (* (/ (cbrt 1) (sqrt y)) (sin y)) (* (/ (cbrt 1) y) (sin y)) (* (/ (sqrt 1) (cbrt y)) (sin y)) (* (/ (sqrt 1) (sqrt y)) (sin y)) (* (/ (sqrt 1) y) (sin y)) (* (/ 1 (cbrt y)) (sin y)) (* (/ 1 (sqrt y)) (sin y)) (* (/ 1 y) (sin y)) (* (/ 1 y) (sin y)) (* (/ 1 y) (sin y)) (* 1 (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) 11.639 * * [simplify]: iteration 0 : 136 enodes (cost 755 ) 11.677 * * [simplify]: iteration 1 : 322 enodes (cost 599 ) 11.764 * * [simplify]: iteration 2 : 877 enodes (cost 487 ) 12.668 * * [simplify]: iteration 3 : 2969 enodes (cost 485 ) 13.664 * * [simplify]: iteration done : 5000 enodes (cost 473 ) 13.664 * [simplify]: Simplified to: (expm1 (* (/ (sin y) y) (cosh x))) (log1p (* (/ (sin y) y) (cosh x))) (* (/ (sin y) y) (cosh x)) (* (/ (sin y) y) (cosh x)) (log (* (/ (sin y) y) (cosh x))) (log (* (/ (sin y) y) (cosh x))) (log (* (/ (sin y) y) (cosh x))) (log (* (/ (sin y) y) (cosh x))) (log (* (/ (sin y) y) (cosh x))) (log (* (/ (sin y) y) (cosh x))) (pow (exp (cosh x)) (/ (sin y) y)) (pow (* (/ (sin y) y) (cosh x)) 3) (pow (* (/ (sin y) y) (cosh x)) 3) (pow (* (/ (sin y) y) (cosh x)) 3) (* (cbrt (* (/ (sin y) y) (cosh x))) (cbrt (* (/ (sin y) y) (cosh x)))) (cbrt (* (/ (sin y) y) (cosh x))) (pow (* (/ (sin y) y) (cosh x)) 3) (sqrt (* (/ (sin y) y) (cosh x))) (sqrt (* (/ (sin y) y) (cosh x))) (* (+ (exp x) (exp (- x))) (sin y)) (* 2 y) (/ (cosh x) y) (* (/ (sin y) y) (cbrt (cosh x))) (* (sqrt (cosh x)) (/ (sin y) y)) (* (/ (sin y) y) (cosh x)) (* (sin y) (cosh x)) (* (/ (sin y) y) (+ (exp x) (exp (- x)))) (expm1 (/ (sin y) y)) (log1p (/ (sin y) y)) (/ (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)) (* (sqrt (/ 1 y)) (sqrt (sin y))) (* (sqrt (/ 1 y)) (sqrt (sin y))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) y) (/ (sqrt (sin y)) y) (/ 1 y) (* (cbrt (/ 1 y)) (sin y)) (* (sqrt (/ 1 y)) (sin y)) (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (/ (sin y) y) (/ (sin y) y) (sin y) (fma -1/6 (pow y 2) (fma 1/2 (pow x 2) 1)) (* (/ (sin y) y) (cosh x)) (* (/ (sin y) y) (cosh x)) (fma -1/6 (pow y 2) (fma 1/120 (pow y 4) 1)) (/ (sin y) y) (/ (sin y) y) 13.665 * * * [progress]: adding candidates to table 13.841 * [progress]: [Phase 3 of 3] Extracting. 13.841 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 13.843 * * * [regime-changes]: Trying 4 branch expressions: ((/ (sin y) y) (cosh x) y x) 13.844 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (# # # # # # # # # # #) 13.890 * * * * [regimes]: Trying to branch on (cosh x) from (# # # # # # # # # # #) 13.926 * * * * [regimes]: Trying to branch on (cosh x) from (# # # # # # # # #) 13.962 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # #) 14.005 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # #) 14.047 * * * [regime]: Found split indices: #