[darkmighty]

Yea but simplifications like this are probably non-computable, even when possible, and hard to do in any case.