What is the antiderivative of #[ln(ln x)]/x#?