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