Initial program 0.1
\[\left(d1 \cdot 3 + d1 \cdot d2\right) + d1 \cdot d3\]
Initial simplification0.1
\[\leadsto (d1 \cdot \left(d2 + d3\right) + \left(d1 \cdot 3\right))_*\]
Taylor expanded around inf 0.1
\[\leadsto \color{blue}{d2 \cdot d1 + \left(d3 \cdot d1 + 3 \cdot d1\right)}\]
Simplified0.0
\[\leadsto \color{blue}{(d1 \cdot \left(3 + d2\right) + \left(d3 \cdot d1\right))_*}\]
- Using strategy
rm Applied add-sqr-sqrt31.9
\[\leadsto \color{blue}{\sqrt{(d1 \cdot \left(3 + d2\right) + \left(d3 \cdot d1\right))_*} \cdot \sqrt{(d1 \cdot \left(3 + d2\right) + \left(d3 \cdot d1\right))_*}}\]
- Using strategy
rm Applied pow131.9
\[\leadsto \sqrt{(d1 \cdot \left(3 + d2\right) + \left(d3 \cdot d1\right))_*} \cdot \color{blue}{{\left(\sqrt{(d1 \cdot \left(3 + d2\right) + \left(d3 \cdot d1\right))_*}\right)}^{1}}\]
Applied pow131.9
\[\leadsto \color{blue}{{\left(\sqrt{(d1 \cdot \left(3 + d2\right) + \left(d3 \cdot d1\right))_*}\right)}^{1}} \cdot {\left(\sqrt{(d1 \cdot \left(3 + d2\right) + \left(d3 \cdot d1\right))_*}\right)}^{1}\]
Applied pow-prod-down31.9
\[\leadsto \color{blue}{{\left(\sqrt{(d1 \cdot \left(3 + d2\right) + \left(d3 \cdot d1\right))_*} \cdot \sqrt{(d1 \cdot \left(3 + d2\right) + \left(d3 \cdot d1\right))_*}\right)}^{1}}\]
Simplified0.0
\[\leadsto {\color{blue}{\left((d1 \cdot \left(3 + d3\right) + \left(d1 \cdot d2\right))_*\right)}}^{1}\]
Final simplification0.0
\[\leadsto (d1 \cdot \left(3 + d3\right) + \left(d2 \cdot d1\right))_*\]
