Initial program 0.4
\[\left(\left(\left(e + d\right) + c\right) + b\right) + a\]
Initial simplification0.2
\[\leadsto \left(\left(a + d\right) + \left(c + b\right)\right) + e\]
- Using strategy
rm Applied flip3-+0.3
\[\leadsto \left(\left(a + d\right) + \color{blue}{\frac{{c}^{3} + {b}^{3}}{c \cdot c + \left(b \cdot b - c \cdot b\right)}}\right) + e\]
Applied flip-+0.3
\[\leadsto \left(\color{blue}{\frac{a \cdot a - d \cdot d}{a - d}} + \frac{{c}^{3} + {b}^{3}}{c \cdot c + \left(b \cdot b - c \cdot b\right)}\right) + e\]
Applied frac-add0.3
\[\leadsto \color{blue}{\frac{\left(a \cdot a - d \cdot d\right) \cdot \left(c \cdot c + \left(b \cdot b - c \cdot b\right)\right) + \left(a - d\right) \cdot \left({c}^{3} + {b}^{3}\right)}{\left(a - d\right) \cdot \left(c \cdot c + \left(b \cdot b - c \cdot b\right)\right)}} + e\]
Simplified0.3
\[\leadsto \frac{\color{blue}{(\left((c \cdot \left(c \cdot c\right) + \left({b}^{3}\right))_*\right) \cdot \left(a - d\right) + \left((\left(b - c\right) \cdot b + \left(c \cdot c\right))_* \cdot \left(\left(a - d\right) \cdot \left(a + d\right)\right)\right))_*}}{\left(a - d\right) \cdot \left(c \cdot c + \left(b \cdot b - c \cdot b\right)\right)} + e\]
Simplified0.3
\[\leadsto \frac{(\left((c \cdot \left(c \cdot c\right) + \left({b}^{3}\right))_*\right) \cdot \left(a - d\right) + \left((\left(b - c\right) \cdot b + \left(c \cdot c\right))_* \cdot \left(\left(a - d\right) \cdot \left(a + d\right)\right)\right))_*}{\color{blue}{\left(a - d\right) \cdot (b \cdot \left(b - c\right) + \left(c \cdot c\right))_*}} + e\]
Final simplification0.3
\[\leadsto \frac{(\left((c \cdot \left(c \cdot c\right) + \left({b}^{3}\right))_*\right) \cdot \left(a - d\right) + \left(\left(\left(d + a\right) \cdot \left(a - d\right)\right) \cdot (\left(b - c\right) \cdot b + \left(c \cdot c\right))_*\right))_*}{(b \cdot \left(b - c\right) + \left(c \cdot c\right))_* \cdot \left(a - d\right)} + e\]
