Thank you, this was almost exactly what I was looking for! It did not manage to catch J(1, 4) = x3*(-x0)
Is there any more aggressive 'optimisation' possible? or would I have to manually try to see if you can substitute x0 = X_A - X_B in x3*(-X_A + X_B) by trying all possible substitutions (intuition here telling me to loop backwards in this case)? Not asking for someone else to do it for me, trying to find the right direction, which is always hard when you are not yet familiar with the terminology and don't know what to look for specifically. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/cc0caebf-0a12-4dc7-8a14-604671049bfa%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.