Initial program 1.0
\[2 \cdot \cos \left(\frac{2 \cdot \pi}{3} + \frac{\cos^{-1} \left(\frac{-g}{h}\right)}{3}\right)\]
- Using strategy
rm Applied add-log-exp1.0
\[\leadsto 2 \cdot \color{blue}{\log \left(e^{\cos \left(\frac{2 \cdot \pi}{3} + \frac{\cos^{-1} \left(\frac{-g}{h}\right)}{3}\right)}\right)}\]
Applied simplify1.0
\[\leadsto 2 \cdot \log \color{blue}{\left(e^{\cos \left((\left(\frac{2}{3}\right) \cdot \pi + \left(\frac{\cos^{-1} \left(-\frac{g}{h}\right)}{3}\right))_*\right)}\right)}\]
- Using strategy
rm Applied fma-udef1.0
\[\leadsto 2 \cdot \log \left(e^{\cos \color{blue}{\left(\frac{2}{3} \cdot \pi + \frac{\cos^{-1} \left(-\frac{g}{h}\right)}{3}\right)}}\right)\]
Applied cos-sum1.0
\[\leadsto 2 \cdot \log \left(e^{\color{blue}{\cos \left(\frac{2}{3} \cdot \pi\right) \cdot \cos \left(\frac{\cos^{-1} \left(-\frac{g}{h}\right)}{3}\right) - \sin \left(\frac{2}{3} \cdot \pi\right) \cdot \sin \left(\frac{\cos^{-1} \left(-\frac{g}{h}\right)}{3}\right)}}\right)\]
Applied exp-diff1.0
\[\leadsto 2 \cdot \log \color{blue}{\left(\frac{e^{\cos \left(\frac{2}{3} \cdot \pi\right) \cdot \cos \left(\frac{\cos^{-1} \left(-\frac{g}{h}\right)}{3}\right)}}{e^{\sin \left(\frac{2}{3} \cdot \pi\right) \cdot \sin \left(\frac{\cos^{-1} \left(-\frac{g}{h}\right)}{3}\right)}}\right)}\]
- Using strategy
rm Applied expm1-log1p-u0.0
\[\leadsto 2 \cdot \log \left(\frac{e^{\cos \left(\frac{2}{3} \cdot \pi\right) \cdot \cos \left(\frac{\cos^{-1} \left(-\frac{g}{h}\right)}{3}\right)}}{e^{\sin \color{blue}{\left((e^{\log_* (1 + \frac{2}{3} \cdot \pi)} - 1)^*\right)} \cdot \sin \left(\frac{\cos^{-1} \left(-\frac{g}{h}\right)}{3}\right)}}\right)\]
