Initial program 0.0
\[e^{re} \cdot \sin im\]
- Using strategy
rm Applied add-cbrt-cube12.8
\[\leadsto e^{re} \cdot \color{blue}{\sqrt[3]{\left(\sin im \cdot \sin im\right) \cdot \sin im}}\]
Applied add-cbrt-cube12.8
\[\leadsto \color{blue}{\sqrt[3]{\left(e^{re} \cdot e^{re}\right) \cdot e^{re}}} \cdot \sqrt[3]{\left(\sin im \cdot \sin im\right) \cdot \sin im}\]
Applied cbrt-unprod12.8
\[\leadsto \color{blue}{\sqrt[3]{\left(\left(e^{re} \cdot e^{re}\right) \cdot e^{re}\right) \cdot \left(\left(\sin im \cdot \sin im\right) \cdot \sin im\right)}}\]
Simplified12.8
\[\leadsto \sqrt[3]{\color{blue}{{\left(\sin im \cdot e^{re}\right)}^{3}}}\]
- Using strategy
rm Applied cube-prod12.8
\[\leadsto \sqrt[3]{\color{blue}{{\left(\sin im\right)}^{3} \cdot {\left(e^{re}\right)}^{3}}}\]
Applied cbrt-prod12.8
\[\leadsto \color{blue}{\sqrt[3]{{\left(\sin im\right)}^{3}} \cdot \sqrt[3]{{\left(e^{re}\right)}^{3}}}\]
Simplified0.1
\[\leadsto \color{blue}{\sin im} \cdot \sqrt[3]{{\left(e^{re}\right)}^{3}}\]
Final simplification0.1
\[\leadsto \sqrt[3]{{\left(e^{re}\right)}^{3}} \cdot \sin im\]
