对 y=sin4xcos5x 求导 ,把结果化到最简

不好意思,题目看错.
楼主看一下我做的有没有错,我觉得跟答案不一样.
[sin4xcos5x ]’
={(1/2)*[sin(4x+5x)+sin(4x-5x)]}'
=(1/2)*[sin9x-sinx]'
=(1/2)*(9cos9x-cosx)
如果我的过程对的话,那答案可能有问题,当x=派/2时,
3cos6x+cos2x=3*(-1)+(-1)=-4
(1/2)*(9cos9x-cosx)=(1/2)*(9*0-0)=0
两者不等啊,我在线,等楼主讨论.

y=sin4xcos5x
y'=4sin3xcos6x-5sin5xcos4x
=sin3xcos4x(4cos2x-5sin2x)