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