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