Mathematical term rewriting system in Python for e-learning