strong simplification for MultiplyDivide and Power-Layer