Initial program 1.9
\[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{y}\]
- Using strategy
rm Applied clear-num1.9
\[\leadsto \color{blue}{\frac{1}{\frac{y}{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}}}\]
- Using strategy
rm Applied add-cube-cbrt1.9
\[\leadsto \frac{1}{\frac{\color{blue}{\left(\sqrt[3]{y} \cdot \sqrt[3]{y}\right) \cdot \sqrt[3]{y}}}{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}}\]
Applied associate-/l*1.9
\[\leadsto \frac{1}{\color{blue}{\frac{\sqrt[3]{y} \cdot \sqrt[3]{y}}{\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{\sqrt[3]{y}}}}}\]
- Using strategy
rm Applied add-cube-cbrt1.9
\[\leadsto \frac{1}{\frac{\sqrt[3]{y} \cdot \sqrt[3]{y}}{\color{blue}{\left(\sqrt[3]{\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{\sqrt[3]{y}}} \cdot \sqrt[3]{\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{\sqrt[3]{y}}}\right) \cdot \sqrt[3]{\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{\sqrt[3]{y}}}}}}\]
Applied times-frac1.9
\[\leadsto \frac{1}{\color{blue}{\frac{\sqrt[3]{y}}{\sqrt[3]{\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{\sqrt[3]{y}}} \cdot \sqrt[3]{\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{\sqrt[3]{y}}}} \cdot \frac{\sqrt[3]{y}}{\sqrt[3]{\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{\sqrt[3]{y}}}}}}\]
Taylor expanded around inf 1.9
\[\leadsto \frac{1}{\frac{\sqrt[3]{y}}{\sqrt[3]{\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{\sqrt[3]{y}}} \cdot \sqrt[3]{\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{\sqrt[3]{y}}}} \cdot \frac{\sqrt[3]{y}}{\sqrt[3]{\frac{x \cdot \color{blue}{e^{1.0 \cdot \log \left(\frac{1}{a}\right) - \left(\log \left(\frac{1}{z}\right) \cdot y + \left(b + t \cdot \log \left(\frac{1}{a}\right)\right)\right)}}}{\sqrt[3]{y}}}}}\]
Simplified1.9
\[\leadsto \frac{1}{\frac{\sqrt[3]{y}}{\sqrt[3]{\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{\sqrt[3]{y}}} \cdot \sqrt[3]{\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{\sqrt[3]{y}}}} \cdot \frac{\sqrt[3]{y}}{\sqrt[3]{\frac{x \cdot \color{blue}{e^{(\left(\log a\right) \cdot t + \left(y \cdot \log z - b\right))_* - 1.0 \cdot \log a}}}{\sqrt[3]{y}}}}}\]
Final simplification1.9
\[\leadsto \frac{1}{\frac{\sqrt[3]{y}}{\sqrt[3]{\frac{x \cdot e^{\left(\log a \cdot \left(t - 1.0\right) + \log z \cdot y\right) - b}}{\sqrt[3]{y}}} \cdot \sqrt[3]{\frac{x \cdot e^{\left(\log a \cdot \left(t - 1.0\right) + \log z \cdot y\right) - b}}{\sqrt[3]{y}}}} \cdot \frac{\sqrt[3]{y}}{\sqrt[3]{\frac{x \cdot e^{(\left(\log a\right) \cdot t + \left(\log z \cdot y - b\right))_* - \log a \cdot 1.0}}{\sqrt[3]{y}}}}}\]
