Python: fix x + 1 sympification