mdfu1's channel

@gorgolyt No, he has it right. We want the imaginary part, aka the part with factor i.

The imaginary part of (1+i)(cos(x) + i sin(x)) is cos(x) + sin(x).

If we were looking for the real part, then indeed it would be cos(x) - sin(x).