Interpreting math expressions is one of those things that seems simple until you get into it. The first problem is correctly lexing the input — a term that means splitting into tokens.

This tells Python to import SymPy into the main namespace, define a symbolic x variable, and set up "pretty printing." This will make the output look more like it does in a math textbook.