Integral of tan(x)/ln(cos(x))