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 solut

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.