How do you evaluate cot^-1(1)cot1(1)?