Evaluate cos(pi/6)