derivative of ln(ln(ln(ln(x))))