Int dx 1+tan x