Initial program 0.0
\[e^{re} \cdot \sin im\]
Initial simplification0.0
\[\leadsto \sin im \cdot e^{re}\]
- Using strategy
rm Applied add-sqr-sqrt0.0
\[\leadsto \sin im \cdot \color{blue}{\left(\sqrt{e^{re}} \cdot \sqrt{e^{re}}\right)}\]
Applied associate-*r*0.0
\[\leadsto \color{blue}{\left(\sin im \cdot \sqrt{e^{re}}\right) \cdot \sqrt{e^{re}}}\]
- Using strategy
rm Applied add-sqr-sqrt0.0
\[\leadsto \left(\sin im \cdot \color{blue}{\left(\sqrt{\sqrt{e^{re}}} \cdot \sqrt{\sqrt{e^{re}}}\right)}\right) \cdot \sqrt{e^{re}}\]
Applied associate-*r*0.0
\[\leadsto \color{blue}{\left(\left(\sin im \cdot \sqrt{\sqrt{e^{re}}}\right) \cdot \sqrt{\sqrt{e^{re}}}\right)} \cdot \sqrt{e^{re}}\]
- Using strategy
rm Applied add-cube-cbrt0.0
\[\leadsto \left(\left(\sin im \cdot \sqrt{\sqrt{e^{re}}}\right) \cdot \sqrt{\sqrt{\color{blue}{\left(\sqrt[3]{e^{re}} \cdot \sqrt[3]{e^{re}}\right) \cdot \sqrt[3]{e^{re}}}}}\right) \cdot \sqrt{e^{re}}\]
Applied sqrt-prod0.0
\[\leadsto \left(\left(\sin im \cdot \sqrt{\sqrt{e^{re}}}\right) \cdot \sqrt{\color{blue}{\sqrt{\sqrt[3]{e^{re}} \cdot \sqrt[3]{e^{re}}} \cdot \sqrt{\sqrt[3]{e^{re}}}}}\right) \cdot \sqrt{e^{re}}\]
Applied sqrt-prod0.0
\[\leadsto \left(\left(\sin im \cdot \sqrt{\sqrt{e^{re}}}\right) \cdot \color{blue}{\left(\sqrt{\sqrt{\sqrt[3]{e^{re}} \cdot \sqrt[3]{e^{re}}}} \cdot \sqrt{\sqrt{\sqrt[3]{e^{re}}}}\right)}\right) \cdot \sqrt{e^{re}}\]
Simplified0.0
\[\leadsto \left(\left(\sin im \cdot \sqrt{\sqrt{e^{re}}}\right) \cdot \left(\color{blue}{\sqrt{\left|\sqrt[3]{e^{re}}\right|}} \cdot \sqrt{\sqrt{\sqrt[3]{e^{re}}}}\right)\right) \cdot \sqrt{e^{re}}\]
Final simplification0.0
\[\leadsto \sqrt{e^{re}} \cdot \left(\left(\sqrt{\sqrt{\sqrt[3]{e^{re}}}} \cdot \sqrt{\left|\sqrt[3]{e^{re}}\right|}\right) \cdot \left(\sqrt{\sqrt{e^{re}}} \cdot \sin im\right)\right)\]
