Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, I

1. Split input into 2 regimes

2. if (-.f64 (/.f64 (*.f64 z (sqrt.f64 (+.f64 t a))) t) (*.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))) < +inf.0

   1. Initial program 98.8%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]
   2. Step-by-step derivation

      1. exp-prod98.8%

         \[\leadsto \frac{x}{x + y \cdot \color{blue}{{\left(e^{2}\right)}^{\left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}}} \]

      2. associate-/l*99.2%

         \[\leadsto \frac{x}{x + y \cdot {\left(e^{2}\right)}^{\left(\color{blue}{\frac{z}{\frac{t}{\sqrt{t + a}}}} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

      3. metadata-eval99.2%

         \[\leadsto \frac{x}{x + y \cdot {\left(e^{2}\right)}^{\left(\frac{z}{\frac{t}{\sqrt{t + a}}} - \left(b - c\right) \cdot \left(\left(a + \color{blue}{0.8333333333333334}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   3. Simplified99.2%

      \[\leadsto \color{blue}{\frac{x}{x + y \cdot {\left(e^{2}\right)}^{\left(\frac{z}{\frac{t}{\sqrt{t + a}}} - \left(b - c\right) \cdot \left(\left(a + 0.8333333333333334\right) - \frac{2}{t \cdot 3}\right)\right)}}} \]

   if +inf.0 < (-.f64 (/.f64 (*.f64 z (sqrt.f64 (+.f64 t a))) t) (*.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3)))))

   1. Initial program 0.0%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 46.2%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg46.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in46.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative46.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in46.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-146.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval46.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative46.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-146.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg46.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified46.2%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

   5. Taylor expanded in x around inf 67.7%

      \[\leadsto \color{blue}{1} \]
3. Recombined 2 regimes into one program.

4. Final simplification98.1%

   \[\leadsto \begin{array}{l} \mathbf{if}\;\frac{\sqrt{t + a} \cdot z}{t} + \left(b - c\right) \cdot \left(\frac{2}{t \cdot 3} - \left(a + 0.8333333333333334\right)\right) \leq \infty:\\ \;\;\;\;\frac{x}{x + y \cdot {\left(e^{2}\right)}^{\left(\frac{z}{\frac{t}{\sqrt{t + a}}} + \left(b - c\right) \cdot \left(\frac{2}{t \cdot 3} - \left(a + 0.8333333333333334\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;1\\ \end{array} \]

1. Initial program 95.3%

   \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]
2. Step-by-step derivation

   1. +-commutative95.3%

      \[\leadsto \frac{x}{\color{blue}{y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)} + x}} \]

   2. fma-def95.3%

      \[\leadsto \frac{x}{\color{blue}{\mathsf{fma}\left(y, e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}, x\right)}} \]

3. Simplified97.7%

   \[\leadsto \color{blue}{\frac{x}{\mathsf{fma}\left(y, {\left(e^{2}\right)}^{\left(\mathsf{fma}\left(b - c, \frac{0.6666666666666666}{t} + \left(-0.8333333333333334 - a\right), \sqrt{t + a} \cdot \frac{z}{t}\right)\right)}, x\right)}} \]

4. Final simplification97.7%

   \[\leadsto \frac{x}{\mathsf{fma}\left(y, {\left(e^{2}\right)}^{\left(\mathsf{fma}\left(b - c, \frac{0.6666666666666666}{t} + \left(-0.8333333333333334 - a\right), \sqrt{t + a} \cdot \frac{z}{t}\right)\right)}, x\right)} \]

1. Split input into 2 regimes

2. if (-.f64 (/.f64 (*.f64 z (sqrt.f64 (+.f64 t a))) t) (*.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3))))) < +inf.0

   1. Initial program 98.8%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   if +inf.0 < (-.f64 (/.f64 (*.f64 z (sqrt.f64 (+.f64 t a))) t) (*.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3)))))

   1. Initial program 0.0%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 46.2%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg46.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in46.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative46.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in46.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-146.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval46.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative46.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-146.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg46.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified46.2%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

   5. Taylor expanded in x around inf 67.7%

      \[\leadsto \color{blue}{1} \]
3. Recombined 2 regimes into one program.

4. Final simplification97.7%

   \[\leadsto \begin{array}{l} \mathbf{if}\;\frac{\sqrt{t + a} \cdot z}{t} + \left(b - c\right) \cdot \left(\frac{2}{t \cdot 3} - \left(a + 0.8333333333333334\right)\right) \leq \infty:\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{\sqrt{t + a} \cdot z}{t} + \left(b - c\right) \cdot \left(\frac{2}{t \cdot 3} - \left(a + 0.8333333333333334\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;1\\ \end{array} \]

1. Split input into 4 regimes

2. if t < -5.4999999999999996e-10

   1. Initial program 100.0%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in a around inf 92.5%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(a \cdot \left(c - b\right)\right)}}} \]

   if -5.4999999999999996e-10 < t < 2.4000000000000002e-230

   1. Initial program 87.1%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around 0 95.3%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\frac{\sqrt{a} \cdot z - -0.6666666666666666 \cdot \left(b - c\right)}{t}}}} \]

   if 2.4000000000000002e-230 < t < 1.8000000000000001e-15

   1. Initial program 98.2%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in a around 0 86.4%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\sqrt{\frac{1}{t}} \cdot z - \left(b - c\right) \cdot \left(0.8333333333333334 - 0.6666666666666666 \cdot \frac{1}{t}\right)\right)}}} \]
   3. Step-by-step derivation

      1. *-commutative86.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\color{blue}{z \cdot \sqrt{\frac{1}{t}}} - \left(b - c\right) \cdot \left(0.8333333333333334 - 0.6666666666666666 \cdot \frac{1}{t}\right)\right)}} \]

      2. associate-*r/86.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(z \cdot \sqrt{\frac{1}{t}} - \left(b - c\right) \cdot \left(0.8333333333333334 - \color{blue}{\frac{0.6666666666666666 \cdot 1}{t}}\right)\right)}} \]

      3. metadata-eval86.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(z \cdot \sqrt{\frac{1}{t}} - \left(b - c\right) \cdot \left(0.8333333333333334 - \frac{\color{blue}{0.6666666666666666}}{t}\right)\right)}} \]

   4. Simplified86.4%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(z \cdot \sqrt{\frac{1}{t}} - \left(b - c\right) \cdot \left(0.8333333333333334 - \frac{0.6666666666666666}{t}\right)\right)}}} \]

   if 1.8000000000000001e-15 < t

   1. Initial program 97.4%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 93.6%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg93.6%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in93.6%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative93.6%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in93.6%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-193.6%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval93.6%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative93.6%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-193.6%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg93.6%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified93.6%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]
3. Recombined 4 regimes into one program.

