Объясните как получить из этого вот это

Sin4x-sin(π/2-6x)=2*sin(4x-(π/2-6x))/2

*cos(4x+π/2-6x)/2=

2*sin(4x-π/2+6x)/2*cos((π/2-2x)/2=
2*sin(10x/2-π/2:2)*cos(π/2:2-2x:2)=

2*sin(5x-π/4)*cos(π/4-x)