Initial program 33.9
\[\left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)\]
- Using strategy
rm Applied add-exp-log33.9
\[\leadsto \color{blue}{e^{\log \left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)}}\]
- Using strategy
rm Applied *-un-lft-identity33.9
\[\leadsto e^{\color{blue}{1 \cdot \log \left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)}}\]
Applied exp-prod33.9
\[\leadsto \color{blue}{{\left(e^{1}\right)}^{\left(\log \left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)\right)}}\]
Simplified33.9
\[\leadsto {\color{blue}{e}}^{\left(\log \left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)\right)}\]
- Using strategy
rm Applied add-cube-cbrt33.9
\[\leadsto {e}^{\color{blue}{\left(\left(\sqrt[3]{\log \left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)} \cdot \sqrt[3]{\log \left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)}\right) \cdot \sqrt[3]{\log \left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)}\right)}}\]
Final simplification33.9
\[\leadsto {e}^{\left(\sqrt[3]{\log \left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)} \cdot \left(\sqrt[3]{\log \left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)} \cdot \sqrt[3]{\log \left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)}\right)\right)}\]
