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