Initial program 0.5
\[\frac1{\sqrt{k}} \cdot {\left(\left(2 \cdot \pi\right) \cdot n\right)}^{\left(\frac{1 - k}{2}\right)}\]
- Using strategy
rm
Applied unpow-prod-down 0.6
\[\leadsto \frac1{\sqrt{k}} \cdot \color{blue}{\left({\left(2 \cdot \pi\right)}^{\left(\frac{1 - k}{2}\right)} \cdot {n}^{\left(\frac{1 - k}{2}\right)}\right)}\]
Applied associate-*r* 0.6
\[\leadsto \color{blue}{\left(\frac1{\sqrt{k}} \cdot {\left(2 \cdot \pi\right)}^{\left(\frac{1 - k}{2}\right)}\right) \cdot {n}^{\left(\frac{1 - k}{2}\right)}}\]
- Using strategy
rm
Applied div-sub 0.6
\[\leadsto \left(\frac1{\sqrt{k}} \cdot {\left(2 \cdot \pi\right)}^{\left(\frac{1 - k}{2}\right)}\right) \cdot {n}^{\color{blue}{\left(\frac{1}{2} - \frac{k}{2}\right)}}\]
Applied pow-sub 0.5
\[\leadsto \left(\frac1{\sqrt{k}} \cdot {\left(2 \cdot \pi\right)}^{\left(\frac{1 - k}{2}\right)}\right) \cdot \color{blue}{\frac{{n}^{\left(\frac{1}{2}\right)}}{{n}^{\left(\frac{k}{2}\right)}}}\]
- Using strategy
rm
Applied add-sqr-sqrt 0.5
\[\leadsto \left(\frac1{\sqrt{k}} \cdot \color{blue}{{\left(\sqrt{{\left(2 \cdot \pi\right)}^{\left(\frac{1 - k}{2}\right)}}\right)}^2}\right) \cdot \frac{{n}^{\left(\frac{1}{2}\right)}}{{n}^{\left(\frac{k}{2}\right)}}\]
- Removed slow pow expressions
