1+cos(2pi/7)-4cos^2(2pi/7)-8cos^3(2pi/7)=0