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