I've tried to search if we can decide wenether or not a given elementary function (arbitrary composition of functions we see at high-schools:
exp,sin,cos,tan,sqrt,pow,exp and also sum, multiplication, division
)
can be integrated or not but did not find any reliable sources.
What I have found is that there's an algorithm (Risch Algorithm) that in most cases find a solution for integrable elementary functions. My attemp is to discuss with a high-school teacher to not be so "hard" on integrals, since integrability in closed form is undecideable, and thus we don't know if we can integrate in finite time (but I don't know if that is true :P).
Numerical algorithms are much more faster and reliable (thinking to Runge-Kutta).
In general I believe that is a undecideable problem because I think the derivation tree is a context sensitive grammar (but I have no proof or evidence right now).
Thanks. An argument that I thinked is the following:
- Integrate the function numerically
- try to use Least Squares over aribtrary compositions to see if we find a function that match the numerical integration
- We are not sure that least squares attemps will end