4. Final simplification92.3%

   \[\leadsto \begin{array}{l} \mathbf{if}\;t \leq -5.5 \cdot 10^{-10}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(a \cdot \left(c - b\right)\right)}}\\ \mathbf{elif}\;t \leq 2.4 \cdot 10^{-230}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \frac{z \cdot \sqrt{a} + -0.6666666666666666 \cdot \left(c - b\right)}{t}}}\\ \mathbf{elif}\;t \leq 1.8 \cdot 10^{-15}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(z \cdot \sqrt{\frac{1}{t}} + \left(b - c\right) \cdot \left(\frac{0.6666666666666666}{t} - 0.8333333333333334\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}\\ \end{array} \]

1. Split input into 4 regimes

2. if t < -1.5199999999999999e-52

   1. Initial program 96.7%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in a around inf 90.3%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(a \cdot \left(c - b\right)\right)}}} \]

   if -1.5199999999999999e-52 < t < 3.0000000000000003e-231

   1. Initial program 87.7%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around 0 98.3%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\frac{\sqrt{a} \cdot z - -0.6666666666666666 \cdot \left(b - c\right)}{t}}}} \]

   if 3.0000000000000003e-231 < t < 7.99999999999999984e-12

   1. Initial program 98.3%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in b around inf 78.3%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(0.6666666666666666 \cdot \frac{1}{t} - \left(0.8333333333333334 + a\right)\right) \cdot b\right)}}} \]
   3. Step-by-step derivation

      1. *-commutative78.3%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(b \cdot \left(0.6666666666666666 \cdot \frac{1}{t} - \left(0.8333333333333334 + a\right)\right)\right)}}} \]

      2. sub-neg78.3%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \color{blue}{\left(0.6666666666666666 \cdot \frac{1}{t} + \left(-\left(0.8333333333333334 + a\right)\right)\right)}\right)}} \]

      3. associate-*r/78.3%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\color{blue}{\frac{0.6666666666666666 \cdot 1}{t}} + \left(-\left(0.8333333333333334 + a\right)\right)\right)\right)}} \]

      4. metadata-eval78.3%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{\color{blue}{0.6666666666666666}}{t} + \left(-\left(0.8333333333333334 + a\right)\right)\right)\right)}} \]

      5. distribute-neg-in78.3%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{0.6666666666666666}{t} + \color{blue}{\left(\left(-0.8333333333333334\right) + \left(-a\right)\right)}\right)\right)}} \]

      6. metadata-eval78.3%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{0.6666666666666666}{t} + \left(\color{blue}{-0.8333333333333334} + \left(-a\right)\right)\right)\right)}} \]

      7. sub-neg78.3%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{0.6666666666666666}{t} + \color{blue}{\left(-0.8333333333333334 - a\right)}\right)\right)}} \]

   4. Simplified78.3%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(b \cdot \left(\frac{0.6666666666666666}{t} + \left(-0.8333333333333334 - a\right)\right)\right)}}} \]

   if 7.99999999999999984e-12 < t

   1. Initial program 97.4%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 93.6%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg93.6%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in93.6%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative93.6%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in93.6%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-193.6%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval93.6%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative93.6%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-193.6%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg93.6%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified93.6%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]
3. Recombined 4 regimes into one program.

4. Final simplification90.8%

   \[\leadsto \begin{array}{l} \mathbf{if}\;t \leq -1.52 \cdot 10^{-52}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(a \cdot \left(c - b\right)\right)}}\\ \mathbf{elif}\;t \leq 3 \cdot 10^{-231}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \frac{z \cdot \sqrt{a} + -0.6666666666666666 \cdot \left(c - b\right)}{t}}}\\ \mathbf{elif}\;t \leq 8 \cdot 10^{-12}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{0.6666666666666666}{t} + \left(-0.8333333333333334 - a\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}\\ \end{array} \]

1. Split input into 2 regimes

2. if t < -9.49999999999999902e-305 or 2.79999999999999995e-22 < t

   1. Initial program 95.2%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 88.4%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg88.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in88.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative88.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in88.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-188.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval88.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative88.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-188.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg88.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified88.4%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

   if -9.49999999999999902e-305 < t < 2.79999999999999995e-22

   1. Initial program 95.7%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in b around inf 76.5%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(0.6666666666666666 \cdot \frac{1}{t} - \left(0.8333333333333334 + a\right)\right) \cdot b\right)}}} \]
   3. Step-by-step derivation

      1. *-commutative76.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(b \cdot \left(0.6666666666666666 \cdot \frac{1}{t} - \left(0.8333333333333334 + a\right)\right)\right)}}} \]

      2. sub-neg76.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \color{blue}{\left(0.6666666666666666 \cdot \frac{1}{t} + \left(-\left(0.8333333333333334 + a\right)\right)\right)}\right)}} \]

      3. associate-*r/76.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\color{blue}{\frac{0.6666666666666666 \cdot 1}{t}} + \left(-\left(0.8333333333333334 + a\right)\right)\right)\right)}} \]

      4. metadata-eval76.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{\color{blue}{0.6666666666666666}}{t} + \left(-\left(0.8333333333333334 + a\right)\right)\right)\right)}} \]

      5. distribute-neg-in76.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{0.6666666666666666}{t} + \color{blue}{\left(\left(-0.8333333333333334\right) + \left(-a\right)\right)}\right)\right)}} \]

      6. metadata-eval76.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{0.6666666666666666}{t} + \left(\color{blue}{-0.8333333333333334} + \left(-a\right)\right)\right)\right)}} \]

      7. sub-neg76.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{0.6666666666666666}{t} + \color{blue}{\left(-0.8333333333333334 - a\right)}\right)\right)}} \]

   4. Simplified76.5%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(b \cdot \left(\frac{0.6666666666666666}{t} + \left(-0.8333333333333334 - a\right)\right)\right)}}} \]
3. Recombined 2 regimes into one program.

4. Final simplification85.1%

   \[\leadsto \begin{array}{l} \mathbf{if}\;t \leq -9.5 \cdot 10^{-305} \lor \neg \left(t \leq 2.8 \cdot 10^{-22}\right):\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{0.6666666666666666}{t} + \left(-0.8333333333333334 - a\right)\right)\right)}}\\ \end{array} \]

1. Split input into 2 regimes

