inverse of 2^x