How do you find the integral of #int cos x * sin x dx#?