- Started with
\[\left(d1 \cdot 3 + d1 \cdot d2\right) + d1 \cdot d3\]
0.1
- Applied simplify to get
\[\color{red}{\left(d1 \cdot 3 + d1 \cdot d2\right) + d1 \cdot d3} \leadsto \color{blue}{(d1 * \left(d3 + 3\right) + \left(d1 \cdot d2\right))_*}\]
0.1
- Using strategy
rm 0.1
- Applied fma-udef to get
\[\color{red}{(d1 * \left(d3 + 3\right) + \left(d1 \cdot d2\right))_*} \leadsto \color{blue}{d1 \cdot \left(d3 + 3\right) + d1 \cdot d2}\]
0.1
- Using strategy
rm 0.1
- Applied distribute-lft-out to get
\[\color{red}{d1 \cdot \left(d3 + 3\right) + d1 \cdot d2} \leadsto \color{blue}{d1 \cdot \left(\left(d3 + 3\right) + d2\right)}\]
0.1
- Using strategy
rm 0.1
- Applied flip-+ to get
\[d1 \cdot \color{red}{\left(\left(d3 + 3\right) + d2\right)} \leadsto d1 \cdot \color{blue}{\frac{{\left(d3 + 3\right)}^2 - {d2}^2}{\left(d3 + 3\right) - d2}}\]
10.0
- Applied associate-*r/ to get
\[\color{red}{d1 \cdot \frac{{\left(d3 + 3\right)}^2 - {d2}^2}{\left(d3 + 3\right) - d2}} \leadsto \color{blue}{\frac{d1 \cdot \left({\left(d3 + 3\right)}^2 - {d2}^2\right)}{\left(d3 + 3\right) - d2}}\]
11.8
- Applied taylor to get
\[\frac{d1 \cdot \left({\left(d3 + 3\right)}^2 - {d2}^2\right)}{\left(d3 + 3\right) - d2} \leadsto d1 \cdot d3 + \left(3 \cdot d1 + d1 \cdot d2\right)\]
0.1
- Taylor expanded around 0 to get
\[\color{red}{d1 \cdot d3 + \left(3 \cdot d1 + d1 \cdot d2\right)} \leadsto \color{blue}{d1 \cdot d3 + \left(3 \cdot d1 + d1 \cdot d2\right)}\]
0.1
- Applied simplify to get
\[d1 \cdot d3 + \left(3 \cdot d1 + d1 \cdot d2\right) \leadsto (d1 * \left(d2 + 3\right) + \left(d3 \cdot d1\right))_*\]
0.1
- Applied final simplification
