How do you evaluate cos1(12)?