I am currently working on a question about Calculus on Manifolds and ran into an integral that I'm confused about. How would you evaluate:
$$\int_0^{2\pi}\cos(t) d\sin(t)$$
The answer is $\pi$, by simplifying the above to: $$\frac{1}{2}\cdot \int_0^{2\pi}dt$$ I tried using u-sub but I think I'm missing something here. Am I supposed to use the identity $\sin(2x) = 2\sin x\cos x$?