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