How do you evaluate cos1(32)?