WolframAlpha computational knowledge AI
log x integral representation