(2tg пи/6 - tg пи/8) / cos пи/6 пожалкииииииииииииии
(2*tan(pi/6) - tan(pi/8)) / cos(pi/6) = 0,85504071 другого решения предложить не могу (((