How do you evaluate cos(cos1(17))?