Initial program 29.6
\[{\left(x + 1\right)}^{\left(\frac{1}{3}\right)} - {x}^{\left(\frac{1}{3}\right)}\]
- Using strategy
rm
Applied add-exp-log 29.9
\[\leadsto {\color{blue}{\left(e^{\log \left(x + 1\right)}\right)}}^{\left(\frac{1}{3}\right)} - {x}^{\left(\frac{1}{3}\right)}\]
Applied pow-exp 29.8
\[\leadsto \color{blue}{e^{\log \left(x + 1\right) \cdot \frac{1}{3}}} - {x}^{\left(\frac{1}{3}\right)}\]
Applied simplify 29.5
\[\leadsto e^{\color{blue}{\frac{\log \left(1 + x\right)}{3}}} - {x}^{\left(\frac{1}{3}\right)}\]
- Using strategy
rm
Applied add-cube-cbrt 29.6
\[\leadsto \color{blue}{{\left(\sqrt[3]{e^{\frac{\log \left(1 + x\right)}{3}}}\right)}^3} - {x}^{\left(\frac{1}{3}\right)}\]
Applied simplify 29.4
\[\leadsto {\color{blue}{\left(\sqrt[3]{\sqrt[3]{x + 1}}\right)}}^3 - {x}^{\left(\frac{1}{3}\right)}\]
- Using strategy
rm
Applied add-cube-cbrt 29.4
\[\leadsto {\left(\sqrt[3]{\sqrt[3]{x + 1}}\right)}^3 - \color{blue}{{\left(\sqrt[3]{{x}^{\left(\frac{1}{3}\right)}}\right)}^3}\]
- Removed slow pow expressions
