derivative of y = cos5x(cos3x)