Initial program 0.2
\[\left({\left(a \cdot a + b \cdot b\right)}^{2} + 4 \cdot \left(\left(a \cdot a\right) \cdot \left(1 - a\right) + \left(b \cdot b\right) \cdot \left(3 + a\right)\right)\right) - 1\]
- Using strategy
rm Applied add-sqr-sqrt0.2
\[\leadsto \left({\color{blue}{\left(\sqrt{a \cdot a + b \cdot b} \cdot \sqrt{a \cdot a + b \cdot b}\right)}}^{2} + 4 \cdot \left(\left(a \cdot a\right) \cdot \left(1 - a\right) + \left(b \cdot b\right) \cdot \left(3 + a\right)\right)\right) - 1\]
Applied unpow-prod-down0.2
\[\leadsto \left(\color{blue}{{\left(\sqrt{a \cdot a + b \cdot b}\right)}^{2} \cdot {\left(\sqrt{a \cdot a + b \cdot b}\right)}^{2}} + 4 \cdot \left(\left(a \cdot a\right) \cdot \left(1 - a\right) + \left(b \cdot b\right) \cdot \left(3 + a\right)\right)\right) - 1\]
Applied fma-def0.2
\[\leadsto \color{blue}{(\left({\left(\sqrt{a \cdot a + b \cdot b}\right)}^{2}\right) \cdot \left({\left(\sqrt{a \cdot a + b \cdot b}\right)}^{2}\right) + \left(4 \cdot \left(\left(a \cdot a\right) \cdot \left(1 - a\right) + \left(b \cdot b\right) \cdot \left(3 + a\right)\right)\right))_*} - 1\]
- Using strategy
rm Applied fma-udef0.2
\[\leadsto \color{blue}{\left({\left(\sqrt{a \cdot a + b \cdot b}\right)}^{2} \cdot {\left(\sqrt{a \cdot a + b \cdot b}\right)}^{2} + 4 \cdot \left(\left(a \cdot a\right) \cdot \left(1 - a\right) + \left(b \cdot b\right) \cdot \left(3 + a\right)\right)\right)} - 1\]
Applied simplify0.0
\[\leadsto \left(\color{blue}{{\left(\sqrt{b^2 + a^2}^*\right)}^{\left(3 + 1\right)}} + 4 \cdot \left(\left(a \cdot a\right) \cdot \left(1 - a\right) + \left(b \cdot b\right) \cdot \left(3 + a\right)\right)\right) - 1\]
Taylor expanded around 0 0.0
\[\leadsto \left(\color{blue}{\left(2 \cdot \left({b}^{2} \cdot {a}^{2}\right) + \left({a}^{4} + {b}^{4}\right)\right)} + 4 \cdot \left(\left(a \cdot a\right) \cdot \left(1 - a\right) + \left(b \cdot b\right) \cdot \left(3 + a\right)\right)\right) - 1\]
Applied simplify0.0
\[\leadsto \color{blue}{(4 \cdot \left((a \cdot \left(a \cdot \left(1 - a\right)\right) + \left(\left(a + 3\right) \cdot \left(b \cdot b\right)\right))_*\right) + \left((\left(\left(a \cdot b\right) \cdot \left(a \cdot b\right)\right) \cdot 2 + \left({b}^{4} + {a}^{4}\right))_*\right))_* - 1}\]
