Initial program 3.8
\[\frac{x}{x + y \cdot e^{2.0 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5.0}{6.0}\right) - \frac{2.0}{t \cdot 3.0}\right)\right)}}\]
Simplified3.0
\[\leadsto \color{blue}{\frac{x}{(y \cdot \left(e^{2.0 \cdot \left(\frac{\sqrt{a + t}}{\frac{t}{z}} - \left(\left(a - \frac{2.0}{t \cdot 3.0}\right) + \frac{5.0}{6.0}\right) \cdot \left(b - c\right)\right)}\right) + x)_*}}\]
- Using strategy
rm Applied *-un-lft-identity3.0
\[\leadsto \frac{x}{(y \cdot \left(e^{2.0 \cdot \left(\frac{\sqrt{a + t}}{\frac{t}{\color{blue}{1 \cdot z}}} - \left(\left(a - \frac{2.0}{t \cdot 3.0}\right) + \frac{5.0}{6.0}\right) \cdot \left(b - c\right)\right)}\right) + x)_*}\]
Applied add-cube-cbrt3.0
\[\leadsto \frac{x}{(y \cdot \left(e^{2.0 \cdot \left(\frac{\sqrt{a + t}}{\frac{\color{blue}{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right) \cdot \sqrt[3]{t}}}{1 \cdot z}} - \left(\left(a - \frac{2.0}{t \cdot 3.0}\right) + \frac{5.0}{6.0}\right) \cdot \left(b - c\right)\right)}\right) + x)_*}\]
Applied times-frac3.0
\[\leadsto \frac{x}{(y \cdot \left(e^{2.0 \cdot \left(\frac{\sqrt{a + t}}{\color{blue}{\frac{\sqrt[3]{t} \cdot \sqrt[3]{t}}{1} \cdot \frac{\sqrt[3]{t}}{z}}} - \left(\left(a - \frac{2.0}{t \cdot 3.0}\right) + \frac{5.0}{6.0}\right) \cdot \left(b - c\right)\right)}\right) + x)_*}\]
Applied add-sqr-sqrt3.0
\[\leadsto \frac{x}{(y \cdot \left(e^{2.0 \cdot \left(\frac{\sqrt{\color{blue}{\sqrt{a + t} \cdot \sqrt{a + t}}}}{\frac{\sqrt[3]{t} \cdot \sqrt[3]{t}}{1} \cdot \frac{\sqrt[3]{t}}{z}} - \left(\left(a - \frac{2.0}{t \cdot 3.0}\right) + \frac{5.0}{6.0}\right) \cdot \left(b - c\right)\right)}\right) + x)_*}\]
Applied sqrt-prod3.0
\[\leadsto \frac{x}{(y \cdot \left(e^{2.0 \cdot \left(\frac{\color{blue}{\sqrt{\sqrt{a + t}} \cdot \sqrt{\sqrt{a + t}}}}{\frac{\sqrt[3]{t} \cdot \sqrt[3]{t}}{1} \cdot \frac{\sqrt[3]{t}}{z}} - \left(\left(a - \frac{2.0}{t \cdot 3.0}\right) + \frac{5.0}{6.0}\right) \cdot \left(b - c\right)\right)}\right) + x)_*}\]
Applied times-frac2.7
\[\leadsto \frac{x}{(y \cdot \left(e^{2.0 \cdot \left(\color{blue}{\frac{\sqrt{\sqrt{a + t}}}{\frac{\sqrt[3]{t} \cdot \sqrt[3]{t}}{1}} \cdot \frac{\sqrt{\sqrt{a + t}}}{\frac{\sqrt[3]{t}}{z}}} - \left(\left(a - \frac{2.0}{t \cdot 3.0}\right) + \frac{5.0}{6.0}\right) \cdot \left(b - c\right)\right)}\right) + x)_*}\]
Applied fma-neg1.5
\[\leadsto \frac{x}{(y \cdot \left(e^{2.0 \cdot \color{blue}{(\left(\frac{\sqrt{\sqrt{a + t}}}{\frac{\sqrt[3]{t} \cdot \sqrt[3]{t}}{1}}\right) \cdot \left(\frac{\sqrt{\sqrt{a + t}}}{\frac{\sqrt[3]{t}}{z}}\right) + \left(-\left(\left(a - \frac{2.0}{t \cdot 3.0}\right) + \frac{5.0}{6.0}\right) \cdot \left(b - c\right)\right))_*}}\right) + x)_*}\]
Final simplification1.5
\[\leadsto \frac{x}{(y \cdot \left(e^{(\left(\frac{\sqrt{\sqrt{a + t}}}{\sqrt[3]{t} \cdot \sqrt[3]{t}}\right) \cdot \left(\frac{\sqrt{\sqrt{a + t}}}{\frac{\sqrt[3]{t}}{z}}\right) + \left(-\left(\frac{5.0}{6.0} + \left(a - \frac{2.0}{3.0 \cdot t}\right)\right) \cdot \left(b - c\right)\right))_* \cdot 2.0}\right) + x)_*}\]