2. if c < -5.39999999999999985e-105 or 7.49999999999999934e-5 < c

   1. Initial program 94.0%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in c around inf 89.5%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(c \cdot \left(\left(0.8333333333333334 + a\right) - 0.6666666666666666 \cdot \frac{1}{t}\right)\right)}}} \]
   3. Step-by-step derivation

      1. +-commutative89.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(\color{blue}{\left(a + 0.8333333333333334\right)} - 0.6666666666666666 \cdot \frac{1}{t}\right)\right)}} \]

      2. associate-*r/89.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(\left(a + 0.8333333333333334\right) - \color{blue}{\frac{0.6666666666666666 \cdot 1}{t}}\right)\right)}} \]

      3. metadata-eval89.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(\left(a + 0.8333333333333334\right) - \frac{\color{blue}{0.6666666666666666}}{t}\right)\right)}} \]

      4. metadata-eval89.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(\left(a + 0.8333333333333334\right) - \frac{\color{blue}{\frac{2}{3}}}{t}\right)\right)}} \]

      5. associate-/r*89.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(\left(a + 0.8333333333333334\right) - \color{blue}{\frac{2}{3 \cdot t}}\right)\right)}} \]

      6. *-commutative89.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(\left(a + 0.8333333333333334\right) - \frac{2}{\color{blue}{t \cdot 3}}\right)\right)}} \]

      7. associate--l+89.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \color{blue}{\left(a + \left(0.8333333333333334 - \frac{2}{t \cdot 3}\right)\right)}\right)}} \]

      8. sub-neg89.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(a + \color{blue}{\left(0.8333333333333334 + \left(-\frac{2}{t \cdot 3}\right)\right)}\right)\right)}} \]

      9. sub-neg89.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(a + \color{blue}{\left(0.8333333333333334 - \frac{2}{t \cdot 3}\right)}\right)\right)}} \]

      10. *-commutative89.5%

          \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(a + \left(0.8333333333333334 - \frac{2}{\color{blue}{3 \cdot t}}\right)\right)\right)}} \]

      11. associate-/r*89.5%

          \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(a + \left(0.8333333333333334 - \color{blue}{\frac{\frac{2}{3}}{t}}\right)\right)\right)}} \]

      12. metadata-eval89.5%

          \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(a + \left(0.8333333333333334 - \frac{\color{blue}{0.6666666666666666}}{t}\right)\right)\right)}} \]

      13. sub-neg89.5%

          \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(a + \color{blue}{\left(0.8333333333333334 + \left(-\frac{0.6666666666666666}{t}\right)\right)}\right)\right)}} \]

      14. distribute-neg-frac89.5%

          \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(a + \left(0.8333333333333334 + \color{blue}{\frac{-0.6666666666666666}{t}}\right)\right)\right)}} \]

      15. metadata-eval89.5%

          \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(a + \left(0.8333333333333334 + \frac{\color{blue}{-0.6666666666666666}}{t}\right)\right)\right)}} \]

   4. Simplified89.5%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(c \cdot \left(a + \left(0.8333333333333334 + \frac{-0.6666666666666666}{t}\right)\right)\right)}}} \]

   if -5.39999999999999985e-105 < c < 7.49999999999999934e-5

   1. Initial program 97.2%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in b around inf 81.8%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(0.6666666666666666 \cdot \frac{1}{t} - \left(0.8333333333333334 + a\right)\right) \cdot b\right)}}} \]
   3. Step-by-step derivation

      1. *-commutative81.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(b \cdot \left(0.6666666666666666 \cdot \frac{1}{t} - \left(0.8333333333333334 + a\right)\right)\right)}}} \]

      2. sub-neg81.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \color{blue}{\left(0.6666666666666666 \cdot \frac{1}{t} + \left(-\left(0.8333333333333334 + a\right)\right)\right)}\right)}} \]

      3. associate-*r/81.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\color{blue}{\frac{0.6666666666666666 \cdot 1}{t}} + \left(-\left(0.8333333333333334 + a\right)\right)\right)\right)}} \]

      4. metadata-eval81.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{\color{blue}{0.6666666666666666}}{t} + \left(-\left(0.8333333333333334 + a\right)\right)\right)\right)}} \]

      5. distribute-neg-in81.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{0.6666666666666666}{t} + \color{blue}{\left(\left(-0.8333333333333334\right) + \left(-a\right)\right)}\right)\right)}} \]

      6. metadata-eval81.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{0.6666666666666666}{t} + \left(\color{blue}{-0.8333333333333334} + \left(-a\right)\right)\right)\right)}} \]

      7. sub-neg81.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{0.6666666666666666}{t} + \color{blue}{\left(-0.8333333333333334 - a\right)}\right)\right)}} \]

   4. Simplified81.8%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(b \cdot \left(\frac{0.6666666666666666}{t} + \left(-0.8333333333333334 - a\right)\right)\right)}}} \]
3. Recombined 2 regimes into one program.

4. Final simplification86.3%

   \[\leadsto \begin{array}{l} \mathbf{if}\;c \leq -5.4 \cdot 10^{-105} \lor \neg \left(c \leq 7.5 \cdot 10^{-5}\right):\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(a + \left(0.8333333333333334 + \frac{-0.6666666666666666}{t}\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{0.6666666666666666}{t} + \left(-0.8333333333333334 - a\right)\right)\right)}}\\ \end{array} \]

1. Split input into 3 regimes

2. if t < -2.6000000000000001e-296 or 2.10000000000000005e-103 < t < 3.9499999999999999e-22

   1. Initial program 94.3%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in a around inf 82.5%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(a \cdot \left(c - b\right)\right)}}} \]

   if -2.6000000000000001e-296 < t < 2.10000000000000005e-103

   1. Initial program 92.5%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 25.2%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg25.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in25.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative25.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in25.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-125.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval25.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative25.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-125.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg25.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified25.2%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

   5. Taylor expanded in x around inf 58.0%

      \[\leadsto \color{blue}{1} \]

   if 3.9499999999999999e-22 < t

   1. Initial program 97.5%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 92.1%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg92.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in92.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative92.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in92.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-192.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval92.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative92.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-192.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg92.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified92.1%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

   5. Taylor expanded in a around 0 80.4%

      \[\leadsto \color{blue}{\frac{x}{e^{-1.6666666666666667 \cdot \left(b - c\right)} \cdot y + x}} \]
3. Recombined 3 regimes into one program.

4. Final simplification76.4%

   \[\leadsto \begin{array}{l} \mathbf{if}\;t \leq -2.6 \cdot 10^{-296}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(a \cdot \left(c - b\right)\right)}}\\ \mathbf{elif}\;t \leq 2.1 \cdot 10^{-103}:\\ \;\;\;\;1\\ \mathbf{elif}\;t \leq 3.95 \cdot 10^{-22}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(a \cdot \left(c - b\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{\left(b - c\right) \cdot -1.6666666666666667}}\\ \end{array} \]

1. Split input into 4 regimes

