Compiler design: splitting an expression into several equations

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