- Started with
\[\left(\left(\left(e + d\right) + c\right) + b\right) + a\]
0.4
- Using strategy
rm 0.4
- Applied add-cbrt-cube to get
\[\color{red}{\left(\left(\left(e + d\right) + c\right) + b\right) + a} \leadsto \color{blue}{\sqrt[3]{{\left(\left(\left(\left(e + d\right) + c\right) + b\right) + a\right)}^3}}\]
0.7
- Using strategy
rm 0.7
- Applied log1p-expm1-u to get
\[\color{red}{\sqrt[3]{{\left(\left(\left(\left(e + d\right) + c\right) + b\right) + a\right)}^3}} \leadsto \color{blue}{\log_* (1 + (e^{\sqrt[3]{{\left(\left(\left(\left(e + d\right) + c\right) + b\right) + a\right)}^3}} - 1)^*)}\]
0.7
- Applied simplify to get
\[\log_* (1 + \color{red}{(e^{\sqrt[3]{{\left(\left(\left(\left(e + d\right) + c\right) + b\right) + a\right)}^3}} - 1)^*}) \leadsto \log_* (1 + \color{blue}{(e^{\left(\left(b + a\right) + \left(e + d\right)\right) + c} - 1)^*})\]
0.3
- Applied taylor to get
\[\log_* (1 + (e^{\left(\left(b + a\right) + \left(e + d\right)\right) + c} - 1)^*) \leadsto \log_* (1 + (e^{b + \left(c + \left(d + \left(a + e\right)\right)\right)} - 1)^*)\]
0.4
- Taylor expanded around 0 to get
\[\log_* (1 + \color{red}{(e^{b + \left(c + \left(d + \left(a + e\right)\right)\right)} - 1)^*}) \leadsto \log_* (1 + \color{blue}{(e^{b + \left(c + \left(d + \left(a + e\right)\right)\right)} - 1)^*})\]
0.4
- Applied simplify to get
\[\log_* (1 + (e^{b + \left(c + \left(d + \left(a + e\right)\right)\right)} - 1)^*) \leadsto \left(\left(b + c\right) + \left(d + a\right)\right) + e\]
0.2
- Applied final simplification
