Trying to improve sympy.cse(); WIP!