d/dx(log_2(x