demo of sympy for symbolic diffs