cos(pi/6)