Symbolic Algebra

Examples

(o+p-q)2 → (o2+2op+p2-2oq-2pq+q2)

Parse

(o+p-q)2
={ parse }
(((o+p)+(-1×q))×((o+p)+(-1×q)))

Sum of products

(((o+p)+(-1×q))×((o+p)+(-1×q)))
={ A×(B+C) → (A×B)+(A×C) }
((((o+p)+(-1×q))×(o+p))+(((o+p)+(-1×q))×(-1×q)))
={ A×(B+C) → (A×B)+(A×C) }
(((((o+p)+(-1×q))×o)+(((o+p)+(-1×q))×p))+(((o+p)+(-1×q))×(-1×q)))
={ (A+B)×C → (A×C)+(B×C) }
(((((o+po)+((-1×qo))+(((o+p)+(-1×q))×p))+(((o+p)+(-1×q))×(-1×q)))
={ (A+B)×C → (A×C)+(B×C) }
(((((o×o)+(p×o))+((-1×qo))+(((o+p)+(-1×q))×p))+(((o+p)+(-1×q))×(-1×q)))
={ (A+B)×C → (A×C)+(B×C) }
(((((o×o)+(p×o))+((-1×qo))+(((o+pp)+((-1×qp)))+(((o+p)+(-1×q))×(-1×q)))
={ (A+B)×C → (A×C)+(B×C) }
(((((o×o)+(p×o))+((-1×qo))+(((o×p)+(p×p))+((-1×qp)))+(((o+p)+(-1×q))×(-1×q)))
={ A+(B+C) → (A+B)+C }
((((((o×o)+(p×o))+((-1×qo))+((o×p)+(p×p)))+((-1×qp))+(((o+p)+(-1×q))×(-1×q)))
={ A+(B+C) → (A+B)+C }
(((((((o×o)+(p×o))+((-1×qo))+(o×p))+(p×p))+((-1×qp))+(((o+p)+(-1×q))×(-1×q)))
={ (A+B)×C → (A×C)+(B×C) }
(((((((o×o)+(p×o))+((-1×qo))+(o×p))+(p×p))+((-1×qp))+(((o+p)×(-1×q))+((-1×q)×(-1×q))))
={ (A+B)×C → (A×C)+(B×C) }
(((((((o×o)+(p×o))+((-1×qo))+(o×p))+(p×p))+((-1×qp))+(((o×(-1×q))+(p×(-1×q)))+((-1×q)×(-1×q))))
={ A×(B×C) → (A×B)×C }
(((((((o×o)+(p×o))+((-1×qo))+(o×p))+(p×p))+((-1×qp))+((((o×-1)×q)+(p×(-1×q)))+((-1×q)×(-1×q))))
={ A×(B×C) → (A×B)×C }
(((((((o×o)+(p×o))+((-1×qo))+(o×p))+(p×p))+((-1×qp))+((((o×-1)×q)+((p×-1)×q))+((-1×q)×(-1×q))))
={ A×(B×C) → (A×B)×C }
(((((((o×o)+(p×o))+((-1×qo))+(o×p))+(p×p))+((-1×qp))+((((o×-1)×q)+((p×-1)×q))+(((-1×q)×-1)×q)))
={ A+(B+C) → (A+B)+C }
((((((((o×o)+(p×o))+((-1×qo))+(o×p))+(p×p))+((-1×qp))+(((o×-1)×q)+((p×-1)×q)))+(((-1×q)×-1)×q))
={ A+(B+C) → (A+B)+C }
(((((((((o×o)+(p×o))+((-1×qo))+(o×p))+(p×p))+((-1×qp))+((o×-1)×q))+((p×-1)×q))+(((-1×q)×-1)×q))

Flatten

(((((((((o×o)+(p×o))+((-1×qo))+(o×p))+(p×p))+((-1×qp))+((o×-1)×q))+((p×-1)×q))+(((-1×q)×-1)×q))
={ flatten }
((o×o)+(p×o)+(-1×q×o)+(o×p)+(p×p)+(-1×q×p)+(o×-1×q)+(p×-1×q)+(-1×q×-1×q))

Scalar multiple

((o×o)+(p×o)+(-1×q×o)+(o×p)+(p×p)+(-1×q×p)+(o×-1×q)+(p×-1×q)+(-1×q×-1×q))
={ A×... → 1×A×... }
((1×o×o)+(p×o)+(-1×q×o)+(o×p)+(p×p)+(-1×q×p)+(o×-1×q)+(p×-1×q)+(-1×q×-1×q))
={ A×... → 1×A×... }
((1×o×o)+(1×p×o)+(-1×q×o)+(o×p)+(p×p)+(-1×q×p)+(o×-1×q)+(p×-1×q)+(-1×q×-1×q))
={ A×... → 1×A×... }
((1×o×o)+(1×p×o)+(-1×q×o)+(1×o×p)+(p×p)+(-1×q×p)+(o×-1×q)+(p×-1×q)+(-1×q×-1×q))
={ A×... → 1×A×... }
((1×o×o)+(1×p×o)+(-1×q×o)+(1×o×p)+(1×p×p)+(-1×q×p)+(o×-1×q)+(p×-1×q)+(-1×q×-1×q))
={ A×... → 1×A×... }
((1×o×o)+(1×p×o)+(-1×q×o)+(1×o×p)+(1×p×p)+(-1×q×p)+(1×o×-1×q)+(p×-1×q)+(-1×q×-1×q))
={ A×... → 1×A×... }
((1×o×o)+(1×p×o)+(-1×q×o)+(1×o×p)+(1×p×p)+(-1×q×p)+(1×o×-1×q)+(1×p×-1×q)+(-1×q×-1×q))

Sort

((1×o×o)+(1×p×o)+(-1×q×o)+(1×o×p)+(1×p×p)+(-1×q×p)+(1×o×-1×q)+(1×p×-1×q)+(-1×q×-1×q))
={ B×A → A×B }
((1×o×o)+(1×o×p)+(-1×q×o)+(1×o×p)+(1×p×p)+(-1×q×p)+(1×o×-1×q)+(1×p×-1×q)+(-1×q×-1×q))
={ B+A → A+B }
((1×o×o)+(-1×q×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×q×p)+(1×o×-1×q)+(1×p×-1×q)+(-1×q×-1×q))
={ B×A → A×B }
((1×o×o)+(-1×o×q)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×q×p)+(1×o×-1×q)+(1×p×-1×q)+(-1×q×-1×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(-1×o×q)+(1×o×p)+(1×p×p)+(-1×q×p)+(1×o×-1×q)+(1×p×-1×q)+(-1×q×-1×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(-1×o×q)+(1×p×p)+(-1×q×p)+(1×o×-1×q)+(1×p×-1×q)+(-1×q×-1×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(-1×q×p)+(1×o×-1×q)+(1×p×-1×q)+(-1×q×-1×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×q×p)+(-1×o×q)+(1×o×-1×q)+(1×p×-1×q)+(-1×q×-1×q))
={ B×A → A×B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×p×q)+(-1×o×q)+(1×o×-1×q)+(1×p×-1×q)+(-1×q×-1×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(-1×p×q)+(1×o×-1×q)+(1×p×-1×q)+(-1×q×-1×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(1×o×-1×q)+(-1×p×q)+(1×p×-1×q)+(-1×q×-1×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(1×o×-1×q)+(-1×o×q)+(-1×p×q)+(1×p×-1×q)+(-1×q×-1×q))
={ B×A → A×B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(1×-1×o×q)+(-1×o×q)+(-1×p×q)+(1×p×-1×q)+(-1×q×-1×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(1×-1×o×q)+(-1×p×q)+(1×p×-1×q)+(-1×q×-1×q))
={ B×A → A×B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(-1×1×o×q)+(-1×p×q)+(1×p×-1×q)+(-1×q×-1×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(-1×1×o×q)+(1×p×-1×q)+(-1×p×q)+(-1×q×-1×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(1×p×-1×q)+(-1×1×o×q)+(-1×p×q)+(-1×q×-1×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(1×p×-1×q)+(-1×o×q)+(-1×1×o×q)+(-1×p×q)+(-1×q×-1×q))
={ B×A → A×B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(1×-1×p×q)+(-1×o×q)+(-1×1×o×q)+(-1×p×q)+(-1×q×-1×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(1×-1×p×q)+(-1×1×o×q)+(-1×p×q)+(-1×q×-1×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(-1×1×o×q)+(1×-1×p×q)+(-1×p×q)+(-1×q×-1×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(-1×1×o×q)+(-1×p×q)+(1×-1×p×q)+(-1×q×-1×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(-1×1×o×q)+(-1×p×q)+(-1×q×-1×q)+(1×-1×p×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(-1×1×o×q)+(-1×q×-1×q)+(-1×p×q)+(1×-1×p×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(-1×q×-1×q)+(-1×1×o×q)+(-1×p×q)+(1×-1×p×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×q×-1×q)+(-1×o×q)+(-1×1×o×q)+(-1×p×q)+(1×-1×p×q))
={ B×A → A×B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×-1×q×q)+(-1×o×q)+(-1×1×o×q)+(-1×p×q)+(1×-1×p×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(-1×-1×q×q)+(-1×1×o×q)+(-1×p×q)+(1×-1×p×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(-1×1×o×q)+(-1×-1×q×q)+(-1×p×q)+(1×-1×p×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(-1×1×o×q)+(-1×p×q)+(-1×-1×q×q)+(1×-1×p×q))
={ B+A → A+B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(-1×1×o×q)+(-1×p×q)+(1×-1×p×q)+(-1×-1×q×q))
={ B×A → A×B }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(-1×1×o×q)+(-1×p×q)+(-1×1×p×q)+(-1×-1×q×q))

Fold constants

((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(-1×1×o×q)+(-1×p×q)+(-1×1×p×q)+(-1×-1×q×q))
={ (m)×(n) → (m×n) }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(-1×o×q)+(-1×p×q)+(-1×1×p×q)+(-1×-1×q×q))
={ (m)×(n) → (m×n) }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(-1×o×q)+(-1×p×q)+(-1×p×q)+(-1×-1×q×q))
={ (m)×(n) → (m×n) }
((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(-1×o×q)+(-1×p×q)+(-1×p×q)+(1×q×q))

Collect

((1×o×o)+(1×o×p)+(1×o×p)+(1×p×p)+(-1×o×q)+(-1×o×q)+(-1×p×q)+(-1×p×q)+(1×q×q))
={ (mA)+(nA) \to (m+n)A }
((1×o×o)+(2×o×p)+(1×p×p)+(-1×o×q)+(-1×o×q)+(-1×p×q)+(-1×p×q)+(1×q×q))
={ (mA)+(nA) \to (m+n)A }
((1×o×o)+(2×o×p)+(1×p×p)+(-2×o×q)+(-1×p×q)+(-1×p×q)+(1×q×q))
={ (mA)+(nA) \to (m+n)A }
((1×o×o)+(2×o×p)+(1×p×p)+(-2×o×q)+(-2×p×q)+(1×q×q))

Simplify

((1×o×o)+(2×o×p)+(1×p×p)+(-2×o×q)+(-2×p×q)+(1×q×q))
={ 1×A → A }
((o×o)+(2×o×p)+(1×p×p)+(-2×o×q)+(-2×p×q)+(1×q×q))
={ 1×A → A }
((o×o)+(2×o×p)+(p×p)+(-2×o×q)+(-2×p×q)+(1×q×q))
={ 1×A → A }
((o×o)+(2×o×p)+(p×p)+(-2×o×q)+(-2×p×q)+(q×q))

Beautify

((o×o)+(2×o×p)+(p×p)+(-2×o×q)+(-2×p×q)+(q×q))
={ beautify }
(o2+2op+p2-2oq-2pq+q2)

let f(z,c)=z2+c in f(Z+z,C+c)-f(Z,C) → (c+2Zz+z2)

Parse

let f(z,c)=z2+c in f(Z+z,C+c)-f(Z,C)
={ parse }
((((Z+z)×(Z+z))+(C+c))+(-1×((Z×Z)+C)))

Sum of products

((((Z+z)×(Z+z))+(C+c))+(-1×((Z×Z)+C)))
={ A×(B+C) → (A×B)+(A×C) }
(((((Z+zZ)+((Z+zz))+(C+c))+(-1×((Z×Z)+C)))
={ (A+B)×C → (A×C)+(B×C) }
(((((Z×Z)+(z×Z))+((Z+zz))+(C+c))+(-1×((Z×Z)+C)))
={ (A+B)×C → (A×C)+(B×C) }
(((((Z×Z)+(z×Z))+((Z×z)+(z×z)))+(C+c))+(-1×((Z×Z)+C)))
={ A+(B+C) → (A+B)+C }
((((((Z×Z)+(z×Z))+(Z×z))+(z×z))+(C+c))+(-1×((Z×Z)+C)))
={ A+(B+C) → (A+B)+C }
(((((((Z×Z)+(z×Z))+(Z×z))+(z×z))+C)+c)+(-1×((Z×Z)+C)))
={ A×(B+C) → (A×B)+(A×C) }
(((((((Z×Z)+(z×Z))+(Z×z))+(z×z))+C)+c)+((-1×(Z×Z))+(-1×C)))
={ A×(B×C) → (A×B)×C }
(((((((Z×Z)+(z×Z))+(Z×z))+(z×z))+C)+c)+(((-1×ZZ)+(-1×C)))
={ A+(B+C) → (A+B)+C }
((((((((Z×Z)+(z×Z))+(Z×z))+(z×z))+C)+c)+((-1×ZZ))+(-1×C))

Flatten

((((((((Z×Z)+(z×Z))+(Z×z))+(z×z))+C)+c)+((-1×ZZ))+(-1×C))
={ flatten }
((Z×Z)+(z×Z)+(Z×z)+(z×z)+C+c+(-1×Z×Z)+(-1×C))

Scalar multiple

((Z×Z)+(z×Z)+(Z×z)+(z×z)+C+c+(-1×Z×Z)+(-1×C))
={ A×... → 1×A×... }
((1×Z×Z)+(z×Z)+(Z×z)+(z×z)+C+c+(-1×Z×Z)+(-1×C))
={ A×... → 1×A×... }
((1×Z×Z)+(1×z×Z)+(Z×z)+(z×z)+C+c+(-1×Z×Z)+(-1×C))
={ A×... → 1×A×... }
((1×Z×Z)+(1×z×Z)+(1×Z×z)+(z×z)+C+c+(-1×Z×Z)+(-1×C))
={ A×... → 1×A×... }
((1×Z×Z)+(1×z×Z)+(1×Z×z)+(1×z×z)+C+c+(-1×Z×Z)+(-1×C))
={ A+... → (1×A)+... }
((1×Z×Z)+(1×z×Z)+(1×Z×z)+(1×z×z)+(1×C)+c+(-1×Z×Z)+(-1×C))
={ A+... → (1×A)+... }
((1×Z×Z)+(1×z×Z)+(1×Z×z)+(1×z×z)+(1×C)+(1×c)+(-1×Z×Z)+(-1×C))

Sort

((1×Z×Z)+(1×z×Z)+(1×Z×z)+(1×z×z)+(1×C)+(1×c)+(-1×Z×Z)+(-1×C))
={ B×A → A×B }
((1×Z×Z)+(1×Z×z)+(1×Z×z)+(1×z×z)+(1×C)+(1×c)+(-1×Z×Z)+(-1×C))
={ B+A → A+B }
((1×Z×Z)+(1×Z×z)+(1×Z×z)+(1×C)+(1×z×z)+(1×c)+(-1×Z×Z)+(-1×C))
={ B+A → A+B }
((1×Z×Z)+(1×Z×z)+(1×C)+(1×Z×z)+(1×z×z)+(1×c)+(-1×Z×Z)+(-1×C))
={ B+A → A+B }
((1×Z×Z)+(1×C)+(1×Z×z)+(1×Z×z)+(1×z×z)+(1×c)+(-1×Z×Z)+(-1×C))
={ B+A → A+B }
((1×C)+(1×Z×Z)+(1×Z×z)+(1×Z×z)+(1×z×z)+(1×c)+(-1×Z×Z)+(-1×C))
={ B+A → A+B }
((1×C)+(1×Z×Z)+(1×Z×z)+(1×Z×z)+(1×c)+(1×z×z)+(-1×Z×Z)+(-1×C))
={ B+A → A+B }
((1×C)+(1×Z×Z)+(1×Z×z)+(1×c)+(1×Z×z)+(1×z×z)+(-1×Z×Z)+(-1×C))
={ B+A → A+B }
((1×C)+(1×Z×Z)+(1×c)+(1×Z×z)+(1×Z×z)+(1×z×z)+(-1×Z×Z)+(-1×C))
={ B+A → A+B }
((1×C)+(1×Z×Z)+(1×c)+(1×Z×z)+(1×Z×z)+(-1×Z×Z)+(1×z×z)+(-1×C))
={ B+A → A+B }
((1×C)+(1×Z×Z)+(1×c)+(1×Z×z)+(-1×Z×Z)+(1×Z×z)+(1×z×z)+(-1×C))
={ B+A → A+B }
((1×C)+(1×Z×Z)+(1×c)+(-1×Z×Z)+(1×Z×z)+(1×Z×z)+(1×z×z)+(-1×C))
={ B+A → A+B }
((1×C)+(1×Z×Z)+(-1×Z×Z)+(1×c)+(1×Z×z)+(1×Z×z)+(1×z×z)+(-1×C))
={ B+A → A+B }
((1×C)+(-1×Z×Z)+(1×Z×Z)+(1×c)+(1×Z×z)+(1×Z×z)+(1×z×z)+(-1×C))
={ B+A → A+B }
((1×C)+(-1×Z×Z)+(1×Z×Z)+(1×c)+(1×Z×z)+(1×Z×z)+(-1×C)+(1×z×z))
={ B+A → A+B }
((1×C)+(-1×Z×Z)+(1×Z×Z)+(1×c)+(1×Z×z)+(-1×C)+(1×Z×z)+(1×z×z))
={ B+A → A+B }
((1×C)+(-1×Z×Z)+(1×Z×Z)+(1×c)+(-1×C)+(1×Z×z)+(1×Z×z)+(1×z×z))
={ B+A → A+B }
((1×C)+(-1×Z×Z)+(1×Z×Z)+(-1×C)+(1×c)+(1×Z×z)+(1×Z×z)+(1×z×z))
={ B+A → A+B }
((1×C)+(-1×Z×Z)+(-1×C)+(1×Z×Z)+(1×c)+(1×Z×z)+(1×Z×z)+(1×z×z))
={ B+A → A+B }
((1×C)+(-1×C)+(-1×Z×Z)+(1×Z×Z)+(1×c)+(1×Z×z)+(1×Z×z)+(1×z×z))
={ B+A → A+B }
((-1×C)+(1×C)+(-1×Z×Z)+(1×Z×Z)+(1×c)+(1×Z×z)+(1×Z×z)+(1×z×z))

Fold constants

((-1×C)+(1×C)+(-1×Z×Z)+(1×Z×Z)+(1×c)+(1×Z×z)+(1×Z×z)+(1×z×z))

Collect

((-1×C)+(1×C)+(-1×Z×Z)+(1×Z×Z)+(1×c)+(1×Z×z)+(1×Z×z)+(1×z×z))
={ (mA)+(nA) \to (m+n)A }
((0×C)+(-1×Z×Z)+(1×Z×Z)+(1×c)+(1×Z×z)+(1×Z×z)+(1×z×z))
={ (mA)+(nA) \to (m+n)A }
((0×C)+(0×Z×Z)+(1×c)+(1×Z×z)+(1×Z×z)+(1×z×z))
={ (mA)+(nA) \to (m+n)A }
((0×C)+(0×Z×Z)+(1×c)+(2×Z×z)+(1×z×z))

Simplify

((0×C)+(0×Z×Z)+(1×c)+(2×Z×z)+(1×z×z))
={ 0×A → 0 }
(0+(0×Z×Z)+(1×c)+(2×Z×z)+(1×z×z))
={ 0+A → A }
((0×Z×Z)+(1×c)+(2×Z×z)+(1×z×z))
={ 0×A → 0 }
(0+(1×c)+(2×Z×z)+(1×z×z))
={ 0+A → A }
((1×c)+(2×Z×z)+(1×z×z))
={ 1×A → A }
((c)+(2×Z×z)+(1×z×z))
={ 1×A → A }
((c)+(2×Z×z)+(z×z))

Beautify

((c)+(2×Z×z)+(z×z))
={ beautify }
(c+2Zz+z2)

let z=a1c+a2c2+a3c3 in c+2Zz+z2 → ((1+2Za1)c+(a12+2Za2)c2+(2a1a2+2Za3)c3+O(c4))

Parse

let z=a1c+a2c2+a3c3 in c+2Zz+z2
={ parse }
((c+((2×Z)×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))+((((a1×c)+(a2×(c×c)))+(a3×((c×cc)))×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))

Sum of products

((c+((2×Z)×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))+((((a1×c)+(a2×(c×c)))+(a3×((c×cc)))×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))
={ A×(B×C) → (A×B)×C }
((c+((2×Z)×(((a1×c)+((a2×cc))+(a3×((c×cc)))))+((((a1×c)+(a2×(c×c)))+(a3×((c×cc)))×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))
={ A×(B×C) → (A×B)×C }
((c+((2×Z)×(((a1×c)+((a2×cc))+((a3×(c×c))×c))))+((((a1×c)+(a2×(c×c)))+(a3×((c×cc)))×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))
={ A×(B×C) → (A×B)×C }
((c+((2×Z)×(((a1×c)+((a2×cc))+(((a3×ccc))))+((((a1×c)+(a2×(c×c)))+(a3×((c×cc)))×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))
={ A×(B+C) → (A×B)+(A×C) }
((c+(((2×Z)×((a1×c)+((a2×cc)))+((2×Z)×(((a3×ccc))))+((((a1×c)+(a2×(c×c)))+(a3×((c×cc)))×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))
={ A×(B+C) → (A×B)+(A×C) }
((c+((((2×Z)×(a1×c))+((2×Z)×((a2×cc)))+((2×Z)×(((a3×ccc))))+((((a1×c)+(a2×(c×c)))+(a3×((c×cc)))×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))
={ A×(B×C) → (A×B)×C }
((c+(((((2×Za1c)+((2×Z)×((a2×cc)))+((2×Z)×(((a3×ccc))))+((((a1×c)+(a2×(c×c)))+(a3×((c×cc)))×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))
={ A×(B×C) → (A×B)×C }
((c+(((((2×Za1c)+(((2×Z)×(a2×c))×c))+((2×Z)×(((a3×ccc))))+((((a1×c)+(a2×(c×c)))+(a3×((c×cc)))×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))
={ A×(B×C) → (A×B)×C }
((c+(((((2×Za1c)+((((2×Za2cc))+((2×Z)×(((a3×ccc))))+((((a1×c)+(a2×(c×c)))+(a3×((c×cc)))×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))
={ A×(B×C) → (A×B)×C }
((c+(((((2×Za1c)+((((2×Za2cc))+(((2×Z)×((a3×cc))×c)))+((((a1×c)+(a2×(c×c)))+(a3×((c×cc)))×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))
={ A×(B×C) → (A×B)×C }
((c+(((((2×Za1c)+((((2×Za2cc))+((((2×Z)×(a3×c))×cc)))+((((a1×c)+(a2×(c×c)))+(a3×((c×cc)))×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))
={ A×(B×C) → (A×B)×C }
((c+(((((2×Za1c)+((((2×Za2cc))+(((((2×Za3ccc)))+((((a1×c)+(a2×(c×c)))+(a3×((c×cc)))×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))
={ A+(B+C) → (A+B)+C }
(((c+((((2×Za1c)+((((2×Za2cc)))+(((((2×Za3ccc))+((((a1×c)+(a2×(c×c)))+(a3×((c×cc)))×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))
={ A+(B+C) → (A+B)+C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+((((a1×c)+(a2×(c×c)))+(a3×((c×cc)))×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+((((a1×c)+((a2×cc))+(a3×((c×cc)))×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+((((a1×c)+((a2×cc))+((a3×(c×c))×c))×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a1×c)+(a2×(c×c)))+(a3×((c×cc)))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a1×c)+((a2×cc))+(a3×((c×cc)))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a1×c)+((a2×cc))+((a3×(c×c))×c))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a1×c)+((a2×cc))+(((a3×ccc))))
={ A×(B+C) → (A×B)+(A×C) }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((a1×c)+((a2×cc))+(((a3×ccc))×((a1×c)+((a2×cc)))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a3×ccc))))
={ A×(B+C) → (A×B)+(A×C) }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+((((((a1×c)+((a2×cc))+(((a3×ccc))×(a1×c))+((((a1×c)+((a2×cc))+(((a3×ccc))×((a2×cc)))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a3×ccc))))
={ (A+B)×C → (A×C)+(B×C) }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+((((((a1×c)+((a2×cc))×(a1×c))+((((a3×ccc)×(a1×c)))+((((a1×c)+((a2×cc))+(((a3×ccc))×((a2×cc)))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a3×ccc))))
={ (A+B)×C → (A×C)+(B×C) }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+((((((a1×c)×(a1×c))+(((a2×cc)×(a1×c)))+((((a3×ccc)×(a1×c)))+((((a1×c)+((a2×cc))+(((a3×ccc))×((a2×cc)))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a3×ccc))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((a1×ca1c)+(((a2×cc)×(a1×c)))+((((a3×ccc)×(a1×c)))+((((a1×c)+((a2×cc))+(((a3×ccc))×((a2×cc)))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a3×ccc))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((a1×ca1c)+((((a2×cca1c))+((((a3×ccc)×(a1×c)))+((((a1×c)+((a2×cc))+(((a3×ccc))×((a2×cc)))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a3×ccc))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×c)+((a2×cc))+(((a3×ccc))×((a2×cc)))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a3×ccc))))
={ (A+B)×C → (A×C)+(B×C) }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×c)+((a2×cc))×((a2×cc))+((((a3×ccc)×((a2×cc))))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a3×ccc))))
={ (A+B)×C → (A×C)+(B×C) }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×c)×((a2×cc))+(((a2×cc)×((a2×cc)))+((((a3×ccc)×((a2×cc))))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a3×ccc))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+(((((a1×c)×(a2×c))×c)+(((a2×cc)×((a2×cc)))+((((a3×ccc)×((a2×cc))))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a3×ccc))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((((a1×ca2cc)+(((a2×cc)×((a2×cc)))+((((a3×ccc)×((a2×cc))))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a3×ccc))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((((a1×ca2cc)+((((a2×cc)×(a2×c))×c))+((((a3×ccc)×((a2×cc))))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a3×ccc))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((((a1×ca2cc)+(((((a2×cca2cc))+((((a3×ccc)×((a2×cc))))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a3×ccc))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((((a1×ca2cc)+(((((a2×cca2cc))+(((((a3×ccc)×(a2×c))×c)))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a3×ccc))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((((a1×ca2cc)+(((((a2×cca2cc))+((((((a3×ccca2cc)))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a3×ccc))))
={ A+(B+C) → (A+B)+C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+((((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+(((((a1×ca2cc)+(((((a2×cca2cc)))+((((((a3×ccca2cc))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a3×ccc))))
={ A+(B+C) → (A+B)+C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+((((a1×c)+((a2×cc))+(((a3×ccc))×(((a3×ccc))))
={ (A+B)×C → (A×C)+(B×C) }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+((((a1×c)+((a2×cc))×(((a3×ccc))+((((a3×ccc)×(((a3×ccc)))))
={ (A+B)×C → (A×C)+(B×C) }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+((((a1×c)×(((a3×ccc))+(((a2×cc)×(((a3×ccc)))+((((a3×ccc)×(((a3×ccc)))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+(((((a1×c)×((a3×cc))×c)+(((a2×cc)×(((a3×ccc)))+((((a3×ccc)×(((a3×ccc)))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+((((((a1×c)×(a3×c))×cc)+(((a2×cc)×(((a3×ccc)))+((((a3×ccc)×(((a3×ccc)))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+(((((((a1×ca3ccc)+(((a2×cc)×(((a3×ccc)))+((((a3×ccc)×(((a3×ccc)))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+(((((((a1×ca3ccc)+((((a2×cc)×((a3×cc))×c))+((((a3×ccc)×(((a3×ccc)))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+(((((((a1×ca3ccc)+(((((a2×cc)×(a3×c))×cc))+((((a3×ccc)×(((a3×ccc)))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+(((((((a1×ca3ccc)+((((((a2×cca3ccc))+((((a3×ccc)×(((a3×ccc)))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+(((((((a1×ca3ccc)+((((((a2×cca3ccc))+(((((a3×ccc)×((a3×cc))×c))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+(((((((a1×ca3ccc)+((((((a2×cca3ccc))+((((((a3×ccc)×(a3×c))×cc))))
={ A×(B×C) → (A×B)×C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+(((((((a1×ca3ccc)+((((((a2×cca3ccc))+(((((((a3×ccca3ccc))))
={ A+(B+C) → (A+B)+C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+((((((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+((((((a1×ca3ccc)+((((((a2×cca3ccc)))+(((((((a3×ccca3ccc)))
={ A+(B+C) → (A+B)+C }
((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+(((((a1×ca3ccc))+((((((a2×cca3ccc))+(((((((a3×ccca3ccc)))
={ A+(B+C) → (A+B)+C }
(((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+((((((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+(((((a1×ca3ccc))+((((((a2×cca3ccc)))+(((((((a3×ccca3ccc))
={ A+(B+C) → (A+B)+C }
((((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+(((((a1×ca3ccc)))+((((((a2×cca3ccc))+(((((((a3×ccca3ccc))
={ A+(B+C) → (A+B)+C }
(((((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+((((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc)))+(((((a1×ca3ccc))+((((((a2×cca3ccc))+(((((((a3×ccca3ccc))
={ A+(B+C) → (A+B)+C }
((((((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc)))+((((((a3×ccca2cc))+(((((a1×ca3ccc))+((((((a2×cca3ccc))+(((((((a3×ccca3ccc))
={ A+(B+C) → (A+B)+C }
(((((((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+((((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc)))+(((((a2×cca2cc))+((((((a3×ccca2cc))+(((((a1×ca3ccc))+((((((a2×cca3ccc))+(((((((a3×ccca3ccc))
={ A+(B+C) → (A+B)+C }
((((((((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((((a1×ca1c)+((((a2×cca1c))+(((((a3×ccca1c)))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+(((((a1×ca3ccc))+((((((a2×cca3ccc))+(((((((a3×ccca3ccc))
={ A+(B+C) → (A+B)+C }
(((((((((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+((((a1×ca1c)+((((a2×cca1c)))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+(((((a1×ca3ccc))+((((((a2×cca3ccc))+(((((((a3×ccca3ccc))
={ A+(B+C) → (A+B)+C }
((((((((((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((a1×ca1c))+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+(((((a1×ca3ccc))+((((((a2×cca3ccc))+(((((((a3×ccca3ccc))

Flatten

((((((((((((c+(((2×Za1c))+((((2×Za2cc))+(((((2×Za3ccc))+(((a1×ca1c))+((((a2×cca1c))+(((((a3×ccca1c))+((((a1×ca2cc))+(((((a2×cca2cc))+((((((a3×ccca2cc))+(((((a1×ca3ccc))+((((((a2×cca3ccc))+(((((((a3×ccca3ccc))
={ flatten }
(c+(2×Z×a1×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(a1×c×a1×c)+(a2×c×c×a1×c)+(a3×c×c×c×a1×c)+(a1×c×a2×c×c)+(a2×c×c×a2×c×c)+(a3×c×c×c×a2×c×c)+(a1×c×a3×c×c×c)+(a2×c×c×a3×c×c×c)+(a3×c×c×c×a3×c×c×c))

Scalar multiple

(c+(2×Z×a1×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(a1×c×a1×c)+(a2×c×c×a1×c)+(a3×c×c×c×a1×c)+(a1×c×a2×c×c)+(a2×c×c×a2×c×c)+(a3×c×c×c×a2×c×c)+(a1×c×a3×c×c×c)+(a2×c×c×a3×c×c×c)+(a3×c×c×c×a3×c×c×c))
={ A+... → (1×A)+... }
((1×c)+(2×Z×a1×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(a1×c×a1×c)+(a2×c×c×a1×c)+(a3×c×c×c×a1×c)+(a1×c×a2×c×c)+(a2×c×c×a2×c×c)+(a3×c×c×c×a2×c×c)+(a1×c×a3×c×c×c)+(a2×c×c×a3×c×c×c)+(a3×c×c×c×a3×c×c×c))
={ A×... → 1×A×... }
((1×c)+(2×Z×a1×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a1×c)+(a2×c×c×a1×c)+(a3×c×c×c×a1×c)+(a1×c×a2×c×c)+(a2×c×c×a2×c×c)+(a3×c×c×c×a2×c×c)+(a1×c×a3×c×c×c)+(a2×c×c×a3×c×c×c)+(a3×c×c×c×a3×c×c×c))
={ A×... → 1×A×... }
((1×c)+(2×Z×a1×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a1×c)+(1×a2×c×c×a1×c)+(a3×c×c×c×a1×c)+(a1×c×a2×c×c)+(a2×c×c×a2×c×c)+(a3×c×c×c×a2×c×c)+(a1×c×a3×c×c×c)+(a2×c×c×a3×c×c×c)+(a3×c×c×c×a3×c×c×c))
={ A×... → 1×A×... }
((1×c)+(2×Z×a1×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a1×c)+(1×a2×c×c×a1×c)+(1×a3×c×c×c×a1×c)+(a1×c×a2×c×c)+(a2×c×c×a2×c×c)+(a3×c×c×c×a2×c×c)+(a1×c×a3×c×c×c)+(a2×c×c×a3×c×c×c)+(a3×c×c×c×a3×c×c×c))
={ A×... → 1×A×... }
((1×c)+(2×Z×a1×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a1×c)+(1×a2×c×c×a1×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(a2×c×c×a2×c×c)+(a3×c×c×c×a2×c×c)+(a1×c×a3×c×c×c)+(a2×c×c×a3×c×c×c)+(a3×c×c×c×a3×c×c×c))
={ A×... → 1×A×... }
((1×c)+(2×Z×a1×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a1×c)+(1×a2×c×c×a1×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(a3×c×c×c×a2×c×c)+(a1×c×a3×c×c×c)+(a2×c×c×a3×c×c×c)+(a3×c×c×c×a3×c×c×c))
={ A×... → 1×A×... }
((1×c)+(2×Z×a1×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a1×c)+(1×a2×c×c×a1×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(a1×c×a3×c×c×c)+(a2×c×c×a3×c×c×c)+(a3×c×c×c×a3×c×c×c))
={ A×... → 1×A×... }
((1×c)+(2×Z×a1×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a1×c)+(1×a2×c×c×a1×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(a2×c×c×a3×c×c×c)+(a3×c×c×c×a3×c×c×c))
={ A×... → 1×A×... }
((1×c)+(2×Z×a1×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a1×c)+(1×a2×c×c×a1×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(a3×c×c×c×a3×c×c×c))
={ A×... → 1×A×... }
((1×c)+(2×Z×a1×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a1×c)+(1×a2×c×c×a1×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))

Sort

((1×c)+(2×Z×a1×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a1×c)+(1×a2×c×c×a1×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(2×Z×a2×c×c)+(1×a1×c×a1×c)+(2×Z×a3×c×c×c)+(1×a2×c×c×a1×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×c×a1×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a2×c×c×a1×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a2×c×c×a1×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a2×c×c×a1×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(1×a2×c×c×a1×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a2×c×c×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a2×c×a1×c×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(1×a2×c×a1×c×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(1×a2×a1×c×c×c)+(2×Z×a2×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a2×a1×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a1×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a3×c×c×c×a1×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a3×c×c×c×a1×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(1×a3×c×c×c×a1×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a3×c×c×c×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a3×c×c×a1×c×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(1×a3×c×c×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(1×a3×c×a1×c×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a3×c×a1×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a3×a1×c×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a3×a1×c×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a1×c×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a2×c×c)+(1×a3×a1×c×c×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×c×a2×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×c×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×c×c×a2×c×c)+(1×a3×a1×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(1×a2×c×c×a2×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a2×c×c×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a2×c×c×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a2×c×a2×c×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a2×c×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(1×a2×c×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(1×a2×a2×c×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×a1×c×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(1×a3×c×c×c×a2×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a3×c×c×c×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a3×c×c×a2×c×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a3×c×c×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(1×a3×c×c×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(1×a3×c×a2×c×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×a2×c×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a3×c×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×c×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×c×c×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×c×a3×c×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a2×c×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×c×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×c×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×a2×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c)+(1×a2×a3×c×c×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a3×c×c×c×a3×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×c×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a3×c×c×a3×c×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a3×c×c×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×c×c×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×c×c×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a3×c×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a3×c×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c))
={ B+A → A+B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a3×c×a3×c×c×c×c×c))
={ B×A → A×B }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a3×a3×c×c×c×c×c×c))

Fold constants

((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a3×a3×c×c×c×c×c×c))

Collect

((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(1×a1×a2×c×c×c)+(1×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a3×a3×c×c×c×c×c×c))
={ (mA)+(nA) \to (m+n)A }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(2×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a3×a3×c×c×c×c×c×c))
={ (mA)+(nA) \to (m+n)A }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(2×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(2×a1×a3×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a2×a3×c×c×c×c×c)+(1×a3×a3×c×c×c×c×c×c))
={ (mA)+(nA) \to (m+n)A }
((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(2×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(2×a1×a3×c×c×c×c)+(2×a2×a3×c×c×c×c×c)+(1×a3×a3×c×c×c×c×c×c))

Group

((1×c)+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(2×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(2×a1×a3×c×c×c×c)+(2×a2×a3×c×c×c×c×c)+(1×a3×a3×c×c×c×c×c×c))
={ (A×B^n) → (A)×(B^n) }
(((1)×(c))+(2×Z×a1×c)+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(2×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(2×a1×a3×c×c×c×c)+(2×a2×a3×c×c×c×c×c)+(1×a3×a3×c×c×c×c×c×c))
={ (A×B^n) → (A)×(B^n) }
(((1)×(c))+((2×Z×a1)×(c))+(1×a1×a1×c×c)+(2×Z×a2×c×c)+(2×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(2×a1×a3×c×c×c×c)+(2×a2×a3×c×c×c×c×c)+(1×a3×a3×c×c×c×c×c×c))
={ (A×B^n) → (A)×(B^n) }
(((1)×(c))+((2×Z×a1)×(c))+((1×a1×a1)×(c×c))+(2×Z×a2×c×c)+(2×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(2×a1×a3×c×c×c×c)+(2×a2×a3×c×c×c×c×c)+(1×a3×a3×c×c×c×c×c×c))
={ (A×B^n) → (A)×(B^n) }
(((1)×(c))+((2×Z×a1)×(c))+((1×a1×a1)×(c×c))+((2×Z×a2)×(c×c))+(2×a1×a2×c×c×c)+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(2×a1×a3×c×c×c×c)+(2×a2×a3×c×c×c×c×c)+(1×a3×a3×c×c×c×c×c×c))
={ (A×B^n) → (A)×(B^n) }
(((1)×(c))+((2×Z×a1)×(c))+((1×a1×a1)×(c×c))+((2×Z×a2)×(c×c))+((2×a1×a2)×(c×c×c))+(2×Z×a3×c×c×c)+(1×a2×a2×c×c×c×c)+(2×a1×a3×c×c×c×c)+(2×a2×a3×c×c×c×c×c)+(1×a3×a3×c×c×c×c×c×c))
={ (A×B^n) → (A)×(B^n) }
(((1)×(c))+((2×Z×a1)×(c))+((1×a1×a1)×(c×c))+((2×Z×a2)×(c×c))+((2×a1×a2)×(c×c×c))+((2×Z×a3)×(c×c×c))+(1×a2×a2×c×c×c×c)+(2×a1×a3×c×c×c×c)+(2×a2×a3×c×c×c×c×c)+(1×a3×a3×c×c×c×c×c×c))
={ (A×B^n) → (A)×(B^n) }
(((1)×(c))+((2×Z×a1)×(c))+((1×a1×a1)×(c×c))+((2×Z×a2)×(c×c))+((2×a1×a2)×(c×c×c))+((2×Z×a3)×(c×c×c))+((1×a2×a2)×(c×c×c×c))+(2×a1×a3×c×c×c×c)+(2×a2×a3×c×c×c×c×c)+(1×a3×a3×c×c×c×c×c×c))
={ (A×B^n) → (A)×(B^n) }
(((1)×(c))+((2×Z×a1)×(c))+((1×a1×a1)×(c×c))+((2×Z×a2)×(c×c))+((2×a1×a2)×(c×c×c))+((2×Z×a3)×(c×c×c))+((1×a2×a2)×(c×c×c×c))+((2×a1×a3)×(c×c×c×c))+(2×a2×a3×c×c×c×c×c)+(1×a3×a3×c×c×c×c×c×c))
={ (A×B^n) → (A)×(B^n) }
(((1)×(c))+((2×Z×a1)×(c))+((1×a1×a1)×(c×c))+((2×Z×a2)×(c×c))+((2×a1×a2)×(c×c×c))+((2×Z×a3)×(c×c×c))+((1×a2×a2)×(c×c×c×c))+((2×a1×a3)×(c×c×c×c))+((2×a2×a3)×(c×c×c×c×c))+(1×a3×a3×c×c×c×c×c×c))
={ (A×B^n) → (A)×(B^n) }
(((1)×(c))+((2×Z×a1)×(c))+((1×a1×a1)×(c×c))+((2×Z×a2)×(c×c))+((2×a1×a2)×(c×c×c))+((2×Z×a3)×(c×c×c))+((1×a2×a2)×(c×c×c×c))+((2×a1×a3)×(c×c×c×c))+((2×a2×a3)×(c×c×c×c×c))+((1×a3×a3)×(c×c×c×c×c×c)))

Collect

(((1)×(c))+((2×Z×a1)×(c))+((1×a1×a1)×(c×c))+((2×Z×a2)×(c×c))+((2×a1×a2)×(c×c×c))+((2×Z×a3)×(c×c×c))+((1×a2×a2)×(c×c×c×c))+((2×a1×a3)×(c×c×c×c))+((2×a2×a3)×(c×c×c×c×c))+((1×a3×a3)×(c×c×c×c×c×c)))
={ (A×C)+(B×C)+... → (A+B+...)×C }
((((1)+(2×Z×a1))×(c))+((1×a1×a1)×(c×c))+((2×Z×a2)×(c×c))+((2×a1×a2)×(c×c×c))+((2×Z×a3)×(c×c×c))+((1×a2×a2)×(c×c×c×c))+((2×a1×a3)×(c×c×c×c))+((2×a2×a3)×(c×c×c×c×c))+((1×a3×a3)×(c×c×c×c×c×c)))
={ (A×C)+(B×C)+... → (A+B+...)×C }
((((1)+(2×Z×a1))×(c))+(((1×a1×a1)+(2×Z×a2))×(c×c))+((2×a1×a2)×(c×c×c))+((2×Z×a3)×(c×c×c))+((1×a2×a2)×(c×c×c×c))+((2×a1×a3)×(c×c×c×c))+((2×a2×a3)×(c×c×c×c×c))+((1×a3×a3)×(c×c×c×c×c×c)))
={ (A×C)+(B×C)+... → (A+B+...)×C }
((((1)+(2×Z×a1))×(c))+(((1×a1×a1)+(2×Z×a2))×(c×c))+(((2×a1×a2)+(2×Z×a3))×(c×c×c))+((1×a2×a2)×(c×c×c×c))+((2×a1×a3)×(c×c×c×c))+((2×a2×a3)×(c×c×c×c×c))+((1×a3×a3)×(c×c×c×c×c×c)))
={ (A×C)+(B×C)+... → (A+B+...)×C }
((((1)+(2×Z×a1))×(c))+(((1×a1×a1)+(2×Z×a2))×(c×c))+(((2×a1×a2)+(2×Z×a3))×(c×c×c))+(((1×a2×a2)+(2×a1×a3))×(c×c×c×c))+((2×a2×a3)×(c×c×c×c×c))+((1×a3×a3)×(c×c×c×c×c×c)))

Small

((((1)+(2×Z×a1))×(c))+(((1×a1×a1)+(2×Z×a2))×(c×c))+(((2×a1×a2)+(2×Z×a3))×(c×c×c))+(((1×a2×a2)+(2×a1×a3))×(c×c×c×c))+((2×a2×a3)×(c×c×c×c×c))+((1×a3×a3)×(c×c×c×c×c×c)))
={ (A) → A }
(((1+(2×Z×a1))×(c))+(((1×a1×a1)+(2×Z×a2))×(c×c))+(((2×a1×a2)+(2×Z×a3))×(c×c×c))+(((1×a2×a2)+(2×a1×a3))×(c×c×c×c))+((2×a2×a3)×(c×c×c×c×c))+((1×a3×a3)×(c×c×c×c×c×c)))
={ (A) → A }
(((1+(2×Z×a1))×c)+(((1×a1×a1)+(2×Z×a2))×(c×c))+(((2×a1×a2)+(2×Z×a3))×(c×c×c))+(((1×a2×a2)+(2×a1×a3))×(c×c×c×c))+((2×a2×a3)×(c×c×c×c×c))+((1×a3×a3)×(c×c×c×c×c×c)))

Simplify

(((1+(2×Z×a1))×c)+(((1×a1×a1)+(2×Z×a2))×(c×c))+(((2×a1×a2)+(2×Z×a3))×(c×c×c))+(((1×a2×a2)+(2×a1×a3))×(c×c×c×c))+((2×a2×a3)×(c×c×c×c×c))+((1×a3×a3)×(c×c×c×c×c×c)))
={ 1×A → A }
(((1+(2×Z×a1))×c)+(((a1×a1)+(2×Z×a2))×(c×c))+(((2×a1×a2)+(2×Z×a3))×(c×c×c))+(((1×a2×a2)+(2×a1×a3))×(c×c×c×c))+((2×a2×a3)×(c×c×c×c×c))+((1×a3×a3)×(c×c×c×c×c×c)))
={ 1×A → A }
(((1+(2×Z×a1))×c)+(((a1×a1)+(2×Z×a2))×(c×c))+(((2×a1×a2)+(2×Z×a3))×(c×c×c))+(((a2×a2)+(2×a1×a3))×(c×c×c×c))+((2×a2×a3)×(c×c×c×c×c))+((1×a3×a3)×(c×c×c×c×c×c)))
={ 1×A → A }
(((1+(2×Z×a1))×c)+(((a1×a1)+(2×Z×a2))×(c×c))+(((2×a1×a2)+(2×Z×a3))×(c×c×c))+(((a2×a2)+(2×a1×a3))×(c×c×c×c))+((2×a2×a3)×(c×c×c×c×c))+((a3×a3)×(c×c×c×c×c×c)))

Prune

(((1+(2×Z×a1))×c)+(((a1×a1)+(2×Z×a2))×(c×c))+(((2×a1×a2)+(2×Z×a3))×(c×c×c))+(((a2×a2)+(2×a1×a3))×(c×c×c×c))+((2×a2×a3)×(c×c×c×c×c))+((a3×a3)×(c×c×c×c×c×c)))
={ prune }
(((1+(2×Z×a1))×c)+(((a1×a1)+(2×Z×a2))×(c×c))+(((2×a1×a2)+(2×Z×a3))×(c×c×c))+O(c4))

Beautify

(((1+(2×Z×a1))×c)+(((a1×a1)+(2×Z×a2))×(c×c))+(((2×a1×a2)+(2×Z×a3))×(c×c×c))+O(c4))
={ beautify }
((1+2Za1)c+(a12+2Za2)c2+(2a1a2+2Za3)c3+O(c4))

Z3+C → ((Re(C)-3Im(Z)2Re(Z)+Re(Z)3)i+(Im(C)-1Im(Z)3+3Im(Z)Re(Z)2)j)

Parse

Z3+C
={ parse }
(((Z×ZZ)+C)

Complex

(((Z×ZZ)+C)
={ complex }
(((((i×Re(Z))+(j×Im(Z)))×ZZ)+C)
={ complex }
(((((i×Re(Z))+(j×Im(Z)))×((i×Re(Z))+(j×Im(Z))))×Z)+C)
={ complex }
(((((i×Re(Z))+(j×Im(Z)))×((i×Re(Z))+(j×Im(Z))))×((i×Re(Z))+(j×Im(Z))))+C)
={ complex }
(((((i×Re(Z))+(j×Im(Z)))×((i×Re(Z))+(j×Im(Z))))×((i×Re(Z))+(j×Im(Z))))+((i×Re(C))+(j×Im(C))))

Sum of products

(((((i×Re(Z))+(j×Im(Z)))×((i×Re(Z))+(j×Im(Z))))×((i×Re(Z))+(j×Im(Z))))+((i×Re(C))+(j×Im(C))))
={ A×(B+C) → (A×B)+(A×C) }
((((((i×Re(Z))+(j×Im(Z)))×(i×Re(Z)))+(((i×Re(Z))+(j×Im(Z)))×(j×Im(Z))))×((i×Re(Z))+(j×Im(Z))))+((i×Re(C))+(j×Im(C))))
={ (A+B)×C → (A×C)+(B×C) }
((((((i×Re(Z))×(i×Re(Z)))+((j×Im(Z))×(i×Re(Z))))+(((i×Re(Z))+(j×Im(Z)))×(j×Im(Z))))×((i×Re(Z))+(j×Im(Z))))+((i×Re(C))+(j×Im(C))))
={ A×(B×C) → (A×B)×C }
(((((((i×Re(Z))×iRe(Z))+((j×Im(Z))×(i×Re(Z))))+(((i×Re(Z))+(j×Im(Z)))×(j×Im(Z))))×((i×Re(Z))+(j×Im(Z))))+((i×Re(C))+(j×Im(C))))
={ A×(B×C) → (A×B)×C }
(((((((i×Re(Z))×iRe(Z))+(((j×Im(Z))×iRe(Z)))+(((i×Re(Z))+(j×Im(Z)))×(j×Im(Z))))×((i×Re(Z))+(j×Im(Z))))+((i×Re(C))+(j×Im(C))))
={ (A+B)×C → (A×C)+(B×C) }
(((((((i×Re(Z))×iRe(Z))+(((j×Im(Z))×iRe(Z)))+(((i×Re(Z))×(j×Im(Z)))+((j×Im(Z))×(j×Im(Z)))))×((i×Re(Z))+(j×Im(Z))))+((i×Re(C))+(j×Im(C))))
={ A×(B×C) → (A×B)×C }
(((((((i×Re(Z))×iRe(Z))+(((j×Im(Z))×iRe(Z)))+((((i×Re(Z))×jIm(Z))+((j×Im(Z))×(j×Im(Z)))))×((i×Re(Z))+(j×Im(Z))))+((i×Re(C))+(j×Im(C))))
={ A×(B×C) → (A×B)×C }
(((((((i×Re(Z))×iRe(Z))+(((j×Im(Z))×iRe(Z)))+((((i×Re(Z))×jIm(Z))+(((j×Im(Z))×jIm(Z))))×((i×Re(Z))+(j×Im(Z))))+((i×Re(C))+(j×Im(C))))
={ A+(B+C) → (A+B)+C }
((((((((i×Re(Z))×iRe(Z))+(((j×Im(Z))×iRe(Z)))+(((i×Re(Z))×jIm(Z)))+(((j×Im(Z))×jIm(Z)))×((i×Re(Z))+(j×Im(Z))))+((i×Re(C))+(j×Im(C))))
={ A×(B+C) → (A×B)+(A×C) }
(((((((((i×Re(Z))×iRe(Z))+(((j×Im(Z))×iRe(Z)))+(((i×Re(Z))×jIm(Z)))+(((j×Im(Z))×jIm(Z)))×(i×Re(Z)))+(((((((i×Re(Z))×iRe(Z))+(((j×Im(Z))×iRe(Z)))+(((i×Re(Z))×jIm(Z)))+(((j×Im(Z))×jIm(Z)))×(j×Im(Z))))+((i×Re(C))+(j×Im(C))))
={ (A+B)×C → (A×C)+(B×C) }
(((((((((i×Re(Z))×iRe(Z))+(((j×Im(Z))×iRe(Z)))+(((i×Re(Z))×jIm(Z)))×(i×Re(Z)))+((((j×Im(Z))×jIm(Z))×(i×Re(Z))))+(((((((i×Re(Z))×iRe(Z))+(((j×Im(Z))×iRe(Z)))+(((i×Re(Z))×jIm(Z)))+(((j×Im(Z))×jIm(Z)))×(j×Im(Z))))+((i×Re(C))+(j×Im(C))))
={ (A+B)×C → (A×C)+(B×C) }
(((((((((i×Re(Z))×iRe(Z))+(((j×Im(Z))×iRe(Z)))×(i×Re(Z)))+((((i×Re(Z))×jIm(Z))×(i×Re(Z))))+((((j×Im(Z))×jIm(Z))×(i×Re(Z))))+(((((((i×Re(Z))×iRe(Z))+(((j×Im(Z))×iRe(Z)))+(((i×Re(Z))×jIm(Z)))+(((j×Im(Z))×jIm(Z)))×(j×Im(Z))))+((i×Re(C))+(j×Im(C))))
={ (A+B)×C → (A×C)+(B×C) }
(((((((((i×Re(Z))×iRe(Z))×(i×Re(Z)))+((((j×Im(Z))×iRe(Z))×(i×Re(Z))))+((((i×Re(Z))×jIm(Z))×(i×Re(Z))))+((((j×Im(Z))×jIm(Z))×(i×Re(Z))))+(((((((i×Re(Z))×iRe(Z))+(((j×Im(Z))×iRe(Z)))+(((i×Re(Z))×jIm(Z)))+(((j×Im(Z))×jIm(Z)))×(j×Im(Z))))+((i×Re(C))+(j×Im(C))))
={ A×(B×C) → (A×B)×C }
((((((((((i×Re(Z))×iRe(Z))×iRe(Z))+((((j×Im(Z))×iRe(Z))×(i×Re(Z))))+((((i×Re(Z))×jIm(Z))×(i×Re(Z))))+((((j×Im(Z))×jIm(Z))×(i×Re(Z))))+(((((((i×Re(Z))×iRe(Z))+(((j×Im(Z))×iRe(Z)))+(((i×Re(Z))×jIm(Z)))+(((j×Im(Z))×jIm(Z)))×(j×Im(Z))))+((i×Re(C))+(j×Im(C))))
={ A×(B×C) → (A×B)×C }
((((((((((i×Re(Z))×iRe(Z))×iRe(Z))+(((((j×Im(Z))×iRe(Z))×iRe(Z)))+((((i×Re(Z))×jIm(Z))×(i×Re(Z))))+((((j×Im(Z))×jIm(Z))×(i×Re(Z))))+(((((((i×Re(Z))×iRe(Z))+(((j×Im(Z))×iRe(Z)))+(((i×Re(Z))×jIm(Z)))+(((j×Im(Z))×jIm(Z)))×(j×Im(Z))))+((i×Re(C))+(j×Im(C))))
={ A×(B×C) → (A×B)×C }
((((((((((i×Re(Z))×iRe(Z))×iRe(Z))+(((((j×Im(Z))×iRe(Z))×iRe(Z)))+(((((i×Re(Z))×jIm(Z))×iRe(Z)))+((((j×Im(Z))×jIm(Z))×(i×Re(Z))))+(((((((i×Re(Z))×iRe(Z))+(((j×Im(Z))×iRe(Z)))+(((i×Re(Z))×jIm(Z)))+(((j×Im(Z))×jIm(Z)))×(j×Im(Z))))+((i×Re(C))+(j×Im(C))))
={ A×(B×C) → (A×B)×C }
((((((((((i×Re(Z))×iRe(Z))×iRe(Z))+(((((j×Im(Z))×iRe(Z))×iRe(Z)))+(((((i×Re(Z))×jIm(Z))×iRe(Z)))+(((((j×Im(Z))×jIm(Z))×iRe(Z)))+(((((((i×Re(Z))×iRe(Z))+(((j×Im(Z))×iRe(Z)))+(((i×Re(Z))×jIm(Z)))+(((j×Im(Z))×jIm(Z)))×(j×Im(Z))))+((i×Re(C))+(j×Im(C))))
={ (A+B)×C → (A×C)+(B×C) }
((((((((((i×Re(Z))×iRe(Z))×iRe(Z))+(((((j×Im(Z))×iRe(Z))×iRe(Z)))+(((((i×Re(Z))×jIm(Z))×iRe(Z)))+(((((j×Im(Z))×jIm(Z))×iRe(Z)))+(((((((i×Re(Z))×iRe(Z))+(((j×Im(Z))×iRe(Z)))+(((i×Re(Z))×jIm(Z)))×(j×Im(Z)))+((((j×Im(Z))×jIm(Z))×(j×Im(Z)))))+((i×Re(C))+(j×Im(C))))
={ (A+B)×C → (A×C)+(B×C) }
((((((((((i×Re(Z))×iRe(Z))×iRe(Z))+(((((j×Im(Z))×iRe(Z))×iRe(Z)))+(((((i×Re(Z))×jIm(Z))×iRe(Z)))+(((((j×Im(Z))×jIm(Z))×iRe(Z)))+(((((((i×Re(Z))×iRe(Z))+(((j×Im(Z))×iRe(Z)))×(j×Im(Z)))+((((i×Re(Z))×jIm(Z))×(j×Im(Z))))+((((j×Im(Z))×jIm(Z))×(j×Im(Z)))))+((i×Re(C))+(j×Im(C))))
={ (A+B)×C → (A×C)+(B×C) }
((((((((((i×Re(Z))×iRe(Z))×iRe(Z))+(((((j×Im(Z))×iRe(Z))×iRe(Z)))+(((((i×Re(Z))×jIm(Z))×iRe(Z)))+(((((j×Im(Z))×jIm(Z))×iRe(Z)))+(((((((i×Re(Z))×iRe(Z))×(j×Im(Z)))+((((j×Im(Z))×iRe(Z))×(j×Im(Z))))+((((i×Re(Z))×jIm(Z))×(j×Im(Z))))+((((j×Im(Z))×jIm(Z))×(j×Im(Z)))))+((i×Re(C))+(j×Im(C))))
={ A×(B×C) → (A×B)×C }
((((((((((i×Re(Z))×iRe(Z))×iRe(Z))+(((((j×Im(Z))×iRe(Z))×iRe(Z)))+(((((i×Re(Z))×jIm(Z))×iRe(Z)))+(((((j×Im(Z))×jIm(Z))×iRe(Z)))+((((((((i×Re(Z))×iRe(Z))×jIm(Z))+((((j×Im(Z))×iRe(Z))×(j×Im(Z))))+((((i×Re(Z))×jIm(Z))×(j×Im(Z))))+((((j×Im(Z))×jIm(Z))×(j×Im(Z)))))+((i×Re(C))+(j×Im(C))))
={ A×(B×C) → (A×B)×C }
((((((((((i×Re(Z))×iRe(Z))×iRe(Z))+(((((j×Im(Z))×iRe(Z))×iRe(Z)))+(((((i×Re(Z))×jIm(Z))×iRe(Z)))+(((((j×Im(Z))×jIm(Z))×iRe(Z)))+((((((((i×Re(Z))×iRe(Z))×jIm(Z))+(((((j×Im(Z))×iRe(Z))×jIm(Z)))+((((i×Re(Z))×jIm(Z))×(j×Im(Z))))+((((j×Im(Z))×jIm(Z))×(j×Im(Z)))))+((i×Re(C))+(j×Im(C))))
={ A×(B×C) → (A×B)×C }
((((((((((i×Re(Z))×iRe(Z))×iRe(Z))+(((((j×Im(Z))×iRe(Z))×iRe(Z)))+(((((i×Re(Z))×jIm(Z))×iRe(Z)))+(((((j×Im(Z))×jIm(Z))×iRe(Z)))+((((((((i×Re(Z))×iRe(Z))×jIm(Z))+(((((j×Im(Z))×iRe(Z))×jIm(Z)))+(((((i×Re(Z))×jIm(Z))×jIm(Z)))+((((j×Im(Z))×jIm(Z))×(j×Im(Z)))))+((i×Re(C))+(j×Im(C))))
={ A×(B×C) → (A×B)×C }
((((((((((i×Re(Z))×iRe(Z))×iRe(Z))+(((((j×Im(Z))×iRe(Z))×iRe(Z)))+(((((i×Re(Z))×jIm(Z))×iRe(Z)))+(((((j×Im(Z))×jIm(Z))×iRe(Z)))+((((((((i×Re(Z))×iRe(Z))×jIm(Z))+(((((j×Im(Z))×iRe(Z))×jIm(Z)))+(((((i×Re(Z))×jIm(Z))×jIm(Z)))+(((((j×Im(Z))×jIm(Z))×jIm(Z))))+((i×Re(C))+(j×Im(C))))
={ A+(B+C) → (A+B)+C }
(((((((((((i×Re(Z))×iRe(Z))×iRe(Z))+(((((j×Im(Z))×iRe(Z))×iRe(Z)))+(((((i×Re(Z))×jIm(Z))×iRe(Z)))+(((((j×Im(Z))×jIm(Z))×iRe(Z)))+(((((((i×Re(Z))×iRe(Z))×jIm(Z))+(((((j×Im(Z))×iRe(Z))×jIm(Z)))+(((((i×Re(Z))×jIm(Z))×jIm(Z))))+(((((j×Im(Z))×jIm(Z))×jIm(Z)))+((i×Re(C))+(j×Im(C))))
={ A+(B+C) → (A+B)+C }
((((((((((((i×Re(Z))×iRe(Z))×iRe(Z))+(((((j×Im(Z))×iRe(Z))×iRe(Z)))+(((((i×Re(Z))×jIm(Z))×iRe(Z)))+(((((j×Im(Z))×jIm(Z))×iRe(Z)))+((((((i×Re(Z))×iRe(Z))×jIm(Z))+(((((j×Im(Z))×iRe(Z))×jIm(Z))))+(((((i×Re(Z))×jIm(Z))×jIm(Z)))+(((((j×Im(Z))×jIm(Z))×jIm(Z)))+((i×Re(C))+(j×Im(C))))
={ A+(B+C) → (A+B)+C }
(((((((((((((i×Re(Z))×iRe(Z))×iRe(Z))+(((((j×Im(Z))×iRe(Z))×iRe(Z)))+(((((i×Re(Z))×jIm(Z))×iRe(Z)))+(((((j×Im(Z))×jIm(Z))×iRe(Z)))+(((((i×Re(Z))×iRe(Z))×jIm(Z)))+(((((j×Im(Z))×iRe(Z))×jIm(Z)))+(((((i×Re(Z))×jIm(Z))×jIm(Z)))+(((((j×Im(Z))×jIm(Z))×jIm(Z)))+((i×Re(C))+(j×Im(C))))
={ A+(B+C) → (A+B)+C }
((((((((((((((i×Re(Z))×iRe(Z))×iRe(Z))+(((((j×Im(Z))×iRe(Z))×iRe(Z)))+(((((i×Re(Z))×jIm(Z))×iRe(Z)))+(((((j×Im(Z))×jIm(Z))×iRe(Z)))+(((((i×Re(Z))×iRe(Z))×jIm(Z)))+(((((j×Im(Z))×iRe(Z))×jIm(Z)))+(((((i×Re(Z))×jIm(Z))×jIm(Z)))+(((((j×Im(Z))×jIm(Z))×jIm(Z)))+(i×Re(C)))+(j×Im(C)))

Flatten

((((((((((((((i×Re(Z))×iRe(Z))×iRe(Z))+(((((j×Im(Z))×iRe(Z))×iRe(Z)))+(((((i×Re(Z))×jIm(Z))×iRe(Z)))+(((((j×Im(Z))×jIm(Z))×iRe(Z)))+(((((i×Re(Z))×iRe(Z))×jIm(Z)))+(((((j×Im(Z))×iRe(Z))×jIm(Z)))+(((((i×Re(Z))×jIm(Z))×jIm(Z)))+(((((j×Im(Z))×jIm(Z))×jIm(Z)))+(i×Re(C)))+(j×Im(C)))
={ flatten }
((i×Re(Zi×Re(Zi×Re(Z))+(j×Im(Zi×Re(Zi×Re(Z))+(i×Re(Zj×Im(Zi×Re(Z))+(j×Im(Zj×Im(Zi×Re(Z))+(i×Re(Zi×Re(Zj×Im(Z))+(j×Im(Zi×Re(Zj×Im(Z))+(i×Re(Zj×Im(Zj×Im(Z))+(j×Im(Zj×Im(Zj×Im(Z))+(i×Re(C))+(j×Im(C)))

Scalar multiple

((i×Re(Zi×Re(Zi×Re(Z))+(j×Im(Zi×Re(Zi×Re(Z))+(i×Re(Zj×Im(Zi×Re(Z))+(j×Im(Zj×Im(Zi×Re(Z))+(i×Re(Zi×Re(Zj×Im(Z))+(j×Im(Zi×Re(Zj×Im(Z))+(i×Re(Zj×Im(Zj×Im(Z))+(j×Im(Zj×Im(Zj×Im(Z))+(i×Re(C))+(j×Im(C)))
={ A×... → 1×A×... }
((1×i×Re(Zi×Re(Zi×Re(Z))+(j×Im(Zi×Re(Zi×Re(Z))+(i×Re(Zj×Im(Zi×Re(Z))+(j×Im(Zj×Im(Zi×Re(Z))+(i×Re(Zi×Re(Zj×Im(Z))+(j×Im(Zi×Re(Zj×Im(Z))+(i×Re(Zj×Im(Zj×Im(Z))+(j×Im(Zj×Im(Zj×Im(Z))+(i×Re(C))+(j×Im(C)))
={ A×... → 1×A×... }
((1×i×Re(Zi×Re(Zi×Re(Z))+(1×j×Im(Zi×Re(Zi×Re(Z))+(i×Re(Zj×Im(Zi×Re(Z))+(j×Im(Zj×Im(Zi×Re(Z))+(i×Re(Zi×Re(Zj×Im(Z))+(j×Im(Zi×Re(Zj×Im(Z))+(i×Re(Zj×Im(Zj×Im(Z))+(j×Im(Zj×Im(Zj×Im(Z))+(i×Re(C))+(j×Im(C)))
={ A×... → 1×A×... }
((1×i×Re(Zi×Re(Zi×Re(Z))+(1×j×Im(Zi×Re(Zi×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(j×Im(Zj×Im(Zi×Re(Z))+(i×Re(Zi×Re(Zj×Im(Z))+(j×Im(Zi×Re(Zj×Im(Z))+(i×Re(Zj×Im(Zj×Im(Z))+(j×Im(Zj×Im(Zj×Im(Z))+(i×Re(C))+(j×Im(C)))
={ A×... → 1×A×... }
((1×i×Re(Zi×Re(Zi×Re(Z))+(1×j×Im(Zi×Re(Zi×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(i×Re(Zi×Re(Zj×Im(Z))+(j×Im(Zi×Re(Zj×Im(Z))+(i×Re(Zj×Im(Zj×Im(Z))+(j×Im(Zj×Im(Zj×Im(Z))+(i×Re(C))+(j×Im(C)))
={ A×... → 1×A×... }
((1×i×Re(Zi×Re(Zi×Re(Z))+(1×j×Im(Zi×Re(Zi×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(j×Im(Zi×Re(Zj×Im(Z))+(i×Re(Zj×Im(Zj×Im(Z))+(j×Im(Zj×Im(Zj×Im(Z))+(i×Re(C))+(j×Im(C)))
={ A×... → 1×A×... }
((1×i×Re(Zi×Re(Zi×Re(Z))+(1×j×Im(Zi×Re(Zi×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(i×Re(Zj×Im(Zj×Im(Z))+(j×Im(Zj×Im(Zj×Im(Z))+(i×Re(C))+(j×Im(C)))
={ A×... → 1×A×... }
((1×i×Re(Zi×Re(Zi×Re(Z))+(1×j×Im(Zi×Re(Zi×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(j×Im(Zj×Im(Zj×Im(Z))+(i×Re(C))+(j×Im(C)))
={ A×... → 1×A×... }
((1×i×Re(Zi×Re(Zi×Re(Z))+(1×j×Im(Zi×Re(Zi×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(i×Re(C))+(j×Im(C)))
={ A×... → 1×A×... }
((1×i×Re(Zi×Re(Zi×Re(Z))+(1×j×Im(Zi×Re(Zi×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(j×Im(C)))
={ A×... → 1×A×... }
((1×i×Re(Zi×Re(Zi×Re(Z))+(1×j×Im(Zi×Re(Zi×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))

Sort

((1×i×Re(Zi×Re(Zi×Re(Z))+(1×j×Im(Zi×Re(Zi×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×j×Im(Zi×Re(Zi×Re(Z))+(1×i×Re(Zi×Re(Zi×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(Zj×i×Re(Zi×Re(Z))+(1×i×Re(Zi×Re(Zi×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×i×Re(Zi×Re(Zi×Re(Z))+(1×Im(Zj×i×Re(Zi×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(Zi×i×Re(Zi×Re(Z))+(1×Im(Zj×i×Re(Zi×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(Zi×Re(Zi×i×Re(Z))+(1×Im(Zj×i×Re(Zi×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Im(Zj×i×Re(Zi×Re(Z))+(1×Re(Zi×Re(Zi×i×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(Zi×j×Re(Zi×Re(Z))+(1×Re(Zi×Re(Zi×i×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(Zi×Re(Zj×i×Re(Z))+(1×Re(Zi×Re(Zi×i×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(Zi×Re(Zi×i×Re(Z))+(1×Im(Zi×Re(Zj×i×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(Zi×i×i×Re(Z))+(1×Im(Zi×Re(Zj×i×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(Zi×i×Re(Zi)+(1×Im(Zi×Re(Zj×i×Re(Z))+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Im(Zi×Re(Zj×i×Re(Z))+(1×Re(ZRe(Zi×i×Re(Zi)+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(ZRe(Zi×j×i×Re(Z))+(1×Re(ZRe(Zi×i×Re(Zi)+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(ZRe(Zi×i×j×Re(Z))+(1×Re(ZRe(Zi×i×Re(Zi)+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(ZRe(Zi×i×Re(Zj)+(1×Re(ZRe(Zi×i×Re(Zi)+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(Zi×i×Re(Zi)+(1×Im(ZRe(Zi×i×Re(Zj)+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(Zi×Re(Zi×i)+(1×Im(ZRe(Zi×i×Re(Zj)+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(Zi×i×Re(Zj)+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×i×Re(Zj×Im(Zi×Re(Z))+(1×Im(ZRe(Zi×i×Re(Zj)+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×i×Re(Zj×Im(Zi×Re(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(Zi×i×Re(Zj)+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(Zi×j×Im(Zi×Re(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(Zi×i×Re(Zj)+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(Zi×Im(Zj×i×Re(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(Zi×i×Re(Zj)+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZIm(Zi×j×i×Re(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(Zi×i×Re(Zj)+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(ZRe(Zi×j×i×Re(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(Zi×i×Re(Zj)+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(ZRe(Zi×i×j×Re(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(Zi×i×Re(Zj)+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(ZRe(Zi×i×Re(Zj)+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(Zi×i×Re(Zj)+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(Zi×i×Re(Zj)+(1×Im(ZRe(Zi×i×Re(Zj)+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(Zi×Re(Zi×j)+(1×Im(ZRe(Zi×i×Re(Zj)+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(Zi×i×Re(Zj)+(1×Im(ZRe(Zi×Re(Zi×j)+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(Zi×Re(Zi×j)+(1×Im(ZRe(Zi×Re(Zi×j)+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(Zi×Re(Zi×j)+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(Zi×Re(Zi×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×j×Im(Zj×Im(Zi×Re(Z))+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×j×Im(Zj×Im(Zi×Re(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(Zj×j×Im(Zi×Re(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(Zj×Im(Zj×i×Re(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(ZIm(Zj×j×i×Re(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(ZIm(Zj×i×j×Re(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(ZIm(Zi×j×j×Re(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(ZIm(Zi×j×Re(Zj)+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZIm(Zi×j×Re(Zj)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×Im(ZIm(Zi×Re(Zj×j)+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×i×Re(Zi×Re(Zj×Im(Z))+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×i×Re(Zi×Re(Zj×Im(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(Zi×i×Re(Zj×Im(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(Zi×Re(Zi×j×Im(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(Zi×i×j×Im(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(Zi×i×Im(Zj)+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Re(ZRe(Zi×i×Im(Zj)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Re(ZRe(Zi×Im(Zi×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Re(ZRe(ZIm(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Re(ZIm(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×Im(ZIm(Zi×Re(Zj×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×j×Im(Zi×Re(Zj×Im(Z))+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×j×Im(Zi×Re(Zj×Im(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(Zj×i×Re(Zj×Im(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(Zi×j×Re(Zj×Im(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(Zi×Re(Zj×j×Im(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(ZRe(Zi×j×j×Im(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(ZRe(Zi×j×Im(Zj)+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(Zi×j×Im(Zj)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(Zi×Im(Zj×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(Zi×Im(Zj×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(Zi×Im(Zj×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(Zi×Im(Zj×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZIm(Zi×j×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zi×Re(Zj×j)+(1×Im(ZRe(ZIm(Zi×j×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZRe(ZIm(Zi×j×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZIm(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×i×Re(Zj×Im(Zj×Im(Z))+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×i×Re(Zj×Im(Zj×Im(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(Zi×j×Im(Zj×Im(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(Zi×Im(Zj×j×Im(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZIm(Zi×j×j×Im(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(ZRe(Zi×j×j×Im(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(ZRe(Zi×j×Im(Zj)+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(Zi×j×Im(Zj)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(Zi×Im(Zj×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(Zi×Im(Zj×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(Zi×Im(Zj×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(Zi×Im(Zj×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZIm(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×j×Im(Zj×Im(Zj×Im(Z))+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×j×Im(Zj×Im(Zj×Im(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(Zj×j×Im(Zj×Im(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(Zj×Im(Zj×j×Im(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(ZIm(Zj×j×j×Im(Z))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Im(ZIm(Zj×j×Im(Zj)+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZIm(Zj×j×Im(Zj)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZIm(Zj×Im(Zj×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zj×Im(Zj×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zj×Im(Zj×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(Zj×Im(Zj×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZIm(Zj×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j)+(1×i×Re(C))+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×Im(ZIm(ZIm(Zj×j×j)+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j)+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×i×Re(C))+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j)+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(C))+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j)+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(C))+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j)+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×i×Re(C))+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j)+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(ZRe(ZRe(Zi×i×i)+(1×i×Re(C))+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j)+(1×j×Im(C)))
={ B+A → A+B }
((1×i×Re(C))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j)+(1×j×Im(C)))
={ B×A → A×B }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j)+(1×j×Im(C)))
={ B+A → A+B }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(C))+(1×Im(ZIm(ZIm(Zj×j×j))
={ B+A → A+B }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(C))+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ B+A → A+B }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×j×Im(C))+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ B+A → A+B }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×j×Im(C))+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ B+A → A+B }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×j×Im(C))+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ B+A → A+B }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×j×Im(C))+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ B+A → A+B }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi×i×i)+(1×j×Im(C))+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ B+A → A+B }
((1×Re(Ci)+(1×j×Im(C))+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ B+A → A+B }
((1×j×Im(C))+(1×Re(Ci)+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ B×A → A×B }
((1×Im(Cj)+(1×Re(Ci)+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ B+A → A+B }
((1×Re(Ci)+(1×Im(Cj)+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ B+A → A+B }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))

Imaginary

((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi×i×i)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ i2 = i }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi×i)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ i2 = i }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ i2 = i }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zi×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ ij = j }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ i2 = i }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zi×j)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ ij = j }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zi×i×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ i2 = i }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zi×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ ij = j }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ ij = j }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Zj×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ j2 = -i }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ ij = j }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Zj×j)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ j2 = -i }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Zi×j×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ ij = j }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Zj×j)+(1×Im(ZIm(ZIm(Zj×j×j))
={ j2 = -i }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Zj×j×j))
={ j2 = -i }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×i×j))
={ ij = j }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))

Sort

((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Im(ZIm(ZRe(Z)×-1×i)+(1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B×A → A×B }
((1×Im(ZIm(Z)×-1×Re(Zi)+(1×Re(Ci)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(1×Im(ZIm(Z)×-1×Re(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B×A → A×B }
((1×Re(Ci)+(1×Im(Z)×-1×Im(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B×A → A×B }
((1×Re(Ci)+(1×-1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B×A → A×B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(1×Im(ZIm(ZRe(Z)×-1×i)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Im(ZIm(ZRe(Z)×-1×i)+(1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B×A → A×B }
((1×Im(ZIm(Z)×-1×Re(Zi)+(1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(1×Im(ZIm(Z)×-1×Re(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B×A → A×B }
((1×Re(Ci)+(1×Im(Z)×-1×Im(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B×A → A×B }
((1×Re(Ci)+(1×-1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B×A → A×B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Im(ZIm(ZRe(Z)×-1×i)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Im(ZIm(ZRe(Z)×-1×i)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(1×Im(ZIm(ZRe(Z)×-1×i)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Im(ZIm(ZRe(Z)×-1×i)+(1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B×A → A×B }
((1×Im(ZIm(Z)×-1×Re(Zi)+(1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(1×Im(ZIm(Z)×-1×Re(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B×A → A×B }
((1×Re(Ci)+(1×Im(Z)×-1×Im(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B×A → A×B }
((1×Re(Ci)+(1×-1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B×A → A×B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZIm(Z)×-1×j))
={ B+A → A+B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZIm(Z)×-1×j)+(1×Im(ZRe(ZRe(Zj))
={ B+A → A+B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZIm(ZIm(Z)×-1×j)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj))
={ B+A → A+B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZIm(ZIm(Z)×-1×j)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj))
={ B+A → A+B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(ZIm(ZIm(Z)×-1×j)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj))
={ B×A → A×B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(ZIm(Z)×-1×Im(Zj)+(1×Im(Cj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj))
={ B+A → A+B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(ZIm(Z)×-1×Im(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj))
={ B×A → A×B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×Im(Z)×-1×Im(ZIm(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj))
={ B×A → A×B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(1×-1×Im(ZIm(ZIm(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj))
={ B×A → A×B }
((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(-1×1×Im(ZIm(ZIm(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj))

Fold constants

((1×Re(Ci)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(-1×1×Im(ZIm(ZIm(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj))
={ (m)×(n) → (m×n) }
((1×Re(Ci)+(-1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(-1×1×Im(ZIm(ZIm(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj))
={ (m)×(n) → (m×n) }
((1×Re(Ci)+(-1×Im(ZIm(ZRe(Zi)+(-1×Im(ZIm(ZRe(Zi)+(-1×1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(-1×1×Im(ZIm(ZIm(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj))
={ (m)×(n) → (m×n) }
((1×Re(Ci)+(-1×Im(ZIm(ZRe(Zi)+(-1×Im(ZIm(ZRe(Zi)+(-1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(-1×1×Im(ZIm(ZIm(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj))
={ (m)×(n) → (m×n) }
((1×Re(Ci)+(-1×Im(ZIm(ZRe(Zi)+(-1×Im(ZIm(ZRe(Zi)+(-1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(-1×Im(ZIm(ZIm(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj))

Collect

((1×Re(Ci)+(-1×Im(ZIm(ZRe(Zi)+(-1×Im(ZIm(ZRe(Zi)+(-1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(-1×Im(ZIm(ZIm(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj))
={ (mA)+(nA) \to (m+n)A }
((1×Re(Ci)+(-2×Im(ZIm(ZRe(Zi)+(-1×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(-1×Im(ZIm(ZIm(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj))
={ (mA)+(nA) \to (m+n)A }
((1×Re(Ci)+(-3×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(-1×Im(ZIm(ZIm(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj))
={ (mA)+(nA) \to (m+n)A }
((1×Re(Ci)+(-3×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(-1×Im(ZIm(ZIm(Zj)+(2×Im(ZRe(ZRe(Zj)+(1×Im(ZRe(ZRe(Zj))
={ (mA)+(nA) \to (m+n)A }
((1×Re(Ci)+(-3×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(-1×Im(ZIm(ZIm(Zj)+(3×Im(ZRe(ZRe(Zj))

Group

((1×Re(Ci)+(-3×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(-1×Im(ZIm(ZIm(Zj)+(3×Im(ZRe(ZRe(Zj))
={ (A×B^n) → (A)×(B^n) }
(((1×Re(C))×(i))+(-3×Im(ZIm(ZRe(Zi)+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(-1×Im(ZIm(ZIm(Zj)+(3×Im(ZRe(ZRe(Zj))
={ (A×B^n) → (A)×(B^n) }
(((1×Re(C))×(i))+((-3×Im(ZIm(ZRe(Z))×(i))+(1×Re(ZRe(ZRe(Zi)+(1×Im(Cj)+(-1×Im(ZIm(ZIm(Zj)+(3×Im(ZRe(ZRe(Zj))
={ (A×B^n) → (A)×(B^n) }
(((1×Re(C))×(i))+((-3×Im(ZIm(ZRe(Z))×(i))+((1×Re(ZRe(ZRe(Z))×(i))+(1×Im(Cj)+(-1×Im(ZIm(ZIm(Zj)+(3×Im(ZRe(ZRe(Zj))
={ (A×B^n) → (A)×(B^n) }
(((1×Re(C))×(i))+((-3×Im(ZIm(ZRe(Z))×(i))+((1×Re(ZRe(ZRe(Z))×(i))+((1×Im(C))×(j))+(-1×Im(ZIm(ZIm(Zj)+(3×Im(ZRe(ZRe(Zj))
={ (A×B^n) → (A)×(B^n) }
(((1×Re(C))×(i))+((-3×Im(ZIm(ZRe(Z))×(i))+((1×Re(ZRe(ZRe(Z))×(i))+((1×Im(C))×(j))+((-1×Im(ZIm(ZIm(Z))×(j))+(3×Im(ZRe(ZRe(Zj))
={ (A×B^n) → (A)×(B^n) }
(((1×Re(C))×(i))+((-3×Im(ZIm(ZRe(Z))×(i))+((1×Re(ZRe(ZRe(Z))×(i))+((1×Im(C))×(j))+((-1×Im(ZIm(ZIm(Z))×(j))+((3×Im(ZRe(ZRe(Z))×(j)))

Collect

(((1×Re(C))×(i))+((-3×Im(ZIm(ZRe(Z))×(i))+((1×Re(ZRe(ZRe(Z))×(i))+((1×Im(C))×(j))+((-1×Im(ZIm(ZIm(Z))×(j))+((3×Im(ZRe(ZRe(Z))×(j)))
={ (A×C)+(B×C)+... → (A+B+...)×C }
((((1×Re(C))+(-3×Im(ZIm(ZRe(Z))+(1×Re(ZRe(ZRe(Z)))×(i))+((1×Im(C))×(j))+((-1×Im(ZIm(ZIm(Z))×(j))+((3×Im(ZRe(ZRe(Z))×(j)))
={ (A×C)+(B×C)+... → (A+B+...)×C }
((((1×Re(C))+(-3×Im(ZIm(ZRe(Z))+(1×Re(ZRe(ZRe(Z)))×(i))+(((1×Im(C))+(-1×Im(ZIm(ZIm(Z))+(3×Im(ZRe(ZRe(Z)))×(j)))

Small

((((1×Re(C))+(-3×Im(ZIm(ZRe(Z))+(1×Re(ZRe(ZRe(Z)))×(i))+(((1×Im(C))+(-1×Im(ZIm(ZIm(Z))+(3×Im(ZRe(ZRe(Z)))×(j)))
={ (A) → A }
((((1×Re(C))+(-3×Im(ZIm(ZRe(Z))+(1×Re(ZRe(ZRe(Z)))×i)+(((1×Im(C))+(-1×Im(ZIm(ZIm(Z))+(3×Im(ZRe(ZRe(Z)))×(j)))
={ (A) → A }
((((1×Re(C))+(-3×Im(ZIm(ZRe(Z))+(1×Re(ZRe(ZRe(Z)))×i)+(((1×Im(C))+(-1×Im(ZIm(ZIm(Z))+(3×Im(ZRe(ZRe(Z)))×j))

Simplify

((((1×Re(C))+(-3×Im(ZIm(ZRe(Z))+(1×Re(ZRe(ZRe(Z)))×i)+(((1×Im(C))+(-1×Im(ZIm(ZIm(Z))+(3×Im(ZRe(ZRe(Z)))×j))
={ 1×A → A }
((((Re(C))+(-3×Im(ZIm(ZRe(Z))+(1×Re(ZRe(ZRe(Z)))×i)+(((1×Im(C))+(-1×Im(ZIm(ZIm(Z))+(3×Im(ZRe(ZRe(Z)))×j))
={ 1×A → A }
((((Re(C))+(-3×Im(ZIm(ZRe(Z))+(Re(ZRe(ZRe(Z)))×i)+(((1×Im(C))+(-1×Im(ZIm(ZIm(Z))+(3×Im(ZRe(ZRe(Z)))×j))
={ 1×A → A }
((((Re(C))+(-3×Im(ZIm(ZRe(Z))+(Re(ZRe(ZRe(Z)))×i)+(((Im(C))+(-1×Im(ZIm(ZIm(Z))+(3×Im(ZRe(ZRe(Z)))×j))

Beautify

((((Re(C))+(-3×Im(ZIm(ZRe(Z))+(Re(ZRe(ZRe(Z)))×i)+(((Im(C))+(-1×Im(ZIm(ZIm(Z))+(3×Im(ZRe(ZRe(Z)))×j))
={ beautify }
((Re(C)-3Im(Z)2Re(Z)+Re(Z)3)i+(Im(C)-1Im(Z)3+3Im(Z)Re(Z)2)j)

(top)