WolframAlpha computational knowledge AI
solve ln(x)-2*ln(ln(x))-2=8