Hi Vitaliy,

Thank you. That looks about right. I am looking forward to try that out, still need to wait for some evaluation activiation keys.

I was wondering whether it is also possible to build a graph for a bunch of such functions (e.g. in a notepad document) which might be interedependant? This would be useful if you have a larger collection of functions.

Anyway, I will try it out asap.

Thanks for your help.

An interesting and very broad question! I think you have found a PhD thesis topic  ;-)

I'd think you can go many ways with this, and Mathematica is ideal.  Here is a simple example that jumps to mind.  For a collection of formulae there are many ways to rewrite that formula.  For example if they are polynomials in a single variable they could be fully expanded and the coefficients could be focused on. Or they could be factored partially or completely, if possible over, say, the algebraic numbers.  Then these various forms, and the subexpressions contained in them could be organized to see what the commonalities are amongst the expressions.  Patern matching is ideal for this, though care needs to be taken to be sure that what appears as two visual patterns that look the same are the same in their InputForms.

So, the answer to your question is "yes."  The devil is in the details.  And it is not a one-liner.  But it's an interesting open-ended topic to explore....  and perhaps get tenure doing...