12 \cdot (2^x)^2 = 3/8 \cdot 2^{3x}