dsolve(diff(y(x),x)*sin(y(x))*cos(x)+cos(y(x))*sin(x) = 0,y(x))