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.