Integral log(tan(x) + 1)