WolframAlpha computational knowledge AI
log(1-x^2) domain