if z < -1.856694460156845e+172

1. Started with
   \[x + \frac{y - z}{\left(t + 1.0\right) - z} \cdot \left(a - x\right)\]
   33.1
2. Applied taylor to get
   \[x + \frac{y - z}{\left(t + 1.0\right) - z} \cdot \left(a - x\right) \leadsto \left(\frac{y \cdot x}{z} + a\right) - \frac{y \cdot a}{z}\]
   11.9
3. 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}}\]
   11.9
4. Applied simplify to get
   \[\color{red}{\left(\frac{y \cdot x}{z} + a\right) - \frac{y \cdot a}{z}} \leadsto \color{blue}{a + \frac{y}{z} \cdot \left(x - a\right)}\]
   1.3

if -1.856694460156845e+172 < z < 4.75446389346611e+179

1. Started with
   \[x + \frac{y - z}{\left(t + 1.0\right) - z} \cdot \left(a - x\right)\]
   5.5
2. Using strategy rm
   5.5
3. Applied sub-neg 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}{\left(a + \left(-x\right)\right)}\]
   5.5
4. Applied distribute-lft-in to get
   \[x + \color{red}{\frac{y - z}{\left(t + 1.0\right) - z} \cdot \left(a + \left(-x\right)\right)} \leadsto x + \color{blue}{\left(\frac{y - z}{\left(t + 1.0\right) - z} \cdot a + \frac{y - z}{\left(t + 1.0\right) - z} \cdot \left(-x\right)\right)}\]
   5.5
5. Applied associate-+r+ to get
   \[\color{red}{x + \left(\frac{y - z}{\left(t + 1.0\right) - z} \cdot a + \frac{y - z}{\left(t + 1.0\right) - z} \cdot \left(-x\right)\right)} \leadsto \color{blue}{\left(x + \frac{y - z}{\left(t + 1.0\right) - z} \cdot a\right) + \frac{y - z}{\left(t + 1.0\right) - z} \cdot \left(-x\right)}\]
   5.5

if 4.75446389346611e+179 < z

1. Started with
   \[x + \frac{y - z}{\left(t + 1.0\right) - z} \cdot \left(a - x\right)\]
   31.2
2. Using strategy rm
   31.2
3. Applied sub-neg 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}{\left(a + \left(-x\right)\right)}\]
   31.2
4. Applied distribute-lft-in to get
   \[x + \color{red}{\frac{y - z}{\left(t + 1.0\right) - z} \cdot \left(a + \left(-x\right)\right)} \leadsto x + \color{blue}{\left(\frac{y - z}{\left(t + 1.0\right) - z} \cdot a + \frac{y - z}{\left(t + 1.0\right) - z} \cdot \left(-x\right)\right)}\]
   31.2
5. Applied associate-+r+ to get
   \[\color{red}{x + \left(\frac{y - z}{\left(t + 1.0\right) - z} \cdot a + \frac{y - z}{\left(t + 1.0\right) - z} \cdot \left(-x\right)\right)} \leadsto \color{blue}{\left(x + \frac{y - z}{\left(t + 1.0\right) - z} \cdot a\right) + \frac{y - z}{\left(t + 1.0\right) - z} \cdot \left(-x\right)}\]
   31.2
6. Applied taylor to get
   \[\left(x + \frac{y - z}{\left(t + 1.0\right) - z} \cdot a\right) + \frac{y - z}{\left(t + 1.0\right) - z} \cdot \left(-x\right) \leadsto \left(\frac{y \cdot x}{z} + a\right) - \frac{y \cdot a}{z}\]
   11.2
7. 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}}\]
   11.2
8. 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)\]
   2.0

---

9. Applied final simplification
10. 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