How do you evaluate cot^-1(1/sqrt3) without a calculator?