RT，试证明：

$\int_0^\pi e^{\cos x}\cos(\sin x-x)\text dx=\pi$

我自己有一个实数范围的解法，但是太繁琐了。我同学有一个复数的便捷做法。于是，我想来问问在实数范围内有没有什么比较简单的写法？