Engineering Optimizer

Eight canonical rewrites that reduce — or relocate — SuperBEST cost. Pick a rewrite to see the before / after cost, the identity that justifies it, and whether it saves nodes or moves from the ELC boundary to the interior.

Before (sum of 8)34n

After (sum of 8)27n

Saved7n (21%)

Before4n

x · x · x · x

four free-variable muls chained

After1n

x^4

single EPL(4, x) node on positives

Why it works

Any fixed-exponent power is one F13 node via EPL. Repeated multiplication is the expensive way to spell it.