How do you evaluate cos1(cos(3π10))?