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