Integral log(tan(x) - 1)