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)}\]
Simplified0.5
\[\leadsto \color{blue}{\frac{\frac{(-5 \cdot \left(v \cdot v\right) + 1)_*}{1 - v \cdot v}}{\sqrt{2 \cdot (\left(-v \cdot v\right) \cdot 3 + 1)_*} \cdot \left(t \cdot \pi\right)}}\]
- Using strategy
rm Applied associate-/r*0.4
\[\leadsto \color{blue}{\frac{\frac{\frac{(-5 \cdot \left(v \cdot v\right) + 1)_*}{1 - v \cdot v}}{\sqrt{2 \cdot (\left(-v \cdot v\right) \cdot 3 + 1)_*}}}{t \cdot \pi}}\]
- Using strategy
rm Applied add-sqr-sqrt0.5
\[\leadsto \frac{\color{blue}{\sqrt{\frac{\frac{(-5 \cdot \left(v \cdot v\right) + 1)_*}{1 - v \cdot v}}{\sqrt{2 \cdot (\left(-v \cdot v\right) \cdot 3 + 1)_*}}} \cdot \sqrt{\frac{\frac{(-5 \cdot \left(v \cdot v\right) + 1)_*}{1 - v \cdot v}}{\sqrt{2 \cdot (\left(-v \cdot v\right) \cdot 3 + 1)_*}}}}}{t \cdot \pi}\]
Applied times-frac0.3
\[\leadsto \color{blue}{\frac{\sqrt{\frac{\frac{(-5 \cdot \left(v \cdot v\right) + 1)_*}{1 - v \cdot v}}{\sqrt{2 \cdot (\left(-v \cdot v\right) \cdot 3 + 1)_*}}}}{t} \cdot \frac{\sqrt{\frac{\frac{(-5 \cdot \left(v \cdot v\right) + 1)_*}{1 - v \cdot v}}{\sqrt{2 \cdot (\left(-v \cdot v\right) \cdot 3 + 1)_*}}}}{\pi}}\]
Final simplification0.3
\[\leadsto \frac{\sqrt{\frac{\frac{(-5 \cdot \left(v \cdot v\right) + 1)_*}{1 - v \cdot v}}{\sqrt{2 \cdot (\left(-v \cdot v\right) \cdot 3 + 1)_*}}}}{t} \cdot \frac{\sqrt{\frac{\frac{(-5 \cdot \left(v \cdot v\right) + 1)_*}{1 - v \cdot v}}{\sqrt{2 \cdot (\left(-v \cdot v\right) \cdot 3 + 1)_*}}}}{\pi}\]
