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