I have a symbolic function and I used FullSimplify command to simplify the equation given below. I am calculating it by hand but I couldn't reach the same solution. I used Trace command to observe the intermediate steps but trace only gives the expression before FullSimplify. Are there any possible methods that I can observe the steps of simplification?
Trace[FullSimplify[2 b (-(1/(1 - fd)) + 1/fd) +
(2 a (1 - (b (1 - 1/fd + 1/(fd t)))/(a + b)) t)/
(1 - (1 - fd) t - (b fd (1 - 1/fd + 1/(fd t)) t)/(a + b)) == 0]]
Answer
To see the full details of what FullSimplify is doing you can use the option TraceInternal -> True in Trace. It probably won't help much though, as it will generate pages and pages of inscrutable output.
One thing I have done in the past is to add Sow as a TransformationFunction. This shows the intermediate expressions that Simplify encounters as it works. It's far from being a step-by-step walkthrough, but you can sometimes get a few clues.
FullSimplify[expr, TransformationFunctions -> {Sow, Automatic}] // Reap
Comments
Post a Comment