Initial program 45.4
\[(x \cdot y + z)_* - \left(1 + \left(x \cdot y + z\right)\right)\]
- Using strategy
rm Applied add-cube-cbrt45.4
\[\leadsto \color{blue}{\left(\sqrt[3]{(x \cdot y + z)_* - \left(1 + \left(x \cdot y + z\right)\right)} \cdot \sqrt[3]{(x \cdot y + z)_* - \left(1 + \left(x \cdot y + z\right)\right)}\right) \cdot \sqrt[3]{(x \cdot y + z)_* - \left(1 + \left(x \cdot y + z\right)\right)}}\]
Taylor expanded around 0 45.4
\[\leadsto \left(\sqrt[3]{(x \cdot y + z)_* - \left(1 + \left(x \cdot y + z\right)\right)} \cdot \sqrt[3]{\color{blue}{(x \cdot y + z)_* - \left(z + \left(1 + y \cdot x\right)\right)}}\right) \cdot \sqrt[3]{(x \cdot y + z)_* - \left(1 + \left(x \cdot y + z\right)\right)}\]
Applied simplify30.9
\[\leadsto \color{blue}{\left((x \cdot y + z)_* - z\right) - \left(1 + y \cdot x\right)}\]
- Using strategy
rm Applied add-cbrt-cube31.2
\[\leadsto \left((x \cdot y + z)_* - z\right) - \color{blue}{\sqrt[3]{\left(\left(1 + y \cdot x\right) \cdot \left(1 + y \cdot x\right)\right) \cdot \left(1 + y \cdot x\right)}}\]
Applied simplify31.2
\[\leadsto \left((x \cdot y + z)_* - z\right) - \sqrt[3]{\color{blue}{{\left(1 + x \cdot y\right)}^{3}}}\]
- Removed slow
pow expressions.
