I have not used WalkD but heared of it.
But you can use the Rubi integration package written by Albert Rich and set the ShowSteps=True
. The steps shown are the mathematical substitutions done in each step. Here is an example
To use it, load the package, and simply use Int
in place of Integrate
. It does indefinite integrations. After each step shown, hit the enter key on the new output to go to the next step, keep doing this, until no more terms shows up with Subst
in them.
Compare the above final result to Mathematica's