if t < -7.6629611465298e-58

1. Started with
   \[\frac{x}{x + y \cdot e^{2.0 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5.0}{6.0}\right) - \frac{2.0}{t \cdot 3.0}\right)\right)}}\]
   15.3
2. Applied taylor to get
   \[\frac{x}{x + y \cdot e^{2.0 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5.0}{6.0}\right) - \frac{2.0}{t \cdot 3.0}\right)\right)}} \leadsto \frac{x}{x + y \cdot e^{2.0 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(\left(0.8333333333333334 \cdot b + 0.6666666666666666 \cdot \frac{c}{t}\right) - 0.6666666666666666 \cdot \frac{b}{t}\right)\right)}}\]
   0.4
3. Taylor expanded around 0 to get
   \[\frac{x}{x + y \cdot e^{2.0 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \color{red}{\left(\left(0.8333333333333334 \cdot b + 0.6666666666666666 \cdot \frac{c}{t}\right) - 0.6666666666666666 \cdot \frac{b}{t}\right)}\right)}} \leadsto \frac{x}{x + y \cdot e^{2.0 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \color{blue}{\left(\left(0.8333333333333334 \cdot b + 0.6666666666666666 \cdot \frac{c}{t}\right) - 0.6666666666666666 \cdot \frac{b}{t}\right)}\right)}}\]
   0.4
4. Applied simplify to get
   \[\color{red}{\frac{x}{x + y \cdot e^{2.0 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(\left(0.8333333333333334 \cdot b + 0.6666666666666666 \cdot \frac{c}{t}\right) - 0.6666666666666666 \cdot \frac{b}{t}\right)\right)}}} \leadsto \color{blue}{\frac{x}{x + {\left(e^{2.0}\right)}^{\left(\frac{z}{t} \cdot \sqrt{a + t} - \left(b \cdot 0.8333333333333334 - \frac{0.6666666666666666}{t} \cdot \left(b - c\right)\right)\right)} \cdot y}}\]
   0.1

if -7.6629611465298e-58 < t < 5.5153474176123454e+104

1. Started with
   \[\frac{x}{x + y \cdot e^{2.0 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5.0}{6.0}\right) - \frac{2.0}{t \cdot 3.0}\right)\right)}}\]
   4.1
2. Using strategy rm
   4.1
3. Applied flip-+ to get
   \[\frac{x}{x + y \cdot e^{2.0 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\color{red}{\left(a + \frac{5.0}{6.0}\right)} - \frac{2.0}{t \cdot 3.0}\right)\right)}} \leadsto \frac{x}{x + y \cdot e^{2.0 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\color{blue}{\frac{{a}^2 - {\left(\frac{5.0}{6.0}\right)}^2}{a - \frac{5.0}{6.0}}} - \frac{2.0}{t \cdot 3.0}\right)\right)}}\]
   6.5
4. Applied frac-sub to get
   \[\frac{x}{x + y \cdot e^{2.0 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \color{red}{\left(\frac{{a}^2 - {\left(\frac{5.0}{6.0}\right)}^2}{a - \frac{5.0}{6.0}} - \frac{2.0}{t \cdot 3.0}\right)}\right)}} \leadsto \frac{x}{x + y \cdot e^{2.0 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \color{blue}{\frac{\left({a}^2 - {\left(\frac{5.0}{6.0}\right)}^2\right) \cdot \left(t \cdot 3.0\right) - \left(a - \frac{5.0}{6.0}\right) \cdot 2.0}{\left(a - \frac{5.0}{6.0}\right) \cdot \left(t \cdot 3.0\right)}}\right)}}\]
   7.1
5. Applied associate-*r/ to get
   \[\frac{x}{x + y \cdot e^{2.0 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \color{red}{\left(b - c\right) \cdot \frac{\left({a}^2 - {\left(\frac{5.0}{6.0}\right)}^2\right) \cdot \left(t \cdot 3.0\right) - \left(a - \frac{5.0}{6.0}\right) \cdot 2.0}{\left(a - \frac{5.0}{6.0}\right) \cdot \left(t \cdot 3.0\right)}}\right)}} \leadsto \frac{x}{x + y \cdot e^{2.0 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \color{blue}{\frac{\left(b - c\right) \cdot \left(\left({a}^2 - {\left(\frac{5.0}{6.0}\right)}^2\right) \cdot \left(t \cdot 3.0\right) - \left(a - \frac{5.0}{6.0}\right) \cdot 2.0\right)}{\left(a - \frac{5.0}{6.0}\right) \cdot \left(t \cdot 3.0\right)}}\right)}}\]
   7.2
6. Applied frac-sub to get
   \[\frac{x}{x + y \cdot e^{2.0 \cdot \color{red}{\left(\frac{z \cdot \sqrt{t + a}}{t} - \frac{\left(b - c\right) \cdot \left(\left({a}^2 - {\left(\frac{5.0}{6.0}\right)}^2\right) \cdot \left(t \cdot 3.0\right) - \left(a - \frac{5.0}{6.0}\right) \cdot 2.0\right)}{\left(a - \frac{5.0}{6.0}\right) \cdot \left(t \cdot 3.0\right)}\right)}}} \leadsto \frac{x}{x + y \cdot e^{2.0 \cdot \color{blue}{\frac{\left(z \cdot \sqrt{t + a}\right) \cdot \left(\left(a - \frac{5.0}{6.0}\right) \cdot \left(t \cdot 3.0\right)\right) - t \cdot \left(\left(b - c\right) \cdot \left(\left({a}^2 - {\left(\frac{5.0}{6.0}\right)}^2\right) \cdot \left(t \cdot 3.0\right) - \left(a - \frac{5.0}{6.0}\right) \cdot 2.0\right)\right)}{t \cdot \left(\left(a - \frac{5.0}{6.0}\right) \cdot \left(t \cdot 3.0\right)\right)}}}}\]
   7.0
7. Applied simplify to get
   \[\frac{x}{x + y \cdot e^{2.0 \cdot \frac{\color{red}{\left(z \cdot \sqrt{t + a}\right) \cdot \left(\left(a - \frac{5.0}{6.0}\right) \cdot \left(t \cdot 3.0\right)\right) - t \cdot \left(\left(b - c\right) \cdot \left(\left({a}^2 - {\left(\frac{5.0}{6.0}\right)}^2\right) \cdot \left(t \cdot 3.0\right) - \left(a - \frac{5.0}{6.0}\right) \cdot 2.0\right)\right)}}{t \cdot \left(\left(a - \frac{5.0}{6.0}\right) \cdot \left(t \cdot 3.0\right)\right)}}} \leadsto \frac{x}{x + y \cdot e^{2.0 \cdot \frac{\color{blue}{\left(\left(3.0 \cdot t\right) \cdot \left(a - \frac{5.0}{6.0}\right)\right) \cdot \left(z \cdot \sqrt{a + t}\right) - \left(\left(\left(b - c\right) \cdot t\right) \cdot \left(a - \frac{5.0}{6.0}\right)\right) \cdot \left(\left(3.0 \cdot t\right) \cdot \left(a + \frac{5.0}{6.0}\right) - 2.0\right)}}{t \cdot \left(\left(a - \frac{5.0}{6.0}\right) \cdot \left(t \cdot 3.0\right)\right)}}}\]
   4.0
8. Applied simplify to get
   \[\frac{x}{x + y \cdot e^{2.0 \cdot \frac{\left(\left(3.0 \cdot t\right) \cdot \left(a - \frac{5.0}{6.0}\right)\right) \cdot \left(z \cdot \sqrt{a + t}\right) - \left(\left(\left(b - c\right) \cdot t\right) \cdot \left(a - \frac{5.0}{6.0}\right)\right) \cdot \left(\left(3.0 \cdot t\right) \cdot \left(a + \frac{5.0}{6.0}\right) - 2.0\right)}{\color{red}{t \cdot \left(\left(a - \frac{5.0}{6.0}\right) \cdot \left(t \cdot 3.0\right)\right)}}}} \leadsto \frac{x}{x + y \cdot e^{2.0 \cdot \frac{\left(\left(3.0 \cdot t\right) \cdot \left(a - \frac{5.0}{6.0}\right)\right) \cdot \left(z \cdot \sqrt{a + t}\right) - \left(\left(\left(b - c\right) \cdot t\right) \cdot \left(a - \frac{5.0}{6.0}\right)\right) \cdot \left(\left(3.0 \cdot t\right) \cdot \left(a + \frac{5.0}{6.0}\right) - 2.0\right)}{\color{blue}{\left(a - \frac{5.0}{6.0}\right) \cdot \left({t}^2 \cdot 3.0\right)}}}}\]
   4.0

if 5.5153474176123454e+104 < t

1. Started with
   \[\frac{x}{x + y \cdot e^{2.0 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5.0}{6.0}\right) - \frac{2.0}{t \cdot 3.0}\right)\right)}}\]
   18.3
2. Applied taylor to get
   \[\frac{x}{x + y \cdot e^{2.0 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5.0}{6.0}\right) - \frac{2.0}{t \cdot 3.0}\right)\right)}} \leadsto \frac{x}{x + y \cdot e^{2.0 \cdot \left(\left(0.8333333333333334 \cdot c + c \cdot a\right) - b \cdot a\right)}}\]
   1.2
3. Taylor expanded around inf to get
   \[\frac{x}{x + y \cdot e^{2.0 \cdot \color{red}{\left(\left(0.8333333333333334 \cdot c + c \cdot a\right) - b \cdot a\right)}}} \leadsto \frac{x}{x + y \cdot e^{2.0 \cdot \color{blue}{\left(\left(0.8333333333333334 \cdot c + c \cdot a\right) - b \cdot a\right)}}}\]
   1.2