How do you evaluate cot[cos1(56)]?