Initial program 0.0
\[x \cdot y + \left(x - 1\right) \cdot z\]
- Using strategy
rm Applied flip3--12.0
\[\leadsto x \cdot y + \color{blue}{\frac{{x}^{3} - {1}^{3}}{x \cdot x + \left(1 \cdot 1 + x \cdot 1\right)}} \cdot z\]
Applied associate-*l/14.1
\[\leadsto x \cdot y + \color{blue}{\frac{\left({x}^{3} - {1}^{3}\right) \cdot z}{x \cdot x + \left(1 \cdot 1 + x \cdot 1\right)}}\]
Taylor expanded around 0 0.0
\[\leadsto x \cdot y + \color{blue}{\left(1 \cdot \left(x \cdot z\right) - 1 \cdot z\right)}\]
Simplified0.0
\[\leadsto x \cdot y + \color{blue}{1 \cdot \left(x \cdot z - z\right)}\]
- Using strategy
rm Applied sub-neg0.0
\[\leadsto x \cdot y + 1 \cdot \color{blue}{\left(x \cdot z + \left(-z\right)\right)}\]
Applied distribute-lft-in0.0
\[\leadsto x \cdot y + \color{blue}{\left(1 \cdot \left(x \cdot z\right) + 1 \cdot \left(-z\right)\right)}\]
Applied associate-+r+0.0
\[\leadsto \color{blue}{\left(x \cdot y + 1 \cdot \left(x \cdot z\right)\right) + 1 \cdot \left(-z\right)}\]
Simplified0.0
\[\leadsto \color{blue}{x \cdot \left(1 \cdot z + y\right)} + 1 \cdot \left(-z\right)\]
Final simplification0.0
\[\leadsto x \cdot \left(1 \cdot z + y\right) + 1 \cdot \left(-z\right)\]
