You mean integration? That&#x27;s much harder, but has been done automatically.  Symbolic differentiation is easy, because you can just keep blindly applying a set of rewrite rules until none of them apply. That process converges on a unique result.  Symbolic integration doesn&#x27;t converge in that way. More strategy is required, and you&#x27;re not guaranteed a closed form solution. Mathematica has a good symbolic integrator.