Speedup Mul expansion

Just a few light touches here and there.

The `((y + x + z + w)^15 + w)*(y + x + z + w)^15` benchmark before:

4109ms

After:

2838ms