: sin x + sin(x + pi) = 0 for all x