What is the derivative of ln(ln(2x))?