Updated simplification example in the SymPy lab to be compatible with
SymPy 7.2.