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