How do you evaluate cot[sin1(23)]?