Hacker News new | ask | show | jobs
by cperciva 3811 days ago
Symbolic integration doesn't converge in that way. More strategy is required, and you're not guaranteed a closed form solution.

However, if a closed-form solution exists which can be expressed in terms of the operations + - * / exp log, then it is guaranteed to be found.