WolframAlpha computational knowledge AI
x''=-x,x(0)=1,x'(0)=0