What's the derivative of the integral $$\int_1^x\sin(t) dt$$
Any ideas? I'm getting a little confused.