cos(pi/7) + cos(4*pi/7) + cos(5*pi/7)