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