How do you evaluate cos(sin1(12))?