How do you find the exact value of sin(cos1(22))?