Источник TeX:
EF = \sqrt[4]{12}(2-\sqrt{3})