WolframAlpha computational knowledge AI
-(ProductLog(-log(a)))/(log(a)) at a = sqrt(3)