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