How do you find the exact value of cos1(cos(5π3))?