fix to sympify: -- is +, 1*x is x