2. if t < -2e-131

   1. Initial program 97.7%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in a around inf 91.0%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(a \cdot \left(c - b\right)\right)}}} \]

   if -2e-131 < t < 3.8000000000000004e-257

   1. Initial program 82.5%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in c around inf 78.2%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(c \cdot \left(\left(0.8333333333333334 + a\right) - 0.6666666666666666 \cdot \frac{1}{t}\right)\right)}}} \]
   3. Step-by-step derivation

      1. +-commutative78.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(\color{blue}{\left(a + 0.8333333333333334\right)} - 0.6666666666666666 \cdot \frac{1}{t}\right)\right)}} \]

      2. associate-*r/78.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(\left(a + 0.8333333333333334\right) - \color{blue}{\frac{0.6666666666666666 \cdot 1}{t}}\right)\right)}} \]

      3. metadata-eval78.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(\left(a + 0.8333333333333334\right) - \frac{\color{blue}{0.6666666666666666}}{t}\right)\right)}} \]

      4. metadata-eval78.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(\left(a + 0.8333333333333334\right) - \frac{\color{blue}{\frac{2}{3}}}{t}\right)\right)}} \]

      5. associate-/r*78.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(\left(a + 0.8333333333333334\right) - \color{blue}{\frac{2}{3 \cdot t}}\right)\right)}} \]

      6. *-commutative78.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(\left(a + 0.8333333333333334\right) - \frac{2}{\color{blue}{t \cdot 3}}\right)\right)}} \]

      7. associate--l+78.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \color{blue}{\left(a + \left(0.8333333333333334 - \frac{2}{t \cdot 3}\right)\right)}\right)}} \]

      8. sub-neg78.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(a + \color{blue}{\left(0.8333333333333334 + \left(-\frac{2}{t \cdot 3}\right)\right)}\right)\right)}} \]

      9. sub-neg78.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(a + \color{blue}{\left(0.8333333333333334 - \frac{2}{t \cdot 3}\right)}\right)\right)}} \]

      10. *-commutative78.2%

          \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(a + \left(0.8333333333333334 - \frac{2}{\color{blue}{3 \cdot t}}\right)\right)\right)}} \]

      11. associate-/r*78.2%

          \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(a + \left(0.8333333333333334 - \color{blue}{\frac{\frac{2}{3}}{t}}\right)\right)\right)}} \]

      12. metadata-eval78.2%

          \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(a + \left(0.8333333333333334 - \frac{\color{blue}{0.6666666666666666}}{t}\right)\right)\right)}} \]

      13. sub-neg78.2%

          \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(a + \color{blue}{\left(0.8333333333333334 + \left(-\frac{0.6666666666666666}{t}\right)\right)}\right)\right)}} \]

      14. distribute-neg-frac78.2%

          \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(a + \left(0.8333333333333334 + \color{blue}{\frac{-0.6666666666666666}{t}}\right)\right)\right)}} \]

      15. metadata-eval78.2%

          \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(a + \left(0.8333333333333334 + \frac{\color{blue}{-0.6666666666666666}}{t}\right)\right)\right)}} \]

   4. Simplified78.2%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(c \cdot \left(a + \left(0.8333333333333334 + \frac{-0.6666666666666666}{t}\right)\right)\right)}}} \]

   5. Taylor expanded in t around 0 78.2%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-0.6666666666666666 \cdot \frac{c}{t}\right)}}} \]
   6. Step-by-step derivation

      1. associate-*r/78.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\frac{-0.6666666666666666 \cdot c}{t}}}} \]

      2. *-commutative78.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \frac{\color{blue}{c \cdot -0.6666666666666666}}{t}}} \]

   7. Simplified78.2%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\frac{c \cdot -0.6666666666666666}{t}}}} \]

   if 3.8000000000000004e-257 < t < 1.3500000000000001e-80

   1. Initial program 100.0%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around 0 77.0%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\frac{\sqrt{a} \cdot z - -0.6666666666666666 \cdot \left(b - c\right)}{t}}}} \]

   3. Taylor expanded in b around inf 68.6%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \frac{\color{blue}{0.6666666666666666 \cdot b}}{t}}} \]
   4. Step-by-step derivation

      1. *-commutative68.6%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \frac{\color{blue}{b \cdot 0.6666666666666666}}{t}}} \]

   5. Simplified68.6%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \frac{\color{blue}{b \cdot 0.6666666666666666}}{t}}} \]

   if 1.3500000000000001e-80 < t

   1. Initial program 97.0%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 89.3%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg89.3%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in89.3%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative89.3%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in89.3%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-189.3%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval89.3%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative89.3%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-189.3%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg89.3%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified89.3%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

   5. Taylor expanded in a around 0 78.9%

      \[\leadsto \color{blue}{\frac{x}{e^{-1.6666666666666667 \cdot \left(b - c\right)} \cdot y + x}} \]
3. Recombined 4 regimes into one program.

4. Final simplification79.1%

   \[\leadsto \begin{array}{l} \mathbf{if}\;t \leq -2 \cdot 10^{-131}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(a \cdot \left(c - b\right)\right)}}\\ \mathbf{elif}\;t \leq 3.8 \cdot 10^{-257}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \frac{c \cdot -0.6666666666666666}{t}}}\\ \mathbf{elif}\;t \leq 1.35 \cdot 10^{-80}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \frac{b \cdot 0.6666666666666666}{t}}}\\ \mathbf{else}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{\left(b - c\right) \cdot -1.6666666666666667}}\\ \end{array} \]

1. Split input into 2 regimes

2. if t < -4.999999999999985e-310 or 1.2e-80 < t

   1. Initial program 95.1%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 86.8%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg86.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in86.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative86.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in86.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-186.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval86.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative86.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-186.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg86.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified86.8%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

   if -4.999999999999985e-310 < t < 1.2e-80

   1. Initial program 96.4%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around 0 82.0%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\frac{\sqrt{a} \cdot z - -0.6666666666666666 \cdot \left(b - c\right)}{t}}}} \]

   3. Taylor expanded in b around inf 68.4%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \frac{\color{blue}{0.6666666666666666 \cdot b}}{t}}} \]
   4. Step-by-step derivation

      1. *-commutative68.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \frac{\color{blue}{b \cdot 0.6666666666666666}}{t}}} \]

   5. Simplified68.4%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \frac{\color{blue}{b \cdot 0.6666666666666666}}{t}}} \]
3. Recombined 2 regimes into one program.

4. Final simplification82.9%

   \[\leadsto \begin{array}{l} \mathbf{if}\;t \leq -5 \cdot 10^{-310} \lor \neg \left(t \leq 1.2 \cdot 10^{-80}\right):\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \frac{b \cdot 0.6666666666666666}{t}}}\\ \end{array} \]

1. Split input into 3 regimes

