Initial program 0.0
\[\left(0.5 \cdot \cos re\right) \cdot \left(e^{-im} + e^{im}\right)\]
Initial simplification0.0
\[\leadsto \left(\frac{0.5}{e^{im}} + 0.5 \cdot e^{im}\right) \cdot \cos re\]
- Using strategy
rm Applied flip3-+0.1
\[\leadsto \color{blue}{\frac{{\left(\frac{0.5}{e^{im}}\right)}^{3} + {\left(0.5 \cdot e^{im}\right)}^{3}}{\frac{0.5}{e^{im}} \cdot \frac{0.5}{e^{im}} + \left(\left(0.5 \cdot e^{im}\right) \cdot \left(0.5 \cdot e^{im}\right) - \frac{0.5}{e^{im}} \cdot \left(0.5 \cdot e^{im}\right)\right)}} \cdot \cos re\]
Applied associate-*l/0.1
\[\leadsto \color{blue}{\frac{\left({\left(\frac{0.5}{e^{im}}\right)}^{3} + {\left(0.5 \cdot e^{im}\right)}^{3}\right) \cdot \cos re}{\frac{0.5}{e^{im}} \cdot \frac{0.5}{e^{im}} + \left(\left(0.5 \cdot e^{im}\right) \cdot \left(0.5 \cdot e^{im}\right) - \frac{0.5}{e^{im}} \cdot \left(0.5 \cdot e^{im}\right)\right)}}\]
- Using strategy
rm Applied distribute-rgt-out--0.1
\[\leadsto \frac{\left({\left(\frac{0.5}{e^{im}}\right)}^{3} + {\left(0.5 \cdot e^{im}\right)}^{3}\right) \cdot \cos re}{\frac{0.5}{e^{im}} \cdot \frac{0.5}{e^{im}} + \color{blue}{\left(0.5 \cdot e^{im}\right) \cdot \left(0.5 \cdot e^{im} - \frac{0.5}{e^{im}}\right)}}\]
Final simplification0.1
\[\leadsto \frac{\left({\left(\frac{0.5}{e^{im}}\right)}^{3} + {\left(0.5 \cdot e^{im}\right)}^{3}\right) \cdot \cos re}{\left(0.5 \cdot e^{im} - \frac{0.5}{e^{im}}\right) \cdot \left(0.5 \cdot e^{im}\right) + \frac{0.5}{e^{im}} \cdot \frac{0.5}{e^{im}}}\]
