\prod\limits_{k=1}^3 (cot(k*pi/7))^2