2. if (-.f64 b c) < -2e9

   1. Initial program 91.1%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 75.8%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg75.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in75.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative75.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in75.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-175.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval75.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative75.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-175.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg75.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified75.8%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

   5. Taylor expanded in a around 0 70.0%

      \[\leadsto \color{blue}{\frac{x}{e^{-1.6666666666666667 \cdot \left(b - c\right)} \cdot y + x}} \]

   6. Taylor expanded in x around 0 70.0%

      \[\leadsto \color{blue}{\frac{x}{e^{-1.6666666666666667 \cdot \left(b - c\right)} \cdot y}} \]

   if -2e9 < (-.f64 b c) < -4.00000000000000016e-156

   1. Initial program 99.9%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in a around inf 63.1%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(a \cdot \left(c - b\right)\right)}}} \]

   3. Taylor expanded in c around 0 66.4%

      \[\leadsto \color{blue}{\frac{x}{y \cdot e^{-2 \cdot \left(a \cdot b\right)} + x}} \]

   if -4.00000000000000016e-156 < (-.f64 b c)

   1. Initial program 97.6%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 74.1%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg74.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in74.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative74.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in74.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-174.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval74.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative74.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-174.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg74.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified74.1%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

   5. Taylor expanded in x around inf 71.1%

      \[\leadsto \color{blue}{1} \]
3. Recombined 3 regimes into one program.

4. Final simplification70.1%

   \[\leadsto \begin{array}{l} \mathbf{if}\;b - c \leq -2000000000:\\ \;\;\;\;\frac{x}{y \cdot e^{\left(b - c\right) \cdot -1.6666666666666667}}\\ \mathbf{elif}\;b - c \leq -4 \cdot 10^{-156}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{-2 \cdot \left(b \cdot a\right)}}\\ \mathbf{else}:\\ \;\;\;\;1\\ \end{array} \]

1. Split input into 3 regimes

2. if t < -6.4999999999999999e-308

   1. Initial program 91.5%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in a around inf 79.6%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(a \cdot \left(c - b\right)\right)}}} \]

   if -6.4999999999999999e-308 < t < 5.6000000000000001e-65

   1. Initial program 96.6%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around 0 78.2%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\frac{\sqrt{a} \cdot z - -0.6666666666666666 \cdot \left(b - c\right)}{t}}}} \]

   3. Taylor expanded in b around inf 68.9%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \frac{\color{blue}{0.6666666666666666 \cdot b}}{t}}} \]
   4. Step-by-step derivation

      1. *-commutative68.9%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \frac{\color{blue}{b \cdot 0.6666666666666666}}{t}}} \]

   5. Simplified68.9%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \frac{\color{blue}{b \cdot 0.6666666666666666}}{t}}} \]

   if 5.6000000000000001e-65 < t

   1. Initial program 96.9%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 89.7%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg89.7%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in89.7%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative89.7%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in89.7%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-189.7%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval89.7%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative89.7%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-189.7%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg89.7%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified89.7%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

   5. Taylor expanded in a around 0 79.0%

      \[\leadsto \color{blue}{\frac{x}{e^{-1.6666666666666667 \cdot \left(b - c\right)} \cdot y + x}} \]
3. Recombined 3 regimes into one program.

4. Final simplification76.8%

   \[\leadsto \begin{array}{l} \mathbf{if}\;t \leq -6.5 \cdot 10^{-308}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(a \cdot \left(c - b\right)\right)}}\\ \mathbf{elif}\;t \leq 5.6 \cdot 10^{-65}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \frac{b \cdot 0.6666666666666666}{t}}}\\ \mathbf{else}:\\ \;\;\;\;\frac{x}{x + y \cdot e^{\left(b - c\right) \cdot -1.6666666666666667}}\\ \end{array} \]

1. Split input into 2 regimes

2. if t < -3.1000000000000002e-295 or 4.99999999999999979e-104 < t

   1. Initial program 96.1%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 86.5%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg86.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in86.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative86.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in86.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-186.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval86.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative86.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-186.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg86.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified86.5%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

   5. Taylor expanded in a around 0 77.5%

      \[\leadsto \color{blue}{\frac{x}{e^{-1.6666666666666667 \cdot \left(b - c\right)} \cdot y + x}} \]

   if -3.1000000000000002e-295 < t < 4.99999999999999979e-104

   1. Initial program 92.5%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 25.2%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg25.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in25.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative25.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in25.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-125.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval25.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative25.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-125.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg25.2%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified25.2%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

   5. Taylor expanded in x around inf 58.0%

      \[\leadsto \color{blue}{1} \]
3. Recombined 2 regimes into one program.

4. Final simplification73.4%

   \[\leadsto \begin{array}{l} \mathbf{if}\;t \leq -3.1 \cdot 10^{-295} \lor \neg \left(t \leq 5 \cdot 10^{-104}\right):\\ \;\;\;\;\frac{x}{x + y \cdot e^{\left(b - c\right) \cdot -1.6666666666666667}}\\ \mathbf{else}:\\ \;\;\;\;1\\ \end{array} \]

1. Split input into 3 regimes

2. if c < 3.15e-102 or 4.8000000000000004e-43 < c < 10

   1. Initial program 96.5%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 72.5%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg72.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in72.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative72.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in72.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-172.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval72.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative72.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-172.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg72.5%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified72.5%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

   5. Taylor expanded in x around inf 63.8%

      \[\leadsto \color{blue}{1} \]

   if 3.15e-102 < c < 4.8000000000000004e-43

   1. Initial program 100.0%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in a around inf 56.7%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(a \cdot \left(c - b\right)\right)}}} \]

   3. Taylor expanded in a around 0 56.7%

      \[\leadsto \color{blue}{\frac{x}{y + x}} \]

   if 10 < c

   1. Initial program 91.6%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 80.9%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg80.9%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in80.9%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative80.9%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in80.9%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-180.9%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval80.9%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative80.9%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-180.9%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg80.9%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified80.9%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

   5. Taylor expanded in a around 0 72.7%

      \[\leadsto \color{blue}{\frac{x}{e^{-1.6666666666666667 \cdot \left(b - c\right)} \cdot y + x}} \]

   6. Taylor expanded in x around 0 68.5%

      \[\leadsto \color{blue}{\frac{x}{e^{-1.6666666666666667 \cdot \left(b - c\right)} \cdot y}} \]

   7. Taylor expanded in b around 0 72.7%

      \[\leadsto \color{blue}{\frac{x}{e^{1.6666666666666667 \cdot c} \cdot y}} \]
3. Recombined 3 regimes into one program.

4. Final simplification65.8%

   \[\leadsto \begin{array}{l} \mathbf{if}\;c \leq 3.15 \cdot 10^{-102}:\\ \;\;\;\;1\\ \mathbf{elif}\;c \leq 4.8 \cdot 10^{-43}:\\ \;\;\;\;\frac{x}{x + y}\\ \mathbf{elif}\;c \leq 10:\\ \;\;\;\;1\\ \mathbf{else}:\\ \;\;\;\;\frac{x}{y \cdot e^{c \cdot 1.6666666666666667}}\\ \end{array} \]

