cosxcos2xcos3xcos(2cos2x−1)cos3x=(2cos3x−cosx)cos3xdf′(x)=cos3xddx(2cos3x−cosx)+ddx(cos3x)(2cos3x−cosx)=cos3x(6cos2x−(−sinx))+sinx+3(−sin3x)(2cos2x−cosx)=sinxcos3x−6cos2xsinxcos3x−3sin3xcosx