inverse of 2^{x-3}