if b < -2.2913476789857995e+35 or 1.0887108629649695e+34 < b

1. Started with
   \[\begin{cases} \frac{\left(-b\right) - \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}}{2 \cdot a} & \text{when } b \ge 0 \\ \frac{2 \cdot c}{\left(-b\right) + \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}} & \text{otherwise} \end{cases}\]
   32.4
2. Applied taylor to get
   \[\begin{cases} \frac{\left(-b\right) - \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}}{2 \cdot a} & \text{when } b \ge 0 \\ \frac{2 \cdot c}{\left(-b\right) + \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}} & \text{otherwise} \end{cases} \leadsto \begin{cases} \frac{2 \cdot \frac{c \cdot a}{b} - 2 \cdot b}{2 \cdot a} & \text{when } b \ge 0 \\ \frac{2 \cdot c}{\left(-b\right) + \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}} & \text{otherwise} \end{cases}\]
   20.3
3. Taylor expanded around inf to get
   \[\begin{cases} \frac{\color{red}{2 \cdot \frac{c \cdot a}{b} - 2 \cdot b}}{2 \cdot a} & \text{when } b \ge 0 \\ \frac{2 \cdot c}{\left(-b\right) + \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}} & \text{otherwise} \end{cases} \leadsto \begin{cases} \frac{\color{blue}{2 \cdot \frac{c \cdot a}{b} - 2 \cdot b}}{2 \cdot a} & \text{when } b \ge 0 \\ \frac{2 \cdot c}{\left(-b\right) + \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}} & \text{otherwise} \end{cases}\]
   20.3
4. Applied simplify to get
   \[\color{red}{\begin{cases} \frac{2 \cdot \frac{c \cdot a}{b} - 2 \cdot b}{2 \cdot a} & \text{when } b \ge 0 \\ \frac{2 \cdot c}{\left(-b\right) + \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}} & \text{otherwise} \end{cases}} \leadsto \color{blue}{\begin{cases} \frac{\frac{c}{b}}{1} - \frac{b}{a} & \text{when } b \ge 0 \\ \frac{c \cdot 2}{\left(-b\right) + \sqrt{{b}^2 - \left(c \cdot 4\right) \cdot a}} & \text{otherwise} \end{cases}}\]
   16.0
5. Using strategy rm
   16.0
6. Applied clear-num to get
   \[\begin{cases} \frac{\frac{c}{b}}{1} - \frac{b}{a} & \text{when } b \ge 0 \\ \frac{c \cdot 2}{\left(-b\right) + \sqrt{{b}^2 - \left(c \cdot 4\right) \cdot a}} & \text{otherwise} \end{cases} \leadsto \begin{cases} \frac{\frac{c}{b}}{1} - \frac{b}{a} & \text{when } b \ge 0 \\ \frac{1}{\frac{\left(-b\right) + \sqrt{{b}^2 - \left(c \cdot 4\right) \cdot a}}{c \cdot 2}} & \text{otherwise} \end{cases}\]
   16.2
7. Applied taylor to get
   \[\begin{cases} \frac{\frac{c}{b}}{1} - \frac{b}{a} & \text{when } b \ge 0 \\ \frac{1}{\frac{\left(-b\right) + \sqrt{{b}^2 - \left(c \cdot 4\right) \cdot a}}{c \cdot 2}} & \text{otherwise} \end{cases} \leadsto \begin{cases} \frac{\frac{c}{b}}{1} - \frac{b}{a} & \text{when } b \ge 0 \\ -1 \cdot \frac{c}{b} & \text{otherwise} \end{cases}\]
   0.0
8. Taylor expanded around -inf to get
   \[\begin{cases} \frac{\frac{c}{b}}{1} - \frac{b}{a} & \text{when } b \ge 0 \\ -1 \cdot \frac{c}{b} & \text{otherwise} \end{cases} \leadsto \begin{cases} \frac{\frac{c}{b}}{1} - \frac{b}{a} & \text{when } b \ge 0 \\ -1 \cdot \frac{c}{b} & \text{otherwise} \end{cases}\]
   0.0
9. Applied simplify to get
   \[\color{red}{\begin{cases} \frac{\frac{c}{b}}{1} - \frac{b}{a} & \text{when } b \ge 0 \\ -1 \cdot \frac{c}{b} & \text{otherwise} \end{cases}} \leadsto \color{blue}{\begin{cases} \frac{c}{b} - \frac{b}{a} & \text{when } b \ge 0 \\ \frac{-c}{b} & \text{otherwise} \end{cases}}\]
   0.0

if -2.2913476789857995e+35 < b < 5.417404955961187e-289

