Initial program 0.2
\[\left({\left({a}^2 + {b}^2\right)}^2 + 4 \cdot {b}^2\right) - 1\]
Applied taylor 0.0
\[\leadsto \left(\left(2 \cdot \left({b}^2 \cdot {a}^2\right) + \left({a}^{4} + {b}^{4}\right)\right) + 4 \cdot {b}^2\right) - 1\]
Taylor expanded around inf 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 {b}^2\right) - 1\]
Applied simplify 0.0
\[\leadsto \color{blue}{\left(\left({b}^{4} - 1\right) + {a}^{4}\right) + {b}^2 \cdot \left({a}^2 + \left(4 + {a}^2\right)\right)}\]
- Using strategy
rm
Applied distribute-lft-in 0.0
\[\leadsto \left(\left({b}^{4} - 1\right) + {a}^{4}\right) + \color{blue}{\left({b}^2 \cdot {a}^2 + {b}^2 \cdot \left(4 + {a}^2\right)\right)}\]
Applied associate-+r+ 0.0
\[\leadsto \color{blue}{\left(\left(\left({b}^{4} - 1\right) + {a}^{4}\right) + {b}^2 \cdot {a}^2\right) + {b}^2 \cdot \left(4 + {a}^2\right)}\]
Applied simplify 0.0
\[\leadsto \color{blue}{\left({b}^{4} - \left(\left(1 - {a}^{4}\right) - {\left(a \cdot b\right)}^2\right)\right)} + {b}^2 \cdot \left(4 + {a}^2\right)\]
- Removed slow pow expressions
