(2^(x