Decompose Mul(x, 2**b + 2**a) into y = x + x << (b - a), y << a instead of y = x...