I agree, hard to find. I found this, which I think should be in the readme: https://docs.sympy.org/latest/tutorial/intro.html

Symbolic computation deals with the computation of mathematical objects symbolically. This means that the mathematical objects are represented exactly, not approximately, and mathematical expressions with unevaluated variables are left in symbolic form.

Let’s take an example...