WolframAlpha computational knowledge AI
integrate 1 over sqrt ln x