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