Initial program 1.0
\[2 \cdot \cos \left(\frac{2 \cdot \pi}{3} + \frac{\cos^{-1} \left(\frac{-g}{h}\right)}{3}\right)\]
Initial simplification1.0
\[\leadsto \cos \left((\frac{2}{3} \cdot \pi + \left(\frac{\cos^{-1} \left(\frac{-g}{h}\right)}{3}\right))_*\right) \cdot 2\]
- Using strategy
rm Applied log1p-expm1-u1.0
\[\leadsto \color{blue}{\log_* (1 + (e^{\cos \left((\frac{2}{3} \cdot \pi + \left(\frac{\cos^{-1} \left(\frac{-g}{h}\right)}{3}\right))_*\right)} - 1)^*)} \cdot 2\]
- Using strategy
rm Applied add-cbrt-cube1.6
\[\leadsto \color{blue}{\sqrt[3]{\left(\log_* (1 + (e^{\cos \left((\frac{2}{3} \cdot \pi + \left(\frac{\cos^{-1} \left(\frac{-g}{h}\right)}{3}\right))_*\right)} - 1)^*) \cdot \log_* (1 + (e^{\cos \left((\frac{2}{3} \cdot \pi + \left(\frac{\cos^{-1} \left(\frac{-g}{h}\right)}{3}\right))_*\right)} - 1)^*)\right) \cdot \log_* (1 + (e^{\cos \left((\frac{2}{3} \cdot \pi + \left(\frac{\cos^{-1} \left(\frac{-g}{h}\right)}{3}\right))_*\right)} - 1)^*)}} \cdot 2\]
- Using strategy
rm Applied cbrt-prod0.1
\[\leadsto \color{blue}{\left(\sqrt[3]{\log_* (1 + (e^{\cos \left((\frac{2}{3} \cdot \pi + \left(\frac{\cos^{-1} \left(\frac{-g}{h}\right)}{3}\right))_*\right)} - 1)^*) \cdot \log_* (1 + (e^{\cos \left((\frac{2}{3} \cdot \pi + \left(\frac{\cos^{-1} \left(\frac{-g}{h}\right)}{3}\right))_*\right)} - 1)^*)} \cdot \sqrt[3]{\log_* (1 + (e^{\cos \left((\frac{2}{3} \cdot \pi + \left(\frac{\cos^{-1} \left(\frac{-g}{h}\right)}{3}\right))_*\right)} - 1)^*)}\right)} \cdot 2\]
Simplified0.1
\[\leadsto \left(\color{blue}{\sqrt[3]{\cos \left((\frac{2}{3} \cdot \pi + \left(\frac{\cos^{-1} \left(\frac{-g}{h}\right)}{3}\right))_*\right) \cdot \cos \left((\frac{2}{3} \cdot \pi + \left(\frac{\cos^{-1} \left(\frac{-g}{h}\right)}{3}\right))_*\right)}} \cdot \sqrt[3]{\log_* (1 + (e^{\cos \left((\frac{2}{3} \cdot \pi + \left(\frac{\cos^{-1} \left(\frac{-g}{h}\right)}{3}\right))_*\right)} - 1)^*)}\right) \cdot 2\]
Final simplification0.1
\[\leadsto \left(\sqrt[3]{\log_* (1 + (e^{\cos \left((\frac{2}{3} \cdot \pi + \left(\frac{\cos^{-1} \left(-\frac{g}{h}\right)}{3}\right))_*\right)} - 1)^*)} \cdot \sqrt[3]{\cos \left((\frac{2}{3} \cdot \pi + \left(\frac{\cos^{-1} \left(-\frac{g}{h}\right)}{3}\right))_*\right) \cdot \cos \left((\frac{2}{3} \cdot \pi + \left(\frac{\cos^{-1} \left(-\frac{g}{h}\right)}{3}\right))_*\right)}\right) \cdot 2\]