1. Split input into 3 regimes

2. if (-.f64 b c) < -2e9

   1. Initial program 91.1%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 75.8%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg75.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in75.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative75.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in75.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-175.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval75.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative75.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-175.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg75.8%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified75.8%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

   5. Taylor expanded in a around 0 70.0%

      \[\leadsto \color{blue}{\frac{x}{e^{-1.6666666666666667 \cdot \left(b - c\right)} \cdot y + x}} \]

   6. Taylor expanded in x around 0 70.0%

      \[\leadsto \color{blue}{\frac{x}{e^{-1.6666666666666667 \cdot \left(b - c\right)} \cdot y}} \]

   if -2e9 < (-.f64 b c) < -4.00000000000000016e-156

   1. Initial program 99.9%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in b around inf 69.1%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(0.6666666666666666 \cdot \frac{1}{t} - \left(0.8333333333333334 + a\right)\right) \cdot b\right)}}} \]
   3. Step-by-step derivation

      1. *-commutative69.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(b \cdot \left(0.6666666666666666 \cdot \frac{1}{t} - \left(0.8333333333333334 + a\right)\right)\right)}}} \]

      2. sub-neg69.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \color{blue}{\left(0.6666666666666666 \cdot \frac{1}{t} + \left(-\left(0.8333333333333334 + a\right)\right)\right)}\right)}} \]

      3. associate-*r/69.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\color{blue}{\frac{0.6666666666666666 \cdot 1}{t}} + \left(-\left(0.8333333333333334 + a\right)\right)\right)\right)}} \]

      4. metadata-eval69.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{\color{blue}{0.6666666666666666}}{t} + \left(-\left(0.8333333333333334 + a\right)\right)\right)\right)}} \]

      5. distribute-neg-in69.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{0.6666666666666666}{t} + \color{blue}{\left(\left(-0.8333333333333334\right) + \left(-a\right)\right)}\right)\right)}} \]

      6. metadata-eval69.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{0.6666666666666666}{t} + \left(\color{blue}{-0.8333333333333334} + \left(-a\right)\right)\right)\right)}} \]

      7. sub-neg69.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{0.6666666666666666}{t} + \color{blue}{\left(-0.8333333333333334 - a\right)}\right)\right)}} \]

   4. Simplified69.1%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(b \cdot \left(\frac{0.6666666666666666}{t} + \left(-0.8333333333333334 - a\right)\right)\right)}}} \]

   5. Taylor expanded in b around 0 44.6%

      \[\leadsto \frac{x}{x + \color{blue}{\left(y + 2 \cdot \left(\left(0.6666666666666666 \cdot \frac{1}{t} - \left(0.8333333333333334 + a\right)\right) \cdot \left(y \cdot b\right)\right)\right)}} \]
   6. Step-by-step derivation

      1. associate--r+44.6%

         \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\color{blue}{\left(\left(0.6666666666666666 \cdot \frac{1}{t} - 0.8333333333333334\right) - a\right)} \cdot \left(y \cdot b\right)\right)\right)} \]

      2. sub-neg44.6%

         \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\color{blue}{\left(0.6666666666666666 \cdot \frac{1}{t} + \left(-0.8333333333333334\right)\right)} - a\right) \cdot \left(y \cdot b\right)\right)\right)} \]

      3. associate-*r/44.6%

         \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\left(\color{blue}{\frac{0.6666666666666666 \cdot 1}{t}} + \left(-0.8333333333333334\right)\right) - a\right) \cdot \left(y \cdot b\right)\right)\right)} \]

      4. metadata-eval44.6%

         \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\left(\frac{\color{blue}{0.6666666666666666}}{t} + \left(-0.8333333333333334\right)\right) - a\right) \cdot \left(y \cdot b\right)\right)\right)} \]

      5. metadata-eval44.6%

         \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\left(\frac{0.6666666666666666}{t} + \color{blue}{-0.8333333333333334}\right) - a\right) \cdot \left(y \cdot b\right)\right)\right)} \]

      6. associate--l+44.6%

         \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\color{blue}{\left(\frac{0.6666666666666666}{t} + \left(-0.8333333333333334 - a\right)\right)} \cdot \left(y \cdot b\right)\right)\right)} \]

      7. *-commutative44.6%

         \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\frac{0.6666666666666666}{t} + \left(-0.8333333333333334 - a\right)\right) \cdot \color{blue}{\left(b \cdot y\right)}\right)\right)} \]

   7. Simplified44.6%

      \[\leadsto \frac{x}{x + \color{blue}{\left(y + 2 \cdot \left(\left(\frac{0.6666666666666666}{t} + \left(-0.8333333333333334 - a\right)\right) \cdot \left(b \cdot y\right)\right)\right)}} \]
   8. Step-by-step derivation

      1. flip--64.2%

         \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\frac{0.6666666666666666}{t} + \color{blue}{\frac{-0.8333333333333334 \cdot -0.8333333333333334 - a \cdot a}{-0.8333333333333334 + a}}\right) \cdot \left(b \cdot y\right)\right)\right)} \]

      2. metadata-eval64.2%

         \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\frac{0.6666666666666666}{t} + \frac{\color{blue}{0.6944444444444444} - a \cdot a}{-0.8333333333333334 + a}\right) \cdot \left(b \cdot y\right)\right)\right)} \]

   9. Applied egg-rr64.2%

      \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\frac{0.6666666666666666}{t} + \color{blue}{\frac{0.6944444444444444 - a \cdot a}{-0.8333333333333334 + a}}\right) \cdot \left(b \cdot y\right)\right)\right)} \]
   10. Step-by-step derivation

       1. +-commutative64.2%

          \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\frac{0.6666666666666666}{t} + \frac{0.6944444444444444 - a \cdot a}{\color{blue}{a + -0.8333333333333334}}\right) \cdot \left(b \cdot y\right)\right)\right)} \]

   11. Simplified64.2%

       \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\frac{0.6666666666666666}{t} + \color{blue}{\frac{0.6944444444444444 - a \cdot a}{a + -0.8333333333333334}}\right) \cdot \left(b \cdot y\right)\right)\right)} \]

   if -4.00000000000000016e-156 < (-.f64 b c)

   1. Initial program 97.6%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 74.1%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg74.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in74.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative74.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in74.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-174.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval74.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative74.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-174.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg74.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified74.1%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

   5. Taylor expanded in x around inf 71.1%

      \[\leadsto \color{blue}{1} \]
3. Recombined 3 regimes into one program.

