Solution (source code)

= Solution

Use <integration by substitution> with $u=\ln x$, so $du=dx/x$. For $x>1$, also $u>0$, and
$$
\int\frac{dx}{x\ln x}=\int\frac{du}{u}=\boxed{\ln(\ln x)+C}.
$$
The domain condition explains why no absolute value is needed around the inner logarithm.