What is the integral of #sec^-1(x)#?