Initial program 61.3
\[\frac{\log \left(1 - x\right)}{\log \left(1 + x\right)}\]
Applied taylor 0.0
\[\leadsto -\left(\frac{1}{2} \cdot {x}^2 + \left(1 + x\right)\right)\]
Taylor expanded around 0 0.0
\[\leadsto \color{blue}{-\left(\frac{1}{2} \cdot {x}^2 + \left(1 + x\right)\right)}\]
- Using strategy
rm
Applied add-cbrt-cube 0.0
\[\leadsto -\color{blue}{\sqrt[3]{{\left(\frac{1}{2} \cdot {x}^2 + \left(1 + x\right)\right)}^3}}\]
- Using strategy
rm
Applied flip3-+ 0.0
\[\leadsto -\sqrt[3]{{\color{blue}{\left(\frac{{\left(\frac{1}{2} \cdot {x}^2\right)}^{3} + {\left(1 + x\right)}^{3}}{{\left(\frac{1}{2} \cdot {x}^2\right)}^2 + \left({\left(1 + x\right)}^2 - \left(\frac{1}{2} \cdot {x}^2\right) \cdot \left(1 + x\right)\right)}\right)}}^3}\]
Applied cube-div 0.0
\[\leadsto -\sqrt[3]{\color{blue}{\frac{{\left({\left(\frac{1}{2} \cdot {x}^2\right)}^{3} + {\left(1 + x\right)}^{3}\right)}^3}{{\left({\left(\frac{1}{2} \cdot {x}^2\right)}^2 + \left({\left(1 + x\right)}^2 - \left(\frac{1}{2} \cdot {x}^2\right) \cdot \left(1 + x\right)\right)\right)}^3}}}\]
Applied cbrt-div 0.0
\[\leadsto -\color{blue}{\frac{\sqrt[3]{{\left({\left(\frac{1}{2} \cdot {x}^2\right)}^{3} + {\left(1 + x\right)}^{3}\right)}^3}}{\sqrt[3]{{\left({\left(\frac{1}{2} \cdot {x}^2\right)}^2 + \left({\left(1 + x\right)}^2 - \left(\frac{1}{2} \cdot {x}^2\right) \cdot \left(1 + x\right)\right)\right)}^3}}}\]
Applied simplify 0.0
\[\leadsto -\frac{\color{blue}{{\left(\frac{1}{2} \cdot {x}^2\right)}^3 + {\left(1 + x\right)}^3}}{\sqrt[3]{{\left({\left(\frac{1}{2} \cdot {x}^2\right)}^2 + \left({\left(1 + x\right)}^2 - \left(\frac{1}{2} \cdot {x}^2\right) \cdot \left(1 + x\right)\right)\right)}^3}}\]
- Removed slow pow expressions
