First off, what you're trying to accomplish is called 'simplification', not minimization. I don't want to sound pedantic, but this could put your quest on the right track.

Secondly, you could have a look at Math::Symbolic. Unfortunately, the docs are sparse, so it's not clear to me what it does, but it seems to do at least some simplification.

Hope this helps, -gjb-