Integral of tan inverse