inverse tangent integral