This is not possible in Mathematica, especially since it’s not all based off of rewrite rules. Wolfram even boasts the 100s of of pages of C and Mathematica code used to implement even individual algorithms.

With regards to conditioning the result, it should be as such, but no researcher would ever smear their result like that. Research is cutthroat.