WolframAlpha computational knowledge AI
complicated definite integrals containing sin(x)