2 cos (t)
d / 2 \ --\cos (t)/ dt
Let .
Apply the power rule: goes to
Then, apply the chain rule. Multiply by :
The derivative of cosine is negative sine:
The result of the chain rule is:
Now simplify:
The answer is:
/ 2 2 \ 2*\sin (t) - cos (t)/