How do you evaluate sin(cos1(22))?