4. Final simplification69.9%

   \[\leadsto \begin{array}{l} \mathbf{if}\;b - c \leq -2000000000:\\ \;\;\;\;\frac{x}{y \cdot e^{\left(b - c\right) \cdot -1.6666666666666667}}\\ \mathbf{elif}\;b - c \leq -4 \cdot 10^{-156}:\\ \;\;\;\;\frac{x}{x + \left(y + 2 \cdot \left(\left(\frac{0.6666666666666666}{t} + \frac{0.6944444444444444 - a \cdot a}{-0.8333333333333334 + a}\right) \cdot \left(y \cdot b\right)\right)\right)}\\ \mathbf{else}:\\ \;\;\;\;1\\ \end{array} \]

1. Split input into 4 regimes

2. if b < -4e7

   1. Initial program 86.1%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 67.1%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg67.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in67.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative67.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in67.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-167.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval67.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative67.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-167.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg67.1%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified67.1%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

   5. Taylor expanded in a around 0 65.1%

      \[\leadsto \color{blue}{\frac{x}{e^{-1.6666666666666667 \cdot \left(b - c\right)} \cdot y + x}} \]

   6. Taylor expanded in x around 0 57.3%

      \[\leadsto \color{blue}{\frac{x}{e^{-1.6666666666666667 \cdot \left(b - c\right)} \cdot y}} \]

   7. Taylor expanded in b around inf 59.3%

      \[\leadsto \frac{x}{e^{\color{blue}{-1.6666666666666667 \cdot b}} \cdot y} \]

   if -4e7 < b < -1.10000000000000003e-58

   1. Initial program 99.9%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in b around inf 71.7%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(0.6666666666666666 \cdot \frac{1}{t} - \left(0.8333333333333334 + a\right)\right) \cdot b\right)}}} \]
   3. Step-by-step derivation

      1. *-commutative71.7%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(b \cdot \left(0.6666666666666666 \cdot \frac{1}{t} - \left(0.8333333333333334 + a\right)\right)\right)}}} \]

      2. sub-neg71.7%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \color{blue}{\left(0.6666666666666666 \cdot \frac{1}{t} + \left(-\left(0.8333333333333334 + a\right)\right)\right)}\right)}} \]

      3. associate-*r/71.7%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\color{blue}{\frac{0.6666666666666666 \cdot 1}{t}} + \left(-\left(0.8333333333333334 + a\right)\right)\right)\right)}} \]

      4. metadata-eval71.7%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{\color{blue}{0.6666666666666666}}{t} + \left(-\left(0.8333333333333334 + a\right)\right)\right)\right)}} \]

      5. distribute-neg-in71.7%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{0.6666666666666666}{t} + \color{blue}{\left(\left(-0.8333333333333334\right) + \left(-a\right)\right)}\right)\right)}} \]

      6. metadata-eval71.7%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{0.6666666666666666}{t} + \left(\color{blue}{-0.8333333333333334} + \left(-a\right)\right)\right)\right)}} \]

      7. sub-neg71.7%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\frac{0.6666666666666666}{t} + \color{blue}{\left(-0.8333333333333334 - a\right)}\right)\right)}} \]

   4. Simplified71.7%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(b \cdot \left(\frac{0.6666666666666666}{t} + \left(-0.8333333333333334 - a\right)\right)\right)}}} \]

   5. Taylor expanded in b around 0 37.9%

      \[\leadsto \frac{x}{x + \color{blue}{\left(y + 2 \cdot \left(\left(0.6666666666666666 \cdot \frac{1}{t} - \left(0.8333333333333334 + a\right)\right) \cdot \left(y \cdot b\right)\right)\right)}} \]
   6. Step-by-step derivation

      1. associate--r+37.9%

         \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\color{blue}{\left(\left(0.6666666666666666 \cdot \frac{1}{t} - 0.8333333333333334\right) - a\right)} \cdot \left(y \cdot b\right)\right)\right)} \]

      2. sub-neg37.9%

         \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\color{blue}{\left(0.6666666666666666 \cdot \frac{1}{t} + \left(-0.8333333333333334\right)\right)} - a\right) \cdot \left(y \cdot b\right)\right)\right)} \]

      3. associate-*r/37.9%

         \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\left(\color{blue}{\frac{0.6666666666666666 \cdot 1}{t}} + \left(-0.8333333333333334\right)\right) - a\right) \cdot \left(y \cdot b\right)\right)\right)} \]

      4. metadata-eval37.9%

         \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\left(\frac{\color{blue}{0.6666666666666666}}{t} + \left(-0.8333333333333334\right)\right) - a\right) \cdot \left(y \cdot b\right)\right)\right)} \]

      5. metadata-eval37.9%

         \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\left(\frac{0.6666666666666666}{t} + \color{blue}{-0.8333333333333334}\right) - a\right) \cdot \left(y \cdot b\right)\right)\right)} \]

      6. associate--l+37.9%

         \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\color{blue}{\left(\frac{0.6666666666666666}{t} + \left(-0.8333333333333334 - a\right)\right)} \cdot \left(y \cdot b\right)\right)\right)} \]

      7. *-commutative37.9%

         \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\frac{0.6666666666666666}{t} + \left(-0.8333333333333334 - a\right)\right) \cdot \color{blue}{\left(b \cdot y\right)}\right)\right)} \]

   7. Simplified37.9%

      \[\leadsto \frac{x}{x + \color{blue}{\left(y + 2 \cdot \left(\left(\frac{0.6666666666666666}{t} + \left(-0.8333333333333334 - a\right)\right) \cdot \left(b \cdot y\right)\right)\right)}} \]
   8. Step-by-step derivation

      1. flip--60.2%

         \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\frac{0.6666666666666666}{t} + \color{blue}{\frac{-0.8333333333333334 \cdot -0.8333333333333334 - a \cdot a}{-0.8333333333333334 + a}}\right) \cdot \left(b \cdot y\right)\right)\right)} \]

      2. metadata-eval60.2%

         \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\frac{0.6666666666666666}{t} + \frac{\color{blue}{0.6944444444444444} - a \cdot a}{-0.8333333333333334 + a}\right) \cdot \left(b \cdot y\right)\right)\right)} \]

   9. Applied egg-rr60.2%

      \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\frac{0.6666666666666666}{t} + \color{blue}{\frac{0.6944444444444444 - a \cdot a}{-0.8333333333333334 + a}}\right) \cdot \left(b \cdot y\right)\right)\right)} \]
   10. Step-by-step derivation

       1. +-commutative60.2%

          \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\frac{0.6666666666666666}{t} + \frac{0.6944444444444444 - a \cdot a}{\color{blue}{a + -0.8333333333333334}}\right) \cdot \left(b \cdot y\right)\right)\right)} \]

   11. Simplified60.2%

       \[\leadsto \frac{x}{x + \left(y + 2 \cdot \left(\left(\frac{0.6666666666666666}{t} + \color{blue}{\frac{0.6944444444444444 - a \cdot a}{a + -0.8333333333333334}}\right) \cdot \left(b \cdot y\right)\right)\right)} \]

   if -1.10000000000000003e-58 < b < -1.13999999999999998e-274 or 4.9999999999999998e-144 < b

   1. Initial program 96.5%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 75.9%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg75.9%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in75.9%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative75.9%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in75.9%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-175.9%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval75.9%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative75.9%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-175.9%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg75.9%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified75.9%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

   5. Taylor expanded in x around inf 60.1%

      \[\leadsto \color{blue}{1} \]

   if -1.13999999999999998e-274 < b < 4.9999999999999998e-144

   1. Initial program 100.0%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in a around inf 69.2%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(a \cdot \left(c - b\right)\right)}}} \]

   3. Taylor expanded in a around 0 63.2%

      \[\leadsto \frac{x}{x + y \cdot \color{blue}{\left(1 + 2 \cdot \left(a \cdot \left(c - b\right)\right)\right)}} \]
