Initial program 0.0
\[\Re(\left(\frac{e^{x} + e^{-x}}{2} \cdot \cos y + \frac{e^{x} - e^{-x}}{2} \cdot \sin y i\right))\]
Initial simplification0.0
\[\leadsto \frac{\frac{\cos y}{e^{x}} + \cos y \cdot e^{x}}{2}\]
- Using strategy
rm Applied add-cube-cbrt0.0
\[\leadsto \frac{\frac{\cos y}{e^{x}} + \cos y \cdot \color{blue}{\left(\left(\sqrt[3]{e^{x}} \cdot \sqrt[3]{e^{x}}\right) \cdot \sqrt[3]{e^{x}}\right)}}{2}\]
Applied associate-*r*0.0
\[\leadsto \frac{\frac{\cos y}{e^{x}} + \color{blue}{\left(\cos y \cdot \left(\sqrt[3]{e^{x}} \cdot \sqrt[3]{e^{x}}\right)\right) \cdot \sqrt[3]{e^{x}}}}{2}\]
Taylor expanded around -inf 0.0
\[\leadsto \frac{\frac{\cos y}{e^{x}} + \left(\cos y \cdot \color{blue}{{\left(e^{\frac{1}{3} \cdot x}\right)}^{2}}\right) \cdot \sqrt[3]{e^{x}}}{2}\]
Simplified0.0
\[\leadsto \frac{\frac{\cos y}{e^{x}} + \left(\cos y \cdot \color{blue}{e^{x \cdot \frac{2}{3}}}\right) \cdot \sqrt[3]{e^{x}}}{2}\]
Final simplification0.0
\[\leadsto \frac{\sqrt[3]{e^{x}} \cdot \left(\cos y \cdot e^{x \cdot \frac{2}{3}}\right) + \frac{\cos y}{e^{x}}}{2}\]