integrate(1/ln(ln(x)))