A student notices that $\sin x$ is the derivative of $-\cos x$, and she wonders about $\displaystyle\int e^x\left(\sin x + \cos x\right)dx$. Which result is correct?