\int \ln (1+\tan x)dx