Rearranging an equation by splitting an expression into several equations according to key variables

Question

I have encountered a problem related to optimisation in compiler design I believe might be unique.

I\'m trying to simplify expressions while following a speci