WolframAlpha computational knowledge AI
integrate sinx dx, x=0..pi