Diving into symbolic computing with SymPy