3. Recombined 4 regimes into one program.

4. Final simplification60.5%

   \[\leadsto \begin{array}{l} \mathbf{if}\;b \leq -40000000:\\ \;\;\;\;\frac{x}{y \cdot e^{b \cdot -1.6666666666666667}}\\ \mathbf{elif}\;b \leq -1.1 \cdot 10^{-58}:\\ \;\;\;\;\frac{x}{x + \left(y + 2 \cdot \left(\left(\frac{0.6666666666666666}{t} + \frac{0.6944444444444444 - a \cdot a}{-0.8333333333333334 + a}\right) \cdot \left(y \cdot b\right)\right)\right)}\\ \mathbf{elif}\;b \leq -1.14 \cdot 10^{-274}:\\ \;\;\;\;1\\ \mathbf{elif}\;b \leq 5 \cdot 10^{-144}:\\ \;\;\;\;\frac{x}{x + y \cdot \left(2 \cdot \left(a \cdot \left(c - b\right)\right) + 1\right)}\\ \mathbf{else}:\\ \;\;\;\;1\\ \end{array} \]

1. Split input into 3 regimes

2. if c < 2.05000000000000013e-101 or 6.6999999999999998e-40 < c < 1.05000000000000004e70

   1. Initial program 96.2%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in t around inf 73.4%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
   3. Step-by-step derivation

      1. mul-1-neg73.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

      2. distribute-rgt-neg-in73.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

      3. +-commutative73.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

      4. distribute-neg-in73.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

      5. neg-mul-173.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

      6. metadata-eval73.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

      7. +-commutative73.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

      8. neg-mul-173.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

      9. sub-neg73.4%

         \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

   4. Simplified73.4%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

   5. Taylor expanded in x around inf 62.1%

      \[\leadsto \color{blue}{1} \]

   if 2.05000000000000013e-101 < c < 6.6999999999999998e-40

   1. Initial program 100.0%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in a around inf 56.7%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(a \cdot \left(c - b\right)\right)}}} \]

   3. Taylor expanded in a around 0 56.7%

      \[\leadsto \color{blue}{\frac{x}{y + x}} \]

   if 1.05000000000000004e70 < c

   1. Initial program 91.5%

      \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

   2. Taylor expanded in a around inf 71.7%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(a \cdot \left(c - b\right)\right)}}} \]

   3. Taylor expanded in a around 0 48.8%

      \[\leadsto \frac{x}{x + y \cdot \color{blue}{\left(1 + 2 \cdot \left(a \cdot \left(c - b\right)\right)\right)}} \]
3. Recombined 3 regimes into one program.

4. Final simplification58.8%

   \[\leadsto \begin{array}{l} \mathbf{if}\;c \leq 2.05 \cdot 10^{-101}:\\ \;\;\;\;1\\ \mathbf{elif}\;c \leq 6.7 \cdot 10^{-40}:\\ \;\;\;\;\frac{x}{x + y}\\ \mathbf{elif}\;c \leq 1.05 \cdot 10^{+70}:\\ \;\;\;\;1\\ \mathbf{else}:\\ \;\;\;\;\frac{x}{x + y \cdot \left(2 \cdot \left(a \cdot \left(c - b\right)\right) + 1\right)}\\ \end{array} \]

1. Initial program 95.3%

   \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} \]

2. Taylor expanded in t around inf 73.8%

   \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-1 \cdot \left(\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)\right)}}} \]
3. Step-by-step derivation

   1. mul-1-neg73.8%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(-\left(b - c\right) \cdot \left(0.8333333333333334 + a\right)\right)}}} \]

   2. distribute-rgt-neg-in73.8%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-\left(0.8333333333333334 + a\right)\right)\right)}}} \]

   3. +-commutative73.8%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-\color{blue}{\left(a + 0.8333333333333334\right)}\right)\right)}} \]

   4. distribute-neg-in73.8%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(\left(-a\right) + \left(-0.8333333333333334\right)\right)}\right)}} \]

   5. neg-mul-173.8%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(\color{blue}{-1 \cdot a} + \left(-0.8333333333333334\right)\right)\right)}} \]

   6. metadata-eval73.8%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-1 \cdot a + \color{blue}{-0.8333333333333334}\right)\right)}} \]

   7. +-commutative73.8%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 + -1 \cdot a\right)}\right)}} \]

   8. neg-mul-173.8%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 + \color{blue}{\left(-a\right)}\right)\right)}} \]

   9. sub-neg73.8%

      \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \color{blue}{\left(-0.8333333333333334 - a\right)}\right)}} \]

4. Simplified73.8%

   \[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}} \]

5. Taylor expanded in x around inf 52.1%

   \[\leadsto \color{blue}{1} \]

6. Final simplification52.1%

   \[\leadsto 1 \]

herbie shell --seed 2023167 
(FPCore (x y z t a b c)
  :name "Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, I"
  :precision binary64

  :herbie-target
  (if (< t -2.118326644891581e-50) (/ x (+ x (* y (exp (* 2.0 (- (+ (* a c) (* 0.8333333333333334 c)) (* a b))))))) (if (< t 5.196588770651547e-123) (/ x (+ x (* y (exp (* 2.0 (/ (- (* (* z (sqrt (+ t a))) (* (* 3.0 t) (- a (/ 5.0 6.0)))) (* (- (* (+ (/ 5.0 6.0) a) (* 3.0 t)) 2.0) (* (- a (/ 5.0 6.0)) (* (- b c) t)))) (* (* (* t t) 3.0) (- a (/ 5.0 6.0))))))))) (/ x (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))))))))

  (/ x (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))))))