sin(π/7)+sin(2π/7)+sin(3π/7)