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