How do you evaluate cos (pi/6)?