log_2{x} = t