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