sin4x*cos5x=(1/2)*(sin9x-sin x)