if b < -31.868288f0

1. Started with
   \[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{y}\]
   0.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}}}\]
   30.2
3. Using strategy rm
   30.2
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}}\]
   30.2
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}}\]
   16.8
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}\]
   16.8
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}\]
   16.8
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}\]
   15.8
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)}}\]
   2.1

if -31.868288f0 < b < 0.24611415f0

1. Started with
   \[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{y}\]
   13.9
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}}}\]
   4.6
3. Using strategy rm
   4.6
4. Applied div-inv to get
   \[\left(\color{red}{\frac{x}{y}} \cdot {z}^{y}\right) \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}} \leadsto \left(\color{blue}{\left(x \cdot \frac{1}{y}\right)} \cdot {z}^{y}\right) \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}}\]
   4.6
5. Applied associate-*l* to get
   \[\color{red}{\left(\left(x \cdot \frac{1}{y}\right) \cdot {z}^{y}\right)} \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}} \leadsto \color{blue}{\left(x \cdot \left(\frac{1}{y} \cdot {z}^{y}\right)\right)} \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}}\]
   1.9
6. Applied simplify to get
   \[\left(x \cdot \color{red}{\left(\frac{1}{y} \cdot {z}^{y}\right)}\right) \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}} \leadsto \left(x \cdot \color{blue}{\frac{{z}^{y}}{y}}\right) \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}}\]
   1.8
7. Using strategy rm
   1.8
8. Applied *-un-lft-identity to get
   \[\left(x \cdot \frac{{z}^{y}}{y}\right) \cdot \frac{{a}^{\left(t - 1.0\right)}}{\color{red}{e^{b}}} \leadsto \left(x \cdot \frac{{z}^{y}}{y}\right) \cdot \frac{{a}^{\left(t - 1.0\right)}}{\color{blue}{1 \cdot e^{b}}}\]
   1.8
9. Applied sub-neg to get
   \[\left(x \cdot \frac{{z}^{y}}{y}\right) \cdot \frac{{a}^{\color{red}{\left(t - 1.0\right)}}}{1 \cdot e^{b}} \leadsto \left(x \cdot \frac{{z}^{y}}{y}\right) \cdot \frac{{a}^{\color{blue}{\left(t + \left(-1.0\right)\right)}}}{1 \cdot e^{b}}\]
   1.8
10. Applied unpow-prod-up to get
    \[\left(x \cdot \frac{{z}^{y}}{y}\right) \cdot \frac{\color{red}{{a}^{\left(t + \left(-1.0\right)\right)}}}{1 \cdot e^{b}} \leadsto \left(x \cdot \frac{{z}^{y}}{y}\right) \cdot \frac{\color{blue}{{a}^{t} \cdot {a}^{\left(-1.0\right)}}}{1 \cdot e^{b}}\]
    1.8
11. Applied times-frac to get
    \[\left(x \cdot \frac{{z}^{y}}{y}\right) \cdot \color{red}{\frac{{a}^{t} \cdot {a}^{\left(-1.0\right)}}{1 \cdot e^{b}}} \leadsto \left(x \cdot \frac{{z}^{y}}{y}\right) \cdot \color{blue}{\left(\frac{{a}^{t}}{1} \cdot \frac{{a}^{\left(-1.0\right)}}{e^{b}}\right)}\]
    1.8
12. Applied associate-*r* to get
    \[\color{red}{\left(x \cdot \frac{{z}^{y}}{y}\right) \cdot \left(\frac{{a}^{t}}{1} \cdot \frac{{a}^{\left(-1.0\right)}}{e^{b}}\right)} \leadsto \color{blue}{\left(\left(x \cdot \frac{{z}^{y}}{y}\right) \cdot \frac{{a}^{t}}{1}\right) \cdot \frac{{a}^{\left(-1.0\right)}}{e^{b}}}\]
    1.8
13. Applied simplify to get
    \[\color{red}{\left(\left(x \cdot \frac{{z}^{y}}{y}\right) \cdot \frac{{a}^{t}}{1}\right)} \cdot \frac{{a}^{\left(-1.0\right)}}{e^{b}} \leadsto \color{blue}{\left(\frac{{z}^{y}}{y} \cdot \left(x \cdot {a}^{t}\right)\right)} \cdot \frac{{a}^{\left(-1.0\right)}}{e^{b}}\]
    1.8

if 0.24611415f0 < b

1. Started with
   \[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{y}\]
   6.6
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}}}\]
   9.0
3. Using strategy rm
   9.0
4. Applied div-inv to get
   \[\left(\color{red}{\frac{x}{y}} \cdot {z}^{y}\right) \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}} \leadsto \left(\color{blue}{\left(x \cdot \frac{1}{y}\right)} \cdot {z}^{y}\right) \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}}\]
   9.0
5. Applied associate-*l* to get
   \[\color{red}{\left(\left(x \cdot \frac{1}{y}\right) \cdot {z}^{y}\right)} \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}} \leadsto \color{blue}{\left(x \cdot \left(\frac{1}{y} \cdot {z}^{y}\right)\right)} \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}}\]
   5.4
6. Applied simplify to get
   \[\left(x \cdot \color{red}{\left(\frac{1}{y} \cdot {z}^{y}\right)}\right) \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}} \leadsto \left(x \cdot \color{blue}{\frac{{z}^{y}}{y}}\right) \cdot \frac{{a}^{\left(t - 1.0\right)}}{e^{b}}\]
   5.4
7. Using strategy rm
   5.4
8. Applied pow-to-exp to get
   \[\left(x \cdot \frac{{z}^{y}}{y}\right) \cdot \frac{\color{red}{{a}^{\left(t - 1.0\right)}}}{e^{b}} \leadsto \left(x \cdot \frac{{z}^{y}}{y}\right) \cdot \frac{\color{blue}{e^{\log a \cdot \left(t - 1.0\right)}}}{e^{b}}\]
   5.4
9. Applied div-exp to get
   \[\left(x \cdot \frac{{z}^{y}}{y}\right) \cdot \color{red}{\frac{e^{\log a \cdot \left(t - 1.0\right)}}{e^{b}}} \leadsto \left(x \cdot \frac{{z}^{y}}{y}\right) \cdot \color{blue}{e^{\log a \cdot \left(t - 1.0\right) - b}}\]
   1.6