How do you evaluate cos^-1 (cos(-pi/3))cos1(cos(π3))?