Unsimplification???



Maybe I should give the specific problem I was looking at.
The model is an expression (i.e. bfloat(t)) in which you substitute
values for certain variables and then you want to
"evaluate it" to get a numeric result, if possible. How to do this 
without invoking ev?

Michel