What is $\frac{d}{dx}\int_0^{x^2}f(t) dt$
My understanding is that if $F(t)$ is antiderivative of $f(t)$, then it should be $F(x^2)-F(0)$, but it is $f(x^2)(2x)$
The entire problem is as follow:
Find $f(4)$ if $\int_0^{x^2}f(t)\, dt=x\cos (\pi x)$
and the solution is
$\frac{d}{dx}\int_0^{x^2}f(t) \,dt=\cos \pi x -\pi x \sin \pi x\Rightarrow f(x^2)x=\cos \pi x -\pi x \sin \pi x \Rightarrow f(x^2)=\frac{\cos \pi x -\pi x \sin \pi x}{x}$
Thus $x=2\Rightarrow f(4)=1/4$