symbolic computation, sort of

[Mathew Yeates]

Here a question that only a guru could answer.

I have a function which performs alot of numerical computations and I 
want to symbolically see what equation is being computed. For instance, 
I want to feed the function

def f(x):
	t=2*x
         b= t +1
         return b


to a tool and have it tell me that f(x) -> 2x+1

How could I go about doing such a thing? Its alot more complicated than 
it looks because one would need to recursively examine any functions 
that f calls.

Mathew