if t < -1.613449747095156e-110 or 1.0829088082977844e+149 < 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)}}\]
   43.2
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.4
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.4
4. Applied simplify to get
   \[\frac{x}{x + y \cdot e^{2.0 \cdot \left(\left(0.8333333333333334 \cdot c + c \cdot a\right) - b \cdot a\right)}} \leadsto \frac{x}{y \cdot e^{\left(2.0 \cdot a\right) \cdot \left(c - b\right) + \left(2.0 \cdot c\right) \cdot 0.8333333333333334} + x}\]
   0.0

---

5. Applied final simplification

if -1.613449747095156e-110 < t < 1.0829088082977844e+149

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)}}\]
   3.5
2. Using strategy rm
   3.5
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)}}\]
   5.6
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)}}\]
   6.9
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.0
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)}}}}\]
   8.5
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)}}}\]
   5.9
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)}}}}\]
   5.9