if y < -1.1034621288808883e+29 or 0.00021438459598903582 < y

1. Started with
   \[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{y}\]
   37.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}}}\]
   27.2
3. Using strategy rm
   27.2
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}}\]
   27.2
5. Applied associate-*l/ 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 \frac{{a}^{\left(t - 1.0\right)}}{e^{b}}}{y}}\]
   27.2
6. Using strategy rm
   27.2
7. Applied pow-to-exp to get
   \[\frac{\left(x \cdot {z}^{y}\right) \cdot \frac{\color{red}{{a}^{\left(t - 1.0\right)}}}{e^{b}}}{y} \leadsto \frac{\left(x \cdot {z}^{y}\right) \cdot \frac{\color{blue}{e^{\log a \cdot \left(t - 1.0\right)}}}{e^{b}}}{y}\]
   27.2
8. Applied div-exp to get
   \[\frac{\left(x \cdot {z}^{y}\right) \cdot \color{red}{\frac{e^{\log a \cdot \left(t - 1.0\right)}}{e^{b}}}}{y} \leadsto \frac{\left(x \cdot {z}^{y}\right) \cdot \color{blue}{e^{\log a \cdot \left(t - 1.0\right) - b}}}{y}\]
   23.3
9. Applied add-exp-log to get
   \[\frac{\color{red}{\left(x \cdot {z}^{y}\right)} \cdot e^{\log a \cdot \left(t - 1.0\right) - b}}{y} \leadsto \frac{\color{blue}{e^{\log \left(x \cdot {z}^{y}\right)}} \cdot e^{\log a \cdot \left(t - 1.0\right) - b}}{y}\]
   23.3
10. Applied prod-exp to get
    \[\frac{\color{red}{e^{\log \left(x \cdot {z}^{y}\right)} \cdot e^{\log a \cdot \left(t - 1.0\right) - b}}}{y} \leadsto \frac{\color{blue}{e^{\log \left(x \cdot {z}^{y}\right) + \left(\log a \cdot \left(t - 1.0\right) - b\right)}}}{y}\]
    0.2

if -1.1034621288808883e+29 < y < 0.00021438459598903582

1. Started with
   \[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{y}\]
   20.4
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.0
3. Using strategy rm
   14.0
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.0
5. Applied associate-*l/ 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 \frac{{a}^{\left(t - 1.0\right)}}{e^{b}}}{y}}\]
   2.4