Int tan x 1 3 dx