To integrate $\cos^3 2x$, a student writes it as $\cos 2x\,(1 - \sin^2 2x)$ and substitutes $u = \sin 2x$. What antiderivative does she reach?