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