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