This is sometimes helpful. But more often it has very little overlap with what I need when I "simplify" some math.

"Simplify" is a very old term (>50y) in computer algebra. Its meaning has become kind of layered in that time.