I'm currently working on a calculus problem and I could use some help. The question is to find the value of $F^{\prime}(\sqrt{\pi})$ if $F(t)=\int_0^t \cos \left(x^2\right) d x$.
I'm not sure how to approach this problem since the function inside the integral involves the cosine function with an argument of $x^2$. I know that the derivative of an integral involves the function being integrated, but I'm not sure how to apply that here.
If anyone could provide some guidance on how to approach this problem or any relevant formulas that I should be using, it would be greatly appreciated. Thanks in advance!