Mathematica does not have a complete implementation of the Risch algorithm. It actually cannot do the integral in the mathoverflow question. Macaulay2 has a fo

Mathematica does not have a complete implementation of the Risch algorithm. It actually cannot do the integral in the mathoverflow question. Macaulay2 has a focus on commutative algebra and algebraic geometry and doesn't have an implementation of the Risch algorithm either.