Problem 1373 (difficulty: 7/10)
Is \(\displaystyle \displaystyle f(t)=\int_1^t e^{x^2t}\dx\) differentiable? What is its derivative?