tan^2(pi/18)+tan^2(5pi/18)+tan^2(7pi/18)