Derivative of 8cos(4x)

1. The derivative of a constant times a function is the constant times the derivative of the function.

   1. Let $u = 4 x$.

   2. The derivative of cosine is negative sine:

      $$\frac{d}{d u} \cos{\left(u \right)} = - \sin{\left(u \right)}$$

   3. Then, apply the chain rule. Multiply by $\frac{d}{d x} 4 x$:

      1. The derivative of a constant times a function is the constant times the derivative of the function.

         1. Apply the power rule: $x$ goes to $1$

         So, the result is: $4$

      The result of the chain rule is:

      $$- 4 \sin{\left(4 x \right)}$$

   So, the result is: $- 32 \sin{\left(4 x \right)}$

The answer is:

$$- 32 \sin{\left(4 x \right)}$$