0.346 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.068 * * * [progress]: [2/2] Setting up program. 0.070 * [progress]: [Phase 2 of 3] Improving. 0.070 * [simplify]: Simplifying using # : (* (cosh x) (/ (sin y) y)) 0.071 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.071 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.073 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 0.077 * * [simplify]: iteration 3 : 53 enodes (cost 7 ) 0.083 * * [simplify]: iteration 4 : 96 enodes (cost 7 ) 0.099 * * [simplify]: iteration 5 : 151 enodes (cost 7 ) 0.120 * * [simplify]: iteration 6 : 298 enodes (cost 7 ) 0.193 * * [simplify]: iteration 7 : 673 enodes (cost 7 ) 0.450 * * [simplify]: iteration 8 : 1524 enodes (cost 7 ) 1.334 * * [simplify]: iteration 9 : 2909 enodes (cost 7 ) 4.413 * * [simplify]: iteration 10 : 3514 enodes (cost 7 ) 8.720 * * [simplify]: iteration 11 : 3970 enodes (cost 7 ) 14.255 * * [simplify]: iteration 12 : 4209 enodes (cost 7 ) 20.473 * * [simplify]: iteration 13 : 4537 enodes (cost 7 ) 27.855 * * [simplify]: iteration 14 : 4773 enodes (cost 7 ) 32.979 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 32.979 * [simplify]: Simplified to: (* (cosh x) (/ (sin y) y)) 32.979 * * [progress]: iteration 1 / 4 32.979 * * * [progress]: picking best candidate 32.981 * * * * [pick]: Picked # 32.981 * * * [progress]: localizing error 32.988 * * * [progress]: generating rewritten candidates 32.988 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 32.992 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 33.003 * * * [progress]: generating series expansions 33.003 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 33.003 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 33.003 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 33.003 * [taylor]: Taking taylor expansion of (sin y) in y 33.003 * [taylor]: Taking taylor expansion of y in y 33.003 * [taylor]: Taking taylor expansion of y in y 33.004 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 33.004 * [taylor]: Taking taylor expansion of (sin y) in y 33.004 * [taylor]: Taking taylor expansion of y in y 33.004 * [taylor]: Taking taylor expansion of y in y 33.014 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 33.014 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 33.014 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 33.014 * [taylor]: Taking taylor expansion of (/ 1 y) in y 33.014 * [taylor]: Taking taylor expansion of y in y 33.014 * [taylor]: Taking taylor expansion of y in y 33.014 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 33.014 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 33.014 * [taylor]: Taking taylor expansion of (/ 1 y) in y 33.014 * [taylor]: Taking taylor expansion of y in y 33.015 * [taylor]: Taking taylor expansion of y in y 33.020 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 33.020 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 33.020 * [taylor]: Taking taylor expansion of -1 in y 33.020 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 33.020 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 33.020 * [taylor]: Taking taylor expansion of (/ -1 y) in y 33.020 * [taylor]: Taking taylor expansion of -1 in y 33.020 * [taylor]: Taking taylor expansion of y in y 33.020 * [taylor]: Taking taylor expansion of y in y 33.020 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 33.020 * [taylor]: Taking taylor expansion of -1 in y 33.020 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 33.021 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 33.021 * [taylor]: Taking taylor expansion of (/ -1 y) in y 33.021 * [taylor]: Taking taylor expansion of -1 in y 33.021 * [taylor]: Taking taylor expansion of y in y 33.021 * [taylor]: Taking taylor expansion of y in y 33.034 * * * * [progress]: [ 2 / 2 ] generating series at (2) 33.034 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 33.034 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 33.034 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 33.034 * [taylor]: Taking taylor expansion of (sin y) in y 33.034 * [taylor]: Taking taylor expansion of y in y 33.034 * [taylor]: Taking taylor expansion of (cosh x) in y 33.034 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 33.035 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 33.035 * [taylor]: Taking taylor expansion of (exp x) in y 33.035 * [taylor]: Taking taylor expansion of x in y 33.035 * [taylor]: Taking taylor expansion of (exp (- x)) in y 33.035 * [taylor]: Taking taylor expansion of (- x) in y 33.035 * [taylor]: Taking taylor expansion of x in y 33.035 * [taylor]: Taking taylor expansion of 2 in y 33.035 * [taylor]: Taking taylor expansion of y in y 33.039 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 33.039 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 33.039 * [taylor]: Taking taylor expansion of (sin y) in x 33.039 * [taylor]: Taking taylor expansion of y in x 33.039 * [taylor]: Taking taylor expansion of (cosh x) in x 33.039 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 33.039 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 33.039 * [taylor]: Taking taylor expansion of (exp x) in x 33.039 * [taylor]: Taking taylor expansion of x in x 33.039 * [taylor]: Taking taylor expansion of (exp (- x)) in x 33.039 * [taylor]: Taking taylor expansion of (- x) in x 33.039 * [taylor]: Taking taylor expansion of x in x 33.040 * [taylor]: Taking taylor expansion of 2 in x 33.040 * [taylor]: Taking taylor expansion of y in x 33.040 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 33.041 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 33.041 * [taylor]: Taking taylor expansion of (sin y) in x 33.041 * [taylor]: Taking taylor expansion of y in x 33.041 * [taylor]: Taking taylor expansion of (cosh x) in x 33.041 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 33.041 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 33.041 * [taylor]: Taking taylor expansion of (exp x) in x 33.041 * [taylor]: Taking taylor expansion of x in x 33.041 * [taylor]: Taking taylor expansion of (exp (- x)) in x 33.041 * [taylor]: Taking taylor expansion of (- x) in x 33.041 * [taylor]: Taking taylor expansion of x in x 33.042 * [taylor]: Taking taylor expansion of 2 in x 33.042 * [taylor]: Taking taylor expansion of y in x 33.042 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 33.042 * [taylor]: Taking taylor expansion of (sin y) in y 33.042 * [taylor]: Taking taylor expansion of y in y 33.042 * [taylor]: Taking taylor expansion of y in y 33.048 * [taylor]: Taking taylor expansion of 0 in y 33.060 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 33.060 * [taylor]: Taking taylor expansion of 1/2 in y 33.060 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 33.060 * [taylor]: Taking taylor expansion of (sin y) in y 33.060 * [taylor]: Taking taylor expansion of y in y 33.060 * [taylor]: Taking taylor expansion of y in y 33.063 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 33.064 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 33.064 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 33.064 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 33.064 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 33.064 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 33.064 * [taylor]: Taking taylor expansion of (/ 1 x) in y 33.064 * [taylor]: Taking taylor expansion of x in y 33.064 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 33.064 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 33.064 * [taylor]: Taking taylor expansion of (/ 1 x) in y 33.064 * [taylor]: Taking taylor expansion of x in y 33.064 * [taylor]: Taking taylor expansion of 2 in y 33.064 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 33.064 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 33.064 * [taylor]: Taking taylor expansion of (/ 1 y) in y 33.064 * [taylor]: Taking taylor expansion of y in y 33.065 * [taylor]: Taking taylor expansion of y in y 33.065 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 33.065 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 33.065 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 33.065 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 33.065 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.065 * [taylor]: Taking taylor expansion of x in x 33.066 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 33.066 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 33.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.066 * [taylor]: Taking taylor expansion of x in x 33.066 * [taylor]: Taking taylor expansion of 2 in x 33.066 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 33.067 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 33.067 * [taylor]: Taking taylor expansion of (/ 1 y) in x 33.067 * [taylor]: Taking taylor expansion of y in x 33.067 * [taylor]: Taking taylor expansion of y in x 33.067 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 33.067 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 33.067 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 33.067 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 33.067 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.067 * [taylor]: Taking taylor expansion of x in x 33.067 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 33.067 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 33.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.067 * [taylor]: Taking taylor expansion of x in x 33.068 * [taylor]: Taking taylor expansion of 2 in x 33.068 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 33.068 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 33.068 * [taylor]: Taking taylor expansion of (/ 1 y) in x 33.068 * [taylor]: Taking taylor expansion of y in x 33.068 * [taylor]: Taking taylor expansion of y in x 33.069 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 33.069 * [taylor]: Taking taylor expansion of 1/2 in y 33.069 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 33.069 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 33.069 * [taylor]: Taking taylor expansion of (/ 1 y) in y 33.069 * [taylor]: Taking taylor expansion of y in y 33.069 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 33.069 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 33.069 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 33.069 * [taylor]: Taking taylor expansion of (/ 1 x) in y 33.070 * [taylor]: Taking taylor expansion of x in y 33.070 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 33.070 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 33.070 * [taylor]: Taking taylor expansion of (/ 1 x) in y 33.070 * [taylor]: Taking taylor expansion of x in y 33.070 * [taylor]: Taking taylor expansion of y in y 33.074 * [taylor]: Taking taylor expansion of 0 in y 33.082 * [taylor]: Taking taylor expansion of 0 in y 33.093 * [taylor]: Taking taylor expansion of 0 in y 33.093 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 33.093 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 33.093 * [taylor]: Taking taylor expansion of -1 in y 33.093 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 33.093 * [taylor]: Taking taylor expansion of y in y 33.093 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 33.093 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 33.093 * [taylor]: Taking taylor expansion of (/ -1 y) in y 33.093 * [taylor]: Taking taylor expansion of -1 in y 33.093 * [taylor]: Taking taylor expansion of y in y 33.094 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 33.094 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 33.094 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 33.094 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 33.094 * [taylor]: Taking taylor expansion of (/ -1 x) in y 33.094 * [taylor]: Taking taylor expansion of -1 in y 33.094 * [taylor]: Taking taylor expansion of x in y 33.094 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 33.094 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 33.094 * [taylor]: Taking taylor expansion of (/ -1 x) in y 33.094 * [taylor]: Taking taylor expansion of -1 in y 33.094 * [taylor]: Taking taylor expansion of x in y 33.094 * [taylor]: Taking taylor expansion of 2 in y 33.095 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 33.095 * [taylor]: Taking taylor expansion of -1 in x 33.095 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 33.095 * [taylor]: Taking taylor expansion of y in x 33.095 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 33.095 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 33.095 * [taylor]: Taking taylor expansion of (/ -1 y) in x 33.095 * [taylor]: Taking taylor expansion of -1 in x 33.095 * [taylor]: Taking taylor expansion of y in x 33.095 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 33.095 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 33.095 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 33.095 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 33.095 * [taylor]: Taking taylor expansion of (/ -1 x) in x 33.095 * [taylor]: Taking taylor expansion of -1 in x 33.095 * [taylor]: Taking taylor expansion of x in x 33.096 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 33.096 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 33.096 * [taylor]: Taking taylor expansion of (/ -1 x) in x 33.096 * [taylor]: Taking taylor expansion of -1 in x 33.096 * [taylor]: Taking taylor expansion of x in x 33.096 * [taylor]: Taking taylor expansion of 2 in x 33.097 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 33.097 * [taylor]: Taking taylor expansion of -1 in x 33.097 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 33.097 * [taylor]: Taking taylor expansion of y in x 33.097 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 33.097 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 33.097 * [taylor]: Taking taylor expansion of (/ -1 y) in x 33.097 * [taylor]: Taking taylor expansion of -1 in x 33.097 * [taylor]: Taking taylor expansion of y in x 33.097 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 33.097 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 33.097 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 33.097 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 33.097 * [taylor]: Taking taylor expansion of (/ -1 x) in x 33.097 * [taylor]: Taking taylor expansion of -1 in x 33.097 * [taylor]: Taking taylor expansion of x in x 33.098 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 33.098 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 33.098 * [taylor]: Taking taylor expansion of (/ -1 x) in x 33.098 * [taylor]: Taking taylor expansion of -1 in x 33.098 * [taylor]: Taking taylor expansion of x in x 33.098 * [taylor]: Taking taylor expansion of 2 in x 33.099 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 33.099 * [taylor]: Taking taylor expansion of -1/2 in y 33.099 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 33.099 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 33.099 * [taylor]: Taking taylor expansion of (/ -1 y) in y 33.099 * [taylor]: Taking taylor expansion of -1 in y 33.099 * [taylor]: Taking taylor expansion of y in y 33.100 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 33.100 * [taylor]: Taking taylor expansion of y in y 33.100 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 33.100 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 33.100 * [taylor]: Taking taylor expansion of (/ 1 x) in y 33.100 * [taylor]: Taking taylor expansion of x in y 33.100 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 33.100 * [taylor]: Taking taylor expansion of (/ -1 x) in y 33.100 * [taylor]: Taking taylor expansion of -1 in y 33.100 * [taylor]: Taking taylor expansion of x in y 33.105 * [taylor]: Taking taylor expansion of 0 in y 33.113 * [taylor]: Taking taylor expansion of 0 in y 33.125 * [taylor]: Taking taylor expansion of 0 in y 33.126 * * * [progress]: simplifying candidates 33.127 * [simplify]: Simplifying using # : (expm1 (/ (sin y) y)) (log1p (/ (sin y) y)) (- (log (sin y)) (log y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y)) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y)) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) (- (sin y)) (- y) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (cbrt (sin y)) (sqrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) (/ (cbrt (sin y)) y) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) 1) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ 1 1) (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (/ (sin y) 1) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (expm1 (* (cosh x) (/ (sin y) y))) (log1p (* (cosh x) (/ (sin y) y))) (* (cosh x) (/ (sin y) y)) (+ (log (cosh x)) (- (log (sin y)) (log y))) (+ (log (cosh x)) (log (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (exp (* (cosh x) (/ (sin y) y))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y))) (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))) (* (cbrt (* (cosh x) (/ (sin y) y))) (cbrt (* (cosh x) (/ (sin y) y)))) (cbrt (* (cosh x) (/ (sin y) y))) (* (* (* (cosh x) (/ (sin y) y)) (* (cosh x) (/ (sin y) y))) (* (cosh x) (/ (sin y) y))) (sqrt (* (cosh x) (/ (sin y) y))) (sqrt (* (cosh x) (/ (sin y) y))) (* (+ (exp x) (exp (- x))) (sin y)) (* 2 y) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (cosh x) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (cosh x) (sqrt (/ (sin y) y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)) (* (cosh x) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (* (cosh x) (/ (sqrt (sin y)) (sqrt y))) (* (cosh x) (/ (sqrt (sin y)) 1)) (* (cosh x) (/ 1 (* (cbrt y) (cbrt y)))) (* (cosh x) (/ 1 (sqrt y))) (* (cosh x) (/ 1 1)) (* (cosh x) 1) (* (cosh x) (sin y)) (* (cbrt (cosh x)) (/ (sin y) y)) (* (sqrt (cosh x)) (/ (sin y) y)) (* (cosh x) (/ (sin y) y)) (* (cosh x) (sin y)) (* (+ (exp x) (exp (- x))) (/ (sin y) y)) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (sin y) (exp (- x))))) y) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) 33.131 * * [simplify]: iteration 0 : 124 enodes (cost 689 ) 33.156 * * [simplify]: iteration 1 : 276 enodes (cost 656 ) 33.222 * * [simplify]: iteration 2 : 1009 enodes (cost 592 )