?[A,B]: ![X,Y,Z,W] : (A=mul(mul(Y,Y),Y))
?[A,B]: ![X,Y,Z,W] : (A=mul(Y,mul(A,Y)))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(Y,A),Y))
?[A,B]: ![X,Y,Z,W] : (mul(A,Y)=mul(Y,A))
?[A,B]: ![X,Y,Z,W] : (A=mul(B,mul(Z,B)))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(B,Z),B))
?[A,B]: ![X,Y,Z,W] : (A=mul(Y,mul(Y,mul(Y,Y))))
?[A,B]: ![X,Y,Z,W] : (A=mul(Y,mul(mul(Y,Y),Y)))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(Y,mul(Y,Y)),Y))
?[A,B]: ![X,Y,Z,W] : (mul(A,Y)=mul(Y,mul(Y,Y)))
?[A,B]: ![X,Y,Z,W] : (mul(A,Y)=mul(mul(Y,Y),Y))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(B,mul(Z,Z)),Z))
?[A,B]: ![X,Y,Z,W] : (A=mul(A,mul(Y,mul(Y,Y))))
?[A,B]: ![X,Y,Z,W] : (A=mul(Y,mul(A,mul(Y,Y))))
?[A,B]: ![X,Y,Z,W] : (A=mul(Y,mul(Y,mul(A,Y))))
?[A,B]: ![X,Y,Z,W] : (A=mul(Y,mul(mul(A,Y),Y)))
?[A,B]: ![X,Y,Z,W] : (A=mul(Y,mul(mul(Y,A),Y)))
?[A,B]: ![X,Y,Z,W] : (A=mul(Y,mul(mul(Y,Y),A)))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(A,Y),mul(Y,Y)))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(Y,A),mul(Y,Y)))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(Y,Y),mul(A,Y)))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(Y,Y),mul(Y,A)))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(Y,mul(A,Y)),Y))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(mul(A,Y),Y),Y))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(mul(Y,A),Y),Y))
?[A,B]: ![X,Y,Z,W] : (mul(A,Y)=mul(A,mul(Y,Y)))
?[A,B]: ![X,Y,Z,W] : (mul(A,Y)=mul(Y,mul(Y,A)))
?[A,B]: ![X,Y,Z,W] : (mul(A,Y)=mul(mul(Y,A),Y))
?[A,B]: ![X,Y,Z,W] : (mul(A,Y)=mul(mul(Y,Y),A))
?[A,B]: ![X,Y,Z,W] : (A=mul(A,mul(B,mul(Z,Z))))
?[A,B]: ![X,Y,Z,W] : (A=mul(A,mul(mul(B,Z),Z)))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(A,B),mul(Z,Z)))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(B,Z),mul(A,W)))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(B,Z),mul(B,Z)))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(A,mul(B,Z)),Z))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(B,mul(A,Z)),Z))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(B,mul(B,Z)),Z))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(B,mul(Z,A)),Z))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(B,mul(Z,B)),Z))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(B,mul(Z,Z)),A))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(mul(B,A),Z),Z))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(mul(B,Z),A),Z))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(mul(B,Z),B),Z))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(mul(B,Z),Z),A))
?[A,B]: ![X,Y,Z,W] : (mul(A,B)=mul(B,mul(Z,Z)))
?[A,B]: ![X,Y,Z,W] : (mul(A,A)=mul(mul(B,Z),Z))
?[A,B]: ![X,Y,Z,W] : (mul(A,B)=mul(mul(A,Z),Z))
?[A,B]: ![X,Y,Z,W] : (A=mul(Y,mul(A,mul(A,Y))))
?[A,B]: ![X,Y,Z,W] : (A=mul(Y,mul(A,mul(Y,A))))
?[A,B]: ![X,Y,Z,W] : (A=mul(Y,mul(mul(A,Y),A)))
?[A,B]: ![X,Y,Z,W] : (A=mul(Y,mul(mul(Y,A),A)))
?[A,B]: ![X,Y,Z,W] : (A=mul(mul(A,Y),mul(Y,A)))