WolframAlpha computational knowledge AI
dilog's functional equations