cleaning up sympy more