solving log(x ln(x))=1