plot sin(x) + sin(x + 0.9), 2 cos(0.9 / 2) sin(x + 0.9 / 2)