How do you evaluate #cos (pi/12)#?