sin(pi/7) - sin(2pi/7) + sin(3pi/7)