WolframAlpha computational knowledge AI
factorise ((b(b+1)-a(a-1))^2)/4 - (b*(b+1)*(2b+1)-a*(a-1)*(2a-1))/6