inverse 2^{x-3}