7. (10 points) Find the point where local minimum for the function

$$f(x)=\int_{0}^{x^3-3x} e^{\cos(t^2+1)}\,dt$$

occurs.