Initial program 28.8
\[\frac{\left(-b\right) + \sqrt{b \cdot b - \left(3 \cdot a\right) \cdot c}}{3 \cdot a}\]
- Using strategy
rm Applied add-log-exp40.7
\[\leadsto \frac{\left(-b\right) + \sqrt{b \cdot b - \color{blue}{\log \left(e^{\left(3 \cdot a\right) \cdot c}\right)}}}{3 \cdot a}\]
- Using strategy
rm Applied flip--40.7
\[\leadsto \frac{\left(-b\right) + \sqrt{\color{blue}{\frac{\left(b \cdot b\right) \cdot \left(b \cdot b\right) - \log \left(e^{\left(3 \cdot a\right) \cdot c}\right) \cdot \log \left(e^{\left(3 \cdot a\right) \cdot c}\right)}{b \cdot b + \log \left(e^{\left(3 \cdot a\right) \cdot c}\right)}}}}{3 \cdot a}\]
Applied sqrt-div40.8
\[\leadsto \frac{\left(-b\right) + \color{blue}{\frac{\sqrt{\left(b \cdot b\right) \cdot \left(b \cdot b\right) - \log \left(e^{\left(3 \cdot a\right) \cdot c}\right) \cdot \log \left(e^{\left(3 \cdot a\right) \cdot c}\right)}}{\sqrt{b \cdot b + \log \left(e^{\left(3 \cdot a\right) \cdot c}\right)}}}}{3 \cdot a}\]
Applied simplify39.1
\[\leadsto \frac{\left(-b\right) + \frac{\color{blue}{\sqrt{\left(b \cdot b - c \cdot \left(3 \cdot a\right)\right) \cdot \left(b \cdot b + c \cdot \left(3 \cdot a\right)\right)}}}{\sqrt{b \cdot b + \log \left(e^{\left(3 \cdot a\right) \cdot c}\right)}}}{3 \cdot a}\]
Applied simplify29.0
\[\leadsto \frac{\left(-b\right) + \frac{\sqrt{\left(b \cdot b - c \cdot \left(3 \cdot a\right)\right) \cdot \left(b \cdot b + c \cdot \left(3 \cdot a\right)\right)}}{\color{blue}{\sqrt{\left(a \cdot c\right) \cdot 3 + b \cdot b}}}}{3 \cdot a}\]
