cos(arcsin(1/sqrt(3)) - pi/6)