derivative of log_2 log_2 x