1 + (sum sin(j * pi * x / 19), j = 1 to 18) = 0