Initial program 28.6
\[\frac{\left(-b\right) + \sqrt{b \cdot b - \left(3 \cdot a\right) \cdot c}}{3 \cdot a}\]
Applied simplify28.6
\[\leadsto \color{blue}{\frac{\sqrt{(\left(3 \cdot a\right) \cdot \left(-c\right) + \left(b \cdot b\right))_*} - b}{3 \cdot a}}\]
- Using strategy
rm Applied flip--28.6
\[\leadsto \frac{\color{blue}{\frac{\sqrt{(\left(3 \cdot a\right) \cdot \left(-c\right) + \left(b \cdot b\right))_*} \cdot \sqrt{(\left(3 \cdot a\right) \cdot \left(-c\right) + \left(b \cdot b\right))_*} - b \cdot b}{\sqrt{(\left(3 \cdot a\right) \cdot \left(-c\right) + \left(b \cdot b\right))_*} + b}}}{3 \cdot a}\]
Applied simplify0.6
\[\leadsto \frac{\frac{\color{blue}{\left(c \cdot a\right) \cdot \left(-3\right)}}{\sqrt{(\left(3 \cdot a\right) \cdot \left(-c\right) + \left(b \cdot b\right))_*} + b}}{3 \cdot a}\]
- Using strategy
rm Applied associate-/r*0.6
\[\leadsto \color{blue}{\frac{\frac{\frac{\left(c \cdot a\right) \cdot \left(-3\right)}{\sqrt{(\left(3 \cdot a\right) \cdot \left(-c\right) + \left(b \cdot b\right))_*} + b}}{3}}{a}}\]
Applied simplify0.5
\[\leadsto \frac{\color{blue}{\frac{\frac{-c}{1} \cdot a}{\sqrt{(\left(-c\right) \cdot \left(3 \cdot a\right) + \left(b \cdot b\right))_*} + b}}}{a}\]
- Using strategy
rm Applied *-un-lft-identity0.5
\[\leadsto \frac{\frac{\frac{-c}{1} \cdot a}{\color{blue}{1 \cdot \left(\sqrt{(\left(-c\right) \cdot \left(3 \cdot a\right) + \left(b \cdot b\right))_*} + b\right)}}}{a}\]
Applied times-frac0.5
\[\leadsto \frac{\color{blue}{\frac{\frac{-c}{1}}{1} \cdot \frac{a}{\sqrt{(\left(-c\right) \cdot \left(3 \cdot a\right) + \left(b \cdot b\right))_*} + b}}}{a}\]
Applied simplify0.5
\[\leadsto \frac{\color{blue}{\left(-c\right)} \cdot \frac{a}{\sqrt{(\left(-c\right) \cdot \left(3 \cdot a\right) + \left(b \cdot b\right))_*} + b}}{a}\]
