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