if (* y (log z)) < -7.321824398268359e+270 or 11808710528.56336 < (* y (log z))

1. Started with
   \[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{y}\]
   0
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}}}\]
   50.7
3. Using strategy rm
   50.7
4. Applied pow-to-exp to get
   \[\left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \frac{\color{red}{{a}^{\left(t - 1.0\right)}}}{e^{b}} \leadsto \left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \frac{\color{blue}{e^{\log a \cdot \left(t - 1.0\right)}}}{e^{b}}\]
   50.7
5. Applied div-exp to get
   \[\left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \color{red}{\frac{e^{\log a \cdot \left(t - 1.0\right)}}{e^{b}}} \leadsto \left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \color{blue}{e^{\log a \cdot \left(t - 1.0\right) - b}}\]
   49.1
6. Applied pow-to-exp to get
   \[\left(\frac{x}{y} \cdot \color{red}{{z}^{y}}\right) \cdot e^{\log a \cdot \left(t - 1.0\right) - b} \leadsto \left(\frac{x}{y} \cdot \color{blue}{e^{\log z \cdot y}}\right) \cdot e^{\log a \cdot \left(t - 1.0\right) - b}\]
   49.1
7. Applied add-exp-log to get
   \[\left(\color{red}{\frac{x}{y}} \cdot e^{\log z \cdot y}\right) \cdot e^{\log a \cdot \left(t - 1.0\right) - b} \leadsto \left(\color{blue}{e^{\log \left(\frac{x}{y}\right)}} \cdot e^{\log z \cdot y}\right) \cdot e^{\log a \cdot \left(t - 1.0\right) - b}\]
   49.1
8. Applied prod-exp to get
   \[\color{red}{\left(e^{\log \left(\frac{x}{y}\right)} \cdot e^{\log z \cdot y}\right)} \cdot e^{\log a \cdot \left(t - 1.0\right) - b} \leadsto \color{blue}{e^{\log \left(\frac{x}{y}\right) + \log z \cdot y}} \cdot e^{\log a \cdot \left(t - 1.0\right) - b}\]
   41.6
9. Applied prod-exp to get
   \[\color{red}{e^{\log \left(\frac{x}{y}\right) + \log z \cdot y} \cdot e^{\log a \cdot \left(t - 1.0\right) - b}} \leadsto \color{blue}{e^{\left(\log \left(\frac{x}{y}\right) + \log z \cdot y\right) + \left(\log a \cdot \left(t - 1.0\right) - b\right)}}\]
   0

if -7.321824398268359e+270 < (* y (log z)) < -3.4906683593279403e-48

1. Started with
   \[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{y}\]
   0.2
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}}}\]
   7.4
3. Using strategy rm
   7.4
4. Applied pow-to-exp to get
   \[\left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \frac{\color{red}{{a}^{\left(t - 1.0\right)}}}{e^{b}} \leadsto \left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \frac{\color{blue}{e^{\log a \cdot \left(t - 1.0\right)}}}{e^{b}}\]
   7.6
5. Applied div-exp to get
   \[\left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \color{red}{\frac{e^{\log a \cdot \left(t - 1.0\right)}}{e^{b}}} \leadsto \left(\frac{x}{y} \cdot {z}^{y}\right) \cdot \color{blue}{e^{\log a \cdot \left(t - 1.0\right) - b}}\]
   1.0

if -3.4906683593279403e-48 < (* y (log z)) < 11808710528.56336

1. Started with
   \[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{y}\]
   20.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}}}\]
   15.1
3. Using strategy rm
   15.1
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}}\]
   15.1
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.8
6. Using strategy rm
   2.8
7. Applied sub-neg to get
   \[\frac{\left(x \cdot {z}^{y}\right) \cdot \frac{{a}^{\color{red}{\left(t - 1.0\right)}}}{e^{b}}}{y} \leadsto \frac{\left(x \cdot {z}^{y}\right) \cdot \frac{{a}^{\color{blue}{\left(t + \left(-1.0\right)\right)}}}{e^{b}}}{y}\]
   2.8
8. Applied unpow-prod-up to get
   \[\frac{\left(x \cdot {z}^{y}\right) \cdot \frac{\color{red}{{a}^{\left(t + \left(-1.0\right)\right)}}}{e^{b}}}{y} \leadsto \frac{\left(x \cdot {z}^{y}\right) \cdot \frac{\color{blue}{{a}^{t} \cdot {a}^{\left(-1.0\right)}}}{e^{b}}}{y}\]
   2.8