A Python library for symbolic mathematics