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 flip3-+0.1
\[\leadsto \frac{\frac{\frac{1 + \left(-5 \cdot v\right) \cdot v}{\pi}}{\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)}}}}}{t \cdot \left(1 - v \cdot v\right)}\]
Applied sqrt-div0.1
\[\leadsto \frac{\frac{\frac{1 + \left(-5 \cdot v\right) \cdot v}{\pi}}{\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)}}}}}{t \cdot \left(1 - v \cdot v\right)}\]
Applied associate-/r/0.1
\[\leadsto \frac{\color{blue}{\frac{\frac{1 + \left(-5 \cdot v\right) \cdot v}{\pi}}{\sqrt{{\left(\left(-3 \cdot v\right) \cdot \left(v \cdot 2\right)\right)}^{3} + {2}^{3}}} \cdot \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)}\]
Applied times-frac0.1
\[\leadsto \color{blue}{\frac{\frac{\frac{1 + \left(-5 \cdot v\right) \cdot v}{\pi}}{\sqrt{{\left(\left(-3 \cdot v\right) \cdot \left(v \cdot 2\right)\right)}^{3} + {2}^{3}}}}{t} \cdot \frac{\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)}}{1 - v \cdot v}}\]
Simplified0.1
\[\leadsto \frac{\frac{\frac{1 + \left(-5 \cdot v\right) \cdot v}{\pi}}{\sqrt{{\left(\left(-3 \cdot v\right) \cdot \left(v \cdot 2\right)\right)}^{3} + {2}^{3}}}}{t} \cdot \color{blue}{\frac{\sqrt{\left(\left(v \cdot -6\right) \cdot v\right) \cdot \left(\left(v \cdot -6\right) \cdot v\right) + \left(12 \cdot \left(v \cdot v\right) + 4\right)}}{1 - v \cdot v}}\]
Final simplification0.1
\[\leadsto \frac{\frac{\frac{1 + v \cdot \left(v \cdot -5\right)}{\pi}}{\sqrt{{\left(\left(v \cdot 2\right) \cdot \left(v \cdot -3\right)\right)}^{3} + 8}}}{t} \cdot \frac{\sqrt{\left(12 \cdot \left(v \cdot v\right) + 4\right) + \left(v \cdot \left(v \cdot -6\right)\right) \cdot \left(v \cdot \left(v \cdot -6\right)\right)}}{1 - v \cdot v}\]
