Find the principal value of sec^-1(2)