How do you evaluate cot1(13) without a calculator?