Prove a squared-cosine derivative identity

Given $y=\frac32x+2\sin x+\frac12\sin x\cos x$, show that $dy/dx=(1+\cos x)^2$.