WolframAlpha computational knowledge AI
((a_1^2+a_2^2)(b_1^2+b_2^2)+(a_1*b_1+a_2*b_2)^2-(a_1^2*b_1^2+a_2^2*b_2^2))^2-(a_1^4+a_2^4)(b_1^4+b_2^4)