log(cos(x) - 1)
---------------
2
log(cos(x) - 1)/2
The derivative of a constant times a function is the constant times the derivative of the function.
Let .
The derivative of is .
Then, apply the chain rule. Multiply by :
Differentiate term by term:
The derivative of cosine is negative sine:
The derivative of the constant is zero.
The result is:
The result of the chain rule is:
So, the result is:
Now simplify:
The answer is:
-sin(x) -------------- 2*(cos(x) - 1)
/ 2 \
| sin (x) |
-|----------- + cos(x)|
\-1 + cos(x) /
------------------------
2*(-1 + cos(x))
/ 2 \
| 2*sin (x) 3*cos(x) |
-|-1 + -------------- + -----------|*sin(x)
| 2 -1 + cos(x)|
\ (-1 + cos(x)) /
--------------------------------------------
2*(-1 + cos(x))