Presumably the results in the reverse direction are sometimes ambiguous, so x1 -> y -> x2. I wonder it there’s a general code improver that tries this transfor

Presumably the results in the reverse direction are sometimes ambiguous, so x1 -> y -> x2. I wonder it there’s a general code improver that tries this transform on every function looking for a shorter x2 than x1.