sympy theano simplification first draft