2^(x-3) = x