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