Initial program 0.5
\[\frac{1 - 5 \cdot \left(v \cdot v\right)}{\left(\left(\pi \cdot t\right) \cdot \sqrt{2 \cdot \left(1 - 3 \cdot \left(v \cdot v\right)\right)}\right) \cdot \left(1 - v \cdot v\right)}\]
Initial simplification0.3
\[\leadsto \frac{\frac{1 + \left(-5 \cdot v\right) \cdot v}{\pi}}{\sqrt{\left(-3 \cdot v\right) \cdot \left(v \cdot 2\right) + 2} \cdot \left(t \cdot \left(1 - v \cdot v\right)\right)}\]
- Using strategy
rm Applied associate-/r*0.1
\[\leadsto \color{blue}{\frac{\frac{\frac{1 + \left(-5 \cdot v\right) \cdot v}{\pi}}{\sqrt{\left(-3 \cdot v\right) \cdot \left(v \cdot 2\right) + 2}}}{t \cdot \left(1 - v \cdot v\right)}}\]
- Using strategy
rm Applied associate-/l/0.1
\[\leadsto \frac{\color{blue}{\frac{1 + \left(-5 \cdot v\right) \cdot v}{\sqrt{\left(-3 \cdot v\right) \cdot \left(v \cdot 2\right) + 2} \cdot \pi}}}{t \cdot \left(1 - v \cdot v\right)}\]
- Using strategy
rm Applied flip3-+0.1
\[\leadsto \frac{\frac{1 + \left(-5 \cdot v\right) \cdot v}{\sqrt{\color{blue}{\frac{{\left(\left(-3 \cdot v\right) \cdot \left(v \cdot 2\right)\right)}^{3} + {2}^{3}}{\left(\left(-3 \cdot v\right) \cdot \left(v \cdot 2\right)\right) \cdot \left(\left(-3 \cdot v\right) \cdot \left(v \cdot 2\right)\right) + \left(2 \cdot 2 - \left(\left(-3 \cdot v\right) \cdot \left(v \cdot 2\right)\right) \cdot 2\right)}}} \cdot \pi}}{t \cdot \left(1 - v \cdot v\right)}\]
Applied sqrt-div0.1
\[\leadsto \frac{\frac{1 + \left(-5 \cdot v\right) \cdot v}{\color{blue}{\frac{\sqrt{{\left(\left(-3 \cdot v\right) \cdot \left(v \cdot 2\right)\right)}^{3} + {2}^{3}}}{\sqrt{\left(\left(-3 \cdot v\right) \cdot \left(v \cdot 2\right)\right) \cdot \left(\left(-3 \cdot v\right) \cdot \left(v \cdot 2\right)\right) + \left(2 \cdot 2 - \left(\left(-3 \cdot v\right) \cdot \left(v \cdot 2\right)\right) \cdot 2\right)}}} \cdot \pi}}{t \cdot \left(1 - v \cdot v\right)}\]
Applied associate-*l/0.1
\[\leadsto \frac{\frac{1 + \left(-5 \cdot v\right) \cdot v}{\color{blue}{\frac{\sqrt{{\left(\left(-3 \cdot v\right) \cdot \left(v \cdot 2\right)\right)}^{3} + {2}^{3}} \cdot \pi}{\sqrt{\left(\left(-3 \cdot v\right) \cdot \left(v \cdot 2\right)\right) \cdot \left(\left(-3 \cdot v\right) \cdot \left(v \cdot 2\right)\right) + \left(2 \cdot 2 - \left(\left(-3 \cdot v\right) \cdot \left(v \cdot 2\right)\right) \cdot 2\right)}}}}}{t \cdot \left(1 - v \cdot v\right)}\]
Final simplification0.1
\[\leadsto \frac{\frac{1 + v \cdot \left(v \cdot -5\right)}{\frac{\sqrt{{\left(\left(v \cdot 2\right) \cdot \left(-3 \cdot v\right)\right)}^{3} + 8} \cdot \pi}{\sqrt{\left(4 - 2 \cdot \left(\left(v \cdot 2\right) \cdot \left(-3 \cdot v\right)\right)\right) + \left(\left(v \cdot 2\right) \cdot \left(-3 \cdot v\right)\right) \cdot \left(\left(v \cdot 2\right) \cdot \left(-3 \cdot v\right)\right)}}}}{\left(1 - v \cdot v\right) \cdot t}\]
