How do you calculate cot1(5)?