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

Theorem
The linear first order ODE:
 * $x \rd y + y \rd x = x \cos x \rd x$

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