How do you find the exact value of cot^-1(-sqrt3)?