Initial program 0.5
\[\cos^{-1} \left(\frac{1 - 5 \cdot \left(v \cdot v\right)}{v \cdot v - 1}\right)\]
Initial simplification0.5
\[\leadsto \cos^{-1} \left(\frac{(\left(-5 \cdot v\right) \cdot v + 1)_*}{(v \cdot v + -1)_*}\right)\]
- Using strategy
rm Applied add-exp-log0.5
\[\leadsto \color{blue}{e^{\log \left(\cos^{-1} \left(\frac{(\left(-5 \cdot v\right) \cdot v + 1)_*}{(v \cdot v + -1)_*}\right)\right)}}\]
- Using strategy
rm Applied expm1-log1p-u0.5
\[\leadsto e^{\log \color{blue}{\left((e^{\log_* (1 + \cos^{-1} \left(\frac{(\left(-5 \cdot v\right) \cdot v + 1)_*}{(v \cdot v + -1)_*}\right))} - 1)^*\right)}}\]
- Using strategy
rm Applied expm1-log1p-u0.5
\[\leadsto \color{blue}{(e^{\log_* (1 + e^{\log \left((e^{\log_* (1 + \cos^{-1} \left(\frac{(\left(-5 \cdot v\right) \cdot v + 1)_*}{(v \cdot v + -1)_*}\right))} - 1)^*\right)})} - 1)^*}\]
- Using strategy
rm Applied expm1-udef0.5
\[\leadsto \color{blue}{e^{\log_* (1 + e^{\log \left((e^{\log_* (1 + \cos^{-1} \left(\frac{(\left(-5 \cdot v\right) \cdot v + 1)_*}{(v \cdot v + -1)_*}\right))} - 1)^*\right)})} - 1}\]
Final simplification0.5
\[\leadsto e^{\log_* (1 + e^{\log \left((e^{\log_* (1 + \cos^{-1} \left(\frac{(\left(-5 \cdot v\right) \cdot v + 1)_*}{(v \cdot v + -1)_*}\right))} - 1)^*\right)})} - 1\]
