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