（高数）求y=e^(-x)cos(3-x)的微分

微分的乘积法则和链式法则学过吗?这两个都是微分基本的法则,做这道题时都会用到.
y=e^(-x)cos(3-x)
dy/dx = {d[e^(-x)]/dx}cos(3-x) + e^(-x){d[cos(3-x)]/dx}（乘积法则）
= -e^(-x)cos(3-x) + e^(-x)(-1)(-sin(3-x))（链式法则）
= e^(-x)[-cos(3-x)+sin(3-x)]