How do you find the exact value of cot1(3)?