if b/2 < -7.815386559610909e-127

1. Started with
   \[\frac{\left(-b/2\right) - \sqrt{{b/2}^2 - a \cdot c}}{a}\]
   58.5
2. Using strategy rm
   58.5
3. Applied div-sub to get
   \[\color{red}{\frac{\left(-b/2\right) - \sqrt{{b/2}^2 - a \cdot c}}{a}} \leadsto \color{blue}{\frac{-b/2}{a} - \frac{\sqrt{{b/2}^2 - a \cdot c}}{a}}\]
   59.1
4. Using strategy rm
   59.1
5. Applied flip-- to get
   \[\color{red}{\frac{-b/2}{a} - \frac{\sqrt{{b/2}^2 - a \cdot c}}{a}} \leadsto \color{blue}{\frac{{\left(\frac{-b/2}{a}\right)}^2 - {\left(\frac{\sqrt{{b/2}^2 - a \cdot c}}{a}\right)}^2}{\frac{-b/2}{a} + \frac{\sqrt{{b/2}^2 - a \cdot c}}{a}}}\]
   60.2
6. Applied simplify to get
   \[\frac{\color{red}{{\left(\frac{-b/2}{a}\right)}^2 - {\left(\frac{\sqrt{{b/2}^2 - a \cdot c}}{a}\right)}^2}}{\frac{-b/2}{a} + \frac{\sqrt{{b/2}^2 - a \cdot c}}{a}} \leadsto \frac{\color{blue}{\left({\left(\frac{b/2}{a}\right)}^2 - {\left(\frac{b/2}{a}\right)}^2\right) + \frac{\frac{c}{1}}{a}}}{\frac{-b/2}{a} + \frac{\sqrt{{b/2}^2 - a \cdot c}}{a}}\]
   49.2
7. Applied taylor to get
   \[\frac{\left({\left(\frac{b/2}{a}\right)}^2 - {\left(\frac{b/2}{a}\right)}^2\right) + \frac{\frac{c}{1}}{a}}{\frac{-b/2}{a} + \frac{\sqrt{{b/2}^2 - a \cdot c}}{a}} \leadsto \frac{\left({\left(\frac{b/2}{a}\right)}^2 - {\left(\frac{b/2}{a}\right)}^2\right) + \frac{\frac{c}{1}}{a}}{-2 \cdot \frac{b/2}{a}}\]
   31.0
8. Taylor expanded around -inf to get
   \[\frac{\left({\left(\frac{b/2}{a}\right)}^2 - {\left(\frac{b/2}{a}\right)}^2\right) + \frac{\frac{c}{1}}{a}}{\color{red}{-2 \cdot \frac{b/2}{a}}} \leadsto \frac{\left({\left(\frac{b/2}{a}\right)}^2 - {\left(\frac{b/2}{a}\right)}^2\right) + \frac{\frac{c}{1}}{a}}{\color{blue}{-2 \cdot \frac{b/2}{a}}}\]
   31.0
9. Applied simplify to get
   \[\frac{\left({\left(\frac{b/2}{a}\right)}^2 - {\left(\frac{b/2}{a}\right)}^2\right) + \frac{\frac{c}{1}}{a}}{-2 \cdot \frac{b/2}{a}} \leadsto \frac{\frac{\frac{c}{a}}{-2}}{\frac{b/2}{a}}\]
   15.8

---

10. Applied final simplification
11. Applied simplify to get
    \[\color{red}{\frac{\frac{\frac{c}{a}}{-2}}{\frac{b/2}{a}}} \leadsto \color{blue}{\frac{\frac{c}{-2}}{b/2}}\]
    0.0

if -7.815386559610909e-127 < b/2 < 2.993431952201985e+83

1. Started with
   \[\frac{\left(-b/2\right) - \sqrt{{b/2}^2 - a \cdot c}}{a}\]
   11.8
2. Using strategy rm
   11.8
3. Applied div-sub to get
   \[\color{red}{\frac{\left(-b/2\right) - \sqrt{{b/2}^2 - a \cdot c}}{a}} \leadsto \color{blue}{\frac{-b/2}{a} - \frac{\sqrt{{b/2}^2 - a \cdot c}}{a}}\]
   11.8

if 2.993431952201985e+83 < b/2

1. Started with
   \[\frac{\left(-b/2\right) - \sqrt{{b/2}^2 - a \cdot c}}{a}\]
   44.2
2. Using strategy rm
   44.2
3. Applied div-sub to get
   \[\color{red}{\frac{\left(-b/2\right) - \sqrt{{b/2}^2 - a \cdot c}}{a}} \leadsto \color{blue}{\frac{-b/2}{a} - \frac{\sqrt{{b/2}^2 - a \cdot c}}{a}}\]
   44.2
4. Applied taylor to get
   \[\frac{-b/2}{a} - \frac{\sqrt{{b/2}^2 - a \cdot c}}{a} \leadsto \frac{-b/2}{a} - \frac{b/2 - \frac{1}{2} \cdot \frac{c \cdot a}{b/2}}{a}\]
   10.1
5. Taylor expanded around inf to get
   \[\frac{-b/2}{a} - \frac{\color{red}{b/2 - \frac{1}{2} \cdot \frac{c \cdot a}{b/2}}}{a} \leadsto \frac{-b/2}{a} - \frac{\color{blue}{b/2 - \frac{1}{2} \cdot \frac{c \cdot a}{b/2}}}{a}\]
   10.1
6. Applied simplify to get
   \[\color{red}{\frac{-b/2}{a} - \frac{b/2 - \frac{1}{2} \cdot \frac{c \cdot a}{b/2}}{a}} \leadsto \color{blue}{\left(\left(-\frac{b/2}{a}\right) - \frac{b/2}{a}\right) + \frac{1}{2} \cdot \frac{c}{b/2}}\]
   0.0