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