How do you evaluate cos (pi/12)?