设y=y(x)是由方程ycosx=e^x