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-udef0.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)}}\]
Taylor expanded around 0 0.5
\[\leadsto \color{blue}{\cos^{-1} \left(\frac{(\left(-5 \cdot v\right) \cdot v + 1)_*}{(v \cdot v + -1)_*}\right)}\]
Final simplification0.5
\[\leadsto \cos^{-1} \left(\frac{(\left(-5 \cdot v\right) \cdot v + 1)_*}{(v \cdot v + -1)_*}\right)\]
