ALU macros and splitting a formula

It is interesting to study all combinations between + and binary operators in order to see if complex/big parts from a formula can be split and for operations to be used exactly these macros of simple operations.