Initial program 28.5
\[\frac{\left(-b\right) + \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}{2 \cdot a}\]
- Using strategy
rm Applied flip-+28.5
\[\leadsto \frac{\color{blue}{\frac{\left(-b\right) \cdot \left(-b\right) - \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c} \cdot \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}{\left(-b\right) - \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}}}{2 \cdot a}\]
Applied simplify0.4
\[\leadsto \frac{\frac{\color{blue}{c \cdot \left(a \cdot 4\right)}}{\left(-b\right) - \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}}{2 \cdot a}\]
- Using strategy
rm Applied div-inv0.5
\[\leadsto \frac{\color{blue}{\left(c \cdot \left(a \cdot 4\right)\right) \cdot \frac{1}{\left(-b\right) - \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}}}{2 \cdot a}\]
Applied times-frac0.5
\[\leadsto \color{blue}{\frac{c \cdot \left(a \cdot 4\right)}{2} \cdot \frac{\frac{1}{\left(-b\right) - \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}}{a}}\]
- Using strategy
rm Applied pow10.5
\[\leadsto \frac{c \cdot \left(a \cdot 4\right)}{2} \cdot \color{blue}{{\left(\frac{\frac{1}{\left(-b\right) - \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}}{a}\right)}^{1}}\]
Applied pow10.5
\[\leadsto \color{blue}{{\left(\frac{c \cdot \left(a \cdot 4\right)}{2}\right)}^{1}} \cdot {\left(\frac{\frac{1}{\left(-b\right) - \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}}{a}\right)}^{1}\]
Applied pow-prod-down0.5
\[\leadsto \color{blue}{{\left(\frac{c \cdot \left(a \cdot 4\right)}{2} \cdot \frac{\frac{1}{\left(-b\right) - \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}}{a}\right)}^{1}}\]
Applied simplify0.4
\[\leadsto {\color{blue}{\left(\frac{\frac{4 \cdot a}{a \cdot \frac{2}{c}}}{\left(-b\right) - \sqrt{(\left(4 \cdot a\right) \cdot \left(-c\right) + \left(b \cdot b\right))_*}}\right)}}^{1}\]
