Update to latest SymPy
Rewrite diffsteps with strategies