sin(2pi/7)+sin(4pi/7)+sin(8pi/7)