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