A Python library for symbolic mathematics.