Added tests, changed expr._eval_simplify to sympify(expr)._eval_simplify