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