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