if b < -3.8209836083456835e+99

1. Started with
   \[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{y}\]
   54.3
2. Applied simplify to get
   \[\color{red}{\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{y}} \leadsto \color{blue}{\left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}}}\]
   62.8
3. Using strategy rm
   62.8
4. Applied sub-neg to get
   \[\left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \frac{{a}^{\color{red}{\left(t - 1.0\right)}}}{e^{b}} \leadsto \left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \frac{{a}^{\color{blue}{\left(t + \left(-1.0\right)\right)}}}{e^{b}}\]
   62.8
5. Applied unpow-prod-up to get
   \[\left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \frac{\color{red}{{a}^{\left(t + \left(-1.0\right)\right)}}}{e^{b}} \leadsto \left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \frac{\color{blue}{{a}^{t} \cdot {a}^{\left(-1.0\right)}}}{e^{b}}\]
   62.8
6. Applied associate-/l* to get
   \[\left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \color{red}{\frac{{a}^{t} \cdot {a}^{\left(-1.0\right)}}{e^{b}}} \leadsto \left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \color{blue}{\frac{{a}^{t}}{\frac{e^{b}}{{a}^{\left(-1.0\right)}}}}\]
   62.8
7. Applied taylor to get
   \[\left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \frac{{a}^{t}}{\frac{e^{b}}{{a}^{\left(-1.0\right)}}} \leadsto \left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \frac{{a}^{t}}{b \cdot a + \left(\frac{1}{2} \cdot \left({b}^2 \cdot a\right) + a\right)}\]
   29.2
8. Taylor expanded around 0 to get
   \[\left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \frac{{a}^{t}}{\color{red}{b \cdot a + \left(\frac{1}{2} \cdot \left({b}^2 \cdot a\right) + a\right)}} \leadsto \left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \frac{{a}^{t}}{\color{blue}{b \cdot a + \left(\frac{1}{2} \cdot \left({b}^2 \cdot a\right) + a\right)}}\]
   29.2
9. Applied simplify to get
   \[\left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \frac{{a}^{t}}{b \cdot a + \left(\frac{1}{2} \cdot \left({b}^2 \cdot a\right) + a\right)} \leadsto \frac{\frac{x}{y} \cdot \left({a}^{t} \cdot {z}^{y}\right)}{\left(a \cdot b + a\right) + \left(\frac{1}{2} \cdot a\right) \cdot \left(b \cdot b\right)}\]
   29.2

---

10. Applied final simplification

if -3.8209836083456835e+99 < b < 3194606.6789062954

1. Started with
   \[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{y}\]
   33.1
2. Applied simplify to get
   \[\color{red}{\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{y}} \leadsto \color{blue}{\left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}}}\]
   14.3
3. Using strategy rm
   14.3
4. Applied associate-*l/ to get
   \[\color{red}{\left(\frac{x}{y} \cdot {z}^{y}\right)} \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}} \leadsto \color{blue}{\frac{x \cdot {z}^{y}}{y}} \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}}\]
   14.3
5. Applied frac-times to get
   \[\color{red}{\frac{x \cdot {z}^{y}}{y} \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}}} \leadsto \color{blue}{\frac{\left(x \cdot {z}^{y}\right) \cdot {a}^{\left(t - 1.0\right)}}{y \cdot e^{b}}}\]
   10.3
6. Applied taylor to get
   \[\frac{\left(x \cdot {z}^{y}\right) \cdot {a}^{\left(t - 1.0\right)}}{y \cdot e^{b}} \leadsto \frac{\left(x \cdot {z}^{y}\right) \cdot {a}^{\left(t - 1.0\right)}}{\frac{1}{2} \cdot \left(y \cdot {b}^2\right) + \left(y + y \cdot b\right)}\]
   2.8
7. Taylor expanded around 0 to get
   \[\frac{\left(x \cdot {z}^{y}\right) \cdot {a}^{\left(t - 1.0\right)}}{\color{red}{\frac{1}{2} \cdot \left(y \cdot {b}^2\right) + \left(y + y \cdot b\right)}} \leadsto \frac{\left(x \cdot {z}^{y}\right) \cdot {a}^{\left(t - 1.0\right)}}{\color{blue}{\frac{1}{2} \cdot \left(y \cdot {b}^2\right) + \left(y + y \cdot b\right)}}\]
   2.8

if 3194606.6789062954 < b

1. Started with
   \[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{y}\]
   50.5
2. Applied simplify to get
   \[\color{red}{\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{y}} \leadsto \color{blue}{\left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}}}\]
   42.7
3. Using strategy rm
   42.7
4. Applied associate-*l/ to get
   \[\color{red}{\left(\frac{x}{y} \cdot {z}^{y}\right)} \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}} \leadsto \color{blue}{\frac{x \cdot {z}^{y}}{y}} \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}}\]
   42.7
5. Applied frac-times to get
   \[\color{red}{\frac{x \cdot {z}^{y}}{y} \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}}} \leadsto \color{blue}{\frac{\left(x \cdot {z}^{y}\right) \cdot {a}^{\left(t - 1.0\right)}}{y \cdot e^{b}}}\]
   40.4
6. Applied taylor to get
   \[\frac{\left(x \cdot {z}^{y}\right) \cdot {a}^{\left(t - 1.0\right)}}{y \cdot e^{b}} \leadsto \frac{{\left(\frac{1}{{a}^{1.0}}\right)}^{1.0} \cdot x}{y \cdot e^{b}}\]
   7.6
7. Taylor expanded around 0 to get
   \[\frac{\color{red}{{\left(\frac{1}{{a}^{1.0}}\right)}^{1.0} \cdot x}}{y \cdot e^{b}} \leadsto \frac{\color{blue}{{\left(\frac{1}{{a}^{1.0}}\right)}^{1.0} \cdot x}}{y \cdot e^{b}}\]
   7.6