Initial program 0.6
\[\cos^{-1} \left(\frac{1 - 5 \cdot \left(v \cdot v\right)}{v \cdot v - 1}\right)\]
- Using strategy
rm Applied add-log-exp0.6
\[\leadsto \cos^{-1} \left(\frac{1 - \color{blue}{\log \left(e^{5 \cdot \left(v \cdot v\right)}\right)}}{v \cdot v - 1}\right)\]
- Using strategy
rm Applied add-exp-log0.6
\[\leadsto \color{blue}{e^{\log \left(\cos^{-1} \left(\frac{1 - \log \left(e^{5 \cdot \left(v \cdot v\right)}\right)}{v \cdot v - 1}\right)\right)}}\]
- Using strategy
rm Applied add-sqr-sqrt0.6
\[\leadsto e^{\color{blue}{\sqrt{\log \left(\cos^{-1} \left(\frac{1 - \log \left(e^{5 \cdot \left(v \cdot v\right)}\right)}{v \cdot v - 1}\right)\right)} \cdot \sqrt{\log \left(\cos^{-1} \left(\frac{1 - \log \left(e^{5 \cdot \left(v \cdot v\right)}\right)}{v \cdot v - 1}\right)\right)}}}\]
Applied exp-prod0.6
\[\leadsto \color{blue}{{\left(e^{\sqrt{\log \left(\cos^{-1} \left(\frac{1 - \log \left(e^{5 \cdot \left(v \cdot v\right)}\right)}{v \cdot v - 1}\right)\right)}}\right)}^{\left(\sqrt{\log \left(\cos^{-1} \left(\frac{1 - \log \left(e^{5 \cdot \left(v \cdot v\right)}\right)}{v \cdot v - 1}\right)\right)}\right)}}\]
Simplified0.6
\[\leadsto {\color{blue}{\left(e^{\sqrt{\log \left(\cos^{-1} \left(\frac{(\left(-5\right) \cdot \left(v \cdot v\right) + 1)_*}{v \cdot v - 1}\right)\right)}}\right)}}^{\left(\sqrt{\log \left(\cos^{-1} \left(\frac{1 - \log \left(e^{5 \cdot \left(v \cdot v\right)}\right)}{v \cdot v - 1}\right)\right)}\right)}\]
Final simplification0.6
\[\leadsto {\left(e^{\sqrt{\log \left(\cos^{-1} \left(\frac{(\left(-5\right) \cdot \left(v \cdot v\right) + 1)_*}{v \cdot v - 1}\right)\right)}}\right)}^{\left(\sqrt{\log \left(\cos^{-1} \left(\frac{1 - \log \left(e^{\left(v \cdot v\right) \cdot 5}\right)}{v \cdot v - 1}\right)\right)}\right)}\]
