inverse function of log_2(x)