Sine of e to the x. Let me write it over here. Times sine of e to the x. We had negative sine e to the x times e to the x. Negative sine of e to the x times e to the x. And then that was multiplied by e to the cosine of x. So we have the exact same thing right over here.