Simplify cos(pi/6)