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