Diofant is a Python library for symbolic mathematics.
It is able to symbolically differentiate, integrate functions, solve
algebraic equations and a lot more.

It can present results in a very cool pseudographics in your terminal.