Linear First Order ODE/x dy + y dx = x cosine x dx

Theorem
The linear first order ODE:
 * $x \, \mathrm d y + y \, \mathrm d x = x \cos x \, \mathrm d x$

has the solution:
 * $x y = x \sin x + \cos x + C$