1. Started with
   \[\begin{cases} \frac{\left(-b\right) - \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}}{2 \cdot a} & \text{when } b \ge 0 \\ \frac{2 \cdot c}{\left(-b\right) + \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}} & \text{otherwise} \end{cases}\]
   10.1
2. Using strategy rm
   10.1
3. Applied add-sqr-sqrt to get
   \[\begin{cases} \frac{\left(-b\right) - \sqrt{{b}^2 - \color{red}{\left(4 \cdot a\right) \cdot c}}}{2 \cdot a} & \text{when } b \ge 0 \\ \frac{2 \cdot c}{\left(-b\right) + \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}} & \text{otherwise} \end{cases} \leadsto \begin{cases} \frac{\left(-b\right) - \sqrt{{b}^2 - \color{blue}{{\left(\sqrt{\left(4 \cdot a\right) \cdot c}\right)}^2}}}{2 \cdot a} & \text{when } b \ge 0 \\ \frac{2 \cdot c}{\left(-b\right) + \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}} & \text{otherwise} \end{cases}\]
   10.1
4. Applied difference-of-squares to get
   \[\begin{cases} \frac{\left(-b\right) - \sqrt{\color{red}{{b}^2 - {\left(\sqrt{\left(4 \cdot a\right) \cdot c}\right)}^2}}}{2 \cdot a} & \text{when } b \ge 0 \\ \frac{2 \cdot c}{\left(-b\right) + \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}} & \text{otherwise} \end{cases} \leadsto \begin{cases} \frac{\left(-b\right) - \sqrt{\color{blue}{\left(b + \sqrt{\left(4 \cdot a\right) \cdot c}\right) \cdot \left(b - \sqrt{\left(4 \cdot a\right) \cdot c}\right)}}}{2 \cdot a} & \text{when } b \ge 0 \\ \frac{2 \cdot c}{\left(-b\right) + \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}} & \text{otherwise} \end{cases}\]
   10.1
5. Applied sqrt-prod to get
   \[\begin{cases} \frac{\left(-b\right) - \color{red}{\sqrt{\left(b + \sqrt{\left(4 \cdot a\right) \cdot c}\right) \cdot \left(b - \sqrt{\left(4 \cdot a\right) \cdot c}\right)}}}{2 \cdot a} & \text{when } b \ge 0 \\ \frac{2 \cdot c}{\left(-b\right) + \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}} & \text{otherwise} \end{cases} \leadsto \begin{cases} \frac{\left(-b\right) - \color{blue}{\sqrt{b + \sqrt{\left(4 \cdot a\right) \cdot c}} \cdot \sqrt{b - \sqrt{\left(4 \cdot a\right) \cdot c}}}}{2 \cdot a} & \text{when } b \ge 0 \\ \frac{2 \cdot c}{\left(-b\right) + \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}} & \text{otherwise} \end{cases}\]
   10.1

if 5.417404955961187e-289 < b < 1.0887108629649695e+34

1. Started with
   \[\begin{cases} \frac{\left(-b\right) - \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}}{2 \cdot a} & \text{when } b \ge 0 \\ \frac{2 \cdot c}{\left(-b\right) + \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}} & \text{otherwise} \end{cases}\]
   9.2
2. Using strategy rm
   9.2
3. Applied flip-+ to get
   \[\begin{cases} \frac{\left(-b\right) - \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}}{2 \cdot a} & \text{when } b \ge 0 \\ \color{red}{\frac{2 \cdot c}{\left(-b\right) + \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}}} & \text{otherwise} \end{cases} \leadsto \begin{cases} \frac{\left(-b\right) - \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}}{2 \cdot a} & \text{when } b \ge 0 \\ \color{blue}{\frac{2 \cdot c}{\frac{{\left(-b\right)}^2 - {\left(\sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}\right)}^2}{\left(-b\right) - \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}}}} & \text{otherwise} \end{cases}\]
   9.2
4. Applied simplify to get
   \[\begin{cases} \frac{\left(-b\right) - \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}}{2 \cdot a} & \text{when } b \ge 0 \\ \frac{\color{red}{2 \cdot c}}{\frac{{\left(-b\right)}^2 - {\left(\sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}\right)}^2}{\left(-b\right) - \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}}} & \text{otherwise} \end{cases} \leadsto \begin{cases} \frac{\left(-b\right) - \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}}{2 \cdot a} & \text{when } b \ge 0 \\ \frac{\color{blue}{2 \cdot c}}{\frac{\left(4 \cdot a\right) \cdot c}{\left(-b\right) - \sqrt{{b}^2 - \left(4 \cdot a\right) \cdot c}}} & \text{otherwise} \end{cases}\]
   9.2