How do you find cot1(13) without using a calculator?