LEFT + (SQUARE ? "^2" : RIGHT) = \ ?
plus((A * C) + XX, (A * D + B * C) + X, B * D)
plus(XX, B * D)plus(XX, B * D)plus((A + C) + XX, (A * D + B * C) + X, B * D)plus((A * C) + XX, (A * D + B * C) + X, B + D)plus((A + C) + XX, (A * D + B * C) + X, B + D)plus((A + C) + XX, (A * D - B * C) + X, B * D)plus((A * C) + XX, (A * D - B * C) + X, B + D)plus((A + C) + XX, (A * D - B * C) + X, B + D)plus((A + C) + XX, (A * B + C * D) + X, B * D)plus((A * C) + XX, (A * B + C * D) + X, B + D)plus((A + C) + XX, (A * B + C * D) + X, B + D)plus((A + C) + XX, (A * B - C * D) + X, B * D)plus((A * C) + XX, (A * B - C * D) + X, B + D)plus((A + C) + XX, (A * B - C * D) + X, B + D)= LEFT + RIGHT
Comienza por distribuir (\blue{X + B}):
\qquad = \quad (\blue{X + B})(X + D)
\qquad = \quad \blue{X}(X + D) \blue{+B}(X + D)
A continuación, distribuye \blue{X} y \blue{B}:
\qquad = \quad (\blue{X} \cdot X) + (\blue{X} \cdot D) + (\blue{B} \cdot X) + (\blue{B} \cdot D)
Ten en cuenta que mediante la distribución simplemente estás multiplicando cada término de la primera expresión por cada término de la segunda expresión.
Simplifica:
\qquad = \quad XX + DX + BX + B * D
Sigue simplificando para obtener el resultado final:
\qquad = \quad plus(XX, (D + B) + X, (B * D))