if z < -3.345492643787901e+220 or 2.5331775868435904e+228 < z

1. Started with
   \[x + \frac{y - z}{\left(t + 1.0\right) - z} \cdot \left(a - x\right)\]
   29.9
2. Using strategy rm
   29.9
3. Applied flip-- to get
   \[x + \frac{y - z}{\left(t + 1.0\right) - z} \cdot \color{red}{\left(a - x\right)} \leadsto x + \frac{y - z}{\left(t + 1.0\right) - z} \cdot \color{blue}{\frac{{a}^2 - {x}^2}{a + x}}\]
   44.0
4. Applied associate-*r/ to get
   \[x + \color{red}{\frac{y - z}{\left(t + 1.0\right) - z} \cdot \frac{{a}^2 - {x}^2}{a + x}} \leadsto x + \color{blue}{\frac{\frac{y - z}{\left(t + 1.0\right) - z} \cdot \left({a}^2 - {x}^2\right)}{a + x}}\]
   44.1
5. Applied taylor to get
   \[x + \frac{\frac{y - z}{\left(t + 1.0\right) - z} \cdot \left({a}^2 - {x}^2\right)}{a + x} \leadsto \left(\frac{y \cdot x}{z} + a\right) - \frac{y \cdot a}{z}\]
   13.1
6. Taylor expanded around inf to get
   \[\color{red}{\left(\frac{y \cdot x}{z} + a\right) - \frac{y \cdot a}{z}} \leadsto \color{blue}{\left(\frac{y \cdot x}{z} + a\right) - \frac{y \cdot a}{z}}\]
   13.1
7. Applied simplify to get
   \[\left(\frac{y \cdot x}{z} + a\right) - \frac{y \cdot a}{z} \leadsto a + \left(\frac{y}{\frac{z}{x}} - \frac{y}{\frac{z}{a}}\right)\]
   1.6

---

8. Applied final simplification
9. Applied simplify to get
   \[\color{red}{a + \left(\frac{y}{\frac{z}{x}} - \frac{y}{\frac{z}{a}}\right)} \leadsto \color{blue}{\left(x - a\right) \cdot \frac{y}{z} + a}\]
   1.1

if -3.345492643787901e+220 < z < 2.5331775868435904e+228

1. Started with
   \[x + \frac{y - z}{\left(t + 1.0\right) - z} \cdot \left(a - x\right)\]
   6.6