Initial program 13.4
\[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}\]
Initial simplification13.3
\[\leadsto (\left({\left((2 \cdot x + \left((F \cdot F + 2)_*\right))_*\right)}^{\frac{-1}{2}}\right) \cdot \left(\frac{F}{\sin B}\right) + \left(\frac{-x}{\tan B}\right))_*\]
- Using strategy
rm Applied div-inv13.3
\[\leadsto (\left({\left((2 \cdot x + \left((F \cdot F + 2)_*\right))_*\right)}^{\frac{-1}{2}}\right) \cdot \color{blue}{\left(F \cdot \frac{1}{\sin B}\right)} + \left(\frac{-x}{\tan B}\right))_*\]
- Using strategy
rm Applied fma-udef13.3
\[\leadsto \color{blue}{{\left((2 \cdot x + \left((F \cdot F + 2)_*\right))_*\right)}^{\frac{-1}{2}} \cdot \left(F \cdot \frac{1}{\sin B}\right) + \frac{-x}{\tan B}}\]
- Using strategy
rm Applied associate-*r*10.6
\[\leadsto \color{blue}{\left({\left((2 \cdot x + \left((F \cdot F + 2)_*\right))_*\right)}^{\frac{-1}{2}} \cdot F\right) \cdot \frac{1}{\sin B}} + \frac{-x}{\tan B}\]
- Using strategy
rm Applied tan-quot10.6
\[\leadsto \left({\left((2 \cdot x + \left((F \cdot F + 2)_*\right))_*\right)}^{\frac{-1}{2}} \cdot F\right) \cdot \frac{1}{\sin B} + \frac{-x}{\color{blue}{\frac{\sin B}{\cos B}}}\]
Applied associate-/r/10.6
\[\leadsto \left({\left((2 \cdot x + \left((F \cdot F + 2)_*\right))_*\right)}^{\frac{-1}{2}} \cdot F\right) \cdot \frac{1}{\sin B} + \color{blue}{\frac{-x}{\sin B} \cdot \cos B}\]
Final simplification10.6
\[\leadsto \cos B \cdot \frac{-x}{\sin B} + \frac{1}{\sin B} \cdot \left({\left((2 \cdot x + \left((F \cdot F + 2)_*\right))_*\right)}^{\frac{-1}{2}} \cdot F\right)\]
