Evaluate 2cos(pi/6)^2