How do you find the value of cot1?