How do you find the value of cot 1cot1?