cos(2pi/7)+cos(4pi/7)+cos(6pi/7)