Derivativeshard
0:00.0

Evaluate ddx(0x2cos(t)dt)\frac{d}{dx} \left( \int_0^{x^2} \cos(t) \, dt \right).