Hallo IJ,
> (X3*cos2(4x)/x2) 
[ x3 * cos2(x) ] / x2 ]  =  x * cos2(x)    ( die Angabe erscheint ungewöhnlich )
Mit der  Produktregel  [ u * v ] '  =  u ' * v + u * v '  ergibt sich:
[  x * cos2(x) ] ' =  1 * cos2(x) + x * [  cos2(x) ] '
            und mit der speziellen Kettenregel [ u2 ] ' = 2u * u '  
=  cos2(x) + x * 2 * cos(x) * (-sin(x)  =  cos2(x) - 2 * sin(x) * cos(x)
       wenn man will, kann man jetzt noch ausklammern:
=  cos(x) * ( cos(x) - 2 * sin(x) ) 
Gruß Wolfgang  
'