Find the principal value of cot^